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_PolyORBLF-COL-S02J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681400299
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496378254777


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S02J06T08: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S02J06T08: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S02J06T08 @ 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: 2124/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 690 places, 1434 transitions, 636 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2005 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: MAX(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201) : MAX(p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689) : MAX(p343) : MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41) : MAX(p59) : MAX(p184) : MAX(p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260) : MAX(p182) : MAX(p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359) : MAX(p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564) : MAX(p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573) : MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41) : MAX(p490) : MAX(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201) : MAX(p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598) : MAX(p576 + p577 + p578 + p579 + p580 + p581 + p582)
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(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 94728 markings, 110534 edges, 18946 markings/sec, 0 secs
lola: 188227 markings, 220858 edges, 18700 markings/sec, 5 secs
lola: 282016 markings, 331116 edges, 18758 markings/sec, 10 secs
lola: 375321 markings, 441721 edges, 18661 markings/sec, 15 secs
lola: 468329 markings, 552264 edges, 18602 markings/sec, 20 secs
lola: 561565 markings, 662848 edges, 18647 markings/sec, 25 secs
lola: 654990 markings, 773062 edges, 18685 markings/sec, 30 secs
lola: 748179 markings, 883487 edges, 18638 markings/sec, 35 secs
lola: 841057 markings, 994415 edges, 18576 markings/sec, 40 secs
lola: 933881 markings, 1106140 edges, 18565 markings/sec, 45 secs
lola: 1026784 markings, 1216652 edges, 18581 markings/sec, 50 secs
lola: 1119506 markings, 1327382 edges, 18544 markings/sec, 55 secs
lola: 1212088 markings, 1438761 edges, 18516 markings/sec, 60 secs
lola: 1304749 markings, 1550810 edges, 18532 markings/sec, 65 secs
lola: 1397275 markings, 1662623 edges, 18505 markings/sec, 70 secs
lola: 1489912 markings, 1774134 edges, 18527 markings/sec, 75 secs
lola: 1582242 markings, 1885162 edges, 18466 markings/sec, 80 secs
lola: 1674514 markings, 1996399 edges, 18454 markings/sec, 85 secs
lola: 1766884 markings, 2106059 edges, 18474 markings/sec, 90 secs
lola: 1858887 markings, 2217346 edges, 18401 markings/sec, 95 secs
lola: 1950512 markings, 2326727 edges, 18325 markings/sec, 100 secs
lola: 2041286 markings, 2434473 edges, 18155 markings/sec, 105 secs
lola: 2132072 markings, 2543422 edges, 18157 markings/sec, 110 secs
lola: 2223122 markings, 2652762 edges, 18210 markings/sec, 115 secs
lola: 2314551 markings, 2762517 edges, 18286 markings/sec, 120 secs
lola: 2405685 markings, 2873311 edges, 18227 markings/sec, 125 secs
lola: 2496906 markings, 2983875 edges, 18244 markings/sec, 130 secs
lola: 2587857 markings, 3094935 edges, 18190 markings/sec, 135 secs
lola: 2679183 markings, 3203515 edges, 18265 markings/sec, 140 secs
lola: 2770394 markings, 3313032 edges, 18242 markings/sec, 145 secs
lola: 2861531 markings, 3422554 edges, 18227 markings/sec, 150 secs
lola: 2952421 markings, 3533282 edges, 18178 markings/sec, 155 secs
lola: 3043514 markings, 3642502 edges, 18219 markings/sec, 160 secs
lola: 3134638 markings, 3752270 edges, 18225 markings/sec, 165 secs
lola: 3225511 markings, 3862852 edges, 18175 markings/sec, 170 secs
lola: 3315628 markings, 3971820 edges, 18023 markings/sec, 175 secs
lola: 3406610 markings, 4081324 edges, 18196 markings/sec, 180 secs
lola: 3497576 markings, 4190758 edges, 18193 markings/sec, 185 secs
lola: 3588411 markings, 4300134 edges, 18167 markings/sec, 190 secs
lola: 3679469 markings, 4409721 edges, 18212 markings/sec, 195 secs
lola: 3770480 markings, 4518536 edges, 18202 markings/sec, 200 secs
lola: 3861496 markings, 4628053 edges, 18203 markings/sec, 205 secs
lola: 3951829 markings, 4737447 edges, 18067 markings/sec, 210 secs
lola: 4042847 markings, 4847082 edges, 18204 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(p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 101760 markings, 117433 edges, 20352 markings/sec, 0 secs
lola: 201466 markings, 233367 edges, 19941 markings/sec, 5 secs
lola: 300529 markings, 349879 edges, 19813 markings/sec, 10 secs
lola: 398836 markings, 465511 edges, 19661 markings/sec, 15 secs
lola: 497016 markings, 580995 edges, 19636 markings/sec, 20 secs
lola: 594668 markings, 696119 edges, 19530 markings/sec, 25 secs
lola: 692167 markings, 810269 edges, 19500 markings/sec, 30 secs
lola: 789253 markings, 925071 edges, 19417 markings/sec, 35 secs
lola: 886446 markings, 1039608 edges, 19439 markings/sec, 40 secs
lola: 983245 markings, 1154253 edges, 19360 markings/sec, 45 secs
lola: 1079871 markings, 1268721 edges, 19325 markings/sec, 50 secs
lola: 1175948 markings, 1382407 edges, 19215 markings/sec, 55 secs
lola: 1268273 markings, 1491501 edges, 18465 markings/sec, 60 secs
lola: 1360614 markings, 1600734 edges, 18468 markings/sec, 65 secs
lola: 1455254 markings, 1713382 edges, 18928 markings/sec, 70 secs
lola: 1551794 markings, 1828224 edges, 19308 markings/sec, 75 secs
lola: 1648911 markings, 1942448 edges, 19423 markings/sec, 80 secs
lola: 1745843 markings, 2057655 edges, 19386 markings/sec, 85 secs
lola: 1842824 markings, 2172985 edges, 19396 markings/sec, 90 secs
lola: 1939658 markings, 2287981 edges, 19367 markings/sec, 95 secs
lola: 2035975 markings, 2402906 edges, 19263 markings/sec, 100 secs
lola: 2131987 markings, 2517658 edges, 19202 markings/sec, 105 secs
lola: 2226628 markings, 2631123 edges, 18928 markings/sec, 110 secs
lola: 2321436 markings, 2744468 edges, 18962 markings/sec, 115 secs
lola: 2416159 markings, 2857012 edges, 18945 markings/sec, 120 secs
lola: 2511065 markings, 2969689 edges, 18981 markings/sec, 125 secs
lola: 2605491 markings, 3082489 edges, 18885 markings/sec, 130 secs
lola: 2700710 markings, 3195491 edges, 19044 markings/sec, 135 secs
lola: 2790154 markings, 3302571 edges, 17889 markings/sec, 140 secs
lola: 2885983 markings, 3416510 edges, 19166 markings/sec, 145 secs
lola: 2982138 markings, 3530845 edges, 19231 markings/sec, 150 secs
lola: 3078214 markings, 3644828 edges, 19215 markings/sec, 155 secs
lola: 3174226 markings, 3760032 edges, 19202 markings/sec, 160 secs
lola: 3270485 markings, 3875240 edges, 19252 markings/sec, 165 secs
lola: 3366563 markings, 3988657 edges, 19216 markings/sec, 170 secs
lola: 3462771 markings, 4103016 edges, 19242 markings/sec, 175 secs
lola: 3558871 markings, 4218118 edges, 19220 markings/sec, 180 secs
lola: 3654886 markings, 4332466 edges, 19203 markings/sec, 185 secs
lola: 3751117 markings, 4446416 edges, 19246 markings/sec, 190 secs
lola: 3847293 markings, 4560296 edges, 19235 markings/sec, 195 secs
lola: 3943133 markings, 4674516 edges, 19168 markings/sec, 200 secs
lola: 4039289 markings, 4788251 edges, 19231 markings/sec, 205 secs
lola: 4135016 markings, 4901847 edges, 19145 markings/sec, 210 secs
lola: 4230654 markings, 5015854 edges, 19128 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(p343)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96299 markings, 106003 edges, 19260 markings/sec, 0 secs
lola: 187859 markings, 207880 edges, 18312 markings/sec, 5 secs
lola: 278513 markings, 310443 edges, 18131 markings/sec, 10 secs
lola: 372380 markings, 416035 edges, 18773 markings/sec, 15 secs
lola: 465843 markings, 522942 edges, 18693 markings/sec, 20 secs
lola: 559133 markings, 628580 edges, 18658 markings/sec, 25 secs
lola: 651959 markings, 735857 edges, 18565 markings/sec, 30 secs
lola: 744993 markings, 841838 edges, 18607 markings/sec, 35 secs
lola: 837647 markings, 948022 edges, 18531 markings/sec, 40 secs
lola: 930326 markings, 1053804 edges, 18536 markings/sec, 45 secs
lola: 1022761 markings, 1159450 edges, 18487 markings/sec, 50 secs
lola: 1115367 markings, 1265186 edges, 18521 markings/sec, 55 secs
lola: 1207417 markings, 1371261 edges, 18410 markings/sec, 60 secs
lola: 1299393 markings, 1476757 edges, 18395 markings/sec, 65 secs
lola: 1391339 markings, 1582452 edges, 18389 markings/sec, 70 secs
lola: 1482765 markings, 1689694 edges, 18285 markings/sec, 75 secs
lola: 1574345 markings, 1795492 edges, 18316 markings/sec, 80 secs
lola: 1665839 markings, 1900151 edges, 18299 markings/sec, 85 secs
lola: 1757080 markings, 2005863 edges, 18248 markings/sec, 90 secs
lola: 1847511 markings, 2110108 edges, 18086 markings/sec, 95 secs
lola: 1935237 markings, 2210565 edges, 17545 markings/sec, 100 secs
lola: 2022837 markings, 2311735 edges, 17520 markings/sec, 105 secs
lola: 2111873 markings, 2413695 edges, 17807 markings/sec, 110 secs
lola: 2202046 markings, 2518492 edges, 18035 markings/sec, 115 secs
lola: 2292223 markings, 2622959 edges, 18035 markings/sec, 120 secs
lola: 2382269 markings, 2727480 edges, 18009 markings/sec, 125 secs
lola: 2472231 markings, 2832214 edges, 17992 markings/sec, 130 secs
lola: 2562531 markings, 2935677 edges, 18060 markings/sec, 135 secs
lola: 2652541 markings, 3040152 edges, 18002 markings/sec, 140 secs
lola: 2742299 markings, 3145531 edges, 17952 markings/sec, 145 secs
lola: 2832404 markings, 3249357 edges, 18021 markings/sec, 150 secs
lola: 2922121 markings, 3353861 edges, 17943 markings/sec, 155 secs
lola: 3011825 markings, 3457969 edges, 17941 markings/sec, 160 secs
lola: 3101475 markings, 3562438 edges, 17930 markings/sec, 165 secs
lola: 3191223 markings, 3666462 edges, 17950 markings/sec, 170 secs
lola: 3280815 markings, 3771756 edges, 17918 markings/sec, 175 secs
lola: 3370291 markings, 3876321 edges, 17895 markings/sec, 180 secs
lola: 3459582 markings, 3981212 edges, 17858 markings/sec, 185 secs
lola: 3550201 markings, 4087907 edges, 18124 markings/sec, 190 secs
lola: 3641418 markings, 4193745 edges, 18243 markings/sec, 195 secs
lola: 3732448 markings, 4299769 edges, 18206 markings/sec, 200 secs
lola: 3823256 markings, 4405797 edges, 18162 markings/sec, 205 secs
lola: 3913939 markings, 4512455 edges, 18137 markings/sec, 210 secs
lola: 4004610 markings, 4620072 edges, 18134 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(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 94685 markings, 108078 edges, 18937 markings/sec, 0 secs
lola: 187607 markings, 215975 edges, 18584 markings/sec, 5 secs
lola: 279987 markings, 323315 edges, 18476 markings/sec, 10 secs
lola: 371438 markings, 430577 edges, 18290 markings/sec, 15 secs
lola: 459016 markings, 532095 edges, 17516 markings/sec, 20 secs
lola: 545906 markings, 633758 edges, 17378 markings/sec, 25 secs
lola: 632907 markings, 735206 edges, 17400 markings/sec, 30 secs
lola: 719543 markings, 836384 edges, 17327 markings/sec, 35 secs
lola: 805777 markings, 937766 edges, 17247 markings/sec, 40 secs
lola: 892045 markings, 1038985 edges, 17254 markings/sec, 45 secs
lola: 977787 markings, 1139649 edges, 17148 markings/sec, 50 secs
lola: 1063518 markings, 1241065 edges, 17146 markings/sec, 55 secs
lola: 1149156 markings, 1342393 edges, 17128 markings/sec, 60 secs
lola: 1235060 markings, 1443320 edges, 17181 markings/sec, 65 secs
lola: 1320804 markings, 1544775 edges, 17149 markings/sec, 70 secs
lola: 1406235 markings, 1645389 edges, 17086 markings/sec, 75 secs
lola: 1491539 markings, 1745580 edges, 17061 markings/sec, 80 secs
lola: 1577249 markings, 1846239 edges, 17142 markings/sec, 85 secs
lola: 1662535 markings, 1946831 edges, 17057 markings/sec, 90 secs
lola: 1747996 markings, 2046777 edges, 17092 markings/sec, 95 secs
lola: 1833549 markings, 2148415 edges, 17111 markings/sec, 100 secs
lola: 1918567 markings, 2248624 edges, 17004 markings/sec, 105 secs
lola: 2003544 markings, 2348444 edges, 16995 markings/sec, 110 secs
lola: 2089014 markings, 2449327 edges, 17094 markings/sec, 115 secs
lola: 2174303 markings, 2549648 edges, 17058 markings/sec, 120 secs
lola: 2259476 markings, 2650353 edges, 17035 markings/sec, 125 secs
lola: 2344168 markings, 2751347 edges, 16938 markings/sec, 130 secs
lola: 2428629 markings, 2850882 edges, 16892 markings/sec, 135 secs
lola: 2513475 markings, 2951802 edges, 16969 markings/sec, 140 secs
lola: 2598248 markings, 3051506 edges, 16955 markings/sec, 145 secs
lola: 2683001 markings, 3150441 edges, 16951 markings/sec, 150 secs
lola: 2767431 markings, 3250192 edges, 16886 markings/sec, 155 secs
lola: 2852310 markings, 3350693 edges, 16976 markings/sec, 160 secs
lola: 2936923 markings, 3449799 edges, 16923 markings/sec, 165 secs
lola: 3021891 markings, 3550825 edges, 16994 markings/sec, 170 secs
lola: 3110168 markings, 3654453 edges, 17655 markings/sec, 175 secs
lola: 3199016 markings, 3759291 edges, 17770 markings/sec, 180 secs
lola: 3287980 markings, 3864893 edges, 17793 markings/sec, 185 secs
lola: 3376647 markings, 3969907 edges, 17733 markings/sec, 190 secs
lola: 3465297 markings, 4075453 edges, 17730 markings/sec, 195 secs
lola: 3554532 markings, 4180888 edges, 17847 markings/sec, 200 secs
lola: 3643061 markings, 4286215 edges, 17706 markings/sec, 205 secs
lola: 3731780 markings, 4391475 edges, 17744 markings/sec, 210 secs
lola: 3820136 markings, 4496466 edges, 17671 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(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 92897 markings, 117550 edges, 18579 markings/sec, 0 secs
lola: 184057 markings, 238015 edges, 18232 markings/sec, 5 secs
lola: 274980 markings, 357165 edges, 18185 markings/sec, 10 secs
lola: 365029 markings, 476708 edges, 18010 markings/sec, 15 secs
lola: 454301 markings, 598528 edges, 17854 markings/sec, 20 secs
lola: 543544 markings, 718162 edges, 17849 markings/sec, 25 secs
lola: 632364 markings, 837919 edges, 17764 markings/sec, 30 secs
lola: 720713 markings, 960215 edges, 17670 markings/sec, 35 secs
lola: 809804 markings, 1077090 edges, 17818 markings/sec, 40 secs
lola: 897725 markings, 1200590 edges, 17584 markings/sec, 45 secs
lola: 985947 markings, 1322279 edges, 17644 markings/sec, 50 secs
lola: 1073701 markings, 1445670 edges, 17551 markings/sec, 55 secs
lola: 1161662 markings, 1568069 edges, 17592 markings/sec, 60 secs
lola: 1249375 markings, 1690371 edges, 17543 markings/sec, 65 secs
lola: 1337079 markings, 1813217 edges, 17541 markings/sec, 70 secs
lola: 1425069 markings, 1933525 edges, 17598 markings/sec, 75 secs
lola: 1513391 markings, 2051134 edges, 17664 markings/sec, 80 secs
lola: 1600892 markings, 2174425 edges, 17500 markings/sec, 85 secs
lola: 1688246 markings, 2297942 edges, 17471 markings/sec, 90 secs
lola: 1775772 markings, 2422078 edges, 17505 markings/sec, 95 secs
lola: 1863522 markings, 2543764 edges, 17550 markings/sec, 100 secs
lola: 1950868 markings, 2666882 edges, 17469 markings/sec, 105 secs
lola: 2037981 markings, 2790411 edges, 17423 markings/sec, 110 secs
lola: 2125039 markings, 2915362 edges, 17412 markings/sec, 115 secs
lola: 2211978 markings, 3040719 edges, 17388 markings/sec, 120 secs
lola: 2299020 markings, 3165588 edges, 17408 markings/sec, 125 secs
lola: 2386104 markings, 3288861 edges, 17417 markings/sec, 130 secs
lola: 2472984 markings, 3412240 edges, 17376 markings/sec, 135 secs
lola: 2559888 markings, 3537190 edges, 17381 markings/sec, 140 secs
lola: 2646942 markings, 3660221 edges, 17411 markings/sec, 145 secs
lola: 2733410 markings, 3785599 edges, 17294 markings/sec, 150 secs
lola: 2820124 markings, 3910054 edges, 17343 markings/sec, 155 secs
lola: 2907043 markings, 4034577 edges, 17384 markings/sec, 160 secs
lola: 2994368 markings, 4154473 edges, 17465 markings/sec, 165 secs
lola: 3081436 markings, 4275899 edges, 17414 markings/sec, 170 secs
lola: 3168467 markings, 4398110 edges, 17406 markings/sec, 175 secs
lola: 3251907 markings, 4514247 edges, 16688 markings/sec, 180 secs
lola: 3338509 markings, 4638927 edges, 17320 markings/sec, 185 secs
lola: 3424943 markings, 4763258 edges, 17287 markings/sec, 190 secs
lola: 3511853 markings, 4886872 edges, 17382 markings/sec, 195 secs
lola: 3598296 markings, 5011920 edges, 17289 markings/sec, 200 secs
lola: 3684678 markings, 5137628 edges, 17276 markings/sec, 205 secs
lola: 3771526 markings, 5261086 edges, 17370 markings/sec, 210 secs
lola: 3858084 markings, 5385575 edges, 17312 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(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 92750 markings, 106843 edges, 18550 markings/sec, 0 secs
lola: 182903 markings, 214253 edges, 18031 markings/sec, 5 secs
lola: 272124 markings, 321404 edges, 17844 markings/sec, 10 secs
lola: 361066 markings, 428731 edges, 17788 markings/sec, 15 secs
lola: 449572 markings, 534058 edges, 17701 markings/sec, 20 secs
lola: 537764 markings, 640634 edges, 17638 markings/sec, 25 secs
lola: 625772 markings, 747294 edges, 17602 markings/sec, 30 secs
lola: 711299 markings, 850568 edges, 17105 markings/sec, 35 secs
lola: 796309 markings, 953798 edges, 17002 markings/sec, 40 secs
lola: 880842 markings, 1056501 edges, 16907 markings/sec, 45 secs
lola: 965158 markings, 1159240 edges, 16863 markings/sec, 50 secs
lola: 1049733 markings, 1262277 edges, 16915 markings/sec, 55 secs
lola: 1134094 markings, 1365494 edges, 16872 markings/sec, 60 secs
lola: 1218152 markings, 1468039 edges, 16812 markings/sec, 65 secs
lola: 1302595 markings, 1571948 edges, 16889 markings/sec, 70 secs
lola: 1386809 markings, 1675862 edges, 16843 markings/sec, 75 secs
lola: 1470932 markings, 1778010 edges, 16825 markings/sec, 80 secs
lola: 1554931 markings, 1880605 edges, 16800 markings/sec, 85 secs
lola: 1638796 markings, 1983026 edges, 16773 markings/sec, 90 secs
lola: 1722951 markings, 2085217 edges, 16831 markings/sec, 95 secs
lola: 1806850 markings, 2187852 edges, 16780 markings/sec, 100 secs
lola: 1890621 markings, 2290725 edges, 16754 markings/sec, 105 secs
lola: 1974455 markings, 2393936 edges, 16767 markings/sec, 110 secs
lola: 2058041 markings, 2496784 edges, 16717 markings/sec, 115 secs
lola: 2141725 markings, 2599585 edges, 16737 markings/sec, 120 secs
lola: 2225145 markings, 2701488 edges, 16684 markings/sec, 125 secs
lola: 2308970 markings, 2805082 edges, 16765 markings/sec, 130 secs
lola: 2392454 markings, 2908185 edges, 16697 markings/sec, 135 secs
lola: 2476026 markings, 3009801 edges, 16714 markings/sec, 140 secs
lola: 2559341 markings, 3113233 edges, 16663 markings/sec, 145 secs
lola: 2642606 markings, 3214429 edges, 16653 markings/sec, 150 secs
lola: 2725747 markings, 3316421 edges, 16628 markings/sec, 155 secs
lola: 2809156 markings, 3418430 edges, 16682 markings/sec, 160 secs
lola: 2892285 markings, 3520715 edges, 16626 markings/sec, 165 secs
lola: 2975395 markings, 3622823 edges, 16622 markings/sec, 170 secs
lola: 3058549 markings, 3724739 edges, 16631 markings/sec, 175 secs
lola: 3141627 markings, 3827273 edges, 16616 markings/sec, 180 secs
lola: 3224473 markings, 3928462 edges, 16569 markings/sec, 185 secs
lola: 3307535 markings, 4030689 edges, 16612 markings/sec, 190 secs
lola: 3390234 markings, 4131548 edges, 16540 markings/sec, 195 secs
lola: 3473029 markings, 4232914 edges, 16559 markings/sec, 200 secs
lola: 3555868 markings, 4332903 edges, 16568 markings/sec, 205 secs
lola: 3638862 markings, 4433564 edges, 16599 markings/sec, 210 secs
lola: 3721634 markings, 4535040 edges, 16554 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(p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 102475 markings, 119153 edges, 20495 markings/sec, 0 secs
lola: 203637 markings, 237811 edges, 20232 markings/sec, 5 secs
lola: 304061 markings, 356696 edges, 20085 markings/sec, 10 secs
lola: 404021 markings, 474861 edges, 19992 markings/sec, 15 secs
lola: 503628 markings, 592322 edges, 19921 markings/sec, 20 secs
lola: 603123 markings, 708997 edges, 19899 markings/sec, 25 secs
lola: 702309 markings, 826131 edges, 19837 markings/sec, 30 secs
lola: 801089 markings, 942967 edges, 19756 markings/sec, 35 secs
lola: 899775 markings, 1060281 edges, 19737 markings/sec, 40 secs
lola: 998653 markings, 1177301 edges, 19776 markings/sec, 45 secs
lola: 1097038 markings, 1294158 edges, 19677 markings/sec, 50 secs
lola: 1195227 markings, 1411195 edges, 19638 markings/sec, 55 secs
lola: 1293404 markings, 1527637 edges, 19635 markings/sec, 60 secs
lola: 1391434 markings, 1644789 edges, 19606 markings/sec, 65 secs
lola: 1489605 markings, 1760312 edges, 19634 markings/sec, 70 secs
lola: 1587482 markings, 1877199 edges, 19575 markings/sec, 75 secs
lola: 1685375 markings, 1993802 edges, 19579 markings/sec, 80 secs
lola: 1783026 markings, 2110391 edges, 19530 markings/sec, 85 secs
lola: 1880849 markings, 2226775 edges, 19565 markings/sec, 90 secs
lola: 1978367 markings, 2343871 edges, 19504 markings/sec, 95 secs
lola: 2075835 markings, 2460419 edges, 19494 markings/sec, 100 secs
lola: 2173455 markings, 2576506 edges, 19524 markings/sec, 105 secs
lola: 2270981 markings, 2693205 edges, 19505 markings/sec, 110 secs
lola: 2368506 markings, 2809709 edges, 19505 markings/sec, 115 secs
lola: 2465964 markings, 2926248 edges, 19492 markings/sec, 120 secs
lola: 2563183 markings, 3042923 edges, 19444 markings/sec, 125 secs
lola: 2660579 markings, 3159121 edges, 19479 markings/sec, 130 secs
lola: 2757859 markings, 3275649 edges, 19456 markings/sec, 135 secs
lola: 2854863 markings, 3391963 edges, 19401 markings/sec, 140 secs
lola: 2952135 markings, 3508335 edges, 19454 markings/sec, 145 secs
lola: 3049505 markings, 3624234 edges, 19474 markings/sec, 150 secs
lola: 3146742 markings, 3739998 edges, 19447 markings/sec, 155 secs
lola: 3243805 markings, 3856745 edges, 19413 markings/sec, 160 secs
lola: 3341164 markings, 3973328 edges, 19472 markings/sec, 165 secs
lola: 3438281 markings, 4089409 edges, 19423 markings/sec, 170 secs
lola: 3535211 markings, 4205819 edges, 19386 markings/sec, 175 secs
lola: 3632367 markings, 4322273 edges, 19431 markings/sec, 180 secs
lola: 3729463 markings, 4438672 edges, 19419 markings/sec, 185 secs
lola: 3826396 markings, 4555037 edges, 19387 markings/sec, 190 secs
lola: 3923096 markings, 4671539 edges, 19340 markings/sec, 195 secs
lola: 4019917 markings, 4787382 edges, 19364 markings/sec, 200 secs
lola: 4117267 markings, 4904157 edges, 19470 markings/sec, 205 secs
lola: 4214715 markings, 5020406 edges, 19490 markings/sec, 210 secs
lola: 4311713 markings, 5137908 edges, 19400 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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96381 markings, 111158 edges, 19276 markings/sec, 0 secs
lola: 191133 markings, 221931 edges, 18950 markings/sec, 5 secs
lola: 285399 markings, 332318 edges, 18853 markings/sec, 10 secs
lola: 379198 markings, 442823 edges, 18760 markings/sec, 15 secs
lola: 472720 markings, 553129 edges, 18704 markings/sec, 20 secs
lola: 566246 markings, 662784 edges, 18705 markings/sec, 25 secs
lola: 659452 markings, 771920 edges, 18641 markings/sec, 30 secs
lola: 752164 markings, 881484 edges, 18542 markings/sec, 35 secs
lola: 844857 markings, 990244 edges, 18539 markings/sec, 40 secs
lola: 937115 markings, 1099847 edges, 18452 markings/sec, 45 secs
lola: 1029303 markings, 1209249 edges, 18438 markings/sec, 50 secs
lola: 1121641 markings, 1318259 edges, 18468 markings/sec, 55 secs
lola: 1213900 markings, 1426830 edges, 18452 markings/sec, 60 secs
lola: 1306107 markings, 1535651 edges, 18441 markings/sec, 65 secs
lola: 1398367 markings, 1644791 edges, 18452 markings/sec, 70 secs
lola: 1490412 markings, 1753603 edges, 18409 markings/sec, 75 secs
lola: 1582430 markings, 1862451 edges, 18404 markings/sec, 80 secs
lola: 1674342 markings, 1971035 edges, 18382 markings/sec, 85 secs
lola: 1766332 markings, 2080078 edges, 18398 markings/sec, 90 secs
lola: 1858246 markings, 2189063 edges, 18383 markings/sec, 95 secs
lola: 1950113 markings, 2298032 edges, 18373 markings/sec, 100 secs
lola: 2041902 markings, 2407021 edges, 18358 markings/sec, 105 secs
lola: 2133776 markings, 2515732 edges, 18375 markings/sec, 110 secs
lola: 2225578 markings, 2624644 edges, 18360 markings/sec, 115 secs
lola: 2317417 markings, 2733610 edges, 18368 markings/sec, 120 secs
lola: 2409179 markings, 2842358 edges, 18352 markings/sec, 125 secs
lola: 2500977 markings, 2951477 edges, 18360 markings/sec, 130 secs
lola: 2595316 markings, 3063521 edges, 18868 markings/sec, 135 secs
lola: 2689487 markings, 3175640 edges, 18834 markings/sec, 140 secs
lola: 2783769 markings, 3288569 edges, 18856 markings/sec, 145 secs
lola: 2878404 markings, 3400633 edges, 18927 markings/sec, 150 secs
lola: 2972823 markings, 3512462 edges, 18884 markings/sec, 155 secs
lola: 3067144 markings, 3624103 edges, 18864 markings/sec, 160 secs
lola: 3161436 markings, 3736788 edges, 18858 markings/sec, 165 secs
lola: 3255581 markings, 3849184 edges, 18829 markings/sec, 170 secs
lola: 3349880 markings, 3961099 edges, 18860 markings/sec, 175 secs
lola: 3443866 markings, 4073191 edges, 18797 markings/sec, 180 secs
lola: 3537880 markings, 4185373 edges, 18803 markings/sec, 185 secs
lola: 3632017 markings, 4297617 edges, 18827 markings/sec, 190 secs
lola: 3726211 markings, 4410284 edges, 18839 markings/sec, 195 secs
lola: 3820244 markings, 4521892 edges, 18807 markings/sec, 200 secs
lola: 3914273 markings, 4633900 edges, 18806 markings/sec, 205 secs
lola: 4008165 markings, 4746313 edges, 18778 markings/sec, 210 secs
lola: 4102565 markings, 4857648 edges, 18880 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(p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96592 markings, 112852 edges, 19318 markings/sec, 0 secs
lola: 191536 markings, 225428 edges, 18989 markings/sec, 5 secs
lola: 285082 markings, 339324 edges, 18709 markings/sec, 10 secs
lola: 378472 markings, 450801 edges, 18678 markings/sec, 15 secs
lola: 471273 markings, 563159 edges, 18560 markings/sec, 20 secs
lola: 563502 markings, 673408 edges, 18446 markings/sec, 25 secs
lola: 655290 markings, 785626 edges, 18358 markings/sec, 30 secs
lola: 747285 markings, 896420 edges, 18399 markings/sec, 35 secs
lola: 838584 markings, 1008316 edges, 18260 markings/sec, 40 secs
lola: 929807 markings, 1119918 edges, 18245 markings/sec, 45 secs
lola: 1021000 markings, 1230960 edges, 18239 markings/sec, 50 secs
lola: 1111882 markings, 1341528 edges, 18176 markings/sec, 55 secs
lola: 1202797 markings, 1452360 edges, 18183 markings/sec, 60 secs
lola: 1293880 markings, 1563350 edges, 18217 markings/sec, 65 secs
lola: 1384816 markings, 1674513 edges, 18187 markings/sec, 70 secs
lola: 1475580 markings, 1785865 edges, 18153 markings/sec, 75 secs
lola: 1565429 markings, 1896685 edges, 17970 markings/sec, 80 secs
lola: 1648689 markings, 1998400 edges, 16652 markings/sec, 85 secs
lola: 1733895 markings, 2102031 edges, 17041 markings/sec, 90 secs
lola: 1820283 markings, 2209225 edges, 17278 markings/sec, 95 secs
lola: 1910134 markings, 2319405 edges, 17970 markings/sec, 100 secs
lola: 2001794 markings, 2431893 edges, 18332 markings/sec, 105 secs
lola: 2093525 markings, 2544742 edges, 18346 markings/sec, 110 secs
lola: 2184218 markings, 2655966 edges, 18139 markings/sec, 115 secs
lola: 2274593 markings, 2766513 edges, 18075 markings/sec, 120 secs
lola: 2365027 markings, 2877068 edges, 18087 markings/sec, 125 secs
lola: 2455275 markings, 2988530 edges, 18050 markings/sec, 130 secs
lola: 2545532 markings, 3099311 edges, 18051 markings/sec, 135 secs
lola: 2635515 markings, 3211590 edges, 17997 markings/sec, 140 secs
lola: 2725877 markings, 3322300 edges, 18072 markings/sec, 145 secs
lola: 2815679 markings, 3433062 edges, 17960 markings/sec, 150 secs
lola: 2906122 markings, 3544341 edges, 18089 markings/sec, 155 secs
lola: 2996895 markings, 3655078 edges, 18155 markings/sec, 160 secs
lola: 3087463 markings, 3765910 edges, 18114 markings/sec, 165 secs
lola: 3177791 markings, 3878310 edges, 18066 markings/sec, 170 secs
lola: 3268558 markings, 3989010 edges, 18153 markings/sec, 175 secs
lola: 3358933 markings, 4100698 edges, 18075 markings/sec, 180 secs
lola: 3449425 markings, 4212108 edges, 18098 markings/sec, 185 secs
lola: 3539555 markings, 4323235 edges, 18026 markings/sec, 190 secs
lola: 3629693 markings, 4435052 edges, 18028 markings/sec, 195 secs
lola: 3718572 markings, 4545386 edges, 17776 markings/sec, 200 secs
lola: 3807548 markings, 4655778 edges, 17795 markings/sec, 205 secs
lola: 3897755 markings, 4768035 edges, 18041 markings/sec, 210 secs
lola: 3988285 markings, 4879654 edges, 18106 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(p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 102993 markings, 118991 edges, 20599 markings/sec, 0 secs
lola: 204170 markings, 236849 edges, 20235 markings/sec, 5 secs
lola: 304576 markings, 355159 edges, 20081 markings/sec, 10 secs
lola: 404295 markings, 472475 edges, 19944 markings/sec, 15 secs
lola: 501134 markings, 586148 edges, 19368 markings/sec, 20 secs
lola: 597148 markings, 698770 edges, 19203 markings/sec, 25 secs
lola: 695923 markings, 815396 edges, 19755 markings/sec, 30 secs
lola: 794536 markings, 931418 edges, 19723 markings/sec, 35 secs
lola: 890985 markings, 1045300 edges, 19290 markings/sec, 40 secs
lola: 986949 markings, 1158290 edges, 19193 markings/sec, 45 secs
lola: 1082481 markings, 1271633 edges, 19106 markings/sec, 50 secs
lola: 1179445 markings, 1385899 edges, 19393 markings/sec, 55 secs
lola: 1275452 markings, 1499749 edges, 19201 markings/sec, 60 secs
lola: 1370286 markings, 1612076 edges, 18967 markings/sec, 65 secs
lola: 1467058 markings, 1726454 edges, 19354 markings/sec, 70 secs
lola: 1564658 markings, 1841112 edges, 19520 markings/sec, 75 secs
lola: 1662283 markings, 1956935 edges, 19525 markings/sec, 80 secs
lola: 1760051 markings, 2072611 edges, 19554 markings/sec, 85 secs
lola: 1857363 markings, 2188473 edges, 19462 markings/sec, 90 secs
lola: 1954709 markings, 2304363 edges, 19469 markings/sec, 95 secs
lola: 2052074 markings, 2420441 edges, 19473 markings/sec, 100 secs
lola: 2146555 markings, 2533415 edges, 18896 markings/sec, 105 secs
lola: 2243644 markings, 2648778 edges, 19418 markings/sec, 110 secs
lola: 2340668 markings, 2765110 edges, 19405 markings/sec, 115 secs
lola: 2435145 markings, 2877747 edges, 18895 markings/sec, 120 secs
lola: 2531816 markings, 2993232 edges, 19334 markings/sec, 125 secs
lola: 2628800 markings, 3108520 edges, 19397 markings/sec, 130 secs
lola: 2725848 markings, 3224430 edges, 19410 markings/sec, 135 secs
lola: 2822975 markings, 3339089 edges, 19425 markings/sec, 140 secs
lola: 2919250 markings, 3453709 edges, 19255 markings/sec, 145 secs
lola: 3015702 markings, 3567804 edges, 19290 markings/sec, 150 secs
lola: 3111796 markings, 3682847 edges, 19219 markings/sec, 155 secs
lola: 3207922 markings, 3797300 edges, 19225 markings/sec, 160 secs
lola: 3301494 markings, 3909545 edges, 18714 markings/sec, 165 secs
lola: 3395150 markings, 4021606 edges, 18731 markings/sec, 170 secs
lola: 3491050 markings, 4136039 edges, 19180 markings/sec, 175 secs
lola: 3586773 markings, 4250321 edges, 19145 markings/sec, 180 secs
lola: 3680205 markings, 4361431 edges, 18686 markings/sec, 185 secs
lola: 3775834 markings, 4475453 edges, 19126 markings/sec, 190 secs
lola: 3871027 markings, 4588639 edges, 19039 markings/sec, 195 secs
lola: 3966423 markings, 4703035 edges, 19079 markings/sec, 200 secs
lola: 4059646 markings, 4814435 edges, 18645 markings/sec, 205 secs
lola: 4152705 markings, 4926161 edges, 18612 markings/sec, 210 secs
lola: 4247965 markings, 5040437 edges, 19052 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(p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96157 markings, 100807 edges, 19231 markings/sec, 0 secs
lola: 188974 markings, 204421 edges, 18563 markings/sec, 5 secs
lola: 280230 markings, 308695 edges, 18251 markings/sec, 10 secs
lola: 370817 markings, 413290 edges, 18117 markings/sec, 15 secs
lola: 460825 markings, 517955 edges, 18002 markings/sec, 20 secs
lola: 550394 markings, 622254 edges, 17914 markings/sec, 25 secs
lola: 640234 markings, 725841 edges, 17968 markings/sec, 30 secs
lola: 729615 markings, 830622 edges, 17876 markings/sec, 35 secs
lola: 818857 markings, 935126 edges, 17848 markings/sec, 40 secs
lola: 907835 markings, 1039853 edges, 17796 markings/sec, 45 secs
lola: 996752 markings, 1145121 edges, 17783 markings/sec, 50 secs
lola: 1086092 markings, 1250034 edges, 17868 markings/sec, 55 secs
lola: 1174692 markings, 1354601 edges, 17720 markings/sec, 60 secs
lola: 1263397 markings, 1457978 edges, 17741 markings/sec, 65 secs
lola: 1351864 markings, 1562699 edges, 17693 markings/sec, 70 secs
lola: 1440486 markings, 1666994 edges, 17724 markings/sec, 75 secs
lola: 1528991 markings, 1772129 edges, 17701 markings/sec, 80 secs
lola: 1617485 markings, 1876667 edges, 17699 markings/sec, 85 secs
lola: 1706228 markings, 1981789 edges, 17749 markings/sec, 90 secs
lola: 1794866 markings, 2086548 edges, 17728 markings/sec, 95 secs
lola: 1883503 markings, 2191641 edges, 17727 markings/sec, 100 secs
lola: 1972007 markings, 2295901 edges, 17701 markings/sec, 105 secs
lola: 2056827 markings, 2397596 edges, 16964 markings/sec, 110 secs
lola: 2135612 markings, 2491203 edges, 15757 markings/sec, 115 secs
lola: 2221847 markings, 2593876 edges, 17247 markings/sec, 120 secs
lola: 2310804 markings, 2699935 edges, 17791 markings/sec, 125 secs
lola: 2400615 markings, 2806170 edges, 17962 markings/sec, 130 secs
lola: 2489497 markings, 2911743 edges, 17776 markings/sec, 135 secs
lola: 2578666 markings, 3017461 edges, 17834 markings/sec, 140 secs
lola: 2667754 markings, 3123682 edges, 17818 markings/sec, 145 secs
lola: 2756992 markings, 3230655 edges, 17848 markings/sec, 150 secs
lola: 2845655 markings, 3336613 edges, 17733 markings/sec, 155 secs
lola: 2935082 markings, 3443168 edges, 17885 markings/sec, 160 secs
lola: 3024161 markings, 3548394 edges, 17816 markings/sec, 165 secs
lola: 3113471 markings, 3655298 edges, 17862 markings/sec, 170 secs
lola: 3202736 markings, 3761371 edges, 17853 markings/sec, 175 secs
lola: 3291960 markings, 3867989 edges, 17845 markings/sec, 180 secs
lola: 3381029 markings, 3974552 edges, 17814 markings/sec, 185 secs
lola: 3470079 markings, 4081362 edges, 17810 markings/sec, 190 secs
lola: 3559188 markings, 4187979 edges, 17822 markings/sec, 195 secs
lola: 3648228 markings, 4293995 edges, 17808 markings/sec, 200 secs
lola: 3737513 markings, 4400311 edges, 17857 markings/sec, 205 secs
lola: 3826411 markings, 4506390 edges, 17780 markings/sec, 210 secs
lola: 3915126 markings, 4611592 edges, 17743 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(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 95441 markings, 108957 edges, 19088 markings/sec, 0 secs
lola: 189130 markings, 217791 edges, 18738 markings/sec, 5 secs
lola: 282404 markings, 326094 edges, 18655 markings/sec, 10 secs
lola: 374660 markings, 434323 edges, 18451 markings/sec, 15 secs
lola: 466607 markings, 541134 edges, 18389 markings/sec, 20 secs
lola: 558418 markings, 648678 edges, 18362 markings/sec, 25 secs
lola: 650111 markings, 755047 edges, 18339 markings/sec, 30 secs
lola: 741181 markings, 862238 edges, 18214 markings/sec, 35 secs
lola: 832334 markings, 968726 edges, 18231 markings/sec, 40 secs
lola: 922791 markings, 1075320 edges, 18091 markings/sec, 45 secs
lola: 1012765 markings, 1180921 edges, 17995 markings/sec, 50 secs
lola: 1102570 markings, 1287301 edges, 17961 markings/sec, 55 secs
lola: 1192743 markings, 1393500 edges, 18035 markings/sec, 60 secs
lola: 1282815 markings, 1499870 edges, 18014 markings/sec, 65 secs
lola: 1372717 markings, 1606017 edges, 17980 markings/sec, 70 secs
lola: 1462407 markings, 1711648 edges, 17938 markings/sec, 75 secs
lola: 1552260 markings, 1816639 edges, 17971 markings/sec, 80 secs
lola: 1642079 markings, 1923149 edges, 17964 markings/sec, 85 secs
lola: 1731673 markings, 2027496 edges, 17919 markings/sec, 90 secs
lola: 1821450 markings, 2133986 edges, 17955 markings/sec, 95 secs
lola: 1910850 markings, 2239322 edges, 17880 markings/sec, 100 secs
lola: 2000209 markings, 2344392 edges, 17872 markings/sec, 105 secs
lola: 2089832 markings, 2450280 edges, 17925 markings/sec, 110 secs
lola: 2179368 markings, 2555627 edges, 17907 markings/sec, 115 secs
lola: 2268899 markings, 2661562 edges, 17906 markings/sec, 120 secs
lola: 2357964 markings, 2767573 edges, 17813 markings/sec, 125 secs
lola: 2446776 markings, 2872419 edges, 17762 markings/sec, 130 secs
lola: 2535954 markings, 2978870 edges, 17836 markings/sec, 135 secs
lola: 2624648 markings, 3082475 edges, 17739 markings/sec, 140 secs
lola: 2713493 markings, 3186411 edges, 17769 markings/sec, 145 secs
lola: 2802477 markings, 3291855 edges, 17797 markings/sec, 150 secs
lola: 2891545 markings, 3396733 edges, 17814 markings/sec, 155 secs
lola: 2980397 markings, 3501300 edges, 17770 markings/sec, 160 secs
lola: 3069834 markings, 3607016 edges, 17887 markings/sec, 165 secs
lola: 3158758 markings, 3711938 edges, 17785 markings/sec, 170 secs
lola: 3247879 markings, 3817300 edges, 17824 markings/sec, 175 secs
lola: 3337558 markings, 3923776 edges, 17936 markings/sec, 180 secs
lola: 3427793 markings, 4030634 edges, 18047 markings/sec, 185 secs
lola: 3518362 markings, 4137812 edges, 18114 markings/sec, 190 secs
lola: 3608402 markings, 4244830 edges, 18008 markings/sec, 195 secs
lola: 3698679 markings, 4352455 edges, 18055 markings/sec, 200 secs
lola: 3788467 markings, 4458838 edges, 17958 markings/sec, 205 secs
lola: 3878553 markings, 4565908 edges, 18017 markings/sec, 210 secs
lola: 3968689 markings, 4673026 edges, 18027 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(p490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 89542 markings, 98439 edges, 17908 markings/sec, 0 secs
lola: 184180 markings, 203694 edges, 18928 markings/sec, 5 secs
lola: 277610 markings, 309384 edges, 18686 markings/sec, 10 secs
lola: 366071 markings, 408570 edges, 17692 markings/sec, 15 secs
lola: 456470 markings, 512273 edges, 18080 markings/sec, 20 secs
lola: 547806 markings, 615718 edges, 18267 markings/sec, 25 secs
lola: 639648 markings, 721437 edges, 18368 markings/sec, 30 secs
lola: 729553 markings, 824455 edges, 17981 markings/sec, 35 secs
lola: 821795 markings, 929695 edges, 18448 markings/sec, 40 secs
lola: 913374 markings, 1034644 edges, 18316 markings/sec, 45 secs
lola: 1005335 markings, 1139893 edges, 18392 markings/sec, 50 secs
lola: 1097665 markings, 1245056 edges, 18466 markings/sec, 55 secs
lola: 1189362 markings, 1350530 edges, 18339 markings/sec, 60 secs
lola: 1280758 markings, 1455793 edges, 18279 markings/sec, 65 secs
lola: 1372288 markings, 1560526 edges, 18306 markings/sec, 70 secs
lola: 1463315 markings, 1666536 edges, 18205 markings/sec, 75 secs
lola: 1554362 markings, 1772375 edges, 18209 markings/sec, 80 secs
lola: 1645170 markings, 1876785 edges, 18162 markings/sec, 85 secs
lola: 1736083 markings, 1981464 edges, 18183 markings/sec, 90 secs
lola: 1826925 markings, 2086280 edges, 18168 markings/sec, 95 secs
lola: 1917844 markings, 2190554 edges, 18184 markings/sec, 100 secs
lola: 2008589 markings, 2295268 edges, 18149 markings/sec, 105 secs
lola: 2099406 markings, 2399555 edges, 18163 markings/sec, 110 secs
lola: 2190013 markings, 2504259 edges, 18121 markings/sec, 115 secs
lola: 2280458 markings, 2609474 edges, 18089 markings/sec, 120 secs
lola: 2370958 markings, 2714222 edges, 18100 markings/sec, 125 secs
lola: 2460359 markings, 2818121 edges, 17880 markings/sec, 130 secs
lola: 2545987 markings, 2916735 edges, 17126 markings/sec, 135 secs
lola: 2631314 markings, 3015290 edges, 17065 markings/sec, 140 secs
lola: 2716455 markings, 3114893 edges, 17028 markings/sec, 145 secs
lola: 2801553 markings, 3213863 edges, 17020 markings/sec, 150 secs
lola: 2886765 markings, 3312580 edges, 17042 markings/sec, 155 secs
lola: 2971752 markings, 3411405 edges, 16997 markings/sec, 160 secs
lola: 3056744 markings, 3510499 edges, 16998 markings/sec, 165 secs
lola: 3141826 markings, 3608535 edges, 17016 markings/sec, 170 secs
lola: 3226898 markings, 3707957 edges, 17014 markings/sec, 175 secs
lola: 3311428 markings, 3807654 edges, 16906 markings/sec, 180 secs
lola: 3396531 markings, 3906828 edges, 17021 markings/sec, 185 secs
lola: 3481028 markings, 4006476 edges, 16899 markings/sec, 190 secs
lola: 3565798 markings, 4106386 edges, 16954 markings/sec, 195 secs
lola: 3650935 markings, 4204830 edges, 17027 markings/sec, 200 secs
lola: 3735743 markings, 4303518 edges, 16962 markings/sec, 205 secs
lola: 3820300 markings, 4402373 edges, 16911 markings/sec, 210 secs
lola: 3904751 markings, 4501748 edges, 16890 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 94998 markings, 110857 edges, 19000 markings/sec, 0 secs
lola: 188848 markings, 221528 edges, 18770 markings/sec, 5 secs
lola: 282294 markings, 331456 edges, 18689 markings/sec, 10 secs
lola: 375170 markings, 441541 edges, 18575 markings/sec, 15 secs
lola: 467296 markings, 551098 edges, 18425 markings/sec, 20 secs
lola: 559339 markings, 660272 edges, 18409 markings/sec, 25 secs
lola: 651004 markings, 768193 edges, 18333 markings/sec, 30 secs
lola: 741518 markings, 875622 edges, 18103 markings/sec, 35 secs
lola: 831054 markings, 982491 edges, 17907 markings/sec, 40 secs
lola: 920153 markings, 1089708 edges, 17820 markings/sec, 45 secs
lola: 1011753 markings, 1198606 edges, 18320 markings/sec, 50 secs
lola: 1102944 markings, 1307545 edges, 18238 markings/sec, 55 secs
lola: 1192403 markings, 1415079 edges, 17892 markings/sec, 60 secs
lola: 1283400 markings, 1524555 edges, 18199 markings/sec, 65 secs
lola: 1374566 markings, 1635268 edges, 18233 markings/sec, 70 secs
lola: 1464994 markings, 1744685 edges, 18086 markings/sec, 75 secs
lola: 1552739 markings, 1849747 edges, 17549 markings/sec, 80 secs
lola: 1640028 markings, 1953964 edges, 17458 markings/sec, 85 secs
lola: 1727318 markings, 2059026 edges, 17458 markings/sec, 90 secs
lola: 1814514 markings, 2163354 edges, 17439 markings/sec, 95 secs
lola: 1901549 markings, 2268707 edges, 17407 markings/sec, 100 secs
lola: 1988903 markings, 2372225 edges, 17471 markings/sec, 105 secs
lola: 2076137 markings, 2476006 edges, 17447 markings/sec, 110 secs
lola: 2163296 markings, 2580753 edges, 17432 markings/sec, 115 secs
lola: 2252346 markings, 2687603 edges, 17810 markings/sec, 120 secs
lola: 2342594 markings, 2796822 edges, 18050 markings/sec, 125 secs
lola: 2430703 markings, 2903375 edges, 17622 markings/sec, 130 secs
lola: 2517601 markings, 3009647 edges, 17380 markings/sec, 135 secs
lola: 2604391 markings, 3114509 edges, 17358 markings/sec, 140 secs
lola: 2691456 markings, 3218396 edges, 17413 markings/sec, 145 secs
lola: 2778432 markings, 3322539 edges, 17395 markings/sec, 150 secs
lola: 2865193 markings, 3427122 edges, 17352 markings/sec, 155 secs
lola: 2952634 markings, 3533511 edges, 17488 markings/sec, 160 secs
lola: 3042781 markings, 3641568 edges, 18029 markings/sec, 165 secs
lola: 3132975 markings, 3750333 edges, 18039 markings/sec, 170 secs
lola: 3221483 markings, 3857980 edges, 17702 markings/sec, 175 secs
lola: 3308142 markings, 3962547 edges, 17332 markings/sec, 180 secs
lola: 3394790 markings, 4066912 edges, 17330 markings/sec, 185 secs
lola: 3481458 markings, 4171353 edges, 17334 markings/sec, 190 secs
lola: 3569338 markings, 4277470 edges, 17576 markings/sec, 195 secs
lola: 3659535 markings, 4385603 edges, 18039 markings/sec, 200 secs
lola: 3749650 markings, 4493576 edges, 18023 markings/sec, 205 secs
lola: 3839615 markings, 4602103 edges, 17993 markings/sec, 210 secs
lola: 3926925 markings, 4707203 edges, 17462 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 101248 markings, 110187 edges, 20250 markings/sec, 0 secs
lola: 200744 markings, 219858 edges, 19899 markings/sec, 5 secs
lola: 299577 markings, 329391 edges, 19767 markings/sec, 10 secs
lola: 397774 markings, 439015 edges, 19639 markings/sec, 15 secs
lola: 495593 markings, 548855 edges, 19564 markings/sec, 20 secs
lola: 593081 markings, 658228 edges, 19498 markings/sec, 25 secs
lola: 690528 markings, 767026 edges, 19489 markings/sec, 30 secs
lola: 787508 markings, 876864 edges, 19396 markings/sec, 35 secs
lola: 884362 markings, 986371 edges, 19371 markings/sec, 40 secs
lola: 981108 markings, 1095703 edges, 19349 markings/sec, 45 secs
lola: 1077423 markings, 1205539 edges, 19263 markings/sec, 50 secs
lola: 1173945 markings, 1314844 edges, 19304 markings/sec, 55 secs
lola: 1270325 markings, 1423920 edges, 19276 markings/sec, 60 secs
lola: 1366716 markings, 1532312 edges, 19278 markings/sec, 65 secs
lola: 1462705 markings, 1641033 edges, 19198 markings/sec, 70 secs
lola: 1558881 markings, 1749933 edges, 19235 markings/sec, 75 secs
lola: 1654341 markings, 1858983 edges, 19092 markings/sec, 80 secs
lola: 1749100 markings, 1966557 edges, 18952 markings/sec, 85 secs
lola: 1844030 markings, 2074491 edges, 18986 markings/sec, 90 secs
lola: 1938763 markings, 2181827 edges, 18947 markings/sec, 95 secs
lola: 2033468 markings, 2289267 edges, 18941 markings/sec, 100 secs
lola: 2128147 markings, 2397525 edges, 18936 markings/sec, 105 secs
lola: 2222523 markings, 2505759 edges, 18875 markings/sec, 110 secs
lola: 2316990 markings, 2613428 edges, 18893 markings/sec, 115 secs
lola: 2411388 markings, 2721128 edges, 18880 markings/sec, 120 secs
lola: 2503882 markings, 2826994 edges, 18499 markings/sec, 125 secs
lola: 2598411 markings, 2935376 edges, 18906 markings/sec, 130 secs
lola: 2692829 markings, 3042921 edges, 18884 markings/sec, 135 secs
lola: 2787252 markings, 3149837 edges, 18885 markings/sec, 140 secs
lola: 2881991 markings, 3258574 edges, 18948 markings/sec, 145 secs
lola: 2979178 markings, 3370083 edges, 19437 markings/sec, 150 secs
lola: 3076397 markings, 3481911 edges, 19444 markings/sec, 155 secs
lola: 3173581 markings, 3593893 edges, 19437 markings/sec, 160 secs
lola: 3270517 markings, 3705161 edges, 19387 markings/sec, 165 secs
lola: 3367409 markings, 3816287 edges, 19378 markings/sec, 170 secs
lola: 3464215 markings, 3927831 edges, 19361 markings/sec, 175 secs
lola: 3561065 markings, 4039331 edges, 19370 markings/sec, 180 secs
lola: 3657885 markings, 4150785 edges, 19364 markings/sec, 185 secs
lola: 3753538 markings, 4261569 edges, 19131 markings/sec, 190 secs
lola: 3847139 markings, 4369610 edges, 18720 markings/sec, 195 secs
lola: 3940659 markings, 4477121 edges, 18704 markings/sec, 200 secs
lola: 4034216 markings, 4585290 edges, 18711 markings/sec, 205 secs
lola: 4127726 markings, 4692147 edges, 18702 markings/sec, 210 secs
lola: 4221568 markings, 4799331 edges, 18768 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p576 + p577 + p578 + p579 + p580 + p581 + p582)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 101451 markings, 117693 edges, 20290 markings/sec, 0 secs
lola: 199815 markings, 233078 edges, 19673 markings/sec, 5 secs
lola: 297080 markings, 347960 edges, 19453 markings/sec, 10 secs
lola: 393923 markings, 462258 edges, 19369 markings/sec, 15 secs
lola: 490340 markings, 575814 edges, 19283 markings/sec, 20 secs
lola: 586507 markings, 688853 edges, 19233 markings/sec, 25 secs
lola: 682411 markings, 801629 edges, 19181 markings/sec, 30 secs
lola: 777860 markings, 914661 edges, 19090 markings/sec, 35 secs
lola: 873179 markings, 1027794 edges, 19064 markings/sec, 40 secs
lola: 968780 markings, 1140987 edges, 19120 markings/sec, 45 secs
lola: 1064135 markings, 1254169 edges, 19071 markings/sec, 50 secs
lola: 1159095 markings, 1367110 edges, 18992 markings/sec, 55 secs
lola: 1254016 markings, 1479797 edges, 18984 markings/sec, 60 secs
lola: 1348941 markings, 1592956 edges, 18985 markings/sec, 65 secs
lola: 1443869 markings, 1704752 edges, 18986 markings/sec, 70 secs
lola: 1538525 markings, 1817695 edges, 18931 markings/sec, 75 secs
lola: 1633250 markings, 1930199 edges, 18945 markings/sec, 80 secs
lola: 1727864 markings, 2042723 edges, 18923 markings/sec, 85 secs
lola: 1822255 markings, 2155425 edges, 18878 markings/sec, 90 secs
lola: 1916700 markings, 2268381 edges, 18889 markings/sec, 95 secs
lola: 2011015 markings, 2380875 edges, 18863 markings/sec, 100 secs
lola: 2105263 markings, 2493347 edges, 18850 markings/sec, 105 secs
lola: 2199565 markings, 2606231 edges, 18860 markings/sec, 110 secs
lola: 2293923 markings, 2718987 edges, 18872 markings/sec, 115 secs
lola: 2388215 markings, 2831132 edges, 18858 markings/sec, 120 secs
lola: 2482442 markings, 2943894 edges, 18845 markings/sec, 125 secs
lola: 2576356 markings, 3056673 edges, 18783 markings/sec, 130 secs
lola: 2670529 markings, 3168885 edges, 18835 markings/sec, 135 secs
lola: 2764482 markings, 3281409 edges, 18791 markings/sec, 140 secs
lola: 2858219 markings, 3393578 edges, 18747 markings/sec, 145 secs
lola: 2952070 markings, 3505959 edges, 18770 markings/sec, 150 secs
lola: 3046103 markings, 3617885 edges, 18807 markings/sec, 155 secs
lola: 3140004 markings, 3729485 edges, 18780 markings/sec, 160 secs
lola: 3233752 markings, 3842063 edges, 18750 markings/sec, 165 secs
lola: 3327593 markings, 3954523 edges, 18768 markings/sec, 170 secs
lola: 3422926 markings, 4068189 edges, 19067 markings/sec, 175 secs
lola: 3519807 markings, 4184624 edges, 19376 markings/sec, 180 secs
lola: 3613514 markings, 4297149 edges, 18741 markings/sec, 185 secs
lola: 3706390 markings, 4408339 edges, 18575 markings/sec, 190 secs
lola: 3799145 markings, 4519887 edges, 18551 markings/sec, 195 secs
lola: 3891754 markings, 4630739 edges, 18522 markings/sec, 200 secs
lola: 3984339 markings, 4742146 edges, 18517 markings/sec, 205 secs
lola: 4077020 markings, 4852661 edges, 18536 markings/sec, 210 secs
lola: 4169608 markings, 4963558 edges, 18518 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496381794493

--------------------
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_PolyORBLF-COL-S02J06T08"
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_PolyORBLF-COL-S02J06T08.tgz
mv S_PolyORBLF-COL-S02J06T08 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_PolyORBLF-COL-S02J06T08, 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 r128-smll-149441681400299"
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 ;