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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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(p476 + p477 + p478 + p479 + p480 + p481 + p475 + p474) : MAX(p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419) : MAX(p688) : MAX(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662) : MAX(p410) : MAX(p99) : MAX(p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393) : MAX(p354) : MAX(p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409) : MAX(p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290) : MAX(p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671) : MAX(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662) : MAX(p47) : MAX(p476 + p477 + p478 + p479 + p480 + p481 + p475 + p474) : MAX(p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38) : MAX(p490 + p491 + p492 + p493 + p494 + p495 + p496)
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(p476 + p477 + p478 + p479 + p480 + p481 + p475 + p474)
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: 102121 markings, 104071 edges, 20424 markings/sec, 0 secs
lola: 202785 markings, 207667 edges, 20133 markings/sec, 5 secs
lola: 303376 markings, 311483 edges, 20118 markings/sec, 10 secs
lola: 403427 markings, 415755 edges, 20010 markings/sec, 15 secs
lola: 503061 markings, 519825 edges, 19927 markings/sec, 20 secs
lola: 602666 markings, 623627 edges, 19921 markings/sec, 25 secs
lola: 702170 markings, 727970 edges, 19901 markings/sec, 30 secs
lola: 801284 markings, 832132 edges, 19823 markings/sec, 35 secs
lola: 900208 markings, 936356 edges, 19785 markings/sec, 40 secs
lola: 998843 markings, 1040653 edges, 19727 markings/sec, 45 secs
lola: 1097476 markings, 1145348 edges, 19727 markings/sec, 50 secs
lola: 1195811 markings, 1249909 edges, 19667 markings/sec, 55 secs
lola: 1294230 markings, 1353641 edges, 19684 markings/sec, 60 secs
lola: 1392513 markings, 1458035 edges, 19657 markings/sec, 65 secs
lola: 1490302 markings, 1562647 edges, 19558 markings/sec, 70 secs
lola: 1588415 markings, 1666983 edges, 19623 markings/sec, 75 secs
lola: 1686286 markings, 1771408 edges, 19574 markings/sec, 80 secs
lola: 1784132 markings, 1875926 edges, 19569 markings/sec, 85 secs
lola: 1881804 markings, 1980706 edges, 19534 markings/sec, 90 secs
lola: 1979344 markings, 2085297 edges, 19508 markings/sec, 95 secs
lola: 2076830 markings, 2189689 edges, 19497 markings/sec, 100 secs
lola: 2174795 markings, 2294832 edges, 19593 markings/sec, 105 secs
lola: 2271894 markings, 2399246 edges, 19420 markings/sec, 110 secs
lola: 2369464 markings, 2503752 edges, 19514 markings/sec, 115 secs
lola: 2466495 markings, 2608745 edges, 19406 markings/sec, 120 secs
lola: 2563621 markings, 2713546 edges, 19425 markings/sec, 125 secs
lola: 2660621 markings, 2818111 edges, 19400 markings/sec, 130 secs
lola: 2757866 markings, 2923505 edges, 19449 markings/sec, 135 secs
lola: 2854885 markings, 3028597 edges, 19404 markings/sec, 140 secs
lola: 2951725 markings, 3133640 edges, 19368 markings/sec, 145 secs
lola: 3048631 markings, 3238551 edges, 19381 markings/sec, 150 secs
lola: 3145452 markings, 3343597 edges, 19364 markings/sec, 155 secs
lola: 3242167 markings, 3448320 edges, 19343 markings/sec, 160 secs
lola: 3338963 markings, 3553185 edges, 19359 markings/sec, 165 secs
lola: 3435795 markings, 3658448 edges, 19366 markings/sec, 170 secs
lola: 3532363 markings, 3763567 edges, 19314 markings/sec, 175 secs
lola: 3628705 markings, 3868812 edges, 19268 markings/sec, 180 secs
lola: 3725428 markings, 3973634 edges, 19345 markings/sec, 185 secs
lola: 3821933 markings, 4079055 edges, 19301 markings/sec, 190 secs
lola: 3918733 markings, 4184333 edges, 19360 markings/sec, 195 secs
lola: 4015419 markings, 4289336 edges, 19337 markings/sec, 200 secs
lola: 4111938 markings, 4394805 edges, 19304 markings/sec, 205 secs
lola: 4208510 markings, 4500546 edges, 19314 markings/sec, 210 secs
lola: 4304940 markings, 4606161 edges, 19286 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(p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419)
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: 103414 markings, 105428 edges, 20683 markings/sec, 0 secs
lola: 205436 markings, 210402 edges, 20404 markings/sec, 5 secs
lola: 307341 markings, 315622 edges, 20381 markings/sec, 10 secs
lola: 408764 markings, 421324 edges, 20285 markings/sec, 15 secs
lola: 509679 markings, 526687 edges, 20183 markings/sec, 20 secs
lola: 610461 markings, 631864 edges, 20156 markings/sec, 25 secs
lola: 711080 markings, 737315 edges, 20124 markings/sec, 30 secs
lola: 811384 markings, 842813 edges, 20061 markings/sec, 35 secs
lola: 911596 markings, 948343 edges, 20042 markings/sec, 40 secs
lola: 1011202 markings, 1053738 edges, 19921 markings/sec, 45 secs
lola: 1110977 markings, 1159642 edges, 19955 markings/sec, 50 secs
lola: 1210334 markings, 1265211 edges, 19871 markings/sec, 55 secs
lola: 1310035 markings, 1370457 edges, 19940 markings/sec, 60 secs
lola: 1409354 markings, 1476249 edges, 19864 markings/sec, 65 secs
lola: 1508483 markings, 1581955 edges, 19826 markings/sec, 70 secs
lola: 1607573 markings, 1687418 edges, 19818 markings/sec, 75 secs
lola: 1706485 markings, 1792982 edges, 19782 markings/sec, 80 secs
lola: 1805461 markings, 1898749 edges, 19795 markings/sec, 85 secs
lola: 1904158 markings, 2004710 edges, 19739 markings/sec, 90 secs
lola: 2002714 markings, 2110366 edges, 19711 markings/sec, 95 secs
lola: 2101617 markings, 2216227 edges, 19781 markings/sec, 100 secs
lola: 2200395 markings, 2322340 edges, 19756 markings/sec, 105 secs
lola: 2298712 markings, 2427897 edges, 19663 markings/sec, 110 secs
lola: 2397216 markings, 2533799 edges, 19701 markings/sec, 115 secs
lola: 2495396 markings, 2639875 edges, 19636 markings/sec, 120 secs
lola: 2593551 markings, 2745780 edges, 19631 markings/sec, 125 secs
lola: 2691837 markings, 2852087 edges, 19657 markings/sec, 130 secs
lola: 2789936 markings, 2958477 edges, 19620 markings/sec, 135 secs
lola: 2887939 markings, 3064524 edges, 19601 markings/sec, 140 secs
lola: 2985862 markings, 3170683 edges, 19585 markings/sec, 145 secs
lola: 3083826 markings, 3276692 edges, 19593 markings/sec, 150 secs
lola: 3181927 markings, 3382890 edges, 19620 markings/sec, 155 secs
lola: 3279754 markings, 3489062 edges, 19565 markings/sec, 160 secs
lola: 3377396 markings, 3594647 edges, 19528 markings/sec, 165 secs
lola: 3475258 markings, 3701215 edges, 19572 markings/sec, 170 secs
lola: 3572790 markings, 3807520 edges, 19506 markings/sec, 175 secs
lola: 3670409 markings, 3913899 edges, 19524 markings/sec, 180 secs
lola: 3768300 markings, 4020580 edges, 19578 markings/sec, 185 secs
lola: 3865972 markings, 4126612 edges, 19534 markings/sec, 190 secs
lola: 3963554 markings, 4233166 edges, 19516 markings/sec, 195 secs
lola: 4060694 markings, 4338866 edges, 19428 markings/sec, 200 secs
lola: 4157857 markings, 4445188 edges, 19433 markings/sec, 205 secs
lola: 4255035 markings, 4551711 edges, 19436 markings/sec, 210 secs
lola: 4351910 markings, 4657420 edges, 19375 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(p688)
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: 104691 markings, 108991 edges, 20938 markings/sec, 0 secs
lola: 208004 markings, 217478 edges, 20663 markings/sec, 5 secs
lola: 310928 markings, 325857 edges, 20585 markings/sec, 10 secs
lola: 413257 markings, 434755 edges, 20466 markings/sec, 15 secs
lola: 515296 markings, 543617 edges, 20408 markings/sec, 20 secs
lola: 617003 markings, 652573 edges, 20341 markings/sec, 25 secs
lola: 718444 markings, 761282 edges, 20288 markings/sec, 30 secs
lola: 819445 markings, 870011 edges, 20200 markings/sec, 35 secs
lola: 919860 markings, 978132 edges, 20083 markings/sec, 40 secs
lola: 1019527 markings, 1085863 edges, 19933 markings/sec, 45 secs
lola: 1119589 markings, 1193825 edges, 20012 markings/sec, 50 secs
lola: 1219441 markings, 1301908 edges, 19970 markings/sec, 55 secs
lola: 1319013 markings, 1409096 edges, 19914 markings/sec, 60 secs
lola: 1418437 markings, 1516783 edges, 19885 markings/sec, 65 secs
lola: 1517607 markings, 1624175 edges, 19834 markings/sec, 70 secs
lola: 1616815 markings, 1731722 edges, 19842 markings/sec, 75 secs
lola: 1715905 markings, 1839214 edges, 19818 markings/sec, 80 secs
lola: 1815029 markings, 1947177 edges, 19825 markings/sec, 85 secs
lola: 1913484 markings, 2054268 edges, 19691 markings/sec, 90 secs
lola: 2012237 markings, 2161631 edges, 19751 markings/sec, 95 secs
lola: 2110713 markings, 2269032 edges, 19695 markings/sec, 100 secs
lola: 2209195 markings, 2376446 edges, 19696 markings/sec, 105 secs
lola: 2307638 markings, 2483603 edges, 19689 markings/sec, 110 secs
lola: 2406250 markings, 2591115 edges, 19722 markings/sec, 115 secs
lola: 2504736 markings, 2698663 edges, 19697 markings/sec, 120 secs
lola: 2603489 markings, 2806786 edges, 19751 markings/sec, 125 secs
lola: 2701506 markings, 2914222 edges, 19603 markings/sec, 130 secs
lola: 2799797 markings, 3021822 edges, 19658 markings/sec, 135 secs
lola: 2897502 markings, 3129109 edges, 19541 markings/sec, 140 secs
lola: 2995799 markings, 3237106 edges, 19659 markings/sec, 145 secs
lola: 3093807 markings, 3344323 edges, 19602 markings/sec, 150 secs
lola: 3191323 markings, 3450774 edges, 19503 markings/sec, 155 secs
lola: 3289283 markings, 3557959 edges, 19592 markings/sec, 160 secs
lola: 3386919 markings, 3665161 edges, 19527 markings/sec, 165 secs
lola: 3485149 markings, 3772709 edges, 19646 markings/sec, 170 secs
lola: 3583380 markings, 3880596 edges, 19646 markings/sec, 175 secs
lola: 3681015 markings, 3987563 edges, 19527 markings/sec, 180 secs
lola: 3778911 markings, 4095096 edges, 19579 markings/sec, 185 secs
lola: 3877179 markings, 4203093 edges, 19654 markings/sec, 190 secs
lola: 3974615 markings, 4310146 edges, 19487 markings/sec, 195 secs
lola: 4071071 markings, 4415754 edges, 19291 markings/sec, 200 secs
lola: 4154688 markings, 4507511 edges, 16723 markings/sec, 205 secs
lola: 4241410 markings, 4603107 edges, 17344 markings/sec, 210 secs
lola: 4329540 markings, 4700097 edges, 17626 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(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662)
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: 86039 markings, 90702 edges, 17208 markings/sec, 0 secs
lola: 180187 markings, 190784 edges, 18830 markings/sec, 5 secs
lola: 275071 markings, 292644 edges, 18977 markings/sec, 10 secs
lola: 377091 markings, 402483 edges, 20404 markings/sec, 15 secs
lola: 480927 markings, 514488 edges, 20767 markings/sec, 20 secs
lola: 579666 markings, 621489 edges, 19748 markings/sec, 25 secs
lola: 677060 markings, 725867 edges, 19479 markings/sec, 30 secs
lola: 774482 markings, 831546 edges, 19484 markings/sec, 35 secs
lola: 871702 markings, 936677 edges, 19444 markings/sec, 40 secs
lola: 969113 markings, 1042178 edges, 19482 markings/sec, 45 secs
lola: 1066109 markings, 1147421 edges, 19399 markings/sec, 50 secs
lola: 1162792 markings, 1251913 edges, 19337 markings/sec, 55 secs
lola: 1259455 markings, 1357077 edges, 19333 markings/sec, 60 secs
lola: 1356214 markings, 1462068 edges, 19352 markings/sec, 65 secs
lola: 1452545 markings, 1566695 edges, 19266 markings/sec, 70 secs
lola: 1548846 markings, 1671916 edges, 19260 markings/sec, 75 secs
lola: 1645185 markings, 1776893 edges, 19268 markings/sec, 80 secs
lola: 1741277 markings, 1881637 edges, 19218 markings/sec, 85 secs
lola: 1837530 markings, 1986624 edges, 19251 markings/sec, 90 secs
lola: 1933987 markings, 2091954 edges, 19291 markings/sec, 95 secs
lola: 2030004 markings, 2196856 edges, 19203 markings/sec, 100 secs
lola: 2126021 markings, 2301881 edges, 19203 markings/sec, 105 secs
lola: 2222444 markings, 2407013 edges, 19285 markings/sec, 110 secs
lola: 2318284 markings, 2511425 edges, 19168 markings/sec, 115 secs
lola: 2414181 markings, 2616364 edges, 19179 markings/sec, 120 secs
lola: 2509882 markings, 2720860 edges, 19140 markings/sec, 125 secs
lola: 2605849 markings, 2825946 edges, 19193 markings/sec, 130 secs
lola: 2701408 markings, 2930249 edges, 19112 markings/sec, 135 secs
lola: 2797176 markings, 3035455 edges, 19154 markings/sec, 140 secs
lola: 2893082 markings, 3140285 edges, 19181 markings/sec, 145 secs
lola: 2988648 markings, 3244817 edges, 19113 markings/sec, 150 secs
lola: 3083931 markings, 3348901 edges, 19057 markings/sec, 155 secs
lola: 3179139 markings, 3453273 edges, 19042 markings/sec, 160 secs
lola: 3274297 markings, 3557983 edges, 19032 markings/sec, 165 secs
lola: 3370255 markings, 3662754 edges, 19192 markings/sec, 170 secs
lola: 3465360 markings, 3767408 edges, 19021 markings/sec, 175 secs
lola: 3560512 markings, 3871601 edges, 19030 markings/sec, 180 secs
lola: 3655744 markings, 3975577 edges, 19046 markings/sec, 185 secs
lola: 3751134 markings, 4079721 edges, 19078 markings/sec, 190 secs
lola: 3846527 markings, 4184659 edges, 19079 markings/sec, 195 secs
lola: 3941550 markings, 4289516 edges, 19005 markings/sec, 200 secs
lola: 4036176 markings, 4393692 edges, 18925 markings/sec, 205 secs
lola: 4131141 markings, 4498001 edges, 18993 markings/sec, 210 secs
lola: 4226222 markings, 4602164 edges, 19016 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(p410)
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: 99439 markings, 107675 edges, 19888 markings/sec, 0 secs
lola: 197683 markings, 215460 edges, 19649 markings/sec, 5 secs
lola: 295486 markings, 323142 edges, 19561 markings/sec, 10 secs
lola: 393076 markings, 431969 edges, 19518 markings/sec, 15 secs
lola: 490252 markings, 539932 edges, 19435 markings/sec, 20 secs
lola: 587086 markings, 647748 edges, 19367 markings/sec, 25 secs
lola: 684069 markings, 755810 edges, 19397 markings/sec, 30 secs
lola: 780686 markings, 863629 edges, 19323 markings/sec, 35 secs
lola: 877208 markings, 971666 edges, 19304 markings/sec, 40 secs
lola: 973712 markings, 1079762 edges, 19301 markings/sec, 45 secs
lola: 1069671 markings, 1187105 edges, 19192 markings/sec, 50 secs
lola: 1167373 markings, 1296632 edges, 19540 markings/sec, 55 secs
lola: 1266018 markings, 1407494 edges, 19729 markings/sec, 60 secs
lola: 1364459 markings, 1518071 edges, 19688 markings/sec, 65 secs
lola: 1463097 markings, 1629388 edges, 19728 markings/sec, 70 secs
lola: 1561943 markings, 1739342 edges, 19769 markings/sec, 75 secs
lola: 1660859 markings, 1850942 edges, 19783 markings/sec, 80 secs
lola: 1759769 markings, 1962382 edges, 19782 markings/sec, 85 secs
lola: 1858508 markings, 2073533 edges, 19748 markings/sec, 90 secs
lola: 1956902 markings, 2184001 edges, 19679 markings/sec, 95 secs
lola: 2055530 markings, 2295343 edges, 19726 markings/sec, 100 secs
lola: 2154044 markings, 2405883 edges, 19703 markings/sec, 105 secs
lola: 2252805 markings, 2517719 edges, 19752 markings/sec, 110 secs
lola: 2351417 markings, 2629239 edges, 19722 markings/sec, 115 secs
lola: 2450189 markings, 2741611 edges, 19754 markings/sec, 120 secs
lola: 2548654 markings, 2853079 edges, 19693 markings/sec, 125 secs
lola: 2647111 markings, 2965597 edges, 19691 markings/sec, 130 secs
lola: 2745519 markings, 3076968 edges, 19682 markings/sec, 135 secs
lola: 2843721 markings, 3188531 edges, 19640 markings/sec, 140 secs
lola: 2941962 markings, 3300307 edges, 19648 markings/sec, 145 secs
lola: 3039970 markings, 3411385 edges, 19602 markings/sec, 150 secs
lola: 3137897 markings, 3522542 edges, 19585 markings/sec, 155 secs
lola: 3235937 markings, 3634204 edges, 19608 markings/sec, 160 secs
lola: 3333763 markings, 3745431 edges, 19565 markings/sec, 165 secs
lola: 3431738 markings, 3856573 edges, 19595 markings/sec, 170 secs
lola: 3529703 markings, 3967979 edges, 19593 markings/sec, 175 secs
lola: 3627803 markings, 4080137 edges, 19620 markings/sec, 180 secs
lola: 3725279 markings, 4190698 edges, 19495 markings/sec, 185 secs
lola: 3823024 markings, 4302143 edges, 19549 markings/sec, 190 secs
lola: 3920727 markings, 4413891 edges, 19541 markings/sec, 195 secs
lola: 4018169 markings, 4524985 edges, 19488 markings/sec, 200 secs
lola: 4116159 markings, 4637458 edges, 19598 markings/sec, 205 secs
lola: 4213505 markings, 4748581 edges, 19469 markings/sec, 210 secs
lola: 4310972 markings, 4858786 edges, 19493 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(p99)
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: 102504 markings, 104760 edges, 20501 markings/sec, 0 secs
lola: 203777 markings, 208732 edges, 20255 markings/sec, 5 secs
lola: 304631 markings, 313377 edges, 20171 markings/sec, 10 secs
lola: 405160 markings, 418131 edges, 20106 markings/sec, 15 secs
lola: 505391 markings, 521954 edges, 20046 markings/sec, 20 secs
lola: 605495 markings, 626612 edges, 20021 markings/sec, 25 secs
lola: 705202 markings, 730620 edges, 19941 markings/sec, 30 secs
lola: 804805 markings, 835489 edges, 19921 markings/sec, 35 secs
lola: 904117 markings, 940265 edges, 19862 markings/sec, 40 secs
lola: 1003428 markings, 1045121 edges, 19862 markings/sec, 45 secs
lola: 1102409 markings, 1149778 edges, 19796 markings/sec, 50 secs
lola: 1201217 markings, 1254536 edges, 19762 markings/sec, 55 secs
lola: 1299910 markings, 1359438 edges, 19739 markings/sec, 60 secs
lola: 1398618 markings, 1464191 edges, 19742 markings/sec, 65 secs
lola: 1497196 markings, 1569791 edges, 19716 markings/sec, 70 secs
lola: 1595694 markings, 1674481 edges, 19700 markings/sec, 75 secs
lola: 1694171 markings, 1779230 edges, 19695 markings/sec, 80 secs
lola: 1792339 markings, 1883650 edges, 19634 markings/sec, 85 secs
lola: 1890499 markings, 1988677 edges, 19632 markings/sec, 90 secs
lola: 1988294 markings, 2093299 edges, 19559 markings/sec, 95 secs
lola: 2086147 markings, 2197955 edges, 19571 markings/sec, 100 secs
lola: 2183893 markings, 2302251 edges, 19549 markings/sec, 105 secs
lola: 2281965 markings, 2407469 edges, 19614 markings/sec, 110 secs
lola: 2379635 markings, 2512871 edges, 19534 markings/sec, 115 secs
lola: 2477323 markings, 2617887 edges, 19538 markings/sec, 120 secs
lola: 2574896 markings, 2722735 edges, 19515 markings/sec, 125 secs
lola: 2672251 markings, 2827584 edges, 19471 markings/sec, 130 secs
lola: 2769689 markings, 2932159 edges, 19488 markings/sec, 135 secs
lola: 2867048 markings, 3037002 edges, 19472 markings/sec, 140 secs
lola: 2961979 markings, 3139438 edges, 18986 markings/sec, 145 secs
lola: 3057043 markings, 3242210 edges, 19013 markings/sec, 150 secs
lola: 3149869 markings, 3342738 edges, 18565 markings/sec, 155 secs
lola: 3247248 markings, 3447754 edges, 19476 markings/sec, 160 secs
lola: 3344117 markings, 3552529 edges, 19374 markings/sec, 165 secs
lola: 3440854 markings, 3657132 edges, 19347 markings/sec, 170 secs
lola: 3537778 markings, 3762171 edges, 19385 markings/sec, 175 secs
lola: 3634325 markings, 3866886 edges, 19309 markings/sec, 180 secs
lola: 3730712 markings, 3971587 edges, 19277 markings/sec, 185 secs
lola: 3825151 markings, 4074434 edges, 18888 markings/sec, 190 secs
lola: 3919038 markings, 4176286 edges, 18777 markings/sec, 195 secs
lola: 4014620 markings, 4279961 edges, 19116 markings/sec, 200 secs
lola: 4110467 markings, 4383857 edges, 19169 markings/sec, 205 secs
lola: 4206269 markings, 4488062 edges, 19160 markings/sec, 210 secs
lola: 4301630 markings, 4592267 edges, 19072 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(p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393)
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: 102127 markings, 106488 edges, 20425 markings/sec, 0 secs
lola: 203132 markings, 213444 edges, 20201 markings/sec, 5 secs
lola: 303396 markings, 320873 edges, 20053 markings/sec, 10 secs
lola: 403452 markings, 427819 edges, 20011 markings/sec, 15 secs
lola: 503511 markings, 534382 edges, 20012 markings/sec, 20 secs
lola: 603171 markings, 640582 edges, 19932 markings/sec, 25 secs
lola: 702388 markings, 746395 edges, 19843 markings/sec, 30 secs
lola: 801589 markings, 852902 edges, 19840 markings/sec, 35 secs
lola: 900777 markings, 959847 edges, 19838 markings/sec, 40 secs
lola: 999627 markings, 1066433 edges, 19770 markings/sec, 45 secs
lola: 1098425 markings, 1172710 edges, 19760 markings/sec, 50 secs
lola: 1197302 markings, 1278887 edges, 19775 markings/sec, 55 secs
lola: 1295970 markings, 1384484 edges, 19734 markings/sec, 60 secs
lola: 1394093 markings, 1489946 edges, 19625 markings/sec, 65 secs
lola: 1492363 markings, 1595440 edges, 19654 markings/sec, 70 secs
lola: 1590383 markings, 1700742 edges, 19604 markings/sec, 75 secs
lola: 1688224 markings, 1806206 edges, 19568 markings/sec, 80 secs
lola: 1786126 markings, 1911743 edges, 19580 markings/sec, 85 secs
lola: 1884008 markings, 2016626 edges, 19576 markings/sec, 90 secs
lola: 1981709 markings, 2122052 edges, 19540 markings/sec, 95 secs
lola: 2079982 markings, 2227485 edges, 19655 markings/sec, 100 secs
lola: 2177498 markings, 2332546 edges, 19503 markings/sec, 105 secs
lola: 2275244 markings, 2437542 edges, 19549 markings/sec, 110 secs
lola: 2371691 markings, 2541691 edges, 19289 markings/sec, 115 secs
lola: 2468234 markings, 2645787 edges, 19309 markings/sec, 120 secs
lola: 2563766 markings, 2749057 edges, 19106 markings/sec, 125 secs
lola: 2661114 markings, 2854437 edges, 19470 markings/sec, 130 secs
lola: 2757362 markings, 2958070 edges, 19250 markings/sec, 135 secs
lola: 2854525 markings, 3063206 edges, 19433 markings/sec, 140 secs
lola: 2951917 markings, 3168844 edges, 19478 markings/sec, 145 secs
lola: 3049091 markings, 3274035 edges, 19435 markings/sec, 150 secs
lola: 3146564 markings, 3379336 edges, 19495 markings/sec, 155 secs
lola: 3244078 markings, 3484939 edges, 19503 markings/sec, 160 secs
lola: 3341259 markings, 3589895 edges, 19436 markings/sec, 165 secs
lola: 3438411 markings, 3695030 edges, 19430 markings/sec, 170 secs
lola: 3535450 markings, 3800145 edges, 19408 markings/sec, 175 secs
lola: 3632376 markings, 3904870 edges, 19385 markings/sec, 180 secs
lola: 3729586 markings, 4010302 edges, 19442 markings/sec, 185 secs
lola: 3826863 markings, 4115687 edges, 19455 markings/sec, 190 secs
lola: 3924058 markings, 4220509 edges, 19439 markings/sec, 195 secs
lola: 4020926 markings, 4325107 edges, 19374 markings/sec, 200 secs
lola: 4117860 markings, 4429633 edges, 19387 markings/sec, 205 secs
lola: 4214564 markings, 4534565 edges, 19341 markings/sec, 210 secs
lola: 4311325 markings, 4638923 edges, 19352 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(p354)
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: 87478 markings, 91457 edges, 17496 markings/sec, 0 secs
lola: 180680 markings, 189792 edges, 18640 markings/sec, 5 secs
lola: 272708 markings, 287807 edges, 18406 markings/sec, 10 secs
lola: 364154 markings, 384867 edges, 18289 markings/sec, 15 secs
lola: 455304 markings, 482514 edges, 18230 markings/sec, 20 secs
lola: 546256 markings, 580204 edges, 18190 markings/sec, 25 secs
lola: 637453 markings, 677917 edges, 18239 markings/sec, 30 secs
lola: 728327 markings, 775463 edges, 18175 markings/sec, 35 secs
lola: 818860 markings, 873241 edges, 18107 markings/sec, 40 secs
lola: 909594 markings, 970860 edges, 18147 markings/sec, 45 secs
lola: 999952 markings, 1068723 edges, 18072 markings/sec, 50 secs
lola: 1090626 markings, 1166785 edges, 18135 markings/sec, 55 secs
lola: 1181101 markings, 1264894 edges, 18095 markings/sec, 60 secs
lola: 1271632 markings, 1362687 edges, 18106 markings/sec, 65 secs
lola: 1361607 markings, 1460340 edges, 17995 markings/sec, 70 secs
lola: 1451707 markings, 1558245 edges, 18020 markings/sec, 75 secs
lola: 1542829 markings, 1657111 edges, 18224 markings/sec, 80 secs
lola: 1632965 markings, 1755005 edges, 18027 markings/sec, 85 secs
lola: 1723151 markings, 1852802 edges, 18037 markings/sec, 90 secs
lola: 1813154 markings, 1950733 edges, 18001 markings/sec, 95 secs
lola: 1903785 markings, 2049310 edges, 18126 markings/sec, 100 secs
lola: 1994036 markings, 2147643 edges, 18050 markings/sec, 105 secs
lola: 2084459 markings, 2246656 edges, 18085 markings/sec, 110 secs
lola: 2174291 markings, 2344596 edges, 17966 markings/sec, 115 secs
lola: 2264355 markings, 2443059 edges, 18013 markings/sec, 120 secs
lola: 2354521 markings, 2541387 edges, 18033 markings/sec, 125 secs
lola: 2444571 markings, 2639666 edges, 18010 markings/sec, 130 secs
lola: 2534553 markings, 2738276 edges, 17996 markings/sec, 135 secs
lola: 2624690 markings, 2837037 edges, 18027 markings/sec, 140 secs
lola: 2714872 markings, 2935786 edges, 18036 markings/sec, 145 secs
lola: 2804828 markings, 3034686 edges, 17991 markings/sec, 150 secs
lola: 2895274 markings, 3134201 edges, 18089 markings/sec, 155 secs
lola: 2985448 markings, 3233015 edges, 18035 markings/sec, 160 secs
lola: 3075033 markings, 3331603 edges, 17917 markings/sec, 165 secs
lola: 3164626 markings, 3430103 edges, 17919 markings/sec, 170 secs
lola: 3255090 markings, 3529681 edges, 18093 markings/sec, 175 secs
lola: 3345179 markings, 3629012 edges, 18018 markings/sec, 180 secs
lola: 3435138 markings, 3728137 edges, 17992 markings/sec, 185 secs
lola: 3525119 markings, 3827136 edges, 17996 markings/sec, 190 secs
lola: 3614373 markings, 3925649 edges, 17851 markings/sec, 195 secs
lola: 3703843 markings, 4024525 edges, 17894 markings/sec, 200 secs
lola: 3793864 markings, 4124007 edges, 18004 markings/sec, 205 secs
lola: 3883559 markings, 4223358 edges, 17939 markings/sec, 210 secs
lola: 3973751 markings, 4322768 edges, 18038 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(p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
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: 109223 markings, 115526 edges, 21845 markings/sec, 0 secs
lola: 220300 markings, 234584 edges, 22215 markings/sec, 5 secs
lola: 329051 markings, 351962 edges, 21750 markings/sec, 10 secs
lola: 437456 markings, 468965 edges, 21681 markings/sec, 15 secs
lola: 545518 markings, 585937 edges, 21612 markings/sec, 20 secs
lola: 653497 markings, 702850 edges, 21596 markings/sec, 25 secs
lola: 761723 markings, 820482 edges, 21645 markings/sec, 30 secs
lola: 868783 markings, 936904 edges, 21412 markings/sec, 35 secs
lola: 975545 markings, 1053029 edges, 21352 markings/sec, 40 secs
lola: 1082523 markings, 1169487 edges, 21396 markings/sec, 45 secs
lola: 1189224 markings, 1285728 edges, 21340 markings/sec, 50 secs
lola: 1290667 markings, 1396204 edges, 20289 markings/sec, 55 secs
lola: 1396867 markings, 1511630 edges, 21240 markings/sec, 60 secs
lola: 1503424 markings, 1627680 edges, 21311 markings/sec, 65 secs
lola: 1610141 markings, 1744030 edges, 21343 markings/sec, 70 secs
lola: 1716682 markings, 1859997 edges, 21308 markings/sec, 75 secs
lola: 1823250 markings, 1976263 edges, 21314 markings/sec, 80 secs
lola: 1929754 markings, 2092476 edges, 21301 markings/sec, 85 secs
lola: 2037041 markings, 2209528 edges, 21457 markings/sec, 90 secs
lola: 2144231 markings, 2326180 edges, 21438 markings/sec, 95 secs
lola: 2251155 markings, 2442954 edges, 21385 markings/sec, 100 secs
lola: 2357215 markings, 2558832 edges, 21212 markings/sec, 105 secs
lola: 2463640 markings, 2674955 edges, 21285 markings/sec, 110 secs
lola: 2569695 markings, 2790844 edges, 21211 markings/sec, 115 secs
lola: 2675262 markings, 2906329 edges, 21113 markings/sec, 120 secs
lola: 2781105 markings, 3022103 edges, 21169 markings/sec, 125 secs
lola: 2886401 markings, 3137095 edges, 21059 markings/sec, 130 secs
lola: 2991980 markings, 3252678 edges, 21116 markings/sec, 135 secs
lola: 3097479 markings, 3368284 edges, 21100 markings/sec, 140 secs
lola: 3203560 markings, 3484246 edges, 21216 markings/sec, 145 secs
lola: 3309146 markings, 3599901 edges, 21117 markings/sec, 150 secs
lola: 3414903 markings, 3715695 edges, 21151 markings/sec, 155 secs
lola: 3520479 markings, 3831106 edges, 21115 markings/sec, 160 secs
lola: 3625509 markings, 3945958 edges, 21006 markings/sec, 165 secs
lola: 3730832 markings, 4061041 edges, 21065 markings/sec, 170 secs
lola: 3835952 markings, 4176134 edges, 21024 markings/sec, 175 secs
lola: 3941036 markings, 4291153 edges, 21017 markings/sec, 180 secs
lola: 4046510 markings, 4406704 edges, 21095 markings/sec, 185 secs
lola: 4151114 markings, 4521421 edges, 20921 markings/sec, 190 secs
lola: 4256445 markings, 4636735 edges, 21066 markings/sec, 195 secs
lola: 4361583 markings, 4752169 edges, 21028 markings/sec, 200 secs
lola: 4466381 markings, 4866933 edges, 20960 markings/sec, 205 secs
lola: 4571215 markings, 4981990 edges, 20967 markings/sec, 210 secs
lola: 4676251 markings, 5097200 edges, 21007 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(p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290)
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: 104814 markings, 108929 edges, 20963 markings/sec, 0 secs
lola: 207847 markings, 216588 edges, 20607 markings/sec, 5 secs
lola: 310763 markings, 325266 edges, 20583 markings/sec, 10 secs
lola: 413106 markings, 435083 edges, 20469 markings/sec, 15 secs
lola: 514945 markings, 543173 edges, 20368 markings/sec, 20 secs
lola: 616639 markings, 652636 edges, 20339 markings/sec, 25 secs
lola: 718083 markings, 761953 edges, 20289 markings/sec, 30 secs
lola: 819345 markings, 871591 edges, 20252 markings/sec, 35 secs
lola: 920488 markings, 981345 edges, 20229 markings/sec, 40 secs
lola: 1020916 markings, 1090460 edges, 20086 markings/sec, 45 secs
lola: 1121514 markings, 1199550 edges, 20120 markings/sec, 50 secs
lola: 1221907 markings, 1308029 edges, 20079 markings/sec, 55 secs
lola: 1322096 markings, 1417120 edges, 20038 markings/sec, 60 secs
lola: 1422127 markings, 1525490 edges, 20006 markings/sec, 65 secs
lola: 1522229 markings, 1634182 edges, 20020 markings/sec, 70 secs
lola: 1622290 markings, 1742368 edges, 20012 markings/sec, 75 secs
lola: 1722066 markings, 1850661 edges, 19955 markings/sec, 80 secs
lola: 1822057 markings, 1959198 edges, 19998 markings/sec, 85 secs
lola: 1921908 markings, 2067434 edges, 19970 markings/sec, 90 secs
lola: 2021744 markings, 2175654 edges, 19967 markings/sec, 95 secs
lola: 2121427 markings, 2284011 edges, 19937 markings/sec, 100 secs
lola: 2220950 markings, 2391645 edges, 19905 markings/sec, 105 secs
lola: 2314621 markings, 2493537 edges, 18734 markings/sec, 110 secs
lola: 2410668 markings, 2597678 edges, 19209 markings/sec, 115 secs
lola: 2511669 markings, 2707588 edges, 20200 markings/sec, 120 secs
lola: 2611725 markings, 2816509 edges, 20011 markings/sec, 125 secs
lola: 2711646 markings, 2925129 edges, 19984 markings/sec, 130 secs
lola: 2811996 markings, 3034621 edges, 20070 markings/sec, 135 secs
lola: 2912159 markings, 3143946 edges, 20033 markings/sec, 140 secs
lola: 3010394 markings, 3250823 edges, 19647 markings/sec, 145 secs
lola: 3095992 markings, 3343980 edges, 17120 markings/sec, 150 secs
lola: 3192179 markings, 3448870 edges, 19237 markings/sec, 155 secs
lola: 3292411 markings, 3558314 edges, 20046 markings/sec, 160 secs
lola: 3390916 markings, 3665417 edges, 19701 markings/sec, 165 secs
lola: 3491606 markings, 3775552 edges, 20138 markings/sec, 170 secs
lola: 3593344 markings, 3886419 edges, 20348 markings/sec, 175 secs
lola: 3694055 markings, 3995972 edges, 20142 markings/sec, 180 secs
lola: 3794710 markings, 4105367 edges, 20131 markings/sec, 185 secs
lola: 3895178 markings, 4214621 edges, 20094 markings/sec, 190 secs
lola: 3995663 markings, 4324006 edges, 20097 markings/sec, 195 secs
lola: 4096206 markings, 4433257 edges, 20109 markings/sec, 200 secs
lola: 4196840 markings, 4542765 edges, 20127 markings/sec, 205 secs
lola: 4297180 markings, 4652219 edges, 20068 markings/sec, 210 secs
lola: 4398058 markings, 4761968 edges, 20176 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(p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671)
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: 105602 markings, 111319 edges, 21120 markings/sec, 0 secs
lola: 211220 markings, 224555 edges, 21124 markings/sec, 5 secs
lola: 316058 markings, 337267 edges, 20968 markings/sec, 10 secs
lola: 420051 markings, 449021 edges, 20799 markings/sec, 15 secs
lola: 523588 markings, 560372 edges, 20707 markings/sec, 20 secs
lola: 627154 markings, 672738 edges, 20713 markings/sec, 25 secs
lola: 730337 markings, 784814 edges, 20637 markings/sec, 30 secs
lola: 833569 markings, 897346 edges, 20646 markings/sec, 35 secs
lola: 936273 markings, 1009434 edges, 20541 markings/sec, 40 secs
lola: 1039144 markings, 1121759 edges, 20574 markings/sec, 45 secs
lola: 1142085 markings, 1234269 edges, 20588 markings/sec, 50 secs
lola: 1244699 markings, 1346482 edges, 20523 markings/sec, 55 secs
lola: 1345492 markings, 1456539 edges, 20159 markings/sec, 60 secs
lola: 1447309 markings, 1567544 edges, 20363 markings/sec, 65 secs
lola: 1549687 markings, 1679014 edges, 20476 markings/sec, 70 secs
lola: 1651640 markings, 1790204 edges, 20391 markings/sec, 75 secs
lola: 1752163 markings, 1899722 edges, 20105 markings/sec, 80 secs
lola: 1854382 markings, 2011276 edges, 20444 markings/sec, 85 secs
lola: 1954542 markings, 2120671 edges, 20032 markings/sec, 90 secs
lola: 2055031 markings, 2230601 edges, 20098 markings/sec, 95 secs
lola: 2155153 markings, 2339755 edges, 20024 markings/sec, 100 secs
lola: 2257286 markings, 2451213 edges, 20427 markings/sec, 105 secs
lola: 2359156 markings, 2562982 edges, 20374 markings/sec, 110 secs
lola: 2459188 markings, 2672362 edges, 20006 markings/sec, 115 secs
lola: 2559097 markings, 2781391 edges, 19982 markings/sec, 120 secs
lola: 2660254 markings, 2891423 edges, 20231 markings/sec, 125 secs
lola: 2759566 markings, 2999818 edges, 19862 markings/sec, 130 secs
lola: 2860225 markings, 3109923 edges, 20132 markings/sec, 135 secs
lola: 2957041 markings, 3216197 edges, 19363 markings/sec, 140 secs
lola: 3058340 markings, 3326903 edges, 20260 markings/sec, 145 secs
lola: 3158972 markings, 3437135 edges, 20126 markings/sec, 150 secs
lola: 3259285 markings, 3547416 edges, 20063 markings/sec, 155 secs
lola: 3360340 markings, 3657789 edges, 20211 markings/sec, 160 secs
lola: 3460712 markings, 3767655 edges, 20074 markings/sec, 165 secs
lola: 3560607 markings, 3876946 edges, 19979 markings/sec, 170 secs
lola: 3659576 markings, 3985481 edges, 19794 markings/sec, 175 secs
lola: 3733619 markings, 4066473 edges, 14809 markings/sec, 180 secs
lola: 3793372 markings, 4131991 edges, 11951 markings/sec, 185 secs
lola: 3852926 markings, 4196945 edges, 11911 markings/sec, 190 secs
lola: 3912601 markings, 4262594 edges, 11935 markings/sec, 195 secs
lola: 3971867 markings, 4327848 edges, 11853 markings/sec, 200 secs
lola: 4031351 markings, 4392864 edges, 11897 markings/sec, 205 secs
lola: 4090521 markings, 4457816 edges, 11834 markings/sec, 210 secs
lola: 4149931 markings, 4522817 edges, 11882 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(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662)
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: 100566 markings, 106328 edges, 20113 markings/sec, 0 secs
lola: 199116 markings, 211044 edges, 19710 markings/sec, 5 secs
lola: 297454 markings, 316674 edges, 19668 markings/sec, 10 secs
lola: 395465 markings, 422335 edges, 19602 markings/sec, 15 secs
lola: 493260 markings, 527753 edges, 19559 markings/sec, 20 secs
lola: 593185 markings, 635766 edges, 19985 markings/sec, 25 secs
lola: 695221 markings, 745606 edges, 20407 markings/sec, 30 secs
lola: 797040 markings, 855777 edges, 20364 markings/sec, 35 secs
lola: 899019 markings, 966192 edges, 20396 markings/sec, 40 secs
lola: 1000715 markings, 1076875 edges, 20339 markings/sec, 45 secs
lola: 1102047 markings, 1186204 edges, 20266 markings/sec, 50 secs
lola: 1203227 markings, 1296059 edges, 20236 markings/sec, 55 secs
lola: 1304505 markings, 1405850 edges, 20256 markings/sec, 60 secs
lola: 1405345 markings, 1515287 edges, 20168 markings/sec, 65 secs
lola: 1505843 markings, 1624903 edges, 20100 markings/sec, 70 secs
lola: 1597668 markings, 1725212 edges, 18365 markings/sec, 75 secs
lola: 1694859 markings, 1830738 edges, 19438 markings/sec, 80 secs
lola: 1794877 markings, 1940085 edges, 20004 markings/sec, 85 secs
lola: 1896576 markings, 2050974 edges, 20340 markings/sec, 90 secs
lola: 1997828 markings, 2161589 edges, 20250 markings/sec, 95 secs
lola: 2098188 markings, 2271453 edges, 20072 markings/sec, 100 secs
lola: 2198561 markings, 2380948 edges, 20075 markings/sec, 105 secs
lola: 2299323 markings, 2490748 edges, 20152 markings/sec, 110 secs
lola: 2395550 markings, 2595953 edges, 19245 markings/sec, 115 secs
lola: 2491512 markings, 2700778 edges, 19192 markings/sec, 120 secs
lola: 2587696 markings, 2806100 edges, 19237 markings/sec, 125 secs
lola: 2683516 markings, 2910707 edges, 19164 markings/sec, 130 secs
lola: 2779351 markings, 3015640 edges, 19167 markings/sec, 135 secs
lola: 2875545 markings, 3121147 edges, 19239 markings/sec, 140 secs
lola: 2971608 markings, 3226238 edges, 19213 markings/sec, 145 secs
lola: 3067389 markings, 3330859 edges, 19156 markings/sec, 150 secs
lola: 3163083 markings, 3435830 edges, 19139 markings/sec, 155 secs
lola: 3258834 markings, 3541107 edges, 19150 markings/sec, 160 secs
lola: 3354875 markings, 3645963 edges, 19208 markings/sec, 165 secs
lola: 3450687 markings, 3751266 edges, 19162 markings/sec, 170 secs
lola: 3546154 markings, 3855899 edges, 19093 markings/sec, 175 secs
lola: 3641785 markings, 3960228 edges, 19126 markings/sec, 180 secs
lola: 3737700 markings, 4064986 edges, 19183 markings/sec, 185 secs
lola: 3833538 markings, 4170307 edges, 19168 markings/sec, 190 secs
lola: 3929106 markings, 4275816 edges, 19114 markings/sec, 195 secs
lola: 4024322 markings, 4380765 edges, 19043 markings/sec, 200 secs
lola: 4119697 markings, 4485503 edges, 19075 markings/sec, 205 secs
lola: 4215126 markings, 4590010 edges, 19086 markings/sec, 210 secs
lola: 4310614 markings, 4695067 edges, 19098 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(p47)
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: 60811 markings, 63266 edges, 12162 markings/sec, 0 secs
lola: 120628 markings, 125662 edges, 11963 markings/sec, 5 secs
lola: 180553 markings, 188573 edges, 11985 markings/sec, 10 secs
lola: 275781 markings, 288894 edges, 19046 markings/sec, 15 secs
lola: 374175 markings, 393181 edges, 19679 markings/sec, 20 secs
lola: 472208 markings, 497826 edges, 19607 markings/sec, 25 secs
lola: 565397 markings, 597237 edges, 18638 markings/sec, 30 secs
lola: 663052 markings, 701934 edges, 19531 markings/sec, 35 secs
lola: 760060 markings, 806118 edges, 19402 markings/sec, 40 secs
lola: 853939 markings, 907204 edges, 18776 markings/sec, 45 secs
lola: 948631 markings, 1009136 edges, 18938 markings/sec, 50 secs
lola: 1044402 markings, 1112699 edges, 19154 markings/sec, 55 secs
lola: 1140296 markings, 1216247 edges, 19179 markings/sec, 60 secs
lola: 1235664 markings, 1319386 edges, 19074 markings/sec, 65 secs
lola: 1330988 markings, 1422037 edges, 19065 markings/sec, 70 secs
lola: 1426085 markings, 1525002 edges, 19019 markings/sec, 75 secs
lola: 1520828 markings, 1627663 edges, 18949 markings/sec, 80 secs
lola: 1615651 markings, 1730466 edges, 18965 markings/sec, 85 secs
lola: 1710279 markings, 1833247 edges, 18926 markings/sec, 90 secs
lola: 1805037 markings, 1936314 edges, 18952 markings/sec, 95 secs
lola: 1899328 markings, 2038842 edges, 18858 markings/sec, 100 secs
lola: 1993547 markings, 2141465 edges, 18844 markings/sec, 105 secs
lola: 2087732 markings, 2243988 edges, 18837 markings/sec, 110 secs
lola: 2181796 markings, 2346477 edges, 18813 markings/sec, 115 secs
lola: 2276023 markings, 2449293 edges, 18845 markings/sec, 120 secs
lola: 2370280 markings, 2551940 edges, 18851 markings/sec, 125 secs
lola: 2464473 markings, 2654565 edges, 18839 markings/sec, 130 secs
lola: 2558494 markings, 2757522 edges, 18804 markings/sec, 135 secs
lola: 2652620 markings, 2860309 edges, 18825 markings/sec, 140 secs
lola: 2746445 markings, 2963395 edges, 18765 markings/sec, 145 secs
lola: 2840222 markings, 3066019 edges, 18755 markings/sec, 150 secs
lola: 2933837 markings, 3169116 edges, 18723 markings/sec, 155 secs
lola: 3027677 markings, 3272014 edges, 18768 markings/sec, 160 secs
lola: 3115379 markings, 3367883 edges, 17540 markings/sec, 165 secs
lola: 3209110 markings, 3470235 edges, 18746 markings/sec, 170 secs
lola: 3306101 markings, 3576408 edges, 19398 markings/sec, 175 secs
lola: 3403282 markings, 3683119 edges, 19436 markings/sec, 180 secs
lola: 3500510 markings, 3789417 edges, 19446 markings/sec, 185 secs
lola: 3597891 markings, 3896616 edges, 19476 markings/sec, 190 secs
lola: 3694790 markings, 4002647 edges, 19380 markings/sec, 195 secs
lola: 3791824 markings, 4109190 edges, 19407 markings/sec, 200 secs
lola: 3889064 markings, 4216085 edges, 19448 markings/sec, 205 secs
lola: 3985857 markings, 4322430 edges, 19359 markings/sec, 210 secs
lola: 4083019 markings, 4428923 edges, 19432 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(p476 + p477 + p478 + p479 + p480 + p481 + p475 + p474)
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: 97824 markings, 99663 edges, 19565 markings/sec, 0 secs
lola: 194450 markings, 199030 edges, 19325 markings/sec, 5 secs
lola: 290930 markings, 298657 edges, 19296 markings/sec, 10 secs
lola: 386996 markings, 398575 edges, 19213 markings/sec, 15 secs
lola: 482673 markings, 498556 edges, 19135 markings/sec, 20 secs
lola: 578207 markings, 597961 edges, 19107 markings/sec, 25 secs
lola: 673630 markings, 697914 edges, 19085 markings/sec, 30 secs
lola: 768759 markings, 797904 edges, 19026 markings/sec, 35 secs
lola: 863724 markings, 897988 edges, 18993 markings/sec, 40 secs
lola: 958444 markings, 997770 edges, 18944 markings/sec, 45 secs
lola: 1053061 markings, 1098287 edges, 18923 markings/sec, 50 secs
lola: 1147477 markings, 1198597 edges, 18883 markings/sec, 55 secs
lola: 1241788 markings, 1298335 edges, 18862 markings/sec, 60 secs
lola: 1336063 markings, 1398120 edges, 18855 markings/sec, 65 secs
lola: 1431988 markings, 1500425 edges, 19185 markings/sec, 70 secs
lola: 1531347 markings, 1606218 edges, 19872 markings/sec, 75 secs
lola: 1629968 markings, 1711435 edges, 19724 markings/sec, 80 secs
lola: 1728607 markings, 1816770 edges, 19728 markings/sec, 85 secs
lola: 1827265 markings, 1922243 edges, 19732 markings/sec, 90 secs
lola: 1925592 markings, 2027590 edges, 19665 markings/sec, 95 secs
lola: 2024063 markings, 2133142 edges, 19694 markings/sec, 100 secs
lola: 2122609 markings, 2238734 edges, 19709 markings/sec, 105 secs
lola: 2218692 markings, 2341898 edges, 19217 markings/sec, 110 secs
lola: 2312565 markings, 2442721 edges, 18775 markings/sec, 115 secs
lola: 2408517 markings, 2545989 edges, 19190 markings/sec, 120 secs
lola: 2505268 markings, 2650582 edges, 19350 markings/sec, 125 secs
lola: 2598852 markings, 2751473 edges, 18717 markings/sec, 130 secs
lola: 2692327 markings, 2852613 edges, 18695 markings/sec, 135 secs
lola: 2785655 markings, 2953807 edges, 18666 markings/sec, 140 secs
lola: 2878875 markings, 3054623 edges, 18644 markings/sec, 145 secs
lola: 2971998 markings, 3155598 edges, 18625 markings/sec, 150 secs
lola: 3065299 markings, 3256582 edges, 18660 markings/sec, 155 secs
lola: 3158429 markings, 3357624 edges, 18626 markings/sec, 160 secs
lola: 3251589 markings, 3458491 edges, 18632 markings/sec, 165 secs
lola: 3344706 markings, 3559382 edges, 18623 markings/sec, 170 secs
lola: 3437756 markings, 3660570 edges, 18610 markings/sec, 175 secs
lola: 3530613 markings, 3761678 edges, 18571 markings/sec, 180 secs
lola: 3623301 markings, 3862751 edges, 18538 markings/sec, 185 secs
lola: 3716409 markings, 3963726 edges, 18622 markings/sec, 190 secs
lola: 3809934 markings, 4065987 edges, 18705 markings/sec, 195 secs
lola: 3903991 markings, 4168307 edges, 18811 markings/sec, 200 secs
lola: 3997472 markings, 4269912 edges, 18696 markings/sec, 205 secs
lola: 4090732 markings, 4371600 edges, 18652 markings/sec, 210 secs
lola: 4184303 markings, 4474055 edges, 18714 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(p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38)
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: 66409 markings, 68716 edges, 13282 markings/sec, 0 secs
lola: 132113 markings, 137529 edges, 13141 markings/sec, 5 secs
lola: 197715 markings, 206539 edges, 13120 markings/sec, 10 secs
lola: 262858 markings, 275649 edges, 13029 markings/sec, 15 secs
lola: 327866 markings, 344454 edges, 13002 markings/sec, 20 secs
lola: 392675 markings, 412990 edges, 12962 markings/sec, 25 secs
lola: 457355 markings, 481498 edges, 12936 markings/sec, 30 secs
lola: 522024 markings, 550567 edges, 12934 markings/sec, 35 secs
lola: 600876 markings, 634811 edges, 15770 markings/sec, 40 secs
lola: 702154 markings, 742618 edges, 20256 markings/sec, 45 secs
lola: 803384 markings, 850500 edges, 20246 markings/sec, 50 secs
lola: 904528 markings, 958208 edges, 20229 markings/sec, 55 secs
lola: 1005416 markings, 1065392 edges, 20178 markings/sec, 60 secs
lola: 1106064 markings, 1172505 edges, 20130 markings/sec, 65 secs
lola: 1207176 markings, 1279725 edges, 20222 markings/sec, 70 secs
lola: 1307670 markings, 1386682 edges, 20099 markings/sec, 75 secs
lola: 1408132 markings, 1493869 edges, 20092 markings/sec, 80 secs
lola: 1508622 markings, 1600399 edges, 20098 markings/sec, 85 secs
lola: 1608783 markings, 1707428 edges, 20032 markings/sec, 90 secs
lola: 1709031 markings, 1814274 edges, 20050 markings/sec, 95 secs
lola: 1809328 markings, 1921432 edges, 20059 markings/sec, 100 secs
lola: 1909283 markings, 2028185 edges, 19991 markings/sec, 105 secs
lola: 2008995 markings, 2134979 edges, 19942 markings/sec, 110 secs
lola: 2109150 markings, 2241973 edges, 20031 markings/sec, 115 secs
lola: 2209003 markings, 2348998 edges, 19971 markings/sec, 120 secs
lola: 2308690 markings, 2455821 edges, 19937 markings/sec, 125 secs
lola: 2408601 markings, 2562822 edges, 19982 markings/sec, 130 secs
lola: 2507851 markings, 2669755 edges, 19850 markings/sec, 135 secs
lola: 2607440 markings, 2776452 edges, 19918 markings/sec, 140 secs
lola: 2706554 markings, 2882727 edges, 19823 markings/sec, 145 secs
lola: 2805682 markings, 2988983 edges, 19826 markings/sec, 150 secs
lola: 2905146 markings, 3095462 edges, 19893 markings/sec, 155 secs
lola: 3004237 markings, 3202256 edges, 19818 markings/sec, 160 secs
lola: 3103350 markings, 3308872 edges, 19823 markings/sec, 165 secs
lola: 3202951 markings, 3415242 edges, 19920 markings/sec, 170 secs
lola: 3302241 markings, 3521797 edges, 19858 markings/sec, 175 secs
lola: 3401176 markings, 3628132 edges, 19787 markings/sec, 180 secs
lola: 3500179 markings, 3734605 edges, 19801 markings/sec, 185 secs
lola: 3599307 markings, 3840661 edges, 19826 markings/sec, 190 secs
lola: 3697896 markings, 3946784 edges, 19718 markings/sec, 195 secs
lola: 3795735 markings, 4052134 edges, 19568 markings/sec, 200 secs
lola: 3894196 markings, 4158040 edges, 19692 markings/sec, 205 secs
lola: 3992497 markings, 4264030 edges, 19660 markings/sec, 210 secs
lola: 4090396 markings, 4369562 edges, 19580 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(p490 + p491 + p492 + p493 + p494 + p495 + p496)
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: 114109 markings, 118537 edges, 22822 markings/sec, 0 secs
lola: 226177 markings, 236253 edges, 22414 markings/sec, 5 secs
lola: 337626 markings, 354106 edges, 22290 markings/sec, 10 secs
lola: 448399 markings, 472244 edges, 22155 markings/sec, 15 secs
lola: 559153 markings, 591700 edges, 22151 markings/sec, 20 secs
lola: 668793 markings, 709337 edges, 21928 markings/sec, 25 secs
lola: 778561 markings, 827878 edges, 21954 markings/sec, 30 secs
lola: 888363 markings, 945997 edges, 21960 markings/sec, 35 secs
lola: 997772 markings, 1064029 edges, 21882 markings/sec, 40 secs
lola: 1107176 markings, 1182807 edges, 21881 markings/sec, 45 secs
lola: 1216258 markings, 1301427 edges, 21816 markings/sec, 50 secs
lola: 1325739 markings, 1419642 edges, 21896 markings/sec, 55 secs
lola: 1434753 markings, 1537359 edges, 21803 markings/sec, 60 secs
lola: 1543599 markings, 1655378 edges, 21769 markings/sec, 65 secs
lola: 1652510 markings, 1774106 edges, 21782 markings/sec, 70 secs
lola: 1761169 markings, 1892088 edges, 21732 markings/sec, 75 secs
lola: 1869574 markings, 2009407 edges, 21681 markings/sec, 80 secs
lola: 1977962 markings, 2127013 edges, 21678 markings/sec, 85 secs
lola: 2086575 markings, 2244620 edges, 21723 markings/sec, 90 secs
lola: 2194418 markings, 2361690 edges, 21569 markings/sec, 95 secs
lola: 2302790 markings, 2479514 edges, 21674 markings/sec, 100 secs
lola: 2411187 markings, 2597648 edges, 21679 markings/sec, 105 secs
lola: 2519543 markings, 2715358 edges, 21671 markings/sec, 110 secs
lola: 2627847 markings, 2833186 edges, 21661 markings/sec, 115 secs
lola: 2735901 markings, 2950959 edges, 21611 markings/sec, 120 secs
lola: 2843716 markings, 3068259 edges, 21563 markings/sec, 125 secs
lola: 2951683 markings, 3185865 edges, 21593 markings/sec, 130 secs
lola: 3059606 markings, 3303539 edges, 21585 markings/sec, 135 secs
lola: 3167792 markings, 3420899 edges, 21637 markings/sec, 140 secs
lola: 3272938 markings, 3535327 edges, 21029 markings/sec, 145 secs
lola: 3376102 markings, 3647623 edges, 20633 markings/sec, 150 secs
lola: 3479144 markings, 3760552 edges, 20608 markings/sec, 155 secs
lola: 3582109 markings, 3872512 edges, 20593 markings/sec, 160 secs
lola: 3684813 markings, 3984046 edges, 20541 markings/sec, 165 secs
lola: 3787638 markings, 4096051 edges, 20565 markings/sec, 170 secs
lola: 3890110 markings, 4207660 edges, 20494 markings/sec, 175 secs
lola: 3992627 markings, 4319158 edges, 20503 markings/sec, 180 secs
lola: 4095294 markings, 4430781 edges, 20533 markings/sec, 185 secs
lola: 4197723 markings, 4541930 edges, 20486 markings/sec, 190 secs
lola: 4300385 markings, 4653401 edges, 20532 markings/sec, 195 secs
lola: 4402361 markings, 4764108 edges, 20395 markings/sec, 200 secs
lola: 4504482 markings, 4875283 edges, 20424 markings/sec, 205 secs
lola: 4606840 markings, 4986290 edges, 20472 markings/sec, 210 secs
lola: 4708507 markings, 5097129 edges, 20333 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 1494618076484

--------------------
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="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/PolyORBLF-COL-S02J06T08.tgz
mv 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 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 r048-smll-149440869800299"
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 ;