71 lines
5.4 KiB
Promela
71 lines
5.4 KiB
Promela
sco_registered{sucursal="santiago", sco_number="sco1", cliente="econo"} 1
|
|
sco_registered{sucursal="santiago", sco_number="sco2", cliente="econo"} 1
|
|
sco_registered{sucursal="concepcion", sco_number="sco1", cliente="wallmart"} 1
|
|
sco_registered{sucursal="ciudadela", sco_number="sco1", cliente="econo"} 1
|
|
sco_registered{sucursal="santiago", sco_number="sco01", cliente="hisense"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco08", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="caguas", sco_number="sco09", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="cayey", sco_number="sco01", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="cayey", sco_number="sco02", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="cayey", sco_number="sco03", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="cayey", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="deleste-humacao", sco_number="sco01", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="deleste-humacao", sco_number="sco02", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco08", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco09", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco10", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco11", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="fajardo", sco_number="sco12", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="gurabo", sco_number="sco03", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="gurabo", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="gurabo", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="gurabo", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco08", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco09", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco10", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco11", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="humacao", sco_number="sco12", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="juntos", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="juntos", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="juntos", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="juntos", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="las-piedras", sco_number="sco08", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="las-piedras", sco_number="sco09", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="las-piedras", sco_number="sco10", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="las-piedras", sco_number="sco11", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco13", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco14", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco15", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco16", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco17", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco18", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco19", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="montehiedra", sco_number="sco20", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="naguabo", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="naguabo", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="naguabo", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="naguabo", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco02", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco03", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="yabucoa", sco_number="sco07", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="san-lorenzo", sco_number="sco03", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="san-lorenzo", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="san-lorenzo", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="san-lorenzo", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco01", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco02", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco03", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco04", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco05", cliente="mbs-ralphs"} 1
|
|
sco_registered{sucursal="rio-grande", sco_number="sco06", cliente="mbs-ralphs"} 1
|
|
|