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 PolyORBNT-COL-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926000011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494657423844


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S05J30 @ 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: 1949/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 519 places, 1430 transitions, 437 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 948 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J30-UpperBounds.task
lola: MAX(p5) : MAX(p6) : MAX(p16) : MAX(p7) : MAX(p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81) : MAX(p6) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p49) : MAX(p49) : MAX(p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516) : MAX(p222) : MAX(p216) : MAX(p257) : MAX(p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516) : MAX(p320) : MAX(p48)
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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 72728 markings, 86543 edges, 14546 markings/sec, 0 secs
lola: 161637 markings, 193166 edges, 17782 markings/sec, 5 secs
lola: 237674 markings, 295977 edges, 15207 markings/sec, 10 secs
lola: 328389 markings, 408237 edges, 18143 markings/sec, 15 secs
lola: 391019 markings, 491817 edges, 12526 markings/sec, 20 secs
lola: 481649 markings, 604545 edges, 18126 markings/sec, 25 secs
lola: 565904 markings, 716016 edges, 16851 markings/sec, 30 secs
lola: 650148 markings, 830120 edges, 16849 markings/sec, 35 secs
lola: 740125 markings, 942274 edges, 17995 markings/sec, 40 secs
lola: 823976 markings, 1053579 edges, 16770 markings/sec, 45 secs
lola: 907699 markings, 1167192 edges, 16745 markings/sec, 50 secs
lola: 996080 markings, 1279843 edges, 17676 markings/sec, 55 secs
lola: 1081200 markings, 1389865 edges, 17024 markings/sec, 60 secs
lola: 1163651 markings, 1502966 edges, 16490 markings/sec, 65 secs
lola: 1249486 markings, 1618144 edges, 17167 markings/sec, 70 secs
lola: 1337460 markings, 1725272 edges, 17595 markings/sec, 75 secs
lola: 1420401 markings, 1837448 edges, 16588 markings/sec, 80 secs
lola: 1502675 markings, 1949860 edges, 16455 markings/sec, 85 secs
lola: 1588101 markings, 2063977 edges, 17085 markings/sec, 90 secs
lola: 1675120 markings, 2172851 edges, 17404 markings/sec, 95 secs
lola: 1758550 markings, 2282623 edges, 16686 markings/sec, 100 secs
lola: 1841237 markings, 2394625 edges, 16537 markings/sec, 105 secs
lola: 1923620 markings, 2506671 edges, 16477 markings/sec, 110 secs
lola: 2007808 markings, 2618538 edges, 16838 markings/sec, 115 secs
lola: 2091687 markings, 2731462 edges, 16776 markings/sec, 120 secs
lola: 2176394 markings, 2840332 edges, 16941 markings/sec, 125 secs
lola: 2260332 markings, 2950676 edges, 16788 markings/sec, 130 secs
lola: 2343434 markings, 3060289 edges, 16620 markings/sec, 135 secs
lola: 2425747 markings, 3170626 edges, 16463 markings/sec, 140 secs
lola: 2508060 markings, 3281505 edges, 16463 markings/sec, 145 secs
lola: 2590652 markings, 3392318 edges, 16518 markings/sec, 150 secs
lola: 2672970 markings, 3502758 edges, 16464 markings/sec, 155 secs
lola: 2754981 markings, 3614787 edges, 16402 markings/sec, 160 secs
lola: 2835539 markings, 3726537 edges, 16112 markings/sec, 165 secs
lola: 2916404 markings, 3837882 edges, 16173 markings/sec, 170 secs
lola: 2997123 markings, 3946645 edges, 16144 markings/sec, 175 secs
lola: 3079047 markings, 4056285 edges, 16385 markings/sec, 180 secs
lola: 3161243 markings, 4166298 edges, 16439 markings/sec, 185 secs
lola: 3240635 markings, 4279864 edges, 15878 markings/sec, 190 secs
lola: 3320850 markings, 4388176 edges, 16043 markings/sec, 195 secs
lola: 3402279 markings, 4499687 edges, 16286 markings/sec, 200 secs
lola: 3477116 markings, 4605343 edges, 14967 markings/sec, 205 secs
lola: 3554657 markings, 4710797 edges, 15508 markings/sec, 210 secs
lola: 3629237 markings, 4816218 edges, 14916 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 73758 markings, 87732 edges, 14752 markings/sec, 0 secs
lola: 166977 markings, 199844 edges, 18644 markings/sec, 5 secs
lola: 241012 markings, 300404 edges, 14807 markings/sec, 10 secs
lola: 337786 markings, 424418 edges, 19355 markings/sec, 15 secs
lola: 412745 markings, 518086 edges, 14992 markings/sec, 20 secs
lola: 503022 markings, 639716 edges, 18055 markings/sec, 25 secs
lola: 596296 markings, 752644 edges, 18655 markings/sec, 30 secs
lola: 682559 markings, 870115 edges, 17253 markings/sec, 35 secs
lola: 771296 markings, 989392 edges, 17747 markings/sec, 40 secs
lola: 864990 markings, 1103732 edges, 18739 markings/sec, 45 secs
lola: 950994 markings, 1220143 edges, 17201 markings/sec, 50 secs
lola: 1037117 markings, 1336982 edges, 17225 markings/sec, 55 secs
lola: 1127345 markings, 1458011 edges, 18046 markings/sec, 60 secs
lola: 1218738 markings, 1568736 edges, 18279 markings/sec, 65 secs
lola: 1304736 markings, 1685487 edges, 17200 markings/sec, 70 secs
lola: 1390776 markings, 1802385 edges, 17208 markings/sec, 75 secs
lola: 1479992 markings, 1920995 edges, 17843 markings/sec, 80 secs
lola: 1570864 markings, 2034732 edges, 18174 markings/sec, 85 secs
lola: 1657818 markings, 2148985 edges, 17391 markings/sec, 90 secs
lola: 1744097 markings, 2265206 edges, 17256 markings/sec, 95 secs
lola: 1830036 markings, 2381302 edges, 17188 markings/sec, 100 secs
lola: 1916654 markings, 2497050 edges, 17324 markings/sec, 105 secs
lola: 2004188 markings, 2614089 edges, 17507 markings/sec, 110 secs
lola: 2091299 markings, 2731015 edges, 17422 markings/sec, 115 secs
lola: 2178796 markings, 2844659 edges, 17499 markings/sec, 120 secs
lola: 2265465 markings, 2959666 edges, 17334 markings/sec, 125 secs
lola: 2352096 markings, 3074650 edges, 17326 markings/sec, 130 secs
lola: 2438355 markings, 3189070 edges, 17252 markings/sec, 135 secs
lola: 2523102 markings, 3304461 edges, 16949 markings/sec, 140 secs
lola: 2607721 markings, 3420000 edges, 16924 markings/sec, 145 secs
lola: 2695438 markings, 3539195 edges, 17543 markings/sec, 150 secs
lola: 2783407 markings, 3656971 edges, 17594 markings/sec, 155 secs
lola: 2873070 markings, 3776373 edges, 17933 markings/sec, 160 secs
lola: 2962713 markings, 3895643 edges, 17929 markings/sec, 165 secs
lola: 3049224 markings, 4018762 edges, 17302 markings/sec, 170 secs
lola: 3136245 markings, 4135699 edges, 17404 markings/sec, 175 secs
lola: 3226165 markings, 4255122 edges, 17984 markings/sec, 180 secs
lola: 3310946 markings, 4375584 edges, 16956 markings/sec, 185 secs
lola: 3400091 markings, 4495765 edges, 17829 markings/sec, 190 secs
lola: 3480703 markings, 4609626 edges, 16122 markings/sec, 195 secs
lola: 3562721 markings, 4725193 edges, 16404 markings/sec, 200 secs
lola: 3650093 markings, 4845353 edges, 17474 markings/sec, 205 secs
lola: 3736554 markings, 4966398 edges, 17292 markings/sec, 210 secs
lola: 3821550 markings, 5089326 edges, 16999 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 61696 markings, 80139 edges, 12339 markings/sec, 0 secs
lola: 138257 markings, 184081 edges, 15312 markings/sec, 5 secs
lola: 203173 markings, 294742 edges, 12983 markings/sec, 10 secs
lola: 269304 markings, 394129 edges, 13226 markings/sec, 15 secs
lola: 342269 markings, 502304 edges, 14593 markings/sec, 20 secs
lola: 397472 markings, 611842 edges, 11041 markings/sec, 25 secs
lola: 474046 markings, 712054 edges, 15315 markings/sec, 30 secs
lola: 544778 markings, 825613 edges, 14146 markings/sec, 35 secs
lola: 608203 markings, 940095 edges, 12685 markings/sec, 40 secs
lola: 677588 markings, 1045982 edges, 13877 markings/sec, 45 secs
lola: 735680 markings, 1156344 edges, 11618 markings/sec, 50 secs
lola: 807568 markings, 1268435 edges, 14378 markings/sec, 55 secs
lola: 861032 markings, 1377038 edges, 10693 markings/sec, 60 secs
lola: 936989 markings, 1490671 edges, 15191 markings/sec, 65 secs
lola: 999059 markings, 1599158 edges, 12414 markings/sec, 70 secs
lola: 1064478 markings, 1711147 edges, 13084 markings/sec, 75 secs
lola: 1132205 markings, 1819394 edges, 13545 markings/sec, 80 secs
lola: 1192939 markings, 1931700 edges, 12147 markings/sec, 85 secs
lola: 1260878 markings, 2035831 edges, 13588 markings/sec, 90 secs
lola: 1320170 markings, 2144560 edges, 11858 markings/sec, 95 secs
lola: 1388974 markings, 2255436 edges, 13761 markings/sec, 100 secs
lola: 1445670 markings, 2364666 edges, 11339 markings/sec, 105 secs
lola: 1515528 markings, 2473704 edges, 13972 markings/sec, 110 secs
lola: 1572913 markings, 2583295 edges, 11477 markings/sec, 115 secs
lola: 1643018 markings, 2692056 edges, 14021 markings/sec, 120 secs
lola: 1699643 markings, 2801330 edges, 11325 markings/sec, 125 secs
lola: 1770115 markings, 2909649 edges, 14094 markings/sec, 130 secs
lola: 1825760 markings, 3018663 edges, 11129 markings/sec, 135 secs
lola: 1895763 markings, 3126412 edges, 14001 markings/sec, 140 secs
lola: 1953897 markings, 3235054 edges, 11627 markings/sec, 145 secs
lola: 2022326 markings, 3343019 edges, 13686 markings/sec, 150 secs
lola: 2081341 markings, 3450600 edges, 11803 markings/sec, 155 secs
lola: 2148356 markings, 3558860 edges, 13403 markings/sec, 160 secs
lola: 2206984 markings, 3671643 edges, 11726 markings/sec, 165 secs
lola: 2272219 markings, 3778425 edges, 13047 markings/sec, 170 secs
lola: 2332956 markings, 3886620 edges, 12147 markings/sec, 175 secs
lola: 2391354 markings, 3992945 edges, 11680 markings/sec, 180 secs
lola: 2458166 markings, 4100733 edges, 13362 markings/sec, 185 secs
lola: 2514500 markings, 4208725 edges, 11267 markings/sec, 190 secs
lola: 2582192 markings, 4314072 edges, 13538 markings/sec, 195 secs
lola: 2641389 markings, 4425996 edges, 11839 markings/sec, 200 secs
lola: 2702095 markings, 4531525 edges, 12141 markings/sec, 205 secs
lola: 2765874 markings, 4638350 edges, 12756 markings/sec, 210 secs
lola: 2823110 markings, 4745368 edges, 11447 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 41536 markings, 59095 edges, 8307 markings/sec, 0 secs
lola: 96357 markings, 149190 edges, 10964 markings/sec, 5 secs
lola: 157518 markings, 252054 edges, 12232 markings/sec, 10 secs
lola: 219407 markings, 359839 edges, 12378 markings/sec, 15 secs
lola: 266417 markings, 457622 edges, 9402 markings/sec, 20 secs
lola: 322718 markings, 555189 edges, 11260 markings/sec, 25 secs
lola: 387985 markings, 658274 edges, 13053 markings/sec, 30 secs
lola: 436629 markings, 767389 edges, 9729 markings/sec, 35 secs
lola: 491810 markings, 858502 edges, 11036 markings/sec, 40 secs
lola: 554571 markings, 962336 edges, 12552 markings/sec, 45 secs
lola: 612632 markings, 1069782 edges, 11612 markings/sec, 50 secs
lola: 664813 markings, 1176807 edges, 10436 markings/sec, 55 secs
lola: 728085 markings, 1284645 edges, 12654 markings/sec, 60 secs
lola: 784906 markings, 1393092 edges, 11364 markings/sec, 65 secs
lola: 838798 markings, 1500775 edges, 10778 markings/sec, 70 secs
lola: 902496 markings, 1607571 edges, 12740 markings/sec, 75 secs
lola: 956816 markings, 1715601 edges, 10864 markings/sec, 80 secs
lola: 1012117 markings, 1823751 edges, 11060 markings/sec, 85 secs
lola: 1076148 markings, 1929160 edges, 12806 markings/sec, 90 secs
lola: 1128351 markings, 2037253 edges, 10441 markings/sec, 95 secs
lola: 1184526 markings, 2149247 edges, 11235 markings/sec, 100 secs
lola: 1249541 markings, 2250062 edges, 13003 markings/sec, 105 secs
lola: 1299163 markings, 2361120 edges, 9924 markings/sec, 110 secs
lola: 1358833 markings, 2469829 edges, 11934 markings/sec, 115 secs
lola: 1423284 markings, 2569534 edges, 12890 markings/sec, 120 secs
lola: 1471208 markings, 2681289 edges, 9585 markings/sec, 125 secs
lola: 1532087 markings, 2788631 edges, 12176 markings/sec, 130 secs
lola: 1591034 markings, 2895278 edges, 11789 markings/sec, 135 secs
lola: 1642175 markings, 3001467 edges, 10228 markings/sec, 140 secs
lola: 1704935 markings, 3106562 edges, 12552 markings/sec, 145 secs
lola: 1755395 markings, 3216824 edges, 10092 markings/sec, 150 secs
lola: 1814728 markings, 3324739 edges, 11867 markings/sec, 155 secs
lola: 1877827 markings, 3430865 edges, 12620 markings/sec, 160 secs
lola: 1926293 markings, 3535542 edges, 9693 markings/sec, 165 secs
lola: 1987738 markings, 3641474 edges, 12289 markings/sec, 170 secs
lola: 2039894 markings, 3748638 edges, 10431 markings/sec, 175 secs
lola: 2097060 markings, 3858467 edges, 11433 markings/sec, 180 secs
lola: 2160313 markings, 3963139 edges, 12651 markings/sec, 185 secs
lola: 2209179 markings, 4069628 edges, 9773 markings/sec, 190 secs
lola: 2270893 markings, 4174493 edges, 12343 markings/sec, 195 secs
lola: 2321551 markings, 4284038 edges, 10132 markings/sec, 200 secs
lola: 2380719 markings, 4390798 edges, 11834 markings/sec, 205 secs
lola: 2438466 markings, 4496398 edges, 11549 markings/sec, 210 secs
lola: 2490566 markings, 4606366 edges, 10420 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 56236 markings, 73943 edges, 11247 markings/sec, 0 secs
lola: 130019 markings, 171955 edges, 14757 markings/sec, 5 secs
lola: 198339 markings, 282329 edges, 13664 markings/sec, 10 secs
lola: 256729 markings, 377339 edges, 11678 markings/sec, 15 secs
lola: 329578 markings, 482999 edges, 14570 markings/sec, 20 secs
lola: 385896 markings, 591556 edges, 11264 markings/sec, 25 secs
lola: 456574 markings, 686370 edges, 14136 markings/sec, 30 secs
lola: 527894 markings, 793061 edges, 14264 markings/sec, 35 secs
lola: 585575 markings, 903401 edges, 11536 markings/sec, 40 secs
lola: 657322 markings, 1014310 edges, 14349 markings/sec, 45 secs
lola: 711015 markings, 1122749 edges, 10739 markings/sec, 50 secs
lola: 786408 markings, 1236146 edges, 15079 markings/sec, 55 secs
lola: 848767 markings, 1344205 edges, 12472 markings/sec, 60 secs
lola: 914419 markings, 1456668 edges, 13130 markings/sec, 65 secs
lola: 982397 markings, 1560806 edges, 13596 markings/sec, 70 secs
lola: 1040501 markings, 1670482 edges, 11621 markings/sec, 75 secs
lola: 1109222 markings, 1779884 edges, 13744 markings/sec, 80 secs
lola: 1166202 markings, 1890296 edges, 11396 markings/sec, 85 secs
lola: 1237330 markings, 1999254 edges, 14226 markings/sec, 90 secs
lola: 1290881 markings, 2108795 edges, 10710 markings/sec, 95 secs
lola: 1364698 markings, 2217808 edges, 14763 markings/sec, 100 secs
lola: 1422374 markings, 2324591 edges, 11535 markings/sec, 105 secs
lola: 1490801 markings, 2435431 edges, 13685 markings/sec, 110 secs
lola: 1550604 markings, 2542995 edges, 11961 markings/sec, 115 secs
lola: 1618089 markings, 2653533 edges, 13497 markings/sec, 120 secs
lola: 1678508 markings, 2760577 edges, 12084 markings/sec, 125 secs
lola: 1744768 markings, 2870752 edges, 13252 markings/sec, 130 secs
lola: 1806041 markings, 2977211 edges, 12255 markings/sec, 135 secs
lola: 1869814 markings, 3086237 edges, 12755 markings/sec, 140 secs
lola: 1929220 markings, 3192617 edges, 11881 markings/sec, 145 secs
lola: 1995685 markings, 3301636 edges, 13293 markings/sec, 150 secs
lola: 2052276 markings, 3407924 edges, 11318 markings/sec, 155 secs
lola: 2120853 markings, 3516166 edges, 13715 markings/sec, 160 secs
lola: 2175043 markings, 3624596 edges, 10838 markings/sec, 165 secs
lola: 2246754 markings, 3732836 edges, 14342 markings/sec, 170 secs
lola: 2304953 markings, 3840817 edges, 11640 markings/sec, 175 secs
lola: 2373757 markings, 3949868 edges, 13761 markings/sec, 180 secs
lola: 2432201 markings, 4061068 edges, 11689 markings/sec, 185 secs
lola: 2496668 markings, 4170702 edges, 12893 markings/sec, 190 secs
lola: 2561755 markings, 4282398 edges, 13017 markings/sec, 195 secs
lola: 2622842 markings, 4395099 edges, 12217 markings/sec, 200 secs
lola: 2692232 markings, 4504442 edges, 13878 markings/sec, 205 secs
lola: 2754107 markings, 4620255 edges, 12375 markings/sec, 210 secs
lola: 2812721 markings, 4732442 edges, 11723 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 73708 markings, 87679 edges, 14742 markings/sec, 0 secs
lola: 168483 markings, 201801 edges, 18955 markings/sec, 5 secs
lola: 242211 markings, 302438 edges, 14746 markings/sec, 10 secs
lola: 339637 markings, 427744 edges, 19485 markings/sec, 15 secs
lola: 417757 markings, 524039 edges, 15624 markings/sec, 20 secs
lola: 511474 markings, 649747 edges, 18743 markings/sec, 25 secs
lola: 609679 markings, 771323 edges, 19641 markings/sec, 30 secs
lola: 701048 markings, 892004 edges, 18274 markings/sec, 35 secs
lola: 790643 markings, 1014328 edges, 17919 markings/sec, 40 secs
lola: 885605 markings, 1140823 edges, 18992 markings/sec, 45 secs
lola: 981924 markings, 1257634 edges, 19264 markings/sec, 50 secs
lola: 1072272 markings, 1379192 edges, 18070 markings/sec, 55 secs
lola: 1162145 markings, 1501182 edges, 17975 markings/sec, 60 secs
lola: 1255746 markings, 1625538 edges, 18720 markings/sec, 65 secs
lola: 1350324 markings, 1745609 edges, 18916 markings/sec, 70 secs
lola: 1442623 markings, 1864277 edges, 18460 markings/sec, 75 secs
lola: 1532611 markings, 1985273 edges, 17998 markings/sec, 80 secs
lola: 1622599 markings, 2106859 edges, 17998 markings/sec, 85 secs
lola: 1713445 markings, 2227926 edges, 18169 markings/sec, 90 secs
lola: 1805501 markings, 2350402 edges, 18411 markings/sec, 95 secs
lola: 1897130 markings, 2473241 edges, 18326 markings/sec, 100 secs
lola: 1988614 markings, 2592731 edges, 18297 markings/sec, 105 secs
lola: 2079461 markings, 2711008 edges, 18169 markings/sec, 110 secs
lola: 2171300 markings, 2831409 edges, 18368 markings/sec, 115 secs
lola: 2261584 markings, 2952792 edges, 18057 markings/sec, 120 secs
lola: 2351754 markings, 3074080 edges, 18034 markings/sec, 125 secs
lola: 2441606 markings, 3194794 edges, 17970 markings/sec, 130 secs
lola: 2530279 markings, 3317816 edges, 17735 markings/sec, 135 secs
lola: 2619584 markings, 3436642 edges, 17861 markings/sec, 140 secs
lola: 2708435 markings, 3555585 edges, 17770 markings/sec, 145 secs
lola: 2798497 markings, 3675660 edges, 18012 markings/sec, 150 secs
lola: 2888644 markings, 3795233 edges, 18029 markings/sec, 155 secs
lola: 2976927 markings, 3918208 edges, 17657 markings/sec, 160 secs
lola: 3063676 markings, 4037019 edges, 17350 markings/sec, 165 secs
lola: 3153271 markings, 4156315 edges, 17919 markings/sec, 170 secs
lola: 3240463 markings, 4279670 edges, 17438 markings/sec, 175 secs
lola: 3328162 markings, 4397106 edges, 17540 markings/sec, 180 secs
lola: 3414986 markings, 4519362 edges, 17365 markings/sec, 185 secs
lola: 3503394 markings, 4638319 edges, 17682 markings/sec, 190 secs
lola: 3588717 markings, 4758324 edges, 17065 markings/sec, 195 secs
lola: 3674520 markings, 4879602 edges, 17161 markings/sec, 200 secs
lola: 3759420 markings, 4999421 edges, 16980 markings/sec, 205 secs
lola: 3843211 markings, 5117336 edges, 16758 markings/sec, 210 secs
lola: 3927779 markings, 5241480 edges, 16914 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 131896 markings, 183227 edges, 26379 markings/sec, 0 secs
lola: 262161 markings, 366125 edges, 26053 markings/sec, 5 secs
lola: 391207 markings, 546000 edges, 25809 markings/sec, 10 secs
lola: 521904 markings, 728398 edges, 26139 markings/sec, 15 secs
lola: 647380 markings, 904882 edges, 25095 markings/sec, 20 secs
lola: 766704 markings, 1079511 edges, 23865 markings/sec, 25 secs
lola: 895297 markings, 1259585 edges, 25719 markings/sec, 30 secs
lola: 1017203 markings, 1436543 edges, 24381 markings/sec, 35 secs
lola: 1141421 markings, 1616853 edges, 24844 markings/sec, 40 secs
lola: 1264615 markings, 1797722 edges, 24639 markings/sec, 45 secs
lola: 1378412 markings, 1967965 edges, 22759 markings/sec, 50 secs
lola: 1492976 markings, 2139743 edges, 22913 markings/sec, 55 secs
lola: 1609075 markings, 2314257 edges, 23220 markings/sec, 60 secs
lola: 1724780 markings, 2496260 edges, 23141 markings/sec, 65 secs
lola: 1840823 markings, 2682430 edges, 23209 markings/sec, 70 secs
lola: 1949253 markings, 2872227 edges, 21686 markings/sec, 75 secs
lola: 2071412 markings, 3082605 edges, 24432 markings/sec, 80 secs
lola: 2215112 markings, 3273701 edges, 28740 markings/sec, 85 secs
lola: 2363239 markings, 3466197 edges, 29625 markings/sec, 90 secs
lola: 2519796 markings, 3666572 edges, 31311 markings/sec, 95 secs
lola: 2671770 markings, 3865639 edges, 30395 markings/sec, 100 secs
lola: 2821376 markings, 4065058 edges, 29921 markings/sec, 105 secs
lola: 2969834 markings, 4263616 edges, 29692 markings/sec, 110 secs
lola: 3117316 markings, 4461288 edges, 29496 markings/sec, 115 secs
lola: 3267779 markings, 4660478 edges, 30093 markings/sec, 120 secs
lola: 3418252 markings, 4859639 edges, 30095 markings/sec, 125 secs
lola: 3567784 markings, 5058282 edges, 29906 markings/sec, 130 secs
lola: 3717455 markings, 5256947 edges, 29934 markings/sec, 135 secs
lola: 3865785 markings, 5453891 edges, 29666 markings/sec, 140 secs
lola: 4013292 markings, 5650046 edges, 29501 markings/sec, 145 secs
lola: 4159516 markings, 5845740 edges, 29245 markings/sec, 150 secs
lola: 4306952 markings, 6040688 edges, 29487 markings/sec, 155 secs
lola: 4454162 markings, 6235561 edges, 29442 markings/sec, 160 secs
lola: 4601361 markings, 6430166 edges, 29440 markings/sec, 165 secs
lola: 4746142 markings, 6625574 edges, 28956 markings/sec, 170 secs
lola: 4884918 markings, 6818274 edges, 27755 markings/sec, 175 secs
lola: 5024923 markings, 7005768 edges, 28001 markings/sec, 180 secs
lola: 5169598 markings, 7197813 edges, 28935 markings/sec, 185 secs
lola: 5312388 markings, 7392162 edges, 28558 markings/sec, 190 secs
lola: 5448718 markings, 7579818 edges, 27266 markings/sec, 195 secs
lola: 5594975 markings, 7773859 edges, 29251 markings/sec, 200 secs
lola: 5728022 markings, 7961218 edges, 26609 markings/sec, 205 secs
lola: 5871354 markings, 8153760 edges, 28666 markings/sec, 210 secs
lola: 6003809 markings, 8338885 edges, 26491 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 56886 markings, 74640 edges, 11377 markings/sec, 0 secs
lola: 129977 markings, 171911 edges, 14618 markings/sec, 5 secs
lola: 198290 markings, 282218 edges, 13663 markings/sec, 10 secs
lola: 256308 markings, 376816 edges, 11604 markings/sec, 15 secs
lola: 332465 markings, 487321 edges, 15231 markings/sec, 20 secs
lola: 389714 markings, 603090 edges, 11450 markings/sec, 25 secs
lola: 466699 markings, 701252 edges, 15397 markings/sec, 30 secs
lola: 541662 markings, 817726 edges, 14993 markings/sec, 35 secs
lola: 604329 markings, 934162 edges, 12533 markings/sec, 40 secs
lola: 677082 markings, 1045198 edges, 14551 markings/sec, 45 secs
lola: 739008 markings, 1161255 edges, 12385 markings/sec, 50 secs
lola: 813199 markings, 1277211 edges, 14838 markings/sec, 55 secs
lola: 871461 markings, 1392957 edges, 11652 markings/sec, 60 secs
lola: 948727 markings, 1508557 edges, 15453 markings/sec, 65 secs
lola: 1007510 markings, 1621680 edges, 11757 markings/sec, 70 secs
lola: 1082603 markings, 1738603 edges, 15019 markings/sec, 75 secs
lola: 1144286 markings, 1851848 edges, 12337 markings/sec, 80 secs
lola: 1217449 markings, 1968654 edges, 14633 markings/sec, 85 secs
lola: 1280842 markings, 2081566 edges, 12679 markings/sec, 90 secs
lola: 1351487 markings, 2197611 edges, 14129 markings/sec, 95 secs
lola: 1416996 markings, 2310369 edges, 13102 markings/sec, 100 secs
lola: 1484112 markings, 2425276 edges, 13423 markings/sec, 105 secs
lola: 1548717 markings, 2538008 edges, 12921 markings/sec, 110 secs
lola: 1617776 markings, 2653081 edges, 13812 markings/sec, 115 secs
lola: 1680179 markings, 2765047 edges, 12481 markings/sec, 120 secs
lola: 1750743 markings, 2879748 edges, 14113 markings/sec, 125 secs
lola: 1811342 markings, 2991388 edges, 12120 markings/sec, 130 secs
lola: 1882147 markings, 3105185 edges, 14161 markings/sec, 135 secs
lola: 1940986 markings, 3219260 edges, 11768 markings/sec, 140 secs
lola: 2014218 markings, 3330393 edges, 14646 markings/sec, 145 secs
lola: 2075109 markings, 3443621 edges, 12178 markings/sec, 150 secs
lola: 2145857 markings, 3555034 edges, 14150 markings/sec, 155 secs
lola: 2207093 markings, 3671798 edges, 12247 markings/sec, 160 secs
lola: 2274027 markings, 3783135 edges, 13387 markings/sec, 165 secs
lola: 2338672 markings, 3895422 edges, 12929 markings/sec, 170 secs
lola: 2397031 markings, 4008668 edges, 11672 markings/sec, 175 secs
lola: 2469381 markings, 4118288 edges, 14470 markings/sec, 180 secs
lola: 2530567 markings, 4230957 edges, 12237 markings/sec, 185 secs
lola: 2597030 markings, 4344874 edges, 13293 markings/sec, 190 secs
lola: 2661041 markings, 4456085 edges, 12802 markings/sec, 195 secs
lola: 2721279 markings, 4568292 edges, 12048 markings/sec, 200 secs
lola: 2770525 markings, 4645731 edges, 9849 markings/sec, 205 secs
lola: 2804111 markings, 4710079 edges, 6717 markings/sec, 210 secs
lola: 2840905 markings, 4775503 edges, 7359 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 56234 markings, 73940 edges, 11247 markings/sec, 0 secs
lola: 132336 markings, 175275 edges, 15220 markings/sec, 5 secs
lola: 201662 markings, 290851 edges, 13865 markings/sec, 10 secs
lola: 265883 markings, 389378 edges, 12844 markings/sec, 15 secs
lola: 342062 markings, 501917 edges, 15236 markings/sec, 20 secs
lola: 400140 markings, 614882 edges, 11616 markings/sec, 25 secs
lola: 476690 markings, 716029 edges, 15310 markings/sec, 30 secs
lola: 546867 markings, 830947 edges, 14035 markings/sec, 35 secs
lola: 613764 markings, 948228 edges, 13379 markings/sec, 40 secs
lola: 685932 markings, 1058738 edges, 14434 markings/sec, 45 secs
lola: 748977 markings, 1179966 edges, 12609 markings/sec, 50 secs
lola: 821484 markings, 1290278 edges, 14501 markings/sec, 55 secs
lola: 881773 markings, 1405836 edges, 12058 markings/sec, 60 secs
lola: 956529 markings, 1520564 edges, 14951 markings/sec, 65 secs
lola: 1012727 markings, 1635522 edges, 11240 markings/sec, 70 secs
lola: 1090073 markings, 1749952 edges, 15469 markings/sec, 75 secs
lola: 1148403 markings, 1863047 edges, 11666 markings/sec, 80 secs
lola: 1224446 markings, 1979371 edges, 15209 markings/sec, 85 secs
lola: 1284618 markings, 2091712 edges, 12034 markings/sec, 90 secs
lola: 1358210 markings, 2207864 edges, 14718 markings/sec, 95 secs
lola: 1420666 markings, 2320032 edges, 12491 markings/sec, 100 secs
lola: 1490657 markings, 2435143 edges, 13998 markings/sec, 105 secs
lola: 1552355 markings, 2547737 edges, 12340 markings/sec, 110 secs
lola: 1624192 markings, 2662824 edges, 14367 markings/sec, 115 secs
lola: 1683823 markings, 2774953 edges, 11926 markings/sec, 120 secs
lola: 1757083 markings, 2889566 edges, 14652 markings/sec, 125 secs
lola: 1815064 markings, 3001506 edges, 11596 markings/sec, 130 secs
lola: 1888597 markings, 3115117 edges, 14707 markings/sec, 135 secs
lola: 1948708 markings, 3229098 edges, 12022 markings/sec, 140 secs
lola: 2020575 markings, 3340322 edges, 14373 markings/sec, 145 secs
lola: 2082480 markings, 3453070 edges, 12381 markings/sec, 150 secs
lola: 2152049 markings, 3564590 edges, 13914 markings/sec, 155 secs
lola: 2213224 markings, 3681210 edges, 12235 markings/sec, 160 secs
lola: 2277359 markings, 3791887 edges, 12827 markings/sec, 165 secs
lola: 2344259 markings, 3904031 edges, 13380 markings/sec, 170 secs
lola: 2403466 markings, 4016905 edges, 11841 markings/sec, 175 secs
lola: 2474674 markings, 4126546 edges, 14242 markings/sec, 180 secs
lola: 2535730 markings, 4242382 edges, 12211 markings/sec, 185 secs
lola: 2599931 markings, 4352541 edges, 12840 markings/sec, 190 secs
lola: 2666006 markings, 4463812 edges, 13215 markings/sec, 195 secs
lola: 2727143 markings, 4575718 edges, 12227 markings/sec, 200 secs
lola: 2795952 markings, 4685094 edges, 13762 markings/sec, 205 secs
lola: 2856765 markings, 4799900 edges, 12163 markings/sec, 210 secs
lola: 2917827 markings, 4911645 edges, 12212 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 43394 markings, 62485 edges, 8679 markings/sec, 0 secs
lola: 101263 markings, 157842 edges, 11574 markings/sec, 5 secs
lola: 166415 markings, 266027 edges, 13030 markings/sec, 10 secs
lola: 226370 markings, 378024 edges, 11991 markings/sec, 15 secs
lola: 279089 markings, 478289 edges, 10544 markings/sec, 20 secs
lola: 340731 markings, 583204 edges, 12328 markings/sec, 25 secs
lola: 407984 markings, 693239 edges, 13451 markings/sec, 30 secs
lola: 456106 markings, 798902 edges, 9624 markings/sec, 35 secs
lola: 514346 markings, 899645 edges, 11648 markings/sec, 40 secs
lola: 581821 markings, 1006138 edges, 13495 markings/sec, 45 secs
lola: 633011 markings, 1120279 edges, 10238 markings/sec, 50 secs
lola: 695924 markings, 1234934 edges, 12583 markings/sec, 55 secs
lola: 763543 markings, 1339528 edges, 13524 markings/sec, 60 secs
lola: 814350 markings, 1456236 edges, 10161 markings/sec, 65 secs
lola: 877997 markings, 1569675 edges, 12729 markings/sec, 70 secs
lola: 943789 markings, 1681247 edges, 13158 markings/sec, 75 secs
lola: 994917 markings, 1791307 edges, 10226 markings/sec, 80 secs
lola: 1059477 markings, 1903298 edges, 12912 markings/sec, 85 secs
lola: 1120043 markings, 2014777 edges, 12113 markings/sec, 90 secs
lola: 1174535 markings, 2126205 edges, 10898 markings/sec, 95 secs
lola: 1240639 markings, 2236195 edges, 13221 markings/sec, 100 secs
lola: 1293341 markings, 2351203 edges, 10540 markings/sec, 105 secs
lola: 1355526 markings, 2464516 edges, 12437 markings/sec, 110 secs
lola: 1422324 markings, 2568216 edges, 13360 markings/sec, 115 secs
lola: 1472879 markings, 2684311 edges, 10111 markings/sec, 120 secs
lola: 1536456 markings, 2795462 edges, 12715 markings/sec, 125 secs
lola: 1595155 markings, 2906260 edges, 11740 markings/sec, 130 secs
lola: 1650453 markings, 3019581 edges, 11060 markings/sec, 135 secs
lola: 1717040 markings, 3125317 edges, 13317 markings/sec, 140 secs
lola: 1768915 markings, 3240478 edges, 10375 markings/sec, 145 secs
lola: 1828878 markings, 3346862 edges, 11993 markings/sec, 150 secs
lola: 1887520 markings, 3456346 edges, 11728 markings/sec, 155 secs
lola: 1942640 markings, 3569257 edges, 11024 markings/sec, 160 secs
lola: 2008606 markings, 3673938 edges, 13193 markings/sec, 165 secs
lola: 2060021 markings, 3788167 edges, 10283 markings/sec, 170 secs
lola: 2122695 markings, 3898302 edges, 12535 markings/sec, 175 secs
lola: 2176963 markings, 4010280 edges, 10854 markings/sec, 180 secs
lola: 2237638 markings, 4122584 edges, 12135 markings/sec, 185 secs
lola: 2299915 markings, 4231759 edges, 12455 markings/sec, 190 secs
lola: 2352633 markings, 4342032 edges, 10544 markings/sec, 195 secs
lola: 2416450 markings, 4446433 edges, 12763 markings/sec, 200 secs
lola: 2466016 markings, 4556411 edges, 9913 markings/sec, 205 secs
lola: 2526290 markings, 4662142 edges, 12055 markings/sec, 210 secs
lola: 2578006 markings, 4771309 edges, 10343 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 41280 markings, 58432 edges, 8256 markings/sec, 0 secs
lola: 81994 markings, 117997 edges, 8143 markings/sec, 5 secs
lola: 121906 markings, 178115 edges, 7982 markings/sec, 10 secs
lola: 161351 markings, 239114 edges, 7889 markings/sec, 15 secs
lola: 200706 markings, 317227 edges, 7871 markings/sec, 20 secs
lola: 240554 markings, 393892 edges, 7970 markings/sec, 25 secs
lola: 280557 markings, 453459 edges, 8001 markings/sec, 30 secs
lola: 320037 markings, 514187 edges, 7896 markings/sec, 35 secs
lola: 359443 markings, 578019 edges, 7881 markings/sec, 40 secs
lola: 398659 markings, 669012 edges, 7843 markings/sec, 45 secs
lola: 438827 markings, 728246 edges, 8034 markings/sec, 50 secs
lola: 478471 markings, 788720 edges, 7929 markings/sec, 55 secs
lola: 517750 markings, 850554 edges, 7856 markings/sec, 60 secs
lola: 556490 markings, 936471 edges, 7748 markings/sec, 65 secs
lola: 596813 markings, 1002631 edges, 8065 markings/sec, 70 secs
lola: 636788 markings, 1062590 edges, 7995 markings/sec, 75 secs
lola: 676459 markings, 1128243 edges, 7934 markings/sec, 80 secs
lola: 715931 markings, 1215206 edges, 7894 markings/sec, 85 secs
lola: 756153 markings, 1274035 edges, 8044 markings/sec, 90 secs
lola: 795763 markings, 1334772 edges, 7922 markings/sec, 95 secs
lola: 834701 markings, 1420543 edges, 7788 markings/sec, 100 secs
lola: 874977 markings, 1484977 edges, 8055 markings/sec, 105 secs
lola: 914876 markings, 1544989 edges, 7980 markings/sec, 110 secs
lola: 954321 markings, 1610849 edges, 7889 markings/sec, 115 secs
lola: 993593 markings, 1696897 edges, 7854 markings/sec, 120 secs
lola: 1033665 markings, 1755693 edges, 8014 markings/sec, 125 secs
lola: 1073211 markings, 1817926 edges, 7909 markings/sec, 130 secs
lola: 1112240 markings, 1906918 edges, 7806 markings/sec, 135 secs
lola: 1152327 markings, 1966068 edges, 8017 markings/sec, 140 secs
lola: 1191712 markings, 2026305 edges, 7877 markings/sec, 145 secs
lola: 1230511 markings, 2109561 edges, 7760 markings/sec, 150 secs
lola: 1270423 markings, 2174734 edges, 7982 markings/sec, 155 secs
lola: 1309899 markings, 2234836 edges, 7895 markings/sec, 160 secs
lola: 1348915 markings, 2308145 edges, 7803 markings/sec, 165 secs
lola: 1388194 markings, 2383770 edges, 7856 markings/sec, 170 secs
lola: 1427787 markings, 2443297 edges, 7919 markings/sec, 175 secs
lola: 1466995 markings, 2514522 edges, 7842 markings/sec, 180 secs
lola: 1506486 markings, 2592624 edges, 7898 markings/sec, 185 secs
lola: 1546124 markings, 2652199 edges, 7928 markings/sec, 190 secs
lola: 1585227 markings, 2719231 edges, 7821 markings/sec, 195 secs
lola: 1624496 markings, 2800140 edges, 7854 markings/sec, 200 secs
lola: 1664121 markings, 2859832 edges, 7925 markings/sec, 205 secs
lola: 1703177 markings, 2925097 edges, 7811 markings/sec, 210 secs
lola: 1742224 markings, 3008237 edges, 7809 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 57593 markings, 69193 edges, 11519 markings/sec, 0 secs
lola: 140597 markings, 167653 edges, 16601 markings/sec, 5 secs
lola: 220074 markings, 275191 edges, 15895 markings/sec, 10 secs
lola: 306884 markings, 378910 edges, 17362 markings/sec, 15 secs
lola: 381760 markings, 480524 edges, 14975 markings/sec, 20 secs
lola: 472556 markings, 590062 edges, 18159 markings/sec, 25 secs
lola: 558655 markings, 707410 edges, 17220 markings/sec, 30 secs
lola: 646847 markings, 826133 edges, 17638 markings/sec, 35 secs
lola: 740218 markings, 942413 edges, 18674 markings/sec, 40 secs
lola: 826984 markings, 1057140 edges, 17353 markings/sec, 45 secs
lola: 913079 markings, 1173966 edges, 17219 markings/sec, 50 secs
lola: 1003675 markings, 1293509 edges, 18119 markings/sec, 55 secs
lola: 1093893 markings, 1405224 edges, 18044 markings/sec, 60 secs
lola: 1179662 markings, 1521773 edges, 17154 markings/sec, 65 secs
lola: 1266649 markings, 1638630 edges, 17397 markings/sec, 70 secs
lola: 1356179 markings, 1756137 edges, 17906 markings/sec, 75 secs
lola: 1445660 markings, 1868061 edges, 17896 markings/sec, 80 secs
lola: 1531356 markings, 1983740 edges, 17139 markings/sec, 85 secs
lola: 1616735 markings, 2099908 edges, 17076 markings/sec, 90 secs
lola: 1704359 markings, 2216288 edges, 17525 markings/sec, 95 secs
lola: 1792205 markings, 2334541 edges, 17569 markings/sec, 100 secs
lola: 1881856 markings, 2446021 edges, 17930 markings/sec, 105 secs
lola: 1967833 markings, 2559735 edges, 17195 markings/sec, 110 secs
lola: 2053541 markings, 2674746 edges, 17142 markings/sec, 115 secs
lola: 2139038 markings, 2789676 edges, 17099 markings/sec, 120 secs
lola: 2224344 markings, 2904612 edges, 17061 markings/sec, 125 secs
lola: 2309784 markings, 3019142 edges, 17088 markings/sec, 130 secs
lola: 2394937 markings, 3133317 edges, 17031 markings/sec, 135 secs
lola: 2479959 markings, 3247459 edges, 17004 markings/sec, 140 secs
lola: 2565294 markings, 3361381 edges, 17067 markings/sec, 145 secs
lola: 2650223 markings, 3474930 edges, 16986 markings/sec, 150 secs
lola: 2735143 markings, 3588525 edges, 16984 markings/sec, 155 secs
lola: 2820629 markings, 3702724 edges, 17097 markings/sec, 160 secs
lola: 2904829 markings, 3818027 edges, 16840 markings/sec, 165 secs
lola: 2987177 markings, 3933625 edges, 16470 markings/sec, 170 secs
lola: 3070529 markings, 4046076 edges, 16670 markings/sec, 175 secs
lola: 3155539 markings, 4159109 edges, 17002 markings/sec, 180 secs
lola: 3238156 markings, 4276878 edges, 16523 markings/sec, 185 secs
lola: 3320794 markings, 4388115 edges, 16528 markings/sec, 190 secs
lola: 3404825 markings, 4504443 edges, 16806 markings/sec, 195 secs
lola: 3491100 markings, 4622295 edges, 17255 markings/sec, 200 secs
lola: 3576783 markings, 4743808 edges, 17137 markings/sec, 205 secs
lola: 3663574 markings, 4865538 edges, 17358 markings/sec, 210 secs
lola: 3749956 markings, 4987217 edges, 17276 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 65494 markings, 84471 edges, 13099 markings/sec, 0 secs
lola: 144757 markings, 193776 edges, 15853 markings/sec, 5 secs
lola: 208423 markings, 308513 edges, 12733 markings/sec, 10 secs
lola: 283038 markings, 413949 edges, 14923 markings/sec, 15 secs
lola: 358403 markings, 527048 edges, 15073 markings/sec, 20 secs
lola: 419264 markings, 636685 edges, 12172 markings/sec, 25 secs
lola: 497149 markings, 746421 edges, 15577 markings/sec, 30 secs
lola: 557963 markings, 860201 edges, 12163 markings/sec, 35 secs
lola: 634455 markings, 979427 edges, 15298 markings/sec, 40 secs
lola: 700198 markings, 1093749 edges, 13149 markings/sec, 45 secs
lola: 770648 markings, 1212217 edges, 14090 markings/sec, 50 secs
lola: 842045 markings, 1324062 edges, 14279 markings/sec, 55 secs
lola: 905876 markings, 1443928 edges, 12766 markings/sec, 60 secs
lola: 977997 markings, 1554026 edges, 14424 markings/sec, 65 secs
lola: 1039379 markings, 1668052 edges, 12276 markings/sec, 70 secs
lola: 1112199 markings, 1784424 edges, 14564 markings/sec, 75 secs
lola: 1173918 markings, 1899137 edges, 12344 markings/sec, 80 secs
lola: 1247191 markings, 2014594 edges, 14655 markings/sec, 85 secs
lola: 1307131 markings, 2128613 edges, 11988 markings/sec, 90 secs
lola: 1380557 markings, 2242279 edges, 14685 markings/sec, 95 secs
lola: 1438276 markings, 2355572 edges, 11544 markings/sec, 100 secs
lola: 1511868 markings, 2467903 edges, 14718 markings/sec, 105 secs
lola: 1571309 markings, 2581319 edges, 11888 markings/sec, 110 secs
lola: 1643978 markings, 2693535 edges, 14534 markings/sec, 115 secs
lola: 1703618 markings, 2806210 edges, 11928 markings/sec, 120 secs
lola: 1775596 markings, 2918336 edges, 14396 markings/sec, 125 secs
lola: 1835272 markings, 3030385 edges, 11935 markings/sec, 130 secs
lola: 1906041 markings, 3142323 edges, 14154 markings/sec, 135 secs
lola: 1967853 markings, 3259635 edges, 12362 markings/sec, 140 secs
lola: 2037289 markings, 3366098 edges, 13887 markings/sec, 145 secs
lola: 2099208 markings, 3483048 edges, 12384 markings/sec, 150 secs
lola: 2164255 markings, 3593361 edges, 13009 markings/sec, 155 secs
lola: 2229036 markings, 3705239 edges, 12956 markings/sec, 160 secs
lola: 2287251 markings, 3818083 edges, 11643 markings/sec, 165 secs
lola: 2359134 markings, 3927245 edges, 14377 markings/sec, 170 secs
lola: 2420651 markings, 4037868 edges, 12303 markings/sec, 175 secs
lola: 2490077 markings, 4150244 edges, 13885 markings/sec, 180 secs
lola: 2551767 markings, 4266997 edges, 12338 markings/sec, 185 secs
lola: 2611758 markings, 4380565 edges, 11998 markings/sec, 190 secs
lola: 2683131 markings, 4490470 edges, 14275 markings/sec, 195 secs
lola: 2745393 markings, 4606955 edges, 12452 markings/sec, 200 secs
lola: 2806916 markings, 4717723 edges, 12305 markings/sec, 205 secs
lola: 2875417 markings, 4828892 edges, 13700 markings/sec, 210 secs
lola: 2937713 markings, 4944848 edges, 12459 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 40725 markings, 57738 edges, 8145 markings/sec, 0 secs
lola: 97672 markings, 151582 edges, 11389 markings/sec, 5 secs
lola: 162164 markings, 259194 edges, 12898 markings/sec, 10 secs
lola: 223753 markings, 371163 edges, 12318 markings/sec, 15 secs
lola: 275274 markings, 472045 edges, 10304 markings/sec, 20 secs
lola: 336051 markings, 575890 edges, 12155 markings/sec, 25 secs
lola: 403467 markings, 684626 edges, 13483 markings/sec, 30 secs
lola: 452239 markings, 792642 edges, 9754 markings/sec, 35 secs
lola: 509722 markings, 892327 edges, 11497 markings/sec, 40 secs
lola: 577265 markings, 998651 edges, 13509 markings/sec, 45 secs
lola: 628778 markings, 1113002 edges, 10303 markings/sec, 50 secs
lola: 691308 markings, 1227935 edges, 12506 markings/sec, 55 secs
lola: 759203 markings, 1332934 edges, 13579 markings/sec, 60 secs
lola: 810616 markings, 1449798 edges, 10283 markings/sec, 65 secs
lola: 874047 markings, 1563511 edges, 12686 markings/sec, 70 secs
lola: 941461 markings, 1667739 edges, 13483 markings/sec, 75 secs
lola: 991463 markings, 1785153 edges, 10000 markings/sec, 80 secs
lola: 1055884 markings, 1897737 edges, 12884 markings/sec, 85 secs
lola: 1117895 markings, 2009146 edges, 12402 markings/sec, 90 secs
lola: 1171437 markings, 2120128 edges, 10708 markings/sec, 95 secs
lola: 1237163 markings, 2230880 edges, 13145 markings/sec, 100 secs
lola: 1290132 markings, 2345643 edges, 10594 markings/sec, 105 secs
lola: 1351935 markings, 2459007 edges, 12361 markings/sec, 110 secs
lola: 1418849 markings, 2562815 edges, 13383 markings/sec, 115 secs
lola: 1469821 markings, 2678839 edges, 10194 markings/sec, 120 secs
lola: 1533363 markings, 2790671 edges, 12708 markings/sec, 125 secs
lola: 1593479 markings, 2901754 edges, 12023 markings/sec, 130 secs
lola: 1648278 markings, 3014063 edges, 10960 markings/sec, 135 secs
lola: 1714683 markings, 3121715 edges, 13281 markings/sec, 140 secs
lola: 1766985 markings, 3236966 edges, 10460 markings/sec, 145 secs
lola: 1829757 markings, 3348217 edges, 12554 markings/sec, 150 secs
lola: 1888424 markings, 3458790 edges, 11733 markings/sec, 155 secs
lola: 1944109 markings, 3573703 edges, 11137 markings/sec, 160 secs
lola: 2010675 markings, 3677040 edges, 13313 markings/sec, 165 secs
lola: 2061857 markings, 3791467 edges, 10236 markings/sec, 170 secs
lola: 2124803 markings, 3901704 edges, 12589 markings/sec, 175 secs
lola: 2178969 markings, 4015343 edges, 10833 markings/sec, 180 secs
lola: 2240267 markings, 4126716 edges, 12260 markings/sec, 185 secs
lola: 2301708 markings, 4236502 edges, 12288 markings/sec, 190 secs
lola: 2355495 markings, 4349022 edges, 10757 markings/sec, 195 secs
lola: 2421019 markings, 4453504 edges, 13105 markings/sec, 200 secs
lola: 2471884 markings, 4567212 edges, 10173 markings/sec, 205 secs
lola: 2534831 markings, 4675630 edges, 12589 markings/sec, 210 secs
lola: 2587729 markings, 4788600 edges, 10580 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 59734 markings, 71586 edges, 11947 markings/sec, 0 secs
lola: 145250 markings, 173185 edges, 17103 markings/sec, 5 secs
lola: 226133 markings, 282206 edges, 16177 markings/sec, 10 secs
lola: 319991 markings, 395225 edges, 18772 markings/sec, 15 secs
lola: 393457 markings, 495243 edges, 14693 markings/sec, 20 secs
lola: 490342 markings, 619606 edges, 19377 markings/sec, 25 secs
lola: 585085 markings, 738968 edges, 18949 markings/sec, 30 secs
lola: 675638 markings, 861988 edges, 18111 markings/sec, 35 secs
lola: 769004 markings, 986656 edges, 18673 markings/sec, 40 secs
lola: 866652 markings, 1106226 edges, 19530 markings/sec, 45 secs
lola: 956957 markings, 1227217 edges, 18061 markings/sec, 50 secs
lola: 1047190 markings, 1349502 edges, 18047 markings/sec, 55 secs
lola: 1140258 markings, 1473282 edges, 18614 markings/sec, 60 secs
lola: 1235810 markings, 1593729 edges, 19110 markings/sec, 65 secs
lola: 1327562 markings, 1712972 edges, 18350 markings/sec, 70 secs
lola: 1417984 markings, 1834580 edges, 18084 markings/sec, 75 secs
lola: 1507815 markings, 1955894 edges, 17966 markings/sec, 80 secs
lola: 1599911 markings, 2078148 edges, 18419 markings/sec, 85 secs
lola: 1692053 markings, 2201511 edges, 18428 markings/sec, 90 secs
lola: 1784989 markings, 2320722 edges, 18587 markings/sec, 95 secs
lola: 1877712 markings, 2439269 edges, 18545 markings/sec, 100 secs
lola: 1967318 markings, 2559131 edges, 17921 markings/sec, 105 secs
lola: 2057596 markings, 2679679 edges, 18056 markings/sec, 110 secs
lola: 2147538 markings, 2799872 edges, 17988 markings/sec, 115 secs
lola: 2237518 markings, 2920435 edges, 17996 markings/sec, 120 secs
lola: 2327913 markings, 3040891 edges, 18079 markings/sec, 125 secs
lola: 2417803 markings, 3160792 edges, 17978 markings/sec, 130 secs
lola: 2507806 markings, 3281199 edges, 18001 markings/sec, 135 secs
lola: 2597910 markings, 3402126 edges, 18021 markings/sec, 140 secs
lola: 2685727 markings, 3523200 edges, 17563 markings/sec, 145 secs
lola: 2773272 markings, 3643836 edges, 17509 markings/sec, 150 secs
lola: 2860990 markings, 3761941 edges, 17544 markings/sec, 155 secs
lola: 2950526 markings, 3880603 edges, 17907 markings/sec, 160 secs
lola: 3039829 markings, 4001764 edges, 17861 markings/sec, 165 secs
lola: 3125470 markings, 4121362 edges, 17128 markings/sec, 170 secs
lola: 3214165 markings, 4239703 edges, 17739 markings/sec, 175 secs
lola: 3300661 markings, 4362223 edges, 17299 markings/sec, 180 secs
lola: 3388354 markings, 4479328 edges, 17539 markings/sec, 185 secs
lola: 3472685 markings, 4598933 edges, 16866 markings/sec, 190 secs
lola: 3558338 markings, 4717663 edges, 17131 markings/sec, 195 secs
lola: 3642156 markings, 4832372 edges, 16764 markings/sec, 200 secs
lola: 3725033 markings, 4949451 edges, 16575 markings/sec, 205 secs
lola: 3808326 markings, 5067277 edges, 16659 markings/sec, 210 secs
lola: 3890415 markings, 5188387 edges, 16418 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 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: 59530 markings, 77645 edges, 11906 markings/sec, 0 secs
lola: 136496 markings, 181585 edges, 15393 markings/sec, 5 secs
lola: 202561 markings, 293189 edges, 13213 markings/sec, 10 secs
lola: 271139 markings, 396630 edges, 13716 markings/sec, 15 secs
lola: 345969 markings, 507864 edges, 14966 markings/sec, 20 secs
lola: 402779 markings, 617824 edges, 11362 markings/sec, 25 secs
lola: 479220 markings, 719668 edges, 15288 markings/sec, 30 secs
lola: 547131 markings, 831618 edges, 13582 markings/sec, 35 secs
lola: 612732 markings, 946818 edges, 13120 markings/sec, 40 secs
lola: 683065 markings, 1054399 edges, 14067 markings/sec, 45 secs
lola: 743818 markings, 1166252 edges, 12151 markings/sec, 50 secs
lola: 815510 markings, 1280922 edges, 14338 markings/sec, 55 secs
lola: 872277 markings, 1393572 edges, 11353 markings/sec, 60 secs
lola: 947772 markings, 1506997 edges, 15099 markings/sec, 65 secs
lola: 1005719 markings, 1616801 edges, 11589 markings/sec, 70 secs
lola: 1077779 markings, 1731248 edges, 14412 markings/sec, 75 secs
lola: 1140377 markings, 1841483 edges, 12520 markings/sec, 80 secs
lola: 1208687 markings, 1955357 edges, 13662 markings/sec, 85 secs
lola: 1274663 markings, 2065486 edges, 13195 markings/sec, 90 secs
lola: 1338699 markings, 2178396 edges, 12807 markings/sec, 95 secs
lola: 1407533 markings, 2284033 edges, 13767 markings/sec, 100 secs
lola: 1467501 markings, 2400261 edges, 11994 markings/sec, 105 secs
lola: 1536272 markings, 2505762 edges, 13754 markings/sec, 110 secs
lola: 1597246 markings, 2622037 edges, 12195 markings/sec, 115 secs
lola: 1665694 markings, 2727093 edges, 13690 markings/sec, 120 secs
lola: 1726229 markings, 2842793 edges, 12107 markings/sec, 125 secs
lola: 1794551 markings, 2947584 edges, 13664 markings/sec, 130 secs
lola: 1854141 markings, 3062511 edges, 11918 markings/sec, 135 secs
lola: 1921224 markings, 3171685 edges, 13417 markings/sec, 140 secs
lola: 1982921 markings, 3282290 edges, 12339 markings/sec, 145 secs
lola: 2045837 markings, 3390604 edges, 12583 markings/sec, 150 secs
lola: 2111030 markings, 3501002 edges, 13039 markings/sec, 155 secs
lola: 2170065 markings, 3608882 edges, 11807 markings/sec, 160 secs
lola: 2237575 markings, 3718416 edges, 13502 markings/sec, 165 secs
lola: 2295581 markings, 3828433 edges, 11601 markings/sec, 170 secs
lola: 2364595 markings, 3935683 edges, 13803 markings/sec, 175 secs
lola: 2424185 markings, 4048956 edges, 11918 markings/sec, 180 secs
lola: 2491230 markings, 4152027 edges, 13409 markings/sec, 185 secs
lola: 2550376 markings, 4264695 edges, 11829 markings/sec, 190 secs
lola: 2607317 markings, 4372636 edges, 11388 markings/sec, 195 secs
lola: 2676304 markings, 4479923 edges, 13797 markings/sec, 200 secs
lola: 2735737 markings, 4592216 edges, 11887 markings/sec, 205 secs
lola: 2799859 markings, 4698832 edges, 12824 markings/sec, 210 secs
lola: 2860640 markings, 4805872 edges, 12156 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S05J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494660963980

--------------------
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="PolyORBNT-COL-S05J30"
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/PolyORBNT-COL-S05J30.tgz
mv PolyORBNT-COL-S05J30 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 PolyORBNT-COL-S05J30, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-149440926000011"
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 ;