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 Echo-PT-d03r05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100281
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494689579413


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d03r05 @ 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: 2635/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1445 places, 1190 transitions, 720 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2374 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d03r05-UpperBounds.task
lola: MAX(p668) : MAX(p873) : MAX(p673) : MAX(p6) : MAX(p401) : MAX(p287) : MAX(p638) : MAX(p562) : MAX(p355) : MAX(p858) : MAX(p1208) : MAX(p1430) : MAX(p279) : MAX(p486) : MAX(p434) : MAX(p167)
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(p668)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1501128 markings, 1511842 edges, 300226 markings/sec, 0 secs
lola: 3064002 markings, 3087040 edges, 312575 markings/sec, 5 secs
lola: 4632310 markings, 4657332 edges, 313662 markings/sec, 10 secs
lola: 6220455 markings, 6247497 edges, 317629 markings/sec, 15 secs
lola: 7824612 markings, 7853937 edges, 320831 markings/sec, 20 secs
lola: 9422258 markings, 9455213 edges, 319529 markings/sec, 25 secs
lola: 11011476 markings, 11048782 edges, 317844 markings/sec, 30 secs
lola: 12600461 markings, 12639261 edges, 317797 markings/sec, 35 secs
lola: 14194882 markings, 14235185 edges, 318884 markings/sec, 40 secs
lola: 15782988 markings, 15824821 edges, 317621 markings/sec, 45 secs
lola: 17363729 markings, 17407087 edges, 316148 markings/sec, 50 secs
lola: 18965260 markings, 19010142 edges, 320306 markings/sec, 55 secs
lola: 20482528 markings, 20528862 edges, 303454 markings/sec, 60 secs
lola: 21939264 markings, 21987146 edges, 291347 markings/sec, 65 secs
lola: 23428498 markings, 23478011 edges, 297847 markings/sec, 70 secs
lola: 24919334 markings, 24970288 edges, 298167 markings/sec, 75 secs
lola: 26456703 markings, 26509115 edges, 307474 markings/sec, 80 secs
lola: 27976479 markings, 28030348 edges, 303955 markings/sec, 85 secs
lola: 29461859 markings, 29517162 edges, 297076 markings/sec, 90 secs
lola: 30954561 markings, 31011302 edges, 298540 markings/sec, 95 secs
lola: 32457715 markings, 32516247 edges, 300631 markings/sec, 100 secs
lola: 34024473 markings, 34084492 edges, 313352 markings/sec, 105 secs
lola: 35592227 markings, 35653748 edges, 313551 markings/sec, 110 secs
lola: 37131798 markings, 37194804 edges, 307914 markings/sec, 115 secs
lola: 38672824 markings, 38737318 edges, 308205 markings/sec, 120 secs
lola: 40207490 markings, 40273436 edges, 306933 markings/sec, 125 secs
lola: 41753037 markings, 41820718 edges, 309109 markings/sec, 130 secs
lola: 43299642 markings, 43369015 edges, 309321 markings/sec, 135 secs
lola: 44851453 markings, 44922437 edges, 310362 markings/sec, 140 secs
lola: 46398506 markings, 46471618 edges, 309411 markings/sec, 145 secs
lola: 47943597 markings, 48018364 edges, 309018 markings/sec, 150 secs
lola: 49484689 markings, 49561050 edges, 308218 markings/sec, 155 secs
lola: 50990137 markings, 51068584 edges, 301090 markings/sec, 160 secs
lola: 52496756 markings, 52576821 edges, 301324 markings/sec, 165 secs
lola: 54030304 markings, 54111955 edges, 306710 markings/sec, 170 secs
lola: 55556853 markings, 55640611 edges, 305310 markings/sec, 175 secs
lola: 57057193 markings, 57142558 edges, 300068 markings/sec, 180 secs
lola: 58573174 markings, 58660110 edges, 303196 markings/sec, 185 secs
lola: 60084539 markings, 60173562 edges, 302273 markings/sec, 190 secs
lola: 61609887 markings, 61701135 edges, 305070 markings/sec, 195 secs
lola: 63207075 markings, 63300127 edges, 319438 markings/sec, 200 secs
lola: 64809751 markings, 64904322 edges, 320535 markings/sec, 205 secs
lola: 66385343 markings, 66481409 edges, 315118 markings/sec, 210 secs
lola: 67962656 markings, 68060216 edges, 315463 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(p873)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2131630 markings, 2131630 edges, 426326 markings/sec, 0 secs
lola: 4168453 markings, 4168453 edges, 407365 markings/sec, 5 secs
lola: 6174986 markings, 6174986 edges, 401307 markings/sec, 10 secs
lola: 8146888 markings, 8146888 edges, 394380 markings/sec, 15 secs
lola: 10098425 markings, 10098424 edges, 390307 markings/sec, 20 secs
lola: 12070907 markings, 12070907 edges, 394496 markings/sec, 25 secs
lola: 14019013 markings, 14019013 edges, 389621 markings/sec, 30 secs
lola: 15955138 markings, 15955138 edges, 387225 markings/sec, 35 secs
lola: 17552874 markings, 17552873 edges, 319547 markings/sec, 40 secs
lola: 19498662 markings, 19498662 edges, 389158 markings/sec, 45 secs
lola: 21461354 markings, 21461354 edges, 392538 markings/sec, 50 secs
lola: 23382367 markings, 23382367 edges, 384203 markings/sec, 55 secs
lola: 25297948 markings, 25297948 edges, 383116 markings/sec, 60 secs
lola: 27230180 markings, 27230180 edges, 386446 markings/sec, 65 secs
lola: 29162680 markings, 29162680 edges, 386500 markings/sec, 70 secs
lola: 31062253 markings, 31062253 edges, 379915 markings/sec, 75 secs
lola: 32610159 markings, 32610158 edges, 309581 markings/sec, 80 secs
lola: 34476400 markings, 34476400 edges, 373248 markings/sec, 85 secs
lola: 36368424 markings, 36368423 edges, 378405 markings/sec, 90 secs
lola: 38281119 markings, 38281118 edges, 382539 markings/sec, 95 secs
lola: 39879343 markings, 39879343 edges, 319645 markings/sec, 100 secs
lola: 41803284 markings, 41803284 edges, 384788 markings/sec, 105 secs
lola: 43748156 markings, 43748156 edges, 388974 markings/sec, 110 secs
lola: 45659530 markings, 45659530 edges, 382275 markings/sec, 115 secs
lola: 47246946 markings, 47246946 edges, 317483 markings/sec, 120 secs
lola: 49143163 markings, 49143162 edges, 379243 markings/sec, 125 secs
lola: 51054660 markings, 51054660 edges, 382299 markings/sec, 130 secs
lola: 52974914 markings, 52974914 edges, 384051 markings/sec, 135 secs
lola: 54565437 markings, 54565437 edges, 318105 markings/sec, 140 secs
lola: 56460416 markings, 56460416 edges, 378996 markings/sec, 145 secs
lola: 58353127 markings, 58353127 edges, 378542 markings/sec, 150 secs
lola: 60242358 markings, 60242358 edges, 377846 markings/sec, 155 secs
lola: 61812110 markings, 61812110 edges, 313950 markings/sec, 160 secs
lola: 63708668 markings, 63708668 edges, 379312 markings/sec, 165 secs
lola: 65598303 markings, 65598303 edges, 377927 markings/sec, 170 secs
lola: 67498386 markings, 67498386 edges, 380017 markings/sec, 175 secs
lola: 69082130 markings, 69082129 edges, 316749 markings/sec, 180 secs
lola: 70952250 markings, 70952250 edges, 374024 markings/sec, 185 secs
lola: 72839327 markings, 72839327 edges, 377415 markings/sec, 190 secs
lola: 74706743 markings, 74706743 edges, 373483 markings/sec, 195 secs
lola: 76303734 markings, 76303734 edges, 319398 markings/sec, 200 secs
lola: 78243656 markings, 78243656 edges, 387984 markings/sec, 205 secs
lola: 80141150 markings, 80141150 edges, 379499 markings/sec, 210 secs
lola: 82030825 markings, 82030825 edges, 377935 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(p673)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1438215 markings, 1500362 edges, 287643 markings/sec, 0 secs
lola: 2841035 markings, 3000835 edges, 280564 markings/sec, 5 secs
lola: 4269297 markings, 4494481 edges, 285652 markings/sec, 10 secs
lola: 5644908 markings, 5971130 edges, 275122 markings/sec, 15 secs
lola: 7034780 markings, 7436665 edges, 277974 markings/sec, 20 secs
lola: 8419874 markings, 8899521 edges, 277019 markings/sec, 25 secs
lola: 9779227 markings, 10346067 edges, 271871 markings/sec, 30 secs
lola: 11132211 markings, 11792969 edges, 270597 markings/sec, 35 secs
lola: 12163274 markings, 12968383 edges, 206213 markings/sec, 40 secs
lola: 13516960 markings, 14449884 edges, 270737 markings/sec, 45 secs
lola: 14883024 markings, 15938641 edges, 273213 markings/sec, 50 secs
lola: 16087168 markings, 17263934 edges, 240829 markings/sec, 55 secs
lola: 17269322 markings, 18662412 edges, 236431 markings/sec, 60 secs
lola: 18690246 markings, 20178361 edges, 284185 markings/sec, 65 secs
lola: 20125872 markings, 21643738 edges, 287125 markings/sec, 70 secs
lola: 21542489 markings, 23089819 edges, 283323 markings/sec, 75 secs
lola: 22988037 markings, 24566594 edges, 289110 markings/sec, 80 secs
lola: 24395681 markings, 26004807 edges, 281529 markings/sec, 85 secs
lola: 25812514 markings, 27452033 edges, 283367 markings/sec, 90 secs
lola: 27223572 markings, 28896180 edges, 282212 markings/sec, 95 secs
lola: 28614332 markings, 30316639 edges, 278152 markings/sec, 100 secs
lola: 29948398 markings, 31682306 edges, 266813 markings/sec, 105 secs
lola: 31295084 markings, 33057530 edges, 269337 markings/sec, 110 secs
lola: 32633728 markings, 34426474 edges, 267729 markings/sec, 115 secs
lola: 34035086 markings, 35860631 edges, 280272 markings/sec, 120 secs
lola: 35435205 markings, 37307362 edges, 280024 markings/sec, 125 secs
lola: 36814493 markings, 38717908 edges, 275858 markings/sec, 130 secs
lola: 38220403 markings, 40169366 edges, 281182 markings/sec, 135 secs
lola: 39629098 markings, 41621434 edges, 281739 markings/sec, 140 secs
lola: 41002841 markings, 43033786 edges, 274749 markings/sec, 145 secs
lola: 42407847 markings, 44470043 edges, 281001 markings/sec, 150 secs
lola: 43802871 markings, 45898895 edges, 279005 markings/sec, 155 secs
lola: 45201136 markings, 47328806 edges, 279653 markings/sec, 160 secs
lola: 46314656 markings, 48469475 edges, 222704 markings/sec, 165 secs
lola: 47682285 markings, 49867671 edges, 273526 markings/sec, 170 secs
lola: 49060206 markings, 51279947 edges, 275584 markings/sec, 175 secs
lola: 50452541 markings, 52707455 edges, 278467 markings/sec, 180 secs
lola: 51560933 markings, 53852757 edges, 221678 markings/sec, 185 secs
lola: 52934762 markings, 55270221 edges, 274766 markings/sec, 190 secs
lola: 54344654 markings, 56724781 edges, 281978 markings/sec, 195 secs
lola: 55701116 markings, 58116941 edges, 271292 markings/sec, 200 secs
lola: 57132013 markings, 59585240 edges, 286179 markings/sec, 205 secs
lola: 58550449 markings, 61042046 edges, 283687 markings/sec, 210 secs
lola: 59931405 markings, 62462984 edges, 276191 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(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1670295 markings, 1684286 edges, 334059 markings/sec, 0 secs
lola: 3332259 markings, 3360416 edges, 332393 markings/sec, 5 secs
lola: 4966532 markings, 5009006 edges, 326855 markings/sec, 10 secs
lola: 6548271 markings, 6604921 edges, 316348 markings/sec, 15 secs
lola: 8189367 markings, 8260724 edges, 328219 markings/sec, 20 secs
lola: 9846841 markings, 9933055 edges, 331495 markings/sec, 25 secs
lola: 11486786 markings, 11587557 edges, 327989 markings/sec, 30 secs
lola: 13067333 markings, 13181694 edges, 316109 markings/sec, 35 secs
lola: 14721801 markings, 14850386 edges, 330894 markings/sec, 40 secs
lola: 16371001 markings, 16513767 edges, 329840 markings/sec, 45 secs
lola: 18016095 markings, 18173004 edges, 329019 markings/sec, 50 secs
lola: 19576987 markings, 19747319 edges, 312178 markings/sec, 55 secs
lola: 21187715 markings, 21371895 edges, 322146 markings/sec, 60 secs
lola: 22787013 markings, 22984944 edges, 319860 markings/sec, 65 secs
lola: 24382339 markings, 24593983 edges, 319065 markings/sec, 70 secs
lola: 26018246 markings, 26243957 edges, 327181 markings/sec, 75 secs
lola: 27666676 markings, 27906560 edges, 329686 markings/sec, 80 secs
lola: 29292325 markings, 29546188 edges, 325130 markings/sec, 85 secs
lola: 30922016 markings, 31189890 edges, 325938 markings/sec, 90 secs
lola: 32278246 markings, 32557777 edges, 271246 markings/sec, 95 secs
lola: 33926312 markings, 34220017 edges, 329613 markings/sec, 100 secs
lola: 35543470 markings, 35851079 edges, 323432 markings/sec, 105 secs
lola: 37157700 markings, 37479189 edges, 322846 markings/sec, 110 secs
lola: 38759549 markings, 39094807 edges, 320370 markings/sec, 115 secs
lola: 40361365 markings, 40710337 edges, 320363 markings/sec, 120 secs
lola: 42011407 markings, 42374265 edges, 330008 markings/sec, 125 secs
lola: 43658847 markings, 44035743 edges, 329488 markings/sec, 130 secs
lola: 45315313 markings, 45706800 edges, 331293 markings/sec, 135 secs
lola: 46940178 markings, 47346226 edges, 324973 markings/sec, 140 secs
lola: 48568164 markings, 48988805 edges, 325597 markings/sec, 145 secs
lola: 50195188 markings, 50630412 edges, 325405 markings/sec, 150 secs
lola: 51826689 markings, 52276329 edges, 326300 markings/sec, 155 secs
lola: 53448049 markings, 53911628 edges, 324272 markings/sec, 160 secs
lola: 55064875 markings, 55542356 edges, 323365 markings/sec, 165 secs
lola: 56680220 markings, 57171588 edges, 323069 markings/sec, 170 secs
lola: 58105511 markings, 58609133 edges, 285058 markings/sec, 175 secs
lola: 59731715 markings, 60249317 edges, 325241 markings/sec, 180 secs
lola: 61345722 markings, 61877203 edges, 322801 markings/sec, 185 secs
lola: 62950394 markings, 63495671 edges, 320934 markings/sec, 190 secs
lola: 64351050 markings, 64908370 edges, 280131 markings/sec, 195 secs
lola: 65980723 markings, 66552054 edges, 325935 markings/sec, 200 secs
lola: 67623834 markings, 68209293 edges, 328622 markings/sec, 205 secs
lola: 69254322 markings, 69853800 edges, 326098 markings/sec, 210 secs
lola: 70680121 markings, 71291858 edges, 285160 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(p401)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1263030 markings, 1284659 edges, 252606 markings/sec, 0 secs
lola: 2503314 markings, 2538665 edges, 248057 markings/sec, 5 secs
lola: 3712259 markings, 3766378 edges, 241789 markings/sec, 10 secs
lola: 4858270 markings, 4923056 edges, 229202 markings/sec, 15 secs
lola: 5774073 markings, 5857445 edges, 183161 markings/sec, 20 secs
lola: 6947443 markings, 7040945 edges, 234674 markings/sec, 25 secs
lola: 8113116 markings, 8234612 edges, 233135 markings/sec, 30 secs
lola: 9271687 markings, 9427810 edges, 231714 markings/sec, 35 secs
lola: 10472942 markings, 10666811 edges, 240251 markings/sec, 40 secs
lola: 11587477 markings, 11814654 edges, 222907 markings/sec, 45 secs
lola: 12757933 markings, 13018909 edges, 234091 markings/sec, 50 secs
lola: 13918852 markings, 14214270 edges, 232184 markings/sec, 55 secs
lola: 15086732 markings, 15417528 edges, 233576 markings/sec, 60 secs
lola: 16299461 markings, 16655061 edges, 242546 markings/sec, 65 secs
lola: 17460431 markings, 17826001 edges, 232194 markings/sec, 70 secs
lola: 18599300 markings, 18974692 edges, 227774 markings/sec, 75 secs
lola: 19716470 markings, 20101726 edges, 223434 markings/sec, 80 secs
lola: 20837788 markings, 21232486 edges, 224264 markings/sec, 85 secs
lola: 21944320 markings, 22348577 edges, 221306 markings/sec, 90 secs
lola: 23039453 markings, 23453195 edges, 219027 markings/sec, 95 secs
lola: 24057145 markings, 24543348 edges, 203538 markings/sec, 100 secs
lola: 25100107 markings, 25636351 edges, 208592 markings/sec, 105 secs
lola: 26199427 markings, 26745165 edges, 219864 markings/sec, 110 secs
lola: 27266197 markings, 27820959 edges, 213354 markings/sec, 115 secs
lola: 28296726 markings, 28860462 edges, 206106 markings/sec, 120 secs
lola: 29357082 markings, 29930001 edges, 212071 markings/sec, 125 secs
lola: 30383892 markings, 30965831 edges, 205362 markings/sec, 130 secs
lola: 31466703 markings, 32057907 edges, 216562 markings/sec, 135 secs
lola: 32505129 markings, 33135150 edges, 207685 markings/sec, 140 secs
lola: 33471997 markings, 34182820 edges, 193374 markings/sec, 145 secs
lola: 34615592 markings, 35338479 edges, 228719 markings/sec, 150 secs
lola: 35735523 markings, 36468306 edges, 223986 markings/sec, 155 secs
lola: 36862978 markings, 37605295 edges, 225491 markings/sec, 160 secs
lola: 37987266 markings, 38739240 edges, 224858 markings/sec, 165 secs
lola: 39073659 markings, 39835057 edges, 217279 markings/sec, 170 secs
lola: 40204375 markings, 40975535 edges, 226143 markings/sec, 175 secs
lola: 41305408 markings, 42108820 edges, 220207 markings/sec, 180 secs
lola: 42343513 markings, 43233647 edges, 207621 markings/sec, 185 secs
lola: 43320441 markings, 44347924 edges, 195386 markings/sec, 190 secs
lola: 44367587 markings, 45481700 edges, 209429 markings/sec, 195 secs
lola: 45535472 markings, 46728289 edges, 233577 markings/sec, 200 secs
lola: 46665443 markings, 47924516 edges, 225994 markings/sec, 205 secs
lola: 47757071 markings, 49080608 edges, 218326 markings/sec, 210 secs
lola: 48835270 markings, 50228229 edges, 215640 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(p287)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1395682 markings, 1422072 edges, 279136 markings/sec, 0 secs
lola: 2757425 markings, 2810059 edges, 272349 markings/sec, 5 secs
lola: 4161618 markings, 4242399 edges, 280839 markings/sec, 10 secs
lola: 5587221 markings, 5694820 edges, 285121 markings/sec, 15 secs
lola: 6980587 markings, 7114392 edges, 278673 markings/sec, 20 secs
lola: 8373897 markings, 8535080 edges, 278662 markings/sec, 25 secs
lola: 9781184 markings, 9969379 edges, 281457 markings/sec, 30 secs
lola: 11201255 markings, 11418059 edges, 284014 markings/sec, 35 secs
lola: 12605422 markings, 12848630 edges, 280833 markings/sec, 40 secs
lola: 14024454 markings, 14294401 edges, 283806 markings/sec, 45 secs
lola: 15415812 markings, 15712572 edges, 278272 markings/sec, 50 secs
lola: 16819387 markings, 17143417 edges, 280715 markings/sec, 55 secs
lola: 18247143 markings, 18599482 edges, 285551 markings/sec, 60 secs
lola: 19673476 markings, 20053282 edges, 285267 markings/sec, 65 secs
lola: 21062782 markings, 21468718 edges, 277861 markings/sec, 70 secs
lola: 22177481 markings, 22604389 edges, 222940 markings/sec, 75 secs
lola: 23598983 markings, 24053908 edges, 284300 markings/sec, 80 secs
lola: 25032113 markings, 25514449 edges, 286626 markings/sec, 85 secs
lola: 26456718 markings, 26967729 edges, 284921 markings/sec, 90 secs
lola: 27888298 markings, 28426272 edges, 286316 markings/sec, 95 secs
lola: 29320104 markings, 29885009 edges, 286361 markings/sec, 100 secs
lola: 30735827 markings, 31328079 edges, 283145 markings/sec, 105 secs
lola: 32152152 markings, 32771947 edges, 283265 markings/sec, 110 secs
lola: 33591196 markings, 34240501 edges, 287809 markings/sec, 115 secs
lola: 34999391 markings, 35679762 edges, 281639 markings/sec, 120 secs
lola: 36427913 markings, 37139810 edges, 285704 markings/sec, 125 secs
lola: 37818443 markings, 38562998 edges, 278106 markings/sec, 130 secs
lola: 38989060 markings, 39755714 edges, 234123 markings/sec, 135 secs
lola: 40437222 markings, 41231358 edges, 289632 markings/sec, 140 secs
lola: 41890630 markings, 42712333 edges, 290682 markings/sec, 145 secs
lola: 43294995 markings, 44143235 edges, 280873 markings/sec, 150 secs
lola: 44730992 markings, 45606351 edges, 287199 markings/sec, 155 secs
lola: 46138819 markings, 47040811 edges, 281565 markings/sec, 160 secs
lola: 47519217 markings, 48447277 edges, 276080 markings/sec, 165 secs
lola: 48918413 markings, 49872927 edges, 279839 markings/sec, 170 secs
lola: 50362895 markings, 51344706 edges, 288896 markings/sec, 175 secs
lola: 51805248 markings, 52814295 edges, 288471 markings/sec, 180 secs
lola: 53234497 markings, 54270581 edges, 285850 markings/sec, 185 secs
lola: 54641035 markings, 55703678 edges, 281308 markings/sec, 190 secs
lola: 56019093 markings, 57107790 edges, 275612 markings/sec, 195 secs
lola: 57400389 markings, 58515452 edges, 276259 markings/sec, 200 secs
lola: 58776878 markings, 59918190 edges, 275298 markings/sec, 205 secs
lola: 60120955 markings, 61287928 edges, 268815 markings/sec, 210 secs
lola: 61229282 markings, 62417486 edges, 221665 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(p638)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1408648 markings, 1440182 edges, 281730 markings/sec, 0 secs
lola: 2783382 markings, 2849317 edges, 274947 markings/sec, 5 secs
lola: 4118235 markings, 4230139 edges, 266971 markings/sec, 10 secs
lola: 5475898 markings, 5671554 edges, 271533 markings/sec, 15 secs
lola: 6881558 markings, 7085488 edges, 281132 markings/sec, 20 secs
lola: 8265462 markings, 8478251 edges, 276781 markings/sec, 25 secs
lola: 9602929 markings, 9823563 edges, 267493 markings/sec, 30 secs
lola: 10948171 markings, 11177482 edges, 269048 markings/sec, 35 secs
lola: 12272646 markings, 12511654 edges, 264895 markings/sec, 40 secs
lola: 13636276 markings, 13883074 edges, 272726 markings/sec, 45 secs
lola: 15000139 markings, 15254749 edges, 272773 markings/sec, 50 secs
lola: 16365621 markings, 16630054 edges, 273096 markings/sec, 55 secs
lola: 17695037 markings, 17988881 edges, 265883 markings/sec, 60 secs
lola: 19030253 markings, 19355189 edges, 267043 markings/sec, 65 secs
lola: 20407605 markings, 20747064 edges, 275470 markings/sec, 70 secs
lola: 21792921 markings, 22150243 edges, 277063 markings/sec, 75 secs
lola: 23168413 markings, 23561588 edges, 275098 markings/sec, 80 secs
lola: 24527846 markings, 24955653 edges, 271887 markings/sec, 85 secs
lola: 25809387 markings, 26286004 edges, 256308 markings/sec, 90 secs
lola: 27097733 markings, 27644471 edges, 257669 markings/sec, 95 secs
lola: 28466369 markings, 29021518 edges, 273727 markings/sec, 100 secs
lola: 29802758 markings, 30367977 edges, 267278 markings/sec, 105 secs
lola: 31127373 markings, 31699431 edges, 264923 markings/sec, 110 secs
lola: 32462036 markings, 33042057 edges, 266933 markings/sec, 115 secs
lola: 33793879 markings, 34383529 edges, 266369 markings/sec, 120 secs
lola: 35119931 markings, 35717425 edges, 265210 markings/sec, 125 secs
lola: 36425673 markings, 37030677 edges, 261148 markings/sec, 130 secs
lola: 37737995 markings, 38352817 edges, 262464 markings/sec, 135 secs
lola: 39054296 markings, 39698005 edges, 263260 markings/sec, 140 secs
lola: 40365630 markings, 41040484 edges, 262267 markings/sec, 145 secs
lola: 41711985 markings, 42401044 edges, 269271 markings/sec, 150 secs
lola: 43075603 markings, 43782391 edges, 272724 markings/sec, 155 secs
lola: 44444144 markings, 45185151 edges, 273708 markings/sec, 160 secs
lola: 45780153 markings, 46557033 edges, 267202 markings/sec, 165 secs
lola: 47087006 markings, 47903739 edges, 261371 markings/sec, 170 secs
lola: 48408925 markings, 49305317 edges, 264384 markings/sec, 175 secs
lola: 49786155 markings, 50690995 edges, 275446 markings/sec, 180 secs
lola: 51144130 markings, 52059166 edges, 271595 markings/sec, 185 secs
lola: 52469724 markings, 53391744 edges, 265119 markings/sec, 190 secs
lola: 53806070 markings, 54736008 edges, 267269 markings/sec, 195 secs
lola: 55138613 markings, 56078064 edges, 266509 markings/sec, 200 secs
lola: 56469837 markings, 57417203 edges, 266245 markings/sec, 205 secs
lola: 57777321 markings, 58732370 edges, 261497 markings/sec, 210 secs
lola: 59065771 markings, 60030954 edges, 257690 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(p562)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1488529 markings, 1519676 edges, 297706 markings/sec, 0 secs
lola: 2915096 markings, 2975976 edges, 285313 markings/sec, 5 secs
lola: 4322793 markings, 4412937 edges, 281539 markings/sec, 10 secs
lola: 5674118 markings, 5792629 edges, 270265 markings/sec, 15 secs
lola: 7008492 markings, 7154882 edges, 266875 markings/sec, 20 secs
lola: 8314748 markings, 8488418 edges, 261251 markings/sec, 25 secs
lola: 9647342 markings, 9848783 edges, 266519 markings/sec, 30 secs
lola: 11007557 markings, 11237371 edges, 272043 markings/sec, 35 secs
lola: 12364396 markings, 12622475 edges, 271368 markings/sec, 40 secs
lola: 13637071 markings, 13921788 edges, 254535 markings/sec, 45 secs
lola: 15063691 markings, 15378146 edges, 285324 markings/sec, 50 secs
lola: 16452998 markings, 16796508 edges, 277861 markings/sec, 55 secs
lola: 17828713 markings, 18200876 edges, 275143 markings/sec, 60 secs
lola: 19221703 markings, 19622942 edges, 278598 markings/sec, 65 secs
lola: 20634071 markings, 21064860 edges, 282474 markings/sec, 70 secs
lola: 21977163 markings, 22435911 edges, 268618 markings/sec, 75 secs
lola: 23351574 markings, 23839053 edges, 274882 markings/sec, 80 secs
lola: 24656256 markings, 25170982 edges, 260936 markings/sec, 85 secs
lola: 26011032 markings, 26554007 edges, 270955 markings/sec, 90 secs
lola: 27360568 markings, 27931711 edges, 269907 markings/sec, 95 secs
lola: 28707280 markings, 29306588 edges, 269342 markings/sec, 100 secs
lola: 30030201 markings, 30657100 edges, 264584 markings/sec, 105 secs
lola: 31365614 markings, 32020393 edges, 267083 markings/sec, 110 secs
lola: 32733270 markings, 33416556 edges, 273531 markings/sec, 115 secs
lola: 34029083 markings, 34739390 edges, 259163 markings/sec, 120 secs
lola: 35328410 markings, 36065923 edges, 259865 markings/sec, 125 secs
lola: 36607320 markings, 37371510 edges, 255782 markings/sec, 130 secs
lola: 37909298 markings, 38700722 edges, 260396 markings/sec, 135 secs
lola: 39240779 markings, 40060054 edges, 266296 markings/sec, 140 secs
lola: 40598544 markings, 41445981 edges, 271553 markings/sec, 145 secs
lola: 41971514 markings, 42847775 edges, 274594 markings/sec, 150 secs
lola: 43298090 markings, 44201868 edges, 265315 markings/sec, 155 secs
lola: 44647529 markings, 45579597 edges, 269888 markings/sec, 160 secs
lola: 45975906 markings, 46935605 edges, 265675 markings/sec, 165 secs
lola: 47257700 markings, 48244292 edges, 256359 markings/sec, 170 secs
lola: 48551064 markings, 49564487 edges, 258673 markings/sec, 175 secs
lola: 49823321 markings, 50863342 edges, 254451 markings/sec, 180 secs
lola: 51133119 markings, 52200447 edges, 261960 markings/sec, 185 secs
lola: 52537393 markings, 53634128 edges, 280855 markings/sec, 190 secs
lola: 53905443 markings, 55030711 edges, 273610 markings/sec, 195 secs
lola: 55271184 markings, 56425149 edges, 273148 markings/sec, 200 secs
lola: 56632399 markings, 57814969 edges, 272243 markings/sec, 205 secs
lola: 58006987 markings, 59218350 edges, 274918 markings/sec, 210 secs
lola: 59362908 markings, 60602915 edges, 271184 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(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1200378 markings, 1336301 edges, 240076 markings/sec, 0 secs
lola: 2421143 markings, 2696117 edges, 244153 markings/sec, 5 secs
lola: 3531791 markings, 3933288 edges, 222130 markings/sec, 10 secs
lola: 4719671 markings, 5256489 edges, 237576 markings/sec, 15 secs
lola: 5920494 markings, 6594144 edges, 240165 markings/sec, 20 secs
lola: 7122682 markings, 7933374 edges, 240438 markings/sec, 25 secs
lola: 8325655 markings, 9273656 edges, 240595 markings/sec, 30 secs
lola: 9461097 markings, 10538698 edges, 227088 markings/sec, 35 secs
lola: 10636497 markings, 11848206 edges, 235080 markings/sec, 40 secs
lola: 11807135 markings, 13152479 edges, 234128 markings/sec, 45 secs
lola: 12846244 markings, 14310166 edges, 207822 markings/sec, 50 secs
lola: 14027513 markings, 15626226 edges, 236254 markings/sec, 55 secs
lola: 15206404 markings, 16939686 edges, 235778 markings/sec, 60 secs
lola: 16400797 markings, 18270377 edges, 238879 markings/sec, 65 secs
lola: 17580756 markings, 19585013 edges, 235992 markings/sec, 70 secs
lola: 18775760 markings, 20916409 edges, 239001 markings/sec, 75 secs
lola: 19976998 markings, 22254755 edges, 240248 markings/sec, 80 secs
lola: 21165197 markings, 23578543 edges, 237640 markings/sec, 85 secs
lola: 22347496 markings, 24895790 edges, 236460 markings/sec, 90 secs
lola: 23558627 markings, 26245161 edges, 242226 markings/sec, 95 secs
lola: 24757036 markings, 27580294 edges, 239682 markings/sec, 100 secs
lola: 25947064 markings, 28906124 edges, 238006 markings/sec, 105 secs
lola: 26990870 markings, 30069097 edges, 208761 markings/sec, 110 secs
lola: 28177120 markings, 31390734 edges, 237250 markings/sec, 115 secs
lola: 29364103 markings, 32713196 edges, 237397 markings/sec, 120 secs
lola: 30555754 markings, 34040747 edges, 238330 markings/sec, 125 secs
lola: 31750482 markings, 35371499 edges, 238946 markings/sec, 130 secs
lola: 32917983 markings, 36672021 edges, 233500 markings/sec, 135 secs
lola: 34073455 markings, 37959135 edges, 231094 markings/sec, 140 secs
lola: 35245171 markings, 39264422 edges, 234343 markings/sec, 145 secs
lola: 36420829 markings, 40573992 edges, 235132 markings/sec, 150 secs
lola: 37594323 markings, 41881431 edges, 234699 markings/sec, 155 secs
lola: 38775842 markings, 43197750 edges, 236304 markings/sec, 160 secs
lola: 39962004 markings, 44519291 edges, 237232 markings/sec, 165 secs
lola: 41137076 markings, 45828521 edges, 235014 markings/sec, 170 secs
lola: 42315545 markings, 47141472 edges, 235694 markings/sec, 175 secs
lola: 43505145 markings, 48466848 edges, 237920 markings/sec, 180 secs
lola: 44696995 markings, 49794707 edges, 238370 markings/sec, 185 secs
lola: 45871653 markings, 51103428 edges, 234932 markings/sec, 190 secs
lola: 47039078 markings, 52404076 edges, 233485 markings/sec, 195 secs
lola: 48224572 markings, 53724892 edges, 237099 markings/sec, 200 secs
lola: 49409931 markings, 55045536 edges, 237072 markings/sec, 205 secs
lola: 50583870 markings, 56353442 edges, 234788 markings/sec, 210 secs
lola: 51753062 markings, 57656026 edges, 233838 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(p858)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2120600 markings, 2120600 edges, 424120 markings/sec, 0 secs
lola: 4212075 markings, 4212075 edges, 418295 markings/sec, 5 secs
lola: 6338912 markings, 6338912 edges, 425367 markings/sec, 10 secs
lola: 8495267 markings, 8495267 edges, 431271 markings/sec, 15 secs
lola: 10615425 markings, 10615425 edges, 424032 markings/sec, 20 secs
lola: 12716608 markings, 12716608 edges, 420237 markings/sec, 25 secs
lola: 14635845 markings, 14635845 edges, 383847 markings/sec, 30 secs
lola: 16751677 markings, 16751677 edges, 423166 markings/sec, 35 secs
lola: 18864657 markings, 18864657 edges, 422596 markings/sec, 40 secs
lola: 20975807 markings, 20975807 edges, 422230 markings/sec, 45 secs
lola: 23065113 markings, 23065113 edges, 417861 markings/sec, 50 secs
lola: 25171602 markings, 25171602 edges, 421298 markings/sec, 55 secs
lola: 27203147 markings, 27203147 edges, 406309 markings/sec, 60 secs
lola: 29331259 markings, 29331259 edges, 425622 markings/sec, 65 secs
lola: 31449904 markings, 31449904 edges, 423729 markings/sec, 70 secs
lola: 33548291 markings, 33548291 edges, 419677 markings/sec, 75 secs
lola: 35651447 markings, 35651447 edges, 420631 markings/sec, 80 secs
lola: 37729757 markings, 37729757 edges, 415662 markings/sec, 85 secs
lola: 39801719 markings, 39801719 edges, 414392 markings/sec, 90 secs
lola: 41866716 markings, 41866716 edges, 412999 markings/sec, 95 secs
lola: 43957808 markings, 43957808 edges, 418218 markings/sec, 100 secs
lola: 46056826 markings, 46056825 edges, 419804 markings/sec, 105 secs
lola: 48148785 markings, 48148785 edges, 418392 markings/sec, 110 secs
lola: 50246581 markings, 50246581 edges, 419559 markings/sec, 115 secs
lola: 52343703 markings, 52343703 edges, 419424 markings/sec, 120 secs
lola: 54474164 markings, 54474164 edges, 426092 markings/sec, 125 secs
lola: 56321649 markings, 56321648 edges, 369497 markings/sec, 130 secs
lola: 58425034 markings, 58425033 edges, 420677 markings/sec, 135 secs
lola: 60540904 markings, 60540904 edges, 423174 markings/sec, 140 secs
lola: 62647724 markings, 62647724 edges, 421364 markings/sec, 145 secs
lola: 64471514 markings, 64471514 edges, 364758 markings/sec, 150 secs
lola: 66585566 markings, 66585566 edges, 422810 markings/sec, 155 secs
lola: 68713553 markings, 68713553 edges, 425597 markings/sec, 160 secs
lola: 70806475 markings, 70806475 edges, 418584 markings/sec, 165 secs
lola: 72920795 markings, 72920794 edges, 422864 markings/sec, 170 secs
lola: 75029975 markings, 75029975 edges, 421836 markings/sec, 175 secs
lola: 77121146 markings, 77121146 edges, 418234 markings/sec, 180 secs
lola: 79200929 markings, 79200929 edges, 415957 markings/sec, 185 secs
lola: 81250221 markings, 81250220 edges, 409858 markings/sec, 190 secs
lola: 83376025 markings, 83376025 edges, 425161 markings/sec, 195 secs
lola: 85474860 markings, 85474860 edges, 419767 markings/sec, 200 secs
lola: 87532230 markings, 87532230 edges, 411474 markings/sec, 205 secs
lola: 89615663 markings, 89615663 edges, 416687 markings/sec, 210 secs
lola: 91748957 markings, 91748957 edges, 426659 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(p1208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2320845 markings, 2320845 edges, 464169 markings/sec, 0 secs
lola: 4587435 markings, 4587435 edges, 453318 markings/sec, 5 secs
lola: 6864922 markings, 6864922 edges, 455497 markings/sec, 10 secs
lola: 9149011 markings, 9149011 edges, 456818 markings/sec, 15 secs
lola: 11430981 markings, 11430980 edges, 456394 markings/sec, 20 secs
lola: 13482517 markings, 13482517 edges, 410307 markings/sec, 25 secs
lola: 15363571 markings, 15363571 edges, 376211 markings/sec, 30 secs
lola: 17620104 markings, 17620104 edges, 451307 markings/sec, 35 secs
lola: 19880578 markings, 19880578 edges, 452095 markings/sec, 40 secs
lola: 21939119 markings, 21939119 edges, 411708 markings/sec, 45 secs
lola: 23840713 markings, 23840713 edges, 380319 markings/sec, 50 secs
lola: 26092828 markings, 26092828 edges, 450423 markings/sec, 55 secs
lola: 28351125 markings, 28351124 edges, 451659 markings/sec, 60 secs
lola: 30590004 markings, 30590004 edges, 447776 markings/sec, 65 secs
lola: 32821193 markings, 32821193 edges, 446238 markings/sec, 70 secs
lola: 35070109 markings, 35070109 edges, 449783 markings/sec, 75 secs
lola: 37334817 markings, 37334817 edges, 452942 markings/sec, 80 secs
lola: 39574278 markings, 39574277 edges, 447892 markings/sec, 85 secs
lola: 41794901 markings, 41794901 edges, 444125 markings/sec, 90 secs
lola: 44013621 markings, 44013621 edges, 443744 markings/sec, 95 secs
lola: 46228400 markings, 46228400 edges, 442956 markings/sec, 100 secs
lola: 48412867 markings, 48412867 edges, 436893 markings/sec, 105 secs
lola: 50647144 markings, 50647144 edges, 446855 markings/sec, 110 secs
lola: 52897050 markings, 52897050 edges, 449981 markings/sec, 115 secs
lola: 55134197 markings, 55134197 edges, 447429 markings/sec, 120 secs
lola: 57360207 markings, 57360207 edges, 445202 markings/sec, 125 secs
lola: 59579657 markings, 59579656 edges, 443890 markings/sec, 130 secs
lola: 61808528 markings, 61808528 edges, 445774 markings/sec, 135 secs
lola: 64034614 markings, 64034614 edges, 445217 markings/sec, 140 secs
lola: 66251059 markings, 66251059 edges, 443289 markings/sec, 145 secs
lola: 68444699 markings, 68444699 edges, 438728 markings/sec, 150 secs
lola: 70601389 markings, 70601389 edges, 431338 markings/sec, 155 secs
lola: 72771622 markings, 72771621 edges, 434047 markings/sec, 160 secs
lola: 74965870 markings, 74965869 edges, 438850 markings/sec, 165 secs
lola: 77138735 markings, 77138734 edges, 434573 markings/sec, 170 secs
lola: 79330757 markings, 79330757 edges, 438404 markings/sec, 175 secs
lola: 81530664 markings, 81530664 edges, 439981 markings/sec, 180 secs
lola: 83605867 markings, 83605867 edges, 415041 markings/sec, 185 secs
lola: 85442844 markings, 85442844 edges, 367395 markings/sec, 190 secs
lola: 87651548 markings, 87651548 edges, 441741 markings/sec, 195 secs
lola: 89861573 markings, 89861573 edges, 442005 markings/sec, 200 secs
lola: 91935526 markings, 91935526 edges, 414791 markings/sec, 205 secs
lola: 93760507 markings, 93760507 edges, 364996 markings/sec, 210 secs
lola: 95960291 markings, 95960291 edges, 439957 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(p1430)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1463633 markings, 1671139 edges, 292727 markings/sec, 0 secs
lola: 3031615 markings, 3302135 edges, 313596 markings/sec, 5 secs
lola: 4500517 markings, 4963090 edges, 293780 markings/sec, 10 secs
lola: 6032176 markings, 6578082 edges, 306332 markings/sec, 15 secs
lola: 7569267 markings, 8202523 edges, 307418 markings/sec, 20 secs
lola: 8995762 markings, 9830593 edges, 285299 markings/sec, 25 secs
lola: 10542458 markings, 11441044 edges, 309339 markings/sec, 30 secs
lola: 11942734 markings, 13089650 edges, 280055 markings/sec, 35 secs
lola: 13416998 markings, 14671884 edges, 294853 markings/sec, 40 secs
lola: 14701781 markings, 16234421 edges, 256957 markings/sec, 45 secs
lola: 15733918 markings, 17912868 edges, 206427 markings/sec, 50 secs
lola: 17094850 markings, 19521439 edges, 272186 markings/sec, 55 secs
lola: 18551966 markings, 21119343 edges, 291423 markings/sec, 60 secs
lola: 20091694 markings, 22769861 edges, 307946 markings/sec, 65 secs
lola: 21382038 markings, 24094074 edges, 258069 markings/sec, 70 secs
lola: 22954701 markings, 25710078 edges, 314533 markings/sec, 75 secs
lola: 24552265 markings, 27349621 edges, 319513 markings/sec, 80 secs
lola: 26138067 markings, 28981611 edges, 317160 markings/sec, 85 secs
lola: 27414116 markings, 30297732 edges, 255210 markings/sec, 90 secs
lola: 29011974 markings, 31946355 edges, 319572 markings/sec, 95 secs
lola: 30592675 markings, 33577702 edges, 316140 markings/sec, 100 secs
lola: 32190751 markings, 35224883 edges, 319615 markings/sec, 105 secs
lola: 33795930 markings, 36872592 edges, 321036 markings/sec, 110 secs
lola: 35372202 markings, 38492362 edges, 315254 markings/sec, 115 secs
lola: 36961271 markings, 40123210 edges, 317814 markings/sec, 120 secs
lola: 38532501 markings, 41740786 edges, 314246 markings/sec, 125 secs
lola: 40108234 markings, 43366284 edges, 315147 markings/sec, 130 secs
lola: 41692044 markings, 45000879 edges, 316762 markings/sec, 135 secs
lola: 43273774 markings, 46632854 edges, 316346 markings/sec, 140 secs
lola: 44813872 markings, 48217452 edges, 308020 markings/sec, 145 secs
lola: 46368932 markings, 49814407 edges, 311012 markings/sec, 150 secs
lola: 47918588 markings, 51406297 edges, 309931 markings/sec, 155 secs
lola: 49432468 markings, 52960980 edges, 302776 markings/sec, 160 secs
lola: 50939146 markings, 54512673 edges, 301336 markings/sec, 165 secs
lola: 52486878 markings, 56109842 edges, 309546 markings/sec, 170 secs
lola: 54036819 markings, 57708984 edges, 309988 markings/sec, 175 secs
lola: 55587810 markings, 59309949 edges, 310198 markings/sec, 180 secs
lola: 57135606 markings, 60905879 edges, 309559 markings/sec, 185 secs
lola: 58667443 markings, 62485458 edges, 306367 markings/sec, 190 secs
lola: 60232722 markings, 64103325 edges, 313056 markings/sec, 195 secs
lola: 61816626 markings, 65738180 edges, 316781 markings/sec, 200 secs
lola: 63355564 markings, 67339247 edges, 307788 markings/sec, 205 secs
lola: 64929769 markings, 68970691 edges, 314841 markings/sec, 210 secs
lola: 66513381 markings, 70612477 edges, 316722 markings/sec, 215 secs
lola: 68045466 markings, 72197335 edges, 306417 markings/sec, 220 secs
lola: 69484808 markings, 73687832 edges, 287868 markings/sec, 225 secs
lola: 71043977 markings, 75307086 edges, 311834 markings/sec, 230 secs
lola: 72621607 markings, 76943229 edges, 315526 markings/sec, 235 secs
lola: 74194612 markings, 78580999 edges, 314601 markings/sec, 240 secs
lola: 75772034 markings, 80222626 edges, 315484 markings/sec, 245 secs
lola: 77307014 markings, 81819859 edges, 306996 markings/sec, 250 secs
lola: 78853700 markings, 83428911 edges, 309337 markings/sec, 255 secs
lola: 80373522 markings, 85009265 edges, 303964 markings/sec, 260 secs
lola: 81878861 markings, 86577160 edges, 301068 markings/sec, 265 secs
lola: 83423434 markings, 88243982 edges, 308915 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p486)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2247959 markings, 2247959 edges, 449592 markings/sec, 0 secs
lola: 4496734 markings, 4496734 edges, 449755 markings/sec, 5 secs
lola: 6719278 markings, 6719277 edges, 444509 markings/sec, 10 secs
lola: 8899378 markings, 8899378 edges, 436020 markings/sec, 15 secs
lola: 11119295 markings, 11119294 edges, 443983 markings/sec, 20 secs
lola: 13303544 markings, 13303544 edges, 436850 markings/sec, 25 secs
lola: 15475754 markings, 15475754 edges, 434442 markings/sec, 30 secs
lola: 17639528 markings, 17639528 edges, 432755 markings/sec, 35 secs
lola: 19796072 markings, 19796072 edges, 431309 markings/sec, 40 secs
lola: 21975566 markings, 21975565 edges, 435899 markings/sec, 45 secs
lola: 24158176 markings, 24158176 edges, 436522 markings/sec, 50 secs
lola: 26328362 markings, 26328362 edges, 434037 markings/sec, 55 secs
lola: 28491640 markings, 28491640 edges, 432656 markings/sec, 60 secs
lola: 30640970 markings, 30640970 edges, 429866 markings/sec, 65 secs
lola: 32813399 markings, 32813399 edges, 434486 markings/sec, 70 secs
lola: 34999830 markings, 34999830 edges, 437286 markings/sec, 75 secs
lola: 37168090 markings, 37168090 edges, 433652 markings/sec, 80 secs
lola: 39332213 markings, 39332213 edges, 432825 markings/sec, 85 secs
lola: 41537270 markings, 41537270 edges, 441011 markings/sec, 90 secs
lola: 43740272 markings, 43740272 edges, 440600 markings/sec, 95 secs
lola: 45885610 markings, 45885610 edges, 429068 markings/sec, 100 secs
lola: 48043124 markings, 48043124 edges, 431503 markings/sec, 105 secs
lola: 49663091 markings, 49663091 edges, 323993 markings/sec, 110 secs
lola: 51832228 markings, 51832228 edges, 433827 markings/sec, 115 secs
lola: 54007317 markings, 54007317 edges, 435018 markings/sec, 120 secs
lola: 56185530 markings, 56185530 edges, 435643 markings/sec, 125 secs
lola: 57789465 markings, 57789465 edges, 320787 markings/sec, 130 secs
lola: 59951369 markings, 59951369 edges, 432381 markings/sec, 135 secs
lola: 62135738 markings, 62135738 edges, 436874 markings/sec, 140 secs
lola: 64260076 markings, 64260076 edges, 424868 markings/sec, 145 secs
lola: 66420325 markings, 66420325 edges, 432050 markings/sec, 150 secs
lola: 68557871 markings, 68557871 edges, 427509 markings/sec, 155 secs
lola: 70694044 markings, 70694044 edges, 427235 markings/sec, 160 secs
lola: 72843918 markings, 72843918 edges, 429975 markings/sec, 165 secs
lola: 75020623 markings, 75020623 edges, 435341 markings/sec, 170 secs
lola: 77236633 markings, 77236633 edges, 443202 markings/sec, 175 secs
lola: 79417501 markings, 79417501 edges, 436174 markings/sec, 180 secs
lola: 81607908 markings, 81607908 edges, 438081 markings/sec, 185 secs
lola: 83317930 markings, 83317930 edges, 342004 markings/sec, 190 secs
lola: 85475313 markings, 85475313 edges, 431477 markings/sec, 195 secs
lola: 87608915 markings, 87608915 edges, 426720 markings/sec, 200 secs
lola: 89736586 markings, 89736586 edges, 425534 markings/sec, 205 secs
lola: 91989301 markings, 91989301 edges, 450543 markings/sec, 210 secs
lola: 94195189 markings, 94195189 edges, 441178 markings/sec, 215 secs
lola: 96387686 markings, 96387686 edges, 438499 markings/sec, 220 secs
lola: 98601095 markings, 98601095 edges, 442682 markings/sec, 225 secs
lola: 100765944 markings, 100765943 edges, 432970 markings/sec, 230 secs
lola: 102959930 markings, 102959930 edges, 438797 markings/sec, 235 secs
lola: 105120494 markings, 105120494 edges, 432113 markings/sec, 240 secs
lola: 107317401 markings, 107317401 edges, 439381 markings/sec, 245 secs
lola: 109499663 markings, 109499662 edges, 436452 markings/sec, 250 secs
lola: 111683762 markings, 111683762 edges, 436820 markings/sec, 255 secs
lola: 113871492 markings, 113871492 edges, 437546 markings/sec, 260 secs
lola: 116027845 markings, 116027845 edges, 431271 markings/sec, 265 secs
lola: 118192159 markings, 118192159 edges, 432863 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1435444 markings, 1642024 edges, 287089 markings/sec, 0 secs
lola: 2965032 markings, 3232287 edges, 305918 markings/sec, 5 secs
lola: 4397261 markings, 4838695 edges, 286446 markings/sec, 10 secs
lola: 5907651 markings, 6448616 edges, 302078 markings/sec, 15 secs
lola: 7461254 markings, 8086156 edges, 310721 markings/sec, 20 secs
lola: 8905417 markings, 9737438 edges, 288833 markings/sec, 25 secs
lola: 10447104 markings, 11341000 edges, 308337 markings/sec, 30 secs
lola: 11872407 markings, 13002389 edges, 285061 markings/sec, 35 secs
lola: 13362711 markings, 14612298 edges, 298061 markings/sec, 40 secs
lola: 14742460 markings, 16315381 edges, 275950 markings/sec, 45 secs
lola: 15815827 markings, 18023117 edges, 214673 markings/sec, 50 secs
lola: 17227175 markings, 19663724 edges, 282270 markings/sec, 55 secs
lola: 18697058 markings, 21280294 edges, 293977 markings/sec, 60 secs
lola: 20259672 markings, 22942159 edges, 312523 markings/sec, 65 secs
lola: 21902371 markings, 24628508 edges, 328540 markings/sec, 70 secs
lola: 23519969 markings, 26290586 edges, 323520 markings/sec, 75 secs
lola: 25152617 markings, 27967186 edges, 326530 markings/sec, 80 secs
lola: 26765934 markings, 29629047 edges, 322663 markings/sec, 85 secs
lola: 28391832 markings, 31306592 edges, 325180 markings/sec, 90 secs
lola: 30010461 markings, 32976865 edges, 323726 markings/sec, 95 secs
lola: 31619073 markings, 34638500 edges, 321722 markings/sec, 100 secs
lola: 33279121 markings, 36341741 edges, 332010 markings/sec, 105 secs
lola: 34853438 markings, 37958744 edges, 314863 markings/sec, 110 secs
lola: 36466884 markings, 39615272 edges, 322689 markings/sec, 115 secs
lola: 38076278 markings, 41270381 edges, 321879 markings/sec, 120 secs
lola: 39676818 markings, 42920996 edges, 320108 markings/sec, 125 secs
lola: 41284522 markings, 44580588 edges, 321541 markings/sec, 130 secs
lola: 42880199 markings, 46226900 edges, 319135 markings/sec, 135 secs
lola: 44477075 markings, 47871991 edges, 319375 markings/sec, 140 secs
lola: 46093995 markings, 49531822 edges, 323384 markings/sec, 145 secs
lola: 47684208 markings, 51165889 edges, 318043 markings/sec, 150 secs
lola: 49294317 markings, 52818872 edges, 322022 markings/sec, 155 secs
lola: 50884357 markings, 54456043 edges, 318008 markings/sec, 160 secs
lola: 52470162 markings, 56092598 edges, 317161 markings/sec, 165 secs
lola: 54050743 markings, 57723389 edges, 316116 markings/sec, 170 secs
lola: 55632051 markings, 59355609 edges, 316262 markings/sec, 175 secs
lola: 57210970 markings, 60983677 edges, 315784 markings/sec, 180 secs
lola: 58772974 markings, 62594285 edges, 312401 markings/sec, 185 secs
lola: 60327954 markings, 64201328 edges, 310996 markings/sec, 190 secs
lola: 61857567 markings, 65780979 edges, 305923 markings/sec, 195 secs
lola: 63392873 markings, 67377645 edges, 307061 markings/sec, 200 secs
lola: 64866293 markings, 68904664 edges, 294684 markings/sec, 205 secs
lola: 66459964 markings, 70557184 edges, 318734 markings/sec, 210 secs
lola: 68026213 markings, 72177577 edges, 313250 markings/sec, 215 secs
lola: 69595700 markings, 73803547 edges, 313897 markings/sec, 220 secs
lola: 71156960 markings, 75424235 edges, 312252 markings/sec, 225 secs
lola: 72727703 markings, 77054236 edges, 314149 markings/sec, 230 secs
lola: 74298893 markings, 78688449 edges, 314238 markings/sec, 235 secs
lola: 75867570 markings, 80321783 edges, 313735 markings/sec, 240 secs
lola: 77311645 markings, 81824651 edges, 288815 markings/sec, 245 secs
lola: 78867967 markings, 83443759 edges, 311264 markings/sec, 250 secs
lola: 80403311 markings, 85040642 edges, 307069 markings/sec, 255 secs
lola: 81946376 markings, 86655609 edges, 308613 markings/sec, 260 secs
lola: 83525197 markings, 88363749 edges, 315764 markings/sec, 265 secs
lola: 84998631 markings, 90056932 edges, 294687 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 92 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2007298 markings, 2007297 edges, 401460 markings/sec, 0 secs
lola: 3947213 markings, 3947213 edges, 387983 markings/sec, 5 secs
lola: 5752047 markings, 5752047 edges, 360967 markings/sec, 10 secs
lola: 7610657 markings, 7610657 edges, 371722 markings/sec, 15 secs
lola: 9360089 markings, 9360089 edges, 349886 markings/sec, 20 secs
lola: 11236798 markings, 11236798 edges, 375342 markings/sec, 25 secs
lola: 13084399 markings, 13084399 edges, 369520 markings/sec, 30 secs
lola: 14850270 markings, 14850270 edges, 353174 markings/sec, 35 secs
lola: 16586265 markings, 16586265 edges, 347199 markings/sec, 40 secs
lola: 18370497 markings, 18370497 edges, 356846 markings/sec, 45 secs
lola: 20066328 markings, 20066328 edges, 339166 markings/sec, 50 secs
lola: 21473976 markings, 21473976 edges, 281530 markings/sec, 55 secs
lola: 23149221 markings, 23149220 edges, 335049 markings/sec, 60 secs
lola: 24882654 markings, 24882654 edges, 346687 markings/sec, 65 secs
lola: 26552776 markings, 26552776 edges, 334024 markings/sec, 70 secs
lola: 28204382 markings, 28204382 edges, 330321 markings/sec, 75 secs
lola: 29838935 markings, 29838935 edges, 326911 markings/sec, 80 secs
lola: 31479247 markings, 31479247 edges, 328062 markings/sec, 85 secs
lola: 33111091 markings, 33111091 edges, 326369 markings/sec, 90 secs
lola: 34462630 markings, 34462629 edges, 270308 markings/sec, 95 secs
lola: 36035371 markings, 36035371 edges, 314548 markings/sec, 100 secs
lola: 37712536 markings, 37712536 edges, 335433 markings/sec, 105 secs
lola: 39469661 markings, 39469661 edges, 351425 markings/sec, 110 secs
lola: 40859134 markings, 40859134 edges, 277895 markings/sec, 115 secs
lola: 42583502 markings, 42583502 edges, 344874 markings/sec, 120 secs
lola: 44277502 markings, 44277502 edges, 338800 markings/sec, 125 secs
lola: 46045258 markings, 46045258 edges, 353551 markings/sec, 130 secs
lola: 47634981 markings, 47634981 edges, 317945 markings/sec, 135 secs
lola: 49225815 markings, 49225815 edges, 318167 markings/sec, 140 secs
lola: 50985050 markings, 50985050 edges, 351847 markings/sec, 145 secs
lola: 52571758 markings, 52571758 edges, 317342 markings/sec, 150 secs
lola: 54078408 markings, 54078407 edges, 301330 markings/sec, 155 secs
lola: 55698469 markings, 55698468 edges, 324012 markings/sec, 160 secs
lola: 57476523 markings, 57476523 edges, 355611 markings/sec, 165 secs
lola: 59177972 markings, 59177972 edges, 340290 markings/sec, 170 secs
lola: 60709191 markings, 60709191 edges, 306244 markings/sec, 175 secs
lola: 62359310 markings, 62359310 edges, 330024 markings/sec, 180 secs
lola: 64145876 markings, 64145876 edges, 357313 markings/sec, 185 secs
lola: 65736684 markings, 65736684 edges, 318162 markings/sec, 190 secs
lola: 67269915 markings, 67269915 edges, 306646 markings/sec, 195 secs
lola: 69025654 markings, 69025654 edges, 351148 markings/sec, 200 secs
lola: 70765089 markings, 70765089 edges, 347887 markings/sec, 205 secs
lola: 72376554 markings, 72376554 edges, 322293 markings/sec, 210 secs
lola: 73838873 markings, 73838872 edges, 292464 markings/sec, 215 secs
lola: 75442823 markings, 75442823 edges, 320790 markings/sec, 220 secs
lola: 77118963 markings, 77118963 edges, 335228 markings/sec, 225 secs
lola: 78693718 markings, 78693718 edges, 314951 markings/sec, 230 secs
lola: 80022853 markings, 80022853 edges, 265827 markings/sec, 235 secs
lola: 81673287 markings, 81673287 edges, 330087 markings/sec, 240 secs
lola: 83279725 markings, 83279725 edges, 321288 markings/sec, 245 secs
lola: 84816927 markings, 84816927 edges, 307440 markings/sec, 250 secs
lola: 86340925 markings, 86340925 edges, 304800 markings/sec, 255 secs
lola: 87881201 markings, 87881201 edges, 308055 markings/sec, 260 secs
lola: 89419565 markings, 89419565 edges, 307673 markings/sec, 265 secs
lola: 90941774 markings, 90941774 edges, 304442 markings/sec, 270 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 1 unknown unknown unknown unknown
FORMULA Echo-PT-d03r05-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494693119267

--------------------
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="Echo-PT-d03r05"
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/Echo-PT-d03r05.tgz
mv Echo-PT-d03r05 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 Echo-PT-d03r05, 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 r028-blw3-149440264100281"
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 ;