Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_SimpleLoadBal-COL-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443433100353
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SimpleLoadBal-COL-15: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_SimpleLoadBal-COL-15: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_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(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17) : MAX(p116) : MAX(p116) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17) : MAX(p147 + p148) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17) : MAX(p66 + p65 + p64 + p63 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p67) : MAX(p49 + p50) : MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115) : MAX(p0 + p1) : MAX(p116) : MAX(p98 + p96 + p94 + p92 + p90 + p88 + p86 + p84 + p82 + p80 + p78 + p76 + p74 + p72 + p70 + p71 + p73 + p75 + p77 + p79 + p81 + p83 + p85 + p87 + p89 + p91 + p93 + p95 + p97 + p99) : MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115) : MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131) : MAX(p100) : MAX(p116)
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(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 46880 markings, 97932 edges, 9376 markings/sec, 0 secs
lola: 93228 markings, 200861 edges, 9270 markings/sec, 5 secs
lola: 138814 markings, 304658 edges, 9117 markings/sec, 10 secs
lola: 184522 markings, 410023 edges, 9142 markings/sec, 15 secs
lola: 231700 markings, 519406 edges, 9436 markings/sec, 20 secs
lola: 279133 markings, 630516 edges, 9487 markings/sec, 25 secs
lola: 326784 markings, 743598 edges, 9530 markings/sec, 30 secs
lola: 373606 markings, 855168 edges, 9364 markings/sec, 35 secs
lola: 418970 markings, 963450 edges, 9073 markings/sec, 40 secs
lola: 464246 markings, 1071695 edges, 9055 markings/sec, 45 secs
lola: 509489 markings, 1179178 edges, 9049 markings/sec, 50 secs
lola: 555888 markings, 1290986 edges, 9280 markings/sec, 55 secs
lola: 602702 markings, 1404756 edges, 9363 markings/sec, 60 secs
lola: 650898 markings, 1521151 edges, 9639 markings/sec, 65 secs
lola: 698708 markings, 1638984 edges, 9562 markings/sec, 70 secs
lola: 744816 markings, 1751738 edges, 9222 markings/sec, 75 secs
lola: 790898 markings, 1864637 edges, 9216 markings/sec, 80 secs
lola: 838648 markings, 1981252 edges, 9550 markings/sec, 85 secs
lola: 884229 markings, 2092967 edges, 9116 markings/sec, 90 secs
lola: 931026 markings, 2207469 edges, 9359 markings/sec, 95 secs
lola: 976403 markings, 2319666 edges, 9075 markings/sec, 100 secs
lola: 1021699 markings, 2431282 edges, 9059 markings/sec, 105 secs
lola: 1067364 markings, 2544823 edges, 9133 markings/sec, 110 secs
lola: 1113364 markings, 2659245 edges, 9200 markings/sec, 115 secs
lola: 1161373 markings, 2778713 edges, 9602 markings/sec, 120 secs
lola: 1206023 markings, 2889519 edges, 8930 markings/sec, 125 secs
lola: 1249483 markings, 2996746 edges, 8692 markings/sec, 130 secs
lola: 1293448 markings, 3105997 edges, 8793 markings/sec, 135 secs
lola: 1337612 markings, 3215935 edges, 8833 markings/sec, 140 secs
lola: 1382947 markings, 3328952 edges, 9067 markings/sec, 145 secs
lola: 1428371 markings, 3443449 edges, 9085 markings/sec, 150 secs
lola: 1473314 markings, 3555496 edges, 8989 markings/sec, 155 secs
lola: 1518354 markings, 3668713 edges, 9008 markings/sec, 160 secs
lola: 1563180 markings, 3779686 edges, 8965 markings/sec, 165 secs
lola: 1608062 markings, 3893938 edges, 8976 markings/sec, 170 secs
lola: 1653315 markings, 4006934 edges, 9051 markings/sec, 175 secs
lola: 1698566 markings, 4121578 edges, 9050 markings/sec, 180 secs
lola: 1744329 markings, 4236682 edges, 9153 markings/sec, 185 secs
lola: 1789954 markings, 4352596 edges, 9125 markings/sec, 190 secs
lola: 1835256 markings, 4465846 edges, 9060 markings/sec, 195 secs
lola: 1880616 markings, 4580332 edges, 9072 markings/sec, 200 secs
lola: 1926695 markings, 4694607 edges, 9216 markings/sec, 205 secs
lola: 1972014 markings, 4808432 edges, 9064 markings/sec, 210 secs
lola: 2017384 markings, 4922604 edges, 9074 markings/sec, 215 secs
lola: 2063138 markings, 5037864 edges, 9151 markings/sec, 220 secs
lola: 2109057 markings, 5154124 edges, 9184 markings/sec, 225 secs
lola: 2156252 markings, 5273605 edges, 9439 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 48237 markings, 100863 edges, 9647 markings/sec, 0 secs
lola: 95686 markings, 206476 edges, 9490 markings/sec, 5 secs
lola: 141910 markings, 311869 edges, 9245 markings/sec, 10 secs
lola: 189386 markings, 421148 edges, 9495 markings/sec, 15 secs
lola: 235690 markings, 528833 edges, 9261 markings/sec, 20 secs
lola: 281578 markings, 636413 edges, 9178 markings/sec, 25 secs
lola: 327593 markings, 745541 edges, 9203 markings/sec, 30 secs
lola: 374784 markings, 857950 edges, 9438 markings/sec, 35 secs
lola: 421096 markings, 968661 edges, 9262 markings/sec, 40 secs
lola: 466317 markings, 1076665 edges, 9044 markings/sec, 45 secs
lola: 511451 markings, 1184055 edges, 9027 markings/sec, 50 secs
lola: 557311 markings, 1294341 edges, 9172 markings/sec, 55 secs
lola: 604371 markings, 1408711 edges, 9412 markings/sec, 60 secs
lola: 650779 markings, 1520862 edges, 9282 markings/sec, 65 secs
lola: 696962 markings, 1634600 edges, 9237 markings/sec, 70 secs
lola: 743376 markings, 1748219 edges, 9283 markings/sec, 75 secs
lola: 789326 markings, 1860863 edges, 9190 markings/sec, 80 secs
lola: 835375 markings, 1973266 edges, 9210 markings/sec, 85 secs
lola: 880960 markings, 2085044 edges, 9117 markings/sec, 90 secs
lola: 927050 markings, 2197733 edges, 9218 markings/sec, 95 secs
lola: 972692 markings, 2310529 edges, 9128 markings/sec, 100 secs
lola: 1018323 markings, 2422611 edges, 9126 markings/sec, 105 secs
lola: 1064472 markings, 2537784 edges, 9230 markings/sec, 110 secs
lola: 1110263 markings, 2651443 edges, 9158 markings/sec, 115 secs
lola: 1155745 markings, 2764674 edges, 9096 markings/sec, 120 secs
lola: 1200943 markings, 2876926 edges, 9040 markings/sec, 125 secs
lola: 1247631 markings, 2992125 edges, 9338 markings/sec, 130 secs
lola: 1292937 markings, 3104863 edges, 9061 markings/sec, 135 secs
lola: 1338180 markings, 3217328 edges, 9049 markings/sec, 140 secs
lola: 1384045 markings, 3331760 edges, 9173 markings/sec, 145 secs
lola: 1429593 markings, 3446482 edges, 9110 markings/sec, 150 secs
lola: 1475215 markings, 3560247 edges, 9124 markings/sec, 155 secs
lola: 1520523 markings, 3674028 edges, 9062 markings/sec, 160 secs
lola: 1565590 markings, 3785674 edges, 9013 markings/sec, 165 secs
lola: 1609455 markings, 3897490 edges, 8773 markings/sec, 170 secs
lola: 1654432 markings, 4009883 edges, 8995 markings/sec, 175 secs
lola: 1699485 markings, 4123964 edges, 9011 markings/sec, 180 secs
lola: 1745116 markings, 4238627 edges, 9126 markings/sec, 185 secs
lola: 1790601 markings, 4354133 edges, 9097 markings/sec, 190 secs
lola: 1835199 markings, 4465725 edges, 8920 markings/sec, 195 secs
lola: 1880203 markings, 4579158 edges, 9001 markings/sec, 200 secs
lola: 1924433 markings, 4689078 edges, 8846 markings/sec, 205 secs
lola: 1968845 markings, 4800507 edges, 8882 markings/sec, 210 secs
lola: 2013482 markings, 4912807 edges, 8927 markings/sec, 215 secs
lola: 2057850 markings, 5024678 edges, 8874 markings/sec, 220 secs
lola: 2103491 markings, 5140229 edges, 9128 markings/sec, 225 secs
lola: 2148378 markings, 5253728 edges, 8977 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(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 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(p147 + p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 44384 markings, 98666 edges, 8877 markings/sec, 0 secs
lola: 89866 markings, 207209 edges, 9096 markings/sec, 5 secs
lola: 133290 markings, 312263 edges, 8685 markings/sec, 10 secs
lola: 177319 markings, 420422 edges, 8806 markings/sec, 15 secs
lola: 218789 markings, 524638 edges, 8294 markings/sec, 20 secs
lola: 262496 markings, 634860 edges, 8741 markings/sec, 25 secs
lola: 304973 markings, 743307 edges, 8495 markings/sec, 30 secs
lola: 346702 markings, 850225 edges, 8346 markings/sec, 35 secs
lola: 388290 markings, 956952 edges, 8318 markings/sec, 40 secs
lola: 428930 markings, 1060328 edges, 8128 markings/sec, 45 secs
lola: 469356 markings, 1164136 edges, 8085 markings/sec, 50 secs
lola: 510317 markings, 1269704 edges, 8192 markings/sec, 55 secs
lola: 551093 markings, 1377371 edges, 8155 markings/sec, 60 secs
lola: 593768 markings, 1488797 edges, 8535 markings/sec, 65 secs
lola: 634919 markings, 1596844 edges, 8230 markings/sec, 70 secs
lola: 678257 markings, 1710382 edges, 8668 markings/sec, 75 secs
lola: 722258 markings, 1826038 edges, 8800 markings/sec, 80 secs
lola: 764108 markings, 1935642 edges, 8370 markings/sec, 85 secs
lola: 809071 markings, 2054580 edges, 8993 markings/sec, 90 secs
lola: 856899 markings, 2182314 edges, 9566 markings/sec, 95 secs
lola: 904302 markings, 2309740 edges, 9481 markings/sec, 100 secs
lola: 951737 markings, 2435251 edges, 9487 markings/sec, 105 secs
lola: 998475 markings, 2559837 edges, 9348 markings/sec, 110 secs
lola: 1046284 markings, 2687599 edges, 9562 markings/sec, 115 secs
lola: 1093479 markings, 2814303 edges, 9439 markings/sec, 120 secs
lola: 1140632 markings, 2941882 edges, 9431 markings/sec, 125 secs
lola: 1186055 markings, 3062292 edges, 9085 markings/sec, 130 secs
lola: 1230718 markings, 3182361 edges, 8933 markings/sec, 135 secs
lola: 1273011 markings, 3296293 edges, 8459 markings/sec, 140 secs
lola: 1312709 markings, 3403710 edges, 7940 markings/sec, 145 secs
lola: 1352793 markings, 3513775 edges, 8017 markings/sec, 150 secs
lola: 1394890 markings, 3624615 edges, 8419 markings/sec, 155 secs
lola: 1436782 markings, 3737149 edges, 8378 markings/sec, 160 secs
lola: 1477953 markings, 3846507 edges, 8234 markings/sec, 165 secs
lola: 1518707 markings, 3956965 edges, 8151 markings/sec, 170 secs
lola: 1560775 markings, 4071966 edges, 8414 markings/sec, 175 secs
lola: 1601155 markings, 4181787 edges, 8076 markings/sec, 180 secs
lola: 1646204 markings, 4304250 edges, 9010 markings/sec, 185 secs
lola: 1692393 markings, 4429053 edges, 9238 markings/sec, 190 secs
lola: 1738258 markings, 4556070 edges, 9173 markings/sec, 195 secs
lola: 1783301 markings, 4678757 edges, 9009 markings/sec, 200 secs
lola: 1828654 markings, 4801855 edges, 9071 markings/sec, 205 secs
lola: 1873182 markings, 4922294 edges, 8906 markings/sec, 210 secs
lola: 1917255 markings, 5042816 edges, 8815 markings/sec, 215 secs
lola: 1960720 markings, 5161171 edges, 8693 markings/sec, 220 secs
lola: 2004266 markings, 5280080 edges, 8709 markings/sec, 225 secs
lola: 2048133 markings, 5399520 edges, 8773 markings/sec, 230 secs
lola: 2090144 markings, 5513331 edges, 8402 markings/sec, 235 secs
lola: 2130439 markings, 5622985 edges, 8059 markings/sec, 240 secs
lola: 2170839 markings, 5733925 edges, 8080 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(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 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(p66 + p65 + p64 + p63 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 38893 markings, 53724 edges, 7779 markings/sec, 0 secs
lola: 81427 markings, 115035 edges, 8507 markings/sec, 5 secs
lola: 124223 markings, 181473 edges, 8559 markings/sec, 10 secs
lola: 164473 markings, 250783 edges, 8050 markings/sec, 15 secs
lola: 206398 markings, 315108 edges, 8385 markings/sec, 20 secs
lola: 249068 markings, 382033 edges, 8534 markings/sec, 25 secs
lola: 289944 markings, 441897 edges, 8175 markings/sec, 30 secs
lola: 331351 markings, 512151 edges, 8281 markings/sec, 35 secs
lola: 373487 markings, 577648 edges, 8427 markings/sec, 40 secs
lola: 416292 markings, 638826 edges, 8561 markings/sec, 45 secs
lola: 458935 markings, 706951 edges, 8529 markings/sec, 50 secs
lola: 500133 markings, 769569 edges, 8240 markings/sec, 55 secs
lola: 541137 markings, 836124 edges, 8201 markings/sec, 60 secs
lola: 584893 markings, 908877 edges, 8751 markings/sec, 65 secs
lola: 627205 markings, 982734 edges, 8462 markings/sec, 70 secs
lola: 670458 markings, 1045890 edges, 8651 markings/sec, 75 secs
lola: 713562 markings, 1116491 edges, 8621 markings/sec, 80 secs
lola: 756895 markings, 1181798 edges, 8667 markings/sec, 85 secs
lola: 799210 markings, 1249382 edges, 8463 markings/sec, 90 secs
lola: 841569 markings, 1317741 edges, 8472 markings/sec, 95 secs
lola: 885028 markings, 1387643 edges, 8692 markings/sec, 100 secs
lola: 926581 markings, 1459595 edges, 8311 markings/sec, 105 secs
lola: 966807 markings, 1533374 edges, 8045 markings/sec, 110 secs
lola: 1009264 markings, 1600965 edges, 8491 markings/sec, 115 secs
lola: 1051159 markings, 1669146 edges, 8379 markings/sec, 120 secs
lola: 1093203 markings, 1739723 edges, 8409 markings/sec, 125 secs
lola: 1135935 markings, 1804572 edges, 8546 markings/sec, 130 secs
lola: 1178212 markings, 1872564 edges, 8455 markings/sec, 135 secs
lola: 1219608 markings, 1942723 edges, 8279 markings/sec, 140 secs
lola: 1260537 markings, 2016174 edges, 8186 markings/sec, 145 secs
lola: 1300796 markings, 2089389 edges, 8052 markings/sec, 150 secs
lola: 1338692 markings, 2157944 edges, 7579 markings/sec, 155 secs
lola: 1377324 markings, 2224120 edges, 7726 markings/sec, 160 secs
lola: 1414669 markings, 2289008 edges, 7469 markings/sec, 165 secs
lola: 1454482 markings, 2352184 edges, 7963 markings/sec, 170 secs
lola: 1494641 markings, 2415187 edges, 8032 markings/sec, 175 secs
lola: 1532524 markings, 2483617 edges, 7577 markings/sec, 180 secs
lola: 1570349 markings, 2553848 edges, 7565 markings/sec, 185 secs
lola: 1608189 markings, 2623531 edges, 7568 markings/sec, 190 secs
lola: 1645846 markings, 2692860 edges, 7531 markings/sec, 195 secs
lola: 1683573 markings, 2761904 edges, 7545 markings/sec, 200 secs
lola: 1721704 markings, 2831088 edges, 7626 markings/sec, 205 secs
lola: 1759952 markings, 2899975 edges, 7650 markings/sec, 210 secs
lola: 1798195 markings, 2967076 edges, 7649 markings/sec, 215 secs
lola: 1835921 markings, 3036631 edges, 7545 markings/sec, 220 secs
lola: 1873680 markings, 3106591 edges, 7552 markings/sec, 225 secs
lola: 1911474 markings, 3176385 edges, 7559 markings/sec, 230 secs
lola: 1952207 markings, 3248073 edges, 8147 markings/sec, 235 secs
lola: 1989962 markings, 3317024 edges, 7551 markings/sec, 240 secs
lola: 2028524 markings, 3387358 edges, 7712 markings/sec, 245 secs
lola: 2066280 markings, 3458170 edges, 7551 markings/sec, 250 secs
lola: 2105624 markings, 3531303 edges, 7869 markings/sec, 255 secs
lola: 2143338 markings, 3602161 edges, 7543 markings/sec, 260 secs
lola: 2181179 markings, 3673671 edges, 7568 markings/sec, 265 secs
lola: 2221405 markings, 3747218 edges, 8045 markings/sec, 270 secs
lola: 2262259 markings, 3822653 edges, 8171 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(p49 + p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 49327 markings, 108731 edges, 9865 markings/sec, 0 secs
lola: 97953 markings, 222749 edges, 9725 markings/sec, 5 secs
lola: 146607 markings, 337879 edges, 9731 markings/sec, 10 secs
lola: 192641 markings, 448493 edges, 9207 markings/sec, 15 secs
lola: 237866 markings, 558513 edges, 9045 markings/sec, 20 secs
lola: 283212 markings, 669073 edges, 9069 markings/sec, 25 secs
lola: 330468 markings, 785787 edges, 9451 markings/sec, 30 secs
lola: 375546 markings, 898223 edges, 9016 markings/sec, 35 secs
lola: 420614 markings, 1011141 edges, 9014 markings/sec, 40 secs
lola: 465502 markings, 1123371 edges, 8978 markings/sec, 45 secs
lola: 511072 markings, 1239131 edges, 9114 markings/sec, 50 secs
lola: 556483 markings, 1354696 edges, 9082 markings/sec, 55 secs
lola: 601058 markings, 1467772 edges, 8915 markings/sec, 60 secs
lola: 645404 markings, 1579859 edges, 8869 markings/sec, 65 secs
lola: 693495 markings, 1702311 edges, 9618 markings/sec, 70 secs
lola: 740901 markings, 1823304 edges, 9481 markings/sec, 75 secs
lola: 788688 markings, 1945439 edges, 9557 markings/sec, 80 secs
lola: 838432 markings, 2073090 edges, 9949 markings/sec, 85 secs
lola: 887362 markings, 2198485 edges, 9786 markings/sec, 90 secs
lola: 935346 markings, 2321102 edges, 9597 markings/sec, 95 secs
lola: 983708 markings, 2445377 edges, 9672 markings/sec, 100 secs
lola: 1031836 markings, 2569067 edges, 9626 markings/sec, 105 secs
lola: 1078933 markings, 2690850 edges, 9419 markings/sec, 110 secs
lola: 1126025 markings, 2812949 edges, 9418 markings/sec, 115 secs
lola: 1173053 markings, 2935375 edges, 9406 markings/sec, 120 secs
lola: 1218861 markings, 3054411 edges, 9162 markings/sec, 125 secs
lola: 1263134 markings, 3168538 edges, 8855 markings/sec, 130 secs
lola: 1307383 markings, 3283342 edges, 8850 markings/sec, 135 secs
lola: 1350759 markings, 3395523 edges, 8675 markings/sec, 140 secs
lola: 1395583 markings, 3513510 edges, 8965 markings/sec, 145 secs
lola: 1439560 markings, 3627709 edges, 8795 markings/sec, 150 secs
lola: 1483441 markings, 3742234 edges, 8776 markings/sec, 155 secs
lola: 1528438 markings, 3860667 edges, 8999 markings/sec, 160 secs
lola: 1573490 markings, 3977401 edges, 9010 markings/sec, 165 secs
lola: 1618796 markings, 4095170 edges, 9061 markings/sec, 170 secs
lola: 1664871 markings, 4215748 edges, 9215 markings/sec, 175 secs
lola: 1711808 markings, 4338614 edges, 9387 markings/sec, 180 secs
lola: 1760106 markings, 4465975 edges, 9660 markings/sec, 185 secs
lola: 1808163 markings, 4592587 edges, 9611 markings/sec, 190 secs
lola: 1854053 markings, 4712333 edges, 9178 markings/sec, 195 secs
lola: 1900386 markings, 4832364 edges, 9267 markings/sec, 200 secs
lola: 1946917 markings, 4951658 edges, 9306 markings/sec, 205 secs
lola: 1993387 markings, 5073345 edges, 9294 markings/sec, 210 secs
lola: 2039734 markings, 5195250 edges, 9269 markings/sec, 215 secs
lola: 2086682 markings, 5318132 edges, 9390 markings/sec, 220 secs
lola: 2133296 markings, 5439548 edges, 9323 markings/sec, 225 secs
lola: 2179988 markings, 5564213 edges, 9338 markings/sec, 230 secs
lola: 2223927 markings, 5680477 edges, 8788 markings/sec, 235 secs
lola: 2267577 markings, 5795612 edges, 8730 markings/sec, 240 secs
lola: 2311478 markings, 5911491 edges, 8780 markings/sec, 245 secs
lola: 2358145 markings, 6034436 edges, 9333 markings/sec, 250 secs
lola: 2404768 markings, 6156405 edges, 9325 markings/sec, 255 secs
lola: 2451675 markings, 6279785 edges, 9381 markings/sec, 260 secs
lola: 2498154 markings, 6404151 edges, 9296 markings/sec, 265 secs
lola: 2544916 markings, 6527679 edges, 9352 markings/sec, 270 secs
lola: 2591106 markings, 6650793 edges, 9238 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(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 52879 markings, 260943 edges, 10576 markings/sec, 0 secs
lola: 107639 markings, 569060 edges, 10952 markings/sec, 5 secs
lola: 158751 markings, 873827 edges, 10222 markings/sec, 10 secs
lola: 214597 markings, 1205753 edges, 11169 markings/sec, 15 secs
lola: 273145 markings, 1578199 edges, 11710 markings/sec, 20 secs
lola: 323648 markings, 1870274 edges, 10101 markings/sec, 25 secs
lola: 367648 markings, 2114002 edges, 8800 markings/sec, 30 secs
lola: 410608 markings, 2352626 edges, 8592 markings/sec, 35 secs
lola: 452983 markings, 2607006 edges, 8475 markings/sec, 40 secs
lola: 496231 markings, 2858457 edges, 8650 markings/sec, 45 secs
lola: 541122 markings, 3137368 edges, 8978 markings/sec, 50 secs
lola: 584899 markings, 3433823 edges, 8755 markings/sec, 55 secs
lola: 636691 markings, 3716020 edges, 10358 markings/sec, 60 secs
lola: 688411 markings, 4018183 edges, 10344 markings/sec, 65 secs
lola: 739646 markings, 4348071 edges, 10247 markings/sec, 70 secs
lola: 795794 markings, 4686476 edges, 11230 markings/sec, 75 secs
lola: 851523 markings, 5056407 edges, 11146 markings/sec, 80 secs
lola: 903438 markings, 5389465 edges, 10383 markings/sec, 85 secs
lola: 949183 markings, 5643069 edges, 9149 markings/sec, 90 secs
lola: 995213 markings, 5916794 edges, 9206 markings/sec, 95 secs
lola: 1038525 markings, 6188083 edges, 8662 markings/sec, 100 secs
lola: 1081197 markings, 6442410 edges, 8534 markings/sec, 105 secs
lola: 1122966 markings, 6713711 edges, 8354 markings/sec, 110 secs
lola: 1164334 markings, 6995846 edges, 8274 markings/sec, 115 secs
lola: 1206146 markings, 7225964 edges, 8362 markings/sec, 120 secs
lola: 1248760 markings, 7441724 edges, 8523 markings/sec, 125 secs
lola: 1291818 markings, 7658191 edges, 8612 markings/sec, 130 secs
lola: 1336464 markings, 7912118 edges, 8929 markings/sec, 135 secs
lola: 1387356 markings, 8228609 edges, 10178 markings/sec, 140 secs
lola: 1440070 markings, 8542201 edges, 10543 markings/sec, 145 secs
lola: 1494846 markings, 8895966 edges, 10955 markings/sec, 150 secs
lola: 1547510 markings, 9255362 edges, 10533 markings/sec, 155 secs
lola: 1589838 markings, 9498223 edges, 8466 markings/sec, 160 secs
lola: 1638961 markings, 9772458 edges, 9825 markings/sec, 165 secs
lola: 1691667 markings, 10082463 edges, 10541 markings/sec, 170 secs
lola: 1746163 markings, 10362393 edges, 10899 markings/sec, 175 secs
lola: 1801459 markings, 10676644 edges, 11059 markings/sec, 180 secs
lola: 1857043 markings, 11003781 edges, 11117 markings/sec, 185 secs
lola: 1912381 markings, 11338383 edges, 11068 markings/sec, 190 secs
lola: 1967595 markings, 11632726 edges, 11043 markings/sec, 195 secs
lola: 2022232 markings, 11955884 edges, 10927 markings/sec, 200 secs
lola: 2077224 markings, 12292717 edges, 10998 markings/sec, 205 secs
lola: 2132494 markings, 12642986 edges, 11054 markings/sec, 210 secs
lola: 2187890 markings, 12967383 edges, 11079 markings/sec, 215 secs
lola: 2240879 markings, 13288449 edges, 10598 markings/sec, 220 secs
lola: 2287443 markings, 13528255 edges, 9313 markings/sec, 225 secs
lola: 2340701 markings, 13835705 edges, 10652 markings/sec, 230 secs
lola: 2392767 markings, 14159447 edges, 10413 markings/sec, 235 secs
lola: 2445899 markings, 14498909 edges, 10626 markings/sec, 240 secs
lola: 2501968 markings, 14869074 edges, 11214 markings/sec, 245 secs
lola: 2553038 markings, 15128469 edges, 10214 markings/sec, 250 secs
lola: 2602722 markings, 15396913 edges, 9937 markings/sec, 255 secs
lola: 2649104 markings, 15592137 edges, 9276 markings/sec, 260 secs
lola: 2701804 markings, 15911517 edges, 10540 markings/sec, 265 secs
lola: 2747171 markings, 16180510 edges, 9073 markings/sec, 270 secs
lola: 2790898 markings, 16423734 edges, 8745 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(p0 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 47796 markings, 101233 edges, 9559 markings/sec, 0 secs
lola: 97337 markings, 212536 edges, 9908 markings/sec, 5 secs
lola: 145818 markings, 323978 edges, 9696 markings/sec, 10 secs
lola: 193701 markings, 435736 edges, 9577 markings/sec, 15 secs
lola: 241719 markings, 548394 edges, 9604 markings/sec, 20 secs
lola: 291578 markings, 666672 edges, 9972 markings/sec, 25 secs
lola: 340469 markings, 782740 edges, 9778 markings/sec, 30 secs
lola: 388483 markings, 897563 edges, 9603 markings/sec, 35 secs
lola: 436589 markings, 1013639 edges, 9621 markings/sec, 40 secs
lola: 483415 markings, 1126222 edges, 9365 markings/sec, 45 secs
lola: 531837 markings, 1243419 edges, 9684 markings/sec, 50 secs
lola: 580732 markings, 1362569 edges, 9779 markings/sec, 55 secs
lola: 628722 markings, 1480572 edges, 9598 markings/sec, 60 secs
lola: 675959 markings, 1594910 edges, 9447 markings/sec, 65 secs
lola: 723207 markings, 1711611 edges, 9450 markings/sec, 70 secs
lola: 770277 markings, 1827183 edges, 9414 markings/sec, 75 secs
lola: 817625 markings, 1944579 edges, 9470 markings/sec, 80 secs
lola: 864870 markings, 2060976 edges, 9449 markings/sec, 85 secs
lola: 913414 markings, 2180865 edges, 9709 markings/sec, 90 secs
lola: 961429 markings, 2300279 edges, 9603 markings/sec, 95 secs
lola: 1004428 markings, 2406980 edges, 8600 markings/sec, 100 secs
lola: 1050226 markings, 2521622 edges, 9160 markings/sec, 105 secs
lola: 1094399 markings, 2630753 edges, 8835 markings/sec, 110 secs
lola: 1137948 markings, 2739288 edges, 8710 markings/sec, 115 secs
lola: 1182339 markings, 2850811 edges, 8878 markings/sec, 120 secs
lola: 1226440 markings, 2960812 edges, 8820 markings/sec, 125 secs
lola: 1270500 markings, 3070613 edges, 8812 markings/sec, 130 secs
lola: 1314612 markings, 3181783 edges, 8822 markings/sec, 135 secs
lola: 1358654 markings, 3292610 edges, 8808 markings/sec, 140 secs
lola: 1402743 markings, 3402487 edges, 8818 markings/sec, 145 secs
lola: 1448627 markings, 3517282 edges, 9177 markings/sec, 150 secs
lola: 1495497 markings, 3636407 edges, 9374 markings/sec, 155 secs
lola: 1542945 markings, 3756336 edges, 9490 markings/sec, 160 secs
lola: 1590319 markings, 3875306 edges, 9475 markings/sec, 165 secs
lola: 1635128 markings, 3988994 edges, 8962 markings/sec, 170 secs
lola: 1679728 markings, 4101979 edges, 8920 markings/sec, 175 secs
lola: 1723596 markings, 4212502 edges, 8774 markings/sec, 180 secs
lola: 1768269 markings, 4325874 edges, 8935 markings/sec, 185 secs
lola: 1814512 markings, 4442876 edges, 9249 markings/sec, 190 secs
lola: 1860514 markings, 4560171 edges, 9200 markings/sec, 195 secs
lola: 1907376 markings, 4677881 edges, 9372 markings/sec, 200 secs
lola: 1953794 markings, 4794531 edges, 9284 markings/sec, 205 secs
lola: 2000713 markings, 4913655 edges, 9384 markings/sec, 210 secs
lola: 2048212 markings, 5035494 edges, 9500 markings/sec, 215 secs
lola: 2095160 markings, 5155841 edges, 9390 markings/sec, 220 secs
lola: 2142108 markings, 5276966 edges, 9390 markings/sec, 225 secs
lola: 2189554 markings, 5394940 edges, 9489 markings/sec, 230 secs
lola: 2236520 markings, 5513431 edges, 9393 markings/sec, 235 secs
lola: 2283832 markings, 5634376 edges, 9462 markings/sec, 240 secs
lola: 2331577 markings, 5752920 edges, 9549 markings/sec, 245 secs
lola: 2378058 markings, 5870014 edges, 9296 markings/sec, 250 secs
lola: 2424790 markings, 5990140 edges, 9346 markings/sec, 255 secs
lola: 2471200 markings, 6107884 edges, 9282 markings/sec, 260 secs
lola: 2517462 markings, 6227284 edges, 9252 markings/sec, 265 secs
lola: 2563711 markings, 6346895 edges, 9250 markings/sec, 270 secs
lola: 2611499 markings, 6469464 edges, 9558 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 49276 markings, 103050 edges, 9855 markings/sec, 0 secs
lola: 98899 markings, 213872 edges, 9925 markings/sec, 5 secs
lola: 149700 markings, 329549 edges, 10160 markings/sec, 10 secs
lola: 199844 markings, 445434 edges, 10029 markings/sec, 15 secs
lola: 250696 markings, 563871 edges, 10170 markings/sec, 20 secs
lola: 301051 markings, 682209 edges, 10071 markings/sec, 25 secs
lola: 351172 markings, 801572 edges, 10024 markings/sec, 30 secs
lola: 401048 markings, 920732 edges, 9975 markings/sec, 35 secs
lola: 449932 markings, 1037506 edges, 9777 markings/sec, 40 secs
lola: 499153 markings, 1154981 edges, 9844 markings/sec, 45 secs
lola: 548445 markings, 1272708 edges, 9858 markings/sec, 50 secs
lola: 598157 markings, 1393806 edges, 9942 markings/sec, 55 secs
lola: 647765 markings, 1513821 edges, 9922 markings/sec, 60 secs
lola: 696780 markings, 1634141 edges, 9803 markings/sec, 65 secs
lola: 746193 markings, 1755179 edges, 9883 markings/sec, 70 secs
lola: 795359 markings, 1875734 edges, 9833 markings/sec, 75 secs
lola: 844450 markings, 1995749 edges, 9818 markings/sec, 80 secs
lola: 893923 markings, 2116913 edges, 9895 markings/sec, 85 secs
lola: 942716 markings, 2236014 edges, 9759 markings/sec, 90 secs
lola: 991427 markings, 2356459 edges, 9742 markings/sec, 95 secs
lola: 1040980 markings, 2478867 edges, 9911 markings/sec, 100 secs
lola: 1090154 markings, 2601322 edges, 9835 markings/sec, 105 secs
lola: 1139270 markings, 2723694 edges, 9823 markings/sec, 110 secs
lola: 1187927 markings, 2844072 edges, 9731 markings/sec, 115 secs
lola: 1236623 markings, 2964966 edges, 9739 markings/sec, 120 secs
lola: 1285540 markings, 3086490 edges, 9783 markings/sec, 125 secs
lola: 1334436 markings, 3208301 edges, 9779 markings/sec, 130 secs
lola: 1384467 markings, 3332803 edges, 10006 markings/sec, 135 secs
lola: 1435340 markings, 3460524 edges, 10175 markings/sec, 140 secs
lola: 1485092 markings, 3584613 edges, 9950 markings/sec, 145 secs
lola: 1532675 markings, 3704225 edges, 9517 markings/sec, 150 secs
lola: 1580183 markings, 3822971 edges, 9502 markings/sec, 155 secs
lola: 1627450 markings, 3942791 edges, 9453 markings/sec, 160 secs
lola: 1675383 markings, 4063080 edges, 9587 markings/sec, 165 secs
lola: 1722537 markings, 4182016 edges, 9431 markings/sec, 170 secs
lola: 1770854 markings, 4304335 edges, 9663 markings/sec, 175 secs
lola: 1819587 markings, 4426895 edges, 9747 markings/sec, 180 secs
lola: 1868180 markings, 4548611 edges, 9719 markings/sec, 185 secs
lola: 1914400 markings, 4664549 edges, 9244 markings/sec, 190 secs
lola: 1958480 markings, 4774689 edges, 8816 markings/sec, 195 secs
lola: 2007331 markings, 4897352 edges, 9770 markings/sec, 200 secs
lola: 2055809 markings, 5019430 edges, 9696 markings/sec, 205 secs
lola: 2105238 markings, 5144552 edges, 9886 markings/sec, 210 secs
lola: 2154840 markings, 5270110 edges, 9920 markings/sec, 215 secs
lola: 2203804 markings, 5394216 edges, 9793 markings/sec, 220 secs
lola: 2252396 markings, 5517187 edges, 9718 markings/sec, 225 secs
lola: 2301135 markings, 5640072 edges, 9748 markings/sec, 230 secs
lola: 2351019 markings, 5765705 edges, 9977 markings/sec, 235 secs
lola: 2400197 markings, 5890780 edges, 9836 markings/sec, 240 secs
lola: 2448781 markings, 6015296 edges, 9717 markings/sec, 245 secs
lola: 2498398 markings, 6138316 edges, 9923 markings/sec, 250 secs
lola: 2548122 markings, 6266075 edges, 9945 markings/sec, 255 secs
lola: 2596685 markings, 6389781 edges, 9713 markings/sec, 260 secs
lola: 2645011 markings, 6512869 edges, 9665 markings/sec, 265 secs
lola: 2693752 markings, 6635529 edges, 9748 markings/sec, 270 secs
lola: 2742730 markings, 6758202 edges, 9796 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(p98 + p96 + p94 + p92 + p90 + p88 + p86 + p84 + p82 + p80 + p78 + p76 + p74 + p72 + p70 + p71 + p73 + p75 + p77 + p79 + p81 + p83 + p85 + p87 + p89 + p91 + p93 + p95 + p97 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 58581 markings, 84553 edges, 11716 markings/sec, 0 secs
lola: 116903 markings, 172175 edges, 11664 markings/sec, 5 secs
lola: 176405 markings, 260389 edges, 11900 markings/sec, 10 secs
lola: 235219 markings, 347731 edges, 11763 markings/sec, 15 secs
lola: 293490 markings, 434741 edges, 11654 markings/sec, 20 secs
lola: 350541 markings, 523279 edges, 11410 markings/sec, 25 secs
lola: 406391 markings, 612333 edges, 11170 markings/sec, 30 secs
lola: 462560 markings, 700637 edges, 11234 markings/sec, 35 secs
lola: 517183 markings, 790192 edges, 10925 markings/sec, 40 secs
lola: 571679 markings, 880418 edges, 10899 markings/sec, 45 secs
lola: 625055 markings, 971471 edges, 10675 markings/sec, 50 secs
lola: 678892 markings, 1062875 edges, 10767 markings/sec, 55 secs
lola: 732355 markings, 1153344 edges, 10693 markings/sec, 60 secs
lola: 786134 markings, 1245407 edges, 10756 markings/sec, 65 secs
lola: 840110 markings, 1337407 edges, 10795 markings/sec, 70 secs
lola: 893280 markings, 1429826 edges, 10634 markings/sec, 75 secs
lola: 946501 markings, 1522224 edges, 10644 markings/sec, 80 secs
lola: 999778 markings, 1615476 edges, 10655 markings/sec, 85 secs
lola: 1053085 markings, 1709780 edges, 10661 markings/sec, 90 secs
lola: 1105661 markings, 1803148 edges, 10515 markings/sec, 95 secs
lola: 1158535 markings, 1896990 edges, 10575 markings/sec, 100 secs
lola: 1211104 markings, 1990332 edges, 10514 markings/sec, 105 secs
lola: 1263563 markings, 2085005 edges, 10492 markings/sec, 110 secs
lola: 1315781 markings, 2178767 edges, 10444 markings/sec, 115 secs
lola: 1368574 markings, 2273148 edges, 10559 markings/sec, 120 secs
lola: 1420342 markings, 2367228 edges, 10354 markings/sec, 125 secs
lola: 1473407 markings, 2461471 edges, 10613 markings/sec, 130 secs
lola: 1525595 markings, 2554843 edges, 10438 markings/sec, 135 secs
lola: 1577735 markings, 2650401 edges, 10428 markings/sec, 140 secs
lola: 1630660 markings, 2745507 edges, 10585 markings/sec, 145 secs
lola: 1683354 markings, 2840580 edges, 10539 markings/sec, 150 secs
lola: 1735749 markings, 2936463 edges, 10479 markings/sec, 155 secs
lola: 1788455 markings, 3032159 edges, 10541 markings/sec, 160 secs
lola: 1840417 markings, 3127546 edges, 10392 markings/sec, 165 secs
lola: 1892342 markings, 3223162 edges, 10385 markings/sec, 170 secs
lola: 1944914 markings, 3317872 edges, 10514 markings/sec, 175 secs
lola: 1996801 markings, 3412859 edges, 10377 markings/sec, 180 secs
lola: 2048569 markings, 3509034 edges, 10354 markings/sec, 185 secs
lola: 2098738 markings, 3602760 edges, 10034 markings/sec, 190 secs
lola: 2151270 markings, 3699338 edges, 10506 markings/sec, 195 secs
lola: 2203413 markings, 3797258 edges, 10429 markings/sec, 200 secs
lola: 2255343 markings, 3895820 edges, 10386 markings/sec, 205 secs
lola: 2307427 markings, 3994464 edges, 10417 markings/sec, 210 secs
lola: 2359825 markings, 4092548 edges, 10480 markings/sec, 215 secs
lola: 2411049 markings, 4191460 edges, 10245 markings/sec, 220 secs
lola: 2463118 markings, 4290014 edges, 10414 markings/sec, 225 secs
lola: 2514687 markings, 4387842 edges, 10314 markings/sec, 230 secs
lola: 2566767 markings, 4484665 edges, 10416 markings/sec, 235 secs
lola: 2618255 markings, 4582042 edges, 10298 markings/sec, 240 secs
lola: 2670039 markings, 4680058 edges, 10357 markings/sec, 245 secs
lola: 2721481 markings, 4777544 edges, 10288 markings/sec, 250 secs
lola: 2772938 markings, 4875764 edges, 10291 markings/sec, 255 secs
lola: 2824075 markings, 4973242 edges, 10227 markings/sec, 260 secs
lola: 2875359 markings, 5071206 edges, 10257 markings/sec, 265 secs
lola: 2926590 markings, 5168530 edges, 10246 markings/sec, 270 secs
lola: 2977351 markings, 5266242 edges, 10152 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(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 56884 markings, 283461 edges, 11377 markings/sec, 0 secs
lola: 113693 markings, 604702 edges, 11362 markings/sec, 5 secs
lola: 171846 markings, 946199 edges, 11631 markings/sec, 10 secs
lola: 232645 markings, 1316527 edges, 12160 markings/sec, 15 secs
lola: 293426 markings, 1723466 edges, 12156 markings/sec, 20 secs
lola: 342589 markings, 1968991 edges, 9833 markings/sec, 25 secs
lola: 391497 markings, 2240423 edges, 9782 markings/sec, 30 secs
lola: 439552 markings, 2534190 edges, 9611 markings/sec, 35 secs
lola: 489025 markings, 2814369 edges, 9895 markings/sec, 40 secs
lola: 536970 markings, 3111785 edges, 9589 markings/sec, 45 secs
lola: 585299 markings, 3437175 edges, 9666 markings/sec, 50 secs
lola: 642533 markings, 3749356 edges, 11447 markings/sec, 55 secs
lola: 700101 markings, 4093931 edges, 11514 markings/sec, 60 secs
lola: 757871 markings, 4450163 edges, 11554 markings/sec, 65 secs
lola: 818435 markings, 4835873 edges, 12113 markings/sec, 70 secs
lola: 879039 markings, 5253009 edges, 12121 markings/sec, 75 secs
lola: 930735 markings, 5535893 edges, 10339 markings/sec, 80 secs
lola: 979707 markings, 5819368 edges, 9794 markings/sec, 85 secs
lola: 1027604 markings, 6122449 edges, 9579 markings/sec, 90 secs
lola: 1076891 markings, 6415923 edges, 9857 markings/sec, 95 secs
lola: 1124753 markings, 6726482 edges, 9572 markings/sec, 100 secs
lola: 1171624 markings, 7049443 edges, 9374 markings/sec, 105 secs
lola: 1220348 markings, 7293017 edges, 9745 markings/sec, 110 secs
lola: 1268085 markings, 7533430 edges, 9547 markings/sec, 115 secs
lola: 1314618 markings, 7789055 edges, 9307 markings/sec, 120 secs
lola: 1371022 markings, 8120994 edges, 11281 markings/sec, 125 secs
lola: 1430778 markings, 8487840 edges, 11951 markings/sec, 130 secs
lola: 1492501 markings, 8879652 edges, 12345 markings/sec, 135 secs
lola: 1551281 markings, 9275850 edges, 11756 markings/sec, 140 secs
lola: 1598812 markings, 9550037 edges, 9506 markings/sec, 145 secs
lola: 1651666 markings, 9848069 edges, 10571 markings/sec, 150 secs
lola: 1707923 markings, 10159668 edges, 11251 markings/sec, 155 secs
lola: 1765315 markings, 10473450 edges, 11478 markings/sec, 160 secs
lola: 1823913 markings, 10812363 edges, 11720 markings/sec, 165 secs
lola: 1882203 markings, 11151326 edges, 11658 markings/sec, 170 secs
lola: 1939822 markings, 11477343 edges, 11524 markings/sec, 175 secs
lola: 1997793 markings, 11807945 edges, 11594 markings/sec, 180 secs
lola: 2055403 markings, 12170363 edges, 11522 markings/sec, 185 secs
lola: 2113422 markings, 12515647 edges, 11604 markings/sec, 190 secs
lola: 2171213 markings, 12879415 edges, 11558 markings/sec, 195 secs
lola: 2225695 markings, 13188245 edges, 10896 markings/sec, 200 secs
lola: 2276576 markings, 13478854 edges, 10176 markings/sec, 205 secs
lola: 2332885 markings, 13787233 edges, 11262 markings/sec, 210 secs
lola: 2386976 markings, 14120662 edges, 10818 markings/sec, 215 secs
lola: 2438565 markings, 14455023 edges, 10318 markings/sec, 220 secs
lola: 2496455 markings, 14827041 edges, 11578 markings/sec, 225 secs
lola: 2553140 markings, 15129045 edges, 11337 markings/sec, 230 secs
lola: 2607076 markings, 15412860 edges, 10787 markings/sec, 235 secs
lola: 2660575 markings, 15656421 edges, 10700 markings/sec, 240 secs
lola: 2716817 markings, 15995189 edges, 11248 markings/sec, 245 secs
lola: 2766189 markings, 16292736 edges, 9874 markings/sec, 250 secs
lola: 2812335 markings, 16529607 edges, 9229 markings/sec, 255 secs
lola: 2864047 markings, 16792040 edges, 10342 markings/sec, 260 secs
lola: 2924820 markings, 17143172 edges, 12155 markings/sec, 265 secs
lola: 2985107 markings, 17529779 edges, 12057 markings/sec, 270 secs
lola: 3045337 markings, 17893409 edges, 12046 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 57910 markings, 355118 edges, 11582 markings/sec, 0 secs
lola: 117261 markings, 772114 edges, 11870 markings/sec, 5 secs
lola: 178524 markings, 1221506 edges, 12253 markings/sec, 10 secs
lola: 242216 markings, 1708958 edges, 12738 markings/sec, 15 secs
lola: 305382 markings, 2215217 edges, 12633 markings/sec, 20 secs
lola: 364704 markings, 2605428 edges, 11864 markings/sec, 25 secs
lola: 422403 markings, 3015361 edges, 11540 markings/sec, 30 secs
lola: 481853 markings, 3452415 edges, 11890 markings/sec, 35 secs
lola: 543616 markings, 3930138 edges, 12353 markings/sec, 40 secs
lola: 603855 markings, 4409010 edges, 12048 markings/sec, 45 secs
lola: 662258 markings, 4809116 edges, 11681 markings/sec, 50 secs
lola: 719980 markings, 5228903 edges, 11544 markings/sec, 55 secs
lola: 780539 markings, 5680394 edges, 12112 markings/sec, 60 secs
lola: 842416 markings, 6174157 edges, 12375 markings/sec, 65 secs
lola: 904422 markings, 6660150 edges, 12401 markings/sec, 70 secs
lola: 966522 markings, 7072984 edges, 12420 markings/sec, 75 secs
lola: 1027598 markings, 7523709 edges, 12215 markings/sec, 80 secs
lola: 1088899 markings, 7965129 edges, 12260 markings/sec, 85 secs
lola: 1149034 markings, 8439973 edges, 12027 markings/sec, 90 secs
lola: 1208542 markings, 8885611 edges, 11902 markings/sec, 95 secs
lola: 1266395 markings, 9289252 edges, 11571 markings/sec, 100 secs
lola: 1323918 markings, 9734476 edges, 11505 markings/sec, 105 secs
lola: 1386180 markings, 10197147 edges, 12452 markings/sec, 110 secs
lola: 1447942 markings, 10703788 edges, 12352 markings/sec, 115 secs
lola: 1509108 markings, 11146969 edges, 12233 markings/sec, 120 secs
lola: 1569607 markings, 11554009 edges, 12100 markings/sec, 125 secs
lola: 1629362 markings, 11998236 edges, 11951 markings/sec, 130 secs
lola: 1689377 markings, 12432747 edges, 12003 markings/sec, 135 secs
lola: 1748362 markings, 12899424 edges, 11797 markings/sec, 140 secs
lola: 1802950 markings, 13280336 edges, 10918 markings/sec, 145 secs
lola: 1853223 markings, 13622830 edges, 10055 markings/sec, 150 secs
lola: 1902962 markings, 13972540 edges, 9948 markings/sec, 155 secs
lola: 1956448 markings, 14339658 edges, 10697 markings/sec, 160 secs
lola: 2014683 markings, 14748747 edges, 11647 markings/sec, 165 secs
lola: 2072558 markings, 15204806 edges, 11575 markings/sec, 170 secs
lola: 2135166 markings, 15667522 edges, 12522 markings/sec, 175 secs
lola: 2197356 markings, 16180544 edges, 12438 markings/sec, 180 secs
lola: 2259057 markings, 16615021 edges, 12340 markings/sec, 185 secs
lola: 2320642 markings, 17027959 edges, 12317 markings/sec, 190 secs
lola: 2381205 markings, 17476305 edges, 12113 markings/sec, 195 secs
lola: 2441915 markings, 17924993 edges, 12142 markings/sec, 200 secs
lola: 2501814 markings, 18401128 edges, 11980 markings/sec, 205 secs
lola: 2559643 markings, 18787047 edges, 11566 markings/sec, 210 secs
lola: 2618366 markings, 19202449 edges, 11745 markings/sec, 215 secs
lola: 2676666 markings, 19656454 edges, 11660 markings/sec, 220 secs
lola: 2739747 markings, 20131275 edges, 12616 markings/sec, 225 secs
lola: 2802368 markings, 20651952 edges, 12524 markings/sec, 230 secs
lola: 2855216 markings, 20950735 edges, 10570 markings/sec, 235 secs
lola: 2905736 markings, 21198967 edges, 10104 markings/sec, 240 secs
lola: 2955896 markings, 21532993 edges, 10032 markings/sec, 245 secs
lola: 3005684 markings, 21886397 edges, 9958 markings/sec, 250 secs
lola: 3055882 markings, 22249330 edges, 10040 markings/sec, 255 secs
lola: 3105244 markings, 22604046 edges, 9872 markings/sec, 260 secs
lola: 3154327 markings, 22804258 edges, 9817 markings/sec, 265 secs
lola: 3215828 markings, 23203978 edges, 12300 markings/sec, 270 secs
lola: 3276188 markings, 23639024 edges, 12072 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(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 50069 markings, 67243 edges, 10014 markings/sec, 0 secs
lola: 101404 markings, 136319 edges, 10267 markings/sec, 5 secs
lola: 152732 markings, 206097 edges, 10266 markings/sec, 10 secs
lola: 203837 markings, 276466 edges, 10221 markings/sec, 15 secs
lola: 255003 markings, 346906 edges, 10233 markings/sec, 20 secs
lola: 305446 markings, 418866 edges, 10089 markings/sec, 25 secs
lola: 355942 markings, 489768 edges, 10099 markings/sec, 30 secs
lola: 406731 markings, 561327 edges, 10158 markings/sec, 35 secs
lola: 457745 markings, 632740 edges, 10203 markings/sec, 40 secs
lola: 508267 markings, 705314 edges, 10104 markings/sec, 45 secs
lola: 557897 markings, 779928 edges, 9926 markings/sec, 50 secs
lola: 607599 markings, 854231 edges, 9940 markings/sec, 55 secs
lola: 657635 markings, 928574 edges, 10007 markings/sec, 60 secs
lola: 707374 markings, 1002751 edges, 9948 markings/sec, 65 secs
lola: 757590 markings, 1076869 edges, 10043 markings/sec, 70 secs
lola: 807962 markings, 1153324 edges, 10074 markings/sec, 75 secs
lola: 857444 markings, 1228897 edges, 9896 markings/sec, 80 secs
lola: 906758 markings, 1304607 edges, 9863 markings/sec, 85 secs
lola: 955932 markings, 1379976 edges, 9835 markings/sec, 90 secs
lola: 1004812 markings, 1456882 edges, 9776 markings/sec, 95 secs
lola: 1054079 markings, 1534510 edges, 9853 markings/sec, 100 secs
lola: 1104947 markings, 1612086 edges, 10174 markings/sec, 105 secs
lola: 1154765 markings, 1690032 edges, 9964 markings/sec, 110 secs
lola: 1204171 markings, 1767789 edges, 9881 markings/sec, 115 secs
lola: 1252592 markings, 1843471 edges, 9684 markings/sec, 120 secs
lola: 1299057 markings, 1917703 edges, 9293 markings/sec, 125 secs
lola: 1346825 markings, 1993090 edges, 9554 markings/sec, 130 secs
lola: 1393954 markings, 2069315 edges, 9426 markings/sec, 135 secs
lola: 1441205 markings, 2144969 edges, 9450 markings/sec, 140 secs
lola: 1488486 markings, 2220375 edges, 9456 markings/sec, 145 secs
lola: 1535902 markings, 2296257 edges, 9483 markings/sec, 150 secs
lola: 1583276 markings, 2371377 edges, 9475 markings/sec, 155 secs
lola: 1630827 markings, 2449115 edges, 9510 markings/sec, 160 secs
lola: 1677712 markings, 2525231 edges, 9377 markings/sec, 165 secs
lola: 1724776 markings, 2601336 edges, 9413 markings/sec, 170 secs
lola: 1771212 markings, 2676612 edges, 9287 markings/sec, 175 secs
lola: 1815496 markings, 2749332 edges, 8857 markings/sec, 180 secs
lola: 1856460 markings, 2816071 edges, 8193 markings/sec, 185 secs
lola: 1900216 markings, 2888823 edges, 8751 markings/sec, 190 secs
lola: 1951027 markings, 2972004 edges, 10162 markings/sec, 195 secs
lola: 2001018 markings, 3053322 edges, 9998 markings/sec, 200 secs
lola: 2051357 markings, 3136721 edges, 10068 markings/sec, 205 secs
lola: 2102481 markings, 3220577 edges, 10225 markings/sec, 210 secs
lola: 2154733 markings, 3306194 edges, 10450 markings/sec, 215 secs
lola: 2205622 markings, 3390919 edges, 10178 markings/sec, 220 secs
lola: 2258308 markings, 3476464 edges, 10537 markings/sec, 225 secs
lola: 2311285 markings, 3563665 edges, 10595 markings/sec, 230 secs
lola: 2363872 markings, 3651310 edges, 10517 markings/sec, 235 secs
lola: 2415311 markings, 3737929 edges, 10288 markings/sec, 240 secs
lola: 2465557 markings, 3821541 edges, 10049 markings/sec, 245 secs
lola: 2516629 markings, 3906161 edges, 10214 markings/sec, 250 secs
lola: 2567501 markings, 3990918 edges, 10174 markings/sec, 255 secs
lola: 2618094 markings, 4075764 edges, 10119 markings/sec, 260 secs
lola: 2670079 markings, 4162242 edges, 10397 markings/sec, 265 secs
lola: 2721858 markings, 4248309 edges, 10356 markings/sec, 270 secs
lola: 2774862 markings, 4336813 edges, 10601 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 448 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: 58537 markings, 123471 edges, 11707 markings/sec, 0 secs
lola: 117580 markings, 256144 edges, 11809 markings/sec, 5 secs
lola: 175902 markings, 389992 edges, 11664 markings/sec, 10 secs
lola: 232331 markings, 520870 edges, 11286 markings/sec, 15 secs
lola: 288913 markings, 653773 edges, 11316 markings/sec, 20 secs
lola: 345190 markings, 787249 edges, 11255 markings/sec, 25 secs
lola: 402280 markings, 923735 edges, 11418 markings/sec, 30 secs
lola: 461668 markings, 1065338 edges, 11878 markings/sec, 35 secs
lola: 520084 markings, 1205036 edges, 11683 markings/sec, 40 secs
lola: 577410 markings, 1343261 edges, 11465 markings/sec, 45 secs
lola: 636159 markings, 1486163 edges, 11750 markings/sec, 50 secs
lola: 693826 markings, 1626761 edges, 11533 markings/sec, 55 secs
lola: 749370 markings, 1763084 edges, 11109 markings/sec, 60 secs
lola: 806863 markings, 1903704 edges, 11499 markings/sec, 65 secs
lola: 864511 markings, 2044758 edges, 11530 markings/sec, 70 secs
lola: 920200 markings, 2181006 edges, 11138 markings/sec, 75 secs
lola: 975134 markings, 2316451 edges, 10987 markings/sec, 80 secs
lola: 1030225 markings, 2452060 edges, 11018 markings/sec, 85 secs
lola: 1086871 markings, 2593271 edges, 11329 markings/sec, 90 secs
lola: 1143062 markings, 2733040 edges, 11238 markings/sec, 95 secs
lola: 1198403 markings, 2870622 edges, 11068 markings/sec, 100 secs
lola: 1254248 markings, 3008418 edges, 11169 markings/sec, 105 secs
lola: 1311492 markings, 3151121 edges, 11449 markings/sec, 110 secs
lola: 1367640 markings, 3291261 edges, 11230 markings/sec, 115 secs
lola: 1424078 markings, 3432445 edges, 11288 markings/sec, 120 secs
lola: 1480309 markings, 3572842 edges, 11246 markings/sec, 125 secs
lola: 1535826 markings, 3711931 edges, 11103 markings/sec, 130 secs
lola: 1592228 markings, 3853171 edges, 11280 markings/sec, 135 secs
lola: 1646601 markings, 3990363 edges, 10875 markings/sec, 140 secs
lola: 1701517 markings, 4128920 edges, 10983 markings/sec, 145 secs
lola: 1756588 markings, 4267817 edges, 11014 markings/sec, 150 secs
lola: 1811852 markings, 4407596 edges, 11053 markings/sec, 155 secs
lola: 1868720 markings, 4550078 edges, 11374 markings/sec, 160 secs
lola: 1926678 markings, 4694567 edges, 11592 markings/sec, 165 secs
lola: 1982408 markings, 4834363 edges, 11146 markings/sec, 170 secs
lola: 2037012 markings, 4971642 edges, 10921 markings/sec, 175 secs
lola: 2091207 markings, 5109610 edges, 10839 markings/sec, 180 secs
lola: 2145670 markings, 5246783 edges, 10893 markings/sec, 185 secs
lola: 2199734 markings, 5383965 edges, 10813 markings/sec, 190 secs
lola: 2253892 markings, 5520906 edges, 10832 markings/sec, 195 secs
lola: 2308498 markings, 5658410 edges, 10921 markings/sec, 200 secs
lola: 2363085 markings, 5796553 edges, 10917 markings/sec, 205 secs
lola: 2417452 markings, 5935477 edges, 10873 markings/sec, 210 secs
lola: 2471697 markings, 6074051 edges, 10849 markings/sec, 215 secs
lola: 2529059 markings, 6217139 edges, 11472 markings/sec, 220 secs
lola: 2586420 markings, 6363959 edges, 11472 markings/sec, 225 secs
lola: 2643769 markings, 6509770 edges, 11470 markings/sec, 230 secs
lola: 2701397 markings, 6653786 edges, 11526 markings/sec, 235 secs
lola: 2758382 markings, 6797765 edges, 11397 markings/sec, 240 secs
lola: 2813313 markings, 6938061 edges, 10986 markings/sec, 245 secs
lola: 2869878 markings, 7081821 edges, 11313 markings/sec, 250 secs
lola: 2924200 markings, 7220409 edges, 10864 markings/sec, 255 secs
lola: 2979490 markings, 7362625 edges, 11058 markings/sec, 260 secs
lola: 3035286 markings, 7505894 edges, 11159 markings/sec, 265 secs
lola: 3091896 markings, 7651258 edges, 11322 markings/sec, 270 secs
lola: 3149291 markings, 7796903 edges, 11479 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 2 unknown unknown 2 unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1496453935358

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_SimpleLoadBal-COL-15.tgz
mv S_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 S_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 r148-csrt-149443433100353"
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 ;