About the Execution of LoLA for QuasiCertifProtocol-PT-28
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15942.600 | 3540122.00 | 3546632.00 | 9365.80 | ? ? ? ? 1 ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is QuasiCertifProtocol-PT-28, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926300281
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-0
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-1
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-10
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-11
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-12
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-13
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-14
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-15
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-2
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-3
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-4
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-5
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-6
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-7
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-8
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494779158715
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ QuasiCertifProtocol-PT-28 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3444/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: finding significant places
lola: 2998 places, 446 transitions, 445 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 591 transition conflict sets
lola: TASK
lola: reading formula from QuasiCertifProtocol-COL-28-UpperBounds.task
lola: MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9_13_14 + n9_13_15 + n9_13_16 + n9_13_17 + n9_13_18 + n9_13_19 + n9_13_20 + n9_13_21 + n9_13_22 + n9_13_23 + n9_13_24 + n9_13_25 + n9_13_26 + n9_13_27 + n9_13_28 + n9_25_10 + n9_25_11 + n9_25_12 + n9_25_13 + n9_25_14 + n9_25_15 + n9_25_16 + n9_25_17 + n9_25_18 + n9_25_19 + n9_25_20 + n9_25_21 + n9_25_22 + n9_25_23 + n9_25_24 + n9_25_25 + n9_25_26 + n9_25_27 + n9_25_28 + n9_1_11 + n9_1_12 + n9_1_13 + n9_1_14 + n9_1_15 + n9_1_16 + n9_1_17 + n9_1_18 + n9_1_19 + n9_1_20 + n9_1_21 + n9_1_22 + n9_1_23 + n9_1_24 + n9_1_25 + n9_1_26 + n9_1_27 + n9_1_28 + n9_18_10 + n9_18_11 + n9_18_12 + n9_18_13 + n9_18_14 + n9_18_15 + n9_18_16 + n9_18_17 + n9_18_18 + n9_18_19 + n9_18_20 + n9_18_21 + n9_18_22 + n9_18_23 + n9_18_24 + n9_18_25 + n9_18_26 + n9_18_27 + n9_18_28 + n9_21_0 + n9_21_1 + n9_21_2 + n9_21_3 + n9_21_4 + n9_21_5 + n9_21_6 + n9_21_7 + n9_21_8 + n9_21_9 + n9_6_11 + n9_6_12 + n9_6_13 + n9_6_14 + n9_6_15 + n9_6_16 + n9_6_17 + n9_6_18 + n9_6_19 + n9_6_20 + n9_6_21 + n9_6_22 + n9_6_23 + n9_6_24 + n9_6_25 + n9_6_26 + n9_6_27 + n9_6_28 + n9_22_0 + n9_22_1 + n9_22_2 + n9_22_3 + n9_22_4 + n9_22_5 + n9_22_6 + n9_22_7 + n9_22_8 + n9_22_9 + n9_12_10 + n9_12_11 + n9_12_12 + n9_12_13 + n9_12_14 + n9_12_15 + n9_12_16 + n9_12_17 + n9_12_18 + n9_12_19 + n9_12_20 + n9_12_21 + n9_12_22 + n9_12_23 + n9_12_24 + n9_12_25 + n9_12_26 + n9_12_27 + n9_12_28 + n9_24_10 + n9_24_11 + n9_24_12 + n9_24_13 + n9_24_14 + n9_24_15 + n9_24_16 + n9_24_17 + n9_24_18 + n9_24_19 + n9_24_20 + n9_24_21 + n9_24_22 + n9_24_23 + n9_24_24 + n9_24_25 + n9_24_26 + n9_24_27 + n9_24_28 + n9_0_10 + n9_0_11 + n9_0_12 + n9_0_13 + n9_0_14 + n9_0_15 + n9_0_16 + n9_0_17 + n9_0_18 + n9_0_19 + n9_0_20 + n9_0_21 + n9_0_22 + n9_0_23 + n9_0_24 + n9_0_25 + n9_0_26 + n9_0_27 + n9_0_28 + n9_23_0 + n9_23_1 + n9_23_2 + n9_23_3 + n9_23_4 + n9_23_5 + n9_23_6 + n9_23_7 + n9_23_8 + n9_23_9 + n9_10_0 + n9_10_1 + n9_10_2 + n9_10_3 + n9_10_4 + n9_10_5 + n9_10_6 + n9_10_7 + n9_10_8 + n9_10_9 + n9_17_10 + n9_17_11 + n9_17_12 + n9_17_13 + n9_17_14 + n9_17_15 + n9_17_16 + n9_17_17 + n9_17_18 + n9_17_19 + n9_17_20 + n9_17_21 + n9_17_22 + n9_17_23 + n9_17_24 + n9_17_25 + n9_17_26 + n9_17_27 + n9_17_28 + n9_24_0 + n9_24_1 + n9_24_2 + n9_24_3 + n9_24_4 + n9_24_5 + n9_0_0 + n9_24_6 + n9_0_1 + n9_24_7 + n9_0_2 + n9_24_8 + n9_0_3 + n9_24_9 + n9_0_4 + n9_0_5 + n9_0_6 + n9_0_7 + n9_0_8 + n9_0_9 + n9_11_0 + n9_11_1 + n9_11_2 + n9_11_3 + n9_11_4 + n9_11_5 + n9_11_6 + n9_11_7 + n9_11_8 + n9_11_9 + n9_5_10 + n9_5_11 + n9_5_12 + n9_5_13 + n9_5_14 + n9_5_15 + n9_5_16 + n9_5_17 + n9_5_18 + n9_5_19 + n9_5_20 + n9_5_21 + n9_5_22 + n9_5_23 + n9_5_24 + n9_5_25 + n9_5_26 + n9_5_27 + n9_5_28 + n9_25_0 + n9_25_1 + n9_25_2 + n9_25_3 + n9_25_4 + n9_25_5 + n9_1_0 + n9_25_6 + n9_1_1 + n9_25_7 + n9_1_2 + n9_25_8 + n9_1_3 + n9_25_9 + n9_1_4 + n9_1_5 + n9_1_6 + n9_1_7 + n9_1_8 + n9_1_9 + n9_12_0 + n9_12_1 + n9_12_2 + n9_12_3 + n9_12_4 + n9_12_5 + n9_12_6 + n9_12_7 + n9_12_8 + n9_12_9 + n9_11_10 + n9_11_11 + n9_11_12 + n9_11_13 + n9_11_14 + n9_11_15 + n9_11_16 + n9_11_17 + n9_11_18 + n9_11_19 + n9_11_20 + n9_11_21 + n9_11_22 + n9_11_23 + n9_11_24 + n9_11_25 + n9_11_26 + n9_11_27 + n9_11_28 + n9_23_10 + n9_23_11 + n9_23_12 + n9_23_13 + n9_23_14 + n9_23_15 + n9_23_16 + n9_23_17 + n9_23_18 + n9_23_19 + n9_23_20 + n9_23_21 + n9_23_22 + n9_23_23 + n9_23_24 + n9_23_25 + n9_23_26 + n9_23_27 + n9_23_28 + n9_20_28 + n9_20_27 + n9_20_26 + n9_20_25 + n9_20_24 + n9_20_23 + n9_20_22 + n9_20_21 + n9_20_20 + n9_20_19 + n9_20_18 + n9_26_0 + n9_26_1 + n9_26_2 + n9_26_3 + n9_26_4 + n9_26_5 + n9_2_0 + n9_26_6 + n9_2_1 + n9_26_7 + n9_2_2 + n9_26_8 + n9_2_3 + n9_26_9 + n9_2_4 + n9_2_5 + n9_2_6 + n9_2_7 + n9_2_8 + n9_2_9 + n9_13_0 + n9_13_1 + n9_13_2 + n9_13_3 + n9_13_4 + n9_13_5 + n9_13_6 + n9_13_7 + n9_13_8 + n9_13_9 + n9_20_17 + n9_20_16 + n9_20_15 + n9_20_14 + n9_20_13 + n9_27_0 + n9_27_1 + n9_27_2 + n9_27_3 + n9_27_4 + n9_27_5 + n9_3_0 + n9_27_6 + n9_3_1 + n9_27_7 + n9_3_2 + n9_27_8 + n9_3_3 + n9_27_9 + n9_3_4 + n9_3_5 + n9_3_6 + n9_3_7 + n9_3_8 + n9_3_9 + n9_20_12 + n9_16_10 + n9_16_11 + n9_16_12 + n9_16_13 + n9_16_14 + n9_16_15 + n9_16_16 + n9_16_17 + n9_16_18 + n9_16_19 + n9_16_20 + n9_16_21 + n9_16_22 + n9_16_23 + n9_16_24 + n9_16_25 + n9_16_26 + n9_16_27 + n9_16_28 + n9_14_0 + n9_14_1 + n9_14_2 + n9_14_3 + n9_14_4 + n9_14_5 + n9_14_6 + n9_14_7 + n9_14_8 + n9_14_9 + n9_28_10 + n9_28_11 + n9_28_12 + n9_28_13 + n9_28_14 + n9_28_15 + n9_28_16 + n9_28_17 + n9_28_18 + n9_28_19 + n9_28_20 + n9_28_21 + n9_28_22 + n9_28_23 + n9_28_24 + n9_28_25 + n9_28_26 + n9_28_27 + n9_28_28 + n9_4_10 + n9_4_11 + n9_4_12 + n9_4_13 + n9_4_14 + n9_4_15 + n9_4_16 + n9_4_17 + n9_4_18 + n9_4_19 + n9_4_20 + n9_4_21 + n9_4_22 + n9_4_23 + n9_4_24 + n9_4_25 + n9_4_26 + n9_4_27 + n9_4_28 + n9_28_0 + n9_28_1 + n9_28_2 + n9_28_3 + n9_28_4 + n9_28_5 + n9_4_0 + n9_28_6 + n9_4_1 + n9_28_7 + n9_4_2 + n9_28_8 + n9_4_3 + n9_28_9 + n9_4_4 + n9_4_5 + n9_4_6 + n9_4_7 + n9_4_8 + n9_4_9 + n9_20_11 + n9_15_0 + n9_15_1 + n9_15_2 + n9_15_3 + n9_15_4 + n9_15_5 + n9_15_6 + n9_15_7 + n9_15_8 + n9_15_9 + n9_7_28 + n9_7_27 + n9_7_26 + n9_7_25 + n9_7_24 + n9_7_23 + n9_7_22 + n9_7_21 + n9_7_20 + n9_7_19 + n9_7_18 + n9_7_17 + n9_7_16 + n9_7_15 + n9_7_14 + n9_7_13 + n9_7_12 + n9_7_11 + n9_9_10 + n9_9_11 + n9_9_12 + n9_9_13 + n9_9_14 + n9_9_15 + n9_9_16 + n9_9_17 + n9_9_18 + n9_9_19 + n9_9_20 + n9_9_21 + n9_9_22 + n9_9_23 + n9_9_24 + n9_9_25 + n9_9_26 + n9_9_27 + n9_9_28 + n9_10_10 + n9_10_11 + n9_10_12 + n9_10_13 + n9_10_14 + n9_10_15 + n9_10_16 + n9_10_17 + n9_10_18 + n9_10_19 + n9_10_20 + n9_10_21 + n9_10_22 + n9_10_23 + n9_10_24 + n9_10_25 + n9_10_26 + n9_10_27 + n9_10_28 + n9_22_10 + n9_22_11 + n9_22_12 + n9_22_13 + n9_22_14 + n9_22_15 + n9_22_16 + n9_22_17 + n9_22_18 + n9_22_19 + n9_22_20 + n9_22_21 + n9_22_22 + n9_22_23 + n9_22_24 + n9_22_25 + n9_22_26 + n9_22_27 + n9_22_28 + n9_5_0 + n9_5_1 + n9_5_2 + n9_5_3 + n9_5_4 + n9_5_5 + n9_5_6 + n9_5_7 + n9_5_8 + n9_5_9 + n9_16_0 + n9_16_1 + n9_16_2 + n9_16_3 + n9_16_4 + n9_16_5 + n9_16_6 + n9_16_7 + n9_16_8 + n9_16_9 + n9_6_0 + n9_6_1 + n9_6_2 + n9_6_3 + n9_6_4 + n9_6_5 + n9_6_6 + n9_6_7 + n9_6_8 + n9_6_9 + n9_17_0 + n9_17_1 + n9_17_2 + n9_17_3 + n9_17_4 + n9_17_5 + n9_17_6 + n9_17_7 + n9_17_8 + n9_17_9 + n9_15_10 + n9_15_11 + n9_15_12 + n9_15_13 + n9_15_14 + n9_15_15 + n9_15_16 + n9_15_17 + n9_15_18 + n9_15_19 + n9_15_20 + n9_15_21 + n9_15_22 + n9_15_23 + n9_15_24 + n9_15_25 + n9_15_26 + n9_15_27 + n9_15_28 + n9_27_10 + n9_27_11 + n9_27_12 + n9_27_13 + n9_27_14 + n9_27_15 + n9_27_16 + n9_27_17 + n9_27_18 + n9_27_19 + n9_27_20 + n9_27_21 + n9_27_22 + n9_27_23 + n9_27_24 + n9_27_25 + n9_27_26 + n9_27_27 + n9_27_28 + n9_3_10 + n9_3_11 + n9_3_12 + n9_3_13 + n9_3_14 + n9_3_15 + n9_3_16 + n9_3_17 + n9_3_18 + n9_3_19 + n9_3_20 + n9_3_21 + n9_3_22 + n9_3_23 + n9_3_24 + n9_3_25 + n9_3_26 + n9_3_27 + n9_3_28 + n9_7_0 + n9_7_1 + n9_7_2 + n9_7_3 + n9_7_4 + n9_7_5 + n9_7_6 + n9_7_7 + n9_7_8 + n9_7_9 + n9_18_0 + n9_18_1 + n9_18_2 + n9_18_3 + n9_18_4 + n9_18_5 + n9_18_6 + n9_18_7 + n9_18_8 + n9_18_9 + n9_8_10 + n9_8_11 + n9_8_12 + n9_8_13 + n9_8_14 + n9_8_15 + n9_8_16 + n9_8_17 + n9_8_18 + n9_8_19 + n9_8_20 + n9_8_21 + n9_8_22 + n9_8_23 + n9_8_24 + n9_8_25 + n9_8_26 + n9_8_27 + n9_8_28 + n9_21_10 + n9_21_11 + n9_21_12 + n9_21_13 + n9_21_14 + n9_21_15 + n9_21_16 + n9_21_17 + n9_21_18 + n9_21_19 + n9_21_20 + n9_21_21 + n9_21_22 + n9_21_23 + n9_21_24 + n9_21_25 + n9_21_26 + n9_21_27 + n9_21_28 + n9_8_0 + n9_8_1 + n9_8_2 + n9_8_3 + n9_8_4 + n9_8_5 + n9_8_6 + n9_8_7 + n9_8_8 + n9_8_9 + n9_19_0 + n9_19_1 + n9_19_2 + n9_19_3 + n9_19_4 + n9_19_5 + n9_19_6 + n9_19_7 + n9_19_8 + n9_19_9 + n9_9_0 + n9_9_1 + n9_9_2 + n9_9_3 + n9_9_4 + n9_9_5 + n9_9_6 + n9_9_7 + n9_9_8 + n9_9_9 + n9_14_10 + n9_14_11 + n9_14_12 + n9_14_13 + n9_14_14 + n9_14_15 + n9_14_16 + n9_14_17 + n9_14_18 + n9_14_19 + n9_14_20 + n9_14_21 + n9_14_22 + n9_14_23 + n9_14_24 + n9_14_25 + n9_14_26 + n9_14_27 + n9_14_28 + n9_26_10 + n9_26_11 + n9_26_12 + n9_26_13 + n9_26_14 + n9_26_15 + n9_26_16 + n9_26_17 + n9_26_18 + n9_26_19 + n9_26_20 + n9_26_21 + n9_26_22 + n9_26_23 + n9_26_24 + n9_26_25 + n9_26_26 + n9_26_27 + n9_26_28 + n9_2_10 + n9_2_11 + n9_2_12 + n9_2_13 + n9_2_14 + n9_2_15 + n9_2_16 + n9_2_17 + n9_2_18 + n9_2_19 + n9_2_20 + n9_2_21 + n9_2_22 + n9_2_23 + n9_2_24 + n9_2_25 + n9_2_26 + n9_2_27 + n9_2_28) : MAX(n6_28 + n6_27 + n6_26 + n6_25 + n6_24 + n6_23 + n6_22 + n6_21 + n6_20 + n6_19 + n6_18 + n6_17 + n6_16 + n6_15 + n6_14 + n6_13 + n6_12 + n6_11 + n6_10 + n6_0 + n6_1 + n6_2 + n6_3 + n6_4 + n6_5 + n6_6 + n6_7 + n6_8 + n6_9) : MAX(a4) : MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9_13_14 + n9_13_15 + n9_13_16 + n9_13_17 + n9_13_18 + n9_13_19 + n9_13_20 + n9_13_21 + n9_13_22 + n9_13_23 + n9_13_24 + n9_13_25 + n9_13_26 + n9_13_27 + n9_13_28 + n9_25_10 + n9_25_11 + n9_25_12 + n9_25_13 + n9_25_14 + n9_25_15 + n9_25_16 + n9_25_17 + n9_25_18 + n9_25_19 + n9_25_20 + n9_25_21 + n9_25_22 + n9_25_23 + n9_25_24 + n9_25_25 + n9_25_26 + n9_25_27 + n9_25_28 + n9_1_11 + n9_1_12 + n9_1_13 + n9_1_14 + n9_1_15 + n9_1_16 + n9_1_17 + n9_1_18 + n9_1_19 + n9_1_20 + n9_1_21 + n9_1_22 + n9_1_23 + n9_1_24 + n9_1_25 + n9_1_26 + n9_1_27 + n9_1_28 + n9_18_10 + n9_18_11 + n9_18_12 + n9_18_13 + n9_18_14 + n9_18_15 + n9_18_16 + n9_18_17 + n9_18_18 + n9_18_19 + n9_18_20 + n9_18_21 + n9_18_22 + n9_18_23 + n9_18_24 + n9_18_25 + n9_18_26 + n9_18_27 + n9_18_28 + n9_21_0 + n9_21_1 + n9_21_2 + n9_21_3 + n9_21_4 + n9_21_5 + n9_21_6 + n9_21_7 + n9_21_8 + n9_21_9 + n9_6_11 + n9_6_12 + n9_6_13 + n9_6_14 + n9_6_15 + n9_6_16 + n9_6_17 + n9_6_18 + n9_6_19 + n9_6_20 + n9_6_21 + n9_6_22 + n9_6_23 + n9_6_24 + n9_6_25 + n9_6_26 + n9_6_27 + n9_6_28 + n9_22_0 + n9_22_1 + n9_22_2 + n9_22_3 + n9_22_4 + n9_22_5 + n9_22_6 + n9_22_7 + n9_22_8 + n9_22_9 + n9_12_10 + n9_12_11 + n9_12_12 + n9_12_13 + n9_12_14 + n9_12_15 + n9_12_16 + n9_12_17 + n9_12_18 + n9_12_19 + n9_12_20 + n9_12_21 + n9_12_22 + n9_12_23 + n9_12_24 + n9_12_25 + n9_12_26 + n9_12_27 + n9_12_28 + n9_24_10 + n9_24_11 + n9_24_12 + n9_24_13 + n9_24_14 + n9_24_15 + n9_24_16 + n9_24_17 + n9_24_18 + n9_24_19 + n9_24_20 + n9_24_21 + n9_24_22 + n9_24_23 + n9_24_24 + n9_24_25 + n9_24_26 + n9_24_27 + n9_24_28 + n9_0_10 + n9_0_11 + n9_0_12 + n9_0_13 + n9_0_14 + n9_0_15 + n9_0_16 + n9_0_17 + n9_0_18 + n9_0_19 + n9_0_20 + n9_0_21 + n9_0_22 + n9_0_23 + n9_0_24 + n9_0_25 + n9_0_26 + n9_0_27 + n9_0_28 + n9_23_0 + n9_23_1 + n9_23_2 + n9_23_3 + n9_23_4 + n9_23_5 + n9_23_6 + n9_23_7 + n9_23_8 + n9_23_9 + n9_10_0 + n9_10_1 + n9_10_2 + n9_10_3 + n9_10_4 + n9_10_5 + n9_10_6 + n9_10_7 + n9_10_8 + n9_10_9 + n9_17_10 + n9_17_11 + n9_17_12 + n9_17_13 + n9_17_14 + n9_17_15 + n9_17_16 + n9_17_17 + n9_17_18 + n9_17_19 + n9_17_20 + n9_17_21 + n9_17_22 + n9_17_23 + n9_17_24 + n9_17_25 + n9_17_26 + n9_17_27 + n9_17_28 + n9_24_0 + n9_24_1 + n9_24_2 + n9_24_3 + n9_24_4 + n9_24_5 + n9_0_0 + n9_24_6 + n9_0_1 + n9_24_7 + n9_0_2 + n9_24_8 + n9_0_3 + n9_24_9 + n9_0_4 + n9_0_5 + n9_0_6 + n9_0_7 + n9_0_8 + n9_0_9 + n9_11_0 + n9_11_1 + n9_11_2 + n9_11_3 + n9_11_4 + n9_11_5 + n9_11_6 + n9_11_7 + n9_11_8 + n9_11_9 + n9_5_10 + n9_5_11 + n9_5_12 + n9_5_13 + n9_5_14 + n9_5_15 + n9_5_16 + n9_5_17 + n9_5_18 + n9_5_19 + n9_5_20 + n9_5_21 + n9_5_22 + n9_5_23 + n9_5_24 + n9_5_25 + n9_5_26 + n9_5_27 + n9_5_28 + n9_25_0 + n9_25_1 + n9_25_2 + n9_25_3 + n9_25_4 + n9_25_5 + n9_1_0 + n9_25_6 + n9_1_1 + n9_25_7 + n9_1_2 + n9_25_8 + n9_1_3 + n9_25_9 + n9_1_4 + n9_1_5 + n9_1_6 + n9_1_7 + n9_1_8 + n9_1_9 + n9_12_0 + n9_12_1 + n9_12_2 + n9_12_3 + n9_12_4 + n9_12_5 + n9_12_6 + n9_12_7 + n9_12_8 + n9_12_9 + n9_11_10 + n9_11_11 + n9_11_12 + n9_11_13 + n9_11_14 + n9_11_15 + n9_11_16 + n9_11_17 + n9_11_18 + n9_11_19 + n9_11_20 + n9_11_21 + n9_11_22 + n9_11_23 + n9_11_24 + n9_11_25 + n9_11_26 + n9_11_27 + n9_11_28 + n9_23_10 + n9_23_11 + n9_23_12 + n9_23_13 + n9_23_14 + n9_23_15 + n9_23_16 + n9_23_17 + n9_23_18 + n9_23_19 + n9_23_20 + n9_23_21 + n9_23_22 + n9_23_23 + n9_23_24 + n9_23_25 + n9_23_26 + n9_23_27 + n9_23_28 + n9_20_28 + n9_20_27 + n9_20_26 + n9_20_25 + n9_20_24 + n9_20_23 + n9_20_22 + n9_20_21 + n9_20_20 + n9_20_19 + n9_20_18 + n9_26_0 + n9_26_1 + n9_26_2 + n9_26_3 + n9_26_4 + n9_26_5 + n9_2_0 + n9_26_6 + n9_2_1 + n9_26_7 + n9_2_2 + n9_26_8 + n9_2_3 + n9_26_9 + n9_2_4 + n9_2_5 + n9_2_6 + n9_2_7 + n9_2_8 + n9_2_9 + n9_13_0 + n9_13_1 + n9_13_2 + n9_13_3 + n9_13_4 + n9_13_5 + n9_13_6 + n9_13_7 + n9_13_8 + n9_13_9 + n9_20_17 + n9_20_16 + n9_20_15 + n9_20_14 + n9_20_13 + n9_27_0 + n9_27_1 + n9_27_2 + n9_27_3 + n9_27_4 + n9_27_5 + n9_3_0 + n9_27_6 + n9_3_1 + n9_27_7 + n9_3_2 + n9_27_8 + n9_3_3 + n9_27_9 + n9_3_4 + n9_3_5 + n9_3_6 + n9_3_7 + n9_3_8 + n9_3_9 + n9_20_12 + n9_16_10 + n9_16_11 + n9_16_12 + n9_16_13 + n9_16_14 + n9_16_15 + n9_16_16 + n9_16_17 + n9_16_18 + n9_16_19 + n9_16_20 + n9_16_21 + n9_16_22 + n9_16_23 + n9_16_24 + n9_16_25 + n9_16_26 + n9_16_27 + n9_16_28 + n9_14_0 + n9_14_1 + n9_14_2 + n9_14_3 + n9_14_4 + n9_14_5 + n9_14_6 + n9_14_7 + n9_14_8 + n9_14_9 + n9_28_10 + n9_28_11 + n9_28_12 + n9_28_13 + n9_28_14 + n9_28_15 + n9_28_16 + n9_28_17 + n9_28_18 + n9_28_19 + n9_28_20 + n9_28_21 + n9_28_22 + n9_28_23 + n9_28_24 + n9_28_25 + n9_28_26 + n9_28_27 + n9_28_28 + n9_4_10 + n9_4_11 + n9_4_12 + n9_4_13 + n9_4_14 + n9_4_15 + n9_4_16 + n9_4_17 + n9_4_18 + n9_4_19 + n9_4_20 + n9_4_21 + n9_4_22 + n9_4_23 + n9_4_24 + n9_4_25 + n9_4_26 + n9_4_27 + n9_4_28 + n9_28_0 + n9_28_1 + n9_28_2 + n9_28_3 + n9_28_4 + n9_28_5 + n9_4_0 + n9_28_6 + n9_4_1 + n9_28_7 + n9_4_2 + n9_28_8 + n9_4_3 + n9_28_9 + n9_4_4 + n9_4_5 + n9_4_6 + n9_4_7 + n9_4_8 + n9_4_9 + n9_20_11 + n9_15_0 + n9_15_1 + n9_15_2 + n9_15_3 + n9_15_4 + n9_15_5 + n9_15_6 + n9_15_7 + n9_15_8 + n9_15_9 + n9_7_28 + n9_7_27 + n9_7_26 + n9_7_25 + n9_7_24 + n9_7_23 + n9_7_22 + n9_7_21 + n9_7_20 + n9_7_19 + n9_7_18 + n9_7_17 + n9_7_16 + n9_7_15 + n9_7_14 + n9_7_13 + n9_7_12 + n9_7_11 + n9_9_10 + n9_9_11 + n9_9_12 + n9_9_13 + n9_9_14 + n9_9_15 + n9_9_16 + n9_9_17 + n9_9_18 + n9_9_19 + n9_9_20 + n9_9_21 + n9_9_22 + n9_9_23 + n9_9_24 + n9_9_25 + n9_9_26 + n9_9_27 + n9_9_28 + n9_10_10 + n9_10_11 + n9_10_12 + n9_10_13 + n9_10_14 + n9_10_15 + n9_10_16 + n9_10_17 + n9_10_18 + n9_10_19 + n9_10_20 + n9_10_21 + n9_10_22 + n9_10_23 + n9_10_24 + n9_10_25 + n9_10_26 + n9_10_27 + n9_10_28 + n9_22_10 + n9_22_11 + n9_22_12 + n9_22_13 + n9_22_14 + n9_22_15 + n9_22_16 + n9_22_17 + n9_22_18 + n9_22_19 + n9_22_20 + n9_22_21 + n9_22_22 + n9_22_23 + n9_22_24 + n9_22_25 + n9_22_26 + n9_22_27 + n9_22_28 + n9_5_0 + n9_5_1 + n9_5_2 + n9_5_3 + n9_5_4 + n9_5_5 + n9_5_6 + n9_5_7 + n9_5_8 + n9_5_9 + n9_16_0 + n9_16_1 + n9_16_2 + n9_16_3 + n9_16_4 + n9_16_5 + n9_16_6 + n9_16_7 + n9_16_8 + n9_16_9 + n9_6_0 + n9_6_1 + n9_6_2 + n9_6_3 + n9_6_4 + n9_6_5 + n9_6_6 + n9_6_7 + n9_6_8 + n9_6_9 + n9_17_0 + n9_17_1 + n9_17_2 + n9_17_3 + n9_17_4 + n9_17_5 + n9_17_6 + n9_17_7 + n9_17_8 + n9_17_9 + n9_15_10 + n9_15_11 + n9_15_12 + n9_15_13 + n9_15_14 + n9_15_15 + n9_15_16 + n9_15_17 + n9_15_18 + n9_15_19 + n9_15_20 + n9_15_21 + n9_15_22 + n9_15_23 + n9_15_24 + n9_15_25 + n9_15_26 + n9_15_27 + n9_15_28 + n9_27_10 + n9_27_11 + n9_27_12 + n9_27_13 + n9_27_14 + n9_27_15 + n9_27_16 + n9_27_17 + n9_27_18 + n9_27_19 + n9_27_20 + n9_27_21 + n9_27_22 + n9_27_23 + n9_27_24 + n9_27_25 + n9_27_26 + n9_27_27 + n9_27_28 + n9_3_10 + n9_3_11 + n9_3_12 + n9_3_13 + n9_3_14 + n9_3_15 + n9_3_16 + n9_3_17 + n9_3_18 + n9_3_19 + n9_3_20 + n9_3_21 + n9_3_22 + n9_3_23 + n9_3_24 + n9_3_25 + n9_3_26 + n9_3_27 + n9_3_28 + n9_7_0 + n9_7_1 + n9_7_2 + n9_7_3 + n9_7_4 + n9_7_5 + n9_7_6 + n9_7_7 + n9_7_8 + n9_7_9 + n9_18_0 + n9_18_1 + n9_18_2 + n9_18_3 + n9_18_4 + n9_18_5 + n9_18_6 + n9_18_7 + n9_18_8 + n9_18_9 + n9_8_10 + n9_8_11 + n9_8_12 + n9_8_13 + n9_8_14 + n9_8_15 + n9_8_16 + n9_8_17 + n9_8_18 + n9_8_19 + n9_8_20 + n9_8_21 + n9_8_22 + n9_8_23 + n9_8_24 + n9_8_25 + n9_8_26 + n9_8_27 + n9_8_28 + n9_21_10 + n9_21_11 + n9_21_12 + n9_21_13 + n9_21_14 + n9_21_15 + n9_21_16 + n9_21_17 + n9_21_18 + n9_21_19 + n9_21_20 + n9_21_21 + n9_21_22 + n9_21_23 + n9_21_24 + n9_21_25 + n9_21_26 + n9_21_27 + n9_21_28 + n9_8_0 + n9_8_1 + n9_8_2 + n9_8_3 + n9_8_4 + n9_8_5 + n9_8_6 + n9_8_7 + n9_8_8 + n9_8_9 + n9_19_0 + n9_19_1 + n9_19_2 + n9_19_3 + n9_19_4 + n9_19_5 + n9_19_6 + n9_19_7 + n9_19_8 + n9_19_9 + n9_9_0 + n9_9_1 + n9_9_2 + n9_9_3 + n9_9_4 + n9_9_5 + n9_9_6 + n9_9_7 + n9_9_8 + n9_9_9 + n9_14_10 + n9_14_11 + n9_14_12 + n9_14_13 + n9_14_14 + n9_14_15 + n9_14_16 + n9_14_17 + n9_14_18 + n9_14_19 + n9_14_20 + n9_14_21 + n9_14_22 + n9_14_23 + n9_14_24 + n9_14_25 + n9_14_26 + n9_14_27 + n9_14_28 + n9_26_10 + n9_26_11 + n9_26_12 + n9_26_13 + n9_26_14 + n9_26_15 + n9_26_16 + n9_26_17 + n9_26_18 + n9_26_19 + n9_26_20 + n9_26_21 + n9_26_22 + n9_26_23 + n9_26_24 + n9_26_25 + n9_26_26 + n9_26_27 + n9_26_28 + n9_2_10 + n9_2_11 + n9_2_12 + n9_2_13 + n9_2_14 + n9_2_15 + n9_2_16 + n9_2_17 + n9_2_18 + n9_2_19 + n9_2_20 + n9_2_21 + n9_2_22 + n9_2_23 + n9_2_24 + n9_2_25 + n9_2_26 + n9_2_27 + n9_2_28) : MAX(SstopAbort) : MAX(AstopAbort) : MAX(n3_9 + n3_8 + n3_7 + n3_6 + n3_5 + n3_4 + n3_3 + n3_2 + n3_1 + n3_0 + n3_10 + n3_11 + n3_12 + n3_13 + n3_14 + n3_15 + n3_16 + n3_17 + n3_18 + n3_19 + n3_20 + n3_21 + n3_22 + n3_23 + n3_24 + n3_25 + n3_26 + n3_27 + n3_28) : MAX(CstopOK_0 + CstopOK_1 + CstopOK_2 + CstopOK_3 + CstopOK_4 + CstopOK_5 + CstopOK_6 + CstopOK_7 + CstopOK_8 + CstopOK_9 + CstopOK_10 + CstopOK_11 + CstopOK_12 + CstopOK_13 + CstopOK_14 + CstopOK_15 + CstopOK_16 + CstopOK_17 + CstopOK_18 + CstopOK_19 + CstopOK_20 + CstopOK_21 + CstopOK_22 + CstopOK_23 + CstopOK_24 + CstopOK_25 + CstopOK_26 + CstopOK_27 + CstopOK_28) : MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9_13_14 + n9_13_15 + n9_13_16 + n9_13_17 + n9_13_18 + n9_13_19 + n9_13_20 + n9_13_21 + n9_13_22 + n9_13_23 + n9_13_24 + n9_13_25 + n9_13_26 + n9_13_27 + n9_13_28 + n9_25_10 + n9_25_11 + n9_25_12 + n9_25_13 + n9_25_14 + n9_25_15 + n9_25_16 + n9_25_17 + n9_25_18 + n9_25_19 + n9_25_20 + n9_25_21 + n9_25_22 + n9_25_23 + n9_25_24 + n9_25_25 + n9_25_26 + n9_25_27 + n9_25_28 + n9_1_11 + n9_1_12 + n9_1_13 + n9_1_14 + n9_1_15 + n9_1_16 + n9_1_17 + n9_1_18 + n9_1_19 + n9_1_20 + n9_1_21 + n9_1_22 + n9_1_23 + n9_1_24 + n9_1_25 + n9_1_26 + n9_1_27 + n9_1_28 + n9_18_10 + n9_18_11 + n9_18_12 + n9_18_13 + n9_18_14 + n9_18_15 + n9_18_16 + n9_18_17 + n9_18_18 + n9_18_19 + n9_18_20 + n9_18_21 + n9_18_22 + n9_18_23 + n9_18_24 + n9_18_25 + n9_18_26 + n9_18_27 + n9_18_28 + n9_21_0 + n9_21_1 + n9_21_2 + n9_21_3 + n9_21_4 + n9_21_5 + n9_21_6 + n9_21_7 + n9_21_8 + n9_21_9 + n9_6_11 + n9_6_12 + n9_6_13 + n9_6_14 + n9_6_15 + n9_6_16 + n9_6_17 + n9_6_18 + n9_6_19 + n9_6_20 + n9_6_21 + n9_6_22 + n9_6_23 + n9_6_24 + n9_6_25 + n9_6_26 + n9_6_27 + n9_6_28 + n9_22_0 + n9_22_1 + n9_22_2 + n9_22_3 + n9_22_4 + n9_22_5 + n9_22_6 + n9_22_7 + n9_22_8 + n9_22_9 + n9_12_10 + n9_12_11 + n9_12_12 + n9_12_13 + n9_12_14 + n9_12_15 + n9_12_16 + n9_12_17 + n9_12_18 + n9_12_19 + n9_12_20 + n9_12_21 + n9_12_22 + n9_12_23 + n9_12_24 + n9_12_25 + n9_12_26 + n9_12_27 + n9_12_28 + n9_24_10 + n9_24_11 + n9_24_12 + n9_24_13 + n9_24_14 + n9_24_15 + n9_24_16 + n9_24_17 + n9_24_18 + n9_24_19 + n9_24_20 + n9_24_21 + n9_24_22 + n9_24_23 + n9_24_24 + n9_24_25 + n9_24_26 + n9_24_27 + n9_24_28 + n9_0_10 + n9_0_11 + n9_0_12 + n9_0_13 + n9_0_14 + n9_0_15 + n9_0_16 + n9_0_17 + n9_0_18 + n9_0_19 + n9_0_20 + n9_0_21 + n9_0_22 + n9_0_23 + n9_0_24 + n9_0_25 + n9_0_26 + n9_0_27 + n9_0_28 + n9_23_0 + n9_23_1 + n9_23_2 + n9_23_3 + n9_23_4 + n9_23_5 + n9_23_6 + n9_23_7 + n9_23_8 + n9_23_9 + n9_10_0 + n9_10_1 + n9_10_2 + n9_10_3 + n9_10_4 + n9_10_5 + n9_10_6 + n9_10_7 + n9_10_8 + n9_10_9 + n9_17_10 + n9_17_11 + n9_17_12 + n9_17_13 + n9_17_14 + n9_17_15 + n9_17_16 + n9_17_17 + n9_17_18 + n9_17_19 + n9_17_20 + n9_17_21 + n9_17_22 + n9_17_23 + n9_17_24 + n9_17_25 + n9_17_26 + n9_17_27 + n9_17_28 + n9_24_0 + n9_24_1 + n9_24_2 + n9_24_3 + n9_24_4 + n9_24_5 + n9_0_0 + n9_24_6 + n9_0_1 + n9_24_7 + n9_0_2 + n9_24_8 + n9_0_3 + n9_24_9 + n9_0_4 + n9_0_5 + n9_0_6 + n9_0_7 + n9_0_8 + n9_0_9 + n9_11_0 + n9_11_1 + n9_11_2 + n9_11_3 + n9_11_4 + n9_11_5 + n9_11_6 + n9_11_7 + n9_11_8 + n9_11_9 + n9_5_10 + n9_5_11 + n9_5_12 + n9_5_13 + n9_5_14 + n9_5_15 + n9_5_16 + n9_5_17 + n9_5_18 + n9_5_19 + n9_5_20 + n9_5_21 + n9_5_22 + n9_5_23 + n9_5_24 + n9_5_25 + n9_5_26 + n9_5_27 + n9_5_28 + n9_25_0 + n9_25_1 + n9_25_2 + n9_25_3 + n9_25_4 + n9_25_5 + n9_1_0 + n9_25_6 + n9_1_1 + n9_25_7 + n9_1_2 + n9_25_8 + n9_1_3 + n9_25_9 + n9_1_4 + n9_1_5 + n9_1_6 + n9_1_7 + n9_1_8 + n9_1_9 + n9_12_0 + n9_12_1 + n9_12_2 + n9_12_3 + n9_12_4 + n9_12_5 + n9_12_6 + n9_12_7 + n9_12_8 + n9_12_9 + n9_11_10 + n9_11_11 + n9_11_12 + n9_11_13 + n9_11_14 + n9_11_15 + n9_11_16 + n9_11_17 + n9_11_18 + n9_11_19 + n9_11_20 + n9_11_21 + n9_11_22 + n9_11_23 + n9_11_24 + n9_11_25 + n9_11_26 + n9_11_27 + n9_11_28 + n9_23_10 + n9_23_11 + n9_23_12 + n9_23_13 + n9_23_14 + n9_23_15 + n9_23_16 + n9_23_17 + n9_23_18 + n9_23_19 + n9_23_20 + n9_23_21 + n9_23_22 + n9_23_23 + n9_23_24 + n9_23_25 + n9_23_26 + n9_23_27 + n9_23_28 + n9_20_28 + n9_20_27 + n9_20_26 + n9_20_25 + n9_20_24 + n9_20_23 + n9_20_22 + n9_20_21 + n9_20_20 + n9_20_19 + n9_20_18 + n9_26_0 + n9_26_1 + n9_26_2 + n9_26_3 + n9_26_4 + n9_26_5 + n9_2_0 + n9_26_6 + n9_2_1 + n9_26_7 + n9_2_2 + n9_26_8 + n9_2_3 + n9_26_9 + n9_2_4 + n9_2_5 + n9_2_6 + n9_2_7 + n9_2_8 + n9_2_9 + n9_13_0 + n9_13_1 + n9_13_2 + n9_13_3 + n9_13_4 + n9_13_5 + n9_13_6 + n9_13_7 + n9_13_8 + n9_13_9 + n9_20_17 + n9_20_16 + n9_20_15 + n9_20_14 + n9_20_13 + n9_27_0 + n9_27_1 + n9_27_2 + n9_27_3 + n9_27_4 + n9_27_5 + n9_3_0 + n9_27_6 + n9_3_1 + n9_27_7 + n9_3_2 + n9_27_8 + n9_3_3 + n9_27_9 + n9_3_4 + n9_3_5 + n9_3_6 + n9_3_7 + n9_3_8 + n9_3_9 + n9_20_12 + n9_16_10 + n9_16_11 + n9_16_12 + n9_16_13 + n9_16_14 + n9_16_15 + n9_16_16 + n9_16_17 + n9_16_18 + n9_16_19 + n9_16_20 + n9_16_21 + n9_16_22 + n9_16_23 + n9_16_24 + n9_16_25 + n9_16_26 + n9_16_27 + n9_16_28 + n9_14_0 + n9_14_1 + n9_14_2 + n9_14_3 + n9_14_4 + n9_14_5 + n9_14_6 + n9_14_7 + n9_14_8 + n9_14_9 + n9_28_10 + n9_28_11 + n9_28_12 + n9_28_13 + n9_28_14 + n9_28_15 + n9_28_16 + n9_28_17 + n9_28_18 + n9_28_19 + n9_28_20 + n9_28_21 + n9_28_22 + n9_28_23 + n9_28_24 + n9_28_25 + n9_28_26 + n9_28_27 + n9_28_28 + n9_4_10 + n9_4_11 + n9_4_12 + n9_4_13 + n9_4_14 + n9_4_15 + n9_4_16 + n9_4_17 + n9_4_18 + n9_4_19 + n9_4_20 + n9_4_21 + n9_4_22 + n9_4_23 + n9_4_24 + n9_4_25 + n9_4_26 + n9_4_27 + n9_4_28 + n9_28_0 + n9_28_1 + n9_28_2 + n9_28_3 + n9_28_4 + n9_28_5 + n9_4_0 + n9_28_6 + n9_4_1 + n9_28_7 + n9_4_2 + n9_28_8 + n9_4_3 + n9_28_9 + n9_4_4 + n9_4_5 + n9_4_6 + n9_4_7 + n9_4_8 + n9_4_9 + n9_20_11 + n9_15_0 + n9_15_1 + n9_15_2 + n9_15_3 + n9_15_4 + n9_15_5 + n9_15_6 + n9_15_7 + n9_15_8 + n9_15_9 + n9_7_28 + n9_7_27 + n9_7_26 + n9_7_25 + n9_7_24 + n9_7_23 + n9_7_22 + n9_7_21 + n9_7_20 + n9_7_19 + n9_7_18 + n9_7_17 + n9_7_16 + n9_7_15 + n9_7_14 + n9_7_13 + n9_7_12 + n9_7_11 + n9_9_10 + n9_9_11 + n9_9_12 + n9_9_13 + n9_9_14 + n9_9_15 + n9_9_16 + n9_9_17 + n9_9_18 + n9_9_19 + n9_9_20 + n9_9_21 + n9_9_22 + n9_9_23 + n9_9_24 + n9_9_25 + n9_9_26 + n9_9_27 + n9_9_28 + n9_10_10 + n9_10_11 + n9_10_12 + n9_10_13 + n9_10_14 + n9_10_15 + n9_10_16 + n9_10_17 + n9_10_18 + n9_10_19 + n9_10_20 + n9_10_21 + n9_10_22 + n9_10_23 + n9_10_24 + n9_10_25 + n9_10_26 + n9_10_27 + n9_10_28 + n9_22_10 + n9_22_11 + n9_22_12 + n9_22_13 + n9_22_14 + n9_22_15 + n9_22_16 + n9_22_17 + n9_22_18 + n9_22_19 + n9_22_20 + n9_22_21 + n9_22_22 + n9_22_23 + n9_22_24 + n9_22_25 + n9_22_26 + n9_22_27 + n9_22_28 + n9_5_0 + n9_5_1 + n9_5_2 + n9_5_3 + n9_5_4 + n9_5_5 + n9_5_6 + n9_5_7 + n9_5_8 + n9_5_9 + n9_16_0 + n9_16_1 + n9_16_2 + n9_16_3 + n9_16_4 + n9_16_5 + n9_16_6 + n9_16_7 + n9_16_8 + n9_16_9 + n9_6_0 + n9_6_1 + n9_6_2 + n9_6_3 + n9_6_4 + n9_6_5 + n9_6_6 + n9_6_7 + n9_6_8 + n9_6_9 + n9_17_0 + n9_17_1 + n9_17_2 + n9_17_3 + n9_17_4 + n9_17_5 + n9_17_6 + n9_17_7 + n9_17_8 + n9_17_9 + n9_15_10 + n9_15_11 + n9_15_12 + n9_15_13 + n9_15_14 + n9_15_15 + n9_15_16 + n9_15_17 + n9_15_18 + n9_15_19 + n9_15_20 + n9_15_21 + n9_15_22 + n9_15_23 + n9_15_24 + n9_15_25 + n9_15_26 + n9_15_27 + n9_15_28 + n9_27_10 + n9_27_11 + n9_27_12 + n9_27_13 + n9_27_14 + n9_27_15 + n9_27_16 + n9_27_17 + n9_27_18 + n9_27_19 + n9_27_20 + n9_27_21 + n9_27_22 + n9_27_23 + n9_27_24 + n9_27_25 + n9_27_26 + n9_27_27 + n9_27_28 + n9_3_10 + n9_3_11 + n9_3_12 + n9_3_13 + n9_3_14 + n9_3_15 + n9_3_16 + n9_3_17 + n9_3_18 + n9_3_19 + n9_3_20 + n9_3_21 + n9_3_22 + n9_3_23 + n9_3_24 + n9_3_25 + n9_3_26 + n9_3_27 + n9_3_28 + n9_7_0 + n9_7_1 + n9_7_2 + n9_7_3 + n9_7_4 + n9_7_5 + n9_7_6 + n9_7_7 + n9_7_8 + n9_7_9 + n9_18_0 + n9_18_1 + n9_18_2 + n9_18_3 + n9_18_4 + n9_18_5 + n9_18_6 + n9_18_7 + n9_18_8 + n9_18_9 + n9_8_10 + n9_8_11 + n9_8_12 + n9_8_13 + n9_8_14 + n9_8_15 + n9_8_16 + n9_8_17 + n9_8_18 + n9_8_19 + n9_8_20 + n9_8_21 + n9_8_22 + n9_8_23 + n9_8_24 + n9_8_25 + n9_8_26 + n9_8_27 + n9_8_28 + n9_21_10 + n9_21_11 + n9_21_12 + n9_21_13 + n9_21_14 + n9_21_15 + n9_21_16 + n9_21_17 + n9_21_18 + n9_21_19 + n9_21_20 + n9_21_21 + n9_21_22 + n9_21_23 + n9_21_24 + n9_21_25 + n9_21_26 + n9_21_27 + n9_21_28 + n9_8_0 + n9_8_1 + n9_8_2 + n9_8_3 + n9_8_4 + n9_8_5 + n9_8_6 + n9_8_7 + n9_8_8 + n9_8_9 + n9_19_0 + n9_19_1 + n9_19_2 + n9_19_3 + n9_19_4 + n9_19_5 + n9_19_6 + n9_19_7 + n9_19_8 + n9_19_9 + n9_9_0 + n9_9_1 + n9_9_2 + n9_9_3 + n9_9_4 + n9_9_5 + n9_9_6 + n9_9_7 + n9_9_8 + n9_9_9 + n9_14_10 + n9_14_11 + n9_14_12 + n9_14_13 + n9_14_14 + n9_14_15 + n9_14_16 + n9_14_17 + n9_14_18 + n9_14_19 + n9_14_20 + n9_14_21 + n9_14_22 + n9_14_23 + n9_14_24 + n9_14_25 + n9_14_26 + n9_14_27 + n9_14_28 + n9_26_10 + n9_26_11 + n9_26_12 + n9_26_13 + n9_26_14 + n9_26_15 + n9_26_16 + n9_26_17 + n9_26_18 + n9_26_19 + n9_26_20 + n9_26_21 + n9_26_22 + n9_26_23 + n9_26_24 + n9_26_25 + n9_26_26 + n9_26_27 + n9_26_28 + n9_2_10 + n9_2_11 + n9_2_12 + n9_2_13 + n9_2_14 + n9_2_15 + n9_2_16 + n9_2_17 + n9_2_18 + n9_2_19 + n9_2_20 + n9_2_21 + n9_2_22 + n9_2_23 + n9_2_24 + n9_2_25 + n9_2_26 + n9_2_27 + n9_2_28) : MAX(s4_0 + s4_1 + s4_2 + s4_3 + s4_4 + s4_5 + s4_6 + s4_7 + s4_8 + s4_9 + s4_28 + s4_27 + s4_26 + s4_25 + s4_24 + s4_23 + s4_22 + s4_21 + s4_20 + s4_19 + s4_18 + s4_17 + s4_16 + s4_15 + s4_14 + s4_13 + s4_12 + s4_11 + s4_10) : MAX(s4_0 + s4_1 + s4_2 + s4_3 + s4_4 + s4_5 + s4_6 + s4_7 + s4_8 + s4_9 + s4_28 + s4_27 + s4_26 + s4_25 + s4_24 + s4_23 + s4_22 + s4_21 + s4_20 + s4_19 + s4_18 + s4_17 + s4_16 + s4_15 + s4_14 + s4_13 + s4_12 + s4_11 + s4_10) : MAX(n5_10 + n5_11 + n5_12 + n5_13 + n5_14 + n5_15 + n5_16 + n5_17 + n5_18 + n5_19 + n5_20 + n5_21 + n5_22 + n5_23 + n5_24 + n5_25 + n5_26 + n5_27 + n5_28 + n5_0 + n5_1 + n5_2 + n5_3 + n5_4 + n5_5 + n5_6 + n5_7 + n5_8 + n5_9) : MAX(Astart) : MAX(s2_9 + s2_8 + s2_7 + s2_6 + s2_5 + s2_4 + s2_3 + s2_2 + s2_1 + s2_0 + s2_28 + s2_27 + s2_26 + s2_25 + s2_24 + s2_23 + s2_22 + s2_21 + s2_20 + s2_19 + s2_18 + s2_17 + s2_16 + s2_15 + s2_14 + s2_13 + s2_12 + s2_11 + s2_10) : MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9_13_14 + n9_13_15 + n9_13_16 + n9_13_17 + n9_13_18 + n9_13_19 + n9_13_20 + n9_13_21 + n9_13_22 + n9_13_23 + n9_13_24 + n9_13_25 + n9_13_26 + n9_13_27 + n9_13_28 + n9_25_10 + n9_25_11 + n9_25_12 + n9_25_13 + n9_25_14 + n9_25_15 + n9_25_16 + n9_25_17 + n9_25_18 + n9_25_19 + n9_25_20 + n9_25_21 + n9_25_22 + n9_25_23 + n9_25_24 + n9_25_25 + n9_25_26 + n9_25_27 + n9_25_28 + n9_1_11 + n9_1_12 + n9_1_13 + n9_1_14 + n9_1_15 + n9_1_16 + n9_1_17 + n9_1_18 + n9_1_19 + n9_1_20 + n9_1_21 + n9_1_22 + n9_1_23 + n9_1_24 + n9_1_25 + n9_1_26 + n9_1_27 + n9_1_28 + n9_18_10 + n9_18_11 + n9_18_12 + n9_18_13 + n9_18_14 + n9_18_15 + n9_18_16 + n9_18_17 + n9_18_18 + n9_18_19 + n9_18_20 + n9_18_21 + n9_18_22 + n9_18_23 + n9_18_24 + n9_18_25 + n9_18_26 + n9_18_27 + n9_18_28 + n9_21_0 + n9_21_1 + n9_21_2 + n9_21_3 + n9_21_4 + n9_21_5 + n9_21_6 + n9_21_7 + n9_21_8 + n9_21_9 + n9_6_11 + n9_6_12 + n9_6_13 + n9_6_14 + n9_6_15 + n9_6_16 + n9_6_17 + n9_6_18 + n9_6_19 + n9_6_20 + n9_6_21 + n9_6_22 + n9_6_23 + n9_6_24 + n9_6_25 + n9_6_26 + n9_6_27 + n9_6_28 + n9_22_0 + n9_22_1 + n9_22_2 + n9_22_3 + n9_22_4 + n9_22_5 + n9_22_6 + n9_22_7 + n9_22_8 + n9_22_9 + n9_12_10 + n9_12_11 + n9_12_12 + n9_12_13 + n9_12_14 + n9_12_15 + n9_12_16 + n9_12_17 + n9_12_18 + n9_12_19 + n9_12_20 + n9_12_21 + n9_12_22 + n9_12_23 + n9_12_24 + n9_12_25 + n9_12_26 + n9_12_27 + n9_12_28 + n9_24_10 + n9_24_11 + n9_24_12 + n9_24_13 + n9_24_14 + n9_24_15 + n9_24_16 + n9_24_17 + n9_24_18 + n9_24_19 + n9_24_20 + n9_24_21 + n9_24_22 + n9_24_23 + n9_24_24 + n9_24_25 + n9_24_26 + n9_24_27 + n9_24_28 + n9_0_10 + n9_0_11 + n9_0_12 + n9_0_13 + n9_0_14 + n9_0_15 + n9_0_16 + n9_0_17 + n9_0_18 + n9_0_19 + n9_0_20 + n9_0_21 + n9_0_22 + n9_0_23 + n9_0_24 + n9_0_25 + n9_0_26 + n9_0_27 + n9_0_28 + n9_23_0 + n9_23_1 + n9_23_2 + n9_23_3 + n9_23_4 + n9_23_5 + n9_23_6 + n9_23_7 + n9_23_8 + n9_23_9 + n9_10_0 + n9_10_1 + n9_10_2 + n9_10_3 + n9_10_4 + n9_10_5 + n9_10_6 + n9_10_7 + n9_10_8 + n9_10_9 + n9_17_10 + n9_17_11 + n9_17_12 + n9_17_13 + n9_17_14 + n9_17_15 + n9_17_16 + n9_17_17 + n9_17_18 + n9_17_19 + n9_17_20 + n9_17_21 + n9_17_22 + n9_17_23 + n9_17_24 + n9_17_25 + n9_17_26 + n9_17_27 + n9_17_28 + n9_24_0 + n9_24_1 + n9_24_2 + n9_24_3 + n9_24_4 + n9_24_5 + n9_0_0 + n9_24_6 + n9_0_1 + n9_24_7 + n9_0_2 + n9_24_8 + n9_0_3 + n9_24_9 + n9_0_4 + n9_0_5 + n9_0_6 + n9_0_7 + n9_0_8 + n9_0_9 + n9_11_0 + n9_11_1 + n9_11_2 + n9_11_3 + n9_11_4 + n9_11_5 + n9_11_6 + n9_11_7 + n9_11_8 + n9_11_9 + n9_5_10 + n9_5_11 + n9_5_12 + n9_5_13 + n9_5_14 + n9_5_15 + n9_5_16 + n9_5_17 + n9_5_18 + n9_5_19 + n9_5_20 + n9_5_21 + n9_5_22 + n9_5_23 + n9_5_24 + n9_5_25 + n9_5_26 + n9_5_27 + n9_5_28 + n9_25_0 + n9_25_1 + n9_25_2 + n9_25_3 + n9_25_4 + n9_25_5 + n9_1_0 + n9_25_6 + n9_1_1 + n9_25_7 + n9_1_2 + n9_25_8 + n9_1_3 + n9_25_9 + n9_1_4 + n9_1_5 + n9_1_6 + n9_1_7 + n9_1_8 + n9_1_9 + n9_12_0 + n9_12_1 + n9_12_2 + n9_12_3 + n9_12_4 + n9_12_5 + n9_12_6 + n9_12_7 + n9_12_8 + n9_12_9 + n9_11_10 + n9_11_11 + n9_11_12 + n9_11_13 + n9_11_14 + n9_11_15 + n9_11_16 + n9_11_17 + n9_11_18 + n9_11_19 + n9_11_20 + n9_11_21 + n9_11_22 + n9_11_23 + n9_11_24 + n9_11_25 + n9_11_26 + n9_11_27 + n9_11_28 + n9_23_10 + n9_23_11 + n9_23_12 + n9_23_13 + n9_23_14 + n9_23_15 + n9_23_16 + n9_23_17 + n9_23_18 + n9_23_19 + n9_23_20 + n9_23_21 + n9_23_22 + n9_23_23 + n9_23_24 + n9_23_25 + n9_23_26 + n9_23_27 + n9_23_28 + n9_20_28 + n9_20_27 + n9_20_26 + n9_20_25 + n9_20_24 + n9_20_23 + n9_20_22 + n9_20_21 + n9_20_20 + n9_20_19 + n9_20_18 + n9_26_0 + n9_26_1 + n9_26_2 + n9_26_3 + n9_26_4 + n9_26_5 + n9_2_0 + n9_26_6 + n9_2_1 + n9_26_7 + n9_2_2 + n9_26_8 + n9_2_3 + n9_26_9 + n9_2_4 + n9_2_5 + n9_2_6 + n9_2_7 + n9_2_8 + n9_2_9 + n9_13_0 + n9_13_1 + n9_13_2 + n9_13_3 + n9_13_4 + n9_13_5 + n9_13_6 + n9_13_7 + n9_13_8 + n9_13_9 + n9_20_17 + n9_20_16 + n9_20_15 + n9_20_14 + n9_20_13 + n9_27_0 + n9_27_1 + n9_27_2 + n9_27_3 + n9_27_4 + n9_27_5 + n9_3_0 + n9_27_6 + n9_3_1 + n9_27_7 + n9_3_2 + n9_27_8 + n9_3_3 + n9_27_9 + n9_3_4 + n9_3_5 + n9_3_6 + n9_3_7 + n9_3_8 + n9_3_9 + n9_20_12 + n9_16_10 + n9_16_11 + n9_16_12 + n9_16_13 + n9_16_14 + n9_16_15 + n9_16_16 + n9_16_17 + n9_16_18 + n9_16_19 + n9_16_20 + n9_16_21 + n9_16_22 + n9_16_23 + n9_16_24 + n9_16_25 + n9_16_26 + n9_16_27 + n9_16_28 + n9_14_0 + n9_14_1 + n9_14_2 + n9_14_3 + n9_14_4 + n9_14_5 + n9_14_6 + n9_14_7 + n9_14_8 + n9_14_9 + n9_28_10 + n9_28_11 + n9_28_12 + n9_28_13 + n9_28_14 + n9_28_15 + n9_28_16 + n9_28_17 + n9_28_18 + n9_28_19 + n9_28_20 + n9_28_21 + n9_28_22 + n9_28_23 + n9_28_24 + n9_28_25 + n9_28_26 + n9_28_27 + n9_28_28 + n9_4_10 + n9_4_11 + n9_4_12 + n9_4_13 + n9_4_14 + n9_4_15 + n9_4_16 + n9_4_17 + n9_4_18 + n9_4_19 + n9_4_20 + n9_4_21 + n9_4_22 + n9_4_23 + n9_4_24 + n9_4_25 + n9_4_26 + n9_4_27 + n9_4_28 + n9_28_0 + n9_28_1 + n9_28_2 + n9_28_3 + n9_28_4 + n9_28_5 + n9_4_0 + n9_28_6 + n9_4_1 + n9_28_7 + n9_4_2 + n9_28_8 + n9_4_3 + n9_28_9 + n9_4_4 + n9_4_5 + n9_4_6 + n9_4_7 + n9_4_8 + n9_4_9 + n9_20_11 + n9_15_0 + n9_15_1 + n9_15_2 + n9_15_3 + n9_15_4 + n9_15_5 + n9_15_6 + n9_15_7 + n9_15_8 + n9_15_9 + n9_7_28 + n9_7_27 + n9_7_26 + n9_7_25 + n9_7_24 + n9_7_23 + n9_7_22 + n9_7_21 + n9_7_20 + n9_7_19 + n9_7_18 + n9_7_17 + n9_7_16 + n9_7_15 + n9_7_14 + n9_7_13 + n9_7_12 + n9_7_11 + n9_9_10 + n9_9_11 + n9_9_12 + n9_9_13 + n9_9_14 + n9_9_15 + n9_9_16 + n9_9_17 + n9_9_18 + n9_9_19 + n9_9_20 + n9_9_21 + n9_9_22 + n9_9_23 + n9_9_24 + n9_9_25 + n9_9_26 + n9_9_27 + n9_9_28 + n9_10_10 + n9_10_11 + n9_10_12 + n9_10_13 + n9_10_14 + n9_10_15 + n9_10_16 + n9_10_17 + n9_10_18 + n9_10_19 + n9_10_20 + n9_10_21 + n9_10_22 + n9_10_23 + n9_10_24 + n9_10_25 + n9_10_26 + n9_10_27 + n9_10_28 + n9_22_10 + n9_22_11 + n9_22_12 + n9_22_13 + n9_22_14 + n9_22_15 + n9_22_16 + n9_22_17 + n9_22_18 + n9_22_19 + n9_22_20 + n9_22_21 + n9_22_22 + n9_22_23 + n9_22_24 + n9_22_25 + n9_22_26 + n9_22_27 + n9_22_28 + n9_5_0 + n9_5_1 + n9_5_2 + n9_5_3 + n9_5_4 + n9_5_5 + n9_5_6 + n9_5_7 + n9_5_8 + n9_5_9 + n9_16_0 + n9_16_1 + n9_16_2 + n9_16_3 + n9_16_4 + n9_16_5 + n9_16_6 + n9_16_7 + n9_16_8 + n9_16_9 + n9_6_0 + n9_6_1 + n9_6_2 + n9_6_3 + n9_6_4 + n9_6_5 + n9_6_6 + n9_6_7 + n9_6_8 + n9_6_9 + n9_17_0 + n9_17_1 + n9_17_2 + n9_17_3 + n9_17_4 + n9_17_5 + n9_17_6 + n9_17_7 + n9_17_8 + n9_17_9 + n9_15_10 + n9_15_11 + n9_15_12 + n9_15_13 + n9_15_14 + n9_15_15 + n9_15_16 + n9_15_17 + n9_15_18 + n9_15_19 + n9_15_20 + n9_15_21 + n9_15_22 + n9_15_23 + n9_15_24 + n9_15_25 + n9_15_26 + n9_15_27 + n9_15_28 + n9_27_10 + n9_27_11 + n9_27_12 + n9_27_13 + n9_27_14 + n9_27_15 + n9_27_16 + n9_27_17 + n9_27_18 + n9_27_19 + n9_27_20 + n9_27_21 + n9_27_22 + n9_27_23 + n9_27_24 + n9_27_25 + n9_27_26 + n9_27_27 + n9_27_28 + n9_3_10 + n9_3_11 + n9_3_12 + n9_3_13 + n9_3_14 + n9_3_15 + n9_3_16 + n9_3_17 + n9_3_18 + n9_3_19 + n9_3_20 + n9_3_21 + n9_3_22 + n9_3_23 + n9_3_24 + n9_3_25 + n9_3_26 + n9_3_27 + n9_3_28 + n9_7_0 + n9_7_1 + n9_7_2 + n9_7_3 + n9_7_4 + n9_7_5 + n9_7_6 + n9_7_7 + n9_7_8 + n9_7_9 + n9_18_0 + n9_18_1 + n9_18_2 + n9_18_3 + n9_18_4 + n9_18_5 + n9_18_6 + n9_18_7 + n9_18_8 + n9_18_9 + n9_8_10 + n9_8_11 + n9_8_12 + n9_8_13 + n9_8_14 + n9_8_15 + n9_8_16 + n9_8_17 + n9_8_18 + n9_8_19 + n9_8_20 + n9_8_21 + n9_8_22 + n9_8_23 + n9_8_24 + n9_8_25 + n9_8_26 + n9_8_27 + n9_8_28 + n9_21_10 + n9_21_11 + n9_21_12 + n9_21_13 + n9_21_14 + n9_21_15 + n9_21_16 + n9_21_17 + n9_21_18 + n9_21_19 + n9_21_20 + n9_21_21 + n9_21_22 + n9_21_23 + n9_21_24 + n9_21_25 + n9_21_26 + n9_21_27 + n9_21_28 + n9_8_0 + n9_8_1 + n9_8_2 + n9_8_3 + n9_8_4 + n9_8_5 + n9_8_6 + n9_8_7 + n9_8_8 + n9_8_9 + n9_19_0 + n9_19_1 + n9_19_2 + n9_19_3 + n9_19_4 + n9_19_5 + n9_19_6 + n9_19_7 + n9_19_8 + n9_19_9 + n9_9_0 + n9_9_1 + n9_9_2 + n9_9_3 + n9_9_4 + n9_9_5 + n9_9_6 + n9_9_7 + n9_9_8 + n9_9_9 + n9_14_10 + n9_14_11 + n9_14_12 + n9_14_13 + n9_14_14 + n9_14_15 + n9_14_16 + n9_14_17 + n9_14_18 + n9_14_19 + n9_14_20 + n9_14_21 + n9_14_22 + n9_14_23 + n9_14_24 + n9_14_25 + n9_14_26 + n9_14_27 + n9_14_28 + n9_26_10 + n9_26_11 + n9_26_12 + n9_26_13 + n9_26_14 + n9_26_15 + n9_26_16 + n9_26_17 + n9_26_18 + n9_26_19 + n9_26_20 + n9_26_21 + n9_26_22 + n9_26_23 + n9_26_24 + n9_26_25 + n9_26_26 + n9_26_27 + n9_26_28 + n9_2_10 + n9_2_11 + n9_2_12 + n9_2_13 + n9_2_14 + n9_2_15 + n9_2_16 + n9_2_17 + n9_2_18 + n9_2_19 + n9_2_20 + n9_2_21 + n9_2_22 + n9_2_23 + n9_2_24 + n9_2_25 + n9_2_26 + n9_2_27 + n9_2_28) : MAX(SstopOK_9 + SstopOK_8 + SstopOK_5 + SstopOK_4 + SstopOK_3 + SstopOK_2 + SstopOK_0 + SstopOK_10 + SstopOK_11 + SstopOK_12 + SstopOK_13 + SstopOK_14 + SstopOK_15 + SstopOK_16 + SstopOK_17 + SstopOK_18 + SstopOK_19 + SstopOK_21 + SstopOK_22 + SstopOK_23 + SstopOK_24 + SstopOK_25 + SstopOK_26 + SstopOK_27 + SstopOK_28 + SstopOK_20 + SstopOK_1 + SstopOK_6 + SstopOK_7)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 326495 markings, 1025346 edges, 65299 markings/sec, 0 secs
lola: 634560 markings, 2052617 edges, 61613 markings/sec, 5 secs
lola: 908096 markings, 3073289 edges, 54707 markings/sec, 10 secs
lola: 1204060 markings, 4140279 edges, 59193 markings/sec, 15 secs
lola: 1486511 markings, 5155902 edges, 56490 markings/sec, 20 secs
lola: 1765030 markings, 6230466 edges, 55704 markings/sec, 25 secs
lola: 2036220 markings, 7264257 edges, 54238 markings/sec, 30 secs
lola: 2289272 markings, 8267628 edges, 50610 markings/sec, 35 secs
lola: 2529917 markings, 9282916 edges, 48129 markings/sec, 40 secs
lola: 2764834 markings, 10364741 edges, 46983 markings/sec, 45 secs
lola: 3064536 markings, 11419663 edges, 59940 markings/sec, 50 secs
lola: 3340514 markings, 12428112 edges, 55196 markings/sec, 55 secs
lola: 3619243 markings, 13512923 edges, 55746 markings/sec, 60 secs
lola: 3881007 markings, 14534488 edges, 52353 markings/sec, 65 secs
lola: 4130571 markings, 15510342 edges, 49913 markings/sec, 70 secs
lola: 4368634 markings, 16521968 edges, 47613 markings/sec, 75 secs
lola: 4599695 markings, 17607642 edges, 46212 markings/sec, 80 secs
lola: 4881474 markings, 18617284 edges, 56356 markings/sec, 85 secs
lola: 5133080 markings, 19628875 edges, 50321 markings/sec, 90 secs
lola: 5373320 markings, 20612073 edges, 48048 markings/sec, 95 secs
lola: 5607760 markings, 21641694 edges, 46888 markings/sec, 100 secs
lola: 5861488 markings, 22723318 edges, 50746 markings/sec, 105 secs
lola: 6107779 markings, 23747743 edges, 49258 markings/sec, 110 secs
lola: 6337333 markings, 24783950 edges, 45911 markings/sec, 115 secs
lola: 6563416 markings, 25786026 edges, 45217 markings/sec, 120 secs
lola: 6777257 markings, 26759600 edges, 42768 markings/sec, 125 secs
lola: 6991451 markings, 27760449 edges, 42839 markings/sec, 130 secs
lola: 7201151 markings, 28799496 edges, 41940 markings/sec, 135 secs
lola: 7424455 markings, 29901980 edges, 44661 markings/sec, 140 secs
lola: 7720911 markings, 30903879 edges, 59291 markings/sec, 145 secs
lola: 7987885 markings, 31930566 edges, 53395 markings/sec, 150 secs
lola: 8269675 markings, 32976435 edges, 56358 markings/sec, 155 secs
lola: 8526763 markings, 34006848 edges, 51418 markings/sec, 160 secs
lola: 8766867 markings, 34987205 edges, 48021 markings/sec, 165 secs
lola: 9006420 markings, 35993582 edges, 47911 markings/sec, 170 secs
lola: 9253748 markings, 37072308 edges, 49466 markings/sec, 175 secs
lola: 9521853 markings, 38082838 edges, 53621 markings/sec, 180 secs
lola: 9772321 markings, 39076455 edges, 50094 markings/sec, 185 secs
lola: 10009733 markings, 40064735 edges, 47482 markings/sec, 190 secs
lola: 10239339 markings, 41106572 edges, 45921 markings/sec, 195 secs
lola: 10496440 markings, 42167510 edges, 51420 markings/sec, 200 secs
lola: 10735637 markings, 43179731 edges, 47839 markings/sec, 205 secs
lola: 10961271 markings, 44215956 edges, 45127 markings/sec, 210 secs
lola: 11184112 markings, 45187345 edges, 44568 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n6_28 + n6_27 + n6_26 + n6_25 + n6_24 + n6_23 + n6_22 + n6_21 + n6_20 + n6_19 + n6_18 + n6_17 + n6_16 + n6_15 + n6_14 + n6_13 + n6_12 + n6_11 + n6_10 + n6_0 + n6_1 + n6_2 + n6_3 + n6_4 + n6_5 + n6_6 + n6_7 + n6_8 + n6_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 949046 markings, 1162681 edges, 189809 markings/sec, 0 secs
lola: 1787686 markings, 2307577 edges, 167728 markings/sec, 5 secs
lola: 2509900 markings, 3450918 edges, 144443 markings/sec, 10 secs
lola: 3055456 markings, 4721727 edges, 109111 markings/sec, 15 secs
lola: 3493143 markings, 6055964 edges, 87537 markings/sec, 20 secs
lola: 4131151 markings, 7300037 edges, 127602 markings/sec, 25 secs
lola: 4980960 markings, 8418730 edges, 169962 markings/sec, 30 secs
lola: 5758749 markings, 9577775 edges, 155558 markings/sec, 35 secs
lola: 6376061 markings, 10775237 edges, 123462 markings/sec, 40 secs
lola: 6836028 markings, 12102119 edges, 91993 markings/sec, 45 secs
lola: 7308610 markings, 13444380 edges, 94516 markings/sec, 50 secs
lola: 8163772 markings, 14556302 edges, 171032 markings/sec, 55 secs
lola: 8933002 markings, 15690162 edges, 153846 markings/sec, 60 secs
lola: 9571369 markings, 16822739 edges, 127673 markings/sec, 65 secs
lola: 10003051 markings, 18127452 edges, 86336 markings/sec, 70 secs
lola: 10388671 markings, 19301589 edges, 77124 markings/sec, 75 secs
lola: 11137974 markings, 20442258 edges, 149861 markings/sec, 80 secs
lola: 11907087 markings, 21564425 edges, 153823 markings/sec, 85 secs
lola: 12556196 markings, 22674189 edges, 129822 markings/sec, 90 secs
lola: 12975553 markings, 23970823 edges, 83871 markings/sec, 95 secs
lola: 13417043 markings, 25256498 edges, 88298 markings/sec, 100 secs
lola: 14148076 markings, 26401596 edges, 146207 markings/sec, 105 secs
lola: 14889617 markings, 27525407 edges, 148308 markings/sec, 110 secs
lola: 15479312 markings, 28678642 edges, 117939 markings/sec, 115 secs
lola: 15921255 markings, 29940113 edges, 88389 markings/sec, 120 secs
lola: 16332528 markings, 31247502 edges, 82255 markings/sec, 125 secs
lola: 17126526 markings, 32359752 edges, 158800 markings/sec, 130 secs
lola: 17818601 markings, 33488230 edges, 138415 markings/sec, 135 secs
lola: 18310467 markings, 34767537 edges, 98373 markings/sec, 140 secs
lola: 18758106 markings, 36072872 edges, 89528 markings/sec, 145 secs
lola: 19378252 markings, 37280736 edges, 124029 markings/sec, 150 secs
lola: 20078405 markings, 38382104 edges, 140031 markings/sec, 155 secs
lola: 20609156 markings, 39593094 edges, 106150 markings/sec, 160 secs
lola: 21049909 markings, 40856962 edges, 88151 markings/sec, 165 secs
lola: 21552590 markings, 42109928 edges, 100536 markings/sec, 170 secs
lola: 22247791 markings, 43185409 edges, 139040 markings/sec, 175 secs
lola: 22793227 markings, 44348305 edges, 109087 markings/sec, 180 secs
lola: 23224847 markings, 45598404 edges, 86324 markings/sec, 185 secs
lola: 23677128 markings, 46872665 edges, 90456 markings/sec, 190 secs
lola: 24362721 markings, 47954819 edges, 137119 markings/sec, 195 secs
lola: 24881538 markings, 49140690 edges, 103763 markings/sec, 200 secs
lola: 25317042 markings, 50381536 edges, 87101 markings/sec, 205 secs
lola: 25778957 markings, 51618080 edges, 92383 markings/sec, 210 secs
lola: 26423061 markings, 52678359 edges, 128821 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 756915 markings, 1670934 edges, 151383 markings/sec, 0 secs
lola: 1400255 markings, 3256334 edges, 128668 markings/sec, 5 secs
lola: 2014594 markings, 4804753 edges, 122868 markings/sec, 10 secs
lola: 2604323 markings, 6319610 edges, 117946 markings/sec, 15 secs
lola: 3111088 markings, 7777897 edges, 101353 markings/sec, 20 secs
lola: 3748211 markings, 9337044 edges, 127425 markings/sec, 25 secs
lola: 4338796 markings, 10854854 edges, 118117 markings/sec, 30 secs
lola: 4881459 markings, 12328867 edges, 108533 markings/sec, 35 secs
lola: 5406927 markings, 13790082 edges, 105094 markings/sec, 40 secs
lola: 5953731 markings, 15253873 edges, 109361 markings/sec, 45 secs
lola: 6445547 markings, 16687641 edges, 98363 markings/sec, 50 secs
lola: 6966807 markings, 18133883 edges, 104252 markings/sec, 55 secs
lola: 7441088 markings, 19551155 edges, 94856 markings/sec, 60 secs
lola: 7881891 markings, 20948395 edges, 88161 markings/sec, 65 secs
lola: 8429918 markings, 22436196 edges, 109605 markings/sec, 70 secs
lola: 9027549 markings, 23950672 edges, 119526 markings/sec, 75 secs
lola: 9589533 markings, 25427726 edges, 112397 markings/sec, 80 secs
lola: 10065699 markings, 26852656 edges, 95233 markings/sec, 85 secs
lola: 10656942 markings, 28345727 edges, 118249 markings/sec, 90 secs
lola: 11165476 markings, 29783151 edges, 101707 markings/sec, 95 secs
lola: 11633181 markings, 31097905 edges, 93541 markings/sec, 100 secs
lola: 12146752 markings, 32607763 edges, 102714 markings/sec, 105 secs
lola: 12627742 markings, 34084567 edges, 96198 markings/sec, 110 secs
lola: 13106759 markings, 35564539 edges, 95803 markings/sec, 115 secs
lola: 13708852 markings, 37148009 edges, 120419 markings/sec, 120 secs
lola: 14225565 markings, 38663198 edges, 103343 markings/sec, 125 secs
lola: 14777200 markings, 40203335 edges, 110327 markings/sec, 130 secs
lola: 15276442 markings, 41694513 edges, 99848 markings/sec, 135 secs
lola: 15729625 markings, 43146905 edges, 90637 markings/sec, 140 secs
lola: 16253080 markings, 44663573 edges, 104691 markings/sec, 145 secs
lola: 16759753 markings, 46164304 edges, 101335 markings/sec, 150 secs
lola: 17235255 markings, 47635054 edges, 95100 markings/sec, 155 secs
lola: 17692418 markings, 49097081 edges, 91433 markings/sec, 160 secs
lola: 18170816 markings, 50571500 edges, 95680 markings/sec, 165 secs
lola: 18605312 markings, 52009741 edges, 86899 markings/sec, 170 secs
lola: 19028471 markings, 53431821 edges, 84632 markings/sec, 175 secs
lola: 19437334 markings, 54844307 edges, 81773 markings/sec, 180 secs
lola: 19995886 markings, 56390778 edges, 111710 markings/sec, 185 secs
lola: 20640460 markings, 58020758 edges, 128915 markings/sec, 190 secs
lola: 21224017 markings, 59591460 edges, 116711 markings/sec, 195 secs
lola: 21771329 markings, 61131224 edges, 109462 markings/sec, 200 secs
lola: 22368925 markings, 62710677 edges, 119519 markings/sec, 205 secs
lola: 22890745 markings, 64227673 edges, 104364 markings/sec, 210 secs
lola: 23418366 markings, 65706618 edges, 105524 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 322654 markings, 1009106 edges, 64531 markings/sec, 0 secs
lola: 624895 markings, 2023198 edges, 60448 markings/sec, 5 secs
lola: 894146 markings, 3019185 edges, 53850 markings/sec, 10 secs
lola: 1182980 markings, 4062412 edges, 57767 markings/sec, 15 secs
lola: 1457639 markings, 5041931 edges, 54932 markings/sec, 20 secs
lola: 1725194 markings, 6098199 edges, 53511 markings/sec, 25 secs
lola: 1996383 markings, 7105829 edges, 54238 markings/sec, 30 secs
lola: 2248407 markings, 8102097 edges, 50405 markings/sec, 35 secs
lola: 2485734 markings, 9087859 edges, 47465 markings/sec, 40 secs
lola: 2716160 markings, 10127262 edges, 46085 markings/sec, 45 secs
lola: 2995554 markings, 11175218 edges, 55879 markings/sec, 50 secs
lola: 3269455 markings, 12153401 edges, 54780 markings/sec, 55 secs
lola: 3539299 markings, 13204203 edges, 53969 markings/sec, 60 secs
lola: 3805930 markings, 14207264 edges, 53326 markings/sec, 65 secs
lola: 4054115 markings, 15192140 edges, 49637 markings/sec, 70 secs
lola: 4288992 markings, 16170618 edges, 46975 markings/sec, 75 secs
lola: 4517215 markings, 17202849 edges, 45645 markings/sec, 80 secs
lola: 4782932 markings, 18249458 edges, 53143 markings/sec, 85 secs
lola: 5036247 markings, 19269536 edges, 50663 markings/sec, 90 secs
lola: 5277114 markings, 20215449 edges, 48173 markings/sec, 95 secs
lola: 5510760 markings, 21203434 edges, 46729 markings/sec, 100 secs
lola: 5740209 markings, 22270038 edges, 45890 markings/sec, 105 secs
lola: 5996376 markings, 23308981 edges, 51233 markings/sec, 110 secs
lola: 6230725 markings, 24284089 edges, 46870 markings/sec, 115 secs
lola: 6452544 markings, 25317501 edges, 44364 markings/sec, 120 secs
lola: 6669121 markings, 26249990 edges, 43315 markings/sec, 125 secs
lola: 6877974 markings, 27235526 edges, 41771 markings/sec, 130 secs
lola: 7085468 markings, 28233335 edges, 41499 markings/sec, 135 secs
lola: 7290790 markings, 29268318 edges, 41064 markings/sec, 140 secs
lola: 7554278 markings, 30323627 edges, 52698 markings/sec, 145 secs
lola: 7829903 markings, 31303612 edges, 55125 markings/sec, 150 secs
lola: 8094570 markings, 32350423 edges, 52933 markings/sec, 155 secs
lola: 8365999 markings, 33347289 edges, 54286 markings/sec, 160 secs
lola: 8614298 markings, 34338766 edges, 49660 markings/sec, 165 secs
lola: 8849990 markings, 35309318 edges, 47138 markings/sec, 170 secs
lola: 9079083 markings, 36329955 edges, 45819 markings/sec, 175 secs
lola: 9338415 markings, 37392609 edges, 51866 markings/sec, 180 secs
lola: 9593651 markings, 38394176 edges, 51047 markings/sec, 185 secs
lola: 9835971 markings, 39339900 edges, 48464 markings/sec, 190 secs
lola: 10067745 markings, 40330292 edges, 46355 markings/sec, 195 secs
lola: 10291908 markings, 41378581 edges, 44833 markings/sec, 200 secs
lola: 10551802 markings, 42406664 edges, 51979 markings/sec, 205 secs
lola: 10784346 markings, 43390050 edges, 46509 markings/sec, 210 secs
lola: 11003488 markings, 44435308 edges, 43828 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SstopAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 590532 markings, 837556 edges, 118106 markings/sec, 0 secs
lola: 1134971 markings, 1695399 edges, 108888 markings/sec, 5 secs
lola: 1655199 markings, 2589281 edges, 104046 markings/sec, 10 secs
lola: 2145153 markings, 3542556 edges, 97991 markings/sec, 15 secs
lola: 2602505 markings, 4570114 edges, 91470 markings/sec, 20 secs
lola: 3008390 markings, 5636348 edges, 81177 markings/sec, 25 secs
lola: 3244936 markings, 6925403 edges, 47309 markings/sec, 30 secs
lola: 3474640 markings, 8247218 edges, 45941 markings/sec, 35 secs
lola: 3721369 markings, 9507504 edges, 49346 markings/sec, 40 secs
lola: 3941770 markings, 10856351 edges, 44080 markings/sec, 45 secs
lola: 4449461 markings, 11769607 edges, 101538 markings/sec, 50 secs
lola: 4977568 markings, 12610276 edges, 105621 markings/sec, 55 secs
lola: 5479641 markings, 13503865 edges, 100415 markings/sec, 60 secs
lola: 5953218 markings, 14449408 edges, 94715 markings/sec, 65 secs
lola: 6394636 markings, 15468927 edges, 88284 markings/sec, 70 secs
lola: 6776630 markings, 16497393 edges, 76399 markings/sec, 75 secs
lola: 7003262 markings, 17762950 edges, 45326 markings/sec, 80 secs
lola: 7229659 markings, 19064648 edges, 45279 markings/sec, 85 secs
lola: 7457949 markings, 20356182 edges, 45658 markings/sec, 90 secs
lola: 7676795 markings, 21704332 edges, 43769 markings/sec, 95 secs
lola: 8199619 markings, 22555111 edges, 104565 markings/sec, 100 secs
lola: 8710881 markings, 23415889 edges, 102252 markings/sec, 105 secs
lola: 9197833 markings, 24327269 edges, 97390 markings/sec, 110 secs
lola: 9653234 markings, 25302227 edges, 91080 markings/sec, 115 secs
lola: 10074667 markings, 26352892 edges, 84287 markings/sec, 120 secs
lola: 10361977 markings, 27460588 edges, 57462 markings/sec, 125 secs
lola: 10581735 markings, 28732071 edges, 43952 markings/sec, 130 secs
lola: 10825217 markings, 29973227 edges, 48696 markings/sec, 135 secs
lola: 11043881 markings, 31282220 edges, 43733 markings/sec, 140 secs
lola: 11369035 markings, 32455505 edges, 65031 markings/sec, 145 secs
lola: 11882668 markings, 33299710 edges, 102727 markings/sec, 150 secs
lola: 12365997 markings, 34198637 edges, 96666 markings/sec, 155 secs
lola: 12824781 markings, 35145760 edges, 91757 markings/sec, 160 secs
lola: 13250268 markings, 36181957 edges, 85097 markings/sec, 165 secs
lola: 13571222 markings, 37240864 edges, 64191 markings/sec, 170 secs
lola: 13789841 markings, 38484452 edges, 43724 markings/sec, 175 secs
lola: 14031818 markings, 39696614 edges, 48395 markings/sec, 180 secs
lola: 14246331 markings, 40968244 edges, 42903 markings/sec, 185 secs
lola: 14483765 markings, 42266446 edges, 47487 markings/sec, 190 secs
lola: 14987561 markings, 43115064 edges, 100759 markings/sec, 195 secs
lola: 15467522 markings, 44009575 edges, 95992 markings/sec, 200 secs
lola: 15915784 markings, 44968000 edges, 89652 markings/sec, 205 secs
lola: 16333055 markings, 46003553 edges, 83454 markings/sec, 210 secs
lola: 16625582 markings, 47091517 edges, 58505 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AstopAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1520776 markings, 1644287 edges, 304155 markings/sec, 0 secs
lola: 2928362 markings, 3212116 edges, 281517 markings/sec, 5 secs
lola: 4235565 markings, 4721194 edges, 261441 markings/sec, 10 secs
lola: 5491537 markings, 6235920 edges, 251194 markings/sec, 15 secs
lola: 6588524 markings, 7642073 edges, 219397 markings/sec, 20 secs
lola: 7490213 markings, 9111641 edges, 180338 markings/sec, 25 secs
lola: 8317213 markings, 10575414 edges, 165400 markings/sec, 30 secs
lola: 9073378 markings, 12034754 edges, 151233 markings/sec, 35 secs
lola: 10388590 markings, 13576850 edges, 263042 markings/sec, 40 secs
lola: 11746291 markings, 15098350 edges, 271540 markings/sec, 45 secs
lola: 13022534 markings, 16578224 edges, 255249 markings/sec, 50 secs
lola: 14224921 markings, 18041916 edges, 240477 markings/sec, 55 secs
lola: 15298011 markings, 19431568 edges, 214618 markings/sec, 60 secs
lola: 16149740 markings, 20859305 edges, 170346 markings/sec, 65 secs
lola: 16951094 markings, 22294290 edges, 160271 markings/sec, 70 secs
lola: 17699805 markings, 23734804 edges, 149742 markings/sec, 75 secs
lola: 19005967 markings, 25245596 edges, 261232 markings/sec, 80 secs
lola: 20298130 markings, 26719950 edges, 258433 markings/sec, 85 secs
lola: 21544505 markings, 28189239 edges, 249275 markings/sec, 90 secs
lola: 22665977 markings, 29588859 edges, 224294 markings/sec, 95 secs
lola: 23680903 markings, 30983519 edges, 202985 markings/sec, 100 secs
lola: 24433757 markings, 32385034 edges, 150571 markings/sec, 105 secs
lola: 25219510 markings, 33797456 edges, 157151 markings/sec, 110 secs
lola: 26115487 markings, 35247037 edges, 179195 markings/sec, 115 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n3_9 + n3_8 + n3_7 + n3_6 + n3_5 + n3_4 + n3_3 + n3_2 + n3_1 + n3_0 + n3_10 + n3_11 + n3_12 + n3_13 + n3_14 + n3_15 + n3_16 + n3_17 + n3_18 + n3_19 + n3_20 + n3_21 + n3_22 + n3_23 + n3_24 + n3_25 + n3_26 + n3_27 + n3_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 823689 markings, 1479756 edges, 164738 markings/sec, 0 secs
lola: 1525628 markings, 2880146 edges, 140388 markings/sec, 5 secs
lola: 2235608 markings, 4298032 edges, 141996 markings/sec, 10 secs
lola: 2879728 markings, 5649827 edges, 128824 markings/sec, 15 secs
lola: 3523677 markings, 6999621 edges, 128790 markings/sec, 20 secs
lola: 4143755 markings, 8346735 edges, 124016 markings/sec, 25 secs
lola: 4708801 markings, 9649057 edges, 113009 markings/sec, 30 secs
lola: 5418126 markings, 11041370 edges, 141865 markings/sec, 35 secs
lola: 6075370 markings, 12404732 edges, 131449 markings/sec, 40 secs
lola: 6711608 markings, 13777729 edges, 127248 markings/sec, 45 secs
lola: 7266532 markings, 15065551 edges, 110985 markings/sec, 50 secs
lola: 7899953 markings, 16428245 edges, 126684 markings/sec, 55 secs
lola: 8527922 markings, 17799118 edges, 125594 markings/sec, 60 secs
lola: 9069373 markings, 19067684 edges, 108290 markings/sec, 65 secs
lola: 9668362 markings, 20409849 edges, 119798 markings/sec, 70 secs
lola: 10195134 markings, 21680979 edges, 105354 markings/sec, 75 secs
lola: 10765214 markings, 23030706 edges, 114016 markings/sec, 80 secs
lola: 11260683 markings, 24276823 edges, 99094 markings/sec, 85 secs
lola: 11822287 markings, 25584331 edges, 112321 markings/sec, 90 secs
lola: 12518279 markings, 26986340 edges, 139198 markings/sec, 95 secs
lola: 13186321 markings, 28370614 edges, 133608 markings/sec, 100 secs
lola: 13807775 markings, 29746170 edges, 124291 markings/sec, 105 secs
lola: 14354835 markings, 31027158 edges, 109412 markings/sec, 110 secs
lola: 15008442 markings, 32393793 edges, 130721 markings/sec, 115 secs
lola: 15625757 markings, 33751253 edges, 123463 markings/sec, 120 secs
lola: 16147515 markings, 35014479 edges, 104352 markings/sec, 125 secs
lola: 16763685 markings, 36354696 edges, 123234 markings/sec, 130 secs
lola: 17302392 markings, 37652361 edges, 107741 markings/sec, 135 secs
lola: 17840916 markings, 38957725 edges, 107705 markings/sec, 140 secs
lola: 18324006 markings, 40187508 edges, 96618 markings/sec, 145 secs
lola: 18901618 markings, 41508531 edges, 115522 markings/sec, 150 secs
lola: 19536401 markings, 42877364 edges, 126957 markings/sec, 155 secs
lola: 20098011 markings, 44169812 edges, 112322 markings/sec, 160 secs
lola: 20686293 markings, 45509595 edges, 117656 markings/sec, 165 secs
lola: 21222690 markings, 46763660 edges, 107279 markings/sec, 170 secs
lola: 21778780 markings, 48083900 edges, 111218 markings/sec, 175 secs
lola: 22268095 markings, 49322458 edges, 97863 markings/sec, 180 secs
lola: 22739885 markings, 50557236 edges, 94358 markings/sec, 185 secs
lola: 23334674 markings, 51867449 edges, 118958 markings/sec, 190 secs
lola: 23872775 markings, 53154300 edges, 107620 markings/sec, 195 secs
lola: 24393136 markings, 54427785 edges, 104072 markings/sec, 200 secs
lola: 24861453 markings, 55630821 edges, 93663 markings/sec, 205 secs
lola: 25378072 markings, 56909979 edges, 103324 markings/sec, 210 secs
lola: 25882368 markings, 58152153 edges, 100859 markings/sec, 215 secs
lola: 26335730 markings, 59356418 edges, 90672 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CstopOK_0 + CstopOK_1 + CstopOK_2 + CstopOK_3 + CstopOK_4 + CstopOK_5 + CstopOK_6 + CstopOK_7 + CstopOK_8 + CstopOK_9 + CstopOK_10 + CstopOK_11 + CstopOK_12 + CstopOK_13 + CstopOK_14 + CstopOK_15 + CstopOK_16 + CstopOK_17 + CstopOK_18 + CstopOK_19 + CstopOK_20 + CstopOK_21 + CstopOK_22 + CstopOK_23 + CstopOK_24 + CstopOK_25 + CstopOK_26 + CstopOK_27 + CstopOK_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 158645 markings, 1124999 edges, 31729 markings/sec, 0 secs
lola: 306803 markings, 2279119 edges, 29632 markings/sec, 5 secs
lola: 447588 markings, 3441166 edges, 28157 markings/sec, 10 secs
lola: 584809 markings, 4619392 edges, 27444 markings/sec, 15 secs
lola: 727883 markings, 5778986 edges, 28615 markings/sec, 20 secs
lola: 863010 markings, 6958331 edges, 27025 markings/sec, 25 secs
lola: 1002942 markings, 8136134 edges, 27986 markings/sec, 30 secs
lola: 1134108 markings, 9336882 edges, 26233 markings/sec, 35 secs
lola: 1266622 markings, 10523454 edges, 26503 markings/sec, 40 secs
lola: 1393556 markings, 11721831 edges, 25387 markings/sec, 45 secs
lola: 1515914 markings, 12931899 edges, 24472 markings/sec, 50 secs
lola: 1641055 markings, 14138438 edges, 25028 markings/sec, 55 secs
lola: 1786536 markings, 15302460 edges, 29096 markings/sec, 60 secs
lola: 1922357 markings, 16489789 edges, 27164 markings/sec, 65 secs
lola: 2061910 markings, 17667732 edges, 27911 markings/sec, 70 secs
lola: 2192696 markings, 18870003 edges, 26157 markings/sec, 75 secs
lola: 2326977 markings, 20062550 edges, 26856 markings/sec, 80 secs
lola: 2453813 markings, 21264670 edges, 25367 markings/sec, 85 secs
lola: 2576773 markings, 22478642 edges, 24592 markings/sec, 90 secs
lola: 2699059 markings, 23690115 edges, 24457 markings/sec, 95 secs
lola: 2837425 markings, 24870180 edges, 27673 markings/sec, 100 secs
lola: 2969756 markings, 26061097 edges, 26466 markings/sec, 105 secs
lola: 3099075 markings, 27261000 edges, 25864 markings/sec, 110 secs
lola: 3223362 markings, 28469177 edges, 24857 markings/sec, 115 secs
lola: 3340801 markings, 29689766 edges, 23488 markings/sec, 120 secs
lola: 3469989 markings, 30879082 edges, 25838 markings/sec, 125 secs
lola: 3597549 markings, 32073959 edges, 25512 markings/sec, 130 secs
lola: 3720765 markings, 33277358 edges, 24643 markings/sec, 135 secs
lola: 3833795 markings, 34498412 edges, 22606 markings/sec, 140 secs
lola: 3960368 markings, 35688692 edges, 25315 markings/sec, 145 secs
lola: 4081133 markings, 36893462 edges, 24153 markings/sec, 150 secs
lola: 4196341 markings, 38104547 edges, 23042 markings/sec, 155 secs
lola: 4314751 markings, 39315420 edges, 23682 markings/sec, 160 secs
lola: 4428353 markings, 40528356 edges, 22720 markings/sec, 165 secs
lola: 4539483 markings, 41745400 edges, 22226 markings/sec, 170 secs
lola: 4648128 markings, 42968117 edges, 21729 markings/sec, 175 secs
lola: 4747800 markings, 44164707 edges, 19934 markings/sec, 180 secs
lola: 4881328 markings, 45362126 edges, 26706 markings/sec, 185 secs
lola: 5025781 markings, 46546112 edges, 28891 markings/sec, 190 secs
lola: 5160101 markings, 47753150 edges, 26864 markings/sec, 195 secs
lola: 5301604 markings, 48940994 edges, 28301 markings/sec, 200 secs
lola: 5435239 markings, 50146985 edges, 26727 markings/sec, 205 secs
lola: 5566524 markings, 51363562 edges, 26257 markings/sec, 210 secs
lola: 5694251 markings, 52580645 edges, 25545 markings/sec, 215 secs
lola: 5814193 markings, 53824174 edges, 23988 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 323604 markings, 1013293 edges, 64721 markings/sec, 0 secs
lola: 626809 markings, 2028219 edges, 60641 markings/sec, 5 secs
lola: 896453 markings, 3031076 edges, 53929 markings/sec, 10 secs
lola: 1185582 markings, 4072144 edges, 57826 markings/sec, 15 secs
lola: 1461134 markings, 5054058 edges, 55110 markings/sec, 20 secs
lola: 1729209 markings, 6109506 edges, 53615 markings/sec, 25 secs
lola: 1999246 markings, 7116997 edges, 54007 markings/sec, 30 secs
lola: 2251048 markings, 8111343 edges, 50360 markings/sec, 35 secs
lola: 2487350 markings, 9096194 edges, 47260 markings/sec, 40 secs
lola: 2717528 markings, 10135564 edges, 46036 markings/sec, 45 secs
lola: 2997480 markings, 11182023 edges, 55990 markings/sec, 50 secs
lola: 3271439 markings, 12161408 edges, 54792 markings/sec, 55 secs
lola: 3541048 markings, 13211189 edges, 53922 markings/sec, 60 secs
lola: 3807093 markings, 14212991 edges, 53209 markings/sec, 65 secs
lola: 4055304 markings, 15196806 edges, 49642 markings/sec, 70 secs
lola: 4290142 markings, 16174995 edges, 46968 markings/sec, 75 secs
lola: 4517785 markings, 17205852 edges, 45529 markings/sec, 80 secs
lola: 4783118 markings, 18250372 edges, 53067 markings/sec, 85 secs
lola: 5036059 markings, 19269159 edges, 50588 markings/sec, 90 secs
lola: 5276017 markings, 20209986 edges, 47992 markings/sec, 95 secs
lola: 5509197 markings, 21196076 edges, 46636 markings/sec, 100 secs
lola: 5737470 markings, 22261558 edges, 45655 markings/sec, 105 secs
lola: 5993499 markings, 23299379 edges, 51206 markings/sec, 110 secs
lola: 6228504 markings, 24273465 edges, 47001 markings/sec, 115 secs
lola: 6452033 markings, 25314874 edges, 44706 markings/sec, 120 secs
lola: 6668704 markings, 26248712 edges, 43334 markings/sec, 125 secs
lola: 6877188 markings, 27232452 edges, 41697 markings/sec, 130 secs
lola: 7084301 markings, 28228305 edges, 41423 markings/sec, 135 secs
lola: 7289797 markings, 29262246 edges, 41099 markings/sec, 140 secs
lola: 7552745 markings, 30318416 edges, 52590 markings/sec, 145 secs
lola: 7829288 markings, 31300945 edges, 55309 markings/sec, 150 secs
lola: 8094473 markings, 32350064 edges, 53037 markings/sec, 155 secs
lola: 8365914 markings, 33346920 edges, 54288 markings/sec, 160 secs
lola: 8614593 markings, 34339779 edges, 49736 markings/sec, 165 secs
lola: 8849928 markings, 35309130 edges, 47067 markings/sec, 170 secs
lola: 9078682 markings, 36328446 edges, 45751 markings/sec, 175 secs
lola: 9336945 markings, 37388924 edges, 51653 markings/sec, 180 secs
lola: 9592493 markings, 38388606 edges, 51110 markings/sec, 185 secs
lola: 9834221 markings, 39332294 edges, 48346 markings/sec, 190 secs
lola: 10064598 markings, 40319755 edges, 46075 markings/sec, 195 secs
lola: 10288855 markings, 41360780 edges, 44851 markings/sec, 200 secs
lola: 10548033 markings, 42389678 edges, 51836 markings/sec, 205 secs
lola: 10780580 markings, 43375046 edges, 46509 markings/sec, 210 secs
lola: 10999232 markings, 44423164 edges, 43730 markings/sec, 215 secs
lola: 11219298 markings, 45334529 edges, 44013 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(s4_0 + s4_1 + s4_2 + s4_3 + s4_4 + s4_5 + s4_6 + s4_7 + s4_8 + s4_9 + s4_28 + s4_27 + s4_26 + s4_25 + s4_24 + s4_23 + s4_22 + s4_21 + s4_20 + s4_19 + s4_18 + s4_17 + s4_16 + s4_15 + s4_14 + s4_13 + s4_12 + s4_11 + s4_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 934811 markings, 1145037 edges, 186962 markings/sec, 0 secs
lola: 1754082 markings, 2259181 edges, 163854 markings/sec, 5 secs
lola: 2471706 markings, 3387279 edges, 143525 markings/sec, 10 secs
lola: 3016862 markings, 4627188 edges, 109031 markings/sec, 15 secs
lola: 3456581 markings, 5928858 edges, 87944 markings/sec, 20 secs
lola: 4030760 markings, 7174093 edges, 114836 markings/sec, 25 secs
lola: 4872333 markings, 8264752 edges, 168315 markings/sec, 30 secs
lola: 5635341 markings, 9382478 edges, 152602 markings/sec, 35 secs
lola: 6279665 markings, 10485339 edges, 128865 markings/sec, 40 secs
lola: 6689355 markings, 11758210 edges, 81938 markings/sec, 45 secs
lola: 7130699 markings, 13041053 edges, 88269 markings/sec, 50 secs
lola: 7880393 markings, 14175777 edges, 149939 markings/sec, 55 secs
lola: 8654968 markings, 15260172 edges, 154915 markings/sec, 60 secs
lola: 9321791 markings, 16348984 edges, 133365 markings/sec, 65 secs
lola: 9810333 markings, 17555289 edges, 97708 markings/sec, 70 secs
lola: 10228069 markings, 18816179 edges, 83547 markings/sec, 75 secs
lola: 10822556 markings, 20022579 edges, 118897 markings/sec, 80 secs
lola: 11599388 markings, 21099171 edges, 155366 markings/sec, 85 secs
lola: 12276700 markings, 22173428 edges, 135462 markings/sec, 90 secs
lola: 12785420 markings, 23353512 edges, 101744 markings/sec, 95 secs
lola: 13206506 markings, 24586893 edges, 84217 markings/sec, 100 secs
lola: 13715647 markings, 25815918 edges, 101828 markings/sec, 105 secs
lola: 14487389 markings, 26892025 edges, 154348 markings/sec, 110 secs
lola: 15148279 markings, 27963141 edges, 132178 markings/sec, 115 secs
lola: 15642304 markings, 29150355 edges, 98805 markings/sec, 120 secs
lola: 16052293 markings, 30375035 edges, 81998 markings/sec, 125 secs
lola: 16583170 markings, 31581927 edges, 106175 markings/sec, 130 secs
lola: 17337492 markings, 32683472 edges, 150864 markings/sec, 135 secs
lola: 17981568 markings, 33783899 edges, 128815 markings/sec, 140 secs
lola: 18398567 markings, 35056552 edges, 83400 markings/sec, 145 secs
lola: 18828388 markings, 36319844 edges, 85964 markings/sec, 150 secs
lola: 19493831 markings, 37450750 edges, 133089 markings/sec, 155 secs
lola: 20160775 markings, 38522656 edges, 133389 markings/sec, 160 secs
lola: 20659644 markings, 39694592 edges, 99774 markings/sec, 165 secs
lola: 21069021 markings, 40931229 edges, 81875 markings/sec, 170 secs
lola: 21567611 markings, 42130760 edges, 99718 markings/sec, 175 secs
lola: 22242938 markings, 43177523 edges, 135065 markings/sec, 180 secs
lola: 22778708 markings, 44292874 edges, 107154 markings/sec, 185 secs
lola: 23194016 markings, 45493270 edges, 83062 markings/sec, 190 secs
lola: 23583654 markings, 46740257 edges, 77928 markings/sec, 195 secs
lola: 24273331 markings, 47802930 edges, 137935 markings/sec, 200 secs
lola: 24816411 markings, 48910032 edges, 108616 markings/sec, 205 secs
lola: 25230484 markings, 50105376 edges, 82815 markings/sec, 210 secs
lola: 25602066 markings, 51333600 edges, 74316 markings/sec, 215 secs
lola: 26248697 markings, 52374556 edges, 129326 markings/sec, 220 secs
lola: 26747357 markings, 53501779 edges, 99732 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(s4_0 + s4_1 + s4_2 + s4_3 + s4_4 + s4_5 + s4_6 + s4_7 + s4_8 + s4_9 + s4_28 + s4_27 + s4_26 + s4_25 + s4_24 + s4_23 + s4_22 + s4_21 + s4_20 + s4_19 + s4_18 + s4_17 + s4_16 + s4_15 + s4_14 + s4_13 + s4_12 + s4_11 + s4_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 935260 markings, 1145585 edges, 187052 markings/sec, 0 secs
lola: 1763193 markings, 2273484 edges, 165587 markings/sec, 5 secs
lola: 2481371 markings, 3402745 edges, 143636 markings/sec, 10 secs
lola: 3026393 markings, 4646703 edges, 109004 markings/sec, 15 secs
lola: 3466518 markings, 5951996 edges, 88025 markings/sec, 20 secs
lola: 4049840 markings, 7197916 edges, 116664 markings/sec, 25 secs
lola: 4890955 markings, 8290419 edges, 168223 markings/sec, 30 secs
lola: 5653018 markings, 9411438 edges, 152413 markings/sec, 35 secs
lola: 6295635 markings, 10516960 edges, 128523 markings/sec, 40 secs
lola: 6691575 markings, 11765589 edges, 79188 markings/sec, 45 secs
lola: 7109281 markings, 12987490 edges, 83541 markings/sec, 50 secs
lola: 7807713 markings, 14080201 edges, 139686 markings/sec, 55 secs
lola: 8552595 markings, 15109645 edges, 148976 markings/sec, 60 secs
lola: 9259385 markings, 16233863 edges, 141358 markings/sec, 65 secs
lola: 9789753 markings, 17478867 edges, 106074 markings/sec, 70 secs
lola: 10224317 markings, 18802032 edges, 86913 markings/sec, 75 secs
lola: 10847684 markings, 20056672 edges, 124673 markings/sec, 80 secs
lola: 11649150 markings, 21169830 edges, 160293 markings/sec, 85 secs
lola: 12337825 markings, 22285040 edges, 137735 markings/sec, 90 secs
lola: 12846790 markings, 23533631 edges, 101793 markings/sec, 95 secs
lola: 13281338 markings, 24833438 edges, 86910 markings/sec, 100 secs
lola: 13900007 markings, 26063418 edges, 123734 markings/sec, 105 secs
lola: 14682638 markings, 27189931 edges, 156526 markings/sec, 110 secs
lola: 15340335 markings, 28303433 edges, 131539 markings/sec, 115 secs
lola: 15772541 markings, 29582416 edges, 86441 markings/sec, 120 secs
lola: 16205095 markings, 30869046 edges, 86511 markings/sec, 125 secs
lola: 16915753 markings, 32049647 edges, 142132 markings/sec, 130 secs
lola: 17641793 markings, 33184847 edges, 145208 markings/sec, 135 secs
lola: 18194821 markings, 34431928 edges, 110606 markings/sec, 140 secs
lola: 18647870 markings, 35745176 edges, 90610 markings/sec, 145 secs
lola: 19191715 markings, 37013519 edges, 108769 markings/sec, 150 secs
lola: 19926850 markings, 38130443 edges, 147027 markings/sec, 155 secs
lola: 20518594 markings, 39293581 edges, 118349 markings/sec, 160 secs
lola: 20962103 markings, 40570094 edges, 88702 markings/sec, 165 secs
lola: 21392703 markings, 41882016 edges, 86120 markings/sec, 170 secs
lola: 22116790 markings, 42969733 edges, 144817 markings/sec, 175 secs
lola: 22714992 markings, 44095624 edges, 119640 markings/sec, 180 secs
lola: 23146831 markings, 45357569 edges, 86368 markings/sec, 185 secs
lola: 23548792 markings, 46657039 edges, 80392 markings/sec, 190 secs
lola: 24258630 markings, 47776255 edges, 141968 markings/sec, 195 secs
lola: 24807927 markings, 48881495 edges, 109859 markings/sec, 200 secs
lola: 25221285 markings, 50070738 edges, 82672 markings/sec, 205 secs
lola: 25591054 markings, 51291844 edges, 73954 markings/sec, 210 secs
lola: 26229172 markings, 52343182 edges, 127624 markings/sec, 215 secs
lola: 26735499 markings, 53459509 edges, 101265 markings/sec, 220 secs
lola: 27146083 markings, 54643101 edges, 82117 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n5_10 + n5_11 + n5_12 + n5_13 + n5_14 + n5_15 + n5_16 + n5_17 + n5_18 + n5_19 + n5_20 + n5_21 + n5_22 + n5_23 + n5_24 + n5_25 + n5_26 + n5_27 + n5_28 + n5_0 + n5_1 + n5_2 + n5_3 + n5_4 + n5_5 + n5_6 + n5_7 + n5_8 + n5_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 907688 markings, 1641635 edges, 181538 markings/sec, 0 secs
lola: 1629003 markings, 3111063 edges, 144263 markings/sec, 5 secs
lola: 2359895 markings, 4541589 edges, 146178 markings/sec, 10 secs
lola: 3124556 markings, 6135471 edges, 152932 markings/sec, 15 secs
lola: 3828971 markings, 7637626 edges, 140883 markings/sec, 20 secs
lola: 4450837 markings, 9081008 edges, 124373 markings/sec, 25 secs
lola: 5209290 markings, 10610377 edges, 151691 markings/sec, 30 secs
lola: 5923914 markings, 12099513 edges, 142925 markings/sec, 35 secs
lola: 6606917 markings, 13551839 edges, 136601 markings/sec, 40 secs
lola: 7224321 markings, 14962148 edges, 123481 markings/sec, 45 secs
lola: 7894206 markings, 16416796 edges, 133977 markings/sec, 50 secs
lola: 8544067 markings, 17840164 edges, 129972 markings/sec, 55 secs
lola: 9139133 markings, 19249415 edges, 119013 markings/sec, 60 secs
lola: 9794364 markings, 20691321 edges, 131046 markings/sec, 65 secs
lola: 10380539 markings, 22092112 edges, 117235 markings/sec, 70 secs
lola: 10945392 markings, 23470763 edges, 112971 markings/sec, 75 secs
lola: 11466072 markings, 24836230 edges, 104136 markings/sec, 80 secs
lola: 12211649 markings, 26347786 edges, 149115 markings/sec, 85 secs
lola: 12924120 markings, 27833489 edges, 142494 markings/sec, 90 secs
lola: 13610754 markings, 29289017 edges, 137327 markings/sec, 95 secs
lola: 14223158 markings, 30698612 edges, 122481 markings/sec, 100 secs
lola: 14895279 markings, 32148807 edges, 134424 markings/sec, 105 secs
lola: 15543840 markings, 33576896 edges, 129712 markings/sec, 110 secs
lola: 16132515 markings, 34971685 edges, 117735 markings/sec, 115 secs
lola: 16782456 markings, 36397798 edges, 129988 markings/sec, 120 secs
lola: 17363020 markings, 37785455 edges, 116113 markings/sec, 125 secs
lola: 17926382 markings, 39158568 edges, 112672 markings/sec, 130 secs
lola: 18441903 markings, 40511386 edges, 103104 markings/sec, 135 secs
lola: 19112419 markings, 41956974 edges, 134103 markings/sec, 140 secs
lola: 19762929 markings, 43384013 edges, 130102 markings/sec, 145 secs
lola: 20347685 markings, 44777626 edges, 116951 markings/sec, 150 secs
lola: 20982283 markings, 46188074 edges, 126920 markings/sec, 155 secs
lola: 21563839 markings, 47570758 edges, 116311 markings/sec, 160 secs
lola: 22122485 markings, 48939029 edges, 111729 markings/sec, 165 secs
lola: 22627050 markings, 50283832 edges, 100913 markings/sec, 170 secs
lola: 23264072 markings, 51701502 edges, 127404 markings/sec, 175 secs
lola: 23839700 markings, 53083500 edges, 115126 markings/sec, 180 secs
lola: 24405932 markings, 54453936 edges, 113246 markings/sec, 185 secs
lola: 24929092 markings, 55807083 edges, 104632 markings/sec, 190 secs
lola: 25488011 markings, 57180153 edges, 111784 markings/sec, 195 secs
lola: 26029340 markings, 58542911 edges, 108266 markings/sec, 200 secs
lola: 26544389 markings, 59892707 edges, 103010 markings/sec, 205 secs
lola: 27054433 markings, 61229299 edges, 102009 markings/sec, 210 secs
lola: 27539135 markings, 62557249 edges, 96940 markings/sec, 215 secs
lola: 27989943 markings, 63874709 edges, 90162 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Astart)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(s2_9 + s2_8 + s2_7 + s2_6 + s2_5 + s2_4 + s2_3 + s2_2 + s2_1 + s2_0 + s2_28 + s2_27 + s2_26 + s2_25 + s2_24 + s2_23 + s2_22 + s2_21 + s2_20 + s2_19 + s2_18 + s2_17 + s2_16 + s2_15 + s2_14 + s2_13 + s2_12 + s2_11 + s2_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 490253 markings, 1590271 edges, 98051 markings/sec, 0 secs
lola: 918064 markings, 3120558 edges, 85562 markings/sec, 5 secs
lola: 1304994 markings, 4567451 edges, 77386 markings/sec, 10 secs
lola: 1667707 markings, 6042602 edges, 72543 markings/sec, 15 secs
lola: 2066375 markings, 7550035 edges, 79734 markings/sec, 20 secs
lola: 2457801 markings, 9022783 edges, 78285 markings/sec, 25 secs
lola: 2814047 markings, 10477364 edges, 71249 markings/sec, 30 secs
lola: 3177189 markings, 11932726 edges, 72628 markings/sec, 35 secs
lola: 3528115 markings, 13367644 edges, 70185 markings/sec, 40 secs
lola: 3867257 markings, 14784888 edges, 67828 markings/sec, 45 secs
lola: 4188345 markings, 16202060 edges, 64218 markings/sec, 50 secs
lola: 4477893 markings, 17568207 edges, 57910 markings/sec, 55 secs
lola: 4850470 markings, 19033854 edges, 74515 markings/sec, 60 secs
lola: 5242411 markings, 20499717 edges, 78388 markings/sec, 65 secs
lola: 5596497 markings, 21942289 edges, 70817 markings/sec, 70 secs
lola: 5957413 markings, 23387509 edges, 72183 markings/sec, 75 secs
lola: 6309096 markings, 24823074 edges, 70337 markings/sec, 80 secs
lola: 6646761 markings, 26237924 edges, 67533 markings/sec, 85 secs
lola: 6966852 markings, 27645696 edges, 64018 markings/sec, 90 secs
lola: 7256037 markings, 29004716 edges, 57837 markings/sec, 95 secs
lola: 7591307 markings, 30414752 edges, 67054 markings/sec, 100 secs
lola: 7943522 markings, 31847675 edges, 70443 markings/sec, 105 secs
lola: 8280744 markings, 33265305 edges, 67444 markings/sec, 110 secs
lola: 8598494 markings, 34663779 edges, 63550 markings/sec, 115 secs
lola: 8890677 markings, 36014651 edges, 58437 markings/sec, 120 secs
lola: 9193865 markings, 37381142 edges, 60638 markings/sec, 125 secs
lola: 9510020 markings, 38757735 edges, 63231 markings/sec, 130 secs
lola: 9808122 markings, 40106543 edges, 59620 markings/sec, 135 secs
lola: 10083824 markings, 41434285 edges, 55140 markings/sec, 140 secs
lola: 10376392 markings, 42770494 edges, 58514 markings/sec, 145 secs
lola: 10651171 markings, 44116974 edges, 54956 markings/sec, 150 secs
lola: 10925726 markings, 45491243 edges, 54911 markings/sec, 155 secs
lola: 11184827 markings, 46881739 edges, 51820 markings/sec, 160 secs
lola: 11604447 markings, 48449274 edges, 83924 markings/sec, 165 secs
lola: 12014055 markings, 50012639 edges, 81922 markings/sec, 170 secs
lola: 12357104 markings, 51504157 edges, 68610 markings/sec, 175 secs
lola: 12773031 markings, 53069871 edges, 83185 markings/sec, 180 secs
lola: 13121734 markings, 54562261 edges, 69741 markings/sec, 185 secs
lola: 13459252 markings, 56013711 edges, 67504 markings/sec, 190 secs
lola: 13794828 markings, 57502611 edges, 67115 markings/sec, 195 secs
lola: 14108059 markings, 58943232 edges, 62646 markings/sec, 200 secs
lola: 14501478 markings, 60486660 edges, 78684 markings/sec, 205 secs
lola: 14853107 markings, 61975749 edges, 70326 markings/sec, 210 secs
lola: 15191979 markings, 63444381 edges, 67774 markings/sec, 215 secs
lola: 15506257 markings, 64882807 edges, 62856 markings/sec, 220 secs
lola: 15808595 markings, 66264930 edges, 60468 markings/sec, 225 secs
lola: 16143577 markings, 67721611 edges, 66996 markings/sec, 230 secs
lola: 16457198 markings, 69136539 edges, 62724 markings/sec, 235 secs
lola: 16740889 markings, 70495366 edges, 56738 markings/sec, 240 secs
lola: 17035110 markings, 71852817 edges, 58844 markings/sec, 245 secs
lola: 17316629 markings, 73226449 edges, 56304 markings/sec, 250 secs
lola: 17588019 markings, 74591466 edges, 54278 markings/sec, 255 secs
lola: 17835742 markings, 75926742 edges, 49545 markings/sec, 260 secs
lola: 18208459 markings, 77400172 edges, 74543 markings/sec, 265 secs
lola: 18553272 markings, 78877808 edges, 68963 markings/sec, 270 secs
lola: 18911481 markings, 80358291 edges, 71642 markings/sec, 275 secs
lola: 19242127 markings, 81849253 edges, 66129 markings/sec, 280 secs
lola: 19527980 markings, 83247686 edges, 57171 markings/sec, 285 secs
lola: 19886814 markings, 84730814 edges, 71767 markings/sec, 290 secs
lola: 20215145 markings, 86211046 edges, 65666 markings/sec, 295 secs
lola: 20498439 markings, 87598461 edges, 56659 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(n9_19_10 + n9_19_11 + n9_19_12 + n9_19_13 + n9_19_14 + n9_19_15 + n9_19_16 + n9_19_17 + n9_19_18 + n9_19_19 + n9_19_20 + n9_19_21 + n9_19_22 + n9_19_23 + n9_19_24 + n9_19_25 + n9_19_26 + n9_19_27 + n9_19_28 + n9_7_10 + n9_20_10 + n9_6_10 + n9_20_9 + n9_20_8 + n9_20_7 + n9_20_6 + n9_20_5 + n9_20_4 + n9_20_3 + n9_20_2 + n9_20_1 + n9_20_0 + n9_1_10 + n9_13_10 + n9_13_11 + n9_13_12 + n9_13_13 + n9... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 325814 markings, 1022134 edges, 65163 markings/sec, 0 secs
lola: 631511 markings, 2042222 edges, 61139 markings/sec, 5 secs
lola: 902671 markings, 3053802 edges, 54232 markings/sec, 10 secs
lola: 1194002 markings, 4104808 edges, 58266 markings/sec, 15 secs
lola: 1470834 markings, 5092591 edges, 55366 markings/sec, 20 secs
lola: 1742864 markings, 6152783 edges, 54406 markings/sec, 25 secs
lola: 2013837 markings, 7172523 edges, 54195 markings/sec, 30 secs
lola: 2266275 markings, 8174561 edges, 50488 markings/sec, 35 secs
lola: 2505612 markings, 9171223 edges, 47867 markings/sec, 40 secs
lola: 2737298 markings, 10224922 edges, 46337 markings/sec, 45 secs
lola: 3022409 markings, 11284568 edges, 57022 markings/sec, 50 secs
lola: 3296729 markings, 12265138 edges, 54864 markings/sec, 55 secs
lola: 3568609 markings, 13306606 edges, 54376 markings/sec, 60 secs
lola: 3829772 markings, 14306521 edges, 52233 markings/sec, 65 secs
lola: 4077302 markings, 15287979 edges, 49506 markings/sec, 70 secs
lola: 4312998 markings, 16276062 edges, 47139 markings/sec, 75 secs
lola: 4541473 markings, 17320999 edges, 45695 markings/sec, 80 secs
lola: 4809842 markings, 18343627 edges, 53674 markings/sec, 85 secs
lola: 5063876 markings, 19363936 edges, 50807 markings/sec, 90 secs
lola: 5299699 markings, 20331305 edges, 47165 markings/sec, 95 secs
lola: 5536787 markings, 21314838 edges, 47418 markings/sec, 100 secs
lola: 5774516 markings, 22390332 edges, 47546 markings/sec, 105 secs
lola: 6016329 markings, 23377564 edges, 48363 markings/sec, 110 secs
lola: 6248496 markings, 24365295 edges, 46433 markings/sec, 115 secs
lola: 6472743 markings, 25399364 edges, 44849 markings/sec, 120 secs
lola: 6686455 markings, 26337345 edges, 42742 markings/sec, 125 secs
lola: 6898091 markings, 27326280 edges, 42327 markings/sec, 130 secs
lola: 7107507 markings, 28331262 edges, 41883 markings/sec, 135 secs
lola: 7312868 markings, 29383893 edges, 41072 markings/sec, 140 secs
lola: 7586074 markings, 30438747 edges, 54641 markings/sec, 145 secs
lola: 7861581 markings, 31425544 edges, 55101 markings/sec, 150 secs
lola: 8133263 markings, 32479412 edges, 54336 markings/sec, 155 secs
lola: 8400381 markings, 33486080 edges, 53424 markings/sec, 160 secs
lola: 8648264 markings, 34473648 edges, 49577 markings/sec, 165 secs
lola: 8873742 markings, 35412181 edges, 45096 markings/sec, 170 secs
lola: 9102063 markings, 36443562 edges, 45664 markings/sec, 175 secs
lola: 9370310 markings, 37502240 edges, 53649 markings/sec, 180 secs
lola: 9618731 markings, 38504353 edges, 49684 markings/sec, 185 secs
lola: 9858009 markings, 39437868 edges, 47856 markings/sec, 190 secs
lola: 10098606 markings, 40458206 edges, 48119 markings/sec, 195 secs
lola: 10327022 markings, 41519343 edges, 45683 markings/sec, 200 secs
lola: 10579955 markings, 42547061 edges, 50587 markings/sec, 205 secs
lola: 10807250 markings, 43488982 edges, 45459 markings/sec, 210 secs
lola: 11021904 markings, 44501538 edges, 42931 markings/sec, 215 secs
lola: 11232703 markings, 45391287 edges, 42160 markings/sec, 220 secs
lola: 11430213 markings, 46340602 edges, 39502 markings/sec, 225 secs
lola: 11632728 markings, 47279402 edges, 40503 markings/sec, 230 secs
lola: 11831027 markings, 48267686 edges, 39660 markings/sec, 235 secs
lola: 12053641 markings, 49303309 edges, 44523 markings/sec, 240 secs
lola: 12309487 markings, 50265720 edges, 51169 markings/sec, 245 secs
lola: 12548192 markings, 51214047 edges, 47741 markings/sec, 250 secs
lola: 12774797 markings, 52152274 edges, 45321 markings/sec, 255 secs
lola: 13004159 markings, 53175002 edges, 45872 markings/sec, 260 secs
lola: 13254292 markings, 54231155 edges, 50027 markings/sec, 265 secs
lola: 13493255 markings, 55226093 edges, 47793 markings/sec, 270 secs
lola: 13715404 markings, 56232793 edges, 44430 markings/sec, 275 secs
lola: 13936841 markings, 57210083 edges, 44287 markings/sec, 280 secs
lola: 14145039 markings, 58157185 edges, 41640 markings/sec, 285 secs
lola: 14353648 markings, 59128352 edges, 41722 markings/sec, 290 secs
lola: 14557428 markings, 60130279 edges, 40756 markings/sec, 295 secs
lola: 14756036 markings, 61202810 edges, 39722 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SstopOK_9 + SstopOK_8 + SstopOK_5 + SstopOK_4 + SstopOK_3 + SstopOK_2 + SstopOK_0 + SstopOK_10 + SstopOK_11 + SstopOK_12 + SstopOK_13 + SstopOK_14 + SstopOK_15 + SstopOK_16 + SstopOK_17 + SstopOK_18 + SstopOK_19 + SstopOK_21 + SstopOK_22 + SstopOK_23 + SstopOK_24 + SstopOK_25 + SstopOK_26 + SstopOK_27 + SstopOK_28 + SstopOK_20 + SstopOK_1 + SstopOK_6 + SstopOK_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 313654 markings, 972707 edges, 62731 markings/sec, 0 secs
lola: 608258 markings, 1963288 edges, 58921 markings/sec, 5 secs
lola: 871010 markings, 2923429 edges, 52550 markings/sec, 10 secs
lola: 1145965 markings, 3935150 edges, 54991 markings/sec, 15 secs
lola: 1415679 markings, 4892113 edges, 53943 markings/sec, 20 secs
lola: 1664262 markings, 5897351 edges, 49717 markings/sec, 25 secs
lola: 1939085 markings, 6879879 edges, 54965 markings/sec, 30 secs
lola: 2185461 markings, 7858578 edges, 49275 markings/sec, 35 secs
lola: 2416159 markings, 8802365 edges, 46140 markings/sec, 40 secs
lola: 2642426 markings, 9778883 edges, 45253 markings/sec, 45 secs
lola: 2889082 markings, 10815445 edges, 49331 markings/sec, 50 secs
lola: 3163519 markings, 11765719 edges, 54887 markings/sec, 55 secs
lola: 3417094 markings, 12746397 edges, 50715 markings/sec, 60 secs
lola: 3686650 markings, 13740632 edges, 53911 markings/sec, 65 secs
lola: 3930993 markings, 14727908 edges, 48869 markings/sec, 70 secs
lola: 4160841 markings, 15652593 edges, 45970 markings/sec, 75 secs
lola: 4388635 markings, 16611096 edges, 45559 markings/sec, 80 secs
lola: 4612570 markings, 17645520 edges, 44787 markings/sec, 85 secs
lola: 4877345 markings, 18603461 edges, 52955 markings/sec, 90 secs
lola: 5118191 markings, 19567990 edges, 48169 markings/sec, 95 secs
lola: 5346495 markings, 20498854 edges, 45661 markings/sec, 100 secs
lola: 5568481 markings, 21464430 edges, 44397 markings/sec, 105 secs
lola: 5802626 markings, 22496835 edges, 46829 markings/sec, 110 secs
lola: 6044644 markings, 23485486 edges, 48404 markings/sec, 115 secs
lola: 6265262 markings, 24448681 edges, 44124 markings/sec, 120 secs
lola: 6482866 markings, 25442855 edges, 43521 markings/sec, 125 secs
lola: 6689136 markings, 26352084 edges, 41254 markings/sec, 130 secs
lola: 6893655 markings, 27303126 edges, 40904 markings/sec, 135 secs
lola: 7094396 markings, 28271055 edges, 40148 markings/sec, 140 secs
lola: 7292378 markings, 29278271 edges, 39596 markings/sec, 145 secs
lola: 7546360 markings, 30298222 edges, 50796 markings/sec, 150 secs
lola: 7813212 markings, 31245770 edges, 53370 markings/sec, 155 secs
lola: 8064289 markings, 32255458 edges, 50215 markings/sec, 160 secs
lola: 8332296 markings, 33217337 edges, 53601 markings/sec, 165 secs
lola: 8574380 markings, 34185700 edges, 48417 markings/sec, 170 secs
lola: 8803542 markings, 35121765 edges, 45832 markings/sec, 175 secs
lola: 9026888 markings, 36091602 edges, 44669 markings/sec, 180 secs
lola: 9265805 markings, 37119144 edges, 47783 markings/sec, 185 secs
lola: 9520762 markings, 38077164 edges, 50991 markings/sec, 190 secs
lola: 9759013 markings, 39021517 edges, 47650 markings/sec, 195 secs
lola: 9984814 markings, 39957603 edges, 45160 markings/sec, 200 secs
lola: 10203966 markings, 40934833 edges, 43830 markings/sec, 205 secs
lola: 10444477 markings, 41957168 edges, 48102 markings/sec, 210 secs
lola: 10677684 markings, 42922669 edges, 46641 markings/sec, 215 secs
lola: 10894205 markings, 43885902 edges, 43304 markings/sec, 220 secs
lola: 11108333 markings, 44852768 edges, 42826 markings/sec, 225 secs
lola: 11318661 markings, 45788485 edges, 42066 markings/sec, 230 secs
lola: 11519199 markings, 46740814 edges, 40108 markings/sec, 235 secs
lola: 11725305 markings, 47733439 edges, 41221 markings/sec, 240 secs
lola: 11932174 markings, 48813740 edges, 41374 markings/sec, 245 secs
lola: 12206323 markings, 49861249 edges, 54830 markings/sec, 250 secs
lola: 12459412 markings, 50873002 edges, 50618 markings/sec, 255 secs
lola: 12702364 markings, 51864974 edges, 48590 markings/sec, 260 secs
lola: 12933947 markings, 52850035 edges, 46317 markings/sec, 265 secs
lola: 13174641 markings, 53923497 edges, 48139 markings/sec, 270 secs
lola: 13425935 markings, 54948170 edges, 50259 markings/sec, 275 secs
lola: 13654817 markings, 55951249 edges, 45776 markings/sec, 280 secs
lola: 13881719 markings, 56970822 edges, 45380 markings/sec, 285 secs
lola: 14094747 markings, 57918951 edges, 42606 markings/sec, 290 secs
lola: 14304481 markings, 58905019 edges, 41947 markings/sec, 295 secs
lola: 14512489 markings, 59910526 edges, 41602 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494782698837
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-PT-28"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-28.tgz
mv QuasiCertifProtocol-PT-28 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is QuasiCertifProtocol-PT-28, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-149440926300281"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '
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 ;