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 S_SafeBus-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443433000245
=====================================================================

--------------------
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 SafeBus-COL-10-UpperBounds-0
FORMULA_NAME SafeBus-COL-10-UpperBounds-1
FORMULA_NAME SafeBus-COL-10-UpperBounds-10
FORMULA_NAME SafeBus-COL-10-UpperBounds-11
FORMULA_NAME SafeBus-COL-10-UpperBounds-12
FORMULA_NAME SafeBus-COL-10-UpperBounds-13
FORMULA_NAME SafeBus-COL-10-UpperBounds-14
FORMULA_NAME SafeBus-COL-10-UpperBounds-15
FORMULA_NAME SafeBus-COL-10-UpperBounds-2
FORMULA_NAME SafeBus-COL-10-UpperBounds-3
FORMULA_NAME SafeBus-COL-10-UpperBounds-4
FORMULA_NAME SafeBus-COL-10-UpperBounds-5
FORMULA_NAME SafeBus-COL-10-UpperBounds-6
FORMULA_NAME SafeBus-COL-10-UpperBounds-7
FORMULA_NAME SafeBus-COL-10-UpperBounds-8
FORMULA_NAME SafeBus-COL-10-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496445599539


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SafeBus-PT-10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_SafeBus-PT-10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SafeBus-PT-10 @ 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: 1947/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: finding significant places
lola: 316 places, 1631 transitions, 261 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 983 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-COL-10-UpperBounds.task
lola: MAX(listen_10 + listen_1 + listen_2 + listen_3 + listen_4 + listen_5 + listen_6 + listen_7 + listen_8 + listen_9) : MAX(AMC_8_10 + AMC_2_10 + AMC_1_1 + AMC_1_2 + AMC_1_3 + AMC_1_4 + AMC_1_5 + AMC_1_6 + AMC_1_7 + AMC_1_8 + AMC_1_9 + AMC_7_10 + AMC_2_1 + AMC_2_2 + AMC_2_3 + AMC_2_4 + AMC_2_5 + AMC_2_6 + AMC_2_7 + AMC_2_8 + AMC_2_9 + AMC_3_1 + AMC_3_2 + AMC_3_3 + AMC_3_4 + AMC_3_5 + AMC_3_6 + AMC_3_7 + AMC_3_8 + AMC_3_9 + AMC_1_10 + AMC_10_10 + AMC_4_1 + AMC_4_2 + AMC_4_3 + AMC_4_4 + AMC_4_5 + AMC_4_6 + AMC_4_7 + AMC_4_8 + AMC_4_9 + AMC_6_10 + AMC_5_1 + AMC_5_2 + AMC_5_3 + AMC_5_4 + AMC_5_5 + AMC_5_6 + AMC_5_7 + AMC_5_8 + AMC_5_9 + AMC_6_1 + AMC_6_2 + AMC_6_3 + AMC_6_4 + AMC_6_5 + AMC_6_6 + AMC_6_7 + AMC_6_8 + AMC_6_9 + AMC_10_1 + AMC_10_2 + AMC_10_3 + AMC_10_4 + AMC_10_5 + AMC_10_6 + AMC_10_7 + AMC_10_8 + AMC_7_1 + AMC_7_2 + AMC_7_3 + AMC_7_4 + AMC_7_5 + AMC_7_6 + AMC_7_7 + AMC_7_8 + AMC_7_9 + AMC_5_10 + AMC_8_1 + AMC_8_2 + AMC_8_3 + AMC_8_4 + AMC_8_5 + AMC_8_6 + AMC_8_7 + AMC_8_8 + AMC_8_9 + AMC_9_8 + AMC_9_7 + AMC_9_6 + AMC_9_5 + AMC_9_4 + AMC_9_1 + AMC_9_2 + AMC_9_3 + AMC_9_9 + AMC_4_10 + AMC_10_9 + AMC_9_10 + AMC_3_10) : MAX(S_tout) : MAX(wait_ack_1_2 + wait_ack_1_3 + wait_ack_1_4 + wait_ack_1_5 + wait_ack_1_6 + wait_ack_1_7 + wait_ack_1_8 + wait_ack_1_9 + wait_ack_7_10 + wait_ack_2_1 + wait_ack_2_3 + wait_ack_2_4 + wait_ack_2_5 + wait_ack_2_6 + wait_ack_2_7 + wait_ack_2_8 + wait_ack_2_9 + wait_ack_3_1 + wait_ack_3_2 + wait_ack_3_4 + wait_ack_3_5 + wait_ack_3_6 + wait_ack_3_7 + wait_ack_3_8 + wait_ack_3_9 + wait_ack_1_10 + wait_ack_4_1 + wait_ack_4_2 + wait_ack_4_3 + wait_ack_4_5 + wait_ack_4_6 + wait_ack_4_7 + wait_ack_4_8 + wait_ack_4_9 + wait_ack_6_10 + wait_ack_5_1 + wait_ack_5_2 + wait_ack_5_3 + wait_ack_5_4 + wait_ack_5_6 + wait_ack_5_7 + wait_ack_5_8 + wait_ack_5_9 + wait_ack_6_1 + wait_ack_6_2 + wait_ack_6_3 + wait_ack_6_4 + wait_ack_6_5 + wait_ack_6_7 + wait_ack_6_8 + wait_ack_6_9 + wait_ack_10_1 + wait_ack_10_2 + wait_ack_10_3 + wait_ack_10_4 + wait_ack_10_5 + wait_ack_10_6 + wait_ack_10_7 + wait_ack_10_8 + wait_ack_10_9 + wait_ack_7_1 + wait_ack_7_2 + wait_ack_7_3 + wait_ack_7_4 + wait_ack_7_5 + wait_ack_7_6 + wait_ack_7_8 + wait_ack_7_9 + wait_ack_5_10 + wait_ack_8_1 + wait_ack_8_2 + wait_ack_8_3 + wait_ack_8_4 + wait_ack_8_5 + wait_ack_8_6 + wait_ack_8_7 + wait_ack_8_9 + wait_ack_9_1 + wait_ack_9_2 + wait_ack_9_3 + wait_ack_9_4 + wait_ack_9_5 + wait_ack_9_6 + wait_ack_9_7 + wait_ack_9_8 + wait_ack_8_10 + wait_ack_4_10 + wait_ack_3_10 + wait_ack_9_10 + wait_ack_2_10) : MAX(cable_used_1 + cable_used_2 + cable_used_3 + cable_used_4 + cable_used_5 + cable_used_6 + cable_used_7 + cable_used_8 + cable_used_9 + cable_used_10) : MAX(wait_ack_1_2 + wait_ack_1_3 + wait_ack_1_4 + wait_ack_1_5 + wait_ack_1_6 + wait_ack_1_7 + wait_ack_1_8 + wait_ack_1_9 + wait_ack_7_10 + wait_ack_2_1 + wait_ack_2_3 + wait_ack_2_4 + wait_ack_2_5 + wait_ack_2_6 + wait_ack_2_7 + wait_ack_2_8 + wait_ack_2_9 + wait_ack_3_1 + wait_ack_3_2 + wait_ack_3_4 + wait_ack_3_5 + wait_ack_3_6 + wait_ack_3_7 + wait_ack_3_8 + wait_ack_3_9 + wait_ack_1_10 + wait_ack_4_1 + wait_ack_4_2 + wait_ack_4_3 + wait_ack_4_5 + wait_ack_4_6 + wait_ack_4_7 + wait_ack_4_8 + wait_ack_4_9 + wait_ack_6_10 + wait_ack_5_1 + wait_ack_5_2 + wait_ack_5_3 + wait_ack_5_4 + wait_ack_5_6 + wait_ack_5_7 + wait_ack_5_8 + wait_ack_5_9 + wait_ack_6_1 + wait_ack_6_2 + wait_ack_6_3 + wait_ack_6_4 + wait_ack_6_5 + wait_ack_6_7 + wait_ack_6_8 + wait_ack_6_9 + wait_ack_10_1 + wait_ack_10_2 + wait_ack_10_3 + wait_ack_10_4 + wait_ack_10_5 + wait_ack_10_6 + wait_ack_10_7 + wait_ack_10_8 + wait_ack_10_9 + wait_ack_7_1 + wait_ack_7_2 + wait_ack_7_3 + wait_ack_7_4 + wait_ack_7_5 + wait_ack_7_6 + wait_ack_7_8 + wait_ack_7_9 + wait_ack_5_10 + wait_ack_8_1 + wait_ack_8_2 + wait_ack_8_3 + wait_ack_8_4 + wait_ack_8_5 + wait_ack_8_6 + wait_ack_8_7 + wait_ack_8_9 + wait_ack_9_1 + wait_ack_9_2 + wait_ack_9_3 + wait_ack_9_4 + wait_ack_9_5 + wait_ack_9_6 + wait_ack_9_7 + wait_ack_9_8 + wait_ack_8_10 + wait_ack_4_10 + wait_ack_3_10 + wait_ack_9_10 + wait_ack_2_10) : MAX(PMC_10 + PMC_3 + PMC_4 + PMC_9 + PMC_8 + PMC_7 + PMC_6 + PMC_5 + PMC_2 + PMC_1) : MAX(wait_msg_10 + wait_msg_1 + wait_msg_2 + wait_msg_3 + wait_msg_4 + wait_msg_5 + wait_msg_6 + wait_msg_7 + wait_msg_8 + wait_msg_9) : MAX(wait_msg_10 + wait_msg_1 + wait_msg_2 + wait_msg_3 + wait_msg_4 + wait_msg_5 + wait_msg_6 + wait_msg_7 + wait_msg_8 + wait_msg_9) : MAX(RMC_10 + RMC_1 + RMC_2 + RMC_3 + RMC_4 + RMC_5 + RMC_6 + RMC_7 + RMC_8 + RMC_9) : MAX(msgl_1 + msgl_2 + msgl_3 + msgl_4 + msgl_5 + msgl_6 + msgl_7 + msgl_8 + msgl_9 + msgl_10) : MAX(FMCb) : MAX(Cpt1_1 + Cpt1_2 + Cpt1_3 + Cpt1_4 + Cpt1_5 + Cpt1_6 + Cpt1_7 + Cpt1_8 + Cpt1_9 + Cpt1_10) : MAX(loop_em_1 + loop_em_2 + loop_em_3 + loop_em_4 + loop_em_5 + loop_em_6 + loop_em_7 + loop_em_8 + loop_em_9 + loop_em_10) : MAX(T_out) : MAX(wait_cable_10 + wait_cable_1 + wait_cable_2 + wait_cable_3 + wait_cable_4 + wait_cable_5 + wait_cable_6 + wait_cable_7 + wait_cable_8 + wait_cable_9)
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(listen_10 + listen_1 + listen_2 + listen_3 + listen_4 + listen_5 + listen_6 + listen_7 + listen_8 + listen_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 15680 markings, 19453 edges, 3136 markings/sec, 0 secs
lola: 31039 markings, 40884 edges, 3072 markings/sec, 5 secs
lola: 47295 markings, 66299 edges, 3251 markings/sec, 10 secs
lola: 64384 markings, 91352 edges, 3418 markings/sec, 15 secs
lola: 80878 markings, 116743 edges, 3299 markings/sec, 20 secs
lola: 97539 markings, 142946 edges, 3332 markings/sec, 25 secs
lola: 113850 markings, 168101 edges, 3262 markings/sec, 30 secs
lola: 130482 markings, 194527 edges, 3326 markings/sec, 35 secs
lola: 146956 markings, 220808 edges, 3295 markings/sec, 40 secs
lola: 163191 markings, 246552 edges, 3247 markings/sec, 45 secs
lola: 179200 markings, 272543 edges, 3202 markings/sec, 50 secs
lola: 195511 markings, 299976 edges, 3262 markings/sec, 55 secs
lola: 211879 markings, 327798 edges, 3274 markings/sec, 60 secs
lola: 228423 markings, 355903 edges, 3309 markings/sec, 65 secs
lola: 245380 markings, 386173 edges, 3391 markings/sec, 70 secs
lola: 262899 markings, 417788 edges, 3504 markings/sec, 75 secs
lola: 278106 markings, 439947 edges, 3041 markings/sec, 80 secs
lola: 294441 markings, 468855 edges, 3267 markings/sec, 85 secs
lola: 310590 markings, 497029 edges, 3230 markings/sec, 90 secs
lola: 327062 markings, 524314 edges, 3294 markings/sec, 95 secs
lola: 344052 markings, 555855 edges, 3398 markings/sec, 100 secs
lola: 360836 markings, 586591 edges, 3357 markings/sec, 105 secs
lola: 376766 markings, 615406 edges, 3186 markings/sec, 110 secs
lola: 393089 markings, 645656 edges, 3265 markings/sec, 115 secs
lola: 409771 markings, 676598 edges, 3336 markings/sec, 120 secs
lola: 425843 markings, 706187 edges, 3214 markings/sec, 125 secs
lola: 442056 markings, 734899 edges, 3243 markings/sec, 130 secs
lola: 458174 markings, 764460 edges, 3224 markings/sec, 135 secs
lola: 474503 markings, 794457 edges, 3266 markings/sec, 140 secs
lola: 491011 markings, 825073 edges, 3302 markings/sec, 145 secs
lola: 507762 markings, 855739 edges, 3350 markings/sec, 150 secs
lola: 523708 markings, 885389 edges, 3189 markings/sec, 155 secs
lola: 540582 markings, 918168 edges, 3375 markings/sec, 160 secs
lola: 557214 markings, 949696 edges, 3326 markings/sec, 165 secs
lola: 573927 markings, 982199 edges, 3343 markings/sec, 170 secs
lola: 591046 markings, 1013716 edges, 3424 markings/sec, 175 secs
lola: 608144 markings, 1046688 edges, 3420 markings/sec, 180 secs
lola: 624667 markings, 1076465 edges, 3305 markings/sec, 185 secs
lola: 640940 markings, 1107545 edges, 3255 markings/sec, 190 secs
lola: 657477 markings, 1139542 edges, 3307 markings/sec, 195 secs
lola: 674308 markings, 1171710 edges, 3366 markings/sec, 200 secs
lola: 690293 markings, 1201868 edges, 3197 markings/sec, 205 secs
lola: 707376 markings, 1234339 edges, 3417 markings/sec, 210 secs
lola: 724991 markings, 1269739 edges, 3523 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(AMC_8_10 + AMC_2_10 + AMC_1_1 + AMC_1_2 + AMC_1_3 + AMC_1_4 + AMC_1_5 + AMC_1_6 + AMC_1_7 + AMC_1_8 + AMC_1_9 + AMC_7_10 + AMC_2_1 + AMC_2_2 + AMC_2_3 + AMC_2_4 + AMC_2_5 + AMC_2_6 + AMC_2_7 + AMC_2_8 + AMC_2_9 + AMC_3_1 + AMC_3_2 + AMC_3_3 + AMC_3_4 + AMC_3_5 + AMC_3_6 + AMC_3_7 + AMC_3_8 + AMC_3_9 + AMC_1_10 + AMC_10_10 + AMC_4_1 + AMC_4_2 + AMC_4_3 + AMC_4_4 + AMC_4_5 + AMC_4_6 + AMC_4_7 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13636 markings, 15086 edges, 2727 markings/sec, 0 secs
lola: 27384 markings, 31925 edges, 2750 markings/sec, 5 secs
lola: 41164 markings, 48824 edges, 2756 markings/sec, 10 secs
lola: 54916 markings, 66261 edges, 2750 markings/sec, 15 secs
lola: 68660 markings, 83925 edges, 2749 markings/sec, 20 secs
lola: 82202 markings, 100666 edges, 2708 markings/sec, 25 secs
lola: 95949 markings, 118324 edges, 2749 markings/sec, 30 secs
lola: 109766 markings, 136171 edges, 2763 markings/sec, 35 secs
lola: 123681 markings, 154041 edges, 2783 markings/sec, 40 secs
lola: 137435 markings, 171922 edges, 2751 markings/sec, 45 secs
lola: 151324 markings, 191049 edges, 2778 markings/sec, 50 secs
lola: 165225 markings, 209606 edges, 2780 markings/sec, 55 secs
lola: 179102 markings, 228127 edges, 2775 markings/sec, 60 secs
lola: 192916 markings, 246523 edges, 2763 markings/sec, 65 secs
lola: 206805 markings, 264763 edges, 2778 markings/sec, 70 secs
lola: 220965 markings, 283630 edges, 2832 markings/sec, 75 secs
lola: 234980 markings, 301758 edges, 2803 markings/sec, 80 secs
lola: 248896 markings, 320094 edges, 2783 markings/sec, 85 secs
lola: 262826 markings, 338702 edges, 2786 markings/sec, 90 secs
lola: 276511 markings, 356900 edges, 2737 markings/sec, 95 secs
lola: 290292 markings, 374829 edges, 2756 markings/sec, 100 secs
lola: 303781 markings, 393545 edges, 2698 markings/sec, 105 secs
lola: 318017 markings, 413022 edges, 2847 markings/sec, 110 secs
lola: 332350 markings, 431830 edges, 2867 markings/sec, 115 secs
lola: 346687 markings, 451448 edges, 2867 markings/sec, 120 secs
lola: 360938 markings, 471040 edges, 2850 markings/sec, 125 secs
lola: 374988 markings, 490146 edges, 2810 markings/sec, 130 secs
lola: 389377 markings, 509222 edges, 2878 markings/sec, 135 secs
lola: 403371 markings, 528032 edges, 2799 markings/sec, 140 secs
lola: 417147 markings, 547057 edges, 2755 markings/sec, 145 secs
lola: 430677 markings, 565763 edges, 2706 markings/sec, 150 secs
lola: 444098 markings, 583498 edges, 2684 markings/sec, 155 secs
lola: 457898 markings, 602597 edges, 2760 markings/sec, 160 secs
lola: 471826 markings, 621613 edges, 2786 markings/sec, 165 secs
lola: 485856 markings, 641753 edges, 2806 markings/sec, 170 secs
lola: 499535 markings, 662170 edges, 2736 markings/sec, 175 secs
lola: 513741 markings, 681888 edges, 2841 markings/sec, 180 secs
lola: 528193 markings, 701892 edges, 2890 markings/sec, 185 secs
lola: 542990 markings, 721562 edges, 2959 markings/sec, 190 secs
lola: 557048 markings, 740700 edges, 2812 markings/sec, 195 secs
lola: 570913 markings, 760444 edges, 2773 markings/sec, 200 secs
lola: 584951 markings, 780574 edges, 2808 markings/sec, 205 secs
lola: 599185 markings, 800337 edges, 2847 markings/sec, 210 secs
lola: 613357 markings, 820423 edges, 2834 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(S_tout)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13782 markings, 17041 edges, 2756 markings/sec, 0 secs
lola: 27951 markings, 35733 edges, 2834 markings/sec, 5 secs
lola: 42813 markings, 57076 edges, 2972 markings/sec, 10 secs
lola: 57746 markings, 79135 edges, 2987 markings/sec, 15 secs
lola: 72776 markings, 102142 edges, 3006 markings/sec, 20 secs
lola: 88517 markings, 127114 edges, 3148 markings/sec, 25 secs
lola: 103588 markings, 150892 edges, 3014 markings/sec, 30 secs
lola: 117953 markings, 172761 edges, 2873 markings/sec, 35 secs
lola: 132710 markings, 196088 edges, 2951 markings/sec, 40 secs
lola: 147274 markings, 218816 edges, 2913 markings/sec, 45 secs
lola: 161912 markings, 242558 edges, 2928 markings/sec, 50 secs
lola: 176684 markings, 267184 edges, 2954 markings/sec, 55 secs
lola: 191225 markings, 290872 edges, 2908 markings/sec, 60 secs
lola: 205853 markings, 315148 edges, 2926 markings/sec, 65 secs
lola: 220678 markings, 340325 edges, 2965 markings/sec, 70 secs
lola: 235606 markings, 365328 edges, 2986 markings/sec, 75 secs
lola: 250988 markings, 390803 edges, 3076 markings/sec, 80 secs
lola: 265256 markings, 413579 edges, 2854 markings/sec, 85 secs
lola: 280169 markings, 438505 edges, 2983 markings/sec, 90 secs
lola: 295026 markings, 463411 edges, 2971 markings/sec, 95 secs
lola: 310015 markings, 489037 edges, 2998 markings/sec, 100 secs
lola: 325020 markings, 514202 edges, 3001 markings/sec, 105 secs
lola: 340134 markings, 540263 edges, 3023 markings/sec, 110 secs
lola: 355898 markings, 567333 edges, 3153 markings/sec, 115 secs
lola: 370987 markings, 593628 edges, 3018 markings/sec, 120 secs
lola: 385975 markings, 619867 edges, 2998 markings/sec, 125 secs
lola: 400561 markings, 644544 edges, 2917 markings/sec, 130 secs
lola: 415166 markings, 668274 edges, 2921 markings/sec, 135 secs
lola: 430053 markings, 692955 edges, 2977 markings/sec, 140 secs
lola: 444894 markings, 716792 edges, 2968 markings/sec, 145 secs
lola: 460201 markings, 742808 edges, 3061 markings/sec, 150 secs
lola: 475235 markings, 768699 edges, 3007 markings/sec, 155 secs
lola: 490748 markings, 795901 edges, 3103 markings/sec, 160 secs
lola: 505431 markings, 821064 edges, 2937 markings/sec, 165 secs
lola: 520451 markings, 847332 edges, 3004 markings/sec, 170 secs
lola: 535292 markings, 873685 edges, 2968 markings/sec, 175 secs
lola: 549496 markings, 898748 edges, 2841 markings/sec, 180 secs
lola: 564196 markings, 924516 edges, 2940 markings/sec, 185 secs
lola: 579686 markings, 953360 edges, 3098 markings/sec, 190 secs
lola: 594551 markings, 980211 edges, 2973 markings/sec, 195 secs
lola: 609626 markings, 1007629 edges, 3015 markings/sec, 200 secs
lola: 624471 markings, 1034512 edges, 2969 markings/sec, 205 secs
lola: 639257 markings, 1059406 edges, 2957 markings/sec, 210 secs
lola: 654171 markings, 1085814 edges, 2983 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(wait_ack_1_2 + wait_ack_1_3 + wait_ack_1_4 + wait_ack_1_5 + wait_ack_1_6 + wait_ack_1_7 + wait_ack_1_8 + wait_ack_1_9 + wait_ack_7_10 + wait_ack_2_1 + wait_ack_2_3 + wait_ack_2_4 + wait_ack_2_5 + wait_ack_2_6 + wait_ack_2_7 + wait_ack_2_8 + wait_ack_2_9 + wait_ack_3_1 + wait_ack_3_2 + wait_ack_3_4 + wait_ack_3_5 + wait_ack_3_6 + wait_ack_3_7 + wait_ack_3_8 + wait_ack_3_9 + wait_ack_1_10 + wait... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 14549 markings, 18211 edges, 2910 markings/sec, 0 secs
lola: 29712 markings, 39187 edges, 3033 markings/sec, 5 secs
lola: 45467 markings, 62239 edges, 3151 markings/sec, 10 secs
lola: 61211 markings, 85788 edges, 3149 markings/sec, 15 secs
lola: 76584 markings, 108574 edges, 3075 markings/sec, 20 secs
lola: 92011 markings, 131538 edges, 3085 markings/sec, 25 secs
lola: 108114 markings, 157775 edges, 3221 markings/sec, 30 secs
lola: 124161 markings, 183629 edges, 3209 markings/sec, 35 secs
lola: 140265 markings, 208973 edges, 3221 markings/sec, 40 secs
lola: 157368 markings, 237822 edges, 3421 markings/sec, 45 secs
lola: 173666 markings, 265590 edges, 3260 markings/sec, 50 secs
lola: 190184 markings, 294356 edges, 3304 markings/sec, 55 secs
lola: 207192 markings, 323356 edges, 3402 markings/sec, 60 secs
lola: 223898 markings, 352363 edges, 3341 markings/sec, 65 secs
lola: 240233 markings, 380121 edges, 3267 markings/sec, 70 secs
lola: 256913 markings, 410051 edges, 3336 markings/sec, 75 secs
lola: 273188 markings, 438826 edges, 3255 markings/sec, 80 secs
lola: 289760 markings, 466797 edges, 3314 markings/sec, 85 secs
lola: 306025 markings, 495018 edges, 3253 markings/sec, 90 secs
lola: 323090 markings, 524660 edges, 3413 markings/sec, 95 secs
lola: 339971 markings, 555507 edges, 3376 markings/sec, 100 secs
lola: 356918 markings, 587577 edges, 3389 markings/sec, 105 secs
lola: 373286 markings, 617294 edges, 3274 markings/sec, 110 secs
lola: 389973 markings, 647439 edges, 3337 markings/sec, 115 secs
lola: 406800 markings, 679164 edges, 3365 markings/sec, 120 secs
lola: 423488 markings, 710975 edges, 3338 markings/sec, 125 secs
lola: 440299 markings, 742760 edges, 3362 markings/sec, 130 secs
lola: 456938 markings, 772570 edges, 3328 markings/sec, 135 secs
lola: 473274 markings, 802846 edges, 3267 markings/sec, 140 secs
lola: 489678 markings, 832017 edges, 3281 markings/sec, 145 secs
lola: 507006 markings, 864629 edges, 3466 markings/sec, 150 secs
lola: 524572 markings, 898595 edges, 3513 markings/sec, 155 secs
lola: 541861 markings, 931906 edges, 3458 markings/sec, 160 secs
lola: 558558 markings, 963938 edges, 3339 markings/sec, 165 secs
lola: 575004 markings, 994418 edges, 3289 markings/sec, 170 secs
lola: 591598 markings, 1026582 edges, 3319 markings/sec, 175 secs
lola: 608354 markings, 1058596 edges, 3351 markings/sec, 180 secs
lola: 624921 markings, 1089880 edges, 3313 markings/sec, 185 secs
lola: 641594 markings, 1122169 edges, 3335 markings/sec, 190 secs
lola: 658218 markings, 1154553 edges, 3325 markings/sec, 195 secs
lola: 675187 markings, 1187728 edges, 3394 markings/sec, 200 secs
lola: 691823 markings, 1220632 edges, 3327 markings/sec, 205 secs
lola: 708912 markings, 1254059 edges, 3418 markings/sec, 210 secs
lola: 725970 markings, 1287350 edges, 3412 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(cable_used_1 + cable_used_2 + cable_used_3 + cable_used_4 + cable_used_5 + cable_used_6 + cable_used_7 + cable_used_8 + cable_used_9 + cable_used_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 19775 markings, 23652 edges, 3955 markings/sec, 0 secs
lola: 39258 markings, 49327 edges, 3897 markings/sec, 5 secs
lola: 59163 markings, 78567 edges, 3981 markings/sec, 10 secs
lola: 78901 markings, 108181 edges, 3948 markings/sec, 15 secs
lola: 98504 markings, 138882 edges, 3921 markings/sec, 20 secs
lola: 117550 markings, 169451 edges, 3809 markings/sec, 25 secs
lola: 136663 markings, 200465 edges, 3823 markings/sec, 30 secs
lola: 155861 markings, 233440 edges, 3840 markings/sec, 35 secs
lola: 174953 markings, 266858 edges, 3818 markings/sec, 40 secs
lola: 193860 markings, 300204 edges, 3781 markings/sec, 45 secs
lola: 212573 markings, 333673 edges, 3743 markings/sec, 50 secs
lola: 231189 markings, 367408 edges, 3723 markings/sec, 55 secs
lola: 249505 markings, 400748 edges, 3663 markings/sec, 60 secs
lola: 267427 markings, 431394 edges, 3584 markings/sec, 65 secs
lola: 285980 markings, 466423 edges, 3711 markings/sec, 70 secs
lola: 304774 markings, 502045 edges, 3759 markings/sec, 75 secs
lola: 323132 markings, 537250 edges, 3672 markings/sec, 80 secs
lola: 341352 markings, 572370 edges, 3644 markings/sec, 85 secs
lola: 359536 markings, 606900 edges, 3637 markings/sec, 90 secs
lola: 377758 markings, 642136 edges, 3644 markings/sec, 95 secs
lola: 396634 markings, 671190 edges, 3775 markings/sec, 100 secs
lola: 416286 markings, 700532 edges, 3930 markings/sec, 105 secs
lola: 434120 markings, 735582 edges, 3567 markings/sec, 110 secs
lola: 452198 markings, 770952 edges, 3616 markings/sec, 115 secs
lola: 469917 markings, 801025 edges, 3544 markings/sec, 120 secs
lola: 487759 markings, 836089 edges, 3568 markings/sec, 125 secs
lola: 505644 markings, 872071 edges, 3577 markings/sec, 130 secs
lola: 523601 markings, 909028 edges, 3591 markings/sec, 135 secs
lola: 541551 markings, 943765 edges, 3590 markings/sec, 140 secs
lola: 559232 markings, 977709 edges, 3536 markings/sec, 145 secs
lola: 577445 markings, 1015540 edges, 3643 markings/sec, 150 secs
lola: 595456 markings, 1052301 edges, 3602 markings/sec, 155 secs
lola: 613083 markings, 1088568 edges, 3525 markings/sec, 160 secs
lola: 630881 markings, 1125596 edges, 3560 markings/sec, 165 secs
lola: 649497 markings, 1161752 edges, 3723 markings/sec, 170 secs
lola: 667438 markings, 1198414 edges, 3588 markings/sec, 175 secs
lola: 685644 markings, 1234204 edges, 3641 markings/sec, 180 secs
lola: 703828 markings, 1271536 edges, 3637 markings/sec, 185 secs
lola: 721553 markings, 1309107 edges, 3545 markings/sec, 190 secs
lola: 739649 markings, 1347237 edges, 3619 markings/sec, 195 secs
lola: 758326 markings, 1386371 edges, 3735 markings/sec, 200 secs
lola: 775928 markings, 1422872 edges, 3520 markings/sec, 205 secs
lola: 793442 markings, 1459981 edges, 3503 markings/sec, 210 secs
lola: 811716 markings, 1497605 edges, 3655 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(wait_ack_1_2 + wait_ack_1_3 + wait_ack_1_4 + wait_ack_1_5 + wait_ack_1_6 + wait_ack_1_7 + wait_ack_1_8 + wait_ack_1_9 + wait_ack_7_10 + wait_ack_2_1 + wait_ack_2_3 + wait_ack_2_4 + wait_ack_2_5 + wait_ack_2_6 + wait_ack_2_7 + wait_ack_2_8 + wait_ack_2_9 + wait_ack_3_1 + wait_ack_3_2 + wait_ack_3_4 + wait_ack_3_5 + wait_ack_3_6 + wait_ack_3_7 + wait_ack_3_8 + wait_ack_3_9 + wait_ack_1_10 + wait... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 14318 markings, 17906 edges, 2864 markings/sec, 0 secs
lola: 29695 markings, 39166 edges, 3075 markings/sec, 5 secs
lola: 45698 markings, 62540 edges, 3201 markings/sec, 10 secs
lola: 61580 markings, 86237 edges, 3176 markings/sec, 15 secs
lola: 77202 markings, 109366 edges, 3124 markings/sec, 20 secs
lola: 93002 markings, 133063 edges, 3160 markings/sec, 25 secs
lola: 109125 markings, 159410 edges, 3225 markings/sec, 30 secs
lola: 124717 markings, 184421 edges, 3118 markings/sec, 35 secs
lola: 140762 markings, 209824 edges, 3209 markings/sec, 40 secs
lola: 157058 markings, 237291 edges, 3259 markings/sec, 45 secs
lola: 173578 markings, 265474 edges, 3304 markings/sec, 50 secs
lola: 189872 markings, 293717 edges, 3259 markings/sec, 55 secs
lola: 205724 markings, 320831 edges, 3170 markings/sec, 60 secs
lola: 221956 markings, 348914 edges, 3246 markings/sec, 65 secs
lola: 237631 markings, 375282 edges, 3135 markings/sec, 70 secs
lola: 254543 markings, 405687 edges, 3382 markings/sec, 75 secs
lola: 271138 markings, 435189 edges, 3319 markings/sec, 80 secs
lola: 287145 markings, 462660 edges, 3201 markings/sec, 85 secs
lola: 302577 markings, 488443 edges, 3086 markings/sec, 90 secs
lola: 318742 markings, 517056 edges, 3233 markings/sec, 95 secs
lola: 335131 markings, 546089 edges, 3278 markings/sec, 100 secs
lola: 351978 markings, 578157 edges, 3369 markings/sec, 105 secs
lola: 368540 markings, 608754 edges, 3312 markings/sec, 110 secs
lola: 384422 markings, 637215 edges, 3176 markings/sec, 115 secs
lola: 400893 markings, 667688 edges, 3294 markings/sec, 120 secs
lola: 418109 markings, 700737 edges, 3443 markings/sec, 125 secs
lola: 435356 markings, 733907 edges, 3449 markings/sec, 130 secs
lola: 452107 markings, 763726 edges, 3350 markings/sec, 135 secs
lola: 468853 markings, 795124 edges, 3349 markings/sec, 140 secs
lola: 485137 markings, 823856 edges, 3257 markings/sec, 145 secs
lola: 502220 markings, 855638 edges, 3417 markings/sec, 150 secs
lola: 519034 markings, 888211 edges, 3363 markings/sec, 155 secs
lola: 535886 markings, 919964 edges, 3370 markings/sec, 160 secs
lola: 552932 markings, 953565 edges, 3409 markings/sec, 165 secs
lola: 568970 markings, 983515 edges, 3208 markings/sec, 170 secs
lola: 585550 markings, 1014545 edges, 3316 markings/sec, 175 secs
lola: 602092 markings, 1046005 edges, 3308 markings/sec, 180 secs
lola: 618768 markings, 1077634 edges, 3335 markings/sec, 185 secs
lola: 635395 markings, 1110577 edges, 3325 markings/sec, 190 secs
lola: 651526 markings, 1141381 edges, 3226 markings/sec, 195 secs
lola: 667919 markings, 1172673 edges, 3279 markings/sec, 200 secs
lola: 684677 markings, 1206071 edges, 3352 markings/sec, 205 secs
lola: 701069 markings, 1238287 edges, 3278 markings/sec, 210 secs
lola: 718168 markings, 1272506 edges, 3420 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(PMC_10 + PMC_3 + PMC_4 + PMC_9 + PMC_8 + PMC_7 + PMC_6 + PMC_5 + PMC_2 + PMC_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 19870 markings, 23771 edges, 3974 markings/sec, 0 secs
lola: 39787 markings, 50143 edges, 3983 markings/sec, 5 secs
lola: 60065 markings, 80025 edges, 4056 markings/sec, 10 secs
lola: 79639 markings, 109382 edges, 3915 markings/sec, 15 secs
lola: 99351 markings, 140213 edges, 3942 markings/sec, 20 secs
lola: 118495 markings, 170994 edges, 3829 markings/sec, 25 secs
lola: 138132 markings, 202924 edges, 3927 markings/sec, 30 secs
lola: 157290 markings, 236002 edges, 3832 markings/sec, 35 secs
lola: 176696 markings, 269807 edges, 3881 markings/sec, 40 secs
lola: 195989 markings, 303871 edges, 3859 markings/sec, 45 secs
lola: 215537 markings, 339128 edges, 3910 markings/sec, 50 secs
lola: 234800 markings, 373766 edges, 3853 markings/sec, 55 secs
lola: 253734 markings, 408298 edges, 3787 markings/sec, 60 secs
lola: 272456 markings, 440675 edges, 3744 markings/sec, 65 secs
lola: 291552 markings, 476650 edges, 3819 markings/sec, 70 secs
lola: 310101 markings, 512505 edges, 3710 markings/sec, 75 secs
lola: 328369 markings, 547506 edges, 3654 markings/sec, 80 secs
lola: 346642 markings, 582215 edges, 3655 markings/sec, 85 secs
lola: 365303 markings, 618145 edges, 3732 markings/sec, 90 secs
lola: 384137 markings, 653709 edges, 3767 markings/sec, 95 secs
lola: 403816 markings, 680997 edges, 3936 markings/sec, 100 secs
lola: 422647 markings, 713175 edges, 3766 markings/sec, 105 secs
lola: 441304 markings, 749388 edges, 3731 markings/sec, 110 secs
lola: 460034 markings, 783351 edges, 3746 markings/sec, 115 secs
lola: 478204 markings, 817414 edges, 3634 markings/sec, 120 secs
lola: 496581 markings, 854185 edges, 3675 markings/sec, 125 secs
lola: 515284 markings, 891470 edges, 3741 markings/sec, 130 secs
lola: 533264 markings, 929224 edges, 3596 markings/sec, 135 secs
lola: 551607 markings, 962720 edges, 3669 markings/sec, 140 secs
lola: 569980 markings, 999340 edges, 3675 markings/sec, 145 secs
lola: 588604 markings, 1039091 edges, 3725 markings/sec, 150 secs
lola: 606947 markings, 1075993 edges, 3669 markings/sec, 155 secs
lola: 625178 markings, 1113611 edges, 3646 markings/sec, 160 secs
lola: 643904 markings, 1149642 edges, 3745 markings/sec, 165 secs
lola: 662189 markings, 1187706 edges, 3657 markings/sec, 170 secs
lola: 680580 markings, 1225211 edges, 3678 markings/sec, 175 secs
lola: 699424 markings, 1262339 edges, 3769 markings/sec, 180 secs
lola: 717840 markings, 1301696 edges, 3683 markings/sec, 185 secs
lola: 736411 markings, 1340159 edges, 3714 markings/sec, 190 secs
lola: 754590 markings, 1378618 edges, 3636 markings/sec, 195 secs
lola: 772750 markings, 1416449 edges, 3632 markings/sec, 200 secs
lola: 790822 markings, 1454412 edges, 3614 markings/sec, 205 secs
lola: 809408 markings, 1492670 edges, 3717 markings/sec, 210 secs
lola: 827799 markings, 1531419 edges, 3678 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_msg_10 + wait_msg_1 + wait_msg_2 + wait_msg_3 + wait_msg_4 + wait_msg_5 + wait_msg_6 + wait_msg_7 + wait_msg_8 + wait_msg_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13306 markings, 25503 edges, 2661 markings/sec, 0 secs
lola: 26777 markings, 53523 edges, 2694 markings/sec, 5 secs
lola: 40165 markings, 84272 edges, 2678 markings/sec, 10 secs
lola: 53398 markings, 116437 edges, 2647 markings/sec, 15 secs
lola: 67160 markings, 150542 edges, 2752 markings/sec, 20 secs
lola: 80789 markings, 182880 edges, 2726 markings/sec, 25 secs
lola: 94173 markings, 217457 edges, 2677 markings/sec, 30 secs
lola: 107478 markings, 251213 edges, 2661 markings/sec, 35 secs
lola: 120686 markings, 286127 edges, 2642 markings/sec, 40 secs
lola: 133798 markings, 319439 edges, 2622 markings/sec, 45 secs
lola: 146979 markings, 352969 edges, 2636 markings/sec, 50 secs
lola: 160567 markings, 390009 edges, 2718 markings/sec, 55 secs
lola: 173861 markings, 426568 edges, 2659 markings/sec, 60 secs
lola: 187504 markings, 463551 edges, 2729 markings/sec, 65 secs
lola: 201486 markings, 503157 edges, 2796 markings/sec, 70 secs
lola: 215689 markings, 543147 edges, 2841 markings/sec, 75 secs
lola: 229712 markings, 583449 edges, 2805 markings/sec, 80 secs
lola: 243853 markings, 621694 edges, 2828 markings/sec, 85 secs
lola: 257681 markings, 661285 edges, 2766 markings/sec, 90 secs
lola: 271376 markings, 700739 edges, 2739 markings/sec, 95 secs
lola: 284845 markings, 739955 edges, 2694 markings/sec, 100 secs
lola: 298178 markings, 776480 edges, 2667 markings/sec, 105 secs
lola: 311792 markings, 815634 edges, 2723 markings/sec, 110 secs
lola: 325110 markings, 852296 edges, 2664 markings/sec, 115 secs
lola: 338758 markings, 890449 edges, 2730 markings/sec, 120 secs
lola: 352209 markings, 927214 edges, 2690 markings/sec, 125 secs
lola: 365681 markings, 967543 edges, 2694 markings/sec, 130 secs
lola: 378993 markings, 1007055 edges, 2662 markings/sec, 135 secs
lola: 392374 markings, 1045485 edges, 2676 markings/sec, 140 secs
lola: 406276 markings, 1085246 edges, 2780 markings/sec, 145 secs
lola: 419249 markings, 1124560 edges, 2595 markings/sec, 150 secs
lola: 432629 markings, 1164206 edges, 2676 markings/sec, 155 secs
lola: 446143 markings, 1204374 edges, 2703 markings/sec, 160 secs
lola: 459803 markings, 1244465 edges, 2732 markings/sec, 165 secs
lola: 473548 markings, 1284761 edges, 2749 markings/sec, 170 secs
lola: 486855 markings, 1325249 edges, 2661 markings/sec, 175 secs
lola: 500342 markings, 1363207 edges, 2697 markings/sec, 180 secs
lola: 513734 markings, 1401559 edges, 2678 markings/sec, 185 secs
lola: 526799 markings, 1439206 edges, 2613 markings/sec, 190 secs
lola: 540230 markings, 1477950 edges, 2686 markings/sec, 195 secs
lola: 553562 markings, 1519135 edges, 2666 markings/sec, 200 secs
lola: 566977 markings, 1560223 edges, 2683 markings/sec, 205 secs
lola: 580067 markings, 1598905 edges, 2618 markings/sec, 210 secs
lola: 593337 markings, 1639968 edges, 2654 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_msg_10 + wait_msg_1 + wait_msg_2 + wait_msg_3 + wait_msg_4 + wait_msg_5 + wait_msg_6 + wait_msg_7 + wait_msg_8 + wait_msg_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13682 markings, 26429 edges, 2736 markings/sec, 0 secs
lola: 27480 markings, 55257 edges, 2760 markings/sec, 5 secs
lola: 41484 markings, 87410 edges, 2801 markings/sec, 10 secs
lola: 55167 markings, 120958 edges, 2737 markings/sec, 15 secs
lola: 68763 markings, 154425 edges, 2719 markings/sec, 20 secs
lola: 82429 markings, 187652 edges, 2733 markings/sec, 25 secs
lola: 95999 markings, 222050 edges, 2714 markings/sec, 30 secs
lola: 109691 markings, 257367 edges, 2738 markings/sec, 35 secs
lola: 123326 markings, 293095 edges, 2727 markings/sec, 40 secs
lola: 136998 markings, 327625 edges, 2734 markings/sec, 45 secs
lola: 151128 markings, 364360 edges, 2826 markings/sec, 50 secs
lola: 165021 markings, 402798 edges, 2779 markings/sec, 55 secs
lola: 178738 markings, 439669 edges, 2743 markings/sec, 60 secs
lola: 192684 markings, 478490 edges, 2789 markings/sec, 65 secs
lola: 206382 markings, 516608 edges, 2740 markings/sec, 70 secs
lola: 219997 markings, 555478 edges, 2723 markings/sec, 75 secs
lola: 233550 markings, 593522 edges, 2711 markings/sec, 80 secs
lola: 247148 markings, 631128 edges, 2720 markings/sec, 85 secs
lola: 260841 markings, 670055 edges, 2739 markings/sec, 90 secs
lola: 274255 markings, 710043 edges, 2683 markings/sec, 95 secs
lola: 287652 markings, 747639 edges, 2679 markings/sec, 100 secs
lola: 301320 markings, 785466 edges, 2734 markings/sec, 105 secs
lola: 315116 markings, 825413 edges, 2759 markings/sec, 110 secs
lola: 328567 markings, 861838 edges, 2690 markings/sec, 115 secs
lola: 342120 markings, 899802 edges, 2711 markings/sec, 120 secs
lola: 355577 markings, 936561 edges, 2691 markings/sec, 125 secs
lola: 368847 markings, 977216 edges, 2654 markings/sec, 130 secs
lola: 382009 markings, 1015043 edges, 2632 markings/sec, 135 secs
lola: 396041 markings, 1055619 edges, 2806 markings/sec, 140 secs
lola: 410261 markings, 1096568 edges, 2844 markings/sec, 145 secs
lola: 424189 markings, 1140114 edges, 2786 markings/sec, 150 secs
lola: 437369 markings, 1176262 edges, 2636 markings/sec, 155 secs
lola: 450984 markings, 1218162 edges, 2723 markings/sec, 160 secs
lola: 465215 markings, 1260458 edges, 2846 markings/sec, 165 secs
lola: 479794 markings, 1304775 edges, 2916 markings/sec, 170 secs
lola: 493679 markings, 1344039 edges, 2777 markings/sec, 175 secs
lola: 507499 markings, 1383555 edges, 2764 markings/sec, 180 secs
lola: 520935 markings, 1421614 edges, 2687 markings/sec, 185 secs
lola: 534567 markings, 1461021 edges, 2726 markings/sec, 190 secs
lola: 548518 markings, 1503947 edges, 2790 markings/sec, 195 secs
lola: 562972 markings, 1548057 edges, 2891 markings/sec, 200 secs
lola: 576732 markings, 1589378 edges, 2752 markings/sec, 205 secs
lola: 590699 markings, 1630773 edges, 2793 markings/sec, 210 secs
lola: 604447 markings, 1674512 edges, 2750 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RMC_10 + RMC_1 + RMC_2 + RMC_3 + RMC_4 + RMC_5 + RMC_6 + RMC_7 + RMC_8 + RMC_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 19404 markings, 21261 edges, 3881 markings/sec, 0 secs
lola: 38841 markings, 43921 edges, 3887 markings/sec, 5 secs
lola: 58485 markings, 68717 edges, 3929 markings/sec, 10 secs
lola: 78114 markings, 94368 edges, 3926 markings/sec, 15 secs
lola: 97738 markings, 119290 edges, 3925 markings/sec, 20 secs
lola: 117019 markings, 146064 edges, 3856 markings/sec, 25 secs
lola: 136556 markings, 173999 edges, 3907 markings/sec, 30 secs
lola: 156571 markings, 203848 edges, 4003 markings/sec, 35 secs
lola: 175857 markings, 232791 edges, 3857 markings/sec, 40 secs
lola: 195018 markings, 261423 edges, 3832 markings/sec, 45 secs
lola: 214185 markings, 292153 edges, 3833 markings/sec, 50 secs
lola: 233668 markings, 321783 edges, 3897 markings/sec, 55 secs
lola: 253010 markings, 352305 edges, 3868 markings/sec, 60 secs
lola: 272359 markings, 384491 edges, 3870 markings/sec, 65 secs
lola: 292495 markings, 417360 edges, 4027 markings/sec, 70 secs
lola: 312476 markings, 449600 edges, 3996 markings/sec, 75 secs
lola: 332251 markings, 482192 edges, 3955 markings/sec, 80 secs
lola: 352109 markings, 516011 edges, 3972 markings/sec, 85 secs
lola: 371910 markings, 548728 edges, 3960 markings/sec, 90 secs
lola: 391772 markings, 582839 edges, 3972 markings/sec, 95 secs
lola: 411381 markings, 617942 edges, 3922 markings/sec, 100 secs
lola: 431018 markings, 653952 edges, 3927 markings/sec, 105 secs
lola: 450455 markings, 688053 edges, 3887 markings/sec, 110 secs
lola: 469713 markings, 721749 edges, 3852 markings/sec, 115 secs
lola: 489262 markings, 758683 edges, 3910 markings/sec, 120 secs
lola: 508616 markings, 794074 edges, 3871 markings/sec, 125 secs
lola: 528039 markings, 830273 edges, 3885 markings/sec, 130 secs
lola: 547504 markings, 865657 edges, 3893 markings/sec, 135 secs
lola: 567049 markings, 902164 edges, 3909 markings/sec, 140 secs
lola: 586953 markings, 939814 edges, 3981 markings/sec, 145 secs
lola: 606682 markings, 976840 edges, 3946 markings/sec, 150 secs
lola: 626558 markings, 1015107 edges, 3975 markings/sec, 155 secs
lola: 646537 markings, 1051684 edges, 3996 markings/sec, 160 secs
lola: 666482 markings, 1089863 edges, 3989 markings/sec, 165 secs
lola: 686424 markings, 1128408 edges, 3988 markings/sec, 170 secs
lola: 706179 markings, 1167804 edges, 3951 markings/sec, 175 secs
lola: 725993 markings, 1205842 edges, 3963 markings/sec, 180 secs
lola: 745592 markings, 1245212 edges, 3920 markings/sec, 185 secs
lola: 765601 markings, 1284984 edges, 4002 markings/sec, 190 secs
lola: 785572 markings, 1323841 edges, 3994 markings/sec, 195 secs
lola: 805245 markings, 1363311 edges, 3935 markings/sec, 200 secs
lola: 824845 markings, 1403428 edges, 3920 markings/sec, 205 secs
lola: 844768 markings, 1443430 edges, 3985 markings/sec, 210 secs
lola: 865058 markings, 1483963 edges, 4058 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(msgl_1 + msgl_2 + msgl_3 + msgl_4 + msgl_5 + msgl_6 + msgl_7 + msgl_8 + msgl_9 + msgl_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FMCb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 15308 markings, 18992 edges, 3062 markings/sec, 0 secs
lola: 31333 markings, 41518 edges, 3205 markings/sec, 5 secs
lola: 47424 markings, 66788 edges, 3218 markings/sec, 10 secs
lola: 63420 markings, 90954 edges, 3199 markings/sec, 15 secs
lola: 79670 markings, 117891 edges, 3250 markings/sec, 20 secs
lola: 95679 markings, 142844 edges, 3202 markings/sec, 25 secs
lola: 111422 markings, 168811 edges, 3149 markings/sec, 30 secs
lola: 127388 markings, 195039 edges, 3193 markings/sec, 35 secs
lola: 143895 markings, 222271 edges, 3301 markings/sec, 40 secs
lola: 160027 markings, 249495 edges, 3226 markings/sec, 45 secs
lola: 176400 markings, 277096 edges, 3275 markings/sec, 50 secs
lola: 192528 markings, 303999 edges, 3226 markings/sec, 55 secs
lola: 208591 markings, 331880 edges, 3213 markings/sec, 60 secs
lola: 224980 markings, 361102 edges, 3278 markings/sec, 65 secs
lola: 241007 markings, 389158 edges, 3205 markings/sec, 70 secs
lola: 257745 markings, 419361 edges, 3348 markings/sec, 75 secs
lola: 273994 markings, 448568 edges, 3250 markings/sec, 80 secs
lola: 290592 markings, 478807 edges, 3320 markings/sec, 85 secs
lola: 307124 markings, 508902 edges, 3306 markings/sec, 90 secs
lola: 323331 markings, 538678 edges, 3241 markings/sec, 95 secs
lola: 340009 markings, 569303 edges, 3336 markings/sec, 100 secs
lola: 356626 markings, 600626 edges, 3323 markings/sec, 105 secs
lola: 372610 markings, 626109 edges, 3197 markings/sec, 110 secs
lola: 388436 markings, 651360 edges, 3165 markings/sec, 115 secs
lola: 404878 markings, 682733 edges, 3288 markings/sec, 120 secs
lola: 420869 markings, 711827 edges, 3198 markings/sec, 125 secs
lola: 437607 markings, 744085 edges, 3348 markings/sec, 130 secs
lola: 453713 markings, 773660 edges, 3221 markings/sec, 135 secs
lola: 470208 markings, 805286 edges, 3299 markings/sec, 140 secs
lola: 486534 markings, 836185 edges, 3265 markings/sec, 145 secs
lola: 503075 markings, 866476 edges, 3308 markings/sec, 150 secs
lola: 519197 markings, 896736 edges, 3224 markings/sec, 155 secs
lola: 536128 markings, 930546 edges, 3386 markings/sec, 160 secs
lola: 551987 markings, 958246 edges, 3172 markings/sec, 165 secs
lola: 568294 markings, 989779 edges, 3261 markings/sec, 170 secs
lola: 584607 markings, 1020120 edges, 3263 markings/sec, 175 secs
lola: 601305 markings, 1052457 edges, 3340 markings/sec, 180 secs
lola: 617749 markings, 1084262 edges, 3289 markings/sec, 185 secs
lola: 634100 markings, 1115984 edges, 3270 markings/sec, 190 secs
lola: 650370 markings, 1147083 edges, 3254 markings/sec, 195 secs
lola: 667586 markings, 1182287 edges, 3443 markings/sec, 200 secs
lola: 684416 markings, 1216854 edges, 3366 markings/sec, 205 secs
lola: 701509 markings, 1249957 edges, 3419 markings/sec, 210 secs
lola: 717912 markings, 1282332 edges, 3281 markings/sec, 215 secs
lola: 734335 markings, 1313625 edges, 3285 markings/sec, 220 secs
lola: 750842 markings, 1345544 edges, 3301 markings/sec, 225 secs
lola: 767304 markings, 1378926 edges, 3292 markings/sec, 230 secs
lola: 783306 markings, 1408455 edges, 3200 markings/sec, 235 secs
lola: 799283 markings, 1441169 edges, 3195 markings/sec, 240 secs
lola: 815163 markings, 1470790 edges, 3176 markings/sec, 245 secs
lola: 831726 markings, 1502489 edges, 3313 markings/sec, 250 secs
lola: 847949 markings, 1533812 edges, 3245 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Cpt1_1 + Cpt1_2 + Cpt1_3 + Cpt1_4 + Cpt1_5 + Cpt1_6 + Cpt1_7 + Cpt1_8 + Cpt1_9 + Cpt1_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(loop_em_1 + loop_em_2 + loop_em_3 + loop_em_4 + loop_em_5 + loop_em_6 + loop_em_7 + loop_em_8 + loop_em_9 + loop_em_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13922 markings, 22043 edges, 2784 markings/sec, 0 secs
lola: 27925 markings, 47276 edges, 2801 markings/sec, 5 secs
lola: 42406 markings, 74977 edges, 2896 markings/sec, 10 secs
lola: 56402 markings, 101638 edges, 2799 markings/sec, 15 secs
lola: 70313 markings, 129281 edges, 2782 markings/sec, 20 secs
lola: 84116 markings, 156397 edges, 2761 markings/sec, 25 secs
lola: 98475 markings, 185522 edges, 2872 markings/sec, 30 secs
lola: 112689 markings, 214097 edges, 2843 markings/sec, 35 secs
lola: 126705 markings, 243250 edges, 2803 markings/sec, 40 secs
lola: 140804 markings, 272522 edges, 2820 markings/sec, 45 secs
lola: 154476 markings, 301161 edges, 2734 markings/sec, 50 secs
lola: 168398 markings, 330841 edges, 2784 markings/sec, 55 secs
lola: 182478 markings, 359709 edges, 2816 markings/sec, 60 secs
lola: 196651 markings, 390362 edges, 2835 markings/sec, 65 secs
lola: 210400 markings, 419431 edges, 2750 markings/sec, 70 secs
lola: 224356 markings, 449640 edges, 2791 markings/sec, 75 secs
lola: 238416 markings, 479937 edges, 2812 markings/sec, 80 secs
lola: 252343 markings, 509908 edges, 2785 markings/sec, 85 secs
lola: 266697 markings, 541768 edges, 2871 markings/sec, 90 secs
lola: 280504 markings, 571680 edges, 2761 markings/sec, 95 secs
lola: 294468 markings, 602094 edges, 2793 markings/sec, 100 secs
lola: 308631 markings, 632287 edges, 2833 markings/sec, 105 secs
lola: 322889 markings, 663400 edges, 2852 markings/sec, 110 secs
lola: 336870 markings, 693512 edges, 2796 markings/sec, 115 secs
lola: 350646 markings, 723587 edges, 2755 markings/sec, 120 secs
lola: 364554 markings, 753750 edges, 2782 markings/sec, 125 secs
lola: 378696 markings, 785600 edges, 2828 markings/sec, 130 secs
lola: 392638 markings, 815849 edges, 2788 markings/sec, 135 secs
lola: 406856 markings, 846604 edges, 2844 markings/sec, 140 secs
lola: 420720 markings, 876540 edges, 2773 markings/sec, 145 secs
lola: 434823 markings, 909256 edges, 2821 markings/sec, 150 secs
lola: 448626 markings, 939169 edges, 2761 markings/sec, 155 secs
lola: 462832 markings, 971631 edges, 2841 markings/sec, 160 secs
lola: 476713 markings, 1003068 edges, 2776 markings/sec, 165 secs
lola: 490679 markings, 1033843 edges, 2793 markings/sec, 170 secs
lola: 504968 markings, 1065720 edges, 2858 markings/sec, 175 secs
lola: 518988 markings, 1098360 edges, 2804 markings/sec, 180 secs
lola: 533153 markings, 1130594 edges, 2833 markings/sec, 185 secs
lola: 546976 markings, 1160572 edges, 2765 markings/sec, 190 secs
lola: 560565 markings, 1190441 edges, 2718 markings/sec, 195 secs
lola: 574618 markings, 1221757 edges, 2811 markings/sec, 200 secs
lola: 588329 markings, 1252099 edges, 2742 markings/sec, 205 secs
lola: 602455 markings, 1284314 edges, 2825 markings/sec, 210 secs
lola: 616580 markings, 1317000 edges, 2825 markings/sec, 215 secs
lola: 630922 markings, 1349019 edges, 2868 markings/sec, 220 secs
lola: 644665 markings, 1379261 edges, 2749 markings/sec, 225 secs
lola: 658251 markings, 1409431 edges, 2717 markings/sec, 230 secs
lola: 672005 markings, 1439821 edges, 2751 markings/sec, 235 secs
lola: 686068 markings, 1471871 edges, 2813 markings/sec, 240 secs
lola: 700015 markings, 1503993 edges, 2789 markings/sec, 245 secs
lola: 714089 markings, 1535322 edges, 2815 markings/sec, 250 secs
lola: 727988 markings, 1565845 edges, 2780 markings/sec, 255 secs
lola: 741694 markings, 1596398 edges, 2741 markings/sec, 260 secs
lola: 755461 markings, 1626938 edges, 2753 markings/sec, 265 secs
lola: 769473 markings, 1659425 edges, 2802 markings/sec, 270 secs
lola: 783410 markings, 1690313 edges, 2787 markings/sec, 275 secs
lola: 797568 markings, 1722578 edges, 2832 markings/sec, 280 secs
lola: 811254 markings, 1753267 edges, 2737 markings/sec, 285 secs
lola: 825120 markings, 1783928 edges, 2773 markings/sec, 290 secs
lola: 838800 markings, 1814530 edges, 2736 markings/sec, 295 secs
lola: 852780 markings, 1845803 edges, 2796 markings/sec, 300 secs
lola: 866978 markings, 1878045 edges, 2840 markings/sec, 305 secs
lola: 881161 markings, 1910437 edges, 2837 markings/sec, 310 secs
lola: 895038 markings, 1942365 edges, 2775 markings/sec, 315 secs
lola: 908849 markings, 1973926 edges, 2762 markings/sec, 320 secs
lola: 922792 markings, 2005340 edges, 2789 markings/sec, 325 secs
lola: 936571 markings, 2036495 edges, 2756 markings/sec, 330 secs
lola: 950282 markings, 2067236 edges, 2742 markings/sec, 335 secs
lola: 964429 markings, 2099072 edges, 2829 markings/sec, 340 secs
lola: 978139 markings, 2129249 edges, 2742 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T_out)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13468 markings, 16656 edges, 2694 markings/sec, 0 secs
lola: 27255 markings, 34836 edges, 2757 markings/sec, 5 secs
lola: 41906 markings, 55727 edges, 2930 markings/sec, 10 secs
lola: 56487 markings, 77147 edges, 2916 markings/sec, 15 secs
lola: 71004 markings, 99256 edges, 2903 markings/sec, 20 secs
lola: 86033 markings, 123130 edges, 3006 markings/sec, 25 secs
lola: 101080 markings, 147199 edges, 3009 markings/sec, 30 secs
lola: 114961 markings, 167805 edges, 2776 markings/sec, 35 secs
lola: 129478 markings, 190926 edges, 2903 markings/sec, 40 secs
lola: 143926 markings, 213493 edges, 2890 markings/sec, 45 secs
lola: 158337 markings, 236591 edges, 2882 markings/sec, 50 secs
lola: 173087 markings, 261393 edges, 2950 markings/sec, 55 secs
lola: 187494 markings, 284635 edges, 2881 markings/sec, 60 secs
lola: 202385 markings, 309259 edges, 2978 markings/sec, 65 secs
lola: 216998 markings, 334219 edges, 2923 markings/sec, 70 secs
lola: 231384 markings, 358190 edges, 2877 markings/sec, 75 secs
lola: 246315 markings, 382893 edges, 2986 markings/sec, 80 secs
lola: 260343 markings, 405095 edges, 2806 markings/sec, 85 secs
lola: 275471 markings, 430870 edges, 3026 markings/sec, 90 secs
lola: 289912 markings, 454639 edges, 2888 markings/sec, 95 secs
lola: 304615 markings, 479893 edges, 2941 markings/sec, 100 secs
lola: 319408 markings, 505008 edges, 2959 markings/sec, 105 secs
lola: 334729 markings, 530953 edges, 3064 markings/sec, 110 secs
lola: 350102 markings, 557355 edges, 3075 markings/sec, 115 secs
lola: 365225 markings, 583338 edges, 3025 markings/sec, 120 secs
lola: 380616 markings, 610471 edges, 3078 markings/sec, 125 secs
lola: 395661 markings, 636759 edges, 3009 markings/sec, 130 secs
lola: 409680 markings, 658545 edges, 2804 markings/sec, 135 secs
lola: 424751 markings, 684753 edges, 3014 markings/sec, 140 secs
lola: 438549 markings, 706020 edges, 2760 markings/sec, 145 secs
lola: 453282 markings, 730654 edges, 2947 markings/sec, 150 secs
lola: 468869 markings, 757695 edges, 3117 markings/sec, 155 secs
lola: 483869 markings, 783268 edges, 3000 markings/sec, 160 secs
lola: 499449 markings, 810656 edges, 3116 markings/sec, 165 secs
lola: 514598 markings, 837066 edges, 3030 markings/sec, 170 secs
lola: 529398 markings, 862903 edges, 2960 markings/sec, 175 secs
lola: 544633 markings, 890387 edges, 3047 markings/sec, 180 secs
lola: 559493 markings, 916279 edges, 2972 markings/sec, 185 secs
lola: 574654 markings, 943537 edges, 3032 markings/sec, 190 secs
lola: 589903 markings, 971700 edges, 3050 markings/sec, 195 secs
lola: 604703 markings, 998698 edges, 2960 markings/sec, 200 secs
lola: 619795 markings, 1026069 edges, 3018 markings/sec, 205 secs
lola: 634225 markings, 1051463 edges, 2886 markings/sec, 210 secs
lola: 649327 markings, 1077819 edges, 3020 markings/sec, 215 secs
lola: 664186 markings, 1103047 edges, 2972 markings/sec, 220 secs
lola: 678933 markings, 1128987 edges, 2949 markings/sec, 225 secs
lola: 694106 markings, 1156251 edges, 3035 markings/sec, 230 secs
lola: 708914 markings, 1181771 edges, 2962 markings/sec, 235 secs
lola: 723728 markings, 1208552 edges, 2963 markings/sec, 240 secs
lola: 738730 markings, 1235906 edges, 3000 markings/sec, 245 secs
lola: 753486 markings, 1261614 edges, 2951 markings/sec, 250 secs
lola: 768799 markings, 1289438 edges, 3063 markings/sec, 255 secs
lola: 783821 markings, 1316956 edges, 3004 markings/sec, 260 secs
lola: 799447 markings, 1346343 edges, 3125 markings/sec, 265 secs
lola: 814597 markings, 1373372 edges, 3030 markings/sec, 270 secs
lola: 829670 markings, 1400758 edges, 3015 markings/sec, 275 secs
lola: 844601 markings, 1427681 edges, 2986 markings/sec, 280 secs
lola: 859572 markings, 1455078 edges, 2994 markings/sec, 285 secs
lola: 875009 markings, 1484458 edges, 3087 markings/sec, 290 secs
lola: 890262 markings, 1512319 edges, 3051 markings/sec, 295 secs
lola: 905690 markings, 1540551 edges, 3086 markings/sec, 300 secs
lola: 920765 markings, 1567649 edges, 3015 markings/sec, 305 secs
lola: 936195 markings, 1596154 edges, 3086 markings/sec, 310 secs
lola: 951668 markings, 1624955 edges, 3095 markings/sec, 315 secs
lola: 966599 markings, 1652147 edges, 2986 markings/sec, 320 secs
lola: 981863 markings, 1679938 edges, 3053 markings/sec, 325 secs
lola: 997249 markings, 1708447 edges, 3077 markings/sec, 330 secs
lola: 1012610 markings, 1736818 edges, 3072 markings/sec, 335 secs
lola: 1027720 markings, 1764798 edges, 3022 markings/sec, 340 secs
lola: 1043089 markings, 1793285 edges, 3074 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_cable_10 + wait_cable_1 + wait_cable_2 + wait_cable_3 + wait_cable_4 + wait_cable_5 + wait_cable_6 + wait_cable_7 + wait_cable_8 + wait_cable_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1044 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: 13752 markings, 15254 edges, 2750 markings/sec, 0 secs
lola: 27651 markings, 32209 edges, 2780 markings/sec, 5 secs
lola: 41614 markings, 49358 edges, 2793 markings/sec, 10 secs
lola: 55485 markings, 66968 edges, 2774 markings/sec, 15 secs
lola: 69382 markings, 84790 edges, 2779 markings/sec, 20 secs
lola: 83061 markings, 101850 edges, 2736 markings/sec, 25 secs
lola: 96782 markings, 119377 edges, 2744 markings/sec, 30 secs
lola: 110698 markings, 137425 edges, 2783 markings/sec, 35 secs
lola: 124580 markings, 155112 edges, 2776 markings/sec, 40 secs
lola: 138352 markings, 173406 edges, 2754 markings/sec, 45 secs
lola: 152254 markings, 192264 edges, 2780 markings/sec, 50 secs
lola: 166097 markings, 210836 edges, 2769 markings/sec, 55 secs
lola: 179966 markings, 229304 edges, 2774 markings/sec, 60 secs
lola: 193804 markings, 247764 edges, 2768 markings/sec, 65 secs
lola: 207623 markings, 265890 edges, 2764 markings/sec, 70 secs
lola: 221510 markings, 284373 edges, 2777 markings/sec, 75 secs
lola: 235286 markings, 302111 edges, 2755 markings/sec, 80 secs
lola: 249019 markings, 320221 edges, 2747 markings/sec, 85 secs
lola: 262845 markings, 338729 edges, 2765 markings/sec, 90 secs
lola: 276495 markings, 356879 edges, 2730 markings/sec, 95 secs
lola: 290296 markings, 374834 edges, 2760 markings/sec, 100 secs
lola: 304045 markings, 393841 edges, 2750 markings/sec, 105 secs
lola: 317844 markings, 412841 edges, 2760 markings/sec, 110 secs
lola: 331671 markings, 430975 edges, 2765 markings/sec, 115 secs
lola: 345552 markings, 449860 edges, 2776 markings/sec, 120 secs
lola: 359429 markings, 469078 edges, 2775 markings/sec, 125 secs
lola: 373316 markings, 487570 edges, 2777 markings/sec, 130 secs
lola: 387185 markings, 506111 edges, 2774 markings/sec, 135 secs
lola: 401062 markings, 524999 edges, 2775 markings/sec, 140 secs
lola: 414908 markings, 543989 edges, 2769 markings/sec, 145 secs
lola: 428795 markings, 562887 edges, 2777 markings/sec, 150 secs
lola: 442567 markings, 581584 edges, 2754 markings/sec, 155 secs
lola: 456420 markings, 600639 edges, 2771 markings/sec, 160 secs
lola: 470290 markings, 619461 edges, 2774 markings/sec, 165 secs
lola: 484233 markings, 639512 edges, 2789 markings/sec, 170 secs
lola: 497931 markings, 659767 edges, 2740 markings/sec, 175 secs
lola: 511651 markings, 679134 edges, 2744 markings/sec, 180 secs
lola: 525471 markings, 698017 edges, 2764 markings/sec, 185 secs
lola: 539321 markings, 716653 edges, 2770 markings/sec, 190 secs
lola: 553257 markings, 735541 edges, 2787 markings/sec, 195 secs
lola: 567146 markings, 755005 edges, 2778 markings/sec, 200 secs
lola: 581031 markings, 774723 edges, 2777 markings/sec, 205 secs
lola: 594917 markings, 794222 edges, 2777 markings/sec, 210 secs
lola: 608734 markings, 813772 edges, 2763 markings/sec, 215 secs
lola: 622703 markings, 833509 edges, 2794 markings/sec, 220 secs
lola: 636675 markings, 852872 edges, 2794 markings/sec, 225 secs
lola: 650560 markings, 872139 edges, 2777 markings/sec, 230 secs
lola: 664227 markings, 891080 edges, 2733 markings/sec, 235 secs
lola: 678064 markings, 910644 edges, 2767 markings/sec, 240 secs
lola: 692077 markings, 930732 edges, 2803 markings/sec, 245 secs
lola: 706032 markings, 950688 edges, 2791 markings/sec, 250 secs
lola: 719936 markings, 970092 edges, 2781 markings/sec, 255 secs
lola: 733762 markings, 989804 edges, 2765 markings/sec, 260 secs
lola: 747791 markings, 1009004 edges, 2806 markings/sec, 265 secs
lola: 761780 markings, 1029015 edges, 2798 markings/sec, 270 secs
lola: 775676 markings, 1049406 edges, 2779 markings/sec, 275 secs
lola: 789289 markings, 1069625 edges, 2723 markings/sec, 280 secs
lola: 803028 markings, 1089735 edges, 2748 markings/sec, 285 secs
lola: 816877 markings, 1109147 edges, 2770 markings/sec, 290 secs
lola: 830863 markings, 1129220 edges, 2797 markings/sec, 295 secs
lola: 845054 markings, 1149313 edges, 2838 markings/sec, 300 secs
lola: 859068 markings, 1169188 edges, 2803 markings/sec, 305 secs
lola: 872968 markings, 1188894 edges, 2780 markings/sec, 310 secs
lola: 886822 markings, 1209340 edges, 2771 markings/sec, 315 secs
lola: 900791 markings, 1229202 edges, 2794 markings/sec, 320 secs
lola: 914742 markings, 1249895 edges, 2790 markings/sec, 325 secs
lola: 928814 markings, 1269729 edges, 2814 markings/sec, 330 secs
lola: 942830 markings, 1290474 edges, 2803 markings/sec, 335 secs
lola: 956768 markings, 1311227 edges, 2788 markings/sec, 340 secs
lola: 970752 markings, 1331240 edges, 2797 markings/sec, 345 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 10 unknown 1 unknown unknown unknown
FORMULA SafeBus-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-10 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496449139178

--------------------
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="S_SafeBus-PT-10"
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/S_SafeBus-PT-10.tgz
mv S_SafeBus-PT-10 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 S_SafeBus-PT-10, 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 r148-csrt-149443433000245"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;