Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.........................
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5.2K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 31K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 103K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 67K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 228K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 15M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S06J04T06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-152732257700416
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-00
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-01
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-02
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-03
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-04
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-05
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-06
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-07
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-08
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-09
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-10
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-11
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-12
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-13
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-14
FORMULA_NAME PolyORBLF-PT-S06J04T06-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1528055974826

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S06J04T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S06J04T06 formula LTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLFireability @ PolyORBLF-PT-S06J04T06 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11132/65536 symbol table entries, 6611 collisions
lola: preprocessing...
lola: Size of bit vector: 20224
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: A ((FIREABLE(T_1124_2_1_2) OR FIREABLE(T_1124_5_1_6) OR FIREABLE(T_1124_3_6_1) OR FIREABLE(T_1124_5_2_2) OR FIREABLE(T_1124_6_4_1) OR FIREABLE(T_1124_2_1_5) OR FIREABLE(T_1124_1_3_5) OR FIREABLE(T_1124_2_2_3) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_1_5_2) OR FIREABLE(T_1124_5_1_4) OR FIREABLE(T_1124_6_5_5) OR FIREABLE(T_1124_3_5_6) OR FIREABLE(T_1124_6_5_2) OR FIREABLE(T_1124_3_1_3) OR FIREABLE(T_1124_4_3_2) OR FIREABLE(T_1124_2_1_1) OR FIREABLE(T_1124_5_6_6) OR FIREABLE(T_1124_1_6_3) OR FIREABLE(T_1124_5_2_1) OR FIREABLE(T_1124_4_2_4) OR FIREABLE(T_1124_4_3_1) OR FIREABLE(T_1124_5_3_3) OR FIREABLE(T_1124_5_4_5) OR FIREABLE(T_1124_6_6_3) OR FIREABLE(T_1124_3_4_6) OR FIREABLE(T_1124_4_4_3) OR FIREABLE(T_1124_6_4_6) OR FIREABLE(T_1124_2_2_2) OR FIREABLE(T_1124_3_4_5) OR FIREABLE(T_1124_5_1_2) OR FIREABLE(T_1124_2_5_5) OR FIREABLE(T_1124_3_5_1) OR FIREABLE(T_1124_4_1_6) OR FIREABLE(T_1124_3_6_2) OR FIREABLE(T_1124_2_4_4) OR FIREABLE(T_1124_6_5_1) OR FIREABLE(T_1124_4_2_6) OR FIREABLE(T_1124_1_2_5) OR FIREABLE(T_1124_3_3_4) OR FIREABLE(T_1124_6_2_5) OR FIREABLE(T_1124_5_2_3) OR FIREABLE(T_1124_4_4_2) OR FIREABLE(T_1124_5_5_4) OR FIREABLE(T_1124_4_6_4) OR FIREABLE(T_1124_3_1_1) OR FIREABLE(T_1124_4_2_1) OR FIREABLE(T_1124_3_1_4) OR FIREABLE(T_1124_5_6_5) OR FIREABLE(T_1124_1_4_2) OR FIREABLE(T_1124_5_2_6) OR FIREABLE(T_1124_4_3_6) OR FIREABLE(T_1124_4_1_2) OR FIREABLE(T_1124_1_5_3) OR FIREABLE(T_1124_2_6_2) OR FIREABLE(T_1124_5_6_1) OR FIREABLE(T_1124_6_2_4) OR FIREABLE(T_1124_1_2_6) OR FIREABLE(T_1124_2_3_3) OR FIREABLE(T_1124_4_1_5) OR FIREABLE(T_1124_6_3_5) OR FIREABLE(T_1124_3_5_2) OR FIREABLE(T_1124_2_5_4) OR FIREABLE(T_1124_1_4_3) OR FIREABLE(T_1124_6_1_4) OR FIREABLE(T_1124_1_3_1) OR FIREABLE(T_1124_3_2_3) OR FIREABLE(T_1124_1_1_4) OR FIREABLE(T_1124_4_1_1) OR FIREABLE(T_1124_2_6_5) OR FIREABLE(T_1124_6_4_3) OR FIREABLE(T_1124_5_5_5) OR FIREABLE(T_1124_3_2_4) OR FIREABLE(T_1124_2_5_6) OR FIREABLE(T_1124_2_3_4) OR FIREABLE(T_1124_2_2_6) OR FIREABLE(T_1124_1_4_5) OR FIREABLE(T_1124_2_6_1) OR FIREABLE(T_1124_1_4_6) OR FIREABLE(T_1124_6_2_1) OR FIREABLE(T_1124_5_5_6) OR FIREABLE(T_1124_1_1_5) OR FIREABLE(T_1124_6_4_2) OR FIREABLE(T_1124_1_5_1) OR FIREABLE(T_1124_2_6_4) OR FIREABLE(T_1124_1_2_2) OR FIREABLE(T_1124_4_6_3) OR FIREABLE(T_1124_5_1_1) OR FIREABLE(T_1124_6_1_3) OR FIREABLE(T_1124_6_1_5) OR FIREABLE(T_1124_5_3_2) OR FIREABLE(T_1124_4_4_1) OR FIREABLE(T_1124_3_5_4) OR FIREABLE(T_1124_3_5_3) OR FIREABLE(T_1124_5_6_2) OR FIREABLE(T_1124_6_4_5) OR FIREABLE(T_1124_2_3_2) OR FIREABLE(T_1124_4_3_3) OR FIREABLE(T_1124_5_5_2) OR FIREABLE(T_1124_4_1_4) OR FIREABLE(T_1124_4_5_6) OR FIREABLE(T_1124_6_1_1) OR FIREABLE(T_1124_2_4_2) OR FIREABLE(T_1124_5_3_4) OR FIREABLE(T_1124_3_3_1) OR FIREABLE(T_1124_5_6_3) OR FIREABLE(T_1124_6_6_6) OR FIREABLE(T_1124_3_5_5) OR FIREABLE(T_1124_1_1_1) OR FIREABLE(T_1124_3_4_3) OR FIREABLE(T_1124_4_5_1) OR FIREABLE(T_1124_4_6_5) OR FIREABLE(T_1124_1_1_2) OR FIREABLE(T_1124_1_1_6) OR FIREABLE(T_1124_5_6_4) OR FIREABLE(T_1124_4_6_2) OR FIREABLE(T_1124_3_3_2) OR FIREABLE(T_1124_5_2_4) OR FIREABLE(T_1124_3_2_6) OR FIREABLE(T_1124_6_1_2) OR FIREABLE(T_1124_2_5_3) OR FIREABLE(T_1124_6_2_3) OR FIREABLE(T_1124_3_2_5) OR FIREABLE(T_1124_2_3_1) OR FIREABLE(T_1124_5_4_6) OR FIREABLE(T_1124_5_4_1) OR FIREABLE(T_1124_4_3_4) OR FIREABLE(T_1124_6_4_4) OR FIREABLE(T_1124_2_3_6) OR FIREABLE(T_1124_4_3_5) OR FIREABLE(T_1124_5_3_6) OR FIREABLE(T_1124_1_5_4) OR FIREABLE(T_1124_1_2_3) OR FIREABLE(T_1124_1_2_1) OR FIREABLE(T_1124_3_1_5) OR FIREABLE(T_1124_1_6_5) OR FIREABLE(T_1124_3_3_3) OR FIREABLE(T_1124_1_2_4) OR FIREABLE(T_1124_5_4_2) OR FIREABLE(T_1124_6_5_4) OR FIREABLE(T_1124_5_5_3) OR FIREABLE(T_1124_3_2_2) OR FIREABLE(T_1124_2_5_2) OR FIREABLE(T_1124_2_4_1) OR FIREABLE(T_1124_6_3_3) OR FIREABLE(T_1124_4_4_5) OR FIREABLE(T_1124_2_4_6) OR FIREABLE(T_1124_4_6_1) OR FIREABLE(T_1124_1_6_6) OR FIREABLE(T_1124_2_2_4) OR FIREABLE(T_1124_6_1_6) OR FIREABLE(T_1124_5_3_5) OR FIREABLE(T_1124_6_6_4) OR FIREABLE(T_1124_6_6_5) OR FIREABLE(T_1124_1_6_1) OR FIREABLE(T_1124_1_1_3) OR FIREABLE(T_1124_2_2_5) OR FIREABLE(T_1124_6_2_2) OR FIREABLE(T_1124_2_6_3) OR FIREABLE(T_1124_3_6_6) OR FIREABLE(T_1124_4_4_4) OR FIREABLE(T_1124_5_1_3) OR FIREABLE(T_1124_5_4_3) OR FIREABLE(T_1124_1_5_5) OR FIREABLE(T_1124_4_1_3) OR FIREABLE(T_1124_4_5_3) OR FIREABLE(T_1124_4_5_5) OR FIREABLE(T_1124_2_2_1) OR FIREABLE(T_1124_3_6_4) OR FIREABLE(T_1124_4_6_6) OR FIREABLE(T_1124_5_3_1) OR FIREABLE(T_1124_4_2_3) OR FIREABLE(T_1124_1_6_2) OR FIREABLE(T_1124_6_6_2) OR FIREABLE(T_1124_3_1_6) OR FIREABLE(T_1124_5_2_5) OR FIREABLE(T_1124_1_3_2) OR FIREABLE(T_1124_2_5_1) OR FIREABLE(T_1124_6_5_6) OR FIREABLE(T_1124_6_3_1) OR FIREABLE(T_1124_1_4_4) OR FIREABLE(T_1124_3_2_1) OR FIREABLE(T_1124_6_2_6) OR FIREABLE(T_1124_2_3_5) OR FIREABLE(T_1124_3_4_1) OR FIREABLE(T_1124_1_5_6) OR FIREABLE(T_1124_4_4_6) OR FIREABLE(T_1124_2_6_6) OR FIREABLE(T_1124_3_4_2) OR FIREABLE(T_1124_2_4_5) OR FIREABLE(T_1124_4_2_5) OR FIREABLE(T_1124_6_3_2) OR FIREABLE(T_1124_4_2_2) OR FIREABLE(T_1124_2_4_3) OR FIREABLE(T_1124_4_5_2) OR FIREABLE(T_1124_5_4_4) OR FIREABLE(T_1124_4_5_4) OR FIREABLE(T_1124_5_1_5) OR FIREABLE(T_1124_2_1_6) OR FIREABLE(T_1124_2_1_4) OR FIREABLE(T_1124_3_6_3) OR FIREABLE(T_1124_2_1_3) OR FIREABLE(T_1124_3_1_2) OR FIREABLE(T_1124_1_3_4) OR FIREABLE(T_1124_3_3_6) OR FIREABLE(T_1124_1_3_3) OR FIREABLE(T_1124_5_5_1) OR FIREABLE(T_1124_1_4_1) OR FIREABLE(T_1124_6_6_1) OR FIREABLE(T_1124_6_5_3) OR FIREABLE(T_1124_3_3_5) OR FIREABLE(T_1124_1_3_6) OR FIREABLE(T_1124_1_6_4) OR FIREABLE(T_1124_3_6_5) OR FIREABLE(T_1124_6_3_6) OR FIREABLE(T_1124_6_3_4))) : A (F (X ((X ((FIREABLE(NOPDP_3_1) OR FIREABLE(NOPDP_4_2) OR FIREABLE(NOPDP_2_2) OR FIREABLE(NOPDP_4_4) OR FIREABLE(NOPDP_3_4) OR FIREABLE(NOPDP_1_6) OR FIREABLE(NOPDP_4_5) OR FIREABLE(NOPDP_2_1) OR FIREABLE(NOPDP_6_5) OR FIREABLE(NOPDP_5_2) OR FIREABLE(NOPDP_5_5) OR FIREABLE(NOPDP_1_1) OR FIREABLE(NOPDP_2_4) OR FIREABLE(NOPDP_2_5) OR FIREABLE(NOPDP_3_6) OR FIREABLE(NOPDP_1_4) OR FIREABLE(NOPDP_5_1) OR FIREABLE(NOPDP_6_2) OR FIREABLE(NOPDP_6_3) OR FIREABLE(NOPDP_2_6) OR FIREABLE(NOPDP_1_3) OR FIREABLE(NOPDP_4_1) OR FIREABLE(NOPDP_3_5) OR FIREABLE(NOPDP_5_3) OR FIREABLE(NOPDP_6_4) OR FIREABLE(NOPDP_1_2) OR FIREABLE(NOPDP_1_5) OR FIREABLE(NOPDP_2_3) OR FIREABLE(NOPDP_5_6) OR FIREABLE(NOPDP_6_1) OR FIREABLE(NOPDP_4_3) OR FIREABLE(NOPDP_3_3) OR FIREABLE(NOPDP_4_6) OR FIREABLE(NOPDP_3_2) OR FIREABLE(NOPDP_6_6) OR FIREABLE(NOPDP_5_4))) U X ((FIREABLE(EnterCSTCS_4) OR FIREABLE(EnterCSTCS_5) OR FIREABLE(EnterCSTCS_6) OR FIREABLE(EnterCSTCS_1) OR FIREABLE(EnterCSTCS_3) OR FIREABLE(EnterCSTCS_2))))))) : A ((X (X (X ((FIREABLE(T_1145_5) OR FIREABLE(T_1145_3) OR FIREABLE(T_1145_1) OR FIREABLE(T_1145_6) OR FIREABLE(T_1145_4) OR FIREABLE(T_1145_2))))) U (F ((FIREABLE(T_2294_2) OR FIREABLE(T_2294_4) OR FIREABLE(T_2294_3) OR FIREABLE(T_2294_1) OR FIREABLE(T_2294_6) OR FIREABLE(T_2294_5))) U X ((FIREABLE(T_1096_2) OR FIREABLE(T_1096_3) OR FIREABLE(T_1096_1) OR FIREABLE(T_1096_6) OR FIREABLE(T_1096_4) OR FIREABLE(T_1096_5)))))) : A (G (F (((FIREABLE(EnterCSPW_6) OR FIREABLE(EnterCSPW_1) OR FIREABLE(EnterCSPW_4) OR FIREABLE(EnterCSPW_5) OR FIREABLE(EnterCSPW_2) OR FIREABLE(EnterCSPW_3)) U (FIREABLE(LeaveCSTCS_5) OR FIREABLE(LeaveCSTCS_2) OR FIREABLE(LeaveCSTCS_6) OR FIREABLE(LeaveCSTCS_1) OR FIREABLE(LeaveCSTCS_4) OR FIREABLE(LeaveCSTCS_3)))))) : A ((FIREABLE(WaitforBlockedTasks_4_6) OR FIREABLE(WaitforBlockedTasks_1_3) OR FIREABLE(WaitforBlockedTasks_3_3) OR FIREABLE(WaitforBlockedTasks_4_4) OR FIREABLE(WaitforBlockedTasks_4_1) OR FIREABLE(WaitforBlockedTasks_3_6) OR FIREABLE(WaitforBlockedTasks_5_4) OR FIREABLE(WaitforBlockedTasks_6_4) OR FIREABLE(WaitforBlockedTasks_3_1) OR FIREABLE(WaitforBlockedTasks_4_2) OR FIREABLE(WaitforBlockedTasks_2_6) OR FIREABLE(WaitforBlockedTasks_5_3) OR FIREABLE(WaitforBlockedTasks_1_6) OR FIREABLE(WaitforBlockedTasks_5_2) OR FIREABLE(WaitforBlockedTasks_2_1) OR FIREABLE(WaitforBlockedTasks_1_5) OR FIREABLE(WaitforBlockedTasks_6_5) OR FIREABLE(WaitforBlockedTasks_4_3) OR FIREABLE(WaitforBlockedTasks_1_4) OR FIREABLE(WaitforBlockedTasks_2_5) OR FIREABLE(WaitforBlockedTasks_5_5) OR FIREABLE(WaitforBlockedTasks_2_2) OR FIREABLE(WaitforBlockedTasks_1_1) OR FIREABLE(WaitforBlockedTasks_3_5) OR FIREABLE(WaitforBlockedTasks_6_3) OR FIREABLE(WaitforBlockedTasks_3_4) OR FIREABLE(WaitforBlockedTasks_3_2) OR FIREABLE(WaitforBlockedTasks_4_5) OR FIREABLE(WaitforBlockedTasks_2_3) OR FIREABLE(WaitforBlockedTasks_1_2) OR FIREABLE(WaitforBlockedTasks_6_6) OR FIREABLE(WaitforBlockedTasks_6_1) OR FIREABLE(WaitforBlockedTasks_2_4) OR FIREABLE(WaitforBlockedTasks_5_6) OR FIREABLE(WaitforBlockedTasks_5_1) OR FIREABLE(WaitforBlockedTasks_6_2))) : A ((FIREABLE(T_2311_6) OR FIREABLE(T_2311_4) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_1))) : A ((FIREABLE(NOPEP_4) OR FIREABLE(NOPEP_5) OR FIREABLE(NOPEP_2) OR FIREABLE(NOPEP_6) OR FIREABLE(NOPEP_3) OR FIREABLE(NOPEP_1))) : A (G (X ((G ((FIREABLE(T_1125_6_5_4_4) OR FIREABLE(T_1125_6_6_1_4) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_5_6_1_4) OR FIREABLE(T_1125_6_6_2_4) OR FIREABLE(T_1125_5_5_3_5) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T_1125_6_2_3_6) OR FIREABLE(T_1125_3_5_6_3) OR FIREABLE(T_1125_5_3_5_2) OR FIREABLE(T_1125_2_2_5_4) OR FIREABLE(T_1125_5_2_3_6) OR FIREABLE(T_1125_4_5_2_4) OR FIREABLE(T_1125_5_5_2_6) OR FIREABLE(T_1125_4_5_5_5) OR FIREABLE(T_1125_6_6_4_5) OR FIREABLE(T_1125_5_2_1_3) OR FIREABLE(T_1125_5_6_6_1) OR FIREABLE(T_1125_2_4_3_4) OR FIREABLE(T_1125_1_4_3_4) OR FIREABLE(T_1125_5_1_6_3) OR FIREABLE(T_1125_5_2_5_5) OR FIREABLE(T_1125_3_3_5_6) OR FIREABLE(T_1125_6_4_3_5) OR FIREABLE(T_1125_2_4_2_5) OR FIREABLE(T_1125_2_4_2_6) OR FIREABLE(T_1125_2_3_3_5) OR FIREABLE(T_1125_6_4_6_6) OR FIREABLE(T_1125_2_1_3_6) OR FIREABLE(T_1125_2_1_4_4) OR FIREABLE(T_1125_5_2_4_5) OR FIREABLE(T_1125_5_1_3_4) OR FIREABLE(T_1125_3_3_5_1) OR FIREABLE(T_1125_4_2_3_1) OR FIREABLE(T_1125_4_3_6_5) OR FIREABLE(T_1125_2_3_6_2) OR FIREABLE(T_1125_6_5_3_6) OR FIREABLE(T_1125_5_6_1_3) OR FIREABLE(T_1125_2_5_5_4) OR FIREABLE(T_1125_1_4_1_4) OR FIREABLE(T_1125_3_6_6_3) OR FIREABLE(T_1125_5_2_2_6) OR FIREABLE(T_1125_5_5_5_4) OR FIREABLE(T_1125_3_4_2_1) OR FIREABLE(T_1125_2_4_3_2) OR FIREABLE(T_1125_1_4_3_5) OR FIREABLE(T_1125_4_1_5_6) OR FIREABLE(T_1125_3_4_6_4) OR FIREABLE(T_1125_4_4_4_3) OR FIREABLE(T_1125_3_4_4_4) OR FIREABLE(T_1125_5_2_6_4) OR FIREABLE(T_1125_3_1_3_2) OR FIREABLE(T_1125_6_4_2_3) OR FIREABLE(T_1125_6_5_6_3) OR FIREABLE(T_1125_2_2_1_4) OR FIREABLE(T_1125_3_2_2_2) OR FIREABLE(T_1125_6_6_1_6) OR FIREABLE(T_1125_2_5_1_4) OR FIREABLE(T_1125_4_6_6_5) OR FIREABLE(T_1125_6_5_5_1) OR FIREABLE(T_1125_5_1_4_1) OR FIREABLE(T_1125_1_6_3_1) OR FIREABLE(T_1125_2_1_6_3) OR FIREABLE(T_1125_2_4_5_1) OR FIREABLE(T_1125_6_1_4_5) OR FIREABLE(T_1125_1_5_4_2) OR FIREABLE(T_1125_3_5_6_5) OR FIREABLE(T_1125_1_2_6_1) OR FIREABLE(T_1125_3_1_3_1) OR FIREABLE(T_1125_2_5_4_5) OR FIREABLE(T_1125_6_3_2_6) OR FIREABLE(T_1125_6_4_1_3) OR FIREABLE(T_1125_3_5_2_4) OR FIREABLE(T_1125_6_5_3_2) OR FIREABLE(T_1125_5_1_4_2) OR FIREABLE(T_1125_6_3_2_4) OR FIREABLE(T_1125_6_2_4_2) OR FIREABLE(T_1125_4_3_1_2) OR FIREABLE(T_1125_5_3_2_3) OR FIREABLE(T_1125_1_4_5_4) OR FIREABLE(T_1125_5_6_6_6) OR FIREABLE(T_1125_3_6_4_6) OR FIREABLE(T_1125_4_3_2_2) OR FIREABLE(T_1125_6_2_5_3) OR FIREABLE(T_1125_5_1_5_3) OR FIREABLE(T_1125_3_3_4_1) OR FIREABLE(T_1125_1_5_1_2) OR FIREABLE(T_1125_3_3_6_1) OR FIREABLE(T_1125_3_6_3_6) OR FIREABLE(T_1125_6_5_6_4) OR FIREABLE(T_1125_1_3_4_6) OR FIREABLE(T_1125_2_6_5_2) OR FIREABLE(T_1125_6_2_4_4) OR FIREABLE(T_1125_2_2_1_5) OR FIREABLE(T_1125_1_5_6_4) OR FIREABLE(T_1125_5_2_5_1) OR FIREABLE(T_1125_2_2_5_5) OR FIREABLE(T_1125_3_2_3_3) OR FIREABLE(T_1125_4_1_5_1) OR FIREABLE(T_1125_6_3_1_1) OR FIREABLE(T_1125_3_2_6_6) OR FIREABLE(T_1125_2_6_4_2) OR FIREABLE(T_1125_4_2_2_4) OR FIREABLE(T_1125_2_5_5_3) OR FIREABLE(T_1125_1_6_2_4) OR FIREABLE(T_1125_3_6_6_1) OR FIREABLE(T_1125_3_5_3_1) OR FIREABLE(T_1125_4_1_1_3) OR FIREABLE(T_1125_3_4_3_6) OR FIREABLE(T_1125_1_4_1_5) OR FIREABLE(T_1125_6_2_6_4) OR FIREABLE(T_1125_3_4_6_2) OR FIREABLE(T_1125_4_2_2_3) OR FIREABLE(T_1125_2_6_3_1) OR FIREABLE(T_1125_3_1_2_4) OR FIREABLE(T_1125_5_2_2_5) OR FIREABLE(T_1125_1_1_4_4) OR FIREABLE(T_1125_6_6_5_5) OR FIREABLE(T_1125_5_3_4_5) OR FIREABLE(T_1125_4_3_6_3) OR FIREABLE(T_1125_2_1_5_1) OR FIREABLE(T_1125_6_3_6_2) OR FIREABLE(T_1125_6_5_2_5) OR FIREABLE(T_1125_1_1_1_6) OR FIREABLE(T_1125_3_1_4_6) OR FIREABLE(T_1125_2_2_1_6) OR FIREABLE(T_1125_4_6_1_6) OR FIREABLE(T_1125_4_6_1_2) OR FIREABLE(T_1125_4_3_3_4) OR FIREABLE(T_1125_4_1_1_1) OR FIREABLE(T_1125_5_6_4_5) OR FIREABLE(T_1125_1_4_1_6) OR FIREABLE(T_1125_3_5_2_5) OR FIREABLE(T_1125_5_1_4_3) OR FIREABLE(T_1125_2_5_5_5) OR FIREABLE(T_1125_1_3_1_1) OR FIREABLE(T_1125_1_2_4_3) OR FIREABLE(T_1125_5_4_4_1) OR FIREABLE(T_1125_2_1_3_2) OR FIREABLE(T_1125_4_1_4_6) OR FIREABLE(T_1125_5_3_2_5) OR FIREABLE(T_1125_6_6_1_5) OR FIREABLE(T_1125_5_4_4_3) OR FIREABLE(T_1125_4_6_4_3) OR FIREABLE(T_1125_1_3_3_2) OR FIREABLE(T_1125_1_6_3_2) OR FIREABLE(T_1125_3_5_1_6) OR FIREABLE(T_1125_5_3_6_5) OR FIREABLE(T_1125_6_2_5_1) OR FIREABLE(T_1125_3_3_2_2) OR FIREABLE(T_1125_1_1_3_5) OR FIREABLE(T_1125_5_4_4_2) OR FIREABLE(T_1125_3_6_6_2) OR FIREABLE(T_1125_3_5_1_2) OR FIREABLE(T_1125_6_1_1_2) OR FIREABLE(T_1125_4_3_3_3) OR FIREABLE(T_1125_4_2_6_3) OR FIREABLE(T_1125_2_1_6_4) OR FIREABLE(T_1125_2_3_2_5) OR FIREABLE(T_1125_4_4_4_6) OR FIREABLE(T_1125_2_2_3_4) OR FIREABLE(T_1125_3_6_2_5) OR FIREABLE(T_1125_3_3_4_4) OR FIREABLE(T_1125_5_3_1_2) OR FIREABLE(T_1125_6_5_2_6) OR FIREABLE(T_1125_4_4_5_6) OR FIREABLE(T_1125_1_6_5_5) OR FIREABLE(T_1125_3_3_3_6) OR FIREABLE(T_1125_1_5_1_4) OR FIREABLE(T_1125_5_1_2_3) OR FIREABLE(T_1125_5_5_2_2) OR FIREABLE(T_1125_2_3_6_6) OR FIREABLE(T_1125_6_4_4_1) OR FIREABLE(T_1125_6_5_1_5) OR FIREABLE(T_1125_5_2_5_4) OR FIREABLE(T_1125_4_4_1_5) OR FIREABLE(T_1125_4_5_4_5) OR FIREABLE(T_1125_5_6_5_6) OR FIREABLE(T_1125_2_6_1_4) OR FIREABLE(T_1125_5_1_1_1) OR FIREABLE(T_1125_3_2_3_2) OR FIREABLE(T_1125_4_5_3_5) OR FIREABLE(T_1125_1_5_5_2) OR FIREABLE(T_1125_1_6_3_3) OR FIREABLE(T_1125_3_6_6_4) OR FIREABLE(T_1125_4_3_5_4) OR FIREABLE(T_1125_6_1_6_2) OR FIREABLE(T_1125_2_2_3_3) OR FIREABLE(T_1125_2_6_5_3) OR FIREABLE(T_1125_2_4_2_2) OR FIREABLE(T_1125_1_5_2_3) OR FIREABLE(T_1125_2_1_1_4) OR FIREABLE(T_1125_3_5_6_6) OR FIREABLE(T_1125_6_3_3_1) OR FIREABLE(T_1125_1_2_5_2) OR FIREABLE(T_1125_4_4_3_6) OR FIREABLE(T_1125_2_6_5_6) OR FIREABLE(T_1125_4_4_4_4) OR FIREABLE(T_1125_2_3_3_2) OR FIREABLE(T_1125_5_4_2_6) OR FIREABLE(T_1125_5_5_1_6) OR FIREABLE(T_1125_1_3_5_5) OR FIREABLE(T_1125_2_6_6_1) OR FIREABLE(T_1125_5_4_3_4) OR FIREABLE(T_1125_3_5_1_1) OR FIREABLE(T_1125_2_6_1_3) OR FIREABLE(T_1125_5_6_6_5) OR FIREABLE(T_1125_5_3_2_4) OR FIREABLE(T_1125_3_3_4_2) OR FIREABLE(T_1125_1_2_5_3) OR FIREABLE(T_1125_1_6_4_6) OR FIREABLE(T_1125_4_1_6_1) OR FIREABLE(T_1125_2_3_5_2) OR FIREABLE(T_1125_5_4_5_1) OR FIREABLE(T_1125_1_3_1_3) OR FIREABLE(T_1125_6_5_3_4) OR FIREABLE(T_1125_5_2_1_4) OR FIREABLE(T_1125_6_4_2_4) OR FIREABLE(T_1125_3_6_2_4) OR FIREABLE(T_1125_1_4_4_1) OR FIREABLE(T_1125_1_5_1_5) OR FIREABLE(T_1125_3_6_4_1) OR FIREABLE(T_1125_3_1_4_5) OR FIREABLE(T_1125_2_2_4_4) OR FIREABLE(T_1125_3_4_5_4) OR FIREABLE(T_1125_1_2_2_2) OR FIREABLE(T_1125_5_1_5_6) OR FIREABLE(T_1125_3_6_5_3) OR FIREABLE(T_1125_4_6_5_4) OR FIREABLE(T_1125_4_2_2_6) OR FIREABLE(T_1125_6_6_4_4) OR FIREABLE(T_1125_3_4_4_5) OR FIREABLE(T_1125_4_4_6_1) OR FIREABLE(T_1125_1_4_6_4) OR FIREABLE(T_1125_3_3_4_3) OR FIREABLE(T_1125_1_1_3_6) OR FIREABLE(T_1125_5_3_3_4) OR FIREABLE(T_1125_5_3_3_3) OR FIREABLE(T_1125_5_3_5_1) OR FIREABLE(T_1125_5_5_5_3) OR FIREABLE(T_1125_6_4_1_6) OR FIREABLE(T_1125_2_5_6_2) OR FIREABLE(T_1125_6_2_1_1) OR FIREABLE(T_1125_4_5_3_2) OR FIREABLE(T_1125_5_2_1_5) OR FIREABLE(T_1125_4_6_5_5) OR FIREABLE(T_1125_2_2_3_6) OR FIREABLE(T_1125_6_6_6_5) OR FIREABLE(T_1125_4_5_6_1) OR FIREABLE(T_1125_5_4_3_2) OR FIREABLE(T_1125_5_1_1_3) OR FIREABLE(T_1125_4_4_5_1) OR FIREABLE(T_1125_6_5_3_3) OR FIREABLE(T_1125_6_3_1_6) OR FIREABLE(T_1125_2_4_4_3) OR FIREABLE(T_1125_4_5_4_6) OR FIREABLE(T_1125_4_4_2_5) OR FIREABLE(T_1125_3_1_3_3) OR FIREABLE(T_1125_2_5_6_5) OR FIREABLE(T_1125_1_3_5_6) OR FIREABLE(T_1125_2_5_5_2) OR FIREABLE(T_1125_4_4_4_5) OR FIREABLE(T_1125_2_3_4_5) OR FIREABLE(T_1125_6_5_2_4) OR FIREABLE(T_1125_6_1_5_2) OR FIREABLE(T_1125_3_3_5_2) OR FIREABLE(T_1125_2_5_2_1) OR FIREABLE(T_1125_2_1_1_5) OR FIREABLE(T_1125_3_4_2_2) OR FIREABLE(T_1125_3_4_6_3) OR FIREABLE(T_1125_1_4_1_1) OR FIREABLE(T_1125_2_1_2_4) OR FIREABLE(T_1125_6_6_2_2) OR FIREABLE(T_1125_6_3_1_3) OR FIREABLE(T_1125_3_1_5_1) OR FIREABLE(T_1125_4_2_5_1) OR FIREABLE(T_1125_4_6_1_1) OR FIREABLE(T_1125_1_4_6_3) OR FIREABLE(T_1125_1_4_2_6) OR FIREABLE(T_1125_2_6_6_2) OR FIREABLE(T_1125_2_5_1_1) OR FIREABLE(T_1125_1_1_1_2) OR FIREABLE(T_1125_1_3_4_3) OR FIREABLE(T_1125_3_5_1_3) OR FIREABLE(T_1125_1_3_5_3) OR FIREABLE(T_1125_5_2_2_3) OR FIREABLE(T_1125_1_3_4_1) OR FIREABLE(T_1125_3_4_5_2) OR FIREABLE(T_1125_6_6_5_1) OR FIREABLE(T_1125_4_3_1_4) OR FIREABLE(T_1125_4_5_2_2) OR FIREABLE(T_1125_6_3_6_3) OR FIREABLE(T_1125_5_5_4_4) OR FIREABLE(T_1125_5_2_3_5) OR FIREABLE(T_1125_3_4_4_6) OR FIREABLE(T_1125_4_1_3_1) OR FIREABLE(T_1125_3_2_1_6) OR FIREABLE(T_1125_1_2_5_5) OR FIREABLE(T_1125_2_6_6_5) OR FIREABLE(T_1125_3_2_2_5) OR FIREABLE(T_1125_1_1_2_6) OR FIREABLE(T_1125_6_2_2_1) OR FIREABLE(T_1125_3_6_3_1) OR FIREABLE(T_1125_2_2_6_5) OR FIREABLE(T_1125_3_2_5_5) OR FIREABLE(T_1125_6_4_6_3) OR FIREABLE(T_1125_5_2_6_3) OR FIREABLE(T_1125_2_5_6_4) OR FIREABLE(T_1125_1_6_5_1) OR FIREABLE(T_1125_2_1_3_3) OR FIREABLE(T_1125_1_5_3_5) OR FIREABLE(T_1125_5_6_5_2) OR FIREABLE(T_1125_3_2_4_4) OR FIREABLE(T_1125_6_6_2_5) OR FIREABLE(T_1125_5_5_6_6) OR FIREABLE(T_1125_1_5_6_5) OR FIREABLE(T_1125_6_1_1_3) OR FIREABLE(T_1125_4_3_2_3) OR FIREABLE(T_1125_2_4_4_2) OR FIREABLE(T_1125_4_5_6_3) OR FIREABLE(T_1125_1_1_6_6) OR FIREABLE(T_1125_1_1_5_4) OR FIREABLE(T_1125_4_2_1_4) OR FIREABLE(T_1125_4_6_5_6) OR FIREABLE(T_1125_1_6_2_6) OR FIREABLE(T_1125_2_2_3_5) OR FIREABLE(T_1125_4_5_4_2) OR FIREABLE(T_1125_5_4_1_2) OR FIREABLE(T_1125_5_4_5_6) OR FIREABLE(T_1125_1_4_3_1) OR FIREABLE(T_1125_2_3_6_1) OR FIREABLE(T_1125_6_2_6_2) OR FIREABLE(T_1125_6_1_4_2) OR FIREABLE(T_1125_6_6_3_5) OR FIREABLE(T_1125_2_3_2_2) OR FIREABLE(T_1125_4_4_3_4) OR FIREABLE(T_1125_4_5_1_6) OR FIREABLE(T_1125_5_5_4_5) OR FIREABLE(T_1125_3_4_5_3) OR FIREABLE(T_1125_5_3_1_6) OR FIREABLE(T_1125_4_5_3_6) OR FIREABLE(T_1125_1_1_2_2) OR FIREABLE(T_1125_5_2_5_3) OR FIREABLE(T_1125_5_2_2_4) OR FIREABLE(T_1125_5_3_3_5) OR FIREABLE(T_1125_5_4_5_5) OR FIREABLE(T_1125_1_5_4_1) OR FIREABLE(T_1125_1_1_5_2) OR FIREABLE(T_1125_4_4_3_2) OR FIREABLE(T_1125_2_1_3_4) OR FIREABLE(T_1125_1_2_5_6) OR FIREABLE(T_1125_6_1_6_5) OR FIREABLE(T_1125_1_1_3_2) OR FIREABLE(T_1125_5_2_1_1) OR FIREABLE(T_1125_3_2_4_5) OR FIREABLE(T_1125_3_4_3_3) OR FIREABLE(T_1125_3_4_4_3) OR FIREABLE(T_1125_6_3_6_4) OR FIREABLE(T_1125_4_5_1_2) OR FIREABLE(T_1125_1_3_2_1) OR FIREABLE(T_1125_3_3_6_6) OR FIREABLE(T_1125_6_4_1_4) OR FIREABLE(T_1125_5_6_6_2) OR FIREABLE(T_1125_4_2_5_4) OR FIREABLE(T_1125_1_6_3_4) OR FIREABLE(T_1125_1_1_6_5) OR FIREABLE(T_1125_2_5_6_6) OR FIREABLE(T_1125_5_2_3_4) OR FIREABLE(T_1125_2_3_4_2) OR FIREABLE(T_1125_2_1_2_6) OR FIREABLE(T_1125_3_2_1_3) OR FIREABLE(T_1125_6_4_6_4) OR FIREABLE(T_1125_5_3_1_5) OR FIREABLE(T_1125_6_3_3_3) OR FIREABLE(T_1125_4_3_2_4) OR FIREABLE(T_1125_6_6_2_6) OR FIREABLE(T_1125_1_3_5_4) OR FIREABLE(T_1125_6_1_4_3) OR FIREABLE(T_1125_1_3_1_4) OR FIREABLE(T_1125_3_1_1_4) OR FIREABLE(T_1125_2_1_3_5) OR FIREABLE(T_1125_6_6_3_6) OR FIREABLE(T_1125_3_2_1_2) OR FIREABLE(T_1125_5_6_1_1) OR FIREABLE(T_1125_2_3_5_6) OR FIREABLE(T_1125_3_1_2_5) OR FIREABLE(T_1125_1_1_4_2) OR FIREABLE(T_1125_2_3_4_4) OR FIREABLE(T_1125_1_5_2_5) OR FIREABLE(T_1125_5_5_4_3) OR FIREABLE(T_1125_4_1_2_2) OR FIREABLE(T_1125_1_2_6_2) OR FIREABLE(T_1125_4_1_6_6) OR FIREABLE(T_1125_6_6_3_4) OR FIREABLE(T_1125_5_1_3_1) OR FIREABLE(T_1125_4_4_3_5) OR FIREABLE(T_1125_5_4_3_6) OR FIREABLE(T_1125_3_2_6_1) OR FIREABLE(T_1125_2_3_1_2) OR FIREABLE(T_1125_5_4_4_4) OR FIREABLE(T_1125_5_5_3_2) OR FIREABLE(T_1125_6_1_5_5) OR FIREABLE(T_1125_6_4_6_5) OR FIREABLE(T_1125_5_1_6_4) OR FIREABLE(T_1125_3_6_6_5) OR FIREABLE(T_1125_3_5_5_2) OR FIREABLE(T_1125_6_1_1_5) OR FIREABLE(T_1125_4_5_5_1) OR FIREABLE(T_1125_5_1_5_4) OR FIREABLE(T_1125_6_6_3_2) OR FIREABLE(T_1125_1_5_1_6) OR FIREABLE(T_1125_3_6_1_4) OR FIREABLE(T_1125_1_4_2_5) OR FIREABLE(T_1125_5_4_6_1) OR FIREABLE(T_1125_6_3_5_3) OR FIREABLE(T_1125_3_3_3_2) OR FIREABLE(T_1125_5_3_4_1) OR FIREABLE(T_1125_4_5_4_4) OR FIREABLE(T_1125_3_1_1_6) OR FIREABLE(T_1125_1_2_3_4) OR FIREABLE(T_1125_4_3_1_5) OR FIREABLE(T_1125_4_6_2_1) OR FIREABLE(T_1125_1_5_2_4) OR FIREABLE(T_1125_2_6_6_6) OR FIREABLE(T_1125_3_5_1_5) OR FIREABLE(T_1125_4_4_1_6) OR FIREABLE(T_1125_4_1_2_4) OR FIREABLE(T_1125_3_1_6_1) OR FIREABLE(T_1125_1_6_6_1) OR FIREABLE(T_1125_2_5_1_3) OR FIREABLE(T_1125_6_6_5_3) OR FIREABLE(T_1125_5_5_5_6) OR FIREABLE(T_1125_6_1_6_1) OR FIREABLE(T_1125_6_2_5_6) OR FIREABLE(T_1125_2_2_2_5) OR FIREABLE(T_1125_3_5_2_1) OR FIREABLE(T_1125_6_6_4_3) OR FIREABLE(T_1125_4_4_2_4) OR FIREABLE(T_1125_1_4_5_3) OR FIREABLE(T_1125_2_4_5_2) OR FIREABLE(T_1125_1_2_4_2) OR FIREABLE(T_1125_1_3_2_2) OR FIREABLE(T_1125_3_3_2_1) OR FIREABLE(T_1125_6_3_5_4) OR FIREABLE(T_1125_3_5_6_2) OR FIREABLE(T_1125_6_4_5_4) OR FIREABLE(T_1125_1_4_2_3) OR FIREABLE(T_1125_2_4_4_6) OR FIREABLE(T_1125_2_2_3_2) OR FIREABLE(T_1125_2_2_2_3) OR FIREABLE(T_1125_4_6_5_3) OR FIREABLE(T_1125_3_2_3_6) OR FIREABLE(T_1125_3_3_1_2) OR FIREABLE(T_1125_5_2_6_5) OR FIREABLE(T_1125_1_2_3_1) OR FIREABLE(T_1125_4_5_3_3) OR FIREABLE(T_1125_4_6_5_2) OR FIREABLE(T_1125_4_2_4_1) OR FIREABLE(T_1125_6_1_2_1) OR FIREABLE(T_1125_1_1_2_5) OR FIREABLE(T_1125_2_1_1_1) OR FIREABLE(T_1125_6_6_1_3) OR FIREABLE(T_1125_2_4_1_1) OR FIREABLE(T_1125_3_3_2_4) OR FIREABLE(T_1125_2_4_5_6) OR FIREABLE(T_1125_3_3_4_6) OR FIREABLE(T_1125_5_2_3_3) OR FIREABLE(T_1125_1_1_5_3) OR FIREABLE(T_1125_3_2_2_6) OR FIREABLE(T_1125_6_5_1_4) OR FIREABLE(T_1125_1_5_5_1) OR FIREABLE(T_1125_2_4_6_1) OR FIREABLE(T_1125_5_1_1_4) OR FIREABLE(T_1125_2_3_5_1) OR FIREABLE(T_1125_2_3_5_5) OR FIREABLE(T_1125_4_2_1_6) OR FIREABLE(T_1125_4_3_2_6) OR FIREABLE(T_1125_3_6_5_4) OR FIREABLE(T_1125_4_6_6_6) OR FIREABLE(T_1125_5_5_5_5) OR FIREABLE(T_1125_6_3_6_5) OR FIREABLE(T_1125_5_5_1_3) OR FIREABLE(T_1125_5_5_1_2) OR FIREABLE(T_1125_4_6_1_5) OR FIREABLE(T_1125_3_1_3_5) OR FIREABLE(T_1125_5_1_2_4) OR FIREABLE(T_1125_3_5_4_1) OR FIREABLE(T_1125_1_4_4_3) OR FIREABLE(T_1125_6_3_5_2) OR FIREABLE(T_1125_6_6_4_1) OR FIREABLE(T_1125_3_4_4_2) OR FIREABLE(T_1125_1_6_1_6) OR FIREABLE(T_1125_3_6_2_1) OR FIREABLE(T_1125_5_3_6_1) OR FIREABLE(T_1125_4_5_2_5) OR FIREABLE(T_1125_4_6_2_2) OR FIREABLE(T_1125_1_2_6_5) OR FIREABLE(T_1125_1_2_6_6) OR FIREABLE(T_1125_3_2_5_2) OR FIREABLE(T_1125_4_1_6_2) OR FIREABLE(T_1125_4_3_1_6) OR FIREABLE(T_1125_1_3_5_2) OR FIREABLE(T_1125_5_4_4_5) OR FIREABLE(T_1125_2_5_2_3) OR FIREABLE(T_1125_4_4_2_2) OR FIREABLE(T_1125_3_1_2_6) OR FIREABLE(T_1125_2_4_5_3) OR FIREABLE(T_1125_6_4_3_6) OR FIREABLE(T_1125_4_6_6_2) OR FIREABLE(T_1125_5_1_2_1) OR FIREABLE(T_1125_4_5_5_2) OR FIREABLE(T_1125_5_5_2_3) OR FIREABLE(T_1125_1_5_3_1) OR FIREABLE(T_1125_4_2_3_3) OR FIREABLE(T_1125_6_4_2_1) OR FIREABLE(T_1125_5_6_3_2) OR FIREABLE(T_1125_4_2_5_3) OR FIREABLE(T_1125_1_6_4_2) OR FIREABLE(T_1125_4_6_4_2) OR FIREABLE(T_1125_6_2_5_2) OR FIREABLE(T_1125_1_6_6_3) OR FIREABLE(T_1125_6_3_4_1) OR FIREABLE(T_1125_3_4_6_6) OR FIREABLE(T_1125_2_6_1_1) OR FIREABLE(T_1125_3_5_6_4) OR FIREABLE(T_1125_6_4_6_2) OR FIREABLE(T_1125_6_5_3_5) OR FIREABLE(T_1125_6_1_6_6) OR FIREABLE(T_1125_2_2_6_3) OR FIREABLE(T_1125_5_5_4_6) OR FIREABLE(T_1125_2_4_5_5) OR FIREABLE(T_1125_4_6_6_1) OR FIREABLE(T_1125_5_5_3_3) OR FIREABLE(T_1125_3_2_1_5) OR FIREABLE(T_1125_6_3_4_2) OR FIREABLE(T_1125_6_6_2_3) OR FIREABLE(T_1125_4_5_4_3) OR FIREABLE(T_1125_4_6_1_3) OR FIREABLE(T_1125_1_1_6_2) OR FIREABLE(T_1125_5_1_2_2) OR FIREABLE(T_1125_1_3_6_3) OR FIREABLE(T_1125_5_4_1_4) OR FIREABLE(T_1125_1_1_4_6) OR FIREABLE(T_1125_1_1_4_3) OR FIREABLE(T_1125_2_2_4_3) OR FIREABLE(T_1125_1_6_2_2) OR FIREABLE(T_1125_5_6_6_4) OR FIREABLE(T_1125_3_2_4_3) OR FIREABLE(T_1125_3_1_6_3) OR FIREABLE(T_1125_1_4_1_3) OR FIREABLE(T_1125_3_3_5_5) OR FIREABLE(T_1125_3_1_1_1) OR FIREABLE(T_1125_4_4_1_2) OR FIREABLE(T_1125_2_5_4_3) OR FIREABLE(T_1125_4_3_6_2) OR FIREABLE(T_1125_2_2_1_3) OR FIREABLE(T_1125_3_5_5_4) OR FIREABLE(T_1125_1_2_3_2) OR FIREABLE(T_1125_6_3_1_4) OR FIREABLE(T_1125_3_2_5_1) OR FIREABLE(T_1125_6_4_3_4) OR FIREABLE(T_1125_1_2_3_6) OR FIREABLE(T_1125_1_4_6_5) OR FIREABLE(T_1125_6_4_1_5) OR FIREABLE(T_1125_5_6_2_4) OR FIREABLE(T_1125_2_4_3_5) OR FIREABLE(T_1125_6_1_4_4) OR FIREABLE(T_1125_6_2_6_6) OR FIREABLE(T_1125_1_1_4_1) OR FIREABLE(T_1125_2_6_6_4) OR FIREABLE(T_1125_3_2_5_3) OR FIREABLE(T_1125_6_3_2_3) OR FIREABLE(T_1125_5_3_2_6) OR FIREABLE(T_1125_4_3_3_1) OR FIREABLE(T_1125_3_2_3_4) OR FIREABLE(T_1125_6_1_3_1) OR FIREABLE(T_1125_2_3_2_1) OR FIREABLE(T_1125_4_6_3_6) OR FIREABLE(T_1125_3_1_1_2) OR FIREABLE(T_1125_6_4_3_1) OR FIREABLE(T_1125_1_6_5_3) OR FIREABLE(T_1125_6_2_2_2) OR FIREABLE(T_1125_6_6_6_3) OR FIREABLE(T_1125_2_5_3_1) OR FIREABLE(T_1125_6_1_2_5) OR FIREABLE(T_1125_1_5_2_6) OR FIREABLE(T_1125_2_5_3_2) OR FIREABLE(T_1125_5_4_2_4) OR FIREABLE(T_1125_5_2_4_1) OR FIREABLE(T_1125_2_1_4_5) OR FIREABLE(T_1125_2_5_4_2) OR FIREABLE(T_1125_5_6_2_1) OR FIREABLE(T_1125_3_3_5_4) OR FIREABLE(T_1125_3_4_1_3) OR FIREABLE(T_1125_1_2_6_4) OR FIREABLE(T_1125_1_2_1_3) OR FIREABLE(T_1125_2_2_2_6) OR FIREABLE(T_1125_1_6_3_5) OR FIREABLE(T_1125_6_1_5_6) OR FIREABLE(T_1125_1_2_2_1) OR FIREABLE(T_1125_4_5_2_3) OR FIREABLE(T_1125_5_2_1_6) OR FIREABLE(T_1125_4_4_5_5) OR FIREABLE(T_1125_4_4_5_4) OR FIREABLE(T_1125_3_4_1_2) OR FIREABLE(T_1125_4_6_5_1) OR FIREABLE(T_1125_4_3_1_3) OR FIREABLE(T_1125_5_1_6_2) OR FIREABLE(T_1125_2_6_5_5) OR FIREABLE(T_1125_1_4_3_3) OR FIREABLE(T_1125_3_4_1_1) OR FIREABLE(T_1125_5_3_3_6) OR FIREABLE(T_1125_5_5_6_2) OR FIREABLE(T_1125_6_2_1_2) OR FIREABLE(T_1125_4_1_1_4) OR FIREABLE(T_1125_6_6_1_2) OR FIREABLE(T_1125_4_2_3_5) OR FIREABLE(T_1125_4_4_1_4) OR FIREABLE(T_1125_2_2_4_2) OR FIREABLE(T_1125_4_2_6_5) OR FIREABLE(T_1125_2_6_5_4) OR FIREABLE(T_1125_1_6_1_4) OR FIREABLE(T_1125_2_3_3_4) OR FIREABLE(T_1125_5_3_4_2) OR FIREABLE(T_1125_2_2_1_2) OR FIREABLE(T_1125_5_5_5_1) OR FIREABLE(T_1125_2_4_4_5) OR FIREABLE(T_1125_2_6_2_6) OR FIREABLE(T_1125_3_4_6_1) OR FIREABLE(T_1125_1_5_5_5) OR FIREABLE(T_1125_2_4_3_3) OR FIREABLE(T_1125_3_1_2_3) OR FIREABLE(T_1125_1_3_3_5) OR FIREABLE(T_1125_4_3_2_5) OR FIREABLE(T_1125_4_3_5_3) OR FIREABLE(T_1125_1_5_5_4) OR FIREABLE(T_1125_2_5_6_3) OR FIREABLE(T_1125_6_4_5_1) OR FIREABLE(T_1125_4_2_1_1) OR FIREABLE(T_1125_2_3_3_6) OR FIREABLE(T_1125_4_1_5_4) OR FIREABLE(T_1125_1_4_5_1) OR FIREABLE(T_1125_6_5_1_6) OR FIREABLE(T_1125_6_1_6_3) OR FIREABLE(T_1125_5_1_4_5) OR FIREABLE(T_1125_2_1_1_6) OR FIREABLE(T_1125_5_6_3_1) OR FIREABLE(T_1125_3_2_2_3) OR FIREABLE(T_1125_2_3_4_6) OR FIREABLE(T_1125_4_3_6_4) OR FIREABLE(T_1125_2_3_1_5) OR FIREABLE(T_1125_4_2_5_2) OR FIREABLE(T_1125_3_6_1_1) OR FIREABLE(T_1125_3_5_3_3) OR FIREABLE(T_1125_1_5_2_1) OR FIREABLE(T_1125_4_1_2_1) OR FIREABLE(T_1125_2_2_4_1) OR FIREABLE(T_1125_2_1_2_2) OR FIREABLE(T_1125_2_1_5_3) OR FIREABLE(T_1125_3_1_5_2) OR FIREABLE(T_1125_1_6_2_5) OR FIREABLE(T_1125_5_2_1_2) OR FIREABLE(T_1125_6_2_5_5) OR FIREABLE(T_1125_2_2_5_1) OR FIREABLE(T_1125_1_5_6_2) OR FIREABLE(T_1125_6_2_6_3) OR FIREABLE(T_1125_5_3_2_1) OR FIREABLE(T_1125_6_6_5_2) OR FIREABLE(T_1125_5_4_1_6) OR FIREABLE(T_1125_6_6_6_2) OR FIREABLE(T_1125_6_6_3_3) OR FIREABLE(T_1125_3_5_2_3) OR FIREABLE(T_1125_5_6_2_3) OR FIREABLE(T_1125_6_5_2_2) OR FIREABLE(T_1125_1_1_1_5) OR FIREABLE(T_1125_6_2_4_5) OR FIREABLE(T_1125_6_1_3_2) OR FIREABLE(T_1125_4_2_6_6) OR FIREABLE(T_1125_5_4_2_2) OR FIREABLE(T_1125_4_6_4_4) OR FIREABLE(T_1125_2_3_4_3) OR FIREABLE(T_1125_3_2_4_6) OR FIREABLE(T_1125_5_3_1_3) OR FIREABLE(T_1125_3_2_1_1) OR FIREABLE(T_1125_1_2_2_5) OR FIREABLE(T_1125_2_1_5_5) OR FIREABLE(T_1125_3_5_4_6) OR FIREABLE(T_1125_1_6_4_5) OR FIREABLE(T_1125_6_5_1_2) OR FIREABLE(T_1125_5_6_4_4) OR FIREABLE(T_1125_4_3_6_1) OR FIREABLE(T_1125_4_6_3_3) OR FIREABLE(T_1125_4_6_3_1) OR FIREABLE(T_1125_2_5_4_1) OR FIREABLE(T_1125_5_1_5_5) OR FIREABLE(T_1125_5_4_6_3) OR FIREABLE(T_1125_6_5_5_5) OR FIREABLE(T_1125_6_3_4_3) OR FIREABLE(T_1125_2_3_2_3) OR FIREABLE(T_1125_4_6_4_6) OR FIREABLE(T_1125_5_4_5_3) OR FIREABLE(T_1125_5_1_3_5) OR FIREABLE(T_1125_5_6_5_4) OR FIREABLE(T_1125_4_3_4_6) OR FIREABLE(T_1125_3_2_6_4) OR FIREABLE(T_1125_1_4_4_2) OR FIREABLE(T_1125_5_2_6_1) OR FIREABLE(T_1125_3_3_3_4) OR FIREABLE(T_1125_5_2_6_2) OR FIREABLE(T_1125_2_3_1_3) OR FIREABLE(T_1125_6_1_4_6) OR FIREABLE(T_1125_4_3_4_4) OR FIREABLE(T_1125_1_5_3_4) OR FIREABLE(T_1125_5_4_1_1) OR FIREABLE(T_1125_4_3_4_1) OR FIREABLE(T_1125_4_4_6_2) OR FIREABLE(T_1125_5_3_3_2) OR FIREABLE(T_1125_5_3_3_1) OR FIREABLE(T_1125_1_5_3_6) OR FIREABLE(T_1125_2_5_6_1) OR FIREABLE(T_1125_3_5_4_3) OR FIREABLE(T_1125_1_1_3_3) OR FIREABLE(T_1125_3_3_1_4) OR FIREABLE(T_1125_1_2_4_4) OR FIREABLE(T_1125_2_3_1_1) OR FIREABLE(T_1125_4_5_5_6) OR FIREABLE(T_1125_6_1_2_3) OR FIREABLE(T_1125_6_2_1_4) OR FIREABLE(T_1125_4_2_4_5) OR FIREABLE(T_1125_2_6_2_1) OR FIREABLE(T_1125_5_5_1_5) OR FIREABLE(T_1125_5_3_4_4) OR FIREABLE(T_1125_4_3_3_2) OR FIREABLE(T_1125_3_4_1_4) OR FIREABLE(T_1125_4_3_3_6) OR FIREABLE(T_1125_1_4_5_6) OR FIREABLE(T_1125_5_5_5_2) OR FIREABLE(T_1125_1_1_5_6) OR FIREABLE(T_1125_6_6_2_1) OR FIREABLE(T_1125_4_6_2_4) OR FIREABLE(T_1125_6_6_5_6) OR FIREABLE(T_1125_4_1_6_4) OR FIREABLE(T_1125_4_6_3_2) OR FIREABLE(T_1125_5_5_4_2) OR FIREABLE(T_1125_2_4_1_2) OR FIREABLE(T_1125_5_3_5_5) OR FIREABLE(T_1125_3_3_2_6) OR FIREABLE(T_1125_5_4_3_5) OR FIREABLE(T_1125_1_6_4_3) OR FIREABLE(T_1125_1_3_2_4) OR FIREABLE(T_1125_1_1_3_4) OR FIREABLE(T_1125_6_4_2_6) OR FIREABLE(T_1125_3_2_3_1) OR FIREABLE(T_1125_3_2_6_3) OR FIREABLE(T_1125_1_3_6_6) OR FIREABLE(T_1125_3_5_3_4) OR FIREABLE(T_1125_4_5_1_4) OR FIREABLE(T_1125_1_3_2_3) OR FIREABLE(T_1125_4_1_6_5) OR FIREABLE(T_1125_5_5_6_4) OR FIREABLE(T_1125_6_5_5_4) OR FIREABLE(T_1125_3_4_5_6) OR FIREABLE(T_1125_6_2_5_4) OR FIREABLE(T_1125_2_5_3_6) OR FIREABLE(T_1125_1_1_1_1) OR FIREABLE(T_1125_1_1_6_1) OR FIREABLE(T_1125_3_5_3_2) OR FIREABLE(T_1125_2_4_6_6) OR FIREABLE(T_1125_2_5_5_1) OR FIREABLE(T_1125_1_3_6_2) OR FIREABLE(T_1125_6_1_3_6) OR FIREABLE(T_1125_1_2_5_4) OR FIREABLE(T_1125_2_4_2_3) OR FIREABLE(T_1125_2_6_2_4) OR FIREABLE(T_1125_2_1_6_2) OR FIREABLE(T_1125_4_5_5_3) OR FIREABLE(T_1125_4_6_3_4) OR FIREABLE(T_1125_1_1_1_4) OR FIREABLE(T_1125_4_4_2_6) OR FIREABLE(T_1125_2_5_1_5) OR FIREABLE(T_1125_5_4_6_2) OR FIREABLE(T_1125_3_1_6_6) OR FIREABLE(T_1125_4_6_6_3) OR FIREABLE(T_1125_1_6_6_6) OR FIREABLE(T_1125_1_6_5_6) OR FIREABLE(T_1125_6_6_6_1) OR FIREABLE(T_1125_2_4_2_4) OR FIREABLE(T_1125_5_3_5_4) OR FIREABLE(T_1125_2_2_5_6) OR FIREABLE(T_1125_5_6_5_5) OR FIREABLE(T_1125_4_3_5_1) OR FIREABLE(T_1125_1_1_6_3) OR FIREABLE(T_1125_1_4_6_1) OR FIREABLE(T_1125_5_6_2_2) OR FIREABLE(T_1125_1_3_1_2) OR FIREABLE(T_1125_3_1_2_2) OR FIREABLE(T_1125_3_2_4_2) OR FIREABLE(T_1125_3_3_4_5) OR FIREABLE(T_1125_4_5_6_2) OR FIREABLE(T_1125_6_3_6_6) OR FIREABLE(T_1125_1_1_5_1) OR FIREABLE(T_1125_4_4_1_3) OR FIREABLE(T_1125_5_3_4_3) OR FIREABLE(T_1125_6_6_4_2) OR FIREABLE(T_1125_2_2_6_1) OR FIREABLE(T_1125_1_1_6_4) OR FIREABLE(T_1125_6_1_3_3) OR FIREABLE(T_1125_2_6_1_5) OR FIREABLE(T_1125_6_2_6_5) OR FIREABLE(T_1125_6_5_4_5) OR FIREABLE(T_1125_3_3_2_3) OR FIREABLE(T_1125_3_1_5_5) OR FIREABLE(T_1125_6_5_6_2) OR FIREABLE(T_1125_3_1_2_1) OR FIREABLE(T_1125_4_1_2_6) OR FIREABLE(T_1125_6_4_4_3) OR FIREABLE(T_1125_2_1_4_2) OR FIREABLE(T_1125_3_3_1_5) OR FIREABLE(T_1125_5_5_3_6) OR FIREABLE(T_1125_1_3_3_3) OR FIREABLE(T_1125_2_2_5_3) OR FIREABLE(T_1125_2_2_2_1) OR FIREABLE(T_1125_6_3_6_1) OR FIREABLE(T_1125_4_2_6_2) OR FIREABLE(T_1125_4_5_6_6) OR FIREABLE(T_1125_5_5_6_1) OR FIREABLE(T_1125_6_2_2_4) OR FIREABLE(T_1125_2_1_5_2) OR FIREABLE(T_1125_6_3_4_5) OR FIREABLE(T_1125_1_4_4_4) OR FIREABLE(T_1125_2_5_4_6) OR FIREABLE(T_1125_2_3_4_1) OR FIREABLE(T_1125_4_1_1_6) OR FIREABLE(T_1125_6_5_1_1) OR FIREABLE(T_1125_2_2_1_1) OR FIREABLE(T_1125_3_6_3_5) OR FIREABLE(T_1125_2_3_3_1) OR FIREABLE(T_1125_3_2_5_6) OR FIREABLE(T_1125_1_2_2_4) OR FIREABLE(T_1125_1_6_1_3) OR FIREABLE(T_1125_1_6_2_1) OR FIREABLE(T_1125_1_5_4_4) OR FIREABLE(T_1125_2_2_6_4) OR FIREABLE(T_1125_3_6_3_2) OR FIREABLE(T_1125_6_2_3_4) OR FIREABLE(T_1125_5_2_4_3) OR FIREABLE(T_1125_1_1_1_3) OR FIREABLE(T_1125_5_6_4_6) OR FIREABLE(T_1125_4_5_3_1) OR FIREABLE(T_1125_2_2_4_6) OR FIREABLE(T_1125_4_1_1_5) OR FIREABLE(T_1125_3_1_6_2) OR FIREABLE(T_1125_6_4_4_2) OR FIREABLE(T_1125_6_6_3_1) OR FIREABLE(T_1125_5_4_3_1) OR FIREABLE(T_1125_1_2_5_1) OR FIREABLE(T_1125_2_5_3_3) OR FIREABLE(T_1125_3_6_4_2) OR FIREABLE(T_1125_2_3_6_3) OR FIREABLE(T_1125_4_5_6_4) OR FIREABLE(T_1125_3_2_4_1) OR FIREABLE(T_1125_3_4_2_5) OR FIREABLE(T_1125_5_2_4_2) OR FIREABLE(T_1125_3_6_2_6) OR FIREABLE(T_1125_4_1_5_5) OR FIREABLE(T_1125_6_3_2_5) OR FIREABLE(T_1125_1_6_1_2) OR FIREABLE(T_1125_3_3_6_3) OR FIREABLE(T_1125_5_3_4_6) OR FIREABLE(T_1125_2_4_6_3) OR FIREABLE(T_1125_4_1_3_5) OR FIREABLE(T_1125_2_3_2_4) OR FIREABLE(T_1125_5_3_5_3) OR FIREABLE(T_1125_5_3_6_4) OR FIREABLE(T_1125_4_1_3_6) OR FIREABLE(T_1125_3_3_1_1) OR FIREABLE(T_1125_4_4_1_1) OR FIREABLE(T_1125_5_3_6_2) OR FIREABLE(T_1125_1_3_6_5) OR FIREABLE(T_1125_6_5_6_5) OR FIREABLE(T_1125_4_2_3_2) OR FIREABLE(T_1125_1_6_6_5) OR FIREABLE(T_1125_4_1_2_3) OR FIREABLE(T_1125_6_4_3_2) OR FIREABLE(T_1125_3_5_2_6) OR FIREABLE(T_1125_3_4_2_3) OR FIREABLE(T_1125_4_1_5_3) OR FIREABLE(T_1125_3_5_5_5) OR FIREABLE(T_1125_1_5_4_5) OR FIREABLE(T_1125_5_6_1_5) OR FIREABLE(T_1125_5_1_3_2) OR FIREABLE(T_1125_6_5_5_6) OR FIREABLE(T_1125_6_4_1_2) OR FIREABLE(T_1125_4_2_1_2) OR FIREABLE(T_1125_5_1_6_5) OR FIREABLE(T_1125_4_6_4_1) OR FIREABLE(T_1125_2_2_6_6) OR FIREABLE(T_1125_1_1_3_1) OR FIREABLE(T_1125_1_5_4_3) OR FIREABLE(T_1125_5_4_6_6) OR FIREABLE(T_1125_3_1_5_3) OR FIREABLE(T_1125_6_2_1_5) OR FIREABLE(T_1125_2_3_2_6) OR FIREABLE(T_1125_2_5_3_4) OR FIREABLE(T_1125_5_5_2_5) OR FIREABLE(T_1125_4_3_2_1) OR FIREABLE(T_1125_5_2_5_2) OR FIREABLE(T_1125_4_2_2_2) OR FIREABLE(T_1125_5_1_1_6) OR FIREABLE(T_1125_5_2_4_6) OR FIREABLE(T_1125_5_6_3_4) OR FIREABLE(T_1125_6_2_3_3) OR FIREABLE(T_1125_3_6_3_4) OR FIREABLE(T_1125_3_6_1_6) OR FIREABLE(T_1125_3_3_3_5) OR FIREABLE(T_1125_3_6_1_2) OR FIREABLE(T_1125_3_4_3_5) OR FIREABLE(T_1125_5_1_1_2) OR FIREABLE(T_1125_6_3_5_6) OR FIREABLE(T_1125_1_2_4_6) OR FIREABLE(T_1125_3_1_4_3) OR FIREABLE(T_1125_2_6_4_4) OR FIREABLE(T_1125_4_1_4_4) OR FIREABLE(T_1125_4_4_2_1) OR FIREABLE(T_1125_1_2_4_5) OR FIREABLE(T_1125_4_5_1_3) OR FIREABLE(T_1125_5_5_4_1) OR FIREABLE(T_1125_3_2_5_4) OR FIREABLE(T_1125_6_3_4_4) OR FIREABLE(T_1125_2_6_2_2) OR FIREABLE(T_1125_2_4_4_1) OR FIREABLE(T_1125_2_6_3_5) OR FIREABLE(T_1125_3_4_1_5) OR FIREABLE(T_1125_4_3_5_5) OR FIREABLE(T_1125_2_4_6_2) OR FIREABLE(T_1125_4_2_5_6) OR FIREABLE(T_1125_3_6_6_6) OR FIREABLE(T_1125_6_6_4_6) OR FIREABLE(T_1125_6_3_4_6) OR FIREABLE(T_1125_6_4_2_2) OR FIREABLE(T_1125_6_3_3_5) OR FIREABLE(T_1125_6_3_3_6) OR FIREABLE(T_1125_5_6_3_3) OR FIREABLE(T_1125_1_6_6_2) OR FIREABLE(T_1125_1_4_6_6) OR FIREABLE(T_1125_1_4_3_6) OR FIREABLE(T_1125_2_6_3_6) OR FIREABLE(T_1125_6_1_5_4) OR FIREABLE(T_1125_6_1_1_4) OR FIREABLE(T_1125_2_5_2_5) OR FIREABLE(T_1125_6_5_4_3) OR FIREABLE(T_1125_2_4_1_4) OR FIREABLE(T_1125_1_1_2_3) OR FIREABLE(T_1125_3_1_5_6) OR FIREABLE(T_1125_3_4_2_4) OR FIREABLE(T_1125_6_1_3_4) OR FIREABLE(T_1125_4_3_5_2) OR FIREABLE(T_1125_2_5_5_6) OR FIREABLE(T_1125_4_3_4_2) OR FIREABLE(T_1125_3_2_2_1) OR FIREABLE(T_1125_2_5_4_4) OR FIREABLE(T_1125_5_1_6_6) OR FIREABLE(T_1125_2_1_6_5) OR FIREABLE(T_1125_4_2_6_1) OR FIREABLE(T_1125_1_6_1_1) OR FIREABLE(T_1125_1_4_1_2) OR FIREABLE(T_1125_4_1_3_4) OR FIREABLE(T_1125_5_5_6_3) OR FIREABLE(T_1125_4_6_2_6) OR FIREABLE(T_1125_4_3_1_1) OR FIREABLE(T_1125_1_2_1_1) OR FIREABLE(T_1125_6_6_6_6) OR FIREABLE(T_1125_2_4_1_5) OR FIREABLE(T_1125_1_2_3_5) OR FIREABLE(T_1125_6_1_5_1) OR FIREABLE(T_1125_1_6_5_4) OR FIREABLE(T_1125_1_4_4_5) OR FIREABLE(T_1125_6_2_1_3) OR FIREABLE(T_1125_3_3_5_3) OR FIREABLE(T_1125_4_4_6_3) OR FIREABLE(T_1125_5_5_1_4) OR FIREABLE(T_1125_2_4_5_4) OR FIREABLE(T_1125_2_3_1_6) OR FIREABLE(T_1125_1_5_4_6) OR FIREABLE(T_1125_4_5_4_1) OR FIREABLE(T_1125_5_4_2_1) OR FIREABLE(T_1125_1_3_3_4) OR FIREABLE(T_1125_1_5_5_3) OR FIREABLE(T_1125_6_1_6_4) OR FIREABLE(T_1125_5_6_4_1) OR FIREABLE(T_1125_1_3_2_5) OR FIREABLE(T_1125_5_2_2_2) OR FIREABLE(T_1125_2_6_5_1) OR FIREABLE(T_1125_1_2_1_6) OR FIREABLE(T_1125_3_4_6_5) OR FIREABLE(T_1125_1_5_2_2) OR FIREABLE(T_1125_3_5_4_4) OR FIREABLE(T_1125_6_5_4_2) OR FIREABLE(T_1125_3_1_4_2) OR FIREABLE(T_1125_4_6_2_3) OR FIREABLE(T_1125_6_1_4_1) OR FIREABLE(T_1125_5_1_2_6) OR FIREABLE(T_1125_6_1_2_4) OR FIREABLE(T_1125_4_4_3_1) OR FIREABLE(T_1125_2_6_4_5) OR FIREABLE(T_1125_3_3_6_5) OR FIREABLE(T_1125_5_1_2_5) OR FIREABLE(T_1125_3_6_1_3) OR FIREABLE(T_1125_5_1_3_6) OR FIREABLE(T_1125_6_4_4_4) OR FIREABLE(T_1125_1_3_1_5) OR FIREABLE(T_1125_4_4_6_6) OR FIREABLE(T_1125_5_1_4_4) OR FIREABLE(T_1125_6_5_2_1) OR FIREABLE(T_1125_3_6_5_5) OR FIREABLE(T_1125_3_4_4_1) OR FIREABLE(T_1125_3_2_6_2) OR FIREABLE(T_1125_2_6_3_2) OR FIREABLE(T_1125_4_3_4_3) OR FIREABLE(T_1125_1_6_1_5) OR FIREABLE(T_1125_5_1_6_1) OR FIREABLE(T_1125_3_6_5_6) OR FIREABLE(T_1125_3_1_4_1) OR FIREABLE(T_1125_3_6_4_3) OR FIREABLE(T_1125_2_1_2_1) OR FIREABLE(T_1125_2_2_3_1) OR FIREABLE(T_1125_5_3_5_6) OR FIREABLE(T_1125_3_5_3_6) OR FIREABLE(T_1125_3_5_5_6) OR FIREABLE(T_1125_4_2_4_2) OR FIREABLE(T_1125_4_6_6_4) OR FIREABLE(T_1125_2_6_3_4) OR FIREABLE(T_1125_6_5_1_3) OR FIREABLE(T_1125_3_3_3_1) OR FIREABLE(T_1125_6_2_2_6) OR FIREABLE(T_1125_4_4_6_4) OR FIREABLE(T_1125_2_6_4_6) OR FIREABLE(T_1125_1_2_1_5) OR FIREABLE(T_1125_3_5_5_1) OR FIREABLE(T_1125_6_2_2_3) OR FIREABLE(T_1125_4_4_5_3) OR FIREABLE(T_1125_1_4_3_2) OR FIREABLE(T_1125_3_5_2_2) OR FIREABLE(T_1125_1_4_5_2) OR FIREABLE(T_1125_1_3_5_1) OR FIREABLE(T_1125_3_3_6_4) OR FIREABLE(T_1125_5_5_3_1) OR FIREABLE(T_1125_4_4_6_5) OR FIREABLE(T_1125_6_3_5_1) OR FIREABLE(T_1125_4_5_6_5) OR FIREABLE(T_1125_1_2_3_3) OR FIREABLE(T_1125_4_4_5_2) OR FIREABLE(T_1125_5_1_5_2) OR FIREABLE(T_1125_4_1_2_5) OR FIREABLE(T_1125_1_6_5_2) OR FIREABLE(T_1125_5_6_3_5) OR FIREABLE(T_1125_1_3_4_5) OR FIREABLE(T_1125_1_5_6_6) OR FIREABLE(T_1125_4_4_3_3) OR FIREABLE(T_1125_6_3_3_2) OR FIREABLE(T_1125_1_6_6_4) OR FIREABLE(T_1125_2_6_6_3) OR FIREABLE(T_1125_1_4_2_1) OR FIREABLE(T_1125_4_2_1_5) OR FIREABLE(T_1125_6_4_5_3) OR FIREABLE(T_1125_2_3_5_4) OR FIREABLE(T_1125_1_5_6_3) OR FIREABLE(T_1125_4_1_3_3) OR FIREABLE(T_1125_6_4_4_5) OR FIREABLE(T_1125_6_4_5_5) OR FIREABLE(T_1125_2_1_5_6) OR FIREABLE(T_1125_6_2_3_5) OR FIREABLE(T_1125_1_6_4_4) OR FIREABLE(T_1125_4_1_3_2) OR FIREABLE(T_1125_2_1_4_3) OR FIREABLE(T_1125_1_5_3_2) OR FIREABLE(T_1125_5_6_3_6) OR FIREABLE(T_1125_1_3_6_1) OR FIREABLE(T_1125_2_4_1_6) OR FIREABLE(T_1125_6_5_3_1) OR FIREABLE(T_1125_6_5_2_3) OR FIREABLE(T_1125_4_5_1_1) OR FIREABLE(T_1125_5_2_3_2) OR FIREABLE(T_1125_2_6_1_2) OR FIREABLE(T_1125_2_3_1_4) OR FIREABLE(T_1125_1_4_5_5) OR FIREABLE(T_1125_4_2_1_3) OR FIREABLE(T_1125_2_6_3_3) OR FIREABLE(T_1125_5_6_2_6) OR FIREABLE(T_1125_1_2_1_4) OR FIREABLE(T_1125_3_1_1_3) OR FIREABLE(T_1125_3_1_4_4) OR FIREABLE(T_1125_4_1_4_5) OR FIREABLE(T_1125_2_2_5_2) OR FIREABLE(T_1125_3_5_4_2) OR FIREABLE(T_1125_6_1_1_1) OR FIREABLE(T_1125_6_2_4_1) OR FIREABLE(T_1125_1_1_2_1) OR FIREABLE(T_1125_2_5_2_6) OR FIREABLE(T_1125_3_6_2_2) OR FIREABLE(T_1125_5_4_1_3) OR FIREABLE(T_1125_2_5_3_5) OR FIREABLE(T_1125_6_6_5_4) OR FIREABLE(T_1125_4_2_4_4) OR FIREABLE(T_1125_4_2_4_6) OR FIREABLE(T_1125_6_1_2_6) OR FIREABLE(T_1125_5_3_1_4) OR FIREABLE(T_1125_5_4_5_4) OR FIREABLE(T_1125_5_4_2_3) OR FIREABLE(T_1125_6_2_4_3) OR FIREABLE(T_1125_6_3_2_2) OR FIREABLE(T_1125_6_3_3_4) OR FIREABLE(T_1125_1_6_4_1) OR FIREABLE(T_1125_2_5_2_4) OR FIREABLE(T_1125_4_6_2_5) OR FIREABLE(T_1125_4_5_3_4) OR FIREABLE(T_1125_3_6_4_4) OR FIREABLE(T_1125_5_2_6_6) OR FIREABLE(T_1125_1_3_1_6) OR FIREABLE(T_1125_3_6_2_3) OR FIREABLE(T_1125_1_5_1_3) OR FIREABLE(T_1125_1_5_3_3) OR FIREABLE(T_1125_4_4_4_1) OR FIREABLE(T_1125_3_1_1_5) OR FIREABLE(T_1125_2_6_1_6) OR FIREABLE(T_1125_6_3_1_2) OR FIREABLE(T_1125_6_2_3_1) OR FIREABLE(T_1125_5_5_2_1) OR FIREABLE(T_1125_6_4_6_1) OR FIREABLE(T_1125_3_4_3_4) OR FIREABLE(T_1125_1_1_4_5) OR FIREABLE(T_1125_5_4_2_5) OR FIREABLE(T_1125_5_2_3_1) OR FIREABLE(T_1125_6_2_2_5) OR FIREABLE(T_1125_2_1_1_2) OR FIREABLE(T_1125_5_3_1_1) OR FIREABLE(T_1125_5_5_2_4) OR FIREABLE(T_1125_2_3_6_5) OR FIREABLE(T_1125_6_4_4_6) OR FIREABLE(T_1125_4_1_5_2) OR FIREABLE(T_1125_3_5_6_1) OR FIREABLE(T_1125_1_4_4_6) OR FIREABLE(T_1125_4_3_6_6) OR FIREABLE(T_1125_4_2_3_6) OR FIREABLE(T_1125_2_1_2_5) OR FIREABLE(T_1125_3_3_3_3) OR FIREABLE(T_1125_6_5_5_3) OR FIREABLE(T_1125_1_1_2_4) OR FIREABLE(T_1125_5_4_1_5) OR FIREABLE(T_1125_1_2_2_3) OR FIREABLE(T_1125_3_4_2_6) OR FIREABLE(T_1125_2_1_6_1) OR FIREABLE(T_1125_6_4_5_6) OR FIREABLE(T_1125_3_3_1_6) OR FIREABLE(T_1125_3_3_1_3) OR FIREABLE(T_1125_4_2_5_5) OR FIREABLE(T_1125_4_5_5_4) OR FIREABLE(T_1125_3_6_4_5) OR FIREABLE(T_1125_5_3_2_2) OR FIREABLE(T_1125_1_5_1_1) OR FIREABLE(T_1125_4_3_4_5) OR FIREABLE(T_1125_5_6_5_1) OR FIREABLE(T_1125_6_5_5_2) OR FIREABLE(T_1125_1_2_4_1) OR FIREABLE(T_1125_4_1_1_2) OR FIREABLE(T_1125_5_4_6_5) OR FIREABLE(T_1125_3_1_3_4) OR FIREABLE(T_1125_5_5_6_5) OR FIREABLE(T_1125_2_2_2_4) OR FIREABLE(T_1125_1_5_5_6) OR FIREABLE(T_1125_3_4_5_1) OR FIREABLE(T_1125_3_1_3_6) OR FIREABLE(T_1125_4_3_3_5) OR FIREABLE(T_1125_4_2_3_4) OR FIREABLE(T_1125_4_3_5_6) OR FIREABLE(T_1125_5_6_6_3) OR FIREABLE(T_1125_2_3_6_4) OR FIREABLE(T_1125_2_2_6_2) OR FIREABLE(T_1125_3_5_1_4) OR FIREABLE(T_1125_2_2_2_2) OR FIREABLE(T_1125_2_4_1_3) OR FIREABLE(T_1125_1_3_3_6) OR FIREABLE(T_1125_1_3_2_6) OR FIREABLE(T_1125_2_1_2_3) OR FIREABLE(T_1125_2_3_5_3) OR FIREABLE(T_1125_3_2_3_5) OR FIREABLE(T_1125_5_4_6_4) OR FIREABLE(T_1125_4_2_2_1) OR FIREABLE(T_1125_4_1_6_3) OR FIREABLE(T_1125_2_6_4_3) OR FIREABLE(T_1125_2_4_2_1) OR FIREABLE(T_1125_4_6_1_4) OR FIREABLE(T_1125_2_6_2_3) OR FIREABLE(T_1125_4_5_2_6) OR FIREABLE(T_1125_2_1_3_1) OR FIREABLE(T_1125_6_6_6_4) OR FIREABLE(T_1125_4_6_3_5) OR FIREABLE(T_1125_3_5_3_5) OR FIREABLE(T_1125_5_4_5_2) OR FIREABLE(T_1125_1_4_2_4) OR FIREABLE(T_1125_3_6_1_5) OR FIREABLE(T_1125_2_5_1_6) OR FIREABLE(T_1125_4_1_4_2) OR FIREABLE(T_1125_1_4_2_2) OR FIREABLE(T_1125_1_2_6_3) OR FIREABLE(T_1125_2_3_3_3) OR FIREABLE(T_1125_5_4_4_6) OR FIREABLE(T_1125_2_1_6_6) OR FIREABLE(T_1125_3_5_5_3) OR FIREABLE(T_1125_4_4_4_2) OR FIREABLE(T_1125_6_1_1_6) OR FIREABLE(T_1125_5_1_1_5) OR FIREABLE(T_1125_6_4_1_1) OR FIREABLE(T_1125_6_5_6_1) OR FIREABLE(T_1125_6_1_5_3) OR FIREABLE(T_1125_3_3_6_2) OR FIREABLE(T_1125_4_1_4_1) OR FIREABLE(T_1125_1_3_3_1) OR FIREABLE(T_1125_2_5_2_2) OR FIREABLE(T_1125_3_4_5_5) OR FIREABLE(T_1125_5_3_6_3) OR FIREABLE(T_1125_3_1_6_5) OR FIREABLE(T_1125_6_1_3_5) OR FIREABLE(T_1125_2_6_2_5) OR FIREABLE(T_1125_3_2_2_4) OR FIREABLE(T_1125_1_1_5_5) OR FIREABLE(T_1125_2_4_4_4) OR FIREABLE(T_1125_5_5_1_1) OR FIREABLE(T_1125_5_2_4_4) OR FIREABLE(T_1125_6_2_6_1) OR FIREABLE(T_1125_1_6_2_3) OR FIREABLE(T_1125_6_6_1_1) OR FIREABLE(T_1125_3_1_5_4) OR FIREABLE(T_1125_6_2_4_6) OR FIREABLE(T_1125_2_4_6_5) OR FIREABLE(T_1125_6_4_3_3) OR FIREABLE(T_1125_3_6_5_2) OR FIREABLE(T_1125_5_6_1_2) OR FIREABLE(T_1125_5_6_2_5) OR FIREABLE(T_1125_1_3_4_4) OR FIREABLE(T_1125_5_5_3_4) OR FIREABLE(T_1125_5_1_5_1) OR FIREABLE(T_1125_6_2_3_2) OR FIREABLE(T_1125_3_1_6_4) OR FIREABLE(T_1125_6_3_1_5) OR FIREABLE(T_1125_6_1_2_2) OR FIREABLE(T_1125_3_5_4_5) OR FIREABLE(T_1125_5_6_4_3) OR FIREABLE(T_1125_3_4_3_1) OR FIREABLE(T_1125_6_3_5_5) OR FIREABLE(T_1125_6_3_2_1) OR FIREABLE(T_1125_4_5_1_5) OR FIREABLE(T_1125_4_6_4_5) OR FIREABLE(T_1125_4_2_4_3) OR FIREABLE(T_1125_2_4_3_6) OR FIREABLE(T_1125_4_5_2_1) OR FIREABLE(T_1125_1_6_3_6) OR FIREABLE(T_1125_6_2_1_6) OR FIREABLE(T_1125_5_6_4_2) OR FIREABLE(T_1125_6_5_4_6) OR FIREABLE(T_1125_2_4_6_4) OR FIREABLE(T_1125_5_2_5_6) OR FIREABLE(T_1125_3_6_5_1) OR FIREABLE(T_1125_5_6_1_6) OR FIREABLE(T_1125_2_5_1_2) OR FIREABLE(T_1125_5_4_3_3) OR FIREABLE(T_1125_2_1_5_4) OR FIREABLE(T_1125_6_4_5_2) OR FIREABLE(T_1125_6_5_6_6) OR FIREABLE(T_1125_4_2_6_4) OR FIREABLE(T_1125_5_1_4_6) OR FIREABLE(T_1125_3_4_3_2) OR FIREABLE(T_1125_1_4_6_2) OR FIREABLE(T_1125_1_2_1_2) OR FIREABLE(T_1125_5_6_5_3) OR FIREABLE(T_1125_2_2_4_5) OR FIREABLE(T_1125_5_3_6_6) OR FIREABLE(T_1125_3_3_2_5) OR FIREABLE(T_1125_5_1_3_3) OR FIREABLE(T_1125_2_6_4_1) OR FIREABLE(T_1125_2_1_4_1) OR FIREABLE(T_1125_1_3_6_4) OR FIREABLE(T_1125_3_4_1_6) OR FIREABLE(T_1125_4_1_4_3) OR FIREABLE(T_1125_1_2_2_6) OR FIREABLE(T_1125_6_4_2_5) OR FIREABLE(T_1125_4_2_2_5) OR FIREABLE(T_1125_3_6_3_3) OR FIREABLE(T_1125_3_2_6_5) OR FIREABLE(T_1125_4_4_2_3) OR FIREABLE(T_1125_3_2_1_4) OR FIREABLE(T_1125_6_5_4_1) OR FIREABLE(T_1125_1_5_6_1) OR FIREABLE(T_1125_2_1_4_6) OR FIREABLE(T_1125_1_3_4_2))) U G ((FIREABLE(T_1170_2) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_4) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_1))))))) : A (((F (FIREABLE(T_1125_5_1_2_3)) U X (FIREABLE(T_1124_2_6_6))) U F (F (X (FIREABLE(T_1126_3_3_3_3_1)))))) : A (X ((F (X (FIREABLE(T_1124_1_2_1))) U X (G (FIREABLE(T_1126_3_6_5_6_1)))))) : A (F (X (X (X (F (FIREABLE(T_1126_5_4_1_5_3))))))) : A (G ((X (G (FIREABLE(T_1126_5_4_5_5_2))) U G (FIREABLE(T_1126_2_2_5_5_5))))) : A ((FIREABLE(T_1126_2_6_6_2_5) U F (F (F (FIREABLE(T_0383_3_6)))))) : A (G (G ((FIREABLE(T_1126_2_2_5_6_4) U F (FIREABLE(T_1126_2_6_6_2_6)))))) : A ((G ((FIREABLE(T_1125_2_2_3_5) U FIREABLE(T_1126_3_1_4_5_2))) U (FIREABLE(T_1126_5_6_5_1_6) U X (FIREABLE(T_1126_3_2_5_2_4))))) : A (G (FIREABLE(T_1126_6_5_6_5_5)))
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(T_1124_2_1_2) OR FIREABLE(T_1124_5_1_6) OR FIREABLE(T_1124_3_6_1) OR FIREABLE(T_1124_5_2_2) OR FIREABLE(T_1124_6_4_1) OR FIREABLE(T_1124_2_1_5) OR FIREABLE(T_1124_1_3_5) OR FIREABLE(T_1124_2_2_3) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_1_5_2) OR FIREABLE(T_1124_5_1_4) OR FIREABLE(T_1124_6_5_5) OR FIREABLE(T_1124_3_5_6) OR FIREABLE(T_1124_6_5_2) OR FIREABLE(T_1124_3_1_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(T_1124_2_1_2) OR FIREABLE(T_1124_5_1_6) OR FIREABLE(T_1124_3_6_1) OR FIREABLE(T_1124_5_2_2) OR FIREABLE(T_1124_6_4_1) OR FIREABLE(T_1124_2_1_5) OR FIREABLE(T_1124_1_3_5) OR FIREABLE(T_1124_2_2_3) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_1_5_2) OR FIREABLE(T_1124_5_1_4) OR FIREABLE(T_1124_6_5_5) OR FIREABLE(T_1124_3_5_6) OR FIREABLE(T_1124_6_5_2) OR FIREABLE(T_1124_3_1_3... (shortened)
lola: processed formula length: 5829
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(WaitforBlockedTasks_4_6) OR FIREABLE(WaitforBlockedTasks_1_3) OR FIREABLE(WaitforBlockedTasks_3_3) OR FIREABLE(WaitforBlockedTasks_4_4) OR FIREABLE(WaitforBlockedTasks_4_1) OR FIREABLE(WaitforBlockedTasks_3_6) OR FIREABLE(WaitforBlockedTasks_5_4) OR FIREABLE(WaitforBlockedTasks_6_4) OR FIREABLE(WaitforBlockedTasks_3_1) OR FIREABLE(WaitforBlockedTasks_4_2) OR FIREABLE(WaitforBlo... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(WaitforBlockedTasks_4_6) OR FIREABLE(WaitforBlockedTasks_1_3) OR FIREABLE(WaitforBlockedTasks_3_3) OR FIREABLE(WaitforBlockedTasks_4_4) OR FIREABLE(WaitforBlockedTasks_4_1) OR FIREABLE(WaitforBlockedTasks_3_6) OR FIREABLE(WaitforBlockedTasks_5_4) OR FIREABLE(WaitforBlockedTasks_6_4) OR FIREABLE(WaitforBlockedTasks_3_1) OR FIREABLE(WaitforBlockedTasks_4_2) OR FIREABLE(WaitforBlo... (shortened)
lola: processed formula length: 1365
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(T_2311_6) OR FIREABLE(T_2311_4) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_1))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(T_2311_6) OR FIREABLE(T_2311_4) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_1))
lola: processed formula length: 135
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(NOPEP_4) OR FIREABLE(NOPEP_5) OR FIREABLE(NOPEP_2) OR FIREABLE(NOPEP_6) OR FIREABLE(NOPEP_3) OR FIREABLE(NOPEP_1))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(NOPEP_4) OR FIREABLE(NOPEP_5) OR FIREABLE(NOPEP_2) OR FIREABLE(NOPEP_6) OR FIREABLE(NOPEP_3) OR FIREABLE(NOPEP_1))
lola: processed formula length: 129
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (X ((FIREABLE(T_1145_5) OR FIREABLE(T_1145_3) OR FIREABLE(T_1145_1) OR FIREABLE(T_1145_6) OR FIREABLE(T_1145_4) OR FIREABLE(T_1145_2))))) U (F ((FIREABLE(T_2294_2) OR FIREABLE(T_2294_4) OR FIREABLE(T_2294_3) OR FIREABLE(T_2294_1) OR FIREABLE(T_2294_6) OR FIREABLE(T_2294_5))) U X ((FIREABLE(T_1096_2) OR FIREABLE(T_1096_3) OR FIREABLE(T_1096_1) OR FIREABLE(T_1096_6) OR FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (X ((FIREABLE(T_1145_5) OR FIREABLE(T_1145_3) OR FIREABLE(T_1145_1) OR FIREABLE(T_1145_6) OR FIREABLE(T_1145_4) OR FIREABLE(T_1145_2))))) U (F ((FIREABLE(T_2294_2) OR FIREABLE(T_2294_4) OR FIREABLE(T_2294_3) OR FIREABLE(T_2294_1) OR FIREABLE(T_2294_6) OR FIREABLE(T_2294_5))) U X ((FIREABLE(T_1096_2) OR FIREABLE(T_1096_3) OR FIREABLE(T_1096_1) OR FIREABLE(T_1096_6) OR FIREABL... (shortened)
lola: processed formula length: 439
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 13512 markings, 24904 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(EnterCSTCS_4) OR FIREABLE(EnterCSTCS_5) OR FIREABLE(EnterCSTCS_6) OR FIREABLE(EnterCSTCS_1) OR FIREABLE(EnterCSTCS_3) OR FIREABLE(EnterCSTCS_2))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(EnterCSTCS_4) OR FIREABLE(EnterCSTCS_5) OR FIREABLE(EnterCSTCS_6) OR FIREABLE(EnterCSTCS_1) OR FIREABLE(EnterCSTCS_3) OR FIREABLE(EnterCSTCS_2))))))
lola: processed formula length: 175
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 127 markings, 384 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((G ((FIREABLE(T_1170_2) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_4) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_1))) OR (G ((FIREABLE(T_1125_6_5_4_4) OR FIREABLE(T_1125_6_6_1_4) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_5_6_1_4) OR FIREABLE(T_1125_6_6_2_4) OR FIREABLE(T_1125_5_5_3_5) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((G ((FIREABLE(T_1170_2) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_4) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_1))) OR (G ((FIREABLE(T_1125_6_5_4_4) OR FIREABLE(T_1125_6_6_1_4) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_5_6_1_4) OR FIREABLE(T_1125_6_6_2_4) OR FIREABLE(T_1125_5_5_3_5) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T... (shortened)
lola: processed formula length: 37892
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (FIREABLE(T_1125_5_1_2_3)) U X (FIREABLE(T_1124_2_6_6))) U X (F (FIREABLE(T_1126_3_3_3_3_1)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (FIREABLE(T_1125_5_1_2_3)) U X (FIREABLE(T_1124_2_6_6))) U X (F (FIREABLE(T_1126_3_3_3_3_1)))))
lola: processed formula length: 102
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((F (FIREABLE(T_1124_1_2_1)) U G (FIREABLE(T_1126_3_6_5_6_1))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((F (FIREABLE(T_1124_1_2_1)) U G (FIREABLE(T_1126_3_6_5_6_1))))))
lola: processed formula length: 73
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F (FIREABLE(T_1126_5_4_1_5_3))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F (FIREABLE(T_1126_5_4_1_5_3))))))
lola: processed formula length: 46
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G (FIREABLE(T_1126_2_2_5_5_5)))) AND A (G ((X (G (FIREABLE(T_1126_5_4_5_5_2))) OR G (FIREABLE(T_1126_2_2_5_5_5))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(T_1126_2_2_5_5_5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(T_1126_2_2_5_5_5))))
lola: processed formula length: 38
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 119 markings, 120 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(T_1126_5_6_5_1_6) U X (FIREABLE(T_1126_3_2_5_2_4))) OR (G ((F (FIREABLE(T_1126_3_1_4_5_2)) AND (FIREABLE(T_1125_2_2_3_5) OR FIREABLE(T_1126_3_1_4_5_2)))) AND X (F (FIREABLE(T_1126_3_2_5_2_4))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(T_1126_5_6_5_1_6) U X (FIREABLE(T_1126_3_2_5_2_4))) OR (G ((F (FIREABLE(T_1126_3_1_4_5_2)) AND (FIREABLE(T_1125_2_2_3_5) OR FIREABLE(T_1126_3_1_4_5_2)))) AND X (F (FIREABLE(T_1126_3_2_5_2_4))))))
lola: processed formula length: 209
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(T_1126_6_5_6_5_5)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(T_1126_6_5_6_5_5)))
lola: processed formula length: 34
lola: 35 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(T_1126_6_5_6_5_5)
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(T_0383_3_6)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(T_0383_3_6)
lola: processed formula length: 24
lola: 35 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 90 markings, 89 edges

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(T_1126_2_6_6_2_6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(T_1126_2_6_6_2_6))))
lola: processed formula length: 38
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(LeaveCSTCS_5) OR FIREABLE(LeaveCSTCS_2) OR FIREABLE(LeaveCSTCS_6) OR FIREABLE(LeaveCSTCS_1) OR FIREABLE(LeaveCSTCS_4) OR FIREABLE(LeaveCSTCS_3)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(LeaveCSTCS_5) OR FIREABLE(LeaveCSTCS_2) OR FIREABLE(LeaveCSTCS_6) OR FIREABLE(LeaveCSTCS_1) OR FIREABLE(LeaveCSTCS_4) OR FIREABLE(LeaveCSTCS_3)))))
lola: processed formula length: 171
lola: 33 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 11294 markings, 17586 edges, 2259 markings/sec, 0 secs
lola: 24140 markings, 36736 edges, 2569 markings/sec, 5 secs
lola: 36905 markings, 55755 edges, 2553 markings/sec, 10 secs
lola: 49230 markings, 74185 edges, 2465 markings/sec, 15 secs
lola: 61083 markings, 91918 edges, 2371 markings/sec, 20 secs
lola: 72426 markings, 108692 edges, 2269 markings/sec, 25 secs
lola: 82169 markings, 122236 edges, 1949 markings/sec, 30 secs
lola: 92356 markings, 136625 edges, 2037 markings/sec, 35 secs
lola: 102951 markings, 151805 edges, 2119 markings/sec, 40 secs
lola: 112941 markings, 166014 edges, 1998 markings/sec, 45 secs
lola: 123169 markings, 180050 edges, 2046 markings/sec, 50 secs
lola: 133182 markings, 194621 edges, 2003 markings/sec, 55 secs
lola: 144333 markings, 210211 edges, 2230 markings/sec, 60 secs
lola: 155436 markings, 226255 edges, 2221 markings/sec, 65 secs
lola: 165479 markings, 240498 edges, 2009 markings/sec, 70 secs
lola: 175981 markings, 255586 edges, 2100 markings/sec, 75 secs
lola: 185789 markings, 269887 edges, 1962 markings/sec, 80 secs
lola: 195463 markings, 285058 edges, 1935 markings/sec, 85 secs
lola: 204900 markings, 298293 edges, 1887 markings/sec, 90 secs
lola: 214910 markings, 312303 edges, 2002 markings/sec, 95 secs
lola: 225596 markings, 327763 edges, 2137 markings/sec, 100 secs
lola: 235590 markings, 341949 edges, 1999 markings/sec, 105 secs
lola: 245859 markings, 356106 edges, 2054 markings/sec, 110 secs
lola: 255970 markings, 370559 edges, 2022 markings/sec, 115 secs
lola: 266550 markings, 385572 edges, 2116 markings/sec, 120 secs
lola: 277957 markings, 402004 edges, 2281 markings/sec, 125 secs
lola: 288277 markings, 416587 edges, 2064 markings/sec, 130 secs
lola: 298883 markings, 431777 edges, 2121 markings/sec, 135 secs
lola: 308315 markings, 445514 edges, 1886 markings/sec, 140 secs
lola: 318861 markings, 460855 edges, 2109 markings/sec, 145 secs
lola: 328216 markings, 475292 edges, 1871 markings/sec, 150 secs
lola: 339486 markings, 490822 edges, 2254 markings/sec, 155 secs
lola: 348327 markings, 503952 edges, 1768 markings/sec, 160 secs
lola: 358481 markings, 517895 edges, 2031 markings/sec, 165 secs
lola: 367592 markings, 531349 edges, 1822 markings/sec, 170 secs
lola: 377726 markings, 545433 edges, 2027 markings/sec, 175 secs
lola: 387559 markings, 559664 edges, 1967 markings/sec, 180 secs
lola: 397873 markings, 574087 edges, 2063 markings/sec, 185 secs
lola: 407980 markings, 588921 edges, 2021 markings/sec, 190 secs
lola: 417564 markings, 603801 edges, 1917 markings/sec, 195 secs
lola: 428433 markings, 619125 edges, 2174 markings/sec, 200 secs
lola: 438082 markings, 633052 edges, 1930 markings/sec, 205 secs
lola: 447665 markings, 646564 edges, 1917 markings/sec, 210 secs
lola: 457193 markings, 660318 edges, 1906 markings/sec, 215 secs
lola: 466904 markings, 674034 edges, 1942 markings/sec, 220 secs
lola: 476817 markings, 688298 edges, 1983 markings/sec, 225 secs
lola: 486833 markings, 702482 edges, 2003 markings/sec, 230 secs
lola: 497163 markings, 717290 edges, 2066 markings/sec, 235 secs
lola: 507221 markings, 731961 edges, 2012 markings/sec, 240 secs
lola: 517436 markings, 747443 edges, 2043 markings/sec, 245 secs
lola: 527690 markings, 762318 edges, 2051 markings/sec, 250 secs
lola: 536658 markings, 776803 edges, 1794 markings/sec, 255 secs
lola: 548174 markings, 792562 edges, 2303 markings/sec, 260 secs
lola: 557898 markings, 806916 edges, 1945 markings/sec, 265 secs
lola: 568308 markings, 822102 edges, 2082 markings/sec, 270 secs
lola: 580320 markings, 838547 edges, 2402 markings/sec, 275 secs
lola: 590973 markings, 853864 edges, 2131 markings/sec, 280 secs
lola: 599412 markings, 867820 edges, 1688 markings/sec, 285 secs
lola: 609666 markings, 881980 edges, 2051 markings/sec, 290 secs
lola: 619639 markings, 896476 edges, 1995 markings/sec, 295 secs
lola: 630559 markings, 911715 edges, 2184 markings/sec, 300 secs
lola: 640849 markings, 926811 edges, 2058 markings/sec, 305 secs
lola: 649545 markings, 940749 edges, 1739 markings/sec, 310 secs
lola: 658774 markings, 954061 edges, 1846 markings/sec, 315 secs
lola: 667766 markings, 968298 edges, 1798 markings/sec, 320 secs
lola: 677647 markings, 983067 edges, 1976 markings/sec, 325 secs
lola: 687629 markings, 998519 edges, 1996 markings/sec, 330 secs
lola: 698258 markings, 1013912 edges, 2126 markings/sec, 335 secs
lola: 705551 markings, 1027892 edges, 1459 markings/sec, 340 secs
lola: 714280 markings, 1041256 edges, 1746 markings/sec, 345 secs
lola: 722482 markings, 1054035 edges, 1640 markings/sec, 350 secs
lola: 729213 markings, 1066323 edges, 1346 markings/sec, 355 secs
lola: 737223 markings, 1079654 edges, 1602 markings/sec, 360 secs
lola: 746709 markings, 1094178 edges, 1897 markings/sec, 365 secs
lola: 755659 markings, 1108194 edges, 1790 markings/sec, 370 secs
lola: 762415 markings, 1121562 edges, 1351 markings/sec, 375 secs
lola: 769252 markings, 1135808 edges, 1367 markings/sec, 380 secs
lola: 776924 markings, 1148086 edges, 1534 markings/sec, 385 secs
lola: 784920 markings, 1160550 edges, 1599 markings/sec, 390 secs
lola: 792164 markings, 1172419 edges, 1449 markings/sec, 395 secs
lola: 797630 markings, 1184385 edges, 1093 markings/sec, 400 secs
lola: 804718 markings, 1196685 edges, 1418 markings/sec, 405 secs
lola: 813325 markings, 1209266 edges, 1721 markings/sec, 410 secs
lola: 821250 markings, 1221988 edges, 1585 markings/sec, 415 secs
lola: 829322 markings, 1234962 edges, 1614 markings/sec, 420 secs
lola: 836805 markings, 1247027 edges, 1497 markings/sec, 425 secs
lola: 843367 markings, 1258528 edges, 1312 markings/sec, 430 secs
lola: 851681 markings, 1271370 edges, 1663 markings/sec, 435 secs
lola: 858204 markings, 1283596 edges, 1305 markings/sec, 440 secs
lola: 863594 markings, 1295872 edges, 1078 markings/sec, 445 secs
lola: 871677 markings, 1309499 edges, 1617 markings/sec, 450 secs
lola: 880646 markings, 1324076 edges, 1794 markings/sec, 455 secs
lola: 889678 markings, 1338102 edges, 1806 markings/sec, 460 secs
lola: 896256 markings, 1351509 edges, 1316 markings/sec, 465 secs
lola: 901995 markings, 1365478 edges, 1148 markings/sec, 470 secs
lola: 908637 markings, 1380758 edges, 1328 markings/sec, 475 secs
lola: 918348 markings, 1394864 edges, 1942 markings/sec, 480 secs
lola: 927370 markings, 1409410 edges, 1804 markings/sec, 485 secs
lola: 936070 markings, 1423346 edges, 1740 markings/sec, 490 secs
lola: 943678 markings, 1435955 edges, 1522 markings/sec, 495 secs
lola: 952098 markings, 1449750 edges, 1684 markings/sec, 500 secs
lola: 961215 markings, 1464909 edges, 1823 markings/sec, 505 secs
lola: 967485 markings, 1478689 edges, 1254 markings/sec, 510 secs
lola: 976020 markings, 1493904 edges, 1707 markings/sec, 515 secs
lola: 985525 markings, 1509696 edges, 1901 markings/sec, 520 secs
lola: 995521 markings, 1525061 edges, 1999 markings/sec, 525 secs
lola: 1002545 markings, 1539839 edges, 1405 markings/sec, 530 secs
lola: 1011280 markings, 1554563 edges, 1747 markings/sec, 535 secs
lola: 1020679 markings, 1569004 edges, 1880 markings/sec, 540 secs
lola: 1029645 markings, 1583226 edges, 1793 markings/sec, 545 secs
lola: 1036231 markings, 1596383 edges, 1317 markings/sec, 550 secs
lola: 1042128 markings, 1612269 edges, 1179 markings/sec, 555 secs
lola: 1049799 markings, 1628291 edges, 1534 markings/sec, 560 secs
lola: 1059355 markings, 1642496 edges, 1911 markings/sec, 565 secs
lola: 1068190 markings, 1657177 edges, 1767 markings/sec, 570 secs
lola: 1076821 markings, 1670770 edges, 1726 markings/sec, 575 secs
lola: 1084220 markings, 1683200 edges, 1480 markings/sec, 580 secs
lola: 1093137 markings, 1697458 edges, 1783 markings/sec, 585 secs
lola: 1101903 markings, 1712441 edges, 1753 markings/sec, 590 secs
lola: 1107982 markings, 1726128 edges, 1216 markings/sec, 595 secs
lola: 1116905 markings, 1741522 edges, 1785 markings/sec, 600 secs
lola: 1126682 markings, 1757367 edges, 1955 markings/sec, 605 secs
lola: 1136393 markings, 1772791 edges, 1942 markings/sec, 610 secs
lola: 1143203 markings, 1787464 edges, 1362 markings/sec, 615 secs
lola: 1152440 markings, 1802152 edges, 1847 markings/sec, 620 secs
lola: 1161745 markings, 1816535 edges, 1861 markings/sec, 625 secs
lola: 1170207 markings, 1830383 edges, 1692 markings/sec, 630 secs
lola: 1176698 markings, 1843966 edges, 1298 markings/sec, 635 secs
lola: 1182633 markings, 1860199 edges, 1187 markings/sec, 640 secs
lola: 1190387 markings, 1875334 edges, 1551 markings/sec, 645 secs
lola: 1199882 markings, 1889182 edges, 1899 markings/sec, 650 secs
lola: 1207891 markings, 1902264 edges, 1602 markings/sec, 655 secs
lola: 1216271 markings, 1916301 edges, 1676 markings/sec, 660 secs
lola: 1223762 markings, 1931373 edges, 1498 markings/sec, 665 secs
lola: 1231632 markings, 1943468 edges, 1574 markings/sec, 670 secs
lola: 1238522 markings, 1954956 edges, 1378 markings/sec, 675 secs
lola: 1246279 markings, 1967252 edges, 1551 markings/sec, 680 secs
lola: 1254016 markings, 1979928 edges, 1547 markings/sec, 685 secs
lola: 1260507 markings, 1993072 edges, 1298 markings/sec, 690 secs
lola: 1269885 markings, 2008250 edges, 1876 markings/sec, 695 secs
lola: 1277535 markings, 2022890 edges, 1530 markings/sec, 700 secs
lola: 1282929 markings, 2036388 edges, 1079 markings/sec, 705 secs
lola: 1288807 markings, 2049420 edges, 1176 markings/sec, 710 secs
lola: 1296496 markings, 2062945 edges, 1538 markings/sec, 715 secs
lola: 1304348 markings, 2075406 edges, 1570 markings/sec, 720 secs
lola: 1311642 markings, 2087850 edges, 1459 markings/sec, 725 secs
lola: 1318595 markings, 2101686 edges, 1391 markings/sec, 730 secs
lola: 1326128 markings, 2114018 edges, 1507 markings/sec, 735 secs
lola: 1333052 markings, 2125600 edges, 1385 markings/sec, 740 secs
lola: 1339656 markings, 2137551 edges, 1321 markings/sec, 745 secs
lola: 1347109 markings, 2149877 edges, 1491 markings/sec, 750 secs
lola: 1353361 markings, 2161512 edges, 1250 markings/sec, 755 secs
lola: 1358636 markings, 2174832 edges, 1055 markings/sec, 760 secs
lola: 1363954 markings, 2186501 edges, 1064 markings/sec, 765 secs
lola: 1372100 markings, 2199694 edges, 1629 markings/sec, 770 secs
lola: 1380909 markings, 2213677 edges, 1762 markings/sec, 775 secs
lola: 1389719 markings, 2227091 edges, 1762 markings/sec, 780 secs
lola: 1397371 markings, 2240824 edges, 1530 markings/sec, 785 secs
lola: 1405386 markings, 2255647 edges, 1603 markings/sec, 790 secs
lola: 1413133 markings, 2267653 edges, 1549 markings/sec, 795 secs
lola: 1419416 markings, 2278975 edges, 1257 markings/sec, 800 secs
lola: 1427660 markings, 2291650 edges, 1649 markings/sec, 805 secs
lola: 1435069 markings, 2304117 edges, 1482 markings/sec, 810 secs
lola: 1442269 markings, 2317791 edges, 1440 markings/sec, 815 secs
lola: 1451575 markings, 2332994 edges, 1861 markings/sec, 820 secs
lola: 1458379 markings, 2347403 edges, 1361 markings/sec, 825 secs
lola: 1463796 markings, 2360523 edges, 1083 markings/sec, 830 secs
lola: 1469986 markings, 2374305 edges, 1238 markings/sec, 835 secs
lola: 1478783 markings, 2388941 edges, 1759 markings/sec, 840 secs
lola: 1487232 markings, 2404041 edges, 1690 markings/sec, 845 secs
lola: 1496171 markings, 2418049 edges, 1788 markings/sec, 850 secs
lola: 1502588 markings, 2431485 edges, 1283 markings/sec, 855 secs
lola: 1509168 markings, 2446709 edges, 1316 markings/sec, 860 secs
lola: 1518285 markings, 2460867 edges, 1823 markings/sec, 865 secs
lola: 1527478 markings, 2475366 edges, 1839 markings/sec, 870 secs
lola: 1535504 markings, 2488994 edges, 1605 markings/sec, 875 secs
lola: 1541628 markings, 2502656 edges, 1225 markings/sec, 880 secs
lola: 1546940 markings, 2517224 edges, 1062 markings/sec, 885 secs
lola: 1552212 markings, 2532458 edges, 1054 markings/sec, 890 secs
lola: 1557892 markings, 2550692 edges, 1136 markings/sec, 895 secs
lola: 1566630 markings, 2563308 edges, 1748 markings/sec, 900 secs
lola: 1574402 markings, 2575411 edges, 1554 markings/sec, 905 secs
lola: 1582003 markings, 2588660 edges, 1520 markings/sec, 910 secs
lola: 1590116 markings, 2600586 edges, 1623 markings/sec, 915 secs
lola: 1597777 markings, 2613164 edges, 1532 markings/sec, 920 secs
lola: 1604674 markings, 2624703 edges, 1379 markings/sec, 925 secs
lola: 1611900 markings, 2636847 edges, 1445 markings/sec, 930 secs
lola: 1617644 markings, 2648998 edges, 1149 markings/sec, 935 secs
lola: 1623357 markings, 2661530 edges, 1143 markings/sec, 940 secs
lola: 1631152 markings, 2672961 edges, 1559 markings/sec, 945 secs
lola: 1638286 markings, 2685150 edges, 1427 markings/sec, 950 secs
lola: 1645525 markings, 2697099 edges, 1448 markings/sec, 955 secs
lola: 1652023 markings, 2708398 edges, 1300 markings/sec, 960 secs
lola: 1657681 markings, 2720847 edges, 1132 markings/sec, 965 secs
lola: 1666951 markings, 2734984 edges, 1854 markings/sec, 970 secs
lola: 1675737 markings, 2749403 edges, 1757 markings/sec, 975 secs
lola: 1684157 markings, 2763472 edges, 1684 markings/sec, 980 secs
lola: 1690511 markings, 2777014 edges, 1271 markings/sec, 985 secs
lola: 1695997 markings, 2791918 edges, 1097 markings/sec, 990 secs
lola: 1703602 markings, 2805126 edges, 1521 markings/sec, 995 secs
lola: 1711879 markings, 2817405 edges, 1655 markings/sec, 1000 secs
lola: 1719605 markings, 2830134 edges, 1545 markings/sec, 1005 secs
lola: 1727790 markings, 2842890 edges, 1637 markings/sec, 1010 secs
lola: 1735375 markings, 2854994 edges, 1517 markings/sec, 1015 secs
lola: 1742694 markings, 2867161 edges, 1464 markings/sec, 1020 secs
lola: 1749739 markings, 2879021 edges, 1409 markings/sec, 1025 secs
lola: 1755688 markings, 2891048 edges, 1190 markings/sec, 1030 secs
lola: 1761412 markings, 2903396 edges, 1145 markings/sec, 1035 secs
lola: 1768607 markings, 2915217 edges, 1439 markings/sec, 1040 secs
lola: 1775926 markings, 2927566 edges, 1464 markings/sec, 1045 secs
lola: 1783169 markings, 2939094 edges, 1449 markings/sec, 1050 secs
lola: 1790045 markings, 2950608 edges, 1375 markings/sec, 1055 secs
lola: 1795711 markings, 2962643 edges, 1133 markings/sec, 1060 secs
lola: 1804141 markings, 2976488 edges, 1686 markings/sec, 1065 secs
lola: 1812972 markings, 2991053 edges, 1766 markings/sec, 1070 secs
lola: 1821617 markings, 3005162 edges, 1729 markings/sec, 1075 secs
lola: 1828364 markings, 3018608 edges, 1349 markings/sec, 1080 secs
lola: 1834131 markings, 3032926 edges, 1153 markings/sec, 1085 secs
lola: 1841060 markings, 3047658 edges, 1386 markings/sec, 1090 secs
lola: 1848653 markings, 3060026 edges, 1519 markings/sec, 1095 secs
lola: 1856585 markings, 3072396 edges, 1586 markings/sec, 1100 secs
lola: 1863687 markings, 3084102 edges, 1420 markings/sec, 1105 secs
lola: 1869119 markings, 3096122 edges, 1086 markings/sec, 1110 secs
lola: 1876132 markings, 3108479 edges, 1403 markings/sec, 1115 secs
lola: 1883037 markings, 3121022 edges, 1381 markings/sec, 1120 secs
lola: 1890396 markings, 3134050 edges, 1472 markings/sec, 1125 secs
lola: 1897854 markings, 3146272 edges, 1492 markings/sec, 1130 secs
lola: 1903728 markings, 3157747 edges, 1175 markings/sec, 1135 secs
lola: 1908898 markings, 3171011 edges, 1034 markings/sec, 1140 secs
lola: 1915868 markings, 3183653 edges, 1394 markings/sec, 1145 secs
lola: 1923224 markings, 3196003 edges, 1471 markings/sec, 1150 secs
lola: 1931249 markings, 3208332 edges, 1605 markings/sec, 1155 secs
lola: 1938265 markings, 3219988 edges, 1403 markings/sec, 1160 secs
lola: 1943675 markings, 3232063 edges, 1082 markings/sec, 1165 secs
lola: 1950797 markings, 3244262 edges, 1424 markings/sec, 1170 secs
lola: 1958244 markings, 3256869 edges, 1489 markings/sec, 1175 secs
lola: 1966010 markings, 3269073 edges, 1553 markings/sec, 1180 secs
lola: 1973019 markings, 3280830 edges, 1402 markings/sec, 1185 secs
lola: 1978406 markings, 3292480 edges, 1077 markings/sec, 1190 secs
lola: 1983448 markings, 3305739 edges, 1008 markings/sec, 1195 secs
lola: 1990672 markings, 3319953 edges, 1445 markings/sec, 1200 secs
lola: 1998505 markings, 3333313 edges, 1567 markings/sec, 1205 secs
lola: 2007113 markings, 3346313 edges, 1722 markings/sec, 1210 secs
lola: 2014148 markings, 3358499 edges, 1407 markings/sec, 1215 secs
lola: 2019812 markings, 3371377 edges, 1133 markings/sec, 1220 secs
lola: 2028875 markings, 3385527 edges, 1813 markings/sec, 1225 secs
lola: 2037943 markings, 3399983 edges, 1814 markings/sec, 1230 secs
lola: 2046386 markings, 3413811 edges, 1689 markings/sec, 1235 secs
lola: 2052549 markings, 3427347 edges, 1233 markings/sec, 1240 secs
lola: 2058767 markings, 3442625 edges, 1244 markings/sec, 1245 secs
lola: 2067043 markings, 3454853 edges, 1655 markings/sec, 1250 secs
lola: 2074416 markings, 3467129 edges, 1475 markings/sec, 1255 secs
lola: 2081441 markings, 3479714 edges, 1405 markings/sec, 1260 secs
lola: 2089480 markings, 3492496 edges, 1608 markings/sec, 1265 secs
lola: 2096971 markings, 3504391 edges, 1498 markings/sec, 1270 secs
lola: 2104128 markings, 3516372 edges, 1431 markings/sec, 1275 secs
lola: 2111099 markings, 3528055 edges, 1394 markings/sec, 1280 secs
lola: 2117037 markings, 3539977 edges, 1188 markings/sec, 1285 secs
lola: 2122308 markings, 3553249 edges, 1054 markings/sec, 1290 secs
lola: 2127895 markings, 3565480 edges, 1117 markings/sec, 1295 secs
lola: 2134827 markings, 3577486 edges, 1386 markings/sec, 1300 secs
lola: 2141646 markings, 3589942 edges, 1364 markings/sec, 1305 secs
lola: 2148893 markings, 3601550 edges, 1449 markings/sec, 1310 secs
lola: 2155971 markings, 3613342 edges, 1416 markings/sec, 1315 secs
lola: 2161423 markings, 3624946 edges, 1090 markings/sec, 1320 secs
lola: 2167245 markings, 3638219 edges, 1164 markings/sec, 1325 secs
lola: 2175710 markings, 3652194 edges, 1693 markings/sec, 1330 secs
lola: 2184140 markings, 3666675 edges, 1686 markings/sec, 1335 secs
lola: 2192650 markings, 3680632 edges, 1702 markings/sec, 1340 secs
lola: 2198896 markings, 3693878 edges, 1249 markings/sec, 1345 secs
lola: 2204516 markings, 3708491 edges, 1124 markings/sec, 1350 secs
lola: 2209825 markings, 3724277 edges, 1062 markings/sec, 1355 secs
lola: 2218899 markings, 3738678 edges, 1815 markings/sec, 1360 secs
lola: 2228573 markings, 3751991 edges, 1935 markings/sec, 1365 secs
lola: 2236618 markings, 3765626 edges, 1609 markings/sec, 1370 secs
lola: 2244956 markings, 3779000 edges, 1668 markings/sec, 1375 secs
lola: 2252993 markings, 3792894 edges, 1607 markings/sec, 1380 secs
lola: 2260968 markings, 3808624 edges, 1595 markings/sec, 1385 secs
lola: 2270318 markings, 3823778 edges, 1870 markings/sec, 1390 secs
lola: 2278223 markings, 3838294 edges, 1581 markings/sec, 1395 secs
lola: 2286003 markings, 3850248 edges, 1556 markings/sec, 1400 secs
lola: 2293606 markings, 3862227 edges, 1521 markings/sec, 1405 secs
lola: 2300787 markings, 3874283 edges, 1436 markings/sec, 1410 secs
lola: 2307767 markings, 3885938 edges, 1396 markings/sec, 1415 secs
lola: 2313570 markings, 3897758 edges, 1161 markings/sec, 1420 secs
lola: 2322367 markings, 3912227 edges, 1759 markings/sec, 1425 secs
lola: 2330913 markings, 3927030 edges, 1709 markings/sec, 1430 secs
lola: 2336786 markings, 3941834 edges, 1175 markings/sec, 1435 secs
lola: 2342874 markings, 3955231 edges, 1218 markings/sec, 1440 secs
lola: 2349023 markings, 3968833 edges, 1230 markings/sec, 1445 secs
lola: 2357693 markings, 3982163 edges, 1734 markings/sec, 1450 secs
lola: 2366109 markings, 3995146 edges, 1683 markings/sec, 1455 secs
lola: 2374350 markings, 4009411 edges, 1648 markings/sec, 1460 secs
lola: 2383112 markings, 4022106 edges, 1752 markings/sec, 1465 secs
lola: 2390924 markings, 4035485 edges, 1562 markings/sec, 1470 secs
lola: 2397469 markings, 4046578 edges, 1309 markings/sec, 1475 secs
lola: 2405604 markings, 4060938 edges, 1627 markings/sec, 1480 secs
lola: 2411673 markings, 4073792 edges, 1214 markings/sec, 1485 secs
lola: 2418869 markings, 4086408 edges, 1439 markings/sec, 1490 secs
lola: 2426289 markings, 4098058 edges, 1484 markings/sec, 1495 secs
lola: 2433819 markings, 4109354 edges, 1506 markings/sec, 1500 secs
lola: 2440602 markings, 4120573 edges, 1357 markings/sec, 1505 secs
lola: 2446251 markings, 4132261 edges, 1130 markings/sec, 1510 secs
lola: 2452979 markings, 4146201 edges, 1346 markings/sec, 1515 secs
lola: 2460555 markings, 4159318 edges, 1515 markings/sec, 1520 secs
lola: 2468161 markings, 4172937 edges, 1521 markings/sec, 1525 secs
lola: 2475965 markings, 4185726 edges, 1561 markings/sec, 1530 secs
lola: 2482076 markings, 4197853 edges, 1222 markings/sec, 1535 secs
lola: 2487496 markings, 4211665 edges, 1084 markings/sec, 1540 secs
lola: 2494821 markings, 4224383 edges, 1465 markings/sec, 1545 secs
lola: 2502988 markings, 4236371 edges, 1633 markings/sec, 1550 secs
lola: 2510608 markings, 4248647 edges, 1524 markings/sec, 1555 secs
lola: 2518542 markings, 4261256 edges, 1587 markings/sec, 1560 secs
lola: 2526205 markings, 4273224 edges, 1533 markings/sec, 1565 secs
lola: 2533443 markings, 4285310 edges, 1448 markings/sec, 1570 secs
lola: 2540358 markings, 4296947 edges, 1383 markings/sec, 1575 secs
lola: 2546466 markings, 4308861 edges, 1222 markings/sec, 1580 secs
lola: 2552120 markings, 4320900 edges, 1131 markings/sec, 1585 secs
lola: 2559930 markings, 4334853 edges, 1562 markings/sec, 1590 secs
lola: 2568199 markings, 4350246 edges, 1654 markings/sec, 1595 secs
lola: 2577417 markings, 4365745 edges, 1844 markings/sec, 1600 secs
lola: 2585735 markings, 4380345 edges, 1664 markings/sec, 1605 secs
lola: 2591687 markings, 4395199 edges, 1190 markings/sec, 1610 secs
lola: 2599871 markings, 4410070 edges, 1637 markings/sec, 1615 secs
lola: 2609267 markings, 4424367 edges, 1879 markings/sec, 1620 secs
lola: 2618078 markings, 4438137 edges, 1762 markings/sec, 1625 secs
lola: 2624777 markings, 4451274 edges, 1340 markings/sec, 1630 secs
lola: 2630618 markings, 4466414 edges, 1168 markings/sec, 1635 secs
lola: 2637514 markings, 4483016 edges, 1379 markings/sec, 1640 secs
lola: 2646448 markings, 4497139 edges, 1787 markings/sec, 1645 secs
lola: 2655067 markings, 4511241 edges, 1724 markings/sec, 1650 secs
lola: 2663061 markings, 4524867 edges, 1599 markings/sec, 1655 secs
lola: 2669213 markings, 4538462 edges, 1230 markings/sec, 1660 secs
lola: 2676654 markings, 4554451 edges, 1488 markings/sec, 1665 secs
lola: 2684553 markings, 4568646 edges, 1580 markings/sec, 1670 secs
lola: 2692983 markings, 4583175 edges, 1686 markings/sec, 1675 secs
lola: 2701201 markings, 4596971 edges, 1644 markings/sec, 1680 secs
lola: 2707167 markings, 4610515 edges, 1193 markings/sec, 1685 secs
lola: 2712927 markings, 4625261 edges, 1152 markings/sec, 1690 secs
lola: 2718304 markings, 4640377 edges, 1075 markings/sec, 1695 secs
lola: 2725079 markings, 4657867 edges, 1355 markings/sec, 1700 secs
lola: 2734685 markings, 4671772 edges, 1921 markings/sec, 1705 secs
lola: 2743505 markings, 4685992 edges, 1764 markings/sec, 1710 secs
lola: 2752121 markings, 4699852 edges, 1723 markings/sec, 1715 secs
lola: 2759775 markings, 4712386 edges, 1531 markings/sec, 1720 secs
lola: 2767782 markings, 4725674 edges, 1601 markings/sec, 1725 secs
lola: 2776947 markings, 4740582 edges, 1833 markings/sec, 1730 secs
lola: 2783302 markings, 4754481 edges, 1271 markings/sec, 1735 secs
lola: 2790808 markings, 4768668 edges, 1501 markings/sec, 1740 secs
lola: 2798846 markings, 4780586 edges, 1608 markings/sec, 1745 secs
lola: 2807473 markings, 4793283 edges, 1725 markings/sec, 1750 secs
lola: 2815267 markings, 4805802 edges, 1559 markings/sec, 1755 secs
lola: 2823147 markings, 4818660 edges, 1576 markings/sec, 1760 secs
lola: 2830728 markings, 4831712 edges, 1516 markings/sec, 1765 secs
lola: 2838095 markings, 4846520 edges, 1473 markings/sec, 1770 secs
lola: 2845410 markings, 4858034 edges, 1463 markings/sec, 1775 secs
lola: 2852330 markings, 4869590 edges, 1384 markings/sec, 1780 secs
lola: 2858576 markings, 4881567 edges, 1249 markings/sec, 1785 secs
lola: 2867285 markings, 4894320 edges, 1742 markings/sec, 1790 secs
lola: 2875196 markings, 4907620 edges, 1582 markings/sec, 1795 secs
lola: 2881881 markings, 4919090 edges, 1337 markings/sec, 1800 secs
lola: 2889571 markings, 4933027 edges, 1538 markings/sec, 1805 secs
lola: 2897045 markings, 4945990 edges, 1495 markings/sec, 1810 secs
lola: 2904882 markings, 4958822 edges, 1567 markings/sec, 1815 secs
lola: 2910965 markings, 4970952 edges, 1217 markings/sec, 1820 secs
lola: 2916318 markings, 4984583 edges, 1071 markings/sec, 1825 secs
lola: 2922186 markings, 4997311 edges, 1174 markings/sec, 1830 secs
lola: 2928090 markings, 5010830 edges, 1181 markings/sec, 1835 secs
lola: 2937158 markings, 5023842 edges, 1814 markings/sec, 1840 secs
lola: 2945659 markings, 5036881 edges, 1700 markings/sec, 1845 secs
lola: 2954154 markings, 5051081 edges, 1699 markings/sec, 1850 secs
lola: 2962445 markings, 5063629 edges, 1658 markings/sec, 1855 secs
lola: 2970167 markings, 5076595 edges, 1544 markings/sec, 1860 secs
lola: 2977202 markings, 5088406 edges, 1407 markings/sec, 1865 secs
lola: 2984485 markings, 5102077 edges, 1457 markings/sec, 1870 secs
lola: 2990636 markings, 5115180 edges, 1230 markings/sec, 1875 secs
lola: 2998123 markings, 5127551 edges, 1497 markings/sec, 1880 secs
lola: 3005681 markings, 5139327 edges, 1512 markings/sec, 1885 secs
lola: 3013055 markings, 5150681 edges, 1475 markings/sec, 1890 secs
lola: 3019558 markings, 5161842 edges, 1301 markings/sec, 1895 secs
lola: 3025097 markings, 5174107 edges, 1108 markings/sec, 1900 secs
lola: 3032378 markings, 5187765 edges, 1456 markings/sec, 1905 secs
lola: 3039708 markings, 5201056 edges, 1466 markings/sec, 1910 secs
lola: 3047553 markings, 5214462 edges, 1569 markings/sec, 1915 secs
lola: 3055255 markings, 5227307 edges, 1540 markings/sec, 1920 secs
lola: 3060883 markings, 5239562 edges, 1126 markings/sec, 1925 secs
lola: 3066442 markings, 5253232 edges, 1112 markings/sec, 1930 secs
lola: 3075037 markings, 5266463 edges, 1719 markings/sec, 1935 secs
lola: 3083456 markings, 5279422 edges, 1684 markings/sec, 1940 secs
lola: 3091736 markings, 5293743 edges, 1656 markings/sec, 1945 secs
lola: 3100445 markings, 5306362 edges, 1742 markings/sec, 1950 secs
lola: 3108247 markings, 5319765 edges, 1560 markings/sec, 1955 secs
lola: 3114828 markings, 5330856 edges, 1316 markings/sec, 1960 secs
lola: 3122967 markings, 5345168 edges, 1628 markings/sec, 1965 secs
lola: 3129038 markings, 5358080 edges, 1214 markings/sec, 1970 secs
lola: 3136180 markings, 5370675 edges, 1428 markings/sec, 1975 secs
lola: 3143613 markings, 5382294 edges, 1487 markings/sec, 1980 secs
lola: 3151152 markings, 5393626 edges, 1508 markings/sec, 1985 secs
lola: 3157940 markings, 5404815 edges, 1358 markings/sec, 1990 secs
lola: 3163596 markings, 5416471 edges, 1131 markings/sec, 1995 secs
lola: 3170219 markings, 5430380 edges, 1325 markings/sec, 2000 secs
lola: 3177898 markings, 5443544 edges, 1536 markings/sec, 2005 secs
lola: 3185497 markings, 5457205 edges, 1520 markings/sec, 2010 secs
lola: 3193272 markings, 5469965 edges, 1555 markings/sec, 2015 secs
lola: 3199432 markings, 5482096 edges, 1232 markings/sec, 2020 secs
lola: 3204835 markings, 5495872 edges, 1081 markings/sec, 2025 secs
lola: 3213150 markings, 5509942 edges, 1663 markings/sec, 2030 secs
lola: 3222365 markings, 5524137 edges, 1843 markings/sec, 2035 secs
lola: 3231090 markings, 5538085 edges, 1745 markings/sec, 2040 secs
lola: 3237557 markings, 5550994 edges, 1293 markings/sec, 2045 secs
lola: 3245503 markings, 5566414 edges, 1589 markings/sec, 2050 secs
lola: 3254736 markings, 5580618 edges, 1847 markings/sec, 2055 secs
lola: 3263650 markings, 5594430 edges, 1783 markings/sec, 2060 secs
lola: 3270477 markings, 5607595 edges, 1365 markings/sec, 2065 secs
lola: 3276214 markings, 5622277 edges, 1147 markings/sec, 2070 secs
lola: 3282684 markings, 5638726 edges, 1294 markings/sec, 2075 secs
lola: 3291013 markings, 5652822 edges, 1666 markings/sec, 2080 secs
lola: 3299124 markings, 5667642 edges, 1622 markings/sec, 2085 secs
lola: 3307676 markings, 5681563 edges, 1710 markings/sec, 2090 secs
lola: 3314294 markings, 5694810 edges, 1324 markings/sec, 2095 secs
lola: 3320266 markings, 5709546 edges, 1194 markings/sec, 2100 secs
lola: 3328204 markings, 5724098 edges, 1588 markings/sec, 2105 secs
lola: 3336174 markings, 5739215 edges, 1594 markings/sec, 2110 secs
lola: 3344683 markings, 5753187 edges, 1702 markings/sec, 2115 secs
lola: 3352334 markings, 5766431 edges, 1530 markings/sec, 2120 secs
lola: 3358209 markings, 5781114 edges, 1175 markings/sec, 2125 secs
lola: 3363831 markings, 5795889 edges, 1124 markings/sec, 2130 secs
lola: 3369095 markings, 5810998 edges, 1053 markings/sec, 2135 secs
lola: 3374458 markings, 5828204 edges, 1073 markings/sec, 2140 secs
lola: 3383830 markings, 5842240 edges, 1874 markings/sec, 2145 secs
lola: 3393305 markings, 5855475 edges, 1895 markings/sec, 2150 secs
lola: 3401346 markings, 5869012 edges, 1608 markings/sec, 2155 secs
lola: 3409713 markings, 5882454 edges, 1673 markings/sec, 2160 secs
lola: 3417651 markings, 5896209 edges, 1588 markings/sec, 2165 secs
lola: 3425604 markings, 5911870 edges, 1591 markings/sec, 2170 secs
lola: 3435045 markings, 5927062 edges, 1888 markings/sec, 2175 secs
lola: 3442438 markings, 5940747 edges, 1479 markings/sec, 2180 secs
lola: 3450341 markings, 5952992 edges, 1581 markings/sec, 2185 secs
lola: 3457939 markings, 5964978 edges, 1520 markings/sec, 2190 secs
lola: 3464949 markings, 5976688 edges, 1402 markings/sec, 2195 secs
lola: 3471709 markings, 5988004 edges, 1352 markings/sec, 2200 secs
lola: 3477596 markings, 5999848 edges, 1177 markings/sec, 2205 secs
lola: 3486095 markings, 6013896 edges, 1700 markings/sec, 2210 secs
lola: 3494748 markings, 6028719 edges, 1731 markings/sec, 2215 secs
lola: 3500706 markings, 6043075 edges, 1192 markings/sec, 2220 secs
lola: 3506733 markings, 6056952 edges, 1205 markings/sec, 2225 secs
lola: 3512719 markings, 6069952 edges, 1197 markings/sec, 2230 secs
lola: 3520914 markings, 6083529 edges, 1639 markings/sec, 2235 secs
lola: 3529663 markings, 6096520 edges, 1750 markings/sec, 2240 secs
lola: 3537609 markings, 6110312 edges, 1589 markings/sec, 2245 secs
lola: 3546201 markings, 6123164 edges, 1718 markings/sec, 2250 secs
lola: 3554257 markings, 6136461 edges, 1611 markings/sec, 2255 secs
lola: 3560985 markings, 6147686 edges, 1346 markings/sec, 2260 secs
lola: 3569056 markings, 6161492 edges, 1614 markings/sec, 2265 secs
lola: 3575094 markings, 6174460 edges, 1208 markings/sec, 2270 secs
lola: 3581736 markings, 6187282 edges, 1328 markings/sec, 2275 secs
lola: 3589343 markings, 6198546 edges, 1521 markings/sec, 2280 secs
lola: 3596844 markings, 6209978 edges, 1500 markings/sec, 2285 secs
lola: 3603884 markings, 6221398 edges, 1408 markings/sec, 2290 secs
lola: 3609483 markings, 6232568 edges, 1120 markings/sec, 2295 secs
lola: 3615495 markings, 6246213 edges, 1202 markings/sec, 2300 secs
lola: 3623268 markings, 6259215 edges, 1555 markings/sec, 2305 secs
lola: 3630719 markings, 6272977 edges, 1490 markings/sec, 2310 secs
lola: 3638624 markings, 6285841 edges, 1581 markings/sec, 2315 secs
lola: 3645092 markings, 6297852 edges, 1294 markings/sec, 2320 secs
lola: 3650495 markings, 6311425 edges, 1081 markings/sec, 2325 secs
lola: 3657029 markings, 6324177 edges, 1307 markings/sec, 2330 secs
lola: 3665319 markings, 6336058 edges, 1658 markings/sec, 2335 secs
lola: 3673121 markings, 6348153 edges, 1560 markings/sec, 2340 secs
lola: 3680601 markings, 6360849 edges, 1496 markings/sec, 2345 secs
lola: 3688527 markings, 6372665 edges, 1585 markings/sec, 2350 secs
lola: 3695807 markings, 6385007 edges, 1456 markings/sec, 2355 secs
lola: 3702201 markings, 6396099 edges, 1279 markings/sec, 2360 secs
lola: 3709206 markings, 6408087 edges, 1401 markings/sec, 2365 secs
lola: 3714720 markings, 6419897 edges, 1103 markings/sec, 2370 secs
lola: 3721039 markings, 6432720 edges, 1264 markings/sec, 2375 secs
lola: 3729894 markings, 6447688 edges, 1771 markings/sec, 2380 secs
lola: 3738690 markings, 6463211 edges, 1759 markings/sec, 2385 secs
lola: 3747682 markings, 6478230 edges, 1798 markings/sec, 2390 secs
lola: 3753997 markings, 6492451 edges, 1263 markings/sec, 2395 secs
lola: 3760533 markings, 6507654 edges, 1307 markings/sec, 2400 secs
lola: 3769909 markings, 6521591 edges, 1875 markings/sec, 2405 secs
lola: 3778902 markings, 6535690 edges, 1799 markings/sec, 2410 secs
lola: 3786596 markings, 6548755 edges, 1539 markings/sec, 2415 secs
lola: 3792608 markings, 6562603 edges, 1202 markings/sec, 2420 secs
lola: 3798568 markings, 6578879 edges, 1192 markings/sec, 2425 secs
lola: 3807281 markings, 6593855 edges, 1743 markings/sec, 2430 secs
lola: 3815771 markings, 6608008 edges, 1698 markings/sec, 2435 secs
lola: 3824237 markings, 6621839 edges, 1693 markings/sec, 2440 secs
lola: 3830774 markings, 6634976 edges, 1307 markings/sec, 2445 secs
lola: 3836849 markings, 6650799 edges, 1215 markings/sec, 2450 secs
lola: 3845490 markings, 6664782 edges, 1728 markings/sec, 2455 secs
lola: 3853125 markings, 6679468 edges, 1527 markings/sec, 2460 secs
lola: 3861847 markings, 6693507 edges, 1744 markings/sec, 2465 secs
lola: 3868803 markings, 6706509 edges, 1391 markings/sec, 2470 secs
lola: 3874462 markings, 6720844 edges, 1132 markings/sec, 2475 secs
lola: 3879961 markings, 6735532 edges, 1100 markings/sec, 2480 secs
lola: 3885552 markings, 6751460 edges, 1118 markings/sec, 2485 secs
lola: 3894044 markings, 6767105 edges, 1698 markings/sec, 2490 secs
lola: 3902202 markings, 6780483 edges, 1632 markings/sec, 2495 secs
lola: 3909592 markings, 6794193 edges, 1478 markings/sec, 2500 secs
lola: 3917619 markings, 6808513 edges, 1605 markings/sec, 2505 secs
lola: 3926223 markings, 6821662 edges, 1721 markings/sec, 2510 secs
lola: 3933997 markings, 6834571 edges, 1555 markings/sec, 2515 secs
lola: 3941325 markings, 6846901 edges, 1466 markings/sec, 2520 secs
lola: 3947917 markings, 6860000 edges, 1318 markings/sec, 2525 secs
lola: 3953457 markings, 6874026 edges, 1108 markings/sec, 2530 secs
lola: 3959289 markings, 6887043 edges, 1166 markings/sec, 2535 secs
lola: 3966381 markings, 6900255 edges, 1418 markings/sec, 2540 secs
lola: 3973640 markings, 6912628 edges, 1452 markings/sec, 2545 secs
lola: 3981294 markings, 6924566 edges, 1531 markings/sec, 2550 secs
lola: 3988194 markings, 6936153 edges, 1380 markings/sec, 2555 secs
lola: 3993486 markings, 6947576 edges, 1058 markings/sec, 2560 secs
lola: 3998534 markings, 6961193 edges, 1010 markings/sec, 2565 secs
lola: 4007134 markings, 6973752 edges, 1720 markings/sec, 2570 secs
lola: 4016045 markings, 6987399 edges, 1782 markings/sec, 2575 secs
lola: 4024178 markings, 7000488 edges, 1627 markings/sec, 2580 secs
lola: 4031922 markings, 7014000 edges, 1549 markings/sec, 2585 secs
lola: 4039735 markings, 7028194 edges, 1563 markings/sec, 2590 secs
lola: 4047715 markings, 7040190 edges, 1596 markings/sec, 2595 secs
lola: 4055163 markings, 7052655 edges, 1490 markings/sec, 2600 secs
lola: 4061725 markings, 7063950 edges, 1312 markings/sec, 2605 secs
lola: 4068568 markings, 7076119 edges, 1369 markings/sec, 2610 secs
lola: 4075823 markings, 7089220 edges, 1451 markings/sec, 2615 secs
lola: 4085232 markings, 7104512 edges, 1882 markings/sec, 2620 secs
lola: 4091936 markings, 7118896 edges, 1341 markings/sec, 2625 secs
lola: 4097486 markings, 7132239 edges, 1110 markings/sec, 2630 secs
lola: 4103655 markings, 7146259 edges, 1234 markings/sec, 2635 secs
lola: 4110972 markings, 7158977 edges, 1463 markings/sec, 2640 secs
lola: 4117896 markings, 7172012 edges, 1385 markings/sec, 2645 secs
lola: 4125577 markings, 7184391 edges, 1536 markings/sec, 2650 secs
lola: 4132646 markings, 7196272 edges, 1414 markings/sec, 2655 secs
lola: 4138008 markings, 7208055 edges, 1072 markings/sec, 2660 secs
lola: 4143216 markings, 7220772 edges, 1042 markings/sec, 2665 secs
lola: 4148086 markings, 7234696 edges, 974 markings/sec, 2670 secs
lola: 4153127 markings, 7249439 edges, 1008 markings/sec, 2675 secs
lola: 4160909 markings, 7263811 edges, 1556 markings/sec, 2680 secs
lola: 4170308 markings, 7277347 edges, 1880 markings/sec, 2685 secs
lola: 4178194 markings, 7290032 edges, 1577 markings/sec, 2690 secs
lola: 4186895 markings, 7303337 edges, 1740 markings/sec, 2695 secs
lola: 4194665 markings, 7316594 edges, 1554 markings/sec, 2700 secs
lola: 4201901 markings, 7330601 edges, 1447 markings/sec, 2705 secs
lola: 4209636 markings, 7344123 edges, 1547 markings/sec, 2710 secs
lola: 4217060 markings, 7356272 edges, 1485 markings/sec, 2715 secs
lola: 4222773 markings, 7367682 edges, 1143 markings/sec, 2720 secs
lola: 4231755 markings, 7381062 edges, 1796 markings/sec, 2725 secs
lola: 4239886 markings, 7394836 edges, 1626 markings/sec, 2730 secs
lola: 4246718 markings, 7406214 edges, 1366 markings/sec, 2735 secs
lola: 4254874 markings, 7420365 edges, 1631 markings/sec, 2740 secs
lola: 4261994 markings, 7433186 edges, 1424 markings/sec, 2745 secs
lola: 4270191 markings, 7445915 edges, 1639 markings/sec, 2750 secs
lola: 4276367 markings, 7458167 edges, 1235 markings/sec, 2755 secs
lola: 4281673 markings, 7472094 edges, 1061 markings/sec, 2760 secs
lola: 4287161 markings, 7484089 edges, 1098 markings/sec, 2765 secs
lola: 4293095 markings, 7497316 edges, 1187 markings/sec, 2770 secs
lola: 4301331 markings, 7510595 edges, 1647 markings/sec, 2775 secs
lola: 4309557 markings, 7523141 edges, 1645 markings/sec, 2780 secs
lola: 4318014 markings, 7536073 edges, 1691 markings/sec, 2785 secs
lola: 4325332 markings, 7549089 edges, 1464 markings/sec, 2790 secs
lola: 4332875 markings, 7563620 edges, 1509 markings/sec, 2795 secs
lola: 4341601 markings, 7576375 edges, 1745 markings/sec, 2800 secs
lola: 4349532 markings, 7589831 edges, 1586 markings/sec, 2805 secs
lola: 4356072 markings, 7601065 edges, 1308 markings/sec, 2810 secs
lola: 4364200 markings, 7615403 edges, 1626 markings/sec, 2815 secs
lola: 4371374 markings, 7628002 edges, 1435 markings/sec, 2820 secs
lola: 4378769 markings, 7640168 edges, 1479 markings/sec, 2825 secs
lola: 4384787 markings, 7651586 edges, 1204 markings/sec, 2830 secs
lola: 4390024 markings, 7664791 edges, 1047 markings/sec, 2835 secs
lola: 4396080 markings, 7678097 edges, 1211 markings/sec, 2840 secs
lola: 4402008 markings, 7690311 edges, 1186 markings/sec, 2845 secs
lola: 4409046 markings, 7702130 edges, 1408 markings/sec, 2850 secs
lola: 4416013 markings, 7715062 edges, 1393 markings/sec, 2855 secs
lola: 4423127 markings, 7726988 edges, 1423 markings/sec, 2860 secs
lola: 4429719 markings, 7738165 edges, 1318 markings/sec, 2865 secs
lola: 4434948 markings, 7750939 edges, 1046 markings/sec, 2870 secs
lola: 4440774 markings, 7764156 edges, 1165 markings/sec, 2875 secs
lola: 4448290 markings, 7776560 edges, 1503 markings/sec, 2880 secs
lola: 4454975 markings, 7789781 edges, 1337 markings/sec, 2885 secs
lola: 4462514 markings, 7802022 edges, 1508 markings/sec, 2890 secs
lola: 4469378 markings, 7813498 edges, 1373 markings/sec, 2895 secs
lola: 4474552 markings, 7825757 edges, 1035 markings/sec, 2900 secs
lola: 4479679 markings, 7838769 edges, 1025 markings/sec, 2905 secs
lola: 4487789 markings, 7851882 edges, 1622 markings/sec, 2910 secs
lola: 4494983 markings, 7865896 edges, 1439 markings/sec, 2915 secs
lola: 4502973 markings, 7878958 edges, 1598 markings/sec, 2920 secs
lola: 4510219 markings, 7891153 edges, 1449 markings/sec, 2925 secs
lola: 4515676 markings, 7904538 edges, 1091 markings/sec, 2930 secs
lola: 4521057 markings, 7918731 edges, 1076 markings/sec, 2935 secs
lola: 4526082 markings, 7933467 edges, 1005 markings/sec, 2940 secs
lola: 4535185 markings, 7948631 edges, 1821 markings/sec, 2945 secs
lola: 4543216 markings, 7962085 edges, 1606 markings/sec, 2950 secs
lola: 4550726 markings, 7975985 edges, 1502 markings/sec, 2955 secs
lola: 4558793 markings, 7990198 edges, 1613 markings/sec, 2960 secs
lola: 4567500 markings, 8003792 edges, 1741 markings/sec, 2965 secs
lola: 4575169 markings, 8016665 edges, 1534 markings/sec, 2970 secs
lola: 4582826 markings, 8029603 edges, 1531 markings/sec, 2975 secs
lola: 4589171 markings, 8042836 edges, 1269 markings/sec, 2980 secs
lola: 4594510 markings, 8057024 edges, 1068 markings/sec, 2985 secs
lola: 4600441 markings, 8070298 edges, 1186 markings/sec, 2990 secs
lola: 4608137 markings, 8083008 edges, 1539 markings/sec, 2995 secs
lola: 4615767 markings, 8095589 edges, 1526 markings/sec, 3000 secs
lola: 4623076 markings, 8107779 edges, 1462 markings/sec, 3005 secs
lola: 4629651 markings, 8119104 edges, 1315 markings/sec, 3010 secs
lola: 4634925 markings, 8130766 edges, 1055 markings/sec, 3015 secs
lola: 4641469 markings, 8145282 edges, 1309 markings/sec, 3020 secs
lola: 4650003 markings, 8157608 edges, 1707 markings/sec, 3025 secs
lola: 4658160 markings, 8170925 edges, 1631 markings/sec, 3030 secs
lola: 4666348 markings, 8184293 edges, 1638 markings/sec, 3035 secs
lola: 4674227 markings, 8198541 edges, 1576 markings/sec, 3040 secs
lola: 4682335 markings, 8211816 edges, 1622 markings/sec, 3045 secs
lola: 4689991 markings, 8223796 edges, 1531 markings/sec, 3050 secs
lola: 4697220 markings, 8235918 edges, 1446 markings/sec, 3055 secs
lola: 4704147 markings, 8247629 edges, 1385 markings/sec, 3060 secs
lola: 4710253 markings, 8259730 edges, 1221 markings/sec, 3065 secs
lola: 4718766 markings, 8273843 edges, 1703 markings/sec, 3070 secs
lola: 4727556 markings, 8288924 edges, 1758 markings/sec, 3075 secs
lola: 4733608 markings, 8303426 edges, 1210 markings/sec, 3080 secs
lola: 4739242 markings, 8315890 edges, 1127 markings/sec, 3085 secs
lola: 4745771 markings, 8330368 edges, 1306 markings/sec, 3090 secs
lola: 4753237 markings, 8342811 edges, 1493 markings/sec, 3095 secs
lola: 4760416 markings, 8356114 edges, 1436 markings/sec, 3100 secs
lola: 4767596 markings, 8368234 edges, 1436 markings/sec, 3105 secs
lola: 4774359 markings, 8379600 edges, 1353 markings/sec, 3110 secs
lola: 4779533 markings, 8392227 edges, 1035 markings/sec, 3115 secs
lola: 4784590 markings, 8405093 edges, 1011 markings/sec, 3120 secs
lola: 4789639 markings, 8419276 edges, 1010 markings/sec, 3125 secs
lola: 4794938 markings, 8435199 edges, 1060 markings/sec, 3130 secs
lola: 4802670 markings, 8447582 edges, 1546 markings/sec, 3135 secs
lola: 4809438 markings, 8461063 edges, 1354 markings/sec, 3140 secs
lola: 4817325 markings, 8473115 edges, 1577 markings/sec, 3145 secs
lola: 4823849 markings, 8484363 edges, 1305 markings/sec, 3150 secs
lola: 4829109 markings, 8497363 edges, 1052 markings/sec, 3155 secs
lola: 4834234 markings, 8510402 edges, 1025 markings/sec, 3160 secs
lola: 4841355 markings, 8525154 edges, 1424 markings/sec, 3165 secs
lola: 4849017 markings, 8539366 edges, 1532 markings/sec, 3170 secs
lola: 4857836 markings, 8554154 edges, 1764 markings/sec, 3175 secs
lola: 4866041 markings, 8567801 edges, 1641 markings/sec, 3180 secs
lola: 4871808 markings, 8581365 edges, 1153 markings/sec, 3185 secs
lola: 4877722 markings, 8596502 edges, 1183 markings/sec, 3190 secs
lola: 4883276 markings, 8612236 edges, 1111 markings/sec, 3195 secs
lola: 4889343 markings, 8628826 edges, 1213 markings/sec, 3200 secs
lola: 4896671 markings, 8641373 edges, 1466 markings/sec, 3205 secs
lola: 4903938 markings, 8654658 edges, 1453 markings/sec, 3210 secs
lola: 4911643 markings, 8666582 edges, 1541 markings/sec, 3215 secs
lola: 4917890 markings, 8677843 edges, 1249 markings/sec, 3220 secs
lola: 4923121 markings, 8691145 edges, 1046 markings/sec, 3225 secs
lola: 4928210 markings, 8704267 edges, 1018 markings/sec, 3230 secs
lola: 4935630 markings, 8718839 edges, 1484 markings/sec, 3235 secs
lola: 4943425 markings, 8733264 edges, 1559 markings/sec, 3240 secs
lola: 4952193 markings, 8747869 edges, 1754 markings/sec, 3245 secs
lola: 4960173 markings, 8761395 edges, 1596 markings/sec, 3250 secs
lola: 4965836 markings, 8775211 edges, 1133 markings/sec, 3255 secs
lola: 4971707 markings, 8790293 edges, 1174 markings/sec, 3260 secs
lola: 4977263 markings, 8806196 edges, 1111 markings/sec, 3265 secs
lola: 4983758 markings, 8822306 edges, 1299 markings/sec, 3270 secs
lola: 4991346 markings, 8834444 edges, 1518 markings/sec, 3275 secs
lola: 4998956 markings, 8846817 edges, 1522 markings/sec, 3280 secs
lola: 5006354 markings, 8858970 edges, 1480 markings/sec, 3285 secs
lola: 5011832 markings, 8870318 edges, 1096 markings/sec, 3290 secs
lola: 5017002 markings, 8883200 edges, 1034 markings/sec, 3295 secs
lola: 5025015 markings, 8897568 edges, 1603 markings/sec, 3300 secs
lola: 5033235 markings, 8912272 edges, 1644 markings/sec, 3305 secs
lola: 5042075 markings, 8926488 edges, 1768 markings/sec, 3310 secs
lola: 5049158 markings, 8939789 edges, 1417 markings/sec, 3315 secs
lola: 5055019 markings, 8953891 edges, 1172 markings/sec, 3320 secs
lola: 5060289 markings, 8969549 edges, 1054 markings/sec, 3325 secs
lola: 5065504 markings, 8985939 edges, 1043 markings/sec, 3330 secs
lola: 5070545 markings, 9001607 edges, 1008 markings/sec, 3335 secs
lola: 5077426 markings, 9016358 edges, 1376 markings/sec, 3340 secs
lola: 5084254 markings, 9028855 edges, 1366 markings/sec, 3345 secs
lola: 5091710 markings, 9041781 edges, 1491 markings/sec, 3350 secs
lola: 5098968 markings, 9053846 edges, 1452 markings/sec, 3355 secs
lola: 5104794 markings, 9065226 edges, 1165 markings/sec, 3360 secs
lola: 5109914 markings, 9078480 edges, 1024 markings/sec, 3365 secs
lola: 5117027 markings, 9091780 edges, 1423 markings/sec, 3370 secs
lola: 5124824 markings, 9106064 edges, 1559 markings/sec, 3375 secs
lola: 5133341 markings, 9120608 edges, 1703 markings/sec, 3380 secs
lola: 5141585 markings, 9134456 edges, 1649 markings/sec, 3385 secs
lola: 5147540 markings, 9148145 edges, 1191 markings/sec, 3390 secs
lola: 5153282 markings, 9162941 edges, 1148 markings/sec, 3395 secs
lola: 5158198 markings, 9178799 edges, 983 markings/sec, 3400 secs
lola: 5163235 markings, 9193177 edges, 1007 markings/sec, 3405 secs
lola: 5168629 markings, 9208558 edges, 1079 markings/sec, 3410 secs
lola: 5173783 markings, 9225445 edges, 1031 markings/sec, 3415 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5177165 markings, 9239625 edges

FORMULA PolyORBLF-PT-S06J04T06-LTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no yes no no no no no no no no no no no no no no
lola:
preliminary result: no yes no no no no no no no no no no no no no no
lola: ========================================
lola: memory consumption: 30724 KB
lola: time consumption: 3426 seconds

BK_STOP 1528059401137

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J04T06"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T06.tgz
mv PolyORBLF-PT-S06J04T06 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S06J04T06, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r208-smll-152732257700416"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;