Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909600243.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
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 r137-smll-155284909600243
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 44K Feb 12 12:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 12 12:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 8 14:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 8 14:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 16K Feb 5 01:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 5 01:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 4 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 4 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Feb 1 11:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 150K Feb 1 11:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 20K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 101K Mar 10 17:31 model.pnml

--------------------
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 1553017084765

info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ Referendum-PT-0100 @ 3570 seconds

FORMULA Referendum-PT-0100-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Referendum-PT-0100-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for ReachabilityFireability @ Referendum-PT-0100
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 502/268435456 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: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityFireability.xml
lola: A (G (((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)) 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)) OR 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(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)))))) : E (F (())) : E (F (((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 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 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)))) : 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(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(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 (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) 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 ((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)))))) : 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)) OR 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)) OR NOT FIREABLE(start_0)) AND (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))))))) : 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) OR 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) OR 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(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(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) OR (NOT FIREABLE(start_0)))))) : E (F (((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)))) : E (F ((FIREABLE(yes_48) AND FIREABLE(yes_8) AND ((NOT FIREABLE(yes_63) AND NOT FIREABLE(no_64)) OR (NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_48)))))) : A (G ((NOT FIREABLE(no_48) OR NOT FIREABLE(no_32) OR FIREABLE(yes_19) OR NOT FIREABLE(yes_94) OR FIREABLE(no_37) OR FIREABLE(yes_79)))) : A (G ((NOT FIREABLE(no_94) OR FIREABLE(no_79) OR FIREABLE(yes_22) OR FIREABLE(yes_40)))) : E (F ((NOT FIREABLE(no_48) AND NOT FIREABLE(no_9) AND FIREABLE(no_64) AND FIREABLE(yes_93)))) : A (G ((FIREABLE(yes_3) OR FIREABLE(no_27) OR NOT FIREABLE(yes_79) OR (FIREABLE(no_27) AND FIREABLE(yes_20) AND (FIREABLE(yes_17) OR FIREABLE(no_27))) OR (NOT FIREABLE(no_70) AND NOT FIREABLE(no_39))))) : A (G ((NOT FIREABLE(yes_71) OR NOT FIREABLE(no_6) OR FIREABLE(no_71) OR FIREABLE(no_33)))) : A (G (((NOT FIREABLE(yes_78) AND NOT FIREABLE(no_43)) OR FIREABLE(no_27) OR FIREABLE(no_69)))) : E (F (((NOT FIREABLE(no_50) OR NOT FIREABLE(yes_59)) AND FIREABLE(no_16) AND NOT FIREABLE(yes_42))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 3 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(no_94) OR FIREABLE(no_79) OR FIREABLE(yes_22) OR FIREABLE(yes_40))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(no_94) OR FIREABLE(no_79) OR FIREABLE(yes_22) OR FIREABLE(yes_40))))
lola: processed formula length: 91
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(no_94) AND NOT FIREABLE(no_79) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_40))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(no_48) AND NOT FIREABLE(no_9) AND FIREABLE(no_64) AND FIREABLE(yes_93))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((NOT FIREABLE(no_48) AND NOT FIREABLE(no_9) AND FIREABLE(no_64) AND FIREABLE(yes_93))))
lola: processed formula length: 93
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(no_48) AND NOT FIREABLE(no_9) AND FIREABLE(no_64) AND FIREABLE(yes_93))
lola: state equation task get result unparse finished id 0
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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(yes_71) OR NOT FIREABLE(no_6) OR FIREABLE(no_71) OR FIREABLE(no_33))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(yes_71) OR NOT FIREABLE(no_6) OR FIREABLE(no_71) OR FIREABLE(no_33))))
lola: processed formula length: 93
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(yes_71) AND FIREABLE(no_6) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_33))
lola: state equation task get result unparse finished id 0
lola: state equation: State predicate is contradiction.
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(yes_78) AND NOT FIREABLE(no_43)) OR FIREABLE(no_27) OR FIREABLE(no_69))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((NOT FIREABLE(yes_78) AND NOT FIREABLE(no_43)) OR FIREABLE(no_27) OR FIREABLE(no_69))))
lola: processed formula length: 96
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((FIREABLE(yes_78) OR FIREABLE(no_43)) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_69))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(no_50) OR NOT FIREABLE(yes_59)) AND FIREABLE(no_16) AND NOT FIREABLE(yes_42))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((NOT FIREABLE(no_50) OR NOT FIREABLE(yes_59)) AND FIREABLE(no_16) AND NOT FIREABLE(yes_42))))
lola: processed formula length: 101
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((NOT FIREABLE(no_50) OR NOT FIREABLE(yes_59)) AND FIREABLE(no_16) AND NOT FIREABLE(yes_42))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(yes_48) AND FIREABLE(yes_8) AND ((NOT FIREABLE(yes_63) AND NOT FIREABLE(no_64)) OR (NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_48))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((FIREABLE(yes_48) AND FIREABLE(yes_8) AND ((NOT FIREABLE(yes_63) AND NOT FIREABLE(no_64)) OR (NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_48))))))
lola: processed formula length: 151
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(yes_48) AND FIREABLE(yes_8) AND ((NOT FIREABLE(yes_63) AND NOT FIREABLE(no_64)) OR (NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_48))))
lola: state equation task get result unparse finished id 0
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: 8 markings, 7 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(no_48) OR NOT FIREABLE(no_32) OR FIREABLE(yes_19) OR NOT FIREABLE(yes_94) OR FIREABLE(no_37) OR FIREABLE(yes_79))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(no_48) OR NOT FIREABLE(no_32) OR FIREABLE(yes_19) OR NOT FIREABLE(yes_94) OR FIREABLE(no_37) OR FIREABLE(yes_79))))
lola: processed formula length: 140
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(no_48) AND FIREABLE(no_32) AND NOT FIREABLE(yes_19) AND FIREABLE(yes_94) AND NOT FIREABLE(no_37) AND NOT FIREABLE(yes_79))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(yes_3) OR FIREABLE(no_27) OR NOT FIREABLE(yes_79) OR (FIREABLE(no_27) AND FIREABLE(yes_20) AND (FIREABLE(yes_17) OR FIREABLE(no_27))) OR (NOT FIREABLE(no_70) AND NOT FIREABLE(no_39)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(yes_3) OR FIREABLE(no_27) OR NOT FIREABLE(yes_79) OR (FIREABLE(no_27) AND FIREABLE(yes_20) AND (FIREABLE(yes_17) OR FIREABLE(no_27))) OR (NOT FIREABLE(no_70) AND NOT FIREABLE(no_39)))))
lola: processed formula length: 206
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(yes_3) AND NOT FIREABLE(no_27) AND FIREABLE(yes_79) AND (NOT FIREABLE(no_27) OR NOT FIREABLE(yes_20) OR (NOT FIREABLE(yes_17) AND NOT FIREABLE(no_27))) AND (FIREABLE(no_70) OR FIREABLE(no_39)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 32 literals and 6 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((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 FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((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 FI... (shortened)
lola: processed formula length: 2019
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((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))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 2 markings, 1 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 200 literals and 100 conjunctive subformulas
lola: ========================================
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:711
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: 8873
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
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) 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 ((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))))
lola: state equation task get result unparse finished id 0
lola: state equation: State predicate is contradiction.
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 11 will run for 713 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:711
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: 9467
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
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(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(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 (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 task get result unparse finished id 0
lola: state equation: State predicate is contradiction.
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((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 FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((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 FI... (shortened)
lola: processed formula length: 6503
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((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 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 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: state equation task get result unparse finished id 0
lola: state equation: State predicate is contradiction.
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 13 will run for 1188 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 N... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
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 N... (shortened)
lola: processed formula length: 9159
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2 markings, 1 edges
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)) OR 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)) OR NOT FIREABLE(start_0)) AND (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)))))
lola: ========================================
lola: subprocess 14 will run for 1782 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:711
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: 11039
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
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) OR 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) OR 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(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(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) OR (NOT FIREABLE(start_0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 2059158 markings, 2059158 edges, 411832 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 4104934 markings, 4104933 edges, 409155 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 6144404 markings, 6144404 edges, 407894 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 8170721 markings, 8170721 edges, 405263 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 10199783 markings, 10199782 edges, 405812 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 12218543 markings, 12218543 edges, 403752 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 14236700 markings, 14236700 edges, 403631 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 16246924 markings, 16246923 edges, 402045 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 18269934 markings, 18269934 edges, 404602 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 20294578 markings, 20294578 edges, 404929 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 22313105 markings, 22313105 edges, 403705 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 24327448 markings, 24327448 edges, 402869 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 26340993 markings, 26340992 edges, 402709 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 28356705 markings, 28356705 edges, 403142 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 30364009 markings, 30364009 edges, 401461 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 32368123 markings, 32368123 edges, 400823 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 34372899 markings, 34372899 edges, 400955 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 36395389 markings, 36395389 edges, 404498 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 38408117 markings, 38408117 edges, 402546 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 40417578 markings, 40417578 edges, 401892 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 42422536 markings, 42422536 edges, 400992 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 44440197 markings, 44440196 edges, 403532 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 46442228 markings, 46442227 edges, 400406 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 48447336 markings, 48447336 edges, 401022 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 50442426 markings, 50442425 edges, 399018 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 52463696 markings, 52463696 edges, 404254 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 54473780 markings, 54473779 edges, 402017 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 56486272 markings, 56486272 edges, 402498 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 58486387 markings, 58486387 edges, 400023 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 60497389 markings, 60497389 edges, 402200 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 62498278 markings, 62498277 edges, 400178 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 64497250 markings, 64497250 edges, 399794 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 66488228 markings, 66488228 edges, 398196 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 68496864 markings, 68496864 edges, 401727 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 70508078 markings, 70508078 edges, 402243 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 72512732 markings, 72512731 edges, 400931 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 74508428 markings, 74508428 edges, 399139 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 76505672 markings, 76505672 edges, 399449 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 78510380 markings, 78510380 edges, 400942 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 80504230 markings, 80504230 edges, 398770 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 82499863 markings, 82499863 edges, 399127 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 84489900 markings, 84489900 edges, 398007 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 86495428 markings, 86495428 edges, 401106 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 88490434 markings, 88490434 edges, 399001 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 90484182 markings, 90484181 edges, 398750 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 92466594 markings, 92466594 edges, 396482 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 94461717 markings, 94461717 edges, 399025 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 96440507 markings, 96440506 edges, 395758 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 98424906 markings, 98424906 edges, 396880 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 100395705 markings, 100395705 edges, 394160 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 102391856 markings, 102391856 edges, 399230 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 104377865 markings, 104377865 edges, 397202 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 106362949 markings, 106362948 edges, 397017 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 108341925 markings, 108341924 edges, 395795 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 110322823 markings, 110322823 edges, 396180 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 112305775 markings, 112305774 edges, 396590 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 114282111 markings, 114282111 edges, 395267 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 116256991 markings, 116256991 edges, 394976 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 118232629 markings, 118232629 edges, 395128 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 120221454 markings, 120221454 edges, 397765 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 122201971 markings, 122201971 edges, 396103 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 124180984 markings, 124180984 edges, 395803 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 126152082 markings, 126152082 edges, 394220 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 128133090 markings, 128133089 edges, 396202 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 130100408 markings, 130100408 edges, 393464 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 132070953 markings, 132070953 edges, 394109 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 134031101 markings, 134031101 edges, 392030 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 136042847 markings, 136042847 edges, 402349 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 138055948 markings, 138055948 edges, 402620 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 140062484 markings, 140062484 edges, 401307 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 142059060 markings, 142059059 edges, 399315 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 144062809 markings, 144062808 edges, 400750 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 146064245 markings, 146064245 edges, 400287 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 148057524 markings, 148057524 edges, 398656 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 150047412 markings, 150047412 edges, 397978 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 152040919 markings, 152040919 edges, 398701 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 154045578 markings, 154045578 edges, 400932 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 156044257 markings, 156044257 edges, 399736 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 158038780 markings, 158038780 edges, 398905 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 160027496 markings, 160027496 edges, 397743 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 162023907 markings, 162023907 edges, 399282 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 164010493 markings, 164010493 edges, 397317 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 165994884 markings, 165994884 edges, 396878 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 167968757 markings, 167968757 edges, 394775 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 169968992 markings, 169968992 edges, 400047 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 171952815 markings, 171952815 edges, 396765 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 173941243 markings, 173941243 edges, 397686 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 175918393 markings, 175918393 edges, 395430 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 177907410 markings, 177907410 edges, 397803 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 179888778 markings, 179888778 edges, 396274 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 181867800 markings, 181867799 edges, 395804 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 183839708 markings, 183839708 edges, 394382 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 185821866 markings, 185821866 edges, 396432 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 187810009 markings, 187810009 edges, 397629 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 189791836 markings, 189791836 edges, 396365 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 191771173 markings, 191771173 edges, 395867 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 193746044 markings, 193746044 edges, 394974 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 195726266 markings, 195726266 edges, 396044 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 197695931 markings, 197695931 edges, 393933 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 199664146 markings, 199664146 edges, 393643 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 201629217 markings, 201629217 edges, 393014 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 203634090 markings, 203634090 edges, 400975 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 205626863 markings, 205626863 edges, 398555 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 207615520 markings, 207615520 edges, 397731 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 209594456 markings, 209594455 edges, 395787 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 211586806 markings, 211586806 edges, 398470 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 213563881 markings, 213563881 edges, 395415 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 215540654 markings, 215540654 edges, 395355 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 217513304 markings, 217513304 edges, 394530 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 219496074 markings, 219496074 edges, 396554 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 221479456 markings, 221479456 edges, 396676 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 223459224 markings, 223459223 edges, 395954 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 225433909 markings, 225433909 edges, 394937 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 227406176 markings, 227406176 edges, 394453 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 229380636 markings, 229380635 edges, 394892 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 231347829 markings, 231347829 edges, 393439 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 233312250 markings, 233312249 edges, 392884 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 235273749 markings, 235273749 edges, 392300 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 237255925 markings, 237255925 edges, 396435 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 239224764 markings, 239224764 edges, 393768 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 241194112 markings, 241194112 edges, 393870 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 243154129 markings, 243154129 edges, 392003 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 245127345 markings, 245127345 edges, 394643 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 247091364 markings, 247091364 edges, 392804 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 249053264 markings, 249053264 edges, 392380 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 251009129 markings, 251009129 edges, 391173 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 252976341 markings, 252976341 edges, 393442 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 254948348 markings, 254948348 edges, 394401 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 256913441 markings, 256913440 edges, 393019 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 258877708 markings, 258877707 edges, 392853 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 260836498 markings, 260836498 edges, 391758 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 262801009 markings, 262801009 edges, 392902 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 264757832 markings, 264757832 edges, 391365 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 266713301 markings, 266713301 edges, 391094 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 268664715 markings, 268664715 edges, 390283 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 270682130 markings, 270682130 edges, 403483 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 272684136 markings, 272684136 edges, 400401 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 274681553 markings, 274681553 edges, 399483 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 276669886 markings, 276669886 edges, 397667 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 278671412 markings, 278671412 edges, 400305 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 280660479 markings, 280660479 edges, 397813 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 282649338 markings, 282649338 edges, 397772 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 284631037 markings, 284631037 edges, 396340 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 286623351 markings, 286623351 edges, 398463 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 288616717 markings, 288616717 edges, 398673 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 290606457 markings, 290606457 edges, 397948 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 292589998 markings, 292589998 edges, 396708 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 294572433 markings, 294572433 edges, 396487 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 296429342 markings, 296429342 edges, 371382 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 298441503 markings, 298441503 edges, 402432 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 300450217 markings, 300450217 edges, 401743 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 302456502 markings, 302456501 edges, 401257 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 304487194 markings, 304487194 edges, 406138 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 306505000 markings, 306505000 edges, 403561 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 308522180 markings, 308522180 edges, 403436 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 310529244 markings, 310529244 edges, 401413 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 312551935 markings, 312551935 edges, 404538 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 314560289 markings, 314560289 edges, 401671 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 316573797 markings, 316573797 edges, 402702 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 318574405 markings, 318574404 edges, 400122 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 320597663 markings, 320597663 edges, 404652 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 322614292 markings, 322614291 edges, 403326 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 324627167 markings, 324627167 edges, 402575 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 326633470 markings, 326633469 edges, 401261 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 328644832 markings, 328644832 edges, 402272 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 330651966 markings, 330651966 edges, 401427 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 332653980 markings, 332653980 edges, 400403 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 334646453 markings, 334646453 edges, 398495 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 336664090 markings, 336664090 edges, 403527 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 338699743 markings, 338699743 edges, 407131 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 340726780 markings, 340726780 edges, 405407 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 342746198 markings, 342746198 edges, 403884 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 344763846 markings, 344763846 edges, 403530 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 346788044 markings, 346788044 edges, 404840 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 348798416 markings, 348798416 edges, 402074 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 350806690 markings, 350806690 edges, 401655 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 352814198 markings, 352814198 edges, 401502 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 354837574 markings, 354837574 edges, 404675 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 356850960 markings, 356850960 edges, 402677 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 358863958 markings, 358863958 edges, 402600 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 360867053 markings, 360867052 edges, 400619 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 362879579 markings, 362879579 edges, 402505 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 364876447 markings, 364876447 edges, 399374 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 366881233 markings, 366881233 edges, 400957 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 368873015 markings, 368873015 edges, 398356 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 370887989 markings, 370887989 edges, 402995 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 372894385 markings, 372894385 edges, 401279 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 374897613 markings, 374897613 edges, 400646 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 376892761 markings, 376892761 edges, 399030 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 378893703 markings, 378893703 edges, 400188 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 380891779 markings, 380891779 edges, 399615 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 382885848 markings, 382885848 edges, 398814 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 384872745 markings, 384872745 edges, 397379 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 386868325 markings, 386868325 edges, 399116 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 388874338 markings, 388874338 edges, 401203 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 390871470 markings, 390871470 edges, 399426 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 392867710 markings, 392867710 edges, 399248 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 394857727 markings, 394857727 edges, 398003 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 396854864 markings, 396854864 edges, 399427 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 398840982 markings, 398840982 edges, 397224 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 400825401 markings, 400825401 edges, 396884 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 402804114 markings, 402804114 edges, 395743 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 404837317 markings, 404837317 edges, 406641 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 406863902 markings, 406863902 edges, 405317 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 408889240 markings, 408889240 edges, 405068 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 410903489 markings, 410903489 edges, 402850 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 412930444 markings, 412930444 edges, 405391 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 414943861 markings, 414943860 edges, 402683 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 416959315 markings, 416959314 edges, 403091 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 418965901 markings, 418965900 edges, 401317 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 420986159 markings, 420986159 edges, 404052 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 423006175 markings, 423006175 edges, 404003 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 425022604 markings, 425022604 edges, 403286 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 427031273 markings, 427031273 edges, 401734 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 429042566 markings, 429042566 edges, 402259 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 431053015 markings, 431053015 edges, 402090 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 433056017 markings, 433056017 edges, 400600 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 435056463 markings, 435056463 edges, 400089 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 437056569 markings, 437056569 edges, 400021 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 439068156 markings, 439068156 edges, 402317 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 441070189 markings, 441070189 edges, 400407 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 443069103 markings, 443069103 edges, 399783 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 445061742 markings, 445061741 edges, 398528 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 447066141 markings, 447066141 edges, 400880 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 449056564 markings, 449056564 edges, 398085 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 451049913 markings, 451049913 edges, 398670 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 453030710 markings, 453030710 edges, 396159 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 455040092 markings, 455040092 edges, 401876 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 456432506 markings, 456432506 edges, 278483 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 456777236 markings, 456777236 edges, 68946 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 457113176 markings, 457113175 edges, 67188 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 457263760 markings, 457263759 edges, 30117 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 457265229 markings, 457265228 edges, 294 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 457265320 markings, 457265319 edges, 18 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 457265383 markings, 457265383 edges, 13 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 457271580 markings, 457271579 edges, 1239 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 457271722 markings, 457271722 edges, 28 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 457281729 markings, 457281729 edges, 2001 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 457283243 markings, 457283242 edges, 303 markings/sec, 1190 secs
lola: sara not yet started (preprocessing) || 457289357 markings, 457289357 edges, 1223 markings/sec, 1195 secs
lola: sara not yet started (preprocessing) || 457294549 markings, 457294548 edges, 1038 markings/sec, 1200 secs
lola: sara not yet started (preprocessing) || 457298519 markings, 457298519 edges, 794 markings/sec, 1205 secs
lola: sara not yet started (preprocessing) || 457304755 markings, 457304754 edges, 1247 markings/sec, 1210 secs
lola: sara not yet started (preprocessing) || 457311846 markings, 457311845 edges, 1418 markings/sec, 1215 secs
lola: sara not yet started (preprocessing) || 457314789 markings, 457314788 edges, 589 markings/sec, 1220 secs
lola: sara not yet started (preprocessing) || 457323110 markings, 457323110 edges, 1664 markings/sec, 1225 secs
lola: sara not yet started (preprocessing) || 457340956 markings, 457340956 edges, 3569 markings/sec, 1230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((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 NO... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((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 NO... (shortened)
lola: processed formula length: 8997
lola: 5 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
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 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(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))))
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 2036051 markings, 2036051 edges, 407210 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 4162447 markings, 4162446 edges, 425279 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 6280896 markings, 6280896 edges, 423690 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 8387013 markings, 8387013 edges, 421223 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 10500529 markings, 10500529 edges, 422703 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 12593717 markings, 12593717 edges, 418638 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 14693352 markings, 14693352 edges, 419927 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 16778995 markings, 16778995 edges, 417129 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 18890076 markings, 18890076 edges, 422216 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 20989177 markings, 20989177 edges, 419820 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 23092048 markings, 23092048 edges, 420574 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 25178978 markings, 25178978 edges, 417386 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 27280449 markings, 27280449 edges, 420294 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 29365218 markings, 29365218 edges, 416954 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 31454134 markings, 31454134 edges, 417783 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 33528624 markings, 33528624 edges, 414898 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 35633883 markings, 35633883 edges, 421052 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 37727158 markings, 37727158 edges, 418655 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 39819908 markings, 39819908 edges, 418550 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 41900531 markings, 41900531 edges, 416125 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 43996673 markings, 43996673 edges, 419228 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 46079045 markings, 46079044 edges, 416474 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 48163150 markings, 48163150 edges, 416821 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 50234558 markings, 50234558 edges, 414282 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 52332721 markings, 52332721 edges, 419633 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 54421342 markings, 54421342 edges, 417724 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 56512243 markings, 56512243 edges, 418180 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 58590287 markings, 58590287 edges, 415609 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 60681567 markings, 60681567 edges, 418256 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 62758542 markings, 62758542 edges, 415395 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 64836505 markings, 64836505 edges, 415593 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 66901881 markings, 66901881 edges, 413075 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 68995364 markings, 68995364 edges, 418697 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 71080122 markings, 71080122 edges, 416952 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 73162359 markings, 73162359 edges, 416447 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 75229946 markings, 75229946 edges, 413517 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 77315278 markings, 77315278 edges, 417066 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 79387386 markings, 79387386 edges, 414422 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 81459780 markings, 81459780 edges, 414479 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 83524869 markings, 83524869 edges, 413018 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 85604959 markings, 85604959 edges, 416018 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 87679577 markings, 87679577 edges, 414924 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 89752384 markings, 89752384 edges, 414561 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 91815246 markings, 91815246 edges, 412572 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 93883221 markings, 93883221 edges, 413595 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 95944480 markings, 95944480 edges, 412252 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 98002776 markings, 98002776 edges, 411659 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 100052897 markings, 100052897 edges, 410024 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 102117413 markings, 102117412 edges, 412903 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 104181261 markings, 104181261 edges, 412770 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 106240013 markings, 106240013 edges, 411750 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 108292652 markings, 108292652 edges, 410528 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 110347652 markings, 110347652 edges, 411000 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 112403923 markings, 112403923 edges, 411254 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 114454966 markings, 114454966 edges, 410209 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 116499654 markings, 116499654 edges, 408938 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 118553399 markings, 118553399 edges, 410749 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 120611989 markings, 120611988 edges, 411718 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 122659439 markings, 122659439 edges, 409490 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 124709994 markings, 124709994 edges, 410111 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 126755123 markings, 126755123 edges, 409026 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 128790039 markings, 128790039 edges, 406983 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 130834778 markings, 130834778 edges, 408948 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 132875203 markings, 132875203 edges, 408085 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 134928608 markings, 134928608 edges, 410681 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 137021611 markings, 137021611 edges, 418601 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 139106731 markings, 139106731 edges, 417024 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 141186290 markings, 141186290 edges, 415912 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 143192338 markings, 143192338 edges, 401210 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 145052457 markings, 145052457 edges, 372024 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 147095361 markings, 147095361 edges, 408581 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 149165527 markings, 149165527 edges, 414033 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 151226270 markings, 151226269 edges, 412149 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 153311779 markings, 153311778 edges, 417102 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 155385917 markings, 155385917 edges, 414828 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 157463316 markings, 157463316 edges, 415480 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 159527081 markings, 159527081 edges, 412753 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 161603814 markings, 161603814 edges, 415347 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 163665022 markings, 163665021 edges, 412242 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 165727615 markings, 165727615 edges, 412519 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 167776447 markings, 167776447 edges, 409766 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 169852889 markings, 169852888 edges, 415288 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 171916070 markings, 171916070 edges, 412636 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 173978961 markings, 173978961 edges, 412578 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 176029271 markings, 176029271 edges, 410062 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 178094278 markings, 178094278 edges, 413001 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 180148120 markings, 180148120 edges, 410768 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 182200980 markings, 182200980 edges, 410572 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 184244213 markings, 184244213 edges, 408647 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 186309309 markings, 186309309 edges, 413019 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 188368806 markings, 188368806 edges, 411899 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 190427426 markings, 190427426 edges, 411724 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 192476660 markings, 192476660 edges, 409847 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 194531157 markings, 194531157 edges, 410899 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 196579289 markings, 196579288 edges, 409626 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 198625452 markings, 198625451 edges, 409233 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 200662764 markings, 200662764 edges, 407462 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 202728187 markings, 202728187 edges, 413085 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 204804324 markings, 204804324 edges, 415227 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 206872438 markings, 206872437 edges, 413623 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 208929726 markings, 208929726 edges, 411458 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 210990773 markings, 210990773 edges, 412209 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 213050750 markings, 213050750 edges, 411995 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 215100445 markings, 215100445 edges, 409939 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 217149624 markings, 217149624 edges, 409836 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 219204298 markings, 219204297 edges, 410935 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 221264943 markings, 221264943 edges, 412129 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 223320911 markings, 223320911 edges, 411194 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 225372809 markings, 225372809 edges, 410380 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 227419532 markings, 227419532 edges, 409345 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 229469203 markings, 229469203 edges, 409934 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 231511508 markings, 231511508 edges, 408461 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 233550777 markings, 233550777 edges, 407854 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 235591438 markings, 235591438 edges, 408132 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 237648108 markings, 237648107 edges, 411334 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 239694479 markings, 239694479 edges, 409274 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 241736264 markings, 241736264 edges, 408357 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 243772196 markings, 243772196 edges, 407186 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 245820174 markings, 245820174 edges, 409596 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 247855468 markings, 247855467 edges, 407059 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 249890508 markings, 249890508 edges, 407008 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 251917224 markings, 251917224 edges, 405343 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 253970158 markings, 253970158 edges, 410587 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 256009845 markings, 256009845 edges, 407937 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 258051807 markings, 258051807 edges, 408392 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 260080883 markings, 260080883 edges, 405815 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 262122903 markings, 262122902 edges, 408404 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 264152273 markings, 264152273 edges, 405874 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 266183018 markings, 266183017 edges, 406149 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 268201225 markings, 268201225 edges, 403641 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 270286809 markings, 270286809 edges, 417117 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 272367626 markings, 272367626 edges, 416163 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 274442899 markings, 274442899 edges, 415055 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 276506352 markings, 276506352 edges, 412691 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 278581078 markings, 278581078 edges, 414945 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 280644180 markings, 280644180 edges, 412620 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 282707142 markings, 282707142 edges, 412592 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 284761451 markings, 284761451 edges, 410862 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 286830151 markings, 286830151 edges, 413740 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 288896835 markings, 288896835 edges, 413337 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 290961564 markings, 290961564 edges, 412946 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 293018636 markings, 293018636 edges, 411414 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 295080799 markings, 295080798 edges, 412433 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 297138561 markings, 297138561 edges, 411552 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 299190902 markings, 299190902 edges, 410468 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 301235939 markings, 301235938 edges, 409007 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 303294666 markings, 303294666 edges, 411745 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 305361648 markings, 305361648 edges, 413396 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 307421843 markings, 307421842 edges, 412039 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 309475770 markings, 309475770 edges, 410785 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 311530512 markings, 311530512 edges, 410948 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 313585363 markings, 313585363 edges, 410970 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 315634994 markings, 315634994 edges, 409926 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 317681124 markings, 317681124 edges, 409226 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 319731926 markings, 319731926 edges, 410160 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 321793332 markings, 321793332 edges, 412281 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 323846403 markings, 323846402 edges, 410614 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 325895831 markings, 325895831 edges, 409886 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 327942238 markings, 327942238 edges, 409281 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 329995061 markings, 329995061 edges, 410565 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 332037507 markings, 332037507 edges, 408489 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 334075608 markings, 334075608 edges, 407620 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 336119297 markings, 336119297 edges, 408738 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 338198215 markings, 338198215 edges, 415784 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 340265753 markings, 340265753 edges, 413508 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 342327634 markings, 342327634 edges, 412376 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 344382175 markings, 344382175 edges, 410908 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 346449182 markings, 346449182 edges, 413401 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 348499281 markings, 348499281 edges, 410020 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 350550999 markings, 350550999 edges, 410344 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 352596586 markings, 352596586 edges, 409117 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 354662928 markings, 354662928 edges, 413268 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 356716198 markings, 356716198 edges, 410654 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 358772219 markings, 358772219 edges, 411204 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 360814707 markings, 360814706 edges, 408498 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 362868766 markings, 362868766 edges, 410812 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 364903494 markings, 364903494 edges, 406946 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 366948350 markings, 366948350 edges, 408971 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 368978956 markings, 368978956 edges, 406121 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 371036388 markings, 371036388 edges, 411486 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 373082290 markings, 373082289 edges, 409180 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 375127593 markings, 375127592 edges, 409061 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 377160609 markings, 377160609 edges, 406603 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 379204673 markings, 379204673 edges, 408813 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 381240487 markings, 381240486 edges, 407163 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 383274651 markings, 383274651 edges, 406833 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 385299556 markings, 385299556 edges, 404981 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 387340578 markings, 387340578 edges, 408204 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 389382196 markings, 389382196 edges, 408324 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 391421130 markings, 391421130 edges, 407787 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 393452967 markings, 393452967 edges, 406367 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 395486082 markings, 395486082 edges, 406623 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 397518737 markings, 397518737 edges, 406531 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 399544122 markings, 399544122 edges, 405077 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 401565050 markings, 401565050 edges, 404186 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 403605559 markings, 403605559 edges, 408102 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 405678989 markings, 405678988 edges, 414686 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 407746737 markings, 407746737 edges, 413550 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 409806503 markings, 409806503 edges, 411953 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 411863593 markings, 411863593 edges, 411418 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 413927202 markings, 413927202 edges, 412722 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 415979203 markings, 415979203 edges, 410400 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 418031262 markings, 418031262 edges, 410412 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 420081456 markings, 420081456 edges, 410039 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 422146705 markings, 422146705 edges, 413050 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 424203487 markings, 424203487 edges, 411356 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 426257487 markings, 426257487 edges, 410800 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 428304580 markings, 428304580 edges, 409419 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 430361492 markings, 430361492 edges, 411382 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 432406277 markings, 432406277 edges, 408957 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 434449053 markings, 434449052 edges, 408555 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 436482071 markings, 436482070 edges, 406604 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 438537022 markings, 438537021 edges, 410990 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 440578040 markings, 440578040 edges, 408204 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 442619393 markings, 442619393 edges, 408271 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 444648978 markings, 444648978 edges, 405917 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 446693976 markings, 446693976 edges, 409000 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 448726286 markings, 448726286 edges, 406462 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 450760675 markings, 450760675 edges, 406878 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 452782984 markings, 452782984 edges, 404462 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 454829005 markings, 454829005 edges, 409204 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 456402485 markings, 456402485 edges, 314696 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 456753009 markings, 456753009 edges, 70105 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 457101718 markings, 457101727 edges, 69742 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 457256815 markings, 457256815 edges, 31019 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 457256898 markings, 457256898 edges, 17 markings/sec, 1125 secs
lola: Child process aborted or communication problem between parent and child process
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:711
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: 11039
lola: 4 rewrites
lola: closed formula file ReachabilityFireability.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
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) OR 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) OR 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(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(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) OR (NOT FIREABLE(start_0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 1970027 markings, 1970027 edges, 394005 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 4067959 markings, 4067959 edges, 419586 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 6157419 markings, 6157419 edges, 417892 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 8234691 markings, 8234691 edges, 415454 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 10316575 markings, 10316575 edges, 416377 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 12384032 markings, 12384032 edges, 413491 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 14454486 markings, 14454486 edges, 414091 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 16512825 markings, 16512825 edges, 411668 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 18591402 markings, 18591402 edges, 415715 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 20664021 markings, 20664020 edges, 414524 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 22737670 markings, 22737670 edges, 414730 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 24799396 markings, 24799396 edges, 412345 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 26869646 markings, 26869646 edges, 414050 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 28928947 markings, 28928947 edges, 411860 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 30988479 markings, 30988479 edges, 411906 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 33035850 markings, 33035850 edges, 409474 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 35103928 markings, 35103928 edges, 413616 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 37172563 markings, 37172563 edges, 413727 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 39235629 markings, 39235629 edges, 412613 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 41291906 markings, 41291905 edges, 411255 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 43353565 markings, 43353565 edges, 412332 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 45416498 markings, 45416497 edges, 412587 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 47473105 markings, 47473105 edges, 411321 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 49521875 markings, 49521874 edges, 409754 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 51580897 markings, 51580897 edges, 411804 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 53645356 markings, 53645356 edges, 412892 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 55704270 markings, 55704270 edges, 411783 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 57759256 markings, 57759256 edges, 410997 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 59812242 markings, 59812241 edges, 410597 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 61866767 markings, 61866767 edges, 410905 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 63914581 markings, 63914581 edges, 409563 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 65958649 markings, 65958649 edges, 408814 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 68008319 markings, 68008319 edges, 409934 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 70072890 markings, 70072890 edges, 412914 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 72127789 markings, 72127789 edges, 410980 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 74175571 markings, 74175571 edges, 409556 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 76219214 markings, 76219214 edges, 408729 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 78276525 markings, 78276525 edges, 411462 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 80319205 markings, 80319204 edges, 408536 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 82362171 markings, 82362171 edges, 408593 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 84402066 markings, 84402066 edges, 407979 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 86458546 markings, 86458546 edges, 411296 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 88504204 markings, 88504203 edges, 409132 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 90548514 markings, 90548514 edges, 408862 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 92583030 markings, 92583030 edges, 406903 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 94627782 markings, 94627782 edges, 408950 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 96658258 markings, 96658258 edges, 406095 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 98689467 markings, 98689467 edges, 406242 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 100708290 markings, 100708290 edges, 403765 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 102758457 markings, 102758457 edges, 410033 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 104791449 markings, 104791449 edges, 406598 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 106830321 markings, 106830321 edges, 407774 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 108856244 markings, 108856244 edges, 405185 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 110894590 markings, 110894590 edges, 407669 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 112924577 markings, 112924577 edges, 405997 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 114953092 markings, 114953092 edges, 405703 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 116972291 markings, 116972291 edges, 403840 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 119008682 markings, 119008682 edges, 407278 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 121043666 markings, 121043666 edges, 406997 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 123075921 markings, 123075921 edges, 406451 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 125102982 markings, 125102981 edges, 405412 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 127129575 markings, 127129575 edges, 405319 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 129156590 markings, 129156590 edges, 405403 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 131177356 markings, 131177356 edges, 404153 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 133192962 markings, 133192962 edges, 403121 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 135231867 markings, 135231867 edges, 407781 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 137300483 markings, 137300482 edges, 413723 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 139362435 markings, 139362435 edges, 412390 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 141416376 markings, 141416376 edges, 410788 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 143468395 markings, 143468395 edges, 410404 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 145525896 markings, 145525895 edges, 411500 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 147570939 markings, 147570939 edges, 409009 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 149616925 markings, 149616925 edges, 409197 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 151660705 markings, 151660705 edges, 408756 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 153719799 markings, 153719799 edges, 411819 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 155770585 markings, 155770585 edges, 410157 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 157817925 markings, 157817925 edges, 409468 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 159858702 markings, 159858702 edges, 408155 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 161908216 markings, 161908216 edges, 409903 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 163944821 markings, 163944821 edges, 407321 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 165979916 markings, 165979916 edges, 407019 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 168006295 markings, 168006295 edges, 405276 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 170057262 markings, 170057261 edges, 410193 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 172092417 markings, 172092417 edges, 407031 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 174130777 markings, 174130777 edges, 407672 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 176154300 markings, 176154300 edges, 404705 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 178198088 markings, 178198088 edges, 408758 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 180227221 markings, 180227220 edges, 405827 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 182258362 markings, 182258362 edges, 406228 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 184276438 markings, 184276438 edges, 403615 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 186318742 markings, 186318742 edges, 408461 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 188354236 markings, 188354235 edges, 407099 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 190388045 markings, 190388045 edges, 406762 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 192412706 markings, 192412705 edges, 404932 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 194442652 markings, 194442652 edges, 405989 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 196467036 markings, 196467036 edges, 404877 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 198484933 markings, 198484933 edges, 403579 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 200497167 markings, 200497166 edges, 402447 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 202532876 markings, 202532876 edges, 407142 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 204583829 markings, 204583829 edges, 410191 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 206625039 markings, 206625039 edges, 408242 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 208656218 markings, 208656218 edges, 406236 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 210687138 markings, 210687138 edges, 406184 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 212723182 markings, 212723182 edges, 407209 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 214746639 markings, 214746639 edges, 404691 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 216772349 markings, 216772349 edges, 405142 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 218797934 markings, 218797934 edges, 405117 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 220836532 markings, 220836531 edges, 407720 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 222865268 markings, 222865268 edges, 405747 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 224890616 markings, 224890616 edges, 405070 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 226909557 markings, 226909557 edges, 403788 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 228937621 markings, 228937621 edges, 405613 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 230950963 markings, 230950963 edges, 402668 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 232969396 markings, 232969395 edges, 403687 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 234975431 markings, 234975431 edges, 401207 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 237008856 markings, 237008856 edges, 406685 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 239028865 markings, 239028865 edges, 404002 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 241051686 markings, 241051686 edges, 404564 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 243062215 markings, 243062215 edges, 402106 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 245085075 markings, 245085075 edges, 404572 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 247098674 markings, 247098674 edges, 402720 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 249110299 markings, 249110299 edges, 402325 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 251113200 markings, 251113200 edges, 400580 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 253133174 markings, 253133174 edges, 403995 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 255153041 markings, 255153041 edges, 403973 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 257168979 markings, 257168978 edges, 403188 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 259179961 markings, 259179961 edges, 402196 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 261190417 markings, 261190417 edges, 402091 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 263202005 markings, 263202004 edges, 402318 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 265207437 markings, 265207437 edges, 401086 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 267208124 markings, 267208124 edges, 400137 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 269227716 markings, 269227716 edges, 403918 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 271292536 markings, 271292536 edges, 412964 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 273344870 markings, 273344870 edges, 410467 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 275389965 markings, 275389965 edges, 409019 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 277430057 markings, 277430057 edges, 408018 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 279480284 markings, 279480284 edges, 410045 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 281516545 markings, 281516545 edges, 407252 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 283553894 markings, 283553894 edges, 407470 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 285585012 markings, 285585012 edges, 406224 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 287635224 markings, 287635224 edges, 410042 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 289673544 markings, 289673543 edges, 407664 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 291714625 markings, 291714625 edges, 408216 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 293742231 markings, 293742230 edges, 405521 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 295785203 markings, 295785203 edges, 408594 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 297811474 markings, 297811474 edges, 405254 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 299841516 markings, 299841516 edges, 406008 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 301858712 markings, 301858712 edges, 403439 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 303905933 markings, 303905933 edges, 409444 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 305941742 markings, 305941742 edges, 407162 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 307977513 markings, 307977513 edges, 407154 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 310002926 markings, 310002926 edges, 405083 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 312037809 markings, 312037809 edges, 406977 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 314066362 markings, 314066361 edges, 405711 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 316091622 markings, 316091622 edges, 405052 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 318110465 markings, 318110465 edges, 403769 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 320143456 markings, 320143456 edges, 406598 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 322178676 markings, 322178675 edges, 407044 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 324208186 markings, 324208186 edges, 405902 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 326232245 markings, 326232245 edges, 404812 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 328256104 markings, 328256104 edges, 404772 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 330282347 markings, 330282346 edges, 405249 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 332301914 markings, 332301914 edges, 403913 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 334316511 markings, 334316511 edges, 402919 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 336341698 markings, 336341698 edges, 405037 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 338395237 markings, 338395236 edges, 410708 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 340439657 markings, 340439657 edges, 408884 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 342476389 markings, 342476389 edges, 407346 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 344507866 markings, 344507866 edges, 406295 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 346549353 markings, 346549353 edges, 408297 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 348576204 markings, 348576204 edges, 405370 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 350601299 markings, 350601299 edges, 405019 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 352622725 markings, 352622725 edges, 404285 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 354663926 markings, 354663926 edges, 408240 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 356692523 markings, 356692523 edges, 405719 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 358724016 markings, 358724016 edges, 406299 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 360741342 markings, 360741341 edges, 403465 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 362771302 markings, 362771302 edges, 405992 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 364787441 markings, 364787441 edges, 403228 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 366807368 markings, 366807368 edges, 403985 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 368815328 markings, 368815328 edges, 401592 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 370845251 markings, 370845251 edges, 405985 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 372868071 markings, 372868070 edges, 404564 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 374887854 markings, 374887854 edges, 403957 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 376899515 markings, 376899515 edges, 402332 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 378916133 markings, 378916133 edges, 403324 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 380930759 markings, 380930759 edges, 402925 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 382940656 markings, 382940656 edges, 401979 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 384943164 markings, 384943164 edges, 400502 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 386955572 markings, 386955572 edges, 402482 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 388977019 markings, 388977019 edges, 404289 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 390992194 markings, 390992194 edges, 403035 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 393003150 markings, 393003150 edges, 402191 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 395010132 markings, 395010132 edges, 401396 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 397022071 markings, 397022071 edges, 402388 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 399024051 markings, 399024051 edges, 400396 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 401022487 markings, 401022487 edges, 399687 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 403022558 markings, 403022558 edges, 400014 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 405072841 markings, 405072841 edges, 410057 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 407116141 markings, 407116141 edges, 408660 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 409155096 markings, 409155096 edges, 407791 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 411183930 markings, 411183930 edges, 405767 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 413227531 markings, 413227531 edges, 408720 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 415251534 markings, 415251534 edges, 404801 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 417284115 markings, 417284115 edges, 406516 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 419304603 markings, 419304603 edges, 404098 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 421346540 markings, 421346540 edges, 408387 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 423378483 markings, 423378483 edges, 406389 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 425412269 markings, 425412268 edges, 406757 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 427434310 markings, 427434310 edges, 404408 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 429464931 markings, 429464931 edges, 406124 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 431487519 markings, 431487519 edges, 404518 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 433508691 markings, 433508690 edges, 404234 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 435521377 markings, 435521377 edges, 402537 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 437542112 markings, 437542112 edges, 404147 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 439566294 markings, 439566294 edges, 404836 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 441583460 markings, 441583460 edges, 403433 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 443594952 markings, 443594952 edges, 402298 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 445606471 markings, 445606471 edges, 402304 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 447622297 markings, 447622297 edges, 403165 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 449629849 markings, 449629848 edges, 401510 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 451633698 markings, 451633697 edges, 400770 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 453637173 markings, 453637172 edges, 400695 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 455657733 markings, 455657733 edges, 404112 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 456551144 markings, 456551144 edges, 178682 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 456912766 markings, 456912766 edges, 72324 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 457269041 markings, 457269053 edges, 71255 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 457334610 markings, 457334610 edges, 13114 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 457334718 markings, 457334718 edges, 22 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 457334852 markings, 457334852 edges, 27 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 457340591 markings, 457340590 edges, 1148 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 457345649 markings, 457345649 edges, 1012 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 457349716 markings, 457349715 edges, 813 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 457353496 markings, 457353496 edges, 756 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 457358503 markings, 457358503 edges, 1001 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 457359018 markings, 457359017 edges, 103 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 457359087 markings, 457359086 edges, 14 markings/sec, 1180 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no yes unknown no yes no no yes no yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no yes unknown no yes no no yes no yes no yes
lola:
preliminary result: unknown no no no no yes unknown no yes no no yes no yes no yes
Segmentation fault
rslt: finished

BK_STOP 1553020655642

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

make: [verify] Error 139 (ignored)

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
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 r137-smll-155284909600243"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Referendum-PT-0100.tgz
mv Referendum-PT-0100 execution
cd execution
if [ "ReachabilityFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;