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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 15797 markings, 19609 edges, 3159 markings/sec, 0 secs
lola: 32141 markings, 42494 edges, 3269 markings/sec, 5 secs
lola: 49447 markings, 69457 edges, 3461 markings/sec, 10 secs
lola: 66133 markings, 94016 edges, 3337 markings/sec, 15 secs
lola: 82843 markings, 120134 edges, 3342 markings/sec, 20 secs
lola: 99329 markings, 145588 edges, 3297 markings/sec, 25 secs
lola: 115358 markings, 170610 edges, 3206 markings/sec, 30 secs
lola: 131969 markings, 196886 edges, 3322 markings/sec, 35 secs
lola: 148286 markings, 223008 edges, 3263 markings/sec, 40 secs
lola: 164456 markings, 248594 edges, 3234 markings/sec, 45 secs
lola: 180409 markings, 274504 edges, 3191 markings/sec, 50 secs
lola: 196454 markings, 301917 edges, 3209 markings/sec, 55 secs
lola: 212915 markings, 329746 edges, 3292 markings/sec, 60 secs
lola: 229304 markings, 357330 edges, 3278 markings/sec, 65 secs
lola: 245961 markings, 387296 edges, 3331 markings/sec, 70 secs
lola: 262711 markings, 417362 edges, 3350 markings/sec, 75 secs
lola: 278778 markings, 441202 edges, 3213 markings/sec, 80 secs
lola: 295104 markings, 469999 edges, 3265 markings/sec, 85 secs
lola: 311246 markings, 498205 edges, 3228 markings/sec, 90 secs
lola: 327721 markings, 525473 edges, 3295 markings/sec, 95 secs
lola: 344503 markings, 556625 edges, 3356 markings/sec, 100 secs
lola: 361255 markings, 587447 edges, 3350 markings/sec, 105 secs
lola: 377273 markings, 616257 edges, 3204 markings/sec, 110 secs
lola: 393688 markings, 646791 edges, 3283 markings/sec, 115 secs
lola: 410707 markings, 678250 edges, 3404 markings/sec, 120 secs
lola: 427044 markings, 708453 edges, 3267 markings/sec, 125 secs
lola: 443941 markings, 738242 edges, 3379 markings/sec, 130 secs
lola: 460346 markings, 767141 edges, 3281 markings/sec, 135 secs
lola: 477126 markings, 799044 edges, 3356 markings/sec, 140 secs
lola: 494237 markings, 830903 edges, 3422 markings/sec, 145 secs
lola: 511128 markings, 861970 edges, 3378 markings/sec, 150 secs
lola: 527785 markings, 893157 edges, 3331 markings/sec, 155 secs
lola: 544871 markings, 925777 edges, 3417 markings/sec, 160 secs
lola: 561748 markings, 958845 edges, 3375 markings/sec, 165 secs
lola: 578864 markings, 991932 edges, 3423 markings/sec, 170 secs
lola: 595589 markings, 1022293 edges, 3345 markings/sec, 175 secs
lola: 613281 markings, 1056872 edges, 3538 markings/sec, 180 secs
lola: 629488 markings, 1085842 edges, 3241 markings/sec, 185 secs
lola: 645419 markings, 1115848 edges, 3186 markings/sec, 190 secs
lola: 662085 markings, 1148477 edges, 3333 markings/sec, 195 secs
lola: 678401 markings, 1179008 edges, 3263 markings/sec, 200 secs
lola: 694431 markings, 1209034 edges, 3206 markings/sec, 205 secs
lola: 711135 markings, 1241758 edges, 3341 markings/sec, 210 secs
lola: 728427 markings, 1276508 edges, 3458 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: 13751 markings, 15253 edges, 2750 markings/sec, 0 secs
lola: 27462 markings, 32007 edges, 2742 markings/sec, 5 secs
lola: 40798 markings, 48409 edges, 2667 markings/sec, 10 secs
lola: 55296 markings, 66758 edges, 2900 markings/sec, 15 secs
lola: 69497 markings, 84921 edges, 2840 markings/sec, 20 secs
lola: 83251 markings, 102101 edges, 2751 markings/sec, 25 secs
lola: 97120 markings, 119790 edges, 2774 markings/sec, 30 secs
lola: 111043 markings, 137842 edges, 2785 markings/sec, 35 secs
lola: 125034 markings, 155725 edges, 2798 markings/sec, 40 secs
lola: 139048 markings, 174639 edges, 2803 markings/sec, 45 secs
lola: 153360 markings, 193735 edges, 2862 markings/sec, 50 secs
lola: 167826 markings, 213143 edges, 2893 markings/sec, 55 secs
lola: 182391 markings, 232478 edges, 2913 markings/sec, 60 secs
lola: 196722 markings, 251454 edges, 2866 markings/sec, 65 secs
lola: 210726 markings, 269872 edges, 2801 markings/sec, 70 secs
lola: 225044 markings, 288919 edges, 2864 markings/sec, 75 secs
lola: 239381 markings, 307582 edges, 2867 markings/sec, 80 secs
lola: 253742 markings, 326241 edges, 2872 markings/sec, 85 secs
lola: 268169 markings, 345905 edges, 2885 markings/sec, 90 secs
lola: 282318 markings, 364555 edges, 2830 markings/sec, 95 secs
lola: 296494 markings, 383703 edges, 2835 markings/sec, 100 secs
lola: 311139 markings, 403891 edges, 2929 markings/sec, 105 secs
lola: 326016 markings, 423715 edges, 2975 markings/sec, 110 secs
lola: 340873 markings, 443500 edges, 2971 markings/sec, 115 secs
lola: 355612 markings, 464032 edges, 2948 markings/sec, 120 secs
lola: 370179 markings, 483492 edges, 2913 markings/sec, 125 secs
lola: 384150 markings, 501998 edges, 2794 markings/sec, 130 secs
lola: 398578 markings, 521662 edges, 2886 markings/sec, 135 secs
lola: 412707 markings, 540897 edges, 2826 markings/sec, 140 secs
lola: 426960 markings, 560349 edges, 2851 markings/sec, 145 secs
lola: 440920 markings, 579459 edges, 2792 markings/sec, 150 secs
lola: 454936 markings, 598647 edges, 2803 markings/sec, 155 secs
lola: 469028 markings, 617726 edges, 2818 markings/sec, 160 secs
lola: 483386 markings, 638394 edges, 2872 markings/sec, 165 secs
lola: 497314 markings, 658843 edges, 2786 markings/sec, 170 secs
lola: 511217 markings, 678545 edges, 2781 markings/sec, 175 secs
lola: 525278 markings, 697733 edges, 2812 markings/sec, 180 secs
lola: 539524 markings, 716916 edges, 2849 markings/sec, 185 secs
lola: 553746 markings, 736280 edges, 2844 markings/sec, 190 secs
lola: 567785 markings, 755949 edges, 2808 markings/sec, 195 secs
lola: 581966 markings, 776134 edges, 2836 markings/sec, 200 secs
lola: 595940 markings, 795685 edges, 2795 markings/sec, 205 secs
lola: 609867 markings, 815333 edges, 2785 markings/sec, 210 secs
lola: 624448 markings, 836080 edges, 2916 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: 13864 markings, 17143 edges, 2773 markings/sec, 0 secs
lola: 28210 markings, 36109 edges, 2869 markings/sec, 5 secs
lola: 42821 markings, 57084 edges, 2922 markings/sec, 10 secs
lola: 57547 markings, 78807 edges, 2945 markings/sec, 15 secs
lola: 72448 markings, 101630 edges, 2980 markings/sec, 20 secs
lola: 87725 markings, 125825 edges, 3055 markings/sec, 25 secs
lola: 103131 markings, 150359 edges, 3081 markings/sec, 30 secs
lola: 117412 markings, 172036 edges, 2856 markings/sec, 35 secs
lola: 132113 markings, 195070 edges, 2940 markings/sec, 40 secs
lola: 146799 markings, 218036 edges, 2937 markings/sec, 45 secs
lola: 161365 markings, 241616 edges, 2913 markings/sec, 50 secs
lola: 176268 markings, 266476 edges, 2981 markings/sec, 55 secs
lola: 190925 markings, 290342 edges, 2931 markings/sec, 60 secs
lola: 205804 markings, 315069 edges, 2976 markings/sec, 65 secs
lola: 220777 markings, 340472 edges, 2995 markings/sec, 70 secs
lola: 235752 markings, 365520 edges, 2995 markings/sec, 75 secs
lola: 250752 markings, 390443 edges, 3000 markings/sec, 80 secs
lola: 265683 markings, 414300 edges, 2986 markings/sec, 85 secs
lola: 281156 markings, 440110 edges, 3095 markings/sec, 90 secs
lola: 295928 markings, 464889 edges, 2954 markings/sec, 95 secs
lola: 311230 markings, 491103 edges, 3060 markings/sec, 100 secs
lola: 326388 markings, 516573 edges, 3032 markings/sec, 105 secs
lola: 341685 markings, 543021 edges, 3059 markings/sec, 110 secs
lola: 357311 markings, 569765 edges, 3125 markings/sec, 115 secs
lola: 372932 markings, 596954 edges, 3124 markings/sec, 120 secs
lola: 388590 markings, 624358 edges, 3132 markings/sec, 125 secs
lola: 403443 markings, 648849 edges, 2971 markings/sec, 130 secs
lola: 418682 markings, 674641 edges, 3048 markings/sec, 135 secs
lola: 433680 markings, 698712 edges, 3000 markings/sec, 140 secs
lola: 448334 markings, 722144 edges, 2931 markings/sec, 145 secs
lola: 464054 markings, 749543 edges, 3144 markings/sec, 150 secs
lola: 479203 markings, 775193 edges, 3030 markings/sec, 155 secs
lola: 495006 markings, 803137 edges, 3161 markings/sec, 160 secs
lola: 510250 markings, 829141 edges, 3049 markings/sec, 165 secs
lola: 526028 markings, 856976 edges, 3156 markings/sec, 170 secs
lola: 541517 markings, 884602 edges, 3098 markings/sec, 175 secs
lola: 557089 markings, 912175 edges, 3114 markings/sec, 180 secs
lola: 572491 markings, 939317 edges, 3080 markings/sec, 185 secs
lola: 587991 markings, 968535 edges, 3100 markings/sec, 190 secs
lola: 603555 markings, 996585 edges, 3113 markings/sec, 195 secs
lola: 619064 markings, 1024943 edges, 3102 markings/sec, 200 secs
lola: 633920 markings, 1050894 edges, 2971 markings/sec, 205 secs
lola: 649463 markings, 1078074 edges, 3109 markings/sec, 210 secs
lola: 664699 markings, 1104020 edges, 3047 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: 15314 markings, 19407 edges, 3063 markings/sec, 0 secs
lola: 30797 markings, 40600 edges, 3097 markings/sec, 5 secs
lola: 47027 markings, 64596 edges, 3246 markings/sec, 10 secs
lola: 62784 markings, 88060 edges, 3151 markings/sec, 15 secs
lola: 78197 markings, 110660 edges, 3083 markings/sec, 20 secs
lola: 94292 markings, 135163 edges, 3219 markings/sec, 25 secs
lola: 110786 markings, 162239 edges, 3299 markings/sec, 30 secs
lola: 126794 markings, 187543 edges, 3202 markings/sec, 35 secs
lola: 143220 markings, 213946 edges, 3285 markings/sec, 40 secs
lola: 160295 markings, 242593 edges, 3415 markings/sec, 45 secs
lola: 177077 markings, 271195 edges, 3356 markings/sec, 50 secs
lola: 193846 markings, 300317 edges, 3354 markings/sec, 55 secs
lola: 211130 markings, 330326 edges, 3457 markings/sec, 60 secs
lola: 228263 markings, 359859 edges, 3427 markings/sec, 65 secs
lola: 244531 markings, 387715 edges, 3254 markings/sec, 70 secs
lola: 261401 markings, 417732 edges, 3374 markings/sec, 75 secs
lola: 277956 markings, 446952 edges, 3311 markings/sec, 80 secs
lola: 294191 markings, 473654 edges, 3247 markings/sec, 85 secs
lola: 310743 markings, 503061 edges, 3310 markings/sec, 90 secs
lola: 327368 markings, 532501 edges, 3325 markings/sec, 95 secs
lola: 344256 markings, 563656 edges, 3378 markings/sec, 100 secs
lola: 361173 markings, 595483 edges, 3383 markings/sec, 105 secs
lola: 377774 markings, 624924 edges, 3320 markings/sec, 110 secs
lola: 395029 markings, 656650 edges, 3451 markings/sec, 115 secs
lola: 413151 markings, 691142 edges, 3624 markings/sec, 120 secs
lola: 431540 markings, 727072 edges, 3678 markings/sec, 125 secs
lola: 449321 markings, 758535 edges, 3556 markings/sec, 130 secs
lola: 466940 markings, 792043 edges, 3524 markings/sec, 135 secs
lola: 483576 markings, 820918 edges, 3327 markings/sec, 140 secs
lola: 501222 markings, 853814 edges, 3529 markings/sec, 145 secs
lola: 518815 markings, 887726 edges, 3519 markings/sec, 150 secs
lola: 536687 markings, 921566 edges, 3574 markings/sec, 155 secs
lola: 554625 markings, 956807 edges, 3588 markings/sec, 160 secs
lola: 571676 markings, 988071 edges, 3410 markings/sec, 165 secs
lola: 588621 markings, 1020670 edges, 3389 markings/sec, 170 secs
lola: 605477 markings, 1052526 edges, 3371 markings/sec, 175 secs
lola: 622424 markings, 1084752 edges, 3389 markings/sec, 180 secs
lola: 639462 markings, 1118354 edges, 3408 markings/sec, 185 secs
lola: 656330 markings, 1150667 edges, 3374 markings/sec, 190 secs
lola: 673501 markings, 1184023 edges, 3434 markings/sec, 195 secs
lola: 690786 markings, 1218442 edges, 3457 markings/sec, 200 secs
lola: 708214 markings, 1252545 edges, 3486 markings/sec, 205 secs
lola: 725964 markings, 1287344 edges, 3550 markings/sec, 210 secs
lola: 743345 markings, 1321654 edges, 3476 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: 20075 markings, 24016 edges, 4015 markings/sec, 0 secs
lola: 40772 markings, 51499 edges, 4139 markings/sec, 5 secs
lola: 61271 markings, 81863 edges, 4100 markings/sec, 10 secs
lola: 81613 markings, 112551 edges, 4068 markings/sec, 15 secs
lola: 101705 markings, 143911 edges, 4018 markings/sec, 20 secs
lola: 121625 markings, 175904 edges, 3984 markings/sec, 25 secs
lola: 141558 markings, 208581 edges, 3987 markings/sec, 30 secs
lola: 161413 markings, 243002 edges, 3971 markings/sec, 35 secs
lola: 181193 markings, 277749 edges, 3956 markings/sec, 40 secs
lola: 200916 markings, 312866 edges, 3945 markings/sec, 45 secs
lola: 220976 markings, 348492 edges, 4012 markings/sec, 50 secs
lola: 240366 markings, 383934 edges, 3878 markings/sec, 55 secs
lola: 259418 markings, 418737 edges, 3810 markings/sec, 60 secs
lola: 279038 markings, 453230 edges, 3924 markings/sec, 65 secs
lola: 298437 markings, 489631 edges, 3880 markings/sec, 70 secs
lola: 317374 markings, 526110 edges, 3787 markings/sec, 75 secs
lola: 336241 markings, 562417 edges, 3773 markings/sec, 80 secs
lola: 355359 markings, 598984 edges, 3824 markings/sec, 85 secs
lola: 374195 markings, 635354 edges, 3767 markings/sec, 90 secs
lola: 393275 markings, 666918 edges, 3816 markings/sec, 95 secs
lola: 413497 markings, 695142 edges, 4044 markings/sec, 100 secs
lola: 432204 markings, 731869 edges, 3741 markings/sec, 105 secs
lola: 450664 markings, 767816 edges, 3692 markings/sec, 110 secs
lola: 469525 markings, 800286 edges, 3772 markings/sec, 115 secs
lola: 487788 markings, 836135 edges, 3653 markings/sec, 120 secs
lola: 506147 markings, 872961 edges, 3672 markings/sec, 125 secs
lola: 524284 markings, 910372 edges, 3627 markings/sec, 130 secs
lola: 543287 markings, 946786 edges, 3801 markings/sec, 135 secs
lola: 561508 markings, 982059 edges, 3644 markings/sec, 140 secs
lola: 580494 markings, 1022368 edges, 3797 markings/sec, 145 secs
lola: 599157 markings, 1059826 edges, 3733 markings/sec, 150 secs
lola: 617513 markings, 1097929 edges, 3671 markings/sec, 155 secs
lola: 636114 markings, 1135292 edges, 3720 markings/sec, 160 secs
lola: 654796 markings, 1172942 edges, 3736 markings/sec, 165 secs
lola: 673307 markings, 1210235 edges, 3702 markings/sec, 170 secs
lola: 691995 markings, 1247041 edges, 3738 markings/sec, 175 secs
lola: 710807 markings, 1286346 edges, 3762 markings/sec, 180 secs
lola: 729391 markings, 1325062 edges, 3717 markings/sec, 185 secs
lola: 748415 markings, 1365434 edges, 3805 markings/sec, 190 secs
lola: 766832 markings, 1404430 edges, 3683 markings/sec, 195 secs
lola: 784663 markings, 1441426 edges, 3566 markings/sec, 200 secs
lola: 803290 markings, 1480108 edges, 3725 markings/sec, 205 secs
lola: 821834 markings, 1519365 edges, 3709 markings/sec, 210 secs
lola: 840830 markings, 1556980 edges, 3799 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: 15051 markings, 18995 edges, 3010 markings/sec, 0 secs
lola: 30777 markings, 40558 edges, 3145 markings/sec, 5 secs
lola: 47296 markings, 64998 edges, 3304 markings/sec, 10 secs
lola: 63497 markings, 89083 edges, 3240 markings/sec, 15 secs
lola: 78818 markings, 111496 edges, 3064 markings/sec, 20 secs
lola: 94904 markings, 136121 edges, 3217 markings/sec, 25 secs
lola: 111501 markings, 163592 edges, 3319 markings/sec, 30 secs
lola: 127206 markings, 188124 edges, 3141 markings/sec, 35 secs
lola: 143630 markings, 214647 edges, 3285 markings/sec, 40 secs
lola: 160884 markings, 243639 edges, 3451 markings/sec, 45 secs
lola: 177391 markings, 271773 edges, 3301 markings/sec, 50 secs
lola: 194088 markings, 300677 edges, 3339 markings/sec, 55 secs
lola: 211025 markings, 330112 edges, 3387 markings/sec, 60 secs
lola: 228067 markings, 359522 edges, 3408 markings/sec, 65 secs
lola: 244685 markings, 387995 edges, 3324 markings/sec, 70 secs
lola: 261759 markings, 418411 edges, 3415 markings/sec, 75 secs
lola: 278624 markings, 447977 edges, 3373 markings/sec, 80 secs
lola: 295083 markings, 475088 edges, 3292 markings/sec, 85 secs
lola: 311861 markings, 504866 edges, 3356 markings/sec, 90 secs
lola: 329109 markings, 535762 edges, 3450 markings/sec, 95 secs
lola: 346901 markings, 568963 edges, 3558 markings/sec, 100 secs
lola: 364180 markings, 600886 edges, 3456 markings/sec, 105 secs
lola: 380900 markings, 630271 edges, 3344 markings/sec, 110 secs
lola: 398201 markings, 662621 edges, 3460 markings/sec, 115 secs
lola: 415904 markings, 696260 edges, 3541 markings/sec, 120 secs
lola: 433427 markings, 730128 edges, 3505 markings/sec, 125 secs
lola: 450912 markings, 761565 edges, 3497 markings/sec, 130 secs
lola: 468405 markings, 794407 edges, 3499 markings/sec, 135 secs
lola: 484977 markings, 823541 edges, 3314 markings/sec, 140 secs
lola: 502361 markings, 855923 edges, 3477 markings/sec, 145 secs
lola: 519956 markings, 889957 edges, 3519 markings/sec, 150 secs
lola: 536660 markings, 921484 edges, 3341 markings/sec, 155 secs
lola: 553901 markings, 955464 edges, 3448 markings/sec, 160 secs
lola: 570392 markings, 985685 edges, 3298 markings/sec, 165 secs
lola: 587537 markings, 1018308 edges, 3429 markings/sec, 170 secs
lola: 605019 markings, 1051566 edges, 3496 markings/sec, 175 secs
lola: 621975 markings, 1083807 edges, 3391 markings/sec, 180 secs
lola: 638946 markings, 1117348 edges, 3394 markings/sec, 185 secs
lola: 656017 markings, 1150180 edges, 3414 markings/sec, 190 secs
lola: 673718 markings, 1184559 edges, 3540 markings/sec, 195 secs
lola: 690741 markings, 1218355 edges, 3405 markings/sec, 200 secs
lola: 707881 markings, 1251939 edges, 3428 markings/sec, 205 secs
lola: 724937 markings, 1285391 edges, 3411 markings/sec, 210 secs
lola: 742632 markings, 1320210 edges, 3539 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: 20333 markings, 24327 edges, 4067 markings/sec, 0 secs
lola: 40460 markings, 51091 edges, 4025 markings/sec, 5 secs
lola: 60890 markings, 81310 edges, 4086 markings/sec, 10 secs
lola: 81224 markings, 111928 edges, 4067 markings/sec, 15 secs
lola: 100912 markings, 142803 edges, 3938 markings/sec, 20 secs
lola: 119975 markings, 173492 edges, 3813 markings/sec, 25 secs
lola: 139584 markings, 205280 edges, 3922 markings/sec, 30 secs
lola: 158725 markings, 238310 edges, 3828 markings/sec, 35 secs
lola: 178508 markings, 272911 edges, 3957 markings/sec, 40 secs
lola: 198030 markings, 307384 edges, 3904 markings/sec, 45 secs
lola: 218200 markings, 344018 edges, 4034 markings/sec, 50 secs
lola: 237883 markings, 379236 edges, 3937 markings/sec, 55 secs
lola: 256984 markings, 414428 edges, 3820 markings/sec, 60 secs
lola: 275738 markings, 446832 edges, 3751 markings/sec, 65 secs
lola: 294894 markings, 482989 edges, 3831 markings/sec, 70 secs
lola: 313906 markings, 519511 edges, 3802 markings/sec, 75 secs
lola: 332622 markings, 555419 edges, 3743 markings/sec, 80 secs
lola: 351951 markings, 592589 edges, 3866 markings/sec, 85 secs
lola: 370885 markings, 628836 edges, 3787 markings/sec, 90 secs
lola: 390389 markings, 663186 edges, 3901 markings/sec, 95 secs
lola: 410720 markings, 690429 edges, 4066 markings/sec, 100 secs
lola: 429815 markings, 727164 edges, 3819 markings/sec, 105 secs
lola: 449044 markings, 764813 edges, 3846 markings/sec, 110 secs
lola: 468478 markings, 798117 edges, 3887 markings/sec, 115 secs
lola: 487287 markings, 835197 edges, 3762 markings/sec, 120 secs
lola: 506196 markings, 873036 edges, 3782 markings/sec, 125 secs
lola: 525002 markings, 911778 edges, 3761 markings/sec, 130 secs
lola: 544824 markings, 949228 edges, 3964 markings/sec, 135 secs
lola: 563148 markings, 985577 edges, 3665 markings/sec, 140 secs
lola: 582659 markings, 1026750 edges, 3902 markings/sec, 145 secs
lola: 601634 markings, 1065172 edges, 3795 markings/sec, 150 secs
lola: 620113 markings, 1103423 edges, 3696 markings/sec, 155 secs
lola: 639388 markings, 1140536 edges, 3855 markings/sec, 160 secs
lola: 658372 markings, 1180129 edges, 3797 markings/sec, 165 secs
lola: 676954 markings, 1217673 edges, 3716 markings/sec, 170 secs
lola: 695985 markings, 1255103 edges, 3806 markings/sec, 175 secs
lola: 714863 markings, 1295253 edges, 3776 markings/sec, 180 secs
lola: 733288 markings, 1333336 edges, 3685 markings/sec, 185 secs
lola: 752142 markings, 1373104 edges, 3771 markings/sec, 190 secs
lola: 770141 markings, 1411047 edges, 3600 markings/sec, 195 secs
lola: 788059 markings, 1448673 edges, 3584 markings/sec, 200 secs
lola: 806562 markings, 1487013 edges, 3701 markings/sec, 205 secs
lola: 824749 markings, 1525271 edges, 3637 markings/sec, 210 secs
lola: 843349 markings, 1560876 edges, 3720 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: 13693 markings, 26453 edges, 2739 markings/sec, 0 secs
lola: 27628 markings, 55722 edges, 2787 markings/sec, 5 secs
lola: 41157 markings, 86737 edges, 2706 markings/sec, 10 secs
lola: 54580 markings, 119264 edges, 2685 markings/sec, 15 secs
lola: 67948 markings, 152353 edges, 2674 markings/sec, 20 secs
lola: 81868 markings, 185856 edges, 2784 markings/sec, 25 secs
lola: 95307 markings, 220305 edges, 2688 markings/sec, 30 secs
lola: 108899 markings, 254834 edges, 2718 markings/sec, 35 secs
lola: 122331 markings, 290252 edges, 2686 markings/sec, 40 secs
lola: 136141 markings, 325041 edges, 2762 markings/sec, 45 secs
lola: 150216 markings, 361721 edges, 2815 markings/sec, 50 secs
lola: 164231 markings, 400516 edges, 2803 markings/sec, 55 secs
lola: 178299 markings, 438651 edges, 2814 markings/sec, 60 secs
lola: 192232 markings, 476865 edges, 2787 markings/sec, 65 secs
lola: 206253 markings, 516231 edges, 2804 markings/sec, 70 secs
lola: 220127 markings, 555940 edges, 2775 markings/sec, 75 secs
lola: 234068 markings, 595046 edges, 2788 markings/sec, 80 secs
lola: 248100 markings, 633333 edges, 2806 markings/sec, 85 secs
lola: 262237 markings, 674015 edges, 2827 markings/sec, 90 secs
lola: 275822 markings, 714614 edges, 2717 markings/sec, 95 secs
lola: 289430 markings, 752592 edges, 2722 markings/sec, 100 secs
lola: 302979 markings, 790263 edges, 2710 markings/sec, 105 secs
lola: 316509 markings, 829371 edges, 2706 markings/sec, 110 secs
lola: 329711 markings, 865193 edges, 2640 markings/sec, 115 secs
lola: 343402 markings, 903660 edges, 2738 markings/sec, 120 secs
lola: 357202 markings, 941304 edges, 2760 markings/sec, 125 secs
lola: 370628 markings, 982101 edges, 2685 markings/sec, 130 secs
lola: 384063 markings, 1020964 edges, 2687 markings/sec, 135 secs
lola: 397432 markings, 1060192 edges, 2674 markings/sec, 140 secs
lola: 410941 markings, 1098817 edges, 2702 markings/sec, 145 secs
lola: 424348 markings, 1140477 edges, 2681 markings/sec, 150 secs
lola: 437758 markings, 1177212 edges, 2682 markings/sec, 155 secs
lola: 451311 markings, 1219011 edges, 2711 markings/sec, 160 secs
lola: 464936 markings, 1259700 edges, 2725 markings/sec, 165 secs
lola: 478683 markings, 1301050 edges, 2749 markings/sec, 170 secs
lola: 492064 markings, 1339443 edges, 2676 markings/sec, 175 secs
lola: 505831 markings, 1378959 edges, 2753 markings/sec, 180 secs
lola: 519458 markings, 1417718 edges, 2725 markings/sec, 185 secs
lola: 533128 markings, 1456941 edges, 2734 markings/sec, 190 secs
lola: 547008 markings, 1499379 edges, 2776 markings/sec, 195 secs
lola: 560828 markings, 1541792 edges, 2764 markings/sec, 200 secs
lola: 574172 markings, 1581707 edges, 2669 markings/sec, 205 secs
lola: 587862 markings, 1621573 edges, 2738 markings/sec, 210 secs
lola: 601818 markings, 1665569 edges, 2791 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: 13915 markings, 26890 edges, 2783 markings/sec, 0 secs
lola: 27726 markings, 55997 edges, 2762 markings/sec, 5 secs
lola: 41569 markings, 87610 edges, 2769 markings/sec, 10 secs
lola: 55260 markings, 121195 edges, 2738 markings/sec, 15 secs
lola: 69001 markings, 154994 edges, 2748 markings/sec, 20 secs
lola: 82910 markings, 188874 edges, 2782 markings/sec, 25 secs
lola: 96810 markings, 224021 edges, 2780 markings/sec, 30 secs
lola: 110517 markings, 259672 edges, 2741 markings/sec, 35 secs
lola: 124214 markings, 295124 edges, 2739 markings/sec, 40 secs
lola: 137943 markings, 329886 edges, 2746 markings/sec, 45 secs
lola: 151719 markings, 365790 edges, 2755 markings/sec, 50 secs
lola: 165447 markings, 404144 edges, 2746 markings/sec, 55 secs
lola: 179287 markings, 440883 edges, 2768 markings/sec, 60 secs
lola: 193087 markings, 479675 edges, 2760 markings/sec, 65 secs
lola: 206664 markings, 517504 edges, 2715 markings/sec, 70 secs
lola: 220514 markings, 556964 edges, 2770 markings/sec, 75 secs
lola: 234346 markings, 595844 edges, 2766 markings/sec, 80 secs
lola: 248340 markings, 633939 edges, 2799 markings/sec, 85 secs
lola: 262194 markings, 673913 edges, 2771 markings/sec, 90 secs
lola: 275912 markings, 714924 edges, 2744 markings/sec, 95 secs
lola: 289626 markings, 753150 edges, 2743 markings/sec, 100 secs
lola: 303571 markings, 791780 edges, 2789 markings/sec, 105 secs
lola: 317661 markings, 832348 edges, 2818 markings/sec, 110 secs
lola: 331379 markings, 869603 edges, 2744 markings/sec, 115 secs
lola: 345462 markings, 909077 edges, 2817 markings/sec, 120 secs
lola: 359497 markings, 948549 edges, 2807 markings/sec, 125 secs
lola: 373860 markings, 991676 edges, 2873 markings/sec, 130 secs
lola: 388176 markings, 1032786 edges, 2863 markings/sec, 135 secs
lola: 402235 markings, 1073818 edges, 2812 markings/sec, 140 secs
lola: 416063 markings, 1114457 edges, 2766 markings/sec, 145 secs
lola: 429952 markings, 1156932 edges, 2778 markings/sec, 150 secs
lola: 443775 markings, 1196711 edges, 2765 markings/sec, 155 secs
lola: 457850 markings, 1238509 edges, 2815 markings/sec, 160 secs
lola: 471817 markings, 1279723 edges, 2793 markings/sec, 165 secs
lola: 485645 markings, 1321926 edges, 2766 markings/sec, 170 secs
lola: 499507 markings, 1360517 edges, 2772 markings/sec, 175 secs
lola: 513449 markings, 1401028 edges, 2788 markings/sec, 180 secs
lola: 527615 markings, 1441909 edges, 2833 markings/sec, 185 secs
lola: 541885 markings, 1483087 edges, 2854 markings/sec, 190 secs
lola: 556596 markings, 1528521 edges, 2942 markings/sec, 195 secs
lola: 570375 markings, 1569849 edges, 2756 markings/sec, 200 secs
lola: 584424 markings, 1611064 edges, 2810 markings/sec, 205 secs
lola: 598233 markings, 1655240 edges, 2762 markings/sec, 210 secs
lola: 612150 markings, 1697310 edges, 2783 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: 19346 markings, 21196 edges, 3869 markings/sec, 0 secs
lola: 39656 markings, 44865 edges, 4062 markings/sec, 5 secs
lola: 58770 markings, 69074 edges, 3823 markings/sec, 10 secs
lola: 78292 markings, 94619 edges, 3904 markings/sec, 15 secs
lola: 97607 markings, 119137 edges, 3863 markings/sec, 20 secs
lola: 116763 markings, 145741 edges, 3831 markings/sec, 25 secs
lola: 136163 markings, 173361 edges, 3880 markings/sec, 30 secs
lola: 157063 markings, 204651 edges, 4180 markings/sec, 35 secs
lola: 177505 markings, 235434 edges, 4088 markings/sec, 40 secs
lola: 197928 markings, 266145 edges, 4085 markings/sec, 45 secs
lola: 217363 markings, 296801 edges, 3887 markings/sec, 50 secs
lola: 237673 markings, 328537 edges, 4062 markings/sec, 55 secs
lola: 257493 markings, 359509 edges, 3964 markings/sec, 60 secs
lola: 276865 markings, 392193 edges, 3874 markings/sec, 65 secs
lola: 296364 markings, 424088 edges, 3900 markings/sec, 70 secs
lola: 315715 markings, 455503 edges, 3870 markings/sec, 75 secs
lola: 335584 markings, 487479 edges, 3974 markings/sec, 80 secs
lola: 355734 markings, 522095 edges, 4030 markings/sec, 85 secs
lola: 375995 markings, 555044 edges, 4052 markings/sec, 90 secs
lola: 396919 markings, 591347 edges, 4185 markings/sec, 95 secs
lola: 417699 markings, 629852 edges, 4156 markings/sec, 100 secs
lola: 438651 markings, 666650 edges, 4190 markings/sec, 105 secs
lola: 459218 markings, 704215 edges, 4113 markings/sec, 110 secs
lola: 479684 markings, 740208 edges, 4093 markings/sec, 115 secs
lola: 500351 markings, 779774 edges, 4133 markings/sec, 120 secs
lola: 520412 markings, 816031 edges, 4012 markings/sec, 125 secs
lola: 541108 markings, 853926 edges, 4139 markings/sec, 130 secs
lola: 561853 markings, 893244 edges, 4149 markings/sec, 135 secs
lola: 582832 markings, 932379 edges, 4196 markings/sec, 140 secs
lola: 604066 markings, 971741 edges, 4247 markings/sec, 145 secs
lola: 624872 markings, 1011301 edges, 4161 markings/sec, 150 secs
lola: 645360 markings, 1049519 edges, 4098 markings/sec, 155 secs
lola: 665240 markings, 1087657 edges, 3976 markings/sec, 160 secs
lola: 685430 markings, 1125985 edges, 4038 markings/sec, 165 secs
lola: 705689 markings, 1166976 edges, 4052 markings/sec, 170 secs
lola: 725905 markings, 1205710 edges, 4043 markings/sec, 175 secs
lola: 746006 markings, 1246057 edges, 4020 markings/sec, 180 secs
lola: 766011 markings, 1285816 edges, 4001 markings/sec, 185 secs
lola: 785632 markings, 1323943 edges, 3924 markings/sec, 190 secs
lola: 805509 markings, 1363806 edges, 3975 markings/sec, 195 secs
lola: 825626 markings, 1405103 edges, 4023 markings/sec, 200 secs
lola: 846319 markings, 1446635 edges, 4139 markings/sec, 205 secs
lola: 866569 markings, 1487179 edges, 4050 markings/sec, 210 secs
lola: 886935 markings, 1529649 edges, 4073 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: 15801 markings, 19601 edges, 3160 markings/sec, 0 secs
lola: 32317 markings, 43043 edges, 3303 markings/sec, 5 secs
lola: 48845 markings, 68887 edges, 3306 markings/sec, 10 secs
lola: 65078 markings, 93825 edges, 3247 markings/sec, 15 secs
lola: 81014 markings, 119937 edges, 3187 markings/sec, 20 secs
lola: 97033 markings, 144919 edges, 3204 markings/sec, 25 secs
lola: 114556 markings, 173387 edges, 3505 markings/sec, 30 secs
lola: 132046 markings, 202369 edges, 3498 markings/sec, 35 secs
lola: 149108 markings, 231144 edges, 3412 markings/sec, 40 secs
lola: 165642 markings, 258801 edges, 3307 markings/sec, 45 secs
lola: 182626 markings, 287768 edges, 3397 markings/sec, 50 secs
lola: 199274 markings, 315479 edges, 3330 markings/sec, 55 secs
lola: 216222 markings, 345424 edges, 3390 markings/sec, 60 secs
lola: 233185 markings, 375211 edges, 3393 markings/sec, 65 secs
lola: 250483 markings, 406331 edges, 3460 markings/sec, 70 secs
lola: 267293 markings, 436605 edges, 3362 markings/sec, 75 secs
lola: 284479 markings, 467800 edges, 3437 markings/sec, 80 secs
lola: 301049 markings, 497632 edges, 3314 markings/sec, 85 secs
lola: 317495 markings, 528072 edges, 3289 markings/sec, 90 secs
lola: 334495 markings, 559581 edges, 3400 markings/sec, 95 secs
lola: 350987 markings, 589708 edges, 3298 markings/sec, 100 secs
lola: 367159 markings, 616858 edges, 3234 markings/sec, 105 secs
lola: 383368 markings, 642648 edges, 3242 markings/sec, 110 secs
lola: 399458 markings, 671669 edges, 3218 markings/sec, 115 secs
lola: 415343 markings, 701503 edges, 3177 markings/sec, 120 secs
lola: 431423 markings, 731899 edges, 3216 markings/sec, 125 secs
lola: 447381 markings, 761816 edges, 3192 markings/sec, 130 secs
lola: 463697 markings, 792655 edges, 3263 markings/sec, 135 secs
lola: 480433 markings, 824392 edges, 3347 markings/sec, 140 secs
lola: 497040 markings, 854821 edges, 3321 markings/sec, 145 secs
lola: 513981 markings, 887229 edges, 3388 markings/sec, 150 secs
lola: 530875 markings, 920130 edges, 3379 markings/sec, 155 secs
lola: 547369 markings, 949523 edges, 3299 markings/sec, 160 secs
lola: 564280 markings, 981768 edges, 3382 markings/sec, 165 secs
lola: 580419 markings, 1011972 edges, 3228 markings/sec, 170 secs
lola: 597081 markings, 1043951 edges, 3332 markings/sec, 175 secs
lola: 613761 markings, 1076124 edges, 3336 markings/sec, 180 secs
lola: 630541 markings, 1108735 edges, 3356 markings/sec, 185 secs
lola: 647546 markings, 1142006 edges, 3401 markings/sec, 190 secs
lola: 664576 markings, 1175733 edges, 3406 markings/sec, 195 secs
lola: 681481 markings, 1210542 edges, 3381 markings/sec, 200 secs
lola: 698347 markings, 1243378 edges, 3373 markings/sec, 205 secs
lola: 714529 markings, 1275766 edges, 3236 markings/sec, 210 secs
lola: 730836 markings, 1306449 edges, 3261 markings/sec, 215 secs
lola: 747364 markings, 1338686 edges, 3306 markings/sec, 220 secs
lola: 763716 markings, 1372002 edges, 3270 markings/sec, 225 secs
lola: 779850 markings, 1403308 edges, 3227 markings/sec, 230 secs
lola: 795703 markings, 1433856 edges, 3171 markings/sec, 235 secs
lola: 811590 markings, 1464771 edges, 3177 markings/sec, 240 secs
lola: 827894 markings, 1495102 edges, 3261 markings/sec, 245 secs
lola: 844378 markings, 1527447 edges, 3297 markings/sec, 250 secs
lola: 860578 markings, 1559864 edges, 3240 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: 13928 markings, 22050 edges, 2786 markings/sec, 0 secs
lola: 28019 markings, 47449 edges, 2818 markings/sec, 5 secs
lola: 42183 markings, 74551 edges, 2833 markings/sec, 10 secs
lola: 56031 markings, 100748 edges, 2770 markings/sec, 15 secs
lola: 70032 markings, 128791 edges, 2800 markings/sec, 20 secs
lola: 83977 markings, 156099 edges, 2789 markings/sec, 25 secs
lola: 98227 markings, 184990 edges, 2850 markings/sec, 30 secs
lola: 112164 markings, 213030 edges, 2787 markings/sec, 35 secs
lola: 126424 markings, 242766 edges, 2852 markings/sec, 40 secs
lola: 140657 markings, 272163 edges, 2847 markings/sec, 45 secs
lola: 154499 markings, 301203 edges, 2768 markings/sec, 50 secs
lola: 168533 markings, 331168 edges, 2807 markings/sec, 55 secs
lola: 182714 markings, 360089 edges, 2836 markings/sec, 60 secs
lola: 197038 markings, 391289 edges, 2865 markings/sec, 65 secs
lola: 211158 markings, 421156 edges, 2824 markings/sec, 70 secs
lola: 225381 markings, 451873 edges, 2845 markings/sec, 75 secs
lola: 239701 markings, 482544 edges, 2864 markings/sec, 80 secs
lola: 253799 markings, 512879 edges, 2820 markings/sec, 85 secs
lola: 268560 markings, 545825 edges, 2952 markings/sec, 90 secs
lola: 282660 markings, 576133 edges, 2820 markings/sec, 95 secs
lola: 296903 markings, 606833 edges, 2849 markings/sec, 100 secs
lola: 311234 markings, 637828 edges, 2866 markings/sec, 105 secs
lola: 325599 markings, 669025 edges, 2873 markings/sec, 110 secs
lola: 339800 markings, 700219 edges, 2840 markings/sec, 115 secs
lola: 354256 markings, 731308 edges, 2891 markings/sec, 120 secs
lola: 368847 markings, 763345 edges, 2918 markings/sec, 125 secs
lola: 383320 markings, 795714 edges, 2895 markings/sec, 130 secs
lola: 397768 markings, 827384 edges, 2890 markings/sec, 135 secs
lola: 411768 markings, 856438 edges, 2800 markings/sec, 140 secs
lola: 426183 markings, 889564 edges, 2883 markings/sec, 145 secs
lola: 440520 markings, 921759 edges, 2867 markings/sec, 150 secs
lola: 454644 markings, 953050 edges, 2825 markings/sec, 155 secs
lola: 468851 markings, 985189 edges, 2841 markings/sec, 160 secs
lola: 482889 markings, 1017068 edges, 2808 markings/sec, 165 secs
lola: 497157 markings, 1048520 edges, 2854 markings/sec, 170 secs
lola: 511279 markings, 1080612 edges, 2824 markings/sec, 175 secs
lola: 525688 markings, 1113288 edges, 2882 markings/sec, 180 secs
lola: 539921 markings, 1145351 edges, 2847 markings/sec, 185 secs
lola: 554091 markings, 1176244 edges, 2834 markings/sec, 190 secs
lola: 568208 markings, 1207620 edges, 2823 markings/sec, 195 secs
lola: 582180 markings, 1238523 edges, 2794 markings/sec, 200 secs
lola: 596377 markings, 1270289 edges, 2839 markings/sec, 205 secs
lola: 610505 markings, 1302999 edges, 2826 markings/sec, 210 secs
lola: 624713 markings, 1335708 edges, 2842 markings/sec, 215 secs
lola: 638710 markings, 1365977 edges, 2799 markings/sec, 220 secs
lola: 652741 markings, 1397339 edges, 2806 markings/sec, 225 secs
lola: 666726 markings, 1427851 edges, 2797 markings/sec, 230 secs
lola: 680912 markings, 1459414 edges, 2837 markings/sec, 235 secs
lola: 695111 markings, 1492563 edges, 2840 markings/sec, 240 secs
lola: 709016 markings, 1523555 edges, 2781 markings/sec, 245 secs
lola: 723412 markings, 1555968 edges, 2879 markings/sec, 250 secs
lola: 737292 markings, 1586375 edges, 2776 markings/sec, 255 secs
lola: 751309 markings, 1617751 edges, 2803 markings/sec, 260 secs
lola: 765423 markings, 1650464 edges, 2823 markings/sec, 265 secs
lola: 779549 markings, 1681627 edges, 2825 markings/sec, 270 secs
lola: 793807 markings, 1713681 edges, 2852 markings/sec, 275 secs
lola: 807863 markings, 1745240 edges, 2811 markings/sec, 280 secs
lola: 822249 markings, 1777334 edges, 2877 markings/sec, 285 secs
lola: 836300 markings, 1809265 edges, 2810 markings/sec, 290 secs
lola: 850538 markings, 1840996 edges, 2848 markings/sec, 295 secs
lola: 864710 markings, 1873025 edges, 2834 markings/sec, 300 secs
lola: 878867 markings, 1905466 edges, 2831 markings/sec, 305 secs
lola: 893164 markings, 1938290 edges, 2859 markings/sec, 310 secs
lola: 907475 markings, 1970799 edges, 2862 markings/sec, 315 secs
lola: 921593 markings, 2002942 edges, 2824 markings/sec, 320 secs
lola: 935548 markings, 2034443 edges, 2791 markings/sec, 325 secs
lola: 949385 markings, 2065246 edges, 2767 markings/sec, 330 secs
lola: 963373 markings, 2096781 edges, 2798 markings/sec, 335 secs
lola: 977010 markings, 2126844 edges, 2727 markings/sec, 340 secs
lola: 991090 markings, 2158989 edges, 2816 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: 13203 markings, 16271 edges, 2641 markings/sec, 0 secs
lola: 27243 markings, 34822 edges, 2808 markings/sec, 5 secs
lola: 41743 markings, 55478 edges, 2900 markings/sec, 10 secs
lola: 56605 markings, 77334 edges, 2972 markings/sec, 15 secs
lola: 71506 markings, 100078 edges, 2980 markings/sec, 20 secs
lola: 86886 markings, 124524 edges, 3076 markings/sec, 25 secs
lola: 102171 markings, 149098 edges, 3057 markings/sec, 30 secs
lola: 116300 markings, 170124 edges, 2826 markings/sec, 35 secs
lola: 131249 markings, 193720 edges, 2990 markings/sec, 40 secs
lola: 146106 markings, 216918 edges, 2971 markings/sec, 45 secs
lola: 160434 markings, 240067 edges, 2866 markings/sec, 50 secs
lola: 175178 markings, 264693 edges, 2949 markings/sec, 55 secs
lola: 189738 markings, 288450 edges, 2912 markings/sec, 60 secs
lola: 204381 markings, 312527 edges, 2929 markings/sec, 65 secs
lola: 219248 markings, 337987 edges, 2973 markings/sec, 70 secs
lola: 233996 markings, 362473 edges, 2950 markings/sec, 75 secs
lola: 249433 markings, 388271 edges, 3087 markings/sec, 80 secs
lola: 264471 markings, 412405 edges, 3008 markings/sec, 85 secs
lola: 279756 markings, 437857 edges, 3057 markings/sec, 90 secs
lola: 294444 markings, 462504 edges, 2938 markings/sec, 95 secs
lola: 309887 markings, 488820 edges, 3089 markings/sec, 100 secs
lola: 325554 markings, 515124 edges, 3133 markings/sec, 105 secs
lola: 341254 markings, 542202 edges, 3140 markings/sec, 110 secs
lola: 356715 markings, 568767 edges, 3092 markings/sec, 115 secs
lola: 372425 markings, 596113 edges, 3142 markings/sec, 120 secs
lola: 387975 markings, 623395 edges, 3110 markings/sec, 125 secs
lola: 403056 markings, 648285 edges, 3016 markings/sec, 130 secs
lola: 418333 markings, 673905 edges, 3055 markings/sec, 135 secs
lola: 433337 markings, 698164 edges, 3001 markings/sec, 140 secs
lola: 448055 markings, 721647 edges, 2944 markings/sec, 145 secs
lola: 463723 markings, 748960 edges, 3134 markings/sec, 150 secs
lola: 478539 markings, 774344 edges, 2963 markings/sec, 155 secs
lola: 493922 markings, 801294 edges, 3077 markings/sec, 160 secs
lola: 508707 markings, 826556 edges, 2957 markings/sec, 165 secs
lola: 524136 markings, 853525 edges, 3086 markings/sec, 170 secs
lola: 539277 markings, 880939 edges, 3028 markings/sec, 175 secs
lola: 554902 markings, 908423 edges, 3125 markings/sec, 180 secs
lola: 570236 markings, 935407 edges, 3067 markings/sec, 185 secs
lola: 586318 markings, 965742 edges, 3216 markings/sec, 190 secs
lola: 601486 markings, 992601 edges, 3034 markings/sec, 195 secs
lola: 617022 markings, 1021260 edges, 3107 markings/sec, 200 secs
lola: 631862 markings, 1047257 edges, 2968 markings/sec, 205 secs
lola: 647267 markings, 1074404 edges, 3081 markings/sec, 210 secs
lola: 661878 markings, 1099063 edges, 2922 markings/sec, 215 secs
lola: 676605 markings, 1124695 edges, 2945 markings/sec, 220 secs
lola: 692468 markings, 1153324 edges, 3173 markings/sec, 225 secs
lola: 707727 markings, 1179679 edges, 3052 markings/sec, 230 secs
lola: 722679 markings, 1206600 edges, 2990 markings/sec, 235 secs
lola: 738261 markings, 1235054 edges, 3116 markings/sec, 240 secs
lola: 753636 markings, 1261906 edges, 3075 markings/sec, 245 secs
lola: 769355 markings, 1290296 edges, 3144 markings/sec, 250 secs
lola: 784825 markings, 1318912 edges, 3094 markings/sec, 255 secs
lola: 800826 markings, 1348858 edges, 3200 markings/sec, 260 secs
lola: 816286 markings, 1376032 edges, 3092 markings/sec, 265 secs
lola: 831890 markings, 1404906 edges, 3121 markings/sec, 270 secs
lola: 847391 markings, 1432937 edges, 3100 markings/sec, 275 secs
lola: 862694 markings, 1460885 edges, 3061 markings/sec, 280 secs
lola: 878062 markings, 1489966 edges, 3074 markings/sec, 285 secs
lola: 893480 markings, 1517923 edges, 3084 markings/sec, 290 secs
lola: 909100 markings, 1546639 edges, 3124 markings/sec, 295 secs
lola: 924195 markings, 1573968 edges, 3019 markings/sec, 300 secs
lola: 940065 markings, 1603750 edges, 3174 markings/sec, 305 secs
lola: 955426 markings, 1631432 edges, 3072 markings/sec, 310 secs
lola: 970708 markings, 1659472 edges, 3056 markings/sec, 315 secs
lola: 986264 markings, 1687935 edges, 3111 markings/sec, 320 secs
lola: 1001893 markings, 1717277 edges, 3126 markings/sec, 325 secs
lola: 1017025 markings, 1744278 edges, 3026 markings/sec, 330 secs
lola: 1033384 markings, 1775278 edges, 3272 markings/sec, 335 secs
lola: 1049143 markings, 1805441 edges, 3152 markings/sec, 340 secs
lola: 1064762 markings, 1834500 edges, 3124 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: 13496 markings, 14917 edges, 2699 markings/sec, 0 secs
lola: 27012 markings, 31521 edges, 2703 markings/sec, 5 secs
lola: 40827 markings, 48438 edges, 2763 markings/sec, 10 secs
lola: 55091 markings, 66487 edges, 2853 markings/sec, 15 secs
lola: 68997 markings, 84333 edges, 2781 markings/sec, 20 secs
lola: 82720 markings, 101387 edges, 2745 markings/sec, 25 secs
lola: 96551 markings, 119098 edges, 2766 markings/sec, 30 secs
lola: 111420 markings, 138299 edges, 2974 markings/sec, 35 secs
lola: 126283 markings, 157385 edges, 2973 markings/sec, 40 secs
lola: 141176 markings, 177393 edges, 2979 markings/sec, 45 secs
lola: 156130 markings, 197311 edges, 2991 markings/sec, 50 secs
lola: 170550 markings, 216679 edges, 2884 markings/sec, 55 secs
lola: 185343 markings, 236212 edges, 2959 markings/sec, 60 secs
lola: 199824 markings, 255468 edges, 2896 markings/sec, 65 secs
lola: 214375 markings, 274868 edges, 2910 markings/sec, 70 secs
lola: 228874 markings, 293906 edges, 2900 markings/sec, 75 secs
lola: 243253 markings, 312339 edges, 2876 markings/sec, 80 secs
lola: 257803 markings, 332149 edges, 2910 markings/sec, 85 secs
lola: 272534 markings, 351581 edges, 2946 markings/sec, 90 secs
lola: 287350 markings, 370841 edges, 2963 markings/sec, 95 secs
lola: 301855 markings, 390842 edges, 2901 markings/sec, 100 secs
lola: 316143 markings, 410535 edges, 2858 markings/sec, 105 secs
lola: 330464 markings, 429509 edges, 2864 markings/sec, 110 secs
lola: 344907 markings, 448973 edges, 2889 markings/sec, 115 secs
lola: 359349 markings, 468972 edges, 2888 markings/sec, 120 secs
lola: 373330 markings, 487586 edges, 2796 markings/sec, 125 secs
lola: 387473 markings, 506521 edges, 2829 markings/sec, 130 secs
lola: 401492 markings, 525515 edges, 2804 markings/sec, 135 secs
lola: 415497 markings, 544800 edges, 2801 markings/sec, 140 secs
lola: 429490 markings, 563953 edges, 2799 markings/sec, 145 secs
lola: 443815 markings, 583165 edges, 2865 markings/sec, 150 secs
lola: 458091 markings, 602885 edges, 2855 markings/sec, 155 secs
lola: 472331 markings, 622329 edges, 2848 markings/sec, 160 secs
lola: 486837 markings, 643153 edges, 2901 markings/sec, 165 secs
lola: 501319 markings, 664629 edges, 2896 markings/sec, 170 secs
lola: 516104 markings, 685355 edges, 2957 markings/sec, 175 secs
lola: 531042 markings, 705735 edges, 2988 markings/sec, 180 secs
lola: 545943 markings, 725551 edges, 2980 markings/sec, 185 secs
lola: 560383 markings, 745342 edges, 2888 markings/sec, 190 secs
lola: 574995 markings, 765885 edges, 2922 markings/sec, 195 secs
lola: 589458 markings, 786785 edges, 2893 markings/sec, 200 secs
lola: 603940 markings, 807295 edges, 2896 markings/sec, 205 secs
lola: 618471 markings, 827663 edges, 2906 markings/sec, 210 secs
lola: 633026 markings, 847931 edges, 2911 markings/sec, 215 secs
lola: 647460 markings, 867791 edges, 2887 markings/sec, 220 secs
lola: 661745 markings, 887625 edges, 2857 markings/sec, 225 secs
lola: 675979 markings, 907779 edges, 2847 markings/sec, 230 secs
lola: 690720 markings, 928794 edges, 2948 markings/sec, 235 secs
lola: 705550 markings, 950003 edges, 2966 markings/sec, 240 secs
lola: 720121 markings, 970368 edges, 2914 markings/sec, 245 secs
lola: 734483 markings, 990842 edges, 2872 markings/sec, 250 secs
lola: 748952 markings, 1010577 edges, 2894 markings/sec, 255 secs
lola: 763484 markings, 1031676 edges, 2906 markings/sec, 260 secs
lola: 777946 markings, 1052678 edges, 2892 markings/sec, 265 secs
lola: 792097 markings, 1073984 edges, 2830 markings/sec, 270 secs
lola: 806409 markings, 1094556 edges, 2862 markings/sec, 275 secs
lola: 820860 markings, 1114879 edges, 2890 markings/sec, 280 secs
lola: 835421 markings, 1135640 edges, 2912 markings/sec, 285 secs
lola: 850210 markings, 1156451 edges, 2958 markings/sec, 290 secs
lola: 864201 markings, 1176463 edges, 2798 markings/sec, 295 secs
lola: 878113 markings, 1196662 edges, 2782 markings/sec, 300 secs
lola: 892147 markings, 1216740 edges, 2807 markings/sec, 305 secs
lola: 906735 markings, 1238199 edges, 2918 markings/sec, 310 secs
lola: 921732 markings, 1260033 edges, 2999 markings/sec, 315 secs
lola: 935988 markings, 1280283 edges, 2851 markings/sec, 320 secs
lola: 950334 markings, 1302157 edges, 2869 markings/sec, 325 secs
lola: 964691 markings, 1322470 edges, 2871 markings/sec, 330 secs
lola: 979142 markings, 1343254 edges, 2890 markings/sec, 335 secs
lola: 993533 markings, 1364734 edges, 2878 markings/sec, 340 secs
lola: 1007963 markings, 1385479 edges, 2886 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 1494811186183

--------------------
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="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/SafeBus-PT-10.tgz
mv 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 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 r068-csrt-149440963300245"
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 ;