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 SimpleLoadBal-COL-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963400353
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494813708261


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SimpleLoadBal-COL-15 @ 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: 1540/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 149 places, 1391 transitions, 112 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2241 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-COL-15-UpperBounds.task
lola: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20) : MAX(p148) : MAX(p148) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20) : MAX(p86 + p87) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20) : MAX(p100 + p101 + p102 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p85 + p84) : MAX(p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37) : MAX(p2 + p3) : MAX(p148) : MAX(p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147) : MAX(p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37) : MAX(p66 + p65 + p64 + p63 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62) : MAX(p4) : MAX(p148)
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(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 34453 markings, 69335 edges, 6891 markings/sec, 0 secs
lola: 68589 markings, 141079 edges, 6827 markings/sec, 5 secs
lola: 102552 markings, 213812 edges, 6793 markings/sec, 10 secs
lola: 137193 markings, 288233 edges, 6928 markings/sec, 15 secs
lola: 171730 markings, 364077 edges, 6907 markings/sec, 20 secs
lola: 206506 markings, 440341 edges, 6955 markings/sec, 25 secs
lola: 241615 markings, 518438 edges, 7022 markings/sec, 30 secs
lola: 276785 markings, 596036 edges, 7034 markings/sec, 35 secs
lola: 310522 markings, 671435 edges, 6747 markings/sec, 40 secs
lola: 344545 markings, 748396 edges, 6805 markings/sec, 45 secs
lola: 378571 markings, 822018 edges, 6805 markings/sec, 50 secs
lola: 411526 markings, 895855 edges, 6591 markings/sec, 55 secs
lola: 446607 markings, 975891 edges, 7016 markings/sec, 60 secs
lola: 482377 markings, 1055859 edges, 7154 markings/sec, 65 secs
lola: 516459 markings, 1134400 edges, 6816 markings/sec, 70 secs
lola: 551560 markings, 1214314 edges, 7020 markings/sec, 75 secs
lola: 586171 markings, 1294495 edges, 6922 markings/sec, 80 secs
lola: 621157 markings, 1375771 edges, 6997 markings/sec, 85 secs
lola: 655876 markings, 1455845 edges, 6944 markings/sec, 90 secs
lola: 690477 markings, 1535641 edges, 6920 markings/sec, 95 secs
lola: 725524 markings, 1615988 edges, 7009 markings/sec, 100 secs
lola: 760593 markings, 1695622 edges, 7014 markings/sec, 105 secs
lola: 794970 markings, 1775728 edges, 6875 markings/sec, 110 secs
lola: 829559 markings, 1855929 edges, 6918 markings/sec, 115 secs
lola: 863863 markings, 1935483 edges, 6861 markings/sec, 120 secs
lola: 898291 markings, 2016606 edges, 6886 markings/sec, 125 secs
lola: 933091 markings, 2096951 edges, 6960 markings/sec, 130 secs
lola: 966009 markings, 2175329 edges, 6584 markings/sec, 135 secs
lola: 998766 markings, 2252286 edges, 6551 markings/sec, 140 secs
lola: 1031383 markings, 2328512 edges, 6523 markings/sec, 145 secs
lola: 1064324 markings, 2405382 edges, 6588 markings/sec, 150 secs
lola: 1098470 markings, 2483371 edges, 6829 markings/sec, 155 secs
lola: 1132921 markings, 2563141 edges, 6890 markings/sec, 160 secs
lola: 1168325 markings, 2645316 edges, 7081 markings/sec, 165 secs
lola: 1202425 markings, 2725674 edges, 6820 markings/sec, 170 secs
lola: 1237570 markings, 2808146 edges, 7029 markings/sec, 175 secs
lola: 1272097 markings, 2888688 edges, 6905 markings/sec, 180 secs
lola: 1307244 markings, 2971331 edges, 7029 markings/sec, 185 secs
lola: 1340934 markings, 3045973 edges, 6738 markings/sec, 190 secs
lola: 1374903 markings, 3123814 edges, 6794 markings/sec, 195 secs
lola: 1408642 markings, 3202297 edges, 6748 markings/sec, 200 secs
lola: 1442464 markings, 3280605 edges, 6764 markings/sec, 205 secs
lola: 1476132 markings, 3354551 edges, 6734 markings/sec, 210 secs
lola: 1509761 markings, 3433818 edges, 6726 markings/sec, 215 secs
lola: 1543214 markings, 3514272 edges, 6691 markings/sec, 220 secs
lola: 1576952 markings, 3592987 edges, 6748 markings/sec, 225 secs
lola: 1611523 markings, 3674456 edges, 6914 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 38246 markings, 77342 edges, 7649 markings/sec, 0 secs
lola: 77516 markings, 160205 edges, 7854 markings/sec, 5 secs
lola: 115820 markings, 242280 edges, 7661 markings/sec, 10 secs
lola: 154933 markings, 326789 edges, 7823 markings/sec, 15 secs
lola: 193089 markings, 411040 edges, 7631 markings/sec, 20 secs
lola: 230733 markings, 494337 edges, 7529 markings/sec, 25 secs
lola: 268579 markings, 577635 edges, 7569 markings/sec, 30 secs
lola: 306229 markings, 662097 edges, 7530 markings/sec, 35 secs
lola: 344656 markings, 748595 edges, 7685 markings/sec, 40 secs
lola: 383446 markings, 832734 edges, 7758 markings/sec, 45 secs
lola: 420694 markings, 916508 edges, 7450 markings/sec, 50 secs
lola: 454519 markings, 993624 edges, 6765 markings/sec, 55 secs
lola: 488733 markings, 1070601 edges, 6843 markings/sec, 60 secs
lola: 522801 markings, 1147965 edges, 6814 markings/sec, 65 secs
lola: 560673 markings, 1235156 edges, 7574 markings/sec, 70 secs
lola: 597453 markings, 1321065 edges, 7356 markings/sec, 75 secs
lola: 632766 markings, 1402043 edges, 7063 markings/sec, 80 secs
lola: 667599 markings, 1482651 edges, 6967 markings/sec, 85 secs
lola: 701173 markings, 1560709 edges, 6715 markings/sec, 90 secs
lola: 734991 markings, 1637957 edges, 6764 markings/sec, 95 secs
lola: 768166 markings, 1713512 edges, 6635 markings/sec, 100 secs
lola: 801443 markings, 1790549 edges, 6655 markings/sec, 105 secs
lola: 839745 markings, 1878815 edges, 7660 markings/sec, 110 secs
lola: 876721 markings, 1966617 edges, 7395 markings/sec, 115 secs
lola: 914312 markings, 2052712 edges, 7518 markings/sec, 120 secs
lola: 952208 markings, 2141817 edges, 7579 markings/sec, 125 secs
lola: 989827 markings, 2231373 edges, 7524 markings/sec, 130 secs
lola: 1027905 markings, 2320839 edges, 7616 markings/sec, 135 secs
lola: 1065797 markings, 2409113 edges, 7578 markings/sec, 140 secs
lola: 1103530 markings, 2495239 edges, 7547 markings/sec, 145 secs
lola: 1141205 markings, 2581974 edges, 7535 markings/sec, 150 secs
lola: 1178821 markings, 2670029 edges, 7523 markings/sec, 155 secs
lola: 1215447 markings, 2756137 edges, 7325 markings/sec, 160 secs
lola: 1251762 markings, 2840861 edges, 7263 markings/sec, 165 secs
lola: 1288120 markings, 2926227 edges, 7272 markings/sec, 170 secs
lola: 1325117 markings, 3009900 edges, 7399 markings/sec, 175 secs
lola: 1362230 markings, 3094873 edges, 7423 markings/sec, 180 secs
lola: 1399033 markings, 3179724 edges, 7361 markings/sec, 185 secs
lola: 1435368 markings, 3263770 edges, 7267 markings/sec, 190 secs
lola: 1472659 markings, 3346516 edges, 7458 markings/sec, 195 secs
lola: 1510044 markings, 3434542 edges, 7477 markings/sec, 200 secs
lola: 1546733 markings, 3522229 edges, 7338 markings/sec, 205 secs
lola: 1584250 markings, 3610321 edges, 7503 markings/sec, 210 secs
lola: 1621671 markings, 3698011 edges, 7484 markings/sec, 215 secs
lola: 1658888 markings, 3784918 edges, 7443 markings/sec, 220 secs
lola: 1696441 markings, 3874543 edges, 7511 markings/sec, 225 secs
lola: 1733792 markings, 3962719 edges, 7470 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p86 + p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 50406 markings, 118690 edges, 10081 markings/sec, 0 secs
lola: 100009 markings, 242743 edges, 9921 markings/sec, 5 secs
lola: 150097 markings, 371124 edges, 10018 markings/sec, 10 secs
lola: 199426 markings, 498996 edges, 9866 markings/sec, 15 secs
lola: 248992 markings, 627494 edges, 9913 markings/sec, 20 secs
lola: 298761 markings, 758073 edges, 9954 markings/sec, 25 secs
lola: 347699 markings, 888633 edges, 9788 markings/sec, 30 secs
lola: 396339 markings, 1017243 edges, 9728 markings/sec, 35 secs
lola: 443636 markings, 1144486 edges, 9459 markings/sec, 40 secs
lola: 491137 markings, 1272496 edges, 9500 markings/sec, 45 secs
lola: 537828 markings, 1398289 edges, 9338 markings/sec, 50 secs
lola: 584650 markings, 1524493 edges, 9364 markings/sec, 55 secs
lola: 630778 markings, 1650031 edges, 9226 markings/sec, 60 secs
lola: 678693 markings, 1781403 edges, 9583 markings/sec, 65 secs
lola: 725942 markings, 1908140 edges, 9450 markings/sec, 70 secs
lola: 771466 markings, 2031465 edges, 9105 markings/sec, 75 secs
lola: 814312 markings, 2149016 edges, 8569 markings/sec, 80 secs
lola: 859925 markings, 2273972 edges, 9123 markings/sec, 85 secs
lola: 904675 markings, 2397287 edges, 8950 markings/sec, 90 secs
lola: 946186 markings, 2510711 edges, 8302 markings/sec, 95 secs
lola: 987970 markings, 2627784 edges, 8357 markings/sec, 100 secs
lola: 1030580 markings, 2746931 edges, 8522 markings/sec, 105 secs
lola: 1075883 markings, 2867906 edges, 9061 markings/sec, 110 secs
lola: 1121041 markings, 2991799 edges, 9032 markings/sec, 115 secs
lola: 1166712 markings, 3118327 edges, 9134 markings/sec, 120 secs
lola: 1212673 markings, 3248005 edges, 9192 markings/sec, 125 secs
lola: 1257246 markings, 3372793 edges, 8915 markings/sec, 130 secs
lola: 1301877 markings, 3496739 edges, 8926 markings/sec, 135 secs
lola: 1346328 markings, 3618556 edges, 8890 markings/sec, 140 secs
lola: 1391889 markings, 3744853 edges, 9112 markings/sec, 145 secs
lola: 1438237 markings, 3873572 edges, 9270 markings/sec, 150 secs
lola: 1480206 markings, 3987492 edges, 8394 markings/sec, 155 secs
lola: 1522665 markings, 4106661 edges, 8492 markings/sec, 160 secs
lola: 1564534 markings, 4224120 edges, 8374 markings/sec, 165 secs
lola: 1606135 markings, 4338087 edges, 8320 markings/sec, 170 secs
lola: 1647504 markings, 4455696 edges, 8274 markings/sec, 175 secs
lola: 1689762 markings, 4573229 edges, 8452 markings/sec, 180 secs
lola: 1731001 markings, 4688700 edges, 8248 markings/sec, 185 secs
lola: 1772636 markings, 4807234 edges, 8327 markings/sec, 190 secs
lola: 1814628 markings, 4925327 edges, 8398 markings/sec, 195 secs
lola: 1856638 markings, 5044519 edges, 8402 markings/sec, 200 secs
lola: 1901076 markings, 5170433 edges, 8888 markings/sec, 205 secs
lola: 1946076 markings, 5293640 edges, 9000 markings/sec, 210 secs
lola: 1991920 markings, 5423162 edges, 9169 markings/sec, 215 secs
lola: 2038011 markings, 5552050 edges, 9218 markings/sec, 220 secs
lola: 2084301 markings, 5683039 edges, 9258 markings/sec, 225 secs
lola: 2130419 markings, 5813738 edges, 9224 markings/sec, 230 secs
lola: 2176386 markings, 5943580 edges, 9193 markings/sec, 235 secs
lola: 2222263 markings, 6073376 edges, 9175 markings/sec, 240 secs
lola: 2269145 markings, 6208498 edges, 9376 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 6 will run for 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 46786 markings, 64351 edges, 9357 markings/sec, 0 secs
lola: 94206 markings, 131386 edges, 9484 markings/sec, 5 secs
lola: 141136 markings, 197495 edges, 9386 markings/sec, 10 secs
lola: 186481 markings, 266134 edges, 9069 markings/sec, 15 secs
lola: 232872 markings, 335715 edges, 9278 markings/sec, 20 secs
lola: 279652 markings, 401064 edges, 9356 markings/sec, 25 secs
lola: 323707 markings, 473212 edges, 8811 markings/sec, 30 secs
lola: 366400 markings, 546278 edges, 8539 markings/sec, 35 secs
lola: 408621 markings, 617057 edges, 8444 markings/sec, 40 secs
lola: 452240 markings, 685272 edges, 8724 markings/sec, 45 secs
lola: 494421 markings, 755681 edges, 8436 markings/sec, 50 secs
lola: 540462 markings, 819058 edges, 9208 markings/sec, 55 secs
lola: 584885 markings, 884604 edges, 8885 markings/sec, 60 secs
lola: 627520 markings, 954047 edges, 8527 markings/sec, 65 secs
lola: 671556 markings, 1020438 edges, 8807 markings/sec, 70 secs
lola: 714886 markings, 1089107 edges, 8666 markings/sec, 75 secs
lola: 758225 markings, 1164818 edges, 8668 markings/sec, 80 secs
lola: 798149 markings, 1229751 edges, 7985 markings/sec, 85 secs
lola: 837668 markings, 1296404 edges, 7904 markings/sec, 90 secs
lola: 877237 markings, 1362838 edges, 7914 markings/sec, 95 secs
lola: 919961 markings, 1427386 edges, 8545 markings/sec, 100 secs
lola: 962297 markings, 1497385 edges, 8467 markings/sec, 105 secs
lola: 1005966 markings, 1566353 edges, 8734 markings/sec, 110 secs
lola: 1049483 markings, 1632660 edges, 8703 markings/sec, 115 secs
lola: 1090741 markings, 1702122 edges, 8252 markings/sec, 120 secs
lola: 1132648 markings, 1774212 edges, 8381 markings/sec, 125 secs
lola: 1174176 markings, 1848044 edges, 8306 markings/sec, 130 secs
lola: 1216154 markings, 1924600 edges, 8396 markings/sec, 135 secs
lola: 1258404 markings, 1991206 edges, 8450 markings/sec, 140 secs
lola: 1298719 markings, 2054704 edges, 8063 markings/sec, 145 secs
lola: 1337777 markings, 2123146 edges, 7812 markings/sec, 150 secs
lola: 1375984 markings, 2191808 edges, 7641 markings/sec, 155 secs
lola: 1415501 markings, 2256434 edges, 7903 markings/sec, 160 secs
lola: 1454617 markings, 2319432 edges, 7823 markings/sec, 165 secs
lola: 1493878 markings, 2385470 edges, 7852 markings/sec, 170 secs
lola: 1532656 markings, 2454037 edges, 7756 markings/sec, 175 secs
lola: 1572783 markings, 2517532 edges, 8025 markings/sec, 180 secs
lola: 1611782 markings, 2582907 edges, 7800 markings/sec, 185 secs
lola: 1650488 markings, 2648373 edges, 7741 markings/sec, 190 secs
lola: 1690276 markings, 2713518 edges, 7958 markings/sec, 195 secs
lola: 1728231 markings, 2778770 edges, 7591 markings/sec, 200 secs
lola: 1766873 markings, 2846962 edges, 7728 markings/sec, 205 secs
lola: 1805021 markings, 2918277 edges, 7630 markings/sec, 210 secs
lola: 1843970 markings, 2987569 edges, 7790 markings/sec, 215 secs
lola: 1883228 markings, 3055252 edges, 7852 markings/sec, 220 secs
lola: 1922484 markings, 3121066 edges, 7851 markings/sec, 225 secs
lola: 1961626 markings, 3185362 edges, 7828 markings/sec, 230 secs
lola: 2000340 markings, 3253608 edges, 7743 markings/sec, 235 secs
lola: 2038625 markings, 3323056 edges, 7657 markings/sec, 240 secs
lola: 2077156 markings, 3393267 edges, 7706 markings/sec, 245 secs
lola: 2115576 markings, 3462891 edges, 7684 markings/sec, 250 secs
lola: 2153881 markings, 3532693 edges, 7661 markings/sec, 255 secs
lola: 2192697 markings, 3602122 edges, 7763 markings/sec, 260 secs
lola: 2232859 markings, 3676640 edges, 8032 markings/sec, 265 secs
lola: 2274498 markings, 3749510 edges, 8328 markings/sec, 270 secs
lola: 2314483 markings, 3821374 edges, 7997 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85 + p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 45591 markings, 104834 edges, 9118 markings/sec, 0 secs
lola: 91361 markings, 217201 edges, 9154 markings/sec, 5 secs
lola: 137560 markings, 332208 edges, 9240 markings/sec, 10 secs
lola: 183163 markings, 448397 edges, 9121 markings/sec, 15 secs
lola: 228698 markings, 563609 edges, 9107 markings/sec, 20 secs
lola: 274322 markings, 679711 edges, 9125 markings/sec, 25 secs
lola: 319661 markings, 796123 edges, 9068 markings/sec, 30 secs
lola: 365098 markings, 915048 edges, 9087 markings/sec, 35 secs
lola: 410633 markings, 1033492 edges, 9107 markings/sec, 40 secs
lola: 454130 markings, 1148155 edges, 8699 markings/sec, 45 secs
lola: 495379 markings, 1256613 edges, 8250 markings/sec, 50 secs
lola: 536677 markings, 1365706 edges, 8260 markings/sec, 55 secs
lola: 577765 markings, 1474265 edges, 8218 markings/sec, 60 secs
lola: 622429 markings, 1593260 edges, 8933 markings/sec, 65 secs
lola: 668182 markings, 1715592 edges, 9151 markings/sec, 70 secs
lola: 714090 markings, 1838092 edges, 9182 markings/sec, 75 secs
lola: 758755 markings, 1957050 edges, 8933 markings/sec, 80 secs
lola: 803936 markings, 2080026 edges, 9036 markings/sec, 85 secs
lola: 848628 markings, 2200976 edges, 8938 markings/sec, 90 secs
lola: 893610 markings, 2322028 edges, 8996 markings/sec, 95 secs
lola: 936851 markings, 2438721 edges, 8648 markings/sec, 100 secs
lola: 982345 markings, 2559122 edges, 9099 markings/sec, 105 secs
lola: 1028037 markings, 2681780 edges, 9138 markings/sec, 110 secs
lola: 1072292 markings, 2798829 edges, 8851 markings/sec, 115 secs
lola: 1117929 markings, 2921943 edges, 9127 markings/sec, 120 secs
lola: 1163534 markings, 3045290 edges, 9121 markings/sec, 125 secs
lola: 1208190 markings, 3166878 edges, 8931 markings/sec, 130 secs
lola: 1251719 markings, 3285868 edges, 8706 markings/sec, 135 secs
lola: 1295948 markings, 3405184 edges, 8846 markings/sec, 140 secs
lola: 1340407 markings, 3527419 edges, 8892 markings/sec, 145 secs
lola: 1385731 markings, 3648942 edges, 9065 markings/sec, 150 secs
lola: 1430054 markings, 3767763 edges, 8865 markings/sec, 155 secs
lola: 1471435 markings, 3880300 edges, 8276 markings/sec, 160 secs
lola: 1511976 markings, 3990441 edges, 8108 markings/sec, 165 secs
lola: 1553286 markings, 4102671 edges, 8262 markings/sec, 170 secs
lola: 1594887 markings, 4216650 edges, 8320 markings/sec, 175 secs
lola: 1637704 markings, 4333729 edges, 8563 markings/sec, 180 secs
lola: 1680587 markings, 4449289 edges, 8577 markings/sec, 185 secs
lola: 1723491 markings, 4568462 edges, 8581 markings/sec, 190 secs
lola: 1765918 markings, 4683872 edges, 8485 markings/sec, 195 secs
lola: 1808862 markings, 4800988 edges, 8589 markings/sec, 200 secs
lola: 1851349 markings, 4915469 edges, 8497 markings/sec, 205 secs
lola: 1893545 markings, 5031225 edges, 8439 markings/sec, 210 secs
lola: 1933802 markings, 5141573 edges, 8051 markings/sec, 215 secs
lola: 1977147 markings, 5261441 edges, 8669 markings/sec, 220 secs
lola: 2022476 markings, 5386194 edges, 9066 markings/sec, 225 secs
lola: 2066357 markings, 5506957 edges, 8776 markings/sec, 230 secs
lola: 2109822 markings, 5627572 edges, 8693 markings/sec, 235 secs
lola: 2153564 markings, 5748495 edges, 8748 markings/sec, 240 secs
lola: 2198654 markings, 5868124 edges, 9018 markings/sec, 245 secs
lola: 2242808 markings, 5988156 edges, 8831 markings/sec, 250 secs
lola: 2285505 markings, 6106251 edges, 8539 markings/sec, 255 secs
lola: 2328046 markings, 6222759 edges, 8508 markings/sec, 260 secs
lola: 2370222 markings, 6338156 edges, 8435 markings/sec, 265 secs
lola: 2413937 markings, 6457446 edges, 8743 markings/sec, 270 secs
lola: 2456888 markings, 6575078 edges, 8590 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 46549 markings, 147954 edges, 9310 markings/sec, 0 secs
lola: 91559 markings, 306981 edges, 9002 markings/sec, 5 secs
lola: 137504 markings, 474843 edges, 9189 markings/sec, 10 secs
lola: 182435 markings, 641382 edges, 8986 markings/sec, 15 secs
lola: 226966 markings, 803304 edges, 8906 markings/sec, 20 secs
lola: 272481 markings, 976202 edges, 9103 markings/sec, 25 secs
lola: 316798 markings, 1143111 edges, 8863 markings/sec, 30 secs
lola: 361454 markings, 1319115 edges, 8931 markings/sec, 35 secs
lola: 405311 markings, 1483316 edges, 8771 markings/sec, 40 secs
lola: 449642 markings, 1656932 edges, 8866 markings/sec, 45 secs
lola: 494058 markings, 1832403 edges, 8883 markings/sec, 50 secs
lola: 540592 markings, 2011308 edges, 9307 markings/sec, 55 secs
lola: 587361 markings, 2207116 edges, 9354 markings/sec, 60 secs
lola: 632498 markings, 2388080 edges, 9027 markings/sec, 65 secs
lola: 676841 markings, 2564837 edges, 8869 markings/sec, 70 secs
lola: 723226 markings, 2746025 edges, 9277 markings/sec, 75 secs
lola: 769921 markings, 2927168 edges, 9339 markings/sec, 80 secs
lola: 817079 markings, 3113234 edges, 9432 markings/sec, 85 secs
lola: 864191 markings, 3305345 edges, 9422 markings/sec, 90 secs
lola: 909616 markings, 3487915 edges, 9085 markings/sec, 95 secs
lola: 953232 markings, 3673636 edges, 8723 markings/sec, 100 secs
lola: 995141 markings, 3838580 edges, 8382 markings/sec, 105 secs
lola: 1037061 markings, 4006435 edges, 8384 markings/sec, 110 secs
lola: 1082725 markings, 4194179 edges, 9133 markings/sec, 115 secs
lola: 1128869 markings, 4381680 edges, 9229 markings/sec, 120 secs
lola: 1174022 markings, 4565563 edges, 9031 markings/sec, 125 secs
lola: 1219786 markings, 4761516 edges, 9153 markings/sec, 130 secs
lola: 1265430 markings, 4945245 edges, 9129 markings/sec, 135 secs
lola: 1308433 markings, 5123166 edges, 8601 markings/sec, 140 secs
lola: 1350486 markings, 5294402 edges, 8411 markings/sec, 145 secs
lola: 1392404 markings, 5464097 edges, 8384 markings/sec, 150 secs
lola: 1434411 markings, 5641369 edges, 8401 markings/sec, 155 secs
lola: 1476384 markings, 5815807 edges, 8395 markings/sec, 160 secs
lola: 1519589 markings, 5995883 edges, 8641 markings/sec, 165 secs
lola: 1564343 markings, 6188449 edges, 8951 markings/sec, 170 secs
lola: 1609518 markings, 6378565 edges, 9035 markings/sec, 175 secs
lola: 1654810 markings, 6566029 edges, 9058 markings/sec, 180 secs
lola: 1700190 markings, 6758582 edges, 9076 markings/sec, 185 secs
lola: 1745341 markings, 6940865 edges, 9030 markings/sec, 190 secs
lola: 1789901 markings, 7123482 edges, 8912 markings/sec, 195 secs
lola: 1834858 markings, 7311317 edges, 8991 markings/sec, 200 secs
lola: 1879379 markings, 7500410 edges, 8904 markings/sec, 205 secs
lola: 1924041 markings, 7690654 edges, 8932 markings/sec, 210 secs
lola: 1969423 markings, 7886951 edges, 9076 markings/sec, 215 secs
lola: 2012761 markings, 8066297 edges, 8668 markings/sec, 220 secs
lola: 2057456 markings, 8250648 edges, 8939 markings/sec, 225 secs
lola: 2102769 markings, 8441779 edges, 9063 markings/sec, 230 secs
lola: 2147905 markings, 8630784 edges, 9027 markings/sec, 235 secs
lola: 2192780 markings, 8814057 edges, 8975 markings/sec, 240 secs
lola: 2237238 markings, 9001257 edges, 8892 markings/sec, 245 secs
lola: 2283406 markings, 9196441 edges, 9234 markings/sec, 250 secs
lola: 2328973 markings, 9381561 edges, 9113 markings/sec, 255 secs
lola: 2373507 markings, 9573514 edges, 8907 markings/sec, 260 secs
lola: 2418478 markings, 9760604 edges, 8994 markings/sec, 265 secs
lola: 2464717 markings, 9952596 edges, 9248 markings/sec, 270 secs
lola: 2510296 markings, 10148336 edges, 9116 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 37178 markings, 74499 edges, 7436 markings/sec, 0 secs
lola: 75173 markings, 154442 edges, 7599 markings/sec, 5 secs
lola: 112981 markings, 235318 edges, 7562 markings/sec, 10 secs
lola: 151457 markings, 318756 edges, 7695 markings/sec, 15 secs
lola: 188851 markings, 401387 edges, 7479 markings/sec, 20 secs
lola: 225740 markings, 483420 edges, 7378 markings/sec, 25 secs
lola: 263358 markings, 566498 edges, 7524 markings/sec, 30 secs
lola: 301026 markings, 649305 edges, 7534 markings/sec, 35 secs
lola: 337729 markings, 731465 edges, 7341 markings/sec, 40 secs
lola: 373678 markings, 813116 edges, 7190 markings/sec, 45 secs
lola: 409797 markings, 894310 edges, 7224 markings/sec, 50 secs
lola: 447039 markings, 977826 edges, 7448 markings/sec, 55 secs
lola: 482866 markings, 1059350 edges, 7165 markings/sec, 60 secs
lola: 518827 markings, 1141113 edges, 7192 markings/sec, 65 secs
lola: 554797 markings, 1222246 edges, 7194 markings/sec, 70 secs
lola: 590133 markings, 1303944 edges, 7067 markings/sec, 75 secs
lola: 625789 markings, 1387025 edges, 7131 markings/sec, 80 secs
lola: 661250 markings, 1468467 edges, 7092 markings/sec, 85 secs
lola: 696456 markings, 1549380 edges, 7041 markings/sec, 90 secs
lola: 729860 markings, 1625736 edges, 6681 markings/sec, 95 secs
lola: 762573 markings, 1701983 edges, 6543 markings/sec, 100 secs
lola: 796127 markings, 1780348 edges, 6711 markings/sec, 105 secs
lola: 831623 markings, 1861562 edges, 7099 markings/sec, 110 secs
lola: 867022 markings, 1943045 edges, 7080 markings/sec, 115 secs
lola: 902752 markings, 2027290 edges, 7146 markings/sec, 120 secs
lola: 940080 markings, 2116329 edges, 7466 markings/sec, 125 secs
lola: 976921 markings, 2202284 edges, 7368 markings/sec, 130 secs
lola: 1012891 markings, 2286154 edges, 7194 markings/sec, 135 secs
lola: 1047486 markings, 2367300 edges, 6919 markings/sec, 140 secs
lola: 1082677 markings, 2449666 edges, 7038 markings/sec, 145 secs
lola: 1118206 markings, 2532334 edges, 7106 markings/sec, 150 secs
lola: 1153747 markings, 2614215 edges, 7108 markings/sec, 155 secs
lola: 1190331 markings, 2699531 edges, 7317 markings/sec, 160 secs
lola: 1225753 markings, 2782216 edges, 7084 markings/sec, 165 secs
lola: 1259866 markings, 2863447 edges, 6823 markings/sec, 170 secs
lola: 1293692 markings, 2943627 edges, 6765 markings/sec, 175 secs
lola: 1327375 markings, 3022587 edges, 6737 markings/sec, 180 secs
lola: 1361554 markings, 3101945 edges, 6836 markings/sec, 185 secs
lola: 1396388 markings, 3183145 edges, 6967 markings/sec, 190 secs
lola: 1430732 markings, 3264387 edges, 6869 markings/sec, 195 secs
lola: 1464946 markings, 3345183 edges, 6843 markings/sec, 200 secs
lola: 1497411 markings, 3422713 edges, 6493 markings/sec, 205 secs
lola: 1530164 markings, 3499116 edges, 6551 markings/sec, 210 secs
lola: 1564245 markings, 3574902 edges, 6816 markings/sec, 215 secs
lola: 1597859 markings, 3652867 edges, 6723 markings/sec, 220 secs
lola: 1632059 markings, 3733198 edges, 6840 markings/sec, 225 secs
lola: 1667900 markings, 3815978 edges, 7168 markings/sec, 230 secs
lola: 1703418 markings, 3899186 edges, 7104 markings/sec, 235 secs
lola: 1738876 markings, 3981389 edges, 7092 markings/sec, 240 secs
lola: 1774242 markings, 4064512 edges, 7073 markings/sec, 245 secs
lola: 1809444 markings, 4148514 edges, 7040 markings/sec, 250 secs
lola: 1844991 markings, 4232344 edges, 7109 markings/sec, 255 secs
lola: 1880786 markings, 4313244 edges, 7159 markings/sec, 260 secs
lola: 1916382 markings, 4396715 edges, 7119 markings/sec, 265 secs
lola: 1951712 markings, 4478282 edges, 7066 markings/sec, 270 secs
lola: 1987196 markings, 4560711 edges, 7097 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 35775 markings, 72149 edges, 7155 markings/sec, 0 secs
lola: 72164 markings, 148456 edges, 7278 markings/sec, 5 secs
lola: 107949 markings, 225825 edges, 7157 markings/sec, 10 secs
lola: 144238 markings, 303362 edges, 7258 markings/sec, 15 secs
lola: 179864 markings, 381794 edges, 7125 markings/sec, 20 secs
lola: 215235 markings, 459534 edges, 7074 markings/sec, 25 secs
lola: 250893 markings, 539055 edges, 7132 markings/sec, 30 secs
lola: 285443 markings, 615668 edges, 6910 markings/sec, 35 secs
lola: 319842 markings, 692223 edges, 6880 markings/sec, 40 secs
lola: 354719 markings, 769826 edges, 6975 markings/sec, 45 secs
lola: 389384 markings, 845721 edges, 6933 markings/sec, 50 secs
lola: 423981 markings, 924472 edges, 6919 markings/sec, 55 secs
lola: 457925 markings, 1001700 edges, 6789 markings/sec, 60 secs
lola: 492545 markings, 1079531 edges, 6924 markings/sec, 65 secs
lola: 527130 markings, 1157520 edges, 6917 markings/sec, 70 secs
lola: 560810 markings, 1235432 edges, 6736 markings/sec, 75 secs
lola: 594658 markings, 1314411 edges, 6770 markings/sec, 80 secs
lola: 629189 markings, 1394203 edges, 6906 markings/sec, 85 secs
lola: 662904 markings, 1472296 edges, 6743 markings/sec, 90 secs
lola: 696817 markings, 1550464 edges, 6783 markings/sec, 95 secs
lola: 731700 markings, 1630245 edges, 6977 markings/sec, 100 secs
lola: 765257 markings, 1706747 edges, 6711 markings/sec, 105 secs
lola: 799111 markings, 1785428 edges, 6771 markings/sec, 110 secs
lola: 833520 markings, 1864540 edges, 6882 markings/sec, 115 secs
lola: 867086 markings, 1943718 edges, 6713 markings/sec, 120 secs
lola: 900905 markings, 2022609 edges, 6764 markings/sec, 125 secs
lola: 934963 markings, 2101433 edges, 6812 markings/sec, 130 secs
lola: 968337 markings, 2180322 edges, 6675 markings/sec, 135 secs
lola: 1001958 markings, 2259981 edges, 6724 markings/sec, 140 secs
lola: 1035625 markings, 2338921 edges, 6733 markings/sec, 145 secs
lola: 1069243 markings, 2416424 edges, 6724 markings/sec, 150 secs
lola: 1103201 markings, 2494483 edges, 6792 markings/sec, 155 secs
lola: 1138270 markings, 2575488 edges, 7014 markings/sec, 160 secs
lola: 1173219 markings, 2657376 edges, 6990 markings/sec, 165 secs
lola: 1208383 markings, 2739842 edges, 7033 markings/sec, 170 secs
lola: 1242931 markings, 2820721 edges, 6910 markings/sec, 175 secs
lola: 1277385 markings, 2900986 edges, 6891 markings/sec, 180 secs
lola: 1311040 markings, 2979684 edges, 6731 markings/sec, 185 secs
lola: 1346028 markings, 3057489 edges, 6998 markings/sec, 190 secs
lola: 1381219 markings, 3138496 edges, 7038 markings/sec, 195 secs
lola: 1415869 markings, 3218436 edges, 6930 markings/sec, 200 secs
lola: 1449995 markings, 3298196 edges, 6825 markings/sec, 205 secs
lola: 1483732 markings, 3372517 edges, 6747 markings/sec, 210 secs
lola: 1515782 markings, 3448817 edges, 6410 markings/sec, 215 secs
lola: 1547604 markings, 3524273 edges, 6364 markings/sec, 220 secs
lola: 1581248 markings, 3602859 edges, 6729 markings/sec, 225 secs
lola: 1614687 markings, 3681764 edges, 6688 markings/sec, 230 secs
lola: 1648434 markings, 3760134 edges, 6749 markings/sec, 235 secs
lola: 1682514 markings, 3841129 edges, 6816 markings/sec, 240 secs
lola: 1715445 markings, 3919552 edges, 6586 markings/sec, 245 secs
lola: 1748639 markings, 3997324 edges, 6639 markings/sec, 250 secs
lola: 1782904 markings, 4076977 edges, 6853 markings/sec, 255 secs
lola: 1815081 markings, 4153055 edges, 6435 markings/sec, 260 secs
lola: 1846833 markings, 4228783 edges, 6350 markings/sec, 265 secs
lola: 1879106 markings, 4306040 edges, 6455 markings/sec, 270 secs
lola: 1913387 markings, 4386573 edges, 6856 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 43120 markings, 57130 edges, 8624 markings/sec, 0 secs
lola: 84995 markings, 112782 edges, 8375 markings/sec, 5 secs
lola: 127194 markings, 169271 edges, 8440 markings/sec, 10 secs
lola: 169139 markings, 226908 edges, 8389 markings/sec, 15 secs
lola: 210522 markings, 285025 edges, 8277 markings/sec, 20 secs
lola: 251945 markings, 344559 edges, 8285 markings/sec, 25 secs
lola: 295639 markings, 408449 edges, 8739 markings/sec, 30 secs
lola: 338575 markings, 471693 edges, 8587 markings/sec, 35 secs
lola: 381300 markings, 535455 edges, 8545 markings/sec, 40 secs
lola: 424215 markings, 595997 edges, 8583 markings/sec, 45 secs
lola: 467017 markings, 652900 edges, 8560 markings/sec, 50 secs
lola: 508508 markings, 709695 edges, 8298 markings/sec, 55 secs
lola: 549422 markings, 767970 edges, 8183 markings/sec, 60 secs
lola: 591172 markings, 826414 edges, 8350 markings/sec, 65 secs
lola: 634401 markings, 888434 edges, 8646 markings/sec, 70 secs
lola: 677115 markings, 949810 edges, 8543 markings/sec, 75 secs
lola: 719661 markings, 1012214 edges, 8509 markings/sec, 80 secs
lola: 761627 markings, 1074794 edges, 8393 markings/sec, 85 secs
lola: 805809 markings, 1138037 edges, 8836 markings/sec, 90 secs
lola: 847941 markings, 1202031 edges, 8426 markings/sec, 95 secs
lola: 889450 markings, 1265913 edges, 8302 markings/sec, 100 secs
lola: 932614 markings, 1330217 edges, 8633 markings/sec, 105 secs
lola: 975030 markings, 1395873 edges, 8483 markings/sec, 110 secs
lola: 1014780 markings, 1458486 edges, 7950 markings/sec, 115 secs
lola: 1054884 markings, 1519421 edges, 8021 markings/sec, 120 secs
lola: 1095628 markings, 1581898 edges, 8149 markings/sec, 125 secs
lola: 1137512 markings, 1645526 edges, 8377 markings/sec, 130 secs
lola: 1179793 markings, 1710407 edges, 8456 markings/sec, 135 secs
lola: 1220960 markings, 1776272 edges, 8233 markings/sec, 140 secs
lola: 1262070 markings, 1840229 edges, 8222 markings/sec, 145 secs
lola: 1302647 markings, 1902509 edges, 8115 markings/sec, 150 secs
lola: 1343154 markings, 1965763 edges, 8101 markings/sec, 155 secs
lola: 1384210 markings, 2029350 edges, 8211 markings/sec, 160 secs
lola: 1424770 markings, 2092893 edges, 8112 markings/sec, 165 secs
lola: 1466278 markings, 2157896 edges, 8302 markings/sec, 170 secs
lola: 1508389 markings, 2219657 edges, 8422 markings/sec, 175 secs
lola: 1551220 markings, 2276820 edges, 8566 markings/sec, 180 secs
lola: 1594193 markings, 2335892 edges, 8595 markings/sec, 185 secs
lola: 1636261 markings, 2396152 edges, 8414 markings/sec, 190 secs
lola: 1677847 markings, 2457351 edges, 8317 markings/sec, 195 secs
lola: 1720752 markings, 2519018 edges, 8581 markings/sec, 200 secs
lola: 1763512 markings, 2577502 edges, 8552 markings/sec, 205 secs
lola: 1805391 markings, 2639417 edges, 8376 markings/sec, 210 secs
lola: 1846834 markings, 2702214 edges, 8289 markings/sec, 215 secs
lola: 1888508 markings, 2767047 edges, 8335 markings/sec, 220 secs
lola: 1929660 markings, 2833420 edges, 8230 markings/sec, 225 secs
lola: 1970657 markings, 2897998 edges, 8199 markings/sec, 230 secs
lola: 2011307 markings, 2956816 edges, 8130 markings/sec, 235 secs
lola: 2052487 markings, 3014366 edges, 8236 markings/sec, 240 secs
lola: 2094535 markings, 3075729 edges, 8410 markings/sec, 245 secs
lola: 2136296 markings, 3137667 edges, 8352 markings/sec, 250 secs
lola: 2178911 markings, 3196114 edges, 8523 markings/sec, 255 secs
lola: 2221501 markings, 3254750 edges, 8518 markings/sec, 260 secs
lola: 2263963 markings, 3316668 edges, 8492 markings/sec, 265 secs
lola: 2305624 markings, 3379399 edges, 8332 markings/sec, 270 secs
lola: 2346969 markings, 3442234 edges, 8269 markings/sec, 275 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 44950 markings, 142226 edges, 8990 markings/sec, 0 secs
lola: 90799 markings, 304159 edges, 9170 markings/sec, 5 secs
lola: 136099 markings, 469683 edges, 9060 markings/sec, 10 secs
lola: 181778 markings, 639131 edges, 9136 markings/sec, 15 secs
lola: 226118 markings, 800250 edges, 8868 markings/sec, 20 secs
lola: 271456 markings, 972317 edges, 9068 markings/sec, 25 secs
lola: 316548 markings, 1142397 edges, 9018 markings/sec, 30 secs
lola: 361738 markings, 1320392 edges, 9038 markings/sec, 35 secs
lola: 406934 markings, 1489368 edges, 9039 markings/sec, 40 secs
lola: 452137 markings, 1666449 edges, 9041 markings/sec, 45 secs
lola: 497676 markings, 1846445 edges, 9108 markings/sec, 50 secs
lola: 543203 markings, 2021975 edges, 9105 markings/sec, 55 secs
lola: 591087 markings, 2221486 edges, 9577 markings/sec, 60 secs
lola: 637488 markings, 2407815 edges, 9280 markings/sec, 65 secs
lola: 683684 markings, 2591174 edges, 9239 markings/sec, 70 secs
lola: 728940 markings, 2768170 edges, 9051 markings/sec, 75 secs
lola: 774609 markings, 2944748 edges, 9134 markings/sec, 80 secs
lola: 820763 markings, 3127622 edges, 9231 markings/sec, 85 secs
lola: 865874 markings, 3312654 edges, 9022 markings/sec, 90 secs
lola: 910229 markings, 3489924 edges, 8871 markings/sec, 95 secs
lola: 955340 markings, 3681705 edges, 9022 markings/sec, 100 secs
lola: 998668 markings, 3852372 edges, 8666 markings/sec, 105 secs
lola: 1042457 markings, 4027020 edges, 8758 markings/sec, 110 secs
lola: 1087293 markings, 4212896 edges, 8967 markings/sec, 115 secs
lola: 1130618 markings, 4389761 edges, 8665 markings/sec, 120 secs
lola: 1175138 markings, 4570318 edges, 8904 markings/sec, 125 secs
lola: 1222059 markings, 4771038 edges, 9384 markings/sec, 130 secs
lola: 1268417 markings, 4957496 edges, 9272 markings/sec, 135 secs
lola: 1313775 markings, 5146117 edges, 9072 markings/sec, 140 secs
lola: 1357494 markings, 5323873 edges, 8744 markings/sec, 145 secs
lola: 1401277 markings, 5498127 edges, 8757 markings/sec, 150 secs
lola: 1445085 markings, 5688391 edges, 8762 markings/sec, 155 secs
lola: 1488327 markings, 5865017 edges, 8648 markings/sec, 160 secs
lola: 1532718 markings, 6050371 edges, 8878 markings/sec, 165 secs
lola: 1578487 markings, 6244739 edges, 9154 markings/sec, 170 secs
lola: 1624526 markings, 6441192 edges, 9208 markings/sec, 175 secs
lola: 1670128 markings, 6632872 edges, 9120 markings/sec, 180 secs
lola: 1715943 markings, 6823018 edges, 9163 markings/sec, 185 secs
lola: 1761413 markings, 7006548 edges, 9094 markings/sec, 190 secs
lola: 1804565 markings, 7182421 edges, 8630 markings/sec, 195 secs
lola: 1848903 markings, 7370329 edges, 8868 markings/sec, 200 secs
lola: 1894303 markings, 7563047 edges, 9080 markings/sec, 205 secs
lola: 1939705 markings, 7757891 edges, 9080 markings/sec, 210 secs
lola: 1981939 markings, 7938123 edges, 8447 markings/sec, 215 secs
lola: 2026656 markings, 8126212 edges, 8943 markings/sec, 220 secs
lola: 2073035 markings, 8314090 edges, 9276 markings/sec, 225 secs
lola: 2117510 markings, 8501455 edges, 8895 markings/sec, 230 secs
lola: 2161487 markings, 8685778 edges, 8795 markings/sec, 235 secs
lola: 2204916 markings, 8862950 edges, 8686 markings/sec, 240 secs
lola: 2248275 markings, 9049700 edges, 8672 markings/sec, 245 secs
lola: 2293190 markings, 9235640 edges, 8983 markings/sec, 250 secs
lola: 2339353 markings, 9429924 edges, 9233 markings/sec, 255 secs
lola: 2385213 markings, 9621020 edges, 9172 markings/sec, 260 secs
lola: 2431629 markings, 9814756 edges, 9283 markings/sec, 265 secs
lola: 2477466 markings, 10005954 edges, 9167 markings/sec, 270 secs
lola: 2523737 markings, 10205128 edges, 9254 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p66 + p65 + p64 + p63 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 50545 markings, 286459 edges, 10109 markings/sec, 0 secs
lola: 99707 markings, 608219 edges, 9832 markings/sec, 5 secs
lola: 148892 markings, 933213 edges, 9837 markings/sec, 10 secs
lola: 198069 markings, 1293756 edges, 9835 markings/sec, 15 secs
lola: 249571 markings, 1639026 edges, 10300 markings/sec, 20 secs
lola: 299027 markings, 1969735 edges, 9891 markings/sec, 25 secs
lola: 347096 markings, 2321820 edges, 9614 markings/sec, 30 secs
lola: 395000 markings, 2670049 edges, 9581 markings/sec, 35 secs
lola: 445361 markings, 3053674 edges, 10072 markings/sec, 40 secs
lola: 496430 markings, 3402375 edges, 10214 markings/sec, 45 secs
lola: 547057 markings, 3747680 edges, 10125 markings/sec, 50 secs
lola: 596180 markings, 4090090 edges, 9825 markings/sec, 55 secs
lola: 646817 markings, 4459088 edges, 10127 markings/sec, 60 secs
lola: 697463 markings, 4843285 edges, 10129 markings/sec, 65 secs
lola: 747494 markings, 5241941 edges, 10006 markings/sec, 70 secs
lola: 799036 markings, 5551390 edges, 10308 markings/sec, 75 secs
lola: 848802 markings, 5900918 edges, 9953 markings/sec, 80 secs
lola: 897046 markings, 6276680 edges, 9649 markings/sec, 85 secs
lola: 948448 markings, 6643217 edges, 10280 markings/sec, 90 secs
lola: 998710 markings, 7040139 edges, 10052 markings/sec, 95 secs
lola: 1048300 markings, 7405395 edges, 9918 markings/sec, 100 secs
lola: 1099581 markings, 7683093 edges, 10256 markings/sec, 105 secs
lola: 1149281 markings, 8026764 edges, 9940 markings/sec, 110 secs
lola: 1198192 markings, 8395708 edges, 9782 markings/sec, 115 secs
lola: 1248557 markings, 8773834 edges, 10073 markings/sec, 120 secs
lola: 1298690 markings, 9165239 edges, 10027 markings/sec, 125 secs
lola: 1346794 markings, 9567636 edges, 9621 markings/sec, 130 secs
lola: 1395350 markings, 9793367 edges, 9711 markings/sec, 135 secs
lola: 1443200 markings, 9985963 edges, 9570 markings/sec, 140 secs
lola: 1491164 markings, 10207016 edges, 9593 markings/sec, 145 secs
lola: 1540774 markings, 10540691 edges, 9922 markings/sec, 150 secs
lola: 1589061 markings, 10894433 edges, 9657 markings/sec, 155 secs
lola: 1638797 markings, 11272518 edges, 9947 markings/sec, 160 secs
lola: 1689682 markings, 11661877 edges, 10177 markings/sec, 165 secs
lola: 1739996 markings, 12071195 edges, 10063 markings/sec, 170 secs
lola: 1788891 markings, 12421353 edges, 9779 markings/sec, 175 secs
lola: 1836628 markings, 12623559 edges, 9547 markings/sec, 180 secs
lola: 1883842 markings, 12825726 edges, 9443 markings/sec, 185 secs
lola: 1931320 markings, 13030880 edges, 9496 markings/sec, 190 secs
lola: 1978273 markings, 13236846 edges, 9391 markings/sec, 195 secs
lola: 2025532 markings, 13445878 edges, 9452 markings/sec, 200 secs
lola: 2072490 markings, 13656353 edges, 9392 markings/sec, 205 secs
lola: 2120250 markings, 13870507 edges, 9552 markings/sec, 210 secs
lola: 2167582 markings, 14085369 edges, 9466 markings/sec, 215 secs
lola: 2215665 markings, 14303282 edges, 9617 markings/sec, 220 secs
lola: 2264429 markings, 14517745 edges, 9753 markings/sec, 225 secs
lola: 2312538 markings, 14737715 edges, 9622 markings/sec, 230 secs
lola: 2363674 markings, 15040375 edges, 10227 markings/sec, 235 secs
lola: 2415095 markings, 15403776 edges, 10284 markings/sec, 240 secs
lola: 2465026 markings, 15789042 edges, 9986 markings/sec, 245 secs
lola: 2517759 markings, 16179796 edges, 10547 markings/sec, 250 secs
lola: 2568106 markings, 16582594 edges, 10069 markings/sec, 255 secs
lola: 2617479 markings, 17010770 edges, 9875 markings/sec, 260 secs
lola: 2664287 markings, 17220810 edges, 9362 markings/sec, 265 secs
lola: 2710340 markings, 17435864 edges, 9211 markings/sec, 270 secs
lola: 2755876 markings, 17642226 edges, 9107 markings/sec, 275 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 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 44924 markings, 58585 edges, 8985 markings/sec, 0 secs
lola: 90677 markings, 118447 edges, 9151 markings/sec, 5 secs
lola: 136653 markings, 178777 edges, 9195 markings/sec, 10 secs
lola: 183918 markings, 240569 edges, 9453 markings/sec, 15 secs
lola: 231096 markings, 302312 edges, 9436 markings/sec, 20 secs
lola: 278316 markings, 364314 edges, 9444 markings/sec, 25 secs
lola: 325108 markings, 425717 edges, 9358 markings/sec, 30 secs
lola: 372184 markings, 487358 edges, 9415 markings/sec, 35 secs
lola: 418257 markings, 548857 edges, 9215 markings/sec, 40 secs
lola: 464626 markings, 610832 edges, 9274 markings/sec, 45 secs
lola: 509457 markings, 671349 edges, 8966 markings/sec, 50 secs
lola: 552494 markings, 729619 edges, 8607 markings/sec, 55 secs
lola: 595583 markings, 787735 edges, 8618 markings/sec, 60 secs
lola: 640432 markings, 849377 edges, 8970 markings/sec, 65 secs
lola: 689455 markings, 916289 edges, 9805 markings/sec, 70 secs
lola: 738570 markings, 983402 edges, 9823 markings/sec, 75 secs
lola: 787358 markings, 1050737 edges, 9758 markings/sec, 80 secs
lola: 835494 markings, 1118436 edges, 9627 markings/sec, 85 secs
lola: 882918 markings, 1185102 edges, 9485 markings/sec, 90 secs
lola: 928500 markings, 1250519 edges, 9116 markings/sec, 95 secs
lola: 973921 markings, 1314876 edges, 9084 markings/sec, 100 secs
lola: 1019671 markings, 1379835 edges, 9150 markings/sec, 105 secs
lola: 1065172 markings, 1446037 edges, 9100 markings/sec, 110 secs
lola: 1110464 markings, 1511539 edges, 9058 markings/sec, 115 secs
lola: 1156098 markings, 1577421 edges, 9127 markings/sec, 120 secs
lola: 1201170 markings, 1644079 edges, 9014 markings/sec, 125 secs
lola: 1246503 markings, 1710978 edges, 9067 markings/sec, 130 secs
lola: 1292041 markings, 1777065 edges, 9108 markings/sec, 135 secs
lola: 1337111 markings, 1844149 edges, 9014 markings/sec, 140 secs
lola: 1382272 markings, 1910435 edges, 9032 markings/sec, 145 secs
lola: 1427396 markings, 1977076 edges, 9025 markings/sec, 150 secs
lola: 1472670 markings, 2044011 edges, 9055 markings/sec, 155 secs
lola: 1518051 markings, 2110626 edges, 9076 markings/sec, 160 secs
lola: 1564439 markings, 2180293 edges, 9278 markings/sec, 165 secs
lola: 1611021 markings, 2249478 edges, 9316 markings/sec, 170 secs
lola: 1658811 markings, 2319901 edges, 9558 markings/sec, 175 secs
lola: 1707377 markings, 2391960 edges, 9713 markings/sec, 180 secs
lola: 1755721 markings, 2464450 edges, 9669 markings/sec, 185 secs
lola: 1803675 markings, 2536422 edges, 9591 markings/sec, 190 secs
lola: 1851090 markings, 2607546 edges, 9483 markings/sec, 195 secs
lola: 1897917 markings, 2677129 edges, 9365 markings/sec, 200 secs
lola: 1945090 markings, 2739084 edges, 9435 markings/sec, 205 secs
lola: 1992509 markings, 2801495 edges, 9484 markings/sec, 210 secs
lola: 2038954 markings, 2862713 edges, 9289 markings/sec, 215 secs
lola: 2085454 markings, 2925087 edges, 9300 markings/sec, 220 secs
lola: 2131874 markings, 2987645 edges, 9284 markings/sec, 225 secs
lola: 2177701 markings, 3050261 edges, 9165 markings/sec, 230 secs
lola: 2223493 markings, 3114698 edges, 9158 markings/sec, 235 secs
lola: 2265057 markings, 3174970 edges, 8313 markings/sec, 240 secs
lola: 2309536 markings, 3242079 edges, 8896 markings/sec, 245 secs
lola: 2351624 markings, 3304312 edges, 8418 markings/sec, 250 secs
lola: 2397536 markings, 3367780 edges, 9182 markings/sec, 255 secs
lola: 2442970 markings, 3431561 edges, 9087 markings/sec, 260 secs
lola: 2488178 markings, 3497215 edges, 9042 markings/sec, 265 secs
lola: 2533473 markings, 3563478 edges, 9059 markings/sec, 270 secs
lola: 2580037 markings, 3632875 edges, 9313 markings/sec, 275 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 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 16 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: 39732 markings, 80315 edges, 7946 markings/sec, 0 secs
lola: 80184 markings, 165602 edges, 8090 markings/sec, 5 secs
lola: 120483 markings, 252543 edges, 8060 markings/sec, 10 secs
lola: 160394 markings, 338761 edges, 7982 markings/sec, 15 secs
lola: 199961 markings, 426235 edges, 7913 markings/sec, 20 secs
lola: 239365 markings, 513460 edges, 7881 markings/sec, 25 secs
lola: 278867 markings, 600718 edges, 7900 markings/sec, 30 secs
lola: 317781 markings, 687539 edges, 7783 markings/sec, 35 secs
lola: 357954 markings, 776927 edges, 8035 markings/sec, 40 secs
lola: 397611 markings, 864431 edges, 7931 markings/sec, 45 secs
lola: 436752 markings, 953201 edges, 7828 markings/sec, 50 secs
lola: 475940 markings, 1041752 edges, 7838 markings/sec, 55 secs
lola: 514920 markings, 1130990 edges, 7796 markings/sec, 60 secs
lola: 553852 markings, 1219661 edges, 7786 markings/sec, 65 secs
lola: 592376 markings, 1308969 edges, 7705 markings/sec, 70 secs
lola: 631434 markings, 1399516 edges, 7812 markings/sec, 75 secs
lola: 670321 markings, 1488074 edges, 7777 markings/sec, 80 secs
lola: 708822 markings, 1577578 edges, 7700 markings/sec, 85 secs
lola: 747711 markings, 1666070 edges, 7778 markings/sec, 90 secs
lola: 786187 markings, 1755599 edges, 7695 markings/sec, 95 secs
lola: 824991 markings, 1844949 edges, 7761 markings/sec, 100 secs
lola: 863238 markings, 1933952 edges, 7649 markings/sec, 105 secs
lola: 900805 markings, 2022416 edges, 7513 markings/sec, 110 secs
lola: 939273 markings, 2111327 edges, 7694 markings/sec, 115 secs
lola: 977635 markings, 2202789 edges, 7672 markings/sec, 120 secs
lola: 1016331 markings, 2293539 edges, 7739 markings/sec, 125 secs
lola: 1054757 markings, 2383091 edges, 7685 markings/sec, 130 secs
lola: 1093403 markings, 2471476 edges, 7729 markings/sec, 135 secs
lola: 1132652 markings, 2562473 edges, 7850 markings/sec, 140 secs
lola: 1171204 markings, 2652760 edges, 7710 markings/sec, 145 secs
lola: 1209706 markings, 2742756 edges, 7700 markings/sec, 150 secs
lola: 1248024 markings, 2832206 edges, 7664 markings/sec, 155 secs
lola: 1286180 markings, 2921722 edges, 7631 markings/sec, 160 secs
lola: 1325263 markings, 3010275 edges, 7817 markings/sec, 165 secs
lola: 1364992 markings, 3101173 edges, 7946 markings/sec, 170 secs
lola: 1404362 markings, 3192009 edges, 7874 markings/sec, 175 secs
lola: 1442759 markings, 3281247 edges, 7679 markings/sec, 180 secs
lola: 1481949 markings, 3368415 edges, 7838 markings/sec, 185 secs
lola: 1520125 markings, 3459113 edges, 7635 markings/sec, 190 secs
lola: 1558260 markings, 3548727 edges, 7627 markings/sec, 195 secs
lola: 1596469 markings, 3638587 edges, 7642 markings/sec, 200 secs
lola: 1634992 markings, 3728976 edges, 7705 markings/sec, 205 secs
lola: 1672979 markings, 3818164 edges, 7597 markings/sec, 210 secs
lola: 1711088 markings, 3909087 edges, 7622 markings/sec, 215 secs
lola: 1749245 markings, 3998611 edges, 7631 markings/sec, 220 secs
lola: 1787826 markings, 4088435 edges, 7716 markings/sec, 225 secs
lola: 1826017 markings, 4178655 edges, 7638 markings/sec, 230 secs
lola: 1863643 markings, 4270146 edges, 7525 markings/sec, 235 secs
lola: 1901957 markings, 4359992 edges, 7663 markings/sec, 240 secs
lola: 1939908 markings, 4447314 edges, 7590 markings/sec, 245 secs
lola: 1979084 markings, 4538600 edges, 7835 markings/sec, 250 secs
lola: 2017331 markings, 4627301 edges, 7649 markings/sec, 255 secs
lola: 2055556 markings, 4717340 edges, 7645 markings/sec, 260 secs
lola: 2093915 markings, 4807563 edges, 7672 markings/sec, 265 secs
lola: 2131599 markings, 4897198 edges, 7537 markings/sec, 270 secs
lola: 2169327 markings, 4987305 edges, 7546 markings/sec, 275 secs
lola: time limit reached - aborting
lola:
preliminary result: 2 unknown unknown 2 unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA SimpleLoadBal-COL-15-UpperBounds-0 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-3 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-5 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-15-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494817248404

--------------------
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="SimpleLoadBal-COL-15"
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/SimpleLoadBal-COL-15.tgz
mv SimpleLoadBal-COL-15 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 SimpleLoadBal-COL-15, 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-149440963400353"
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 ;