About the Execution of LoLA for ClientsAndServers-PT-N5000P0
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12665.350 | 3540389.00 | 3556998.00 | 667.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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-3253
Executing tool lola
Input is ClientsAndServers-PT-N5000P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920200317
=====================================================================
--------------------
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 ClientsAndServers-PT-N5000P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N5000P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496607560703
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N5000P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N5000P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N5000P0 @ 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: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N5000P0-UpperBounds.task
lola: MAX(SpG) : MAX(CF) : MAX(MpA) : MAX(StF) : MAX(SpA) : MAX(CwA) : MAX(MpG) : MAX(Uf) : MAX(CG) : MAX(CwA) : MAX(StF) : MAX(SpG) : MAX(CG) : MAX(CR) : MAX(CA) : MAX(CwG)
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(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2367519 markings, 2793616 edges, 473504 markings/sec, 0 secs
lola: 4352115 markings, 5210553 edges, 396919 markings/sec, 5 secs
lola: 6336010 markings, 7624836 edges, 396779 markings/sec, 10 secs
lola: 8282605 markings, 9993439 edges, 389319 markings/sec, 15 secs
lola: 10212806 markings, 12342390 edges, 386040 markings/sec, 20 secs
lola: 12119984 markings, 14665650 edges, 381436 markings/sec, 25 secs
lola: 13999350 markings, 16948632 edges, 375873 markings/sec, 30 secs
lola: 15856603 markings, 19208509 edges, 371451 markings/sec, 35 secs
lola: 17717321 markings, 21470898 edges, 372144 markings/sec, 40 secs
lola: 19569921 markings, 23722648 edges, 370520 markings/sec, 45 secs
lola: 21405443 markings, 25957992 edges, 367104 markings/sec, 50 secs
lola: 23229003 markings, 28173759 edges, 364712 markings/sec, 55 secs
lola: 25056366 markings, 30393403 edges, 365473 markings/sec, 60 secs
lola: 26872913 markings, 32597965 edges, 363309 markings/sec, 65 secs
lola: 28703753 markings, 34820901 edges, 366168 markings/sec, 70 secs
lola: 30526838 markings, 37033387 edges, 364617 markings/sec, 75 secs
lola: 32349180 markings, 39242373 edges, 364468 markings/sec, 80 secs
lola: 34164955 markings, 41448112 edges, 363155 markings/sec, 85 secs
lola: 35965556 markings, 43633775 edges, 360120 markings/sec, 90 secs
lola: 37758467 markings, 45806800 edges, 358582 markings/sec, 95 secs
lola: 39559965 markings, 47992455 edges, 360300 markings/sec, 100 secs
lola: 41369605 markings, 50186660 edges, 361928 markings/sec, 105 secs
lola: 43186438 markings, 52390808 edges, 363367 markings/sec, 110 secs
lola: 45003396 markings, 54595902 edges, 363392 markings/sec, 115 secs
lola: 46824730 markings, 56806618 edges, 364267 markings/sec, 120 secs
lola: 48642558 markings, 59014761 edges, 363566 markings/sec, 125 secs
lola: 50461163 markings, 61218380 edges, 363721 markings/sec, 130 secs
lola: 52273389 markings, 63419019 edges, 362445 markings/sec, 135 secs
lola: 54075470 markings, 65610682 edges, 360416 markings/sec, 140 secs
lola: 55880167 markings, 67807399 edges, 360939 markings/sec, 145 secs
lola: 57687318 markings, 70000290 edges, 361430 markings/sec, 150 secs
lola: 59495757 markings, 72197011 edges, 361688 markings/sec, 155 secs
lola: 61294975 markings, 74386227 edges, 359844 markings/sec, 160 secs
lola: 63113541 markings, 76596051 edges, 363713 markings/sec, 165 secs
lola: 64922782 markings, 78794779 edges, 361848 markings/sec, 170 secs
lola: 66750970 markings, 81013952 edges, 365638 markings/sec, 175 secs
lola: 68550372 markings, 83203102 edges, 359880 markings/sec, 180 secs
lola: 70372175 markings, 85415091 edges, 364361 markings/sec, 185 secs
lola: 72187741 markings, 87621154 edges, 363113 markings/sec, 190 secs
lola: 73969848 markings, 89784414 edges, 356421 markings/sec, 195 secs
lola: 75763249 markings, 91963629 edges, 358680 markings/sec, 200 secs
lola: 77543394 markings, 94129591 edges, 356029 markings/sec, 205 secs
lola: 79324460 markings, 96299744 edges, 356213 markings/sec, 210 secs
lola: 81128463 markings, 98494338 edges, 360801 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(CF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3184302 markings, 3465962 edges, 636860 markings/sec, 0 secs
lola: 6123480 markings, 6714922 edges, 587836 markings/sec, 5 secs
lola: 8894784 markings, 9836351 edges, 554261 markings/sec, 10 secs
lola: 11709370 markings, 12947139 edges, 562917 markings/sec, 15 secs
lola: 14487813 markings, 16018756 edges, 555689 markings/sec, 20 secs
lola: 17233581 markings, 19053200 edges, 549154 markings/sec, 25 secs
lola: 19960986 markings, 22066761 edges, 545481 markings/sec, 30 secs
lola: 22709575 markings, 25104922 edges, 549718 markings/sec, 35 secs
lola: 25461209 markings, 28144469 edges, 550327 markings/sec, 40 secs
lola: 28129086 markings, 31093295 edges, 533575 markings/sec, 45 secs
lola: 30799023 markings, 34043955 edges, 533987 markings/sec, 50 secs
lola: 33459650 markings, 36984940 edges, 532125 markings/sec, 55 secs
lola: 36129470 markings, 39936118 edges, 533964 markings/sec, 60 secs
lola: 38792119 markings, 42878473 edges, 532530 markings/sec, 65 secs
lola: 41439391 markings, 45804391 edges, 529454 markings/sec, 70 secs
lola: 44102097 markings, 48747201 edges, 532541 markings/sec, 75 secs
lola: 46780016 markings, 51706900 edges, 535584 markings/sec, 80 secs
lola: 49447794 markings, 54656379 edges, 533556 markings/sec, 85 secs
lola: 52106306 markings, 57594261 edges, 531702 markings/sec, 90 secs
lola: 54773592 markings, 60542446 edges, 533457 markings/sec, 95 secs
lola: 57474955 markings, 63527228 edges, 540273 markings/sec, 100 secs
lola: 60160366 markings, 66494272 edges, 537082 markings/sec, 105 secs
lola: 62684902 markings, 69377316 edges, 504907 markings/sec, 110 secs
lola: 65422656 markings, 72469591 edges, 547551 markings/sec, 115 secs
lola: 68049010 markings, 75370182 edges, 525271 markings/sec, 120 secs
lola: 70646307 markings, 78241962 edges, 519459 markings/sec, 125 secs
lola: 73243103 markings, 81112936 edges, 519359 markings/sec, 130 secs
lola: 75841272 markings, 83982810 edges, 519634 markings/sec, 135 secs
lola: 78431662 markings, 86848368 edges, 518078 markings/sec, 140 secs
lola: 81029663 markings, 89718624 edges, 519600 markings/sec, 145 secs
lola: 83618698 markings, 92581993 edges, 517807 markings/sec, 150 secs
lola: 86226520 markings, 95463822 edges, 521564 markings/sec, 155 secs
lola: 88831283 markings, 98343009 edges, 520953 markings/sec, 160 secs
lola: 91437641 markings, 101222133 edges, 521272 markings/sec, 165 secs
lola: 94052851 markings, 104112854 edges, 523042 markings/sec, 170 secs
lola: 96679038 markings, 107015313 edges, 525237 markings/sec, 175 secs
lola: 99293584 markings, 109906703 edges, 522909 markings/sec, 180 secs
lola: 101918819 markings, 112808942 edges, 525047 markings/sec, 185 secs
lola: 104557415 markings, 115725390 edges, 527719 markings/sec, 190 secs
lola: 107184863 markings, 118629526 edges, 525490 markings/sec, 195 secs
lola: 109822559 markings, 121543517 edges, 527539 markings/sec, 200 secs
lola: 112468489 markings, 124466130 edges, 529186 markings/sec, 205 secs
lola: 115090817 markings, 127367293 edges, 524466 markings/sec, 210 secs
lola: 117714928 markings, 130267592 edges, 524822 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(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2241700 markings, 2913558 edges, 448340 markings/sec, 0 secs
lola: 4002441 markings, 5411032 edges, 352148 markings/sec, 5 secs
lola: 5729467 markings, 7860656 edges, 345405 markings/sec, 10 secs
lola: 7445474 markings, 10293715 edges, 343201 markings/sec, 15 secs
lola: 9141284 markings, 12698029 edges, 339162 markings/sec, 20 secs
lola: 10820440 markings, 15077838 edges, 335831 markings/sec, 25 secs
lola: 12493219 markings, 17447429 edges, 334556 markings/sec, 30 secs
lola: 14182613 markings, 19842854 edges, 337879 markings/sec, 35 secs
lola: 15868395 markings, 22232730 edges, 337156 markings/sec, 40 secs
lola: 17525747 markings, 24580847 edges, 331470 markings/sec, 45 secs
lola: 19154509 markings, 26887147 edges, 325752 markings/sec, 50 secs
lola: 20852056 markings, 29295293 edges, 339509 markings/sec, 55 secs
lola: 22501111 markings, 31630279 edges, 329811 markings/sec, 60 secs
lola: 24167029 markings, 33989980 edges, 333184 markings/sec, 65 secs
lola: 25831359 markings, 36348266 edges, 332866 markings/sec, 70 secs
lola: 27467524 markings, 38665777 edges, 327233 markings/sec, 75 secs
lola: 29142304 markings, 41038485 edges, 334956 markings/sec, 80 secs
lola: 30811868 markings, 43404117 edges, 333913 markings/sec, 85 secs
lola: 32445483 markings, 45716990 edges, 326723 markings/sec, 90 secs
lola: 34129306 markings, 48102198 edges, 336765 markings/sec, 95 secs
lola: 35805285 markings, 50476917 edges, 335196 markings/sec, 100 secs
lola: 37477085 markings, 52845458 edges, 334360 markings/sec, 105 secs
lola: 39123284 markings, 55176738 edges, 329240 markings/sec, 110 secs
lola: 40820805 markings, 57582621 edges, 339504 markings/sec, 115 secs
lola: 42454284 markings, 59895521 edges, 326696 markings/sec, 120 secs
lola: 44082609 markings, 62199785 edges, 325665 markings/sec, 125 secs
lola: 45715998 markings, 64513378 edges, 326678 markings/sec, 130 secs
lola: 47360543 markings, 66842242 edges, 328909 markings/sec, 135 secs
lola: 49024592 markings, 69200561 edges, 332810 markings/sec, 140 secs
lola: 50647144 markings, 71498530 edges, 324510 markings/sec, 145 secs
lola: 52273439 markings, 73800589 edges, 325259 markings/sec, 150 secs
lola: 53891422 markings, 76092905 edges, 323597 markings/sec, 155 secs
lola: 55528850 markings, 78410312 edges, 327486 markings/sec, 160 secs
lola: 57176957 markings, 80744684 edges, 329621 markings/sec, 165 secs
lola: 58835379 markings, 83095460 edges, 331684 markings/sec, 170 secs
lola: 60436065 markings, 85360989 edges, 320137 markings/sec, 175 secs
lola: 62033746 markings, 87622266 edges, 319536 markings/sec, 180 secs
lola: 63680495 markings, 89954362 edges, 329350 markings/sec, 185 secs
lola: 65264638 markings, 92198934 edges, 316829 markings/sec, 190 secs
lola: 66839150 markings, 94426755 edges, 314902 markings/sec, 195 secs
lola: 68456308 markings, 96717005 edges, 323432 markings/sec, 200 secs
lola: 70047022 markings, 98969004 edges, 318143 markings/sec, 205 secs
lola: 71679541 markings, 101281610 edges, 326504 markings/sec, 210 secs
lola: 73290499 markings, 103563608 edges, 322192 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(StF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2487949 markings, 3186752 edges, 497590 markings/sec, 0 secs
lola: 4159044 markings, 5840486 edges, 334219 markings/sec, 5 secs
lola: 5750835 markings, 8372399 edges, 318358 markings/sec, 10 secs
lola: 7318598 markings, 10865871 edges, 313553 markings/sec, 15 secs
lola: 8864001 markings, 13325822 edges, 309081 markings/sec, 20 secs
lola: 10395779 markings, 15764149 edges, 306356 markings/sec, 25 secs
lola: 11926882 markings, 18202620 edges, 306221 markings/sec, 30 secs
lola: 13449382 markings, 20626589 edges, 304500 markings/sec, 35 secs
lola: 14962715 markings, 23035275 edges, 302667 markings/sec, 40 secs
lola: 16475203 markings, 25442274 edges, 302498 markings/sec, 45 secs
lola: 17986966 markings, 27849395 edges, 302353 markings/sec, 50 secs
lola: 19508022 markings, 30270500 edges, 304211 markings/sec, 55 secs
lola: 21034392 markings, 32701856 edges, 305274 markings/sec, 60 secs
lola: 22525500 markings, 35077731 edges, 298222 markings/sec, 65 secs
lola: 24027573 markings, 37469005 edges, 300415 markings/sec, 70 secs
lola: 25537250 markings, 39874187 edges, 301935 markings/sec, 75 secs
lola: 27030747 markings, 42253522 edges, 298699 markings/sec, 80 secs
lola: 28523026 markings, 44630389 edges, 298456 markings/sec, 85 secs
lola: 30030768 markings, 47032628 edges, 301548 markings/sec, 90 secs
lola: 31519601 markings, 49402347 edges, 297767 markings/sec, 95 secs
lola: 32999608 markings, 51758306 edges, 296001 markings/sec, 100 secs
lola: 34491108 markings, 54134119 edges, 298300 markings/sec, 105 secs
lola: 35968030 markings, 56487785 edges, 295384 markings/sec, 110 secs
lola: 37465212 markings, 58872342 edges, 299436 markings/sec, 115 secs
lola: 38945742 markings, 61232243 edges, 296106 markings/sec, 120 secs
lola: 40433237 markings, 63599423 edges, 297499 markings/sec, 125 secs
lola: 41917202 markings, 65963520 edges, 296793 markings/sec, 130 secs
lola: 43384670 markings, 68301899 edges, 293494 markings/sec, 135 secs
lola: 44848744 markings, 70632984 edges, 292815 markings/sec, 140 secs
lola: 46333083 markings, 72997572 edges, 296868 markings/sec, 145 secs
lola: 47813436 markings, 75356796 edges, 296071 markings/sec, 150 secs
lola: 49263967 markings, 77672670 edges, 290106 markings/sec, 155 secs
lola: 50719576 markings, 79991839 edges, 291122 markings/sec, 160 secs
lola: 52170921 markings, 82301391 edges, 290269 markings/sec, 165 secs
lola: 53653597 markings, 84663586 edges, 296535 markings/sec, 170 secs
lola: 55121160 markings, 87001303 edges, 293513 markings/sec, 175 secs
lola: 56580107 markings, 89326537 edges, 291789 markings/sec, 180 secs
lola: 58026779 markings, 91630052 edges, 289334 markings/sec, 185 secs
lola: 59499717 markings, 93977306 edges, 294588 markings/sec, 190 secs
lola: 60973757 markings, 96328628 edges, 294808 markings/sec, 195 secs
lola: 62412585 markings, 98621341 edges, 287766 markings/sec, 200 secs
lola: 63864731 markings, 100934903 edges, 290429 markings/sec, 205 secs
lola: 65343143 markings, 103290500 edges, 295682 markings/sec, 210 secs
lola: 66810317 markings, 105626402 edges, 293435 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(SpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2515575 markings, 3027817 edges, 503115 markings/sec, 0 secs
lola: 4543087 markings, 5618973 edges, 405502 markings/sec, 5 secs
lola: 6493466 markings, 8111575 edges, 390076 markings/sec, 10 secs
lola: 8433364 markings, 10591482 edges, 387980 markings/sec, 15 secs
lola: 10348309 markings, 13038232 edges, 382989 markings/sec, 20 secs
lola: 12241968 markings, 15459590 edges, 378732 markings/sec, 25 secs
lola: 14094478 markings, 17827177 edges, 370502 markings/sec, 30 secs
lola: 15940908 markings, 20186021 edges, 369286 markings/sec, 35 secs
lola: 17830476 markings, 22602797 edges, 377914 markings/sec, 40 secs
lola: 19719046 markings, 25016624 edges, 377714 markings/sec, 45 secs
lola: 21572351 markings, 27384798 edges, 370661 markings/sec, 50 secs
lola: 23403736 markings, 29725904 edges, 366277 markings/sec, 55 secs
lola: 25236136 markings, 32066877 edges, 366480 markings/sec, 60 secs
lola: 27055225 markings, 34392707 edges, 363818 markings/sec, 65 secs
lola: 28972364 markings, 36842405 edges, 383428 markings/sec, 70 secs
lola: 30828015 markings, 39214299 edges, 371130 markings/sec, 75 secs
lola: 32660795 markings, 41555290 edges, 366556 markings/sec, 80 secs
lola: 34504975 markings, 43913083 edges, 368836 markings/sec, 85 secs
lola: 36326391 markings, 46242158 edges, 364283 markings/sec, 90 secs
lola: 38127447 markings, 48544780 edges, 360211 markings/sec, 95 secs
lola: 39893032 markings, 50801710 edges, 353117 markings/sec, 100 secs
lola: 41704468 markings, 53116435 edges, 362287 markings/sec, 105 secs
lola: 43522447 markings, 55439077 edges, 363596 markings/sec, 110 secs
lola: 45329966 markings, 57750082 edges, 361504 markings/sec, 115 secs
lola: 47117728 markings, 60033673 edges, 357552 markings/sec, 120 secs
lola: 48858984 markings, 62259448 edges, 348251 markings/sec, 125 secs
lola: 50672126 markings, 64576979 edges, 362628 markings/sec, 130 secs
lola: 52450797 markings, 66850111 edges, 355734 markings/sec, 135 secs
lola: 54209511 markings, 69098664 edges, 351743 markings/sec, 140 secs
lola: 55954236 markings, 71328132 edges, 348945 markings/sec, 145 secs
lola: 57669894 markings, 73521661 edges, 343132 markings/sec, 150 secs
lola: 59573006 markings, 75953060 edges, 380622 markings/sec, 155 secs
lola: 61523853 markings, 78446701 edges, 390169 markings/sec, 160 secs
lola: 63421708 markings, 80872644 edges, 379571 markings/sec, 165 secs
lola: 65310440 markings, 83286138 edges, 377746 markings/sec, 170 secs
lola: 67156335 markings, 85645526 edges, 369179 markings/sec, 175 secs
lola: 69031073 markings, 88041266 edges, 374948 markings/sec, 180 secs
lola: 70884652 markings, 90411453 edges, 370716 markings/sec, 185 secs
lola: 72697200 markings, 92728259 edges, 362510 markings/sec, 190 secs
lola: 74516304 markings, 95052971 edges, 363821 markings/sec, 195 secs
lola: 76293353 markings, 97321948 edges, 355410 markings/sec, 200 secs
lola: 78041874 markings, 99557610 edges, 349704 markings/sec, 205 secs
lola: 79888958 markings, 101918614 edges, 369417 markings/sec, 210 secs
lola: 81721071 markings, 104261660 edges, 366423 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(CwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3139671 markings, 3416676 edges, 627934 markings/sec, 0 secs
lola: 6036225 markings, 6618122 edges, 579311 markings/sec, 5 secs
lola: 8753841 markings, 9680733 edges, 543523 markings/sec, 10 secs
lola: 11538182 markings, 12758319 edges, 556868 markings/sec, 15 secs
lola: 14291313 markings, 15801377 edges, 550626 markings/sec, 20 secs
lola: 17034721 markings, 18833409 edges, 548682 markings/sec, 25 secs
lola: 19763740 markings, 21849755 edges, 545804 markings/sec, 30 secs
lola: 22521700 markings, 24897216 edges, 551592 markings/sec, 35 secs
lola: 25288024 markings, 27952470 edges, 553265 markings/sec, 40 secs
lola: 27971471 markings, 30918514 edges, 536689 markings/sec, 45 secs
lola: 30652118 markings, 33881709 edges, 536129 markings/sec, 50 secs
lola: 33334283 markings, 36846367 edges, 536433 markings/sec, 55 secs
lola: 36021657 markings, 39815975 edges, 537475 markings/sec, 60 secs
lola: 38708320 markings, 42786004 edges, 537333 markings/sec, 65 secs
lola: 41379497 markings, 45738649 edges, 534235 markings/sec, 70 secs
lola: 44052664 markings, 48693224 edges, 534633 markings/sec, 75 secs
lola: 46720805 markings, 51642947 edges, 533628 markings/sec, 80 secs
lola: 49383348 markings, 54583680 edges, 532509 markings/sec, 85 secs
lola: 52032161 markings, 57511927 edges, 529763 markings/sec, 90 secs
lola: 54689744 markings, 60449272 edges, 531517 markings/sec, 95 secs
lola: 57311745 markings, 63347117 edges, 524400 markings/sec, 100 secs
lola: 59974074 markings, 66288108 edges, 532466 markings/sec, 105 secs
lola: 62518545 markings, 69183203 edges, 508894 markings/sec, 110 secs
lola: 65204492 markings, 72228968 edges, 537189 markings/sec, 115 secs
lola: 67891613 markings, 75197132 edges, 537424 markings/sec, 120 secs
lola: 70524954 markings, 78108267 edges, 526668 markings/sec, 125 secs
lola: 73151438 markings, 81012175 edges, 525297 markings/sec, 130 secs
lola: 75784733 markings, 83921762 edges, 526659 markings/sec, 135 secs
lola: 78408789 markings, 86821932 edges, 524811 markings/sec, 140 secs
lola: 81036570 markings, 89726200 edges, 525556 markings/sec, 145 secs
lola: 83655830 markings, 92621601 edges, 523852 markings/sec, 150 secs
lola: 86292690 markings, 95535769 edges, 527372 markings/sec, 155 secs
lola: 88917563 markings, 98436586 edges, 524975 markings/sec, 160 secs
lola: 91543225 markings, 101337742 edges, 525132 markings/sec, 165 secs
lola: 94170091 markings, 104244411 edges, 525373 markings/sec, 170 secs
lola: 96816444 markings, 107167165 edges, 529271 markings/sec, 175 secs
lola: 99453688 markings, 110083825 edges, 527449 markings/sec, 180 secs
lola: 102098628 markings, 113006147 edges, 528988 markings/sec, 185 secs
lola: 104749301 markings, 115935190 edges, 530135 markings/sec, 190 secs
lola: 107398954 markings, 118863865 edges, 529931 markings/sec, 195 secs
lola: 110046650 markings, 121791181 edges, 529539 markings/sec, 200 secs
lola: 112698995 markings, 124724007 edges, 530469 markings/sec, 205 secs
lola: 115347491 markings, 127649189 edges, 529699 markings/sec, 210 secs
lola: 117963226 markings, 130541957 edges, 523147 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(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2892187 markings, 3693400 edges, 578437 markings/sec, 0 secs
lola: 5088257 markings, 7112687 edges, 439214 markings/sec, 5 secs
lola: 7339725 markings, 10307879 edges, 450294 markings/sec, 10 secs
lola: 9546585 markings, 13439747 edges, 441372 markings/sec, 15 secs
lola: 11710220 markings, 16510284 edges, 432727 markings/sec, 20 secs
lola: 13899171 markings, 19616758 edges, 437790 markings/sec, 25 secs
lola: 16081974 markings, 22714503 edges, 436561 markings/sec, 30 secs
lola: 18138211 markings, 25580643 edges, 411247 markings/sec, 35 secs
lola: 20190106 markings, 28434873 edges, 410379 markings/sec, 40 secs
lola: 22211478 markings, 31180368 edges, 404274 markings/sec, 45 secs
lola: 24059536 markings, 33636856 edges, 369612 markings/sec, 50 secs
lola: 25842237 markings, 35999143 edges, 356540 markings/sec, 55 secs
lola: 27582996 markings, 38307023 edges, 348152 markings/sec, 60 secs
lola: 29286981 markings, 40560774 edges, 340797 markings/sec, 65 secs
lola: 30977277 markings, 42805283 edges, 338059 markings/sec, 70 secs
lola: 32641765 markings, 45003745 edges, 332898 markings/sec, 75 secs
lola: 34306339 markings, 47203791 edges, 332915 markings/sec, 80 secs
lola: 35952432 markings, 49376093 edges, 329219 markings/sec, 85 secs
lola: 37581405 markings, 51522193 edges, 325795 markings/sec, 90 secs
lola: 39237753 markings, 53715458 edges, 331270 markings/sec, 95 secs
lola: 40889127 markings, 55896033 edges, 330275 markings/sec, 100 secs
lola: 42541749 markings, 58091603 edges, 330524 markings/sec, 105 secs
lola: 44200958 markings, 60293851 edges, 331842 markings/sec, 110 secs
lola: 45834677 markings, 62449674 edges, 326744 markings/sec, 115 secs
lola: 47451022 markings, 64585070 edges, 323269 markings/sec, 120 secs
lola: 49060523 markings, 66707340 edges, 321900 markings/sec, 125 secs
lola: 50677783 markings, 68846628 edges, 323452 markings/sec, 130 secs
lola: 52275371 markings, 70949190 edges, 319518 markings/sec, 135 secs
lola: 53879448 markings, 73058693 edges, 320815 markings/sec, 140 secs
lola: 55477112 markings, 75158015 edges, 319533 markings/sec, 145 secs
lola: 57073839 markings, 77265373 edges, 319345 markings/sec, 150 secs
lola: 58699375 markings, 79428069 edges, 325107 markings/sec, 155 secs
lola: 60288138 markings, 81522969 edges, 317753 markings/sec, 160 secs
lola: 61869476 markings, 83601792 edges, 316268 markings/sec, 165 secs
lola: 63451904 markings, 85683142 edges, 316486 markings/sec, 170 secs
lola: 65078281 markings, 87851368 edges, 325275 markings/sec, 175 secs
lola: 66659057 markings, 89932624 edges, 316155 markings/sec, 180 secs
lola: 68247360 markings, 92037925 edges, 317661 markings/sec, 185 secs
lola: 69809550 markings, 94093625 edges, 312438 markings/sec, 190 secs
lola: 71372900 markings, 96156153 edges, 312670 markings/sec, 195 secs
lola: 72957023 markings, 98259442 edges, 316825 markings/sec, 200 secs
lola: 74528857 markings, 100340087 edges, 314367 markings/sec, 205 secs
lola: 76095087 markings, 102407586 edges, 313246 markings/sec, 210 secs
lola: 77667735 markings, 104489345 edges, 314530 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(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2247543 markings, 2921922 edges, 449509 markings/sec, 0 secs
lola: 4056532 markings, 5487969 edges, 361798 markings/sec, 5 secs
lola: 5834320 markings, 8009144 edges, 355558 markings/sec, 10 secs
lola: 7588184 markings, 10496045 edges, 350773 markings/sec, 15 secs
lola: 9330440 markings, 12965977 edges, 348451 markings/sec, 20 secs
lola: 11057209 markings, 15413404 edges, 345354 markings/sec, 25 secs
lola: 12771916 markings, 17841624 edges, 342941 markings/sec, 30 secs
lola: 14502735 markings, 20296915 edges, 346164 markings/sec, 35 secs
lola: 16229070 markings, 22743613 edges, 345267 markings/sec, 40 secs
lola: 17928562 markings, 25151000 edges, 339898 markings/sec, 45 secs
lola: 19632454 markings, 27565269 edges, 340778 markings/sec, 50 secs
lola: 21344411 markings, 29992461 edges, 342391 markings/sec, 55 secs
lola: 23029717 markings, 32379663 edges, 337061 markings/sec, 60 secs
lola: 24708898 markings, 34756915 edges, 335836 markings/sec, 65 secs
lola: 26428335 markings, 37194348 edges, 343887 markings/sec, 70 secs
lola: 28119110 markings, 39589224 edges, 338155 markings/sec, 75 secs
lola: 29822228 markings, 42002233 edges, 340624 markings/sec, 80 secs
lola: 31489737 markings, 44363704 edges, 333502 markings/sec, 85 secs
lola: 33176483 markings, 46753123 edges, 337349 markings/sec, 90 secs
lola: 34843684 markings, 49113731 edges, 333440 markings/sec, 95 secs
lola: 36519495 markings, 51488864 edges, 335162 markings/sec, 100 secs
lola: 38210704 markings, 53883982 edges, 338242 markings/sec, 105 secs
lola: 39894445 markings, 56269627 edges, 336748 markings/sec, 110 secs
lola: 41582724 markings, 58661141 edges, 337656 markings/sec, 115 secs
lola: 43235902 markings, 61002340 edges, 330636 markings/sec, 120 secs
lola: 44895699 markings, 63352474 edges, 331959 markings/sec, 125 secs
lola: 46552862 markings, 65698318 edges, 331433 markings/sec, 130 secs
lola: 48207386 markings, 68041395 edges, 330905 markings/sec, 135 secs
lola: 49895695 markings, 70433855 edges, 337662 markings/sec, 140 secs
lola: 51570571 markings, 72806432 edges, 334975 markings/sec, 145 secs
lola: 53199207 markings, 75111596 edges, 325727 markings/sec, 150 secs
lola: 54864098 markings, 77469662 edges, 332978 markings/sec, 155 secs
lola: 56484778 markings, 79763356 edges, 324136 markings/sec, 160 secs
lola: 58171790 markings, 82153335 edges, 337402 markings/sec, 165 secs
lola: 59819503 markings, 84488149 edges, 329543 markings/sec, 170 secs
lola: 61430023 markings, 86767537 edges, 322104 markings/sec, 175 secs
lola: 63077052 markings, 89098534 edges, 329406 markings/sec, 180 secs
lola: 64739824 markings, 91455220 edges, 332554 markings/sec, 185 secs
lola: 66345457 markings, 93728741 edges, 321127 markings/sec, 190 secs
lola: 67968626 markings, 96025799 edges, 324634 markings/sec, 195 secs
lola: 69616525 markings, 98359938 edges, 329580 markings/sec, 200 secs
lola: 71256119 markings, 100681425 edges, 327919 markings/sec, 205 secs
lola: 72925585 markings, 103046420 edges, 333893 markings/sec, 210 secs
lola: 74582082 markings, 105392151 edges, 331299 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2513625 markings, 2890967 edges, 502725 markings/sec, 0 secs
lola: 4700250 markings, 5476957 edges, 437325 markings/sec, 5 secs
lola: 6864237 markings, 8035657 edges, 432797 markings/sec, 10 secs
lola: 9034501 markings, 10600063 edges, 434053 markings/sec, 15 secs
lola: 11179412 markings, 13135186 edges, 428982 markings/sec, 20 secs
lola: 13316520 markings, 15660616 edges, 427422 markings/sec, 25 secs
lola: 15462682 markings, 18196430 edges, 429232 markings/sec, 30 secs
lola: 17584271 markings, 20702288 edges, 424318 markings/sec, 35 secs
lola: 19682759 markings, 23181516 edges, 419698 markings/sec, 40 secs
lola: 21812635 markings, 25698451 edges, 425975 markings/sec, 45 secs
lola: 23928123 markings, 28197631 edges, 423098 markings/sec, 50 secs
lola: 26023578 markings, 30672788 edges, 419091 markings/sec, 55 secs
lola: 28099058 markings, 33124253 edges, 415096 markings/sec, 60 secs
lola: 30168508 markings, 35567112 edges, 413890 markings/sec, 65 secs
lola: 32238405 markings, 38012423 edges, 413979 markings/sec, 70 secs
lola: 34321915 markings, 40473699 edges, 416702 markings/sec, 75 secs
lola: 36368346 markings, 42892317 edges, 409286 markings/sec, 80 secs
lola: 38417576 markings, 45311648 edges, 409846 markings/sec, 85 secs
lola: 40466699 markings, 47730643 edges, 409825 markings/sec, 90 secs
lola: 42520796 markings, 50157848 edges, 410819 markings/sec, 95 secs
lola: 44563530 markings, 52570456 edges, 408547 markings/sec, 100 secs
lola: 46584845 markings, 54956137 edges, 404263 markings/sec, 105 secs
lola: 48621794 markings, 57364383 edges, 407390 markings/sec, 110 secs
lola: 50634205 markings, 59737875 edges, 402482 markings/sec, 115 secs
lola: 52668177 markings, 62142286 edges, 406794 markings/sec, 120 secs
lola: 54643713 markings, 64474831 edges, 395107 markings/sec, 125 secs
lola: 56671969 markings, 66869707 edges, 405651 markings/sec, 130 secs
lola: 58690737 markings, 69254547 edges, 403754 markings/sec, 135 secs
lola: 60668422 markings, 71589467 edges, 395537 markings/sec, 140 secs
lola: 62708163 markings, 73999019 edges, 407948 markings/sec, 145 secs
lola: 64659174 markings, 76302198 edges, 390202 markings/sec, 150 secs
lola: 66689797 markings, 78700796 edges, 406125 markings/sec, 155 secs
lola: 68668743 markings, 81036867 edges, 395789 markings/sec, 160 secs
lola: 70654307 markings, 83382086 edges, 397113 markings/sec, 165 secs
lola: 72693473 markings, 85788918 edges, 407833 markings/sec, 170 secs
lola: 74609215 markings, 88050046 edges, 383148 markings/sec, 175 secs
lola: 76628478 markings, 90436731 edges, 403853 markings/sec, 180 secs
lola: 78650201 markings, 92821292 edges, 404345 markings/sec, 185 secs
lola: 80633651 markings, 95167505 edges, 396690 markings/sec, 190 secs
lola: 82558340 markings, 97437008 edges, 384938 markings/sec, 195 secs
lola: 84583959 markings, 99830888 edges, 405124 markings/sec, 200 secs
lola: 86631771 markings, 102248131 edges, 409562 markings/sec, 205 secs
lola: 88580860 markings, 104547577 edges, 389818 markings/sec, 210 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(CwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3174353 markings, 3454963 edges, 634871 markings/sec, 0 secs
lola: 6124869 markings, 6716459 edges, 590103 markings/sec, 5 secs
lola: 8886632 markings, 9827352 edges, 552353 markings/sec, 10 secs
lola: 11705649 markings, 12943249 edges, 563803 markings/sec, 15 secs
lola: 14492752 markings, 16024198 edges, 557421 markings/sec, 20 secs
lola: 17267142 markings, 19090557 edges, 554878 markings/sec, 25 secs
lola: 20033126 markings, 22147075 edges, 553197 markings/sec, 30 secs
lola: 22825701 markings, 25232818 edges, 558515 markings/sec, 35 secs
lola: 25618226 markings, 28317935 edges, 558505 markings/sec, 40 secs
lola: 28331276 markings, 31315259 edges, 542610 markings/sec, 45 secs
lola: 31042514 markings, 34313627 edges, 542248 markings/sec, 50 secs
lola: 33764199 markings, 37321470 edges, 544337 markings/sec, 55 secs
lola: 36482844 markings, 40326537 edges, 543729 markings/sec, 60 secs
lola: 39196161 markings, 43325045 edges, 542663 markings/sec, 65 secs
lola: 41898056 markings, 46311224 edges, 540379 markings/sec, 70 secs
lola: 44600494 markings, 49298024 edges, 540488 markings/sec, 75 secs
lola: 47290983 markings, 52272867 edges, 538098 markings/sec, 80 secs
lola: 49978632 markings, 55241963 edges, 537530 markings/sec, 85 secs
lola: 52654676 markings, 58200083 edges, 535209 markings/sec, 90 secs
lola: 55349632 markings, 61177542 edges, 538991 markings/sec, 95 secs
lola: 58054505 markings, 64168750 edges, 540975 markings/sec, 100 secs
lola: 60755423 markings, 67152913 edges, 540184 markings/sec, 105 secs
lola: 63296681 markings, 70090934 edges, 508252 markings/sec, 110 secs
lola: 66073049 markings, 73187544 edges, 555274 markings/sec, 115 secs
lola: 68742905 markings, 76136398 edges, 533971 markings/sec, 120 secs
lola: 71383449 markings, 79056205 edges, 528109 markings/sec, 125 secs
lola: 74027899 markings, 81980097 edges, 528890 markings/sec, 130 secs
lola: 76667670 markings, 84897290 edges, 527954 markings/sec, 135 secs
lola: 79294308 markings, 87800727 edges, 525328 markings/sec, 140 secs
lola: 81924446 markings, 90708148 edges, 526028 markings/sec, 145 secs
lola: 84566666 markings, 93629492 edges, 528444 markings/sec, 150 secs
lola: 87223782 markings, 96564396 edges, 531423 markings/sec, 155 secs
lola: 89870682 markings, 99489186 edges, 529380 markings/sec, 160 secs
lola: 92513048 markings, 102411860 edges, 528473 markings/sec, 165 secs
lola: 95177095 markings, 105356645 edges, 532809 markings/sec, 170 secs
lola: 97841970 markings, 108301541 edges, 532975 markings/sec, 175 secs
lola: 100516290 markings, 111258161 edges, 534864 markings/sec, 180 secs
lola: 103192126 markings, 114214982 edges, 535167 markings/sec, 185 secs
lola: 105868642 markings, 117174698 edges, 535303 markings/sec, 190 secs
lola: 108548461 markings, 120136399 edges, 535964 markings/sec, 195 secs
lola: 111212230 markings, 123081088 edges, 532754 markings/sec, 200 secs
lola: 113891929 markings, 126042837 edges, 535940 markings/sec, 205 secs
lola: 116578646 markings, 129010912 edges, 537343 markings/sec, 210 secs
lola: 119238493 markings, 131953057 edges, 531969 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2470955 markings, 3159707 edges, 494191 markings/sec, 0 secs
lola: 4158893 markings, 5840235 edges, 337588 markings/sec, 5 secs
lola: 5766505 markings, 8397261 edges, 321522 markings/sec, 10 secs
lola: 7348969 markings, 10914335 edges, 316493 markings/sec, 15 secs
lola: 8907578 markings, 13395316 edges, 311722 markings/sec, 20 secs
lola: 10458709 markings, 15864086 edges, 310226 markings/sec, 25 secs
lola: 11996082 markings, 18313321 edges, 307475 markings/sec, 30 secs
lola: 13531595 markings, 20756836 edges, 307103 markings/sec, 35 secs
lola: 15065939 markings, 23199635 edges, 306869 markings/sec, 40 secs
lola: 16584442 markings, 25616158 edges, 303701 markings/sec, 45 secs
lola: 18106523 markings, 28040265 edges, 304416 markings/sec, 50 secs
lola: 19618779 markings, 30447159 edges, 302451 markings/sec, 55 secs
lola: 21137359 markings, 32866235 edges, 303716 markings/sec, 60 secs
lola: 22617254 markings, 35223433 edges, 295979 markings/sec, 65 secs
lola: 24111852 markings, 37602399 edges, 298920 markings/sec, 70 secs
lola: 25612144 markings, 39993260 edges, 300058 markings/sec, 75 secs
lola: 27097494 markings, 42360077 edges, 297070 markings/sec, 80 secs
lola: 28581835 markings, 44723800 edges, 296868 markings/sec, 85 secs
lola: 30085023 markings, 47118784 edges, 300638 markings/sec, 90 secs
lola: 31560240 markings, 49466841 edges, 295043 markings/sec, 95 secs
lola: 33030218 markings, 51806838 edges, 293996 markings/sec, 100 secs
lola: 34519302 markings, 54179278 edges, 297817 markings/sec, 105 secs
lola: 35991371 markings, 56525065 edges, 294414 markings/sec, 110 secs
lola: 37479337 markings, 58894896 edges, 297593 markings/sec, 115 secs
lola: 38957313 markings, 61250415 edges, 295595 markings/sec, 120 secs
lola: 40437707 markings, 63606565 edges, 296079 markings/sec, 125 secs
lola: 41918279 markings, 65965252 edges, 296114 markings/sec, 130 secs
lola: 43384478 markings, 68301581 edges, 293240 markings/sec, 135 secs
lola: 44841441 markings, 70621415 edges, 291393 markings/sec, 140 secs
lola: 46316137 markings, 72970840 edges, 294939 markings/sec, 145 secs
lola: 47792273 markings, 75322781 edges, 295227 markings/sec, 150 secs
lola: 49248061 markings, 77646954 edges, 291158 markings/sec, 155 secs
lola: 50711728 markings, 79979269 edges, 292733 markings/sec, 160 secs
lola: 52169359 markings, 82298913 edges, 291526 markings/sec, 165 secs
lola: 53644280 markings, 84648795 edges, 294984 markings/sec, 170 secs
lola: 55098762 markings, 86965295 edges, 290896 markings/sec, 175 secs
lola: 56544730 markings, 89270293 edges, 289194 markings/sec, 180 secs
lola: 57982256 markings, 91558979 edges, 287505 markings/sec, 185 secs
lola: 59438969 markings, 93880548 edges, 291343 markings/sec, 190 secs
lola: 60901107 markings, 96213031 edges, 292428 markings/sec, 195 secs
lola: 62332598 markings, 98494138 edges, 286298 markings/sec, 200 secs
lola: 63780064 markings, 100799283 edges, 289493 markings/sec, 205 secs
lola: 65234438 markings, 103117036 edges, 290875 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2469800 markings, 2918466 edges, 493960 markings/sec, 0 secs
lola: 4558916 markings, 5462175 edges, 417823 markings/sec, 5 secs
lola: 6599997 markings, 7946859 edges, 408216 markings/sec, 10 secs
lola: 8603431 markings, 10384760 edges, 400687 markings/sec, 15 secs
lola: 10587034 markings, 12798439 edges, 396721 markings/sec, 20 secs
lola: 12548861 markings, 15186366 edges, 392365 markings/sec, 25 secs
lola: 14488818 markings, 17545404 edges, 387991 markings/sec, 30 secs
lola: 16410552 markings, 19884061 edges, 384347 markings/sec, 35 secs
lola: 18333460 markings, 22219580 edges, 384582 markings/sec, 40 secs
lola: 20256952 markings, 24559757 edges, 384698 markings/sec, 45 secs
lola: 22149336 markings, 26859797 edges, 378477 markings/sec, 50 secs
lola: 24035790 markings, 29152163 edges, 377291 markings/sec, 55 secs
lola: 25924388 markings, 31447389 edges, 377720 markings/sec, 60 secs
lola: 27807781 markings, 33731993 edges, 376679 markings/sec, 65 secs
lola: 29694497 markings, 36023110 edges, 377343 markings/sec, 70 secs
lola: 31586162 markings, 38316624 edges, 378333 markings/sec, 75 secs
lola: 33468621 markings, 40603117 edges, 376492 markings/sec, 80 secs
lola: 35337763 markings, 42870529 edges, 373828 markings/sec, 85 secs
lola: 37187197 markings, 45114465 edges, 369887 markings/sec, 90 secs
lola: 39043018 markings, 47365303 edges, 371164 markings/sec, 95 secs
lola: 40902796 markings, 49617900 edges, 371956 markings/sec, 100 secs
lola: 42767422 markings, 51882065 edges, 372925 markings/sec, 105 secs
lola: 44635153 markings, 54148014 edges, 373546 markings/sec, 110 secs
lola: 46489458 markings, 56399902 edges, 370861 markings/sec, 115 secs
lola: 48356962 markings, 58668189 edges, 373501 markings/sec, 120 secs
lola: 50211673 markings, 60916314 edges, 370942 markings/sec, 125 secs
lola: 52053410 markings, 63151723 edges, 368347 markings/sec, 130 secs
lola: 53892794 markings, 65387781 edges, 367877 markings/sec, 135 secs
lola: 55739433 markings, 67635531 edges, 369328 markings/sec, 140 secs
lola: 57577604 markings, 69867096 edges, 367634 markings/sec, 145 secs
lola: 59415083 markings, 72099133 edges, 367496 markings/sec, 150 secs
lola: 61254805 markings, 74336845 edges, 367944 markings/sec, 155 secs
lola: 63082694 markings, 76558368 edges, 365578 markings/sec, 160 secs
lola: 64890979 markings, 78756382 edges, 361657 markings/sec, 165 secs
lola: 66716689 markings, 80972628 edges, 365142 markings/sec, 170 secs
lola: 68507057 markings, 83150150 edges, 358074 markings/sec, 175 secs
lola: 70321749 markings, 85353830 edges, 362938 markings/sec, 180 secs
lola: 72133399 markings, 87555088 edges, 362330 markings/sec, 185 secs
lola: 73913909 markings, 89716536 edges, 356102 markings/sec, 190 secs
lola: 75707802 markings, 91896632 edges, 358779 markings/sec, 195 secs
lola: 77490875 markings, 94065883 edges, 356615 markings/sec, 200 secs
lola: 79263368 markings, 96225206 edges, 354499 markings/sec, 205 secs
lola: 81065826 markings, 98417708 edges, 360492 markings/sec, 210 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(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2513344 markings, 2890610 edges, 502669 markings/sec, 0 secs
lola: 4719202 markings, 5499299 edges, 441172 markings/sec, 5 secs
lola: 6893235 markings, 8069803 edges, 434807 markings/sec, 10 secs
lola: 9074428 markings, 10647416 edges, 436239 markings/sec, 15 secs
lola: 11238803 markings, 13205423 edges, 432875 markings/sec, 20 secs
lola: 13388590 markings, 15745886 edges, 429957 markings/sec, 25 secs
lola: 15541493 markings, 18288940 edges, 430581 markings/sec, 30 secs
lola: 17698573 markings, 20836975 edges, 431416 markings/sec, 35 secs
lola: 19849930 markings, 23379801 edges, 430271 markings/sec, 40 secs
lola: 22020744 markings, 25944512 edges, 434163 markings/sec, 45 secs
lola: 24156939 markings, 28468108 edges, 427239 markings/sec, 50 secs
lola: 26302446 markings, 31002499 edges, 429101 markings/sec, 55 secs
lola: 28444945 markings, 33533635 edges, 428500 markings/sec, 60 secs
lola: 30536942 markings, 36003861 edges, 418399 markings/sec, 65 secs
lola: 32649907 markings, 38497882 edges, 422593 markings/sec, 70 secs
lola: 34752914 markings, 40982274 edges, 420601 markings/sec, 75 secs
lola: 36887953 markings, 43505413 edges, 427008 markings/sec, 80 secs
lola: 38994986 markings, 45994598 edges, 421407 markings/sec, 85 secs
lola: 41053171 markings, 48422859 edges, 411637 markings/sec, 90 secs
lola: 43152476 markings, 50903579 edges, 419861 markings/sec, 95 secs
lola: 45258690 markings, 53392463 edges, 421243 markings/sec, 100 secs
lola: 47325636 markings, 55830607 edges, 413389 markings/sec, 105 secs
lola: 49444085 markings, 58333769 edges, 423690 markings/sec, 110 secs
lola: 51530815 markings, 60799295 edges, 417346 markings/sec, 115 secs
lola: 53575260 markings, 63211718 edges, 408889 markings/sec, 120 secs
lola: 55659840 markings, 65676252 edges, 416916 markings/sec, 125 secs
lola: 57746461 markings, 68136841 edges, 417324 markings/sec, 130 secs
lola: 59805838 markings, 70571188 edges, 411875 markings/sec, 135 secs
lola: 61857608 markings, 72992028 edges, 410354 markings/sec, 140 secs
lola: 63957270 markings, 75473911 edges, 419932 markings/sec, 145 secs
lola: 65976410 markings, 77855912 edges, 403828 markings/sec, 150 secs
lola: 68082302 markings, 80345113 edges, 421178 markings/sec, 155 secs
lola: 70101836 markings, 82727402 edges, 403907 markings/sec, 160 secs
lola: 72180736 markings, 85184654 edges, 415780 markings/sec, 165 secs
lola: 74246195 markings, 87620925 edges, 413092 markings/sec, 170 secs
lola: 76274639 markings, 90020581 edges, 405689 markings/sec, 175 secs
lola: 78348281 markings, 92466052 edges, 414728 markings/sec, 180 secs
lola: 80445935 markings, 94945829 edges, 419531 markings/sec, 185 secs
lola: 82417014 markings, 97271814 edges, 394216 markings/sec, 190 secs
lola: 84495107 markings, 99725906 edges, 415619 markings/sec, 195 secs
lola: 86595589 markings, 102205928 edges, 420096 markings/sec, 200 secs
lola: 88587742 markings, 104555638 edges, 398431 markings/sec, 205 secs
lola: 90648311 markings, 106993401 edges, 412114 markings/sec, 210 secs
lola: 92665145 markings, 109370843 edges, 403367 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3211517 markings, 3519169 edges, 642303 markings/sec, 0 secs
lola: 6157237 markings, 6750626 edges, 589144 markings/sec, 5 secs
lola: 9063423 markings, 9938099 edges, 581237 markings/sec, 10 secs
lola: 11977508 markings, 13108831 edges, 582817 markings/sec, 15 secs
lola: 14771840 markings, 16162564 edges, 558866 markings/sec, 20 secs
lola: 17573489 markings, 19226716 edges, 560330 markings/sec, 25 secs
lola: 20344594 markings, 22261130 edges, 554221 markings/sec, 30 secs
lola: 23224829 markings, 25418273 edges, 576047 markings/sec, 35 secs
lola: 26118733 markings, 28592126 edges, 578781 markings/sec, 40 secs
lola: 28955149 markings, 31702021 edges, 567283 markings/sec, 45 secs
lola: 31765793 markings, 34783244 edges, 562129 markings/sec, 50 secs
lola: 34549077 markings, 37834031 edges, 556657 markings/sec, 55 secs
lola: 37394014 markings, 40926329 edges, 568987 markings/sec, 60 secs
lola: 40114474 markings, 43900520 edges, 544092 markings/sec, 65 secs
lola: 42841033 markings, 46881392 edges, 545312 markings/sec, 70 secs
lola: 45532973 markings, 49828699 edges, 538388 markings/sec, 75 secs
lola: 48204950 markings, 52754038 edges, 534395 markings/sec, 80 secs
lola: 50917944 markings, 55724720 edges, 542599 markings/sec, 85 secs
lola: 53654063 markings, 58723080 edges, 547224 markings/sec, 90 secs
lola: 56355447 markings, 61682797 edges, 540277 markings/sec, 95 secs
lola: 59030381 markings, 64613092 edges, 534987 markings/sec, 100 secs
lola: 61674773 markings, 67509408 edges, 528878 markings/sec, 105 secs
lola: 64339520 markings, 70428380 edges, 532949 markings/sec, 110 secs
lola: 66985781 markings, 73326790 edges, 529252 markings/sec, 115 secs
lola: 69603165 markings, 76193074 edges, 523477 markings/sec, 120 secs
lola: 72213515 markings, 79051540 edges, 522070 markings/sec, 125 secs
lola: 74795792 markings, 81878774 edges, 516455 markings/sec, 130 secs
lola: 77574192 markings, 84924235 edges, 555680 markings/sec, 135 secs
lola: 80324921 markings, 87923001 edges, 550146 markings/sec, 140 secs
lola: 83037262 markings, 90882384 edges, 542468 markings/sec, 145 secs
lola: 85706948 markings, 93801862 edges, 533937 markings/sec, 150 secs
lola: 88353811 markings, 96696775 edges, 529373 markings/sec, 155 secs
lola: 91008825 markings, 99601674 edges, 531003 markings/sec, 160 secs
lola: 93648240 markings, 102491227 edges, 527883 markings/sec, 165 secs
lola: 96262872 markings, 105353507 edges, 522926 markings/sec, 170 secs
lola: 98911311 markings, 108252998 edges, 529688 markings/sec, 175 secs
lola: 101535214 markings, 111125486 edges, 524781 markings/sec, 180 secs
lola: 104271464 markings, 114124117 edges, 547250 markings/sec, 185 secs
lola: 107017322 markings, 117133449 edges, 549172 markings/sec, 190 secs
lola: 109710274 markings, 120083918 edges, 538590 markings/sec, 195 secs
lola: 112400442 markings, 123031297 edges, 538034 markings/sec, 200 secs
lola: 115050586 markings, 125934150 edges, 530029 markings/sec, 205 secs
lola: 117749942 markings, 128891765 edges, 539871 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3232730 markings, 3617119 edges, 646546 markings/sec, 0 secs
lola: 6264684 markings, 7067668 edges, 606391 markings/sec, 5 secs
lola: 9138434 markings, 10344708 edges, 574750 markings/sec, 10 secs
lola: 11966542 markings, 13587110 edges, 565622 markings/sec, 15 secs
lola: 14811811 markings, 16791571 edges, 569054 markings/sec, 20 secs
lola: 17652985 markings, 20014133 edges, 568235 markings/sec, 25 secs
lola: 20426441 markings, 23214558 edges, 554691 markings/sec, 30 secs
lola: 23218075 markings, 26356667 edges, 558327 markings/sec, 35 secs
lola: 26001599 markings, 29496740 edges, 556705 markings/sec, 40 secs
lola: 28719942 markings, 32600516 edges, 543669 markings/sec, 45 secs
lola: 31468990 markings, 35741293 edges, 549810 markings/sec, 50 secs
lola: 34245389 markings, 38865836 edges, 555280 markings/sec, 55 secs
lola: 36997532 markings, 42001534 edges, 550429 markings/sec, 60 secs
lola: 39715260 markings, 45120640 edges, 543546 markings/sec, 65 secs
lola: 42462834 markings, 48211785 edges, 549515 markings/sec, 70 secs
lola: 45189183 markings, 51307487 edges, 545270 markings/sec, 75 secs
lola: 47948238 markings, 54484578 edges, 551811 markings/sec, 80 secs
lola: 50738435 markings, 57625104 edges, 558039 markings/sec, 85 secs
lola: 53545468 markings, 60798812 edges, 561407 markings/sec, 90 secs
lola: 56286425 markings, 63946970 edges, 548191 markings/sec, 95 secs
lola: 59032242 markings, 67059704 edges, 549163 markings/sec, 100 secs
lola: 61787822 markings, 70161882 edges, 551116 markings/sec, 105 secs
lola: 64529876 markings, 73290718 edges, 548411 markings/sec, 110 secs
lola: 67244809 markings, 76399778 edges, 542987 markings/sec, 115 secs
lola: 69977810 markings, 79473670 edges, 546600 markings/sec, 120 secs
lola: 72683016 markings, 82553373 edges, 541041 markings/sec, 125 secs
lola: 75362370 markings, 85629426 edges, 535871 markings/sec, 130 secs
lola: 78085244 markings, 88691886 edges, 544575 markings/sec, 135 secs
lola: 80816257 markings, 91793657 edges, 546203 markings/sec, 140 secs
lola: 83522260 markings, 94908449 edges, 541201 markings/sec, 145 secs
lola: 86246670 markings, 97972324 edges, 544882 markings/sec, 150 secs
lola: 88922900 markings, 101004000 edges, 535246 markings/sec, 155 secs
lola: 91571220 markings, 104058375 edges, 529664 markings/sec, 160 secs
lola: 94261855 markings, 107083406 edges, 538127 markings/sec, 165 secs
lola: 96963596 markings, 110140106 edges, 540348 markings/sec, 170 secs
lola: 99609866 markings, 113196078 edges, 529254 markings/sec, 175 secs
lola: 102279789 markings, 116196809 edges, 533985 markings/sec, 180 secs
lola: 104948730 markings, 119213667 edges, 533788 markings/sec, 185 secs
lola: 107549174 markings, 122218276 edges, 520089 markings/sec, 190 secs
lola: 110241605 markings, 125245421 edges, 538486 markings/sec, 195 secs
lola: 112988801 markings, 128349143 edges, 549439 markings/sec, 200 secs
lola: 115758402 markings, 131523546 edges, 553920 markings/sec, 205 secs
lola: 118462786 markings, 134595730 edges, 540877 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3259731 markings, 3572819 edges, 651946 markings/sec, 0 secs
lola: 6224428 markings, 6825389 edges, 592939 markings/sec, 5 secs
lola: 9149478 markings, 10033852 edges, 585010 markings/sec, 10 secs
lola: 12064020 markings, 13201946 edges, 582908 markings/sec, 15 secs
lola: 14874909 markings, 16273502 edges, 562178 markings/sec, 20 secs
lola: 17686321 markings, 19350913 edges, 562282 markings/sec, 25 secs
lola: 20462345 markings, 22390739 edges, 555205 markings/sec, 30 secs
lola: 23385594 markings, 25597152 edges, 584650 markings/sec, 35 secs
lola: 26280935 markings, 28772603 edges, 579068 markings/sec, 40 secs
lola: 29125997 markings, 31892117 edges, 569012 markings/sec, 45 secs
lola: 31968450 markings, 35008733 edges, 568491 markings/sec, 50 secs
lola: 34788452 markings, 38076251 edges, 564000 markings/sec, 55 secs
lola: 37595190 markings, 41142861 edges, 561348 markings/sec, 60 secs
lola: 40326507 markings, 44129367 edges, 546263 markings/sec, 65 secs
lola: 43063861 markings, 47126662 edges, 547471 markings/sec, 70 secs
lola: 45779442 markings, 50099993 edges, 543116 markings/sec, 75 secs
lola: 48521097 markings, 53103865 edges, 548331 markings/sec, 80 secs
lola: 51339096 markings, 56193325 edges, 563600 markings/sec, 85 secs
lola: 54123459 markings, 59245364 edges, 556873 markings/sec, 90 secs
lola: 56885653 markings, 62272744 edges, 552439 markings/sec, 95 secs
lola: 59605705 markings, 65253240 edges, 544010 markings/sec, 100 secs
lola: 62322199 markings, 68229783 edges, 543299 markings/sec, 105 secs
lola: 65079119 markings, 71241302 edges, 551384 markings/sec, 110 secs
lola: 67780109 markings, 74184488 edges, 540198 markings/sec, 115 secs
lola: 70447142 markings, 77101133 edges, 533407 markings/sec, 120 secs
lola: 73113642 markings, 80017199 edges, 533300 markings/sec, 125 secs
lola: 75791570 markings, 82946023 edges, 535586 markings/sec, 130 secs
lola: 78600536 markings, 86022186 edges, 561793 markings/sec, 135 secs
lola: 81355767 markings, 89039930 edges, 551046 markings/sec, 140 secs
lola: 84140429 markings, 92092381 edges, 556932 markings/sec, 145 secs
lola: 86895064 markings, 95111426 edges, 550927 markings/sec, 150 secs
lola: 89633242 markings, 98112167 edges, 547636 markings/sec, 155 secs
lola: 92380987 markings, 101123559 edges, 549549 markings/sec, 160 secs
lola: 95073793 markings, 104073828 edges, 538561 markings/sec, 165 secs
lola: 97790593 markings, 107050802 edges, 543360 markings/sec, 170 secs
lola: 100456642 markings, 109967905 edges, 533210 markings/sec, 175 secs
lola: 103178349 markings, 112928867 edges, 544341 markings/sec, 180 secs
lola: 105915860 markings, 115921321 edges, 547502 markings/sec, 185 secs
lola: 108609474 markings, 118866526 edges, 538723 markings/sec, 190 secs
lola: 111282386 markings, 121791651 edges, 534582 markings/sec, 195 secs
lola: 113945632 markings, 124707461 edges, 532649 markings/sec, 200 secs
lola: 116607315 markings, 127621554 edges, 532337 markings/sec, 205 secs
lola: 119317375 markings, 130589922 edges, 542012 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N5000P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496611101092
--------------------
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="ClientsAndServers-PT-N5000P0"
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/ClientsAndServers-PT-N5000P0.tgz
mv ClientsAndServers-PT-N5000P0 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N5000P0, 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 r168-ebro-149580920200317"
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 '
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 ;