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 908K
-rw-r--r-- 1 mcc users 30K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 124K 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 6.4K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 23K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 40K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 24K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 126K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 28K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 101K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Referendum-PT-0100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673579000294
=====================================================================

--------------------
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 Referendum-PT-0100-ReachabilityFireability-00
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-01
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-02
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-03
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-04
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-05
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-06
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-07
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-08
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-09
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-10
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-11
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-12
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-13
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-14
FORMULA_NAME Referendum-PT-0100-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1526992439039

info: Time: 3600 - MCC
===========================================================================================
prep: translating Referendum-PT-0100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Referendum-PT-0100 formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ Referendum-PT-0100 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 502/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 301
lola: finding significant places
lola: 301 places, 201 transitions, 201 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 103 transition conflict sets
lola: TASK
lola: reading formula from Referendum-PT-0100-ReachabilityFireability.task
lola: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0) AND NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99)))) : A (G (((FIREABLE(start_0) AND (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))) OR ((NOT FIREABLE(start_0) OR (NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99))))))) : E (F ((NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99) AND NOT FIREABLE(start_0)))) : A (G (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR NOT FIREABLE(start_0) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND FIREABLE(start_0)) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND FIREABLE(start_0) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99))))) : E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0) AND ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99))))) : E (F (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND FIREABLE(start_0)))) : E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0)))) : A (G ((FIREABLE(start_0) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))))) : A (G ((FIREABLE(yes_79) OR FIREABLE(yes_9) OR NOT FIREABLE(yes_49) OR NOT FIREABLE(no_64) OR NOT FIREABLE(no_37) OR FIREABLE(no_7)))) : A (G ((FIREABLE(no_86) OR (FIREABLE(no_87) AND NOT FIREABLE(yes_92)) OR FIREABLE(no_25) OR (NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_61))))) : A (G ((FIREABLE(yes_24) OR (FIREABLE(yes_62) AND FIREABLE(yes_18)) OR ((FIREABLE(no_93) OR FIREABLE(yes_12)) AND (FIREABLE(no_82) OR FIREABLE(no_97))) OR NOT FIREABLE(no_77)))) : E (F (((NOT FIREABLE(yes_29) OR NOT FIREABLE(yes_88)) AND (NOT FIREABLE(yes_89) OR NOT FIREABLE(yes_79)) AND (FIREABLE(no_56) OR FIREABLE(no_49) OR FIREABLE(yes_20) OR FIREABLE(yes_81))))) : E (F ((NOT FIREABLE(no_9) AND NOT FIREABLE(no_90) AND FIREABLE(yes_37) AND ((FIREABLE(yes_80) AND NOT FIREABLE(yes_26)) OR (NOT FIREABLE(no_82) AND FIREABLE(no_73)))))) : A (G ((NOT FIREABLE(yes_74) OR NOT FIREABLE(yes_28) OR (FIREABLE(yes_61) AND (FIREABLE(yes_40) OR FIREABLE(yes_87))) OR (FIREABLE(yes_47) AND FIREABLE(yes_43))))) : A (G ((FIREABLE(no_46) OR FIREABLE(no_94) OR NOT FIREABLE(no_76)))) : E (F ((NOT FIREABLE(no_34) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(no_76) AND FIREABLE(no_80))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(no_46) OR FIREABLE(no_94) OR NOT FIREABLE(no_76))))
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(no_46) OR FIREABLE(no_94) OR NOT FIREABLE(no_76))))
lola: processed formula length: 69
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(no_46) AND NOT FIREABLE(no_94) AND FIREABLE(no_76))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_34) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(no_76) AND FIREABLE(no_80))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_34) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(no_76) AND FIREABLE(no_80))))
lola: processed formula length: 98
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_34) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(no_76) AND FIREABLE(no_80))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: state equation: write sara problem file to Referendum-PT-0100-ReachabilityFireability-0.sara
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(yes_79) OR FIREABLE(yes_9) OR NOT FIREABLE(yes_49) OR NOT FIREABLE(no_64) OR NOT FIREABLE(no_37) OR FIREABLE(no_7))))
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(yes_79) OR FIREABLE(yes_9) OR NOT FIREABLE(yes_49) OR NOT FIREABLE(no_64) OR NOT FIREABLE(no_37) OR FIREABLE(no_7))))
lola: processed formula length: 138
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: 5 markings, 4 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-8 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: A (G ((FIREABLE(no_86) OR (FIREABLE(no_87) AND NOT FIREABLE(yes_92)) OR FIREABLE(no_25) OR (NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_61)))))
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(no_86) OR (FIREABLE(no_87) AND NOT FIREABLE(yes_92)) OR FIREABLE(no_25) OR (NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_61)))))
lola: processed formula length: 143
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(no_86) AND (NOT FIREABLE(no_87) OR FIREABLE(yes_92)) AND NOT FIREABLE(no_25) AND (FIREABLE(yes_1) OR FIREABLE(yes_61)))
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-9 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: E (F ((NOT FIREABLE(no_9) AND NOT FIREABLE(no_90) AND FIREABLE(yes_37) AND ((FIREABLE(yes_80) AND NOT FIREABLE(yes_26)) OR (NOT FIREABLE(no_82) AND FIREABLE(no_73))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_9) AND NOT FIREABLE(no_90) AND FIREABLE(yes_37) AND ((FIREABLE(yes_80) AND NOT FIREABLE(yes_26)) OR (NOT FIREABLE(no_82) AND FIREABLE(no_73))))))
lola: processed formula length: 169
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_9) AND NOT FIREABLE(no_90) AND FIREABLE(yes_37) AND ((FIREABLE(yes_80) AND NOT FIREABLE(yes_26)) OR (NOT FIREABLE(no_82) AND FIREABLE(no_73))))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to Referendum-PT-0100-ReachabilityFireability-4-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: state equation: calling and running sara
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-12 TRUE 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 (G ((NOT FIREABLE(yes_74) OR NOT FIREABLE(yes_28) OR (FIREABLE(yes_61) AND (FIREABLE(yes_40) OR FIREABLE(yes_87))) OR (FIREABLE(yes_47) AND FIREABLE(yes_43)))))
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 ((NOT FIREABLE(yes_74) OR NOT FIREABLE(yes_28) OR (FIREABLE(yes_61) AND (FIREABLE(yes_40) OR FIREABLE(yes_87))) OR (FIREABLE(yes_47) AND FIREABLE(yes_43)))))
lola: processed formula length: 166
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(yes_74) AND FIREABLE(yes_28) AND (NOT FIREABLE(yes_61) OR (NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_87))) AND (NOT FIREABLE(yes_47) OR NOT FIREABLE(yes_43)))
lola: state equation: Generated DNF with 18 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to Referendum-PT-0100-ReachabilityFireability-5-0.sara
sara: try reading problem file Referendum-PT-0100-ReachabilityFireability-4-0.sara.
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(yes_24) OR (FIREABLE(yes_62) AND FIREABLE(yes_18)) OR ((FIREABLE(no_93) OR FIREABLE(yes_12)) AND (FIREABLE(no_82) OR FIREABLE(no_97))) OR NOT FIREABLE(no_77))))
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(yes_24) OR (FIREABLE(yes_62) AND FIREABLE(yes_18)) OR ((FIREABLE(no_93) OR FIREABLE(yes_12)) AND (FIREABLE(no_82) OR FIREABLE(no_97))) OR NOT FIREABLE(no_77))))
lola: processed formula length: 181
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(yes_24) AND (NOT FIREABLE(yes_62) OR NOT FIREABLE(yes_18)) AND ((NOT FIREABLE(no_93) AND NOT FIREABLE(yes_12)) OR (NOT FIREABLE(no_82) AND NOT FIREABLE(no_97))) AND FIREABLE(no_77))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to Referendum-PT-0100-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-10 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: E (F (((NOT FIREABLE(yes_29) OR NOT FIREABLE(yes_88)) AND (NOT FIREABLE(yes_89) OR NOT FIREABLE(yes_79)) AND (FIREABLE(no_56) OR FIREABLE(no_49) OR FIREABLE(yes_20) OR FIREABLE(yes_81)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((NOT FIREABLE(yes_29) OR NOT FIREABLE(yes_88)) AND (NOT FIREABLE(yes_89) OR NOT FIREABLE(yes_79)) AND (FIREABLE(no_56) OR FIREABLE(no_49) OR FIREABLE(yes_20) OR FIREABLE(yes_81)))))
lola: processed formula length: 193
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((NOT FIREABLE(yes_29) OR NOT FIREABLE(yes_88)) AND (NOT FIREABLE(yes_89) OR NOT FIREABLE(yes_79)) AND (FIREABLE(no_56) OR FIREABLE(no_49) OR FIREABLE(yes_20) OR FIREABLE(yes_81)))
lola: state equation: Generated DNF with 48 literals and 16 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: processed formula length: 2421
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 102 markings, 101 edges

lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-6 TRUE 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: E (F ((NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT... (shortened)
lola: processed formula length: 2521
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99) AND NOT FIREABLE(start_0))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 102 markings, 101 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-2 TRUE 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: E (F (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIR... (shortened)
lola: processed formula length: 4211
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) AND FIREABLE(start_0))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 2 markings, 1 edges

FORMULA Referendum-PT-0100-ReachabilityFireability-5 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: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: processed formula length: 4911
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0) AND NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 102 markings, 101 edges

FORMULA Referendum-PT-0100-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(start_0) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR ... (shortened)
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(start_0) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR ... (shortened)
lola: processed formula length: 4113
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(start_0) AND ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR (NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99))))
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 102 markings, 101 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-7 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 (G (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16... (shortened)
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 (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16... (shortened)
lola: processed formula length: 13129
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 2 markings, 1 edges
lola: ========================================

FORMULA Referendum-PT-0100-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: processed formula length: 10993
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0) AND ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 1646686 markings, 1646686 edges, 329337 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 3194613 markings, 3194613 edges, 309585 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 4709407 markings, 4709407 edges, 302959 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 6199943 markings, 6199943 edges, 298107 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 7688165 markings, 7688165 edges, 297644 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 9164785 markings, 9164785 edges, 295324 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 10608020 markings, 10608020 edges, 288647 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 12048608 markings, 12048608 edges, 288118 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 13489213 markings, 13489214 edges, 288121 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 14932286 markings, 14932286 edges, 288615 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 16370743 markings, 16370744 edges, 287691 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 17795413 markings, 17795413 edges, 284934 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 19201268 markings, 19201268 edges, 281171 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 20574173 markings, 20574173 edges, 274581 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 21985591 markings, 21985591 edges, 282284 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 23386680 markings, 23386680 edges, 280218 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 24802293 markings, 24802293 edges, 283123 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 26208914 markings, 26208914 edges, 281324 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 27615201 markings, 27615201 edges, 281257 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 29009469 markings, 29009469 edges, 278854 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 30389311 markings, 30389311 edges, 275968 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 31790989 markings, 31790989 edges, 280336 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 33181841 markings, 33181841 edges, 278170 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 34566125 markings, 34566125 edges, 276857 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 35955945 markings, 35955945 edges, 277964 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 37329412 markings, 37329412 edges, 274693 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 38714085 markings, 38714085 edges, 276935 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 40084704 markings, 40084704 edges, 274124 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 41450414 markings, 41450414 edges, 273142 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 42819562 markings, 42819562 edges, 273830 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 44195178 markings, 44195178 edges, 275123 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 45563100 markings, 45563100 edges, 273584 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 46938046 markings, 46938045 edges, 274989 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 48307592 markings, 48307592 edges, 273909 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 49675178 markings, 49675178 edges, 273517 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 51048230 markings, 51048230 edges, 274610 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 52421220 markings, 52421220 edges, 274598 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 53797376 markings, 53797376 edges, 275231 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 55166713 markings, 55166712 edges, 273867 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 56545061 markings, 56545061 edges, 275670 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 57922960 markings, 57922960 edges, 275580 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 59299639 markings, 59299639 edges, 275336 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 60673661 markings, 60673660 edges, 274804 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 62045192 markings, 62045192 edges, 274306 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 63415618 markings, 63415618 edges, 274085 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 64789759 markings, 64789759 edges, 274828 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 66166528 markings, 66166528 edges, 275354 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 67518485 markings, 67518485 edges, 270391 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 68866721 markings, 68866721 edges, 269647 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 70208976 markings, 70208975 edges, 268451 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 71548228 markings, 71548228 edges, 267850 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 72882169 markings, 72882169 edges, 266788 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 74229803 markings, 74229803 edges, 269527 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 75581788 markings, 75581788 edges, 270397 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 76932205 markings, 76932205 edges, 270083 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 78268033 markings, 78268033 edges, 267166 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 79605611 markings, 79605611 edges, 267516 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 80948041 markings, 80948041 edges, 268486 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 82281418 markings, 82281418 edges, 266675 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 83617551 markings, 83617551 edges, 267227 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 84968221 markings, 84968221 edges, 270134 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 86319475 markings, 86319475 edges, 270251 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 87660773 markings, 87660773 edges, 268260 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 89009344 markings, 89009344 edges, 269714 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 90359434 markings, 90359434 edges, 270018 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 91699165 markings, 91699165 edges, 267946 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 93037700 markings, 93037700 edges, 267707 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 94363738 markings, 94363738 edges, 265208 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 95680815 markings, 95680815 edges, 263415 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 97015490 markings, 97015490 edges, 266935 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 98348187 markings, 98348186 edges, 266539 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 99688038 markings, 99688038 edges, 267970 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 101022618 markings, 101022618 edges, 266916 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 102370051 markings, 102370051 edges, 269487 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 103705507 markings, 103705507 edges, 267091 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 105041651 markings, 105041651 edges, 267229 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 106379393 markings, 106379393 edges, 267548 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 107715348 markings, 107715348 edges, 267191 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 109050445 markings, 109050445 edges, 267019 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 110385044 markings, 110385043 edges, 266920 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 111732749 markings, 111732748 edges, 269541 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 113074421 markings, 113074421 edges, 268334 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 114420325 markings, 114420325 edges, 269181 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 115757325 markings, 115757324 edges, 267400 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 117086033 markings, 117086033 edges, 265742 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 118433300 markings, 118433300 edges, 269453 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 119780885 markings, 119780885 edges, 269517 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 121120506 markings, 121120506 edges, 267924 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 122465571 markings, 122465571 edges, 269013 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 123806454 markings, 123806454 edges, 268177 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 125148551 markings, 125148551 edges, 268419 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 126494695 markings, 126494694 edges, 269229 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 127837270 markings, 127837270 edges, 268515 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 129182619 markings, 129182619 edges, 269070 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 130524835 markings, 130524834 edges, 268443 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 131868801 markings, 131868801 edges, 268793 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 133213786 markings, 133213786 edges, 268997 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 134557952 markings, 134557952 edges, 268833 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 135892861 markings, 135892861 edges, 266982 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 137220994 markings, 137220994 edges, 265627 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 138538730 markings, 138538730 edges, 263547 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 139862645 markings, 139862645 edges, 264783 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 141184843 markings, 141184843 edges, 264440 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 142505852 markings, 142505852 edges, 264202 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 143832812 markings, 143832812 edges, 265392 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 145155875 markings, 145155875 edges, 264613 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 146473705 markings, 146473704 edges, 263566 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 147795810 markings, 147795810 edges, 264421 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 149112289 markings, 149112289 edges, 263296 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 150426648 markings, 150426648 edges, 262872 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 151754568 markings, 151754568 edges, 265584 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 153082539 markings, 153082539 edges, 265594 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 154401895 markings, 154401895 edges, 263871 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 155715107 markings, 155715107 edges, 262642 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 157026676 markings, 157026676 edges, 262314 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 158330354 markings, 158330354 edges, 260736 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 159445663 markings, 159445663 edges, 223062 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 160748695 markings, 160748695 edges, 260606 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 162055893 markings, 162055893 edges, 261440 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 163358901 markings, 163358901 edges, 260602 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 164662901 markings, 164662901 edges, 260800 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 165970717 markings, 165970717 edges, 261563 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 167268163 markings, 167268162 edges, 259489 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 168574128 markings, 168574128 edges, 261193 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 169886793 markings, 169886793 edges, 262533 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 171186817 markings, 171186817 edges, 260005 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 172492787 markings, 172492787 edges, 261194 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 173791721 markings, 173791721 edges, 259787 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 175103177 markings, 175103177 edges, 262291 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 176419956 markings, 176419956 edges, 263356 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 177737689 markings, 177737689 edges, 263547 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 179050013 markings, 179050013 edges, 262465 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 180347648 markings, 180347648 edges, 259527 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 181660083 markings, 181660083 edges, 262487 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 182960453 markings, 182960453 edges, 260074 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 184260329 markings, 184260329 edges, 259975 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 185580033 markings, 185580033 edges, 263941 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 186898579 markings, 186898579 edges, 263709 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 188201027 markings, 188201027 edges, 260490 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 189505955 markings, 189505955 edges, 260986 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 190801064 markings, 190801064 edges, 259022 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 192101099 markings, 192101099 edges, 260007 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 193403290 markings, 193403290 edges, 260438 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 194701859 markings, 194701859 edges, 259714 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 195991313 markings, 195991313 edges, 257891 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 197289043 markings, 197289042 edges, 259546 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 198587376 markings, 198587376 edges, 259667 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 199877186 markings, 199877186 edges, 257962 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 201173232 markings, 201173232 edges, 259209 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 202494814 markings, 202494814 edges, 264316 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 203807868 markings, 203807868 edges, 262611 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 205109587 markings, 205109586 edges, 260344 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 206414400 markings, 206414400 edges, 260963 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 207718144 markings, 207718144 edges, 260749 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 209025229 markings, 209025229 edges, 261417 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 210324673 markings, 210324673 edges, 259889 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 211631532 markings, 211631532 edges, 261372 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 212931516 markings, 212931516 edges, 259997 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 214229624 markings, 214229624 edges, 259622 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 215524704 markings, 215524704 edges, 259016 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 216812756 markings, 216812755 edges, 257610 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 218099632 markings, 218099632 edges, 257375 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 219410226 markings, 219410226 edges, 262119 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 220712064 markings, 220712064 edges, 260368 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 222006292 markings, 222006292 edges, 258846 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 223304637 markings, 223304637 edges, 259669 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 224609583 markings, 224609583 edges, 260989 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 225918816 markings, 225918816 edges, 261847 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 227223142 markings, 227223142 edges, 260865 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 228518329 markings, 228518329 edges, 259037 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 229817699 markings, 229817699 edges, 259874 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 231122726 markings, 231122726 edges, 261005 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 232417780 markings, 232417780 edges, 259011 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 233715112 markings, 233715112 edges, 259466 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 235013833 markings, 235013833 edges, 259744 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 236328221 markings, 236328221 edges, 262878 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 237643025 markings, 237643025 edges, 262961 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 238946742 markings, 238946742 edges, 260743 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 240256046 markings, 240256046 edges, 261861 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 241562481 markings, 241562481 edges, 261287 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 242867502 markings, 242867502 edges, 261004 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 244167153 markings, 244167152 edges, 259930 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 245472397 markings, 245472397 edges, 261049 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 246765644 markings, 246765644 edges, 258649 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 248060199 markings, 248060199 edges, 258911 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 249348977 markings, 249348976 edges, 257756 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 250639529 markings, 250639529 edges, 258110 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 251942255 markings, 251942254 edges, 260545 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 253253544 markings, 253253544 edges, 262258 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 254559903 markings, 254559903 edges, 261272 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 255853452 markings, 255853452 edges, 258710 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 257161335 markings, 257161335 edges, 261577 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 258462205 markings, 258462205 edges, 260174 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 259751756 markings, 259751756 edges, 257910 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 261055907 markings, 261055906 edges, 260830 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 262350335 markings, 262350335 edges, 258886 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 263651650 markings, 263651650 edges, 260263 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 264956340 markings, 264956340 edges, 260938 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 266249809 markings, 266249809 edges, 258694 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 267544790 markings, 267544790 edges, 258996 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 268835756 markings, 268835756 edges, 258193 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 270136918 markings, 270136918 edges, 260232 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 271435847 markings, 271435847 edges, 259786 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 272717494 markings, 272717494 edges, 256329 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 273990365 markings, 273990365 edges, 254574 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 275282124 markings, 275282124 edges, 258352 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 276568919 markings, 276568919 edges, 257359 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 277860327 markings, 277860327 edges, 258282 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 279143161 markings, 279143161 edges, 256567 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 280413362 markings, 280413361 edges, 254040 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 281690714 markings, 281690714 edges, 255470 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 282963320 markings, 282963320 edges, 254521 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 284231888 markings, 284231888 edges, 253714 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 285506837 markings, 285506837 edges, 254990 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 286786333 markings, 286786333 edges, 255899 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 288064656 markings, 288064655 edges, 255665 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 289334366 markings, 289334366 edges, 253942 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 290614513 markings, 290614513 edges, 256029 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 291895351 markings, 291895351 edges, 256168 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 293168025 markings, 293168025 edges, 254535 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 294444683 markings, 294444683 edges, 255332 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 295723758 markings, 295723757 edges, 255815 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 297004231 markings, 297004231 edges, 256095 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 298283344 markings, 298283344 edges, 255823 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 299557779 markings, 299557778 edges, 254887 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 300836831 markings, 300836831 edges, 255810 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 302105551 markings, 302105551 edges, 253744 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 303397784 markings, 303397784 edges, 258447 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 304688830 markings, 304688830 edges, 258209 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 305961681 markings, 305961681 edges, 254570 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 307226015 markings, 307226015 edges, 252867 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 308511038 markings, 308511038 edges, 257005 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 309791263 markings, 309791263 edges, 256045 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 311054956 markings, 311054955 edges, 252739 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 312340594 markings, 312340594 edges, 257128 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 313625731 markings, 313625731 edges, 257027 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 314899707 markings, 314899707 edges, 254795 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 316175139 markings, 316175139 edges, 255086 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 317443402 markings, 317443401 edges, 253653 markings/sec, 1190 secs
lola: sara not yet started (preprocessing) || 318715759 markings, 318715759 edges, 254471 markings/sec, 1195 secs
lola: sara not yet started (preprocessing) || 319997384 markings, 319997383 edges, 256325 markings/sec, 1200 secs
lola: sara not yet started (preprocessing) || 321272622 markings, 321272622 edges, 255048 markings/sec, 1205 secs
lola: sara not yet started (preprocessing) || 322544277 markings, 322544277 edges, 254331 markings/sec, 1210 secs
lola: sara not yet started (preprocessing) || 323823404 markings, 323823404 edges, 255825 markings/sec, 1215 secs
lola: sara not yet started (preprocessing) || 325098757 markings, 325098757 edges, 255071 markings/sec, 1220 secs
lola: sara not yet started (preprocessing) || 326366515 markings, 326366515 edges, 253552 markings/sec, 1225 secs
lola: sara not yet started (preprocessing) || 327639127 markings, 327639127 edges, 254522 markings/sec, 1230 secs
lola: sara not yet started (preprocessing) || 328913801 markings, 328913801 edges, 254935 markings/sec, 1235 secs
lola: sara not yet started (preprocessing) || 330142773 markings, 330142773 edges, 245794 markings/sec, 1240 secs
lola: sara not yet started (preprocessing) || 331396871 markings, 331396871 edges, 250820 markings/sec, 1245 secs
lola: sara not yet started (preprocessing) || 332668410 markings, 332668410 edges, 254308 markings/sec, 1250 secs
lola: sara not yet started (preprocessing) || 333929685 markings, 333929685 edges, 252255 markings/sec, 1255 secs
lola: sara not yet started (preprocessing) || 335189323 markings, 335189323 edges, 251928 markings/sec, 1260 secs
lola: sara not yet started (preprocessing) || 336464614 markings, 336464613 edges, 255058 markings/sec, 1265 secs
lola: sara not yet started (preprocessing) || 337739138 markings, 337739138 edges, 254905 markings/sec, 1270 secs
lola: sara not yet started (preprocessing) || 339007230 markings, 339007230 edges, 253618 markings/sec, 1275 secs
lola: sara not yet started (preprocessing) || 340274919 markings, 340274919 edges, 253538 markings/sec, 1280 secs
lola: sara not yet started (preprocessing) || 341545311 markings, 341545311 edges, 254078 markings/sec, 1285 secs
lola: sara not yet started (preprocessing) || 342766448 markings, 342766448 edges, 244227 markings/sec, 1290 secs
lola: sara not yet started (preprocessing) || 343429358 markings, 343429398 edges, 132582 markings/sec, 1295 secs
lola: sara not yet started (preprocessing) || 343601000 markings, 343600999 edges, 34328 markings/sec, 1300 secs
lola: sara not yet started (preprocessing) || 343603926 markings, 343603926 edges, 585 markings/sec, 1305 secs
lola: sara not yet started (preprocessing) || 343624537 markings, 343624537 edges, 4122 markings/sec, 1310 secs
lola: sara not yet started (preprocessing) || 343645685 markings, 343645685 edges, 4230 markings/sec, 1315 secs
lola: sara not yet started (preprocessing) || 343667572 markings, 343667572 edges, 4377 markings/sec, 1320 secs
lola: sara not yet started (preprocessing) || 343687964 markings, 343687963 edges, 4078 markings/sec, 1325 secs
lola: sara not yet started (preprocessing) || 343696594 markings, 343696593 edges, 1726 markings/sec, 1330 secs
lola: sara not yet started (preprocessing) || 343705797 markings, 343705801 edges, 1841 markings/sec, 1335 secs
lola: sara not yet started (preprocessing) || 343715723 markings, 343715723 edges, 1985 markings/sec, 1340 secs
lola: sara not yet started (preprocessing) || 343737034 markings, 343737034 edges, 4262 markings/sec, 1345 secs
lola: sara not yet started (preprocessing) || 343749957 markings, 343749957 edges, 2585 markings/sec, 1350 secs
lola: sara not yet started (preprocessing) || 343773854 markings, 343773853 edges, 4779 markings/sec, 1355 secs
lola: sara not yet started (preprocessing) || 343778167 markings, 343778167 edges, 863 markings/sec, 1360 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2195 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(start_0) AND (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR ... (shortened)
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(start_0) AND (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR ... (shortened)
lola: processed formula length: 6535
lola: 2 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(start_0) OR (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99))) AND ((FIREABLE(start_0) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 2 markings, 1 edges

lola: ========================================
FORMULA Referendum-PT-0100-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: processed formula length: 10993
lola: 1 rewrites
lola: closed formula file Referendum-PT-0100-ReachabilityFireability.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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99) AND NOT FIREABLE(start_0) AND ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) OR ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))) AND (FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 1527492 markings, 1527492 edges, 305498 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 3096898 markings, 3096898 edges, 313881 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 4643146 markings, 4643146 edges, 309250 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 6155360 markings, 6155360 edges, 302443 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 7669242 markings, 7669242 edges, 302776 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 9160730 markings, 9160730 edges, 298298 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 10635501 markings, 10635501 edges, 294954 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 12090697 markings, 12090697 edges, 291039 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 13556908 markings, 13556908 edges, 293242 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 15023986 markings, 15023986 edges, 293416 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 16480463 markings, 16480463 edges, 291295 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 17924080 markings, 17924080 edges, 288723 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 19361386 markings, 19361386 edges, 287461 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 20786888 markings, 20786888 edges, 285100 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 22215279 markings, 22215278 edges, 285678 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 23643542 markings, 23643541 edges, 285653 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 25056662 markings, 25056662 edges, 282624 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 26480812 markings, 26480811 edges, 284830 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 27905329 markings, 27905329 edges, 284903 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 29323163 markings, 29323163 edges, 283567 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 30747755 markings, 30747755 edges, 284918 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 32168825 markings, 32168825 edges, 284214 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 33584883 markings, 33584883 edges, 283212 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 34994456 markings, 34994456 edges, 281915 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 36392524 markings, 36392523 edges, 279614 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 37779276 markings, 37779276 edges, 277350 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 39177099 markings, 39177099 edges, 279565 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 40568527 markings, 40568527 edges, 278286 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 41952176 markings, 41952176 edges, 276730 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 43344763 markings, 43344763 edges, 278517 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 44733551 markings, 44733551 edges, 277758 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 46116474 markings, 46116474 edges, 276585 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 47499752 markings, 47499752 edges, 276656 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 48885901 markings, 48885900 edges, 277230 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 50263917 markings, 50263917 edges, 275603 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 51664309 markings, 51664309 edges, 280078 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 53056534 markings, 53056533 edges, 278445 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 54436315 markings, 54436315 edges, 275956 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 55821992 markings, 55821992 edges, 277135 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 57209872 markings, 57209872 edges, 277576 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 58592798 markings, 58592797 edges, 276585 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 59980949 markings, 59980949 edges, 277630 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 61366973 markings, 61366973 edges, 277205 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 62744692 markings, 62744692 edges, 275544 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 64130891 markings, 64130891 edges, 277240 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 65516502 markings, 65516502 edges, 277122 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 66898467 markings, 66898467 edges, 276393 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 68267128 markings, 68267128 edges, 273732 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 69638000 markings, 69638000 edges, 274174 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 70998611 markings, 70998610 edges, 272122 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 72363992 markings, 72363992 edges, 273076 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 73727452 markings, 73727452 edges, 272692 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 75090753 markings, 75090753 edges, 272660 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 76457352 markings, 76457352 edges, 273320 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 77819632 markings, 77819632 edges, 272456 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 79168908 markings, 79168907 edges, 269855 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 80520243 markings, 80520243 edges, 270267 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 81865700 markings, 81865699 edges, 269091 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 83214561 markings, 83214561 edges, 269772 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 84577594 markings, 84577594 edges, 272607 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 85937865 markings, 85937865 edges, 272054 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 87294246 markings, 87294246 edges, 271276 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 88652064 markings, 88652064 edges, 271564 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 90012603 markings, 90012602 edges, 272108 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 91368198 markings, 91368198 edges, 271119 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 92723287 markings, 92723287 edges, 271018 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 94076147 markings, 94076147 edges, 270572 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 95428102 markings, 95428101 edges, 270391 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 96781123 markings, 96781123 edges, 270604 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 98127512 markings, 98127512 edges, 269278 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 99476829 markings, 99476829 edges, 269863 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 100825411 markings, 100825411 edges, 269716 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 102194102 markings, 102194102 edges, 273738 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 103553615 markings, 103553615 edges, 271903 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 104903409 markings, 104903408 edges, 269959 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 106259145 markings, 106259145 edges, 271147 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 107609171 markings, 107609171 edges, 270005 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 108958849 markings, 108958849 edges, 269936 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 110319798 markings, 110319797 edges, 272190 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 111677586 markings, 111677586 edges, 271558 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 113028436 markings, 113028436 edges, 270170 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 114382555 markings, 114382555 edges, 270824 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 115733230 markings, 115733229 edges, 270135 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 117079513 markings, 117079513 edges, 269257 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 118439066 markings, 118439066 edges, 271911 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 119795546 markings, 119795546 edges, 271296 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 121143409 markings, 121143409 edges, 269573 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 122486980 markings, 122486979 edges, 268714 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 123815996 markings, 123815996 edges, 265803 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 125158467 markings, 125158467 edges, 268494 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 126490087 markings, 126490087 edges, 266324 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 127831798 markings, 127831798 edges, 268342 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 129171938 markings, 129171938 edges, 268028 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 130511579 markings, 130511579 edges, 267928 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 131861934 markings, 131861934 edges, 270071 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 133218887 markings, 133218887 edges, 271391 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 134542911 markings, 134542911 edges, 264805 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 135874457 markings, 135874457 edges, 266309 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 137187234 markings, 137187234 edges, 262555 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 138515180 markings, 138515180 edges, 265589 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 139850199 markings, 139850199 edges, 267004 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 141173270 markings, 141173270 edges, 264614 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 142495948 markings, 142495948 edges, 264536 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 143826194 markings, 143826194 edges, 266049 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 145150069 markings, 145150069 edges, 264775 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 146475108 markings, 146475108 edges, 265008 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 147801891 markings, 147801891 edges, 265357 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 149120590 markings, 149120590 edges, 263740 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 150439260 markings, 150439260 edges, 263734 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 151768712 markings, 151768712 edges, 265890 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 153097143 markings, 153097143 edges, 265686 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 154412823 markings, 154412823 edges, 263136 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 155725626 markings, 155725626 edges, 262561 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 157035585 markings, 157035585 edges, 261992 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 158347103 markings, 158347103 edges, 262304 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 159656672 markings, 159656672 edges, 261914 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 160967838 markings, 160967838 edges, 262233 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 162253895 markings, 162253895 edges, 257211 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 163574270 markings, 163574270 edges, 264075 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 164898816 markings, 164898816 edges, 264909 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 166220848 markings, 166220848 edges, 264406 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 167536787 markings, 167536787 edges, 263188 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 168856183 markings, 168856183 edges, 263879 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 170183549 markings, 170183549 edges, 265473 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 171499624 markings, 171499624 edges, 263215 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 172819670 markings, 172819670 edges, 264009 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 174137188 markings, 174137188 edges, 263504 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 175448188 markings, 175448188 edges, 262200 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 176764226 markings, 176764226 edges, 263208 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 178082648 markings, 178082648 edges, 263684 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 179396119 markings, 179396119 edges, 262694 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 180707173 markings, 180707172 edges, 262211 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 182016039 markings, 182016039 edges, 261773 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 183320641 markings, 183320641 edges, 260920 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 184623738 markings, 184623738 edges, 260619 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 185938603 markings, 185938603 edges, 262973 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 187252548 markings, 187252547 edges, 262789 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 188553239 markings, 188553239 edges, 260138 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 189870347 markings, 189870347 edges, 263422 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 191181371 markings, 191181371 edges, 262205 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 192483744 markings, 192483744 edges, 260475 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 193798863 markings, 193798863 edges, 263024 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 195110167 markings, 195110167 edges, 262261 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 196412962 markings, 196412962 edges, 260559 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 197707039 markings, 197707039 edges, 258815 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 199003443 markings, 199003443 edges, 259281 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 200303147 markings, 200303147 edges, 259941 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 201606035 markings, 201606035 edges, 260578 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 202928632 markings, 202928631 edges, 264519 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 204260941 markings, 204260941 edges, 266462 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 205572975 markings, 205572975 edges, 262407 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 206893582 markings, 206893582 edges, 264121 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 208200001 markings, 208200001 edges, 261284 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 209508559 markings, 209508559 edges, 261712 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 210818821 markings, 210818821 edges, 262052 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 212125487 markings, 212125487 edges, 261333 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 213420742 markings, 213420742 edges, 259051 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 214728875 markings, 214728875 edges, 261627 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 216024933 markings, 216024932 edges, 259212 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 217327742 markings, 217327742 edges, 260562 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 218645048 markings, 218645048 edges, 263461 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 219951960 markings, 219951960 edges, 261382 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 221263282 markings, 221263282 edges, 262264 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 222581679 markings, 222581679 edges, 263679 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 223903115 markings, 223903114 edges, 264287 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 225225740 markings, 225225740 edges, 264525 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 226544329 markings, 226544329 edges, 263718 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 227863315 markings, 227863315 edges, 263797 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 229178340 markings, 229178340 edges, 263005 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 230479279 markings, 230479278 edges, 260188 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 231778004 markings, 231778003 edges, 259745 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 233083425 markings, 233083424 edges, 261084 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 234391767 markings, 234391767 edges, 261668 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 235712819 markings, 235712818 edges, 264210 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 237041608 markings, 237041608 edges, 265758 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 238348192 markings, 238348192 edges, 261317 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 239660833 markings, 239660833 edges, 262528 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 240972488 markings, 240972487 edges, 262331 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 242285644 markings, 242285643 edges, 262631 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 243598323 markings, 243598323 edges, 262536 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 244918319 markings, 244918319 edges, 263999 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 246231324 markings, 246231324 edges, 262601 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 247533001 markings, 247533001 edges, 260335 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 248846289 markings, 248846289 edges, 262658 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 250158134 markings, 250158134 edges, 262369 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 251459405 markings, 251459405 edges, 260254 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 252780527 markings, 252780527 edges, 264224 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 254095126 markings, 254095126 edges, 262920 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 255408934 markings, 255408934 edges, 262762 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 256726938 markings, 256726937 edges, 263601 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 258036287 markings, 258036287 edges, 261870 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 259338836 markings, 259338836 edges, 260510 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 260645021 markings, 260645020 edges, 261237 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 261955638 markings, 261955638 edges, 262123 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 263262084 markings, 263262084 edges, 261289 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 264564049 markings, 264564048 edges, 260393 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 265868706 markings, 265868706 edges, 260931 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 267175373 markings, 267175373 edges, 261333 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 268480504 markings, 268480504 edges, 261026 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 269788183 markings, 269788182 edges, 261536 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 271094385 markings, 271094385 edges, 261240 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 272381319 markings, 272381319 edges, 257387 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 273677481 markings, 273677481 edges, 259232 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 274974643 markings, 274974643 edges, 259432 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 276270229 markings, 276270229 edges, 259117 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 277568834 markings, 277568834 edges, 259721 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 278863640 markings, 278863640 edges, 258961 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 280156841 markings, 280156841 edges, 258640 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 281444301 markings, 281444301 edges, 257492 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 282731844 markings, 282731844 edges, 257509 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 284018130 markings, 284018130 edges, 257257 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 285304461 markings, 285304461 edges, 257266 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 286601407 markings, 286601406 edges, 259389 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 287899445 markings, 287899445 edges, 259608 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 289190468 markings, 289190468 edges, 258205 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 290482177 markings, 290482177 edges, 258342 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 291770345 markings, 291770345 edges, 257634 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 292280739 markings, 292280739 edges, 102079 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 293555379 markings, 293555379 edges, 254928 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 294844093 markings, 294844092 edges, 257743 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 296128140 markings, 296128140 edges, 256809 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 297400935 markings, 297400935 edges, 254559 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 298684801 markings, 298684801 edges, 256773 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 299955508 markings, 299955508 edges, 254141 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 301239960 markings, 301239960 edges, 256890 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 302527179 markings, 302527179 edges, 257444 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 303823607 markings, 303823607 edges, 259286 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 305117243 markings, 305117243 edges, 258727 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 306408520 markings, 306408520 edges, 258255 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 307696282 markings, 307696282 edges, 257552 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 308974650 markings, 308974649 edges, 255674 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 310261686 markings, 310261685 edges, 257407 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 311550576 markings, 311550576 edges, 257778 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 312840285 markings, 312840285 edges, 257942 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 314120168 markings, 314120168 edges, 255977 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 315401706 markings, 315401706 edges, 256308 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 316685395 markings, 316685395 edges, 256738 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 317968436 markings, 317968436 edges, 256608 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 319253106 markings, 319253106 edges, 256934 markings/sec, 1190 secs
lola: sara not yet started (preprocessing) || 320539622 markings, 320539622 edges, 257303 markings/sec, 1195 secs
lola: sara not yet started (preprocessing) || 321795711 markings, 321795711 edges, 251218 markings/sec, 1200 secs
lola: sara not yet started (preprocessing) || 323070015 markings, 323070015 edges, 254861 markings/sec, 1205 secs
lola: sara not yet started (preprocessing) || 324359067 markings, 324359066 edges, 257810 markings/sec, 1210 secs
lola: sara not yet started (preprocessing) || 325644071 markings, 325644071 edges, 257001 markings/sec, 1215 secs
lola: sara not yet started (preprocessing) || 326927157 markings, 326927157 edges, 256617 markings/sec, 1220 secs
lola: sara not yet started (preprocessing) || 328207704 markings, 328207704 edges, 256109 markings/sec, 1225 secs
lola: sara not yet started (preprocessing) || 329488383 markings, 329488383 edges, 256136 markings/sec, 1230 secs
lola: sara not yet started (preprocessing) || 330762967 markings, 330762967 edges, 254917 markings/sec, 1235 secs
lola: sara not yet started (preprocessing) || 332033416 markings, 332033415 edges, 254090 markings/sec, 1240 secs
lola: sara not yet started (preprocessing) || 333306542 markings, 333306542 edges, 254625 markings/sec, 1245 secs
lola: sara not yet started (preprocessing) || 334586517 markings, 334586517 edges, 255995 markings/sec, 1250 secs
lola: sara not yet started (preprocessing) || 335866220 markings, 335866220 edges, 255941 markings/sec, 1255 secs
lola: sara not yet started (preprocessing) || 337169504 markings, 337169504 edges, 260657 markings/sec, 1260 secs
lola: sara not yet started (preprocessing) || 338468279 markings, 338468279 edges, 259755 markings/sec, 1265 secs
lola: sara not yet started (preprocessing) || 339755647 markings, 339755647 edges, 257474 markings/sec, 1270 secs
lola: sara not yet started (preprocessing) || 341043782 markings, 341043782 edges, 257627 markings/sec, 1275 secs
lola: sara not yet started (preprocessing) || 342329397 markings, 342329397 edges, 257123 markings/sec, 1280 secs
lola: sara not yet started (preprocessing) || 343173632 markings, 343173632 edges, 168847 markings/sec, 1285 secs
lola: sara not yet started (preprocessing) || 343599136 markings, 343599164 edges, 85101 markings/sec, 1290 secs
lola: sara not yet started (preprocessing) || 343610071 markings, 343610071 edges, 2187 markings/sec, 1295 secs
lola: sara not yet started (preprocessing) || 343634686 markings, 343634685 edges, 4923 markings/sec, 1300 secs
lola: sara not yet started (preprocessing) || 343645817 markings, 343645817 edges, 2226 markings/sec, 1305 secs
lola: sara not yet started (preprocessing) || 343653526 markings, 343653526 edges, 1542 markings/sec, 1310 secs
lola: sara not yet started (preprocessing) || 343660844 markings, 343660844 edges, 1464 markings/sec, 1315 secs
lola: sara not yet started (preprocessing) || 343684505 markings, 343684504 edges, 4732 markings/sec, 1320 secs
lola: sara not yet started (preprocessing) || 343700933 markings, 343700933 edges, 3286 markings/sec, 1325 secs
lola: sara not yet started (preprocessing) || 343722641 markings, 343722640 edges, 4342 markings/sec, 1330 secs
lola: sara not yet started (preprocessing) || 343726986 markings, 343726986 edges, 869 markings/sec, 1335 secs
lola: sara not yet started (preprocessing) || 343732627 markings, 343732626 edges, 1128 markings/sec, 1340 secs
lola: sara not yet started (preprocessing) || 343738572 markings, 343738572 edges, 1189 markings/sec, 1345 secs
lola: sara not yet started (preprocessing) || 343760180 markings, 343760179 edges, 4322 markings/sec, 1350 secs
lola: sara not yet started (preprocessing) || 343787343 markings, 343787387 edges, 5433 markings/sec, 1355 secs
lola: sara not yet started (preprocessing) || 343794434 markings, 343794434 edges, 1418 markings/sec, 1360 secs
lola: sara not yet started (preprocessing) || 343835991 markings, 343835991 edges, 8311 markings/sec, 1365 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Referendum-PT-0100-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: yes yes yes yes unknown no yes no no no no yes yes no no yes
lola:
preliminary result: yes yes yes yes unknown no yes no no no no yes yes no no yes
lola: memory consumption: 13672 KB
lola: time consumption: 2754 seconds

BK_STOP 1526995214302

--------------------
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="Referendum-PT-0100"
export BK_EXAMINATION="ReachabilityFireability"
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/Referendum-PT-0100.tgz
mv Referendum-PT-0100 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 Referendum-PT-0100, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r136-qhx2-152673579000294"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;