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-N0020P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920000218
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496602154310


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0020P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0020P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0020P0 @ 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-N0020P0-UpperBounds.task
lola: MAX(Mi) : MAX(CA) : MAX(StR) : MAX(Uf) : MAX(Si) : MAX(Mi) : MAX(CG) : MAX(Cb) : MAX(Si) : MAX(SR) : MAX(SG) : MAX(MwU) : MAX(CF) : MAX(CF) : MAX(Mi) : MAX(Si)
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(Mi)
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: 1408334 markings, 2914160 edges, 281667 markings/sec, 0 secs
lola: 2556188 markings, 5363754 edges, 229571 markings/sec, 5 secs
lola: 3667466 markings, 7749939 edges, 222256 markings/sec, 10 secs
lola: 4748093 markings, 10087707 edges, 216125 markings/sec, 15 secs
lola: 5830461 markings, 12436271 edges, 216474 markings/sec, 20 secs
lola: 6906670 markings, 14777491 edges, 215242 markings/sec, 25 secs
lola: 7976351 markings, 17108301 edges, 213936 markings/sec, 30 secs
lola: 9003019 markings, 19347080 edges, 205334 markings/sec, 35 secs
lola: 9976961 markings, 21471258 edges, 194788 markings/sec, 40 secs
lola: 11024944 markings, 23763946 edges, 209597 markings/sec, 45 secs
lola: 12054654 markings, 26016062 edges, 205942 markings/sec, 50 secs
lola: 13025743 markings, 28143241 edges, 194218 markings/sec, 55 secs
lola: 14021644 markings, 30325863 edges, 199180 markings/sec, 60 secs
lola: 14988528 markings, 32447951 edges, 193377 markings/sec, 65 secs
lola: 15928792 markings, 34510503 edges, 188053 markings/sec, 70 secs
lola: 16897369 markings, 36636622 edges, 193715 markings/sec, 75 secs
lola: 17892587 markings, 38821321 edges, 199044 markings/sec, 80 secs
lola: 18887349 markings, 41008923 edges, 198952 markings/sec, 85 secs
lola: 19892499 markings, 43216518 edges, 201030 markings/sec, 90 secs
lola: 20891307 markings, 45413413 edges, 199762 markings/sec, 95 secs
lola: 21897773 markings, 47629081 edges, 201293 markings/sec, 100 secs
lola: 22910636 markings, 49858367 edges, 202573 markings/sec, 105 secs
lola: 23880049 markings, 51996041 edges, 193883 markings/sec, 110 secs
lola: 24813098 markings, 54051020 edges, 186610 markings/sec, 115 secs
lola: 25742890 markings, 56101645 edges, 185958 markings/sec, 120 secs
lola: 26691149 markings, 58195363 edges, 189652 markings/sec, 125 secs
lola: 27696373 markings, 60419138 edges, 201045 markings/sec, 130 secs
lola: 28692516 markings, 62621605 edges, 199229 markings/sec, 135 secs
lola: 29695884 markings, 64835771 edges, 200674 markings/sec, 140 secs
lola: 30715138 markings, 67082582 edges, 203851 markings/sec, 145 secs
lola: 31722398 markings, 69310138 edges, 201452 markings/sec, 150 secs
lola: 32688575 markings, 71447540 edges, 193235 markings/sec, 155 secs
lola: 33619492 markings, 73498609 edges, 186183 markings/sec, 160 secs
lola: 34552014 markings, 75559987 edges, 186504 markings/sec, 165 secs
lola: 35491215 markings, 77639389 edges, 187840 markings/sec, 170 secs
lola: 36439459 markings, 79732654 edges, 189649 markings/sec, 175 secs
lola: 37392738 markings, 81839927 edges, 190656 markings/sec, 180 secs
lola: 38351280 markings, 83957682 edges, 191708 markings/sec, 185 secs
lola: 39300339 markings, 86056490 edges, 189812 markings/sec, 190 secs
lola: 40243394 markings, 88145027 edges, 188611 markings/sec, 195 secs
lola: 41184907 markings, 90230039 edges, 188303 markings/sec, 200 secs
lola: 42145572 markings, 92361167 edges, 192133 markings/sec, 205 secs
lola: 43111075 markings, 94498956 edges, 193101 markings/sec, 210 secs
lola: 44076927 markings, 96636488 edges, 193170 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(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: 2442433 markings, 2948500 edges, 488487 markings/sec, 0 secs
lola: 4867998 markings, 5882055 edges, 485113 markings/sec, 5 secs
lola: 7267175 markings, 8782766 edges, 479835 markings/sec, 10 secs
lola: 9654641 markings, 11670767 edges, 477493 markings/sec, 15 secs
lola: 12002300 markings, 14508295 edges, 469532 markings/sec, 20 secs
lola: 14376742 markings, 17378801 edges, 474888 markings/sec, 25 secs
lola: 16722106 markings, 20216781 edges, 469073 markings/sec, 30 secs
lola: 18980668 markings, 22945173 edges, 451712 markings/sec, 35 secs
lola: 21226131 markings, 25660666 edges, 449093 markings/sec, 40 secs
lola: 23462875 markings, 28379143 edges, 447349 markings/sec, 45 secs
lola: 25752602 markings, 31126006 edges, 457945 markings/sec, 50 secs
lola: 27995483 markings, 33837602 edges, 448576 markings/sec, 55 secs
lola: 30249966 markings, 36563440 edges, 450897 markings/sec, 60 secs
lola: 32459912 markings, 39238593 edges, 441989 markings/sec, 65 secs
lola: 34623505 markings, 41858245 edges, 432719 markings/sec, 70 secs
lola: 36802953 markings, 44495662 edges, 435890 markings/sec, 75 secs
lola: 38967565 markings, 47115936 edges, 432922 markings/sec, 80 secs
lola: 41125168 markings, 49728235 edges, 431521 markings/sec, 85 secs
lola: 43263871 markings, 52318450 edges, 427741 markings/sec, 90 secs
lola: 45372804 markings, 54875030 edges, 421787 markings/sec, 95 secs
lola: 47529053 markings, 57485063 edges, 431250 markings/sec, 100 secs
lola: 49578270 markings, 59967707 edges, 409843 markings/sec, 105 secs
lola: 51694276 markings, 62531710 edges, 423201 markings/sec, 110 secs
lola: 53858807 markings, 65153632 edges, 432906 markings/sec, 115 secs
lola: 56014284 markings, 67766371 edges, 431095 markings/sec, 120 secs
lola: 58215784 markings, 70433080 edges, 440300 markings/sec, 125 secs
lola: 60378034 markings, 73054589 edges, 432450 markings/sec, 130 secs
lola: 62625694 markings, 75777095 edges, 449532 markings/sec, 135 secs
lola: 64802987 markings, 78417068 edges, 435459 markings/sec, 140 secs
lola: 67049578 markings, 81138650 edges, 449318 markings/sec, 145 secs
lola: 69239654 markings, 83793974 edges, 438015 markings/sec, 150 secs
lola: 71480703 markings, 86509471 edges, 448210 markings/sec, 155 secs
lola: 73688162 markings, 89185616 edges, 441492 markings/sec, 160 secs
lola: 75869335 markings, 91829922 edges, 436235 markings/sec, 165 secs
lola: 78100142 markings, 94533132 edges, 446161 markings/sec, 170 secs
lola: 80241200 markings, 97130219 edges, 428212 markings/sec, 175 secs
lola: 82474077 markings, 99835411 edges, 446575 markings/sec, 180 secs
lola: 84648760 markings, 102472132 edges, 434937 markings/sec, 185 secs
lola: 86792805 markings, 105072460 edges, 428809 markings/sec, 190 secs
lola: 89036388 markings, 107790917 edges, 448717 markings/sec, 195 secs
lola: 91177226 markings, 110387403 edges, 428168 markings/sec, 200 secs
lola: 93361725 markings, 113035893 edges, 436900 markings/sec, 205 secs
lola: 95576031 markings, 115719561 edges, 442861 markings/sec, 210 secs
lola: 97702742 markings, 118299492 edges, 425342 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(StR)
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: 1867316 markings, 2960236 edges, 373463 markings/sec, 0 secs
lola: 3662752 markings, 5818552 edges, 359087 markings/sec, 5 secs
lola: 5468895 markings, 8700623 edges, 361229 markings/sec, 10 secs
lola: 7299037 markings, 11623541 edges, 366028 markings/sec, 15 secs
lola: 9102368 markings, 14506165 edges, 360666 markings/sec, 20 secs
lola: 10889154 markings, 17361982 edges, 357357 markings/sec, 25 secs
lola: 12686316 markings, 20236343 edges, 359432 markings/sec, 30 secs
lola: 14433654 markings, 23029387 edges, 349468 markings/sec, 35 secs
lola: 16068138 markings, 25647331 edges, 326897 markings/sec, 40 secs
lola: 17668804 markings, 28210658 edges, 320133 markings/sec, 45 secs
lola: 19195435 markings, 30671958 edges, 305326 markings/sec, 50 secs
lola: 20701801 markings, 33101715 edges, 301273 markings/sec, 55 secs
lola: 22199902 markings, 35519032 edges, 299620 markings/sec, 60 secs
lola: 23778246 markings, 38050595 edges, 315669 markings/sec, 65 secs
lola: 25313105 markings, 40519028 edges, 306972 markings/sec, 70 secs
lola: 26841835 markings, 42976018 edges, 305746 markings/sec, 75 secs
lola: 28376463 markings, 45441968 edges, 306926 markings/sec, 80 secs
lola: 29896200 markings, 47885306 edges, 303947 markings/sec, 85 secs
lola: 31437417 markings, 50363471 edges, 308243 markings/sec, 90 secs
lola: 32939276 markings, 52779334 edges, 300372 markings/sec, 95 secs
lola: 34493572 markings, 55280039 edges, 310859 markings/sec, 100 secs
lola: 36069694 markings, 57919564 edges, 315224 markings/sec, 105 secs
lola: 36641298 markings, 59924725 edges, 114321 markings/sec, 110 secs
lola: 37078765 markings, 61769432 edges, 87493 markings/sec, 115 secs
lola: 37523489 markings, 63572400 edges, 88945 markings/sec, 120 secs
lola: 37829276 markings, 65235914 edges, 61157 markings/sec, 125 secs
lola: 38116672 markings, 66861730 edges, 57479 markings/sec, 130 secs
lola: 38661450 markings, 68806611 edges, 108956 markings/sec, 135 secs
lola: 39817451 markings, 71263674 edges, 231200 markings/sec, 140 secs
lola: 40971256 markings, 73711937 edges, 230761 markings/sec, 145 secs
lola: 42117986 markings, 76148322 edges, 229346 markings/sec, 150 secs
lola: 43240435 markings, 78532196 edges, 224490 markings/sec, 155 secs
lola: 44357076 markings, 80904237 edges, 223328 markings/sec, 160 secs
lola: 45497094 markings, 83325951 edges, 228004 markings/sec, 165 secs
lola: 46652091 markings, 85780562 edges, 230999 markings/sec, 170 secs
lola: 47840239 markings, 88305990 edges, 237630 markings/sec, 175 secs
lola: 49028359 markings, 90835601 edges, 237624 markings/sec, 180 secs
lola: 50257556 markings, 93441810 edges, 245839 markings/sec, 185 secs
lola: 51561372 markings, 96212517 edges, 260763 markings/sec, 190 secs
lola: 52833067 markings, 98914151 edges, 254339 markings/sec, 195 secs
lola: 54059485 markings, 101516677 edges, 245284 markings/sec, 200 secs
lola: 55216158 markings, 103973330 edges, 231335 markings/sec, 205 secs
lola: 56334767 markings, 106347570 edges, 223722 markings/sec, 210 secs
lola: 57488937 markings, 108795091 edges, 230834 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(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: 1927510 markings, 2738590 edges, 385502 markings/sec, 0 secs
lola: 3737652 markings, 5307904 edges, 362028 markings/sec, 5 secs
lola: 5528248 markings, 7850188 edges, 358119 markings/sec, 10 secs
lola: 7297529 markings, 10361966 edges, 353856 markings/sec, 15 secs
lola: 9055255 markings, 12857637 edges, 351545 markings/sec, 20 secs
lola: 10818274 markings, 15360397 edges, 352604 markings/sec, 25 secs
lola: 12591813 markings, 17878379 edges, 354708 markings/sec, 30 secs
lola: 14416989 markings, 20469267 edges, 365035 markings/sec, 35 secs
lola: 16262894 markings, 23089405 edges, 369181 markings/sec, 40 secs
lola: 18081689 markings, 25671634 edges, 363759 markings/sec, 45 secs
lola: 19784326 markings, 28174678 edges, 340527 markings/sec, 50 secs
lola: 21445182 markings, 30605024 edges, 332171 markings/sec, 55 secs
lola: 23089971 markings, 33007410 edges, 328958 markings/sec, 60 secs
lola: 24721917 markings, 35387453 edges, 326389 markings/sec, 65 secs
lola: 26364754 markings, 37778565 edges, 328567 markings/sec, 70 secs
lola: 27988006 markings, 40137016 edges, 324650 markings/sec, 75 secs
lola: 29604361 markings, 42483859 edges, 323271 markings/sec, 80 secs
lola: 31226684 markings, 44838608 edges, 324465 markings/sec, 85 secs
lola: 32843579 markings, 47182054 edges, 323379 markings/sec, 90 secs
lola: 34448260 markings, 49509110 edges, 320936 markings/sec, 95 secs
lola: 36069259 markings, 51858982 edges, 324200 markings/sec, 100 secs
lola: 37711843 markings, 54238659 edges, 328517 markings/sec, 105 secs
lola: 38404570 markings, 55978144 edges, 138545 markings/sec, 110 secs
lola: 38822383 markings, 57678943 edges, 83563 markings/sec, 115 secs
lola: 39179423 markings, 59333412 edges, 71408 markings/sec, 120 secs
lola: 40562833 markings, 61817447 edges, 276682 markings/sec, 125 secs
lola: 42168943 markings, 64327687 edges, 321222 markings/sec, 130 secs
lola: 43757274 markings, 66806397 edges, 317666 markings/sec, 135 secs
lola: 45310597 markings, 69225259 edges, 310665 markings/sec, 140 secs
lola: 46864508 markings, 71642160 edges, 310782 markings/sec, 145 secs
lola: 48453131 markings, 74118657 edges, 317725 markings/sec, 150 secs
lola: 50057315 markings, 76609978 edges, 320837 markings/sec, 155 secs
lola: 51643334 markings, 79069843 edges, 317204 markings/sec, 160 secs
lola: 53227700 markings, 81526094 edges, 316873 markings/sec, 165 secs
lola: 54814000 markings, 83991739 edges, 317260 markings/sec, 170 secs
lola: 56430260 markings, 86487536 edges, 323252 markings/sec, 175 secs
lola: 58020479 markings, 88962757 edges, 318044 markings/sec, 180 secs
lola: 59603863 markings, 91421116 edges, 316677 markings/sec, 185 secs
lola: 61274698 markings, 94006973 edges, 334167 markings/sec, 190 secs
lola: 62853256 markings, 96453064 edges, 315712 markings/sec, 195 secs
lola: 64498000 markings, 98994003 edges, 328949 markings/sec, 200 secs
lola: 66076108 markings, 101445955 edges, 315622 markings/sec, 205 secs
lola: 67604602 markings, 103811517 edges, 305699 markings/sec, 210 secs
lola: 69017481 markings, 106005374 edges, 282576 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(Si)
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: 1593566 markings, 3100195 edges, 318713 markings/sec, 0 secs
lola: 3165136 markings, 6226389 edges, 314314 markings/sec, 5 secs
lola: 4710930 markings, 9344598 edges, 309159 markings/sec, 10 secs
lola: 6157569 markings, 12281119 edges, 289328 markings/sec, 15 secs
lola: 7634864 markings, 15341492 edges, 295459 markings/sec, 20 secs
lola: 9110187 markings, 18458981 edges, 295065 markings/sec, 25 secs
lola: 10592281 markings, 21566772 edges, 296419 markings/sec, 30 secs
lola: 12049011 markings, 24605160 edges, 291346 markings/sec, 35 secs
lola: 13493597 markings, 27607944 edges, 288917 markings/sec, 40 secs
lola: 14945985 markings, 30637058 edges, 290478 markings/sec, 45 secs
lola: 16428503 markings, 33731328 edges, 296504 markings/sec, 50 secs
lola: 17935779 markings, 36867162 edges, 301455 markings/sec, 55 secs
lola: 19443452 markings, 40006960 edges, 301535 markings/sec, 60 secs
lola: 20951850 markings, 43138255 edges, 301680 markings/sec, 65 secs
lola: 22456269 markings, 46263379 edges, 300884 markings/sec, 70 secs
lola: 23968904 markings, 49414269 edges, 302527 markings/sec, 75 secs
lola: 25485383 markings, 52569798 edges, 303296 markings/sec, 80 secs
lola: 26992641 markings, 55697103 edges, 301452 markings/sec, 85 secs
lola: 28510387 markings, 58851249 edges, 303549 markings/sec, 90 secs
lola: 30036838 markings, 62016940 edges, 305290 markings/sec, 95 secs
lola: 31563758 markings, 65180826 edges, 305384 markings/sec, 100 secs
lola: 33078410 markings, 68305967 edges, 302930 markings/sec, 105 secs
lola: 34587320 markings, 71410241 edges, 301782 markings/sec, 110 secs
lola: 36074260 markings, 74459814 edges, 297388 markings/sec, 115 secs
lola: 37530735 markings, 77475427 edges, 291295 markings/sec, 120 secs
lola: 38891562 markings, 80361916 edges, 272165 markings/sec, 125 secs
lola: 40240964 markings, 83222397 edges, 269880 markings/sec, 130 secs
lola: 41590630 markings, 86077986 edges, 269933 markings/sec, 135 secs
lola: 42938606 markings, 88920275 edges, 269595 markings/sec, 140 secs
lola: 44287228 markings, 91764935 edges, 269724 markings/sec, 145 secs
lola: 45633905 markings, 94596200 edges, 269335 markings/sec, 150 secs
lola: 46974259 markings, 97410919 edges, 268071 markings/sec, 155 secs
lola: 48323479 markings, 100244854 edges, 269844 markings/sec, 160 secs
lola: 49654049 markings, 103037974 edges, 266114 markings/sec, 165 secs
lola: 50985764 markings, 105834382 edges, 266343 markings/sec, 170 secs
lola: 52315259 markings, 108618681 edges, 265899 markings/sec, 175 secs
lola: 53646851 markings, 111409603 edges, 266318 markings/sec, 180 secs
lola: 54972781 markings, 114182360 edges, 265186 markings/sec, 185 secs
lola: 56290440 markings, 116944899 edges, 263532 markings/sec, 190 secs
lola: 57589604 markings, 119665060 edges, 259833 markings/sec, 195 secs
lola: 58872360 markings, 122348422 edges, 256551 markings/sec, 200 secs
lola: 60172867 markings, 125069108 edges, 260101 markings/sec, 205 secs
lola: 61481068 markings, 127804508 edges, 261640 markings/sec, 210 secs
lola: 62786370 markings, 130515734 edges, 261060 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(Mi)
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: 1481660 markings, 3071244 edges, 296332 markings/sec, 0 secs
lola: 2777365 markings, 5844074 edges, 259141 markings/sec, 5 secs
lola: 4028991 markings, 8529075 edges, 250325 markings/sec, 10 secs
lola: 5222845 markings, 11116001 edges, 238771 markings/sec, 15 secs
lola: 6389848 markings, 13653630 edges, 233401 markings/sec, 20 secs
lola: 7547351 markings, 16171888 edges, 231501 markings/sec, 25 secs
lola: 8691284 markings, 18666192 edges, 228787 markings/sec, 30 secs
lola: 9814531 markings, 21116297 edges, 224649 markings/sec, 35 secs
lola: 10915187 markings, 23523947 edges, 220131 markings/sec, 40 secs
lola: 12004224 markings, 25906516 edges, 217807 markings/sec, 45 secs
lola: 13090732 markings, 28284700 edges, 217302 markings/sec, 50 secs
lola: 14184257 markings, 30681938 edges, 218705 markings/sec, 55 secs
lola: 15275851 markings, 33080487 edges, 218319 markings/sec, 60 secs
lola: 16380357 markings, 35500028 edges, 220901 markings/sec, 65 secs
lola: 17480865 markings, 37917035 edges, 220102 markings/sec, 70 secs
lola: 18582490 markings, 40338983 edges, 220325 markings/sec, 75 secs
lola: 19687969 markings, 42767059 edges, 221096 markings/sec, 80 secs
lola: 20785429 markings, 45180529 edges, 219492 markings/sec, 85 secs
lola: 21886307 markings, 47603720 edges, 220176 markings/sec, 90 secs
lola: 22986040 markings, 50025542 edges, 219947 markings/sec, 95 secs
lola: 24089215 markings, 52457233 edges, 220635 markings/sec, 100 secs
lola: 25188670 markings, 54880830 edges, 219891 markings/sec, 105 secs
lola: 26282329 markings, 57293307 edges, 218732 markings/sec, 110 secs
lola: 27383155 markings, 59727468 edges, 220165 markings/sec, 115 secs
lola: 28471400 markings, 62131198 edges, 217649 markings/sec, 120 secs
lola: 29561657 markings, 64538428 edges, 218051 markings/sec, 125 secs
lola: 30662758 markings, 66968402 edges, 220220 markings/sec, 130 secs
lola: 31756436 markings, 69385411 edges, 218736 markings/sec, 135 secs
lola: 32843435 markings, 71788677 edges, 217400 markings/sec, 140 secs
lola: 33930369 markings, 74185612 edges, 217387 markings/sec, 145 secs
lola: 35008884 markings, 76571093 edges, 215703 markings/sec, 150 secs
lola: 36091374 markings, 78963639 edges, 216498 markings/sec, 155 secs
lola: 37186249 markings, 81386151 edges, 218975 markings/sec, 160 secs
lola: 38283764 markings, 83809105 edges, 219503 markings/sec, 165 secs
lola: 39373548 markings, 86218969 edges, 217957 markings/sec, 170 secs
lola: 40455379 markings, 88615100 edges, 216366 markings/sec, 175 secs
lola: 41534116 markings, 91006392 edges, 215747 markings/sec, 180 secs
lola: 42619311 markings, 93410798 edges, 217039 markings/sec, 185 secs
lola: 43705683 markings, 95815723 edges, 217274 markings/sec, 190 secs
lola: 44783385 markings, 98198931 edges, 215540 markings/sec, 195 secs
lola: 45854654 markings, 100575056 edges, 214254 markings/sec, 200 secs
lola: 46923094 markings, 102940962 edges, 213688 markings/sec, 205 secs
lola: 47996041 markings, 105318907 edges, 214589 markings/sec, 210 secs
lola: 49020800 markings, 107589869 edges, 204952 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(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: 2557007 markings, 3029819 edges, 511401 markings/sec, 0 secs
lola: 5155825 markings, 6136953 edges, 519764 markings/sec, 5 secs
lola: 7582344 markings, 9067132 edges, 485304 markings/sec, 10 secs
lola: 10013729 markings, 11994361 edges, 486277 markings/sec, 15 secs
lola: 12388942 markings, 14853975 edges, 475043 markings/sec, 20 secs
lola: 14836186 markings, 17798099 edges, 489449 markings/sec, 25 secs
lola: 17328321 markings, 20804396 edges, 498427 markings/sec, 30 secs
lola: 19793673 markings, 23772748 edges, 493070 markings/sec, 35 secs
lola: 22216970 markings, 26691417 edges, 484659 markings/sec, 40 secs
lola: 24632121 markings, 29602195 edges, 483030 markings/sec, 45 secs
lola: 27030619 markings, 32485843 edges, 479700 markings/sec, 50 secs
lola: 29398155 markings, 35334213 edges, 473507 markings/sec, 55 secs
lola: 31820910 markings, 38297997 edges, 484551 markings/sec, 60 secs
lola: 34378708 markings, 41418016 edges, 511560 markings/sec, 65 secs
lola: 36867518 markings, 44439583 edges, 497762 markings/sec, 70 secs
lola: 39307323 markings, 47419851 edges, 487961 markings/sec, 75 secs
lola: 41722166 markings, 50359759 edges, 482969 markings/sec, 80 secs
lola: 44126864 markings, 53280884 edges, 480940 markings/sec, 85 secs
lola: 46521909 markings, 56184149 edges, 479009 markings/sec, 90 secs
lola: 48850612 markings, 58998198 edges, 465741 markings/sec, 95 secs
lola: 51078024 markings, 61726448 edges, 445482 markings/sec, 100 secs
lola: 53344646 markings, 64468581 edges, 453324 markings/sec, 105 secs
lola: 55540731 markings, 67126654 edges, 439217 markings/sec, 110 secs
lola: 57824155 markings, 69911977 edges, 456685 markings/sec, 115 secs
lola: 60013126 markings, 72551830 edges, 437794 markings/sec, 120 secs
lola: 62286108 markings, 75326314 edges, 454596 markings/sec, 125 secs
lola: 64420137 markings, 77909964 edges, 426806 markings/sec, 130 secs
lola: 66701457 markings, 80676301 edges, 456264 markings/sec, 135 secs
lola: 68915188 markings, 83387791 edges, 442746 markings/sec, 140 secs
lola: 71156792 markings, 86064663 edges, 448321 markings/sec, 145 secs
lola: 73400401 markings, 88820827 edges, 448722 markings/sec, 150 secs
lola: 75592854 markings, 91465357 edges, 438491 markings/sec, 155 secs
lola: 77867182 markings, 94219627 edges, 454866 markings/sec, 160 secs
lola: 80071534 markings, 96923331 edges, 440870 markings/sec, 165 secs
lola: 82279724 markings, 99567356 edges, 441638 markings/sec, 170 secs
lola: 84556685 markings, 102337580 edges, 455392 markings/sec, 175 secs
lola: 86751056 markings, 105028723 edges, 438874 markings/sec, 180 secs
lola: 88978342 markings, 107699663 edges, 445457 markings/sec, 185 secs
lola: 91272447 markings, 110480582 edges, 458821 markings/sec, 190 secs
lola: 93494196 markings, 113204793 edges, 444350 markings/sec, 195 secs
lola: 95702052 markings, 115877976 edges, 441571 markings/sec, 200 secs
lola: 97990366 markings, 118614893 edges, 457663 markings/sec, 205 secs
lola: 100238389 markings, 121375415 edges, 449605 markings/sec, 210 secs
lola: 102428634 markings, 124060952 edges, 438049 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(Cb)
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: 2660900 markings, 3133205 edges, 532180 markings/sec, 0 secs
lola: 5224105 markings, 6149786 edges, 512641 markings/sec, 5 secs
lola: 7746866 markings, 9128883 edges, 504552 markings/sec, 10 secs
lola: 10273239 markings, 12104034 edges, 505275 markings/sec, 15 secs
lola: 12784942 markings, 15074772 edges, 502341 markings/sec, 20 secs
lola: 15298428 markings, 18049820 edges, 502697 markings/sec, 25 secs
lola: 17780436 markings, 20988980 edges, 496402 markings/sec, 30 secs
lola: 20232592 markings, 23892534 edges, 490431 markings/sec, 35 secs
lola: 22673778 markings, 26781950 edges, 488237 markings/sec, 40 secs
lola: 25100298 markings, 29654184 edges, 485304 markings/sec, 45 secs
lola: 27540698 markings, 32571384 edges, 488080 markings/sec, 50 secs
lola: 30149183 markings, 35680871 edges, 521697 markings/sec, 55 secs
lola: 32672695 markings, 38687100 edges, 504702 markings/sec, 60 secs
lola: 35123104 markings, 41614189 edges, 490082 markings/sec, 65 secs
lola: 37508085 markings, 44457230 edges, 476996 markings/sec, 70 secs
lola: 39912443 markings, 47319202 edges, 480872 markings/sec, 75 secs
lola: 42325233 markings, 50187053 edges, 482558 markings/sec, 80 secs
lola: 44725625 markings, 53035805 edges, 480078 markings/sec, 85 secs
lola: 47046000 markings, 55790125 edges, 464075 markings/sec, 90 secs
lola: 49416375 markings, 58628435 edges, 474075 markings/sec, 95 secs
lola: 51792013 markings, 61438805 edges, 475128 markings/sec, 100 secs
lola: 54073013 markings, 64157903 edges, 456200 markings/sec, 105 secs
lola: 56440242 markings, 66970679 edges, 473446 markings/sec, 110 secs
lola: 58673958 markings, 69623918 edges, 446743 markings/sec, 115 secs
lola: 61010798 markings, 72404639 edges, 467368 markings/sec, 120 secs
lola: 63234463 markings, 75053236 edges, 444733 markings/sec, 125 secs
lola: 65562106 markings, 77810968 edges, 465529 markings/sec, 130 secs
lola: 67824214 markings, 80522265 edges, 452422 markings/sec, 135 secs
lola: 70114226 markings, 83210921 edges, 458002 markings/sec, 140 secs
lola: 72427284 markings, 85986763 edges, 462612 markings/sec, 145 secs
lola: 74676267 markings, 88648966 edges, 449797 markings/sec, 150 secs
lola: 77033007 markings, 91449611 edges, 471348 markings/sec, 155 secs
lola: 79297621 markings, 94164009 edges, 452923 markings/sec, 160 secs
lola: 81549041 markings, 96811293 edges, 450284 markings/sec, 165 secs
lola: 83894790 markings, 99612460 edges, 469150 markings/sec, 170 secs
lola: 86146151 markings, 102311525 edges, 450272 markings/sec, 175 secs
lola: 88400815 markings, 104958763 edges, 450933 markings/sec, 180 secs
lola: 90755983 markings, 107770340 edges, 471034 markings/sec, 185 secs
lola: 93016093 markings, 110478826 edges, 452022 markings/sec, 190 secs
lola: 95268352 markings, 113134791 edges, 450452 markings/sec, 195 secs
lola: 97625672 markings, 115934676 edges, 471464 markings/sec, 200 secs
lola: 99882427 markings, 118638845 edges, 451351 markings/sec, 205 secs
lola: 102125942 markings, 121312485 edges, 448703 markings/sec, 210 secs
lola: 104389241 markings, 123965748 edges, 452660 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(Si)
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: 1735617 markings, 3379691 edges, 347123 markings/sec, 0 secs
lola: 3356975 markings, 6611757 edges, 324272 markings/sec, 5 secs
lola: 4953118 markings, 9834810 edges, 319229 markings/sec, 10 secs
lola: 6528297 markings, 13035529 edges, 315036 markings/sec, 15 secs
lola: 8119738 markings, 16370465 edges, 318288 markings/sec, 20 secs
lola: 9691509 markings, 19677087 edges, 314354 markings/sec, 25 secs
lola: 11253895 markings, 22943431 edges, 312477 markings/sec, 30 secs
lola: 12810601 markings, 26186294 edges, 311341 markings/sec, 35 secs
lola: 14369523 markings, 29431501 edges, 311784 markings/sec, 40 secs
lola: 15925784 markings, 32676745 edges, 311252 markings/sec, 45 secs
lola: 17475442 markings, 35905075 edges, 309932 markings/sec, 50 secs
lola: 19016102 markings, 39108628 edges, 308132 markings/sec, 55 secs
lola: 20557321 markings, 42317589 edges, 308244 markings/sec, 60 secs
lola: 22096465 markings, 45521143 edges, 307829 markings/sec, 65 secs
lola: 23624424 markings, 48688026 edges, 305592 markings/sec, 70 secs
lola: 25182488 markings, 51942904 edges, 311613 markings/sec, 75 secs
lola: 26724422 markings, 55146332 edges, 308387 markings/sec, 80 secs
lola: 28269596 markings, 58351869 edges, 309035 markings/sec, 85 secs
lola: 29817427 markings, 61558499 edges, 309566 markings/sec, 90 secs
lola: 31373187 markings, 64785967 edges, 311152 markings/sec, 95 secs
lola: 32918516 markings, 67975319 edges, 309066 markings/sec, 100 secs
lola: 34457811 markings, 71145402 edges, 307859 markings/sec, 105 secs
lola: 35974559 markings, 74256556 edges, 303350 markings/sec, 110 secs
lola: 37432822 markings, 77267817 edges, 291653 markings/sec, 115 secs
lola: 38821395 markings, 80213355 edges, 277715 markings/sec, 120 secs
lola: 40194355 markings, 83123527 edges, 274592 markings/sec, 125 secs
lola: 41565036 markings, 86023839 edges, 274136 markings/sec, 130 secs
lola: 42936201 markings, 88915169 edges, 274233 markings/sec, 135 secs
lola: 44306304 markings, 91805600 edges, 274021 markings/sec, 140 secs
lola: 45675010 markings, 94682637 edges, 273741 markings/sec, 145 secs
lola: 47040908 markings, 97551993 edges, 273180 markings/sec, 150 secs
lola: 48416156 markings, 100438559 edges, 275050 markings/sec, 155 secs
lola: 49782676 markings, 103307862 edges, 273304 markings/sec, 160 secs
lola: 51153268 markings, 106184170 edges, 274118 markings/sec, 165 secs
lola: 52506806 markings, 109019989 edges, 270708 markings/sec, 170 secs
lola: 53848525 markings, 111833059 edges, 268344 markings/sec, 175 secs
lola: 55181011 markings, 114617416 edges, 266497 markings/sec, 180 secs
lola: 56528722 markings, 117446595 edges, 269542 markings/sec, 185 secs
lola: 57891108 markings, 120297883 edges, 272477 markings/sec, 190 secs
lola: 59250834 markings, 123141289 edges, 271945 markings/sec, 195 secs
lola: 60621367 markings, 126008785 edges, 274107 markings/sec, 200 secs
lola: 61997227 markings, 128874897 edges, 275172 markings/sec, 205 secs
lola: 63362999 markings, 131710666 edges, 273154 markings/sec, 210 secs
lola: 64716126 markings, 134506327 edges, 270625 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(SR)
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: 2136567 markings, 3150152 edges, 427313 markings/sec, 0 secs
lola: 4123151 markings, 6100228 edges, 397317 markings/sec, 5 secs
lola: 6065570 markings, 8989333 edges, 388484 markings/sec, 10 secs
lola: 7962807 markings, 11813319 edges, 379447 markings/sec, 15 secs
lola: 9829283 markings, 14591570 edges, 373295 markings/sec, 20 secs
lola: 11672157 markings, 17338775 edges, 368575 markings/sec, 25 secs
lola: 13484283 markings, 20047493 edges, 362425 markings/sec, 30 secs
lola: 15277683 markings, 22740452 edges, 358680 markings/sec, 35 secs
lola: 17123817 markings, 25501665 edges, 369227 markings/sec, 40 secs
lola: 18996736 markings, 28301554 edges, 374584 markings/sec, 45 secs
lola: 20799718 markings, 31007340 edges, 360596 markings/sec, 50 secs
lola: 22533612 markings, 33611918 edges, 346779 markings/sec, 55 secs
lola: 24234561 markings, 36167483 edges, 340190 markings/sec, 60 secs
lola: 25951602 markings, 38751708 edges, 343408 markings/sec, 65 secs
lola: 27727353 markings, 41428943 edges, 355150 markings/sec, 70 secs
lola: 28292650 markings, 43686646 edges, 113059 markings/sec, 75 secs
lola: 28798505 markings, 45926540 edges, 101171 markings/sec, 80 secs
lola: 29318580 markings, 48145933 edges, 104015 markings/sec, 85 secs
lola: 30234727 markings, 50760761 edges, 183229 markings/sec, 90 secs
lola: 31703476 markings, 53585986 edges, 293750 markings/sec, 95 secs
lola: 33191540 markings, 56450250 edges, 297613 markings/sec, 100 secs
lola: 34666493 markings, 59292845 edges, 294991 markings/sec, 105 secs
lola: 36156408 markings, 62178462 edges, 297983 markings/sec, 110 secs
lola: 37655711 markings, 65072548 edges, 299861 markings/sec, 115 secs
lola: 39210600 markings, 68069740 edges, 310978 markings/sec, 120 secs
lola: 40763265 markings, 71065046 edges, 310533 markings/sec, 125 secs
lola: 42327431 markings, 74084306 edges, 312833 markings/sec, 130 secs
lola: 43885980 markings, 77072498 edges, 311710 markings/sec, 135 secs
lola: 45456991 markings, 80100039 edges, 314202 markings/sec, 140 secs
lola: 47048374 markings, 83141527 edges, 318277 markings/sec, 145 secs
lola: 48619716 markings, 86154691 edges, 314268 markings/sec, 150 secs
lola: 50236708 markings, 89226068 edges, 323398 markings/sec, 155 secs
lola: 51930652 markings, 92341535 edges, 338789 markings/sec, 160 secs
lola: 53556127 markings, 95240884 edges, 325095 markings/sec, 165 secs
lola: 55203584 markings, 98183403 edges, 329491 markings/sec, 170 secs
lola: 56821971 markings, 101073437 edges, 323677 markings/sec, 175 secs
lola: 58471019 markings, 104014332 edges, 329810 markings/sec, 180 secs
lola: 60115400 markings, 106950114 edges, 328876 markings/sec, 185 secs
lola: 61762187 markings, 109892523 edges, 329357 markings/sec, 190 secs
lola: 63398803 markings, 112810756 edges, 327323 markings/sec, 195 secs
lola: 65052039 markings, 115766858 edges, 330647 markings/sec, 200 secs
lola: 66703623 markings, 118704269 edges, 330317 markings/sec, 205 secs
lola: 68342692 markings, 121634750 edges, 327814 markings/sec, 210 secs
lola: 70013156 markings, 124596040 edges, 334093 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(SG)
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: 2287377 markings, 2892192 edges, 457475 markings/sec, 0 secs
lola: 4447130 markings, 5604412 edges, 431951 markings/sec, 5 secs
lola: 6654045 markings, 8413564 edges, 441383 markings/sec, 10 secs
lola: 8825743 markings, 11287489 edges, 434340 markings/sec, 15 secs
lola: 10942602 markings, 14164500 edges, 423372 markings/sec, 20 secs
lola: 13054541 markings, 17045827 edges, 422388 markings/sec, 25 secs
lola: 15147633 markings, 19901128 edges, 418618 markings/sec, 30 secs
lola: 17260137 markings, 22774419 edges, 422501 markings/sec, 35 secs
lola: 19383313 markings, 25606486 edges, 424635 markings/sec, 40 secs
lola: 21482055 markings, 28396432 edges, 419748 markings/sec, 45 secs
lola: 23556736 markings, 31155895 edges, 414936 markings/sec, 50 secs
lola: 25619046 markings, 33895457 edges, 412462 markings/sec, 55 secs
lola: 27679417 markings, 36632698 edges, 412074 markings/sec, 60 secs
lola: 29739761 markings, 39366271 edges, 412069 markings/sec, 65 secs
lola: 31821489 markings, 42118015 edges, 416346 markings/sec, 70 secs
lola: 33971630 markings, 44950611 edges, 430028 markings/sec, 75 secs
lola: 36053881 markings, 47692599 edges, 416450 markings/sec, 80 secs
lola: 37357973 markings, 49982005 edges, 260818 markings/sec, 85 secs
lola: 37950376 markings, 51927275 edges, 118481 markings/sec, 90 secs
lola: 39378954 markings, 54453804 edges, 285716 markings/sec, 95 secs
lola: 41297017 markings, 57308012 edges, 383613 markings/sec, 100 secs
lola: 43213667 markings, 60176866 edges, 383330 markings/sec, 105 secs
lola: 45119906 markings, 63051392 edges, 381248 markings/sec, 110 secs
lola: 47085031 markings, 65924645 edges, 393025 markings/sec, 115 secs
lola: 49046261 markings, 68837637 edges, 392246 markings/sec, 120 secs
lola: 51007895 markings, 71744600 edges, 392327 markings/sec, 125 secs
lola: 52996880 markings, 74654291 edges, 397797 markings/sec, 130 secs
lola: 54950681 markings, 77524117 edges, 390760 markings/sec, 135 secs
lola: 56876999 markings, 80399777 edges, 385264 markings/sec, 140 secs
lola: 58808799 markings, 83136774 edges, 386360 markings/sec, 145 secs
lola: 60659363 markings, 85955657 edges, 370113 markings/sec, 150 secs
lola: 62585593 markings, 88753769 edges, 385246 markings/sec, 155 secs
lola: 64514496 markings, 91473642 edges, 385781 markings/sec, 160 secs
lola: 66352738 markings, 94291671 edges, 367648 markings/sec, 165 secs
lola: 68295324 markings, 97112161 edges, 388517 markings/sec, 170 secs
lola: 70223551 markings, 99829697 edges, 385645 markings/sec, 175 secs
lola: 72097511 markings, 102643763 edges, 374792 markings/sec, 180 secs
lola: 74043060 markings, 105526292 edges, 389110 markings/sec, 185 secs
lola: 75967869 markings, 108250934 edges, 384962 markings/sec, 190 secs
lola: 77944173 markings, 111045753 edges, 395261 markings/sec, 195 secs
lola: 79747755 markings, 113830214 edges, 360716 markings/sec, 200 secs
lola: 81717178 markings, 116681270 edges, 393885 markings/sec, 205 secs
lola: 83618202 markings, 119355639 edges, 380205 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MwU)
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: 2039107 markings, 3061419 edges, 407821 markings/sec, 0 secs
lola: 3992104 markings, 5980831 edges, 390599 markings/sec, 5 secs
lola: 5888599 markings, 8811835 edges, 379299 markings/sec, 10 secs
lola: 7764048 markings, 11605847 edges, 375090 markings/sec, 15 secs
lola: 9624139 markings, 14370993 edges, 372018 markings/sec, 20 secs
lola: 11470590 markings, 17113975 edges, 369290 markings/sec, 25 secs
lola: 13305270 markings, 19837830 edges, 366936 markings/sec, 30 secs
lola: 15115096 markings, 22523525 edges, 361965 markings/sec, 35 secs
lola: 16771496 markings, 25212506 edges, 331280 markings/sec, 40 secs
lola: 18342597 markings, 27878837 edges, 314220 markings/sec, 45 secs
lola: 19924763 markings, 30557613 edges, 316433 markings/sec, 50 secs
lola: 21509974 markings, 33234059 edges, 317042 markings/sec, 55 secs
lola: 23096387 markings, 35917932 edges, 317283 markings/sec, 60 secs
lola: 24679559 markings, 38593630 edges, 316634 markings/sec, 65 secs
lola: 26258132 markings, 41259526 edges, 315715 markings/sec, 70 secs
lola: 27819867 markings, 43898438 edges, 312347 markings/sec, 75 secs
lola: 29348352 markings, 46481425 edges, 305697 markings/sec, 80 secs
lola: 30896109 markings, 49097888 edges, 309551 markings/sec, 85 secs
lola: 32508905 markings, 51824199 edges, 322559 markings/sec, 90 secs
lola: 34190450 markings, 54660791 edges, 336309 markings/sec, 95 secs
lola: 35152728 markings, 57025963 edges, 192456 markings/sec, 100 secs
lola: 35655301 markings, 58996370 edges, 100515 markings/sec, 105 secs
lola: 36285020 markings, 61026276 edges, 125944 markings/sec, 110 secs
lola: 37011842 markings, 63178030 edges, 145364 markings/sec, 115 secs
lola: 38286458 markings, 65727894 edges, 254923 markings/sec, 120 secs
lola: 39491499 markings, 68139118 edges, 241008 markings/sec, 125 secs
lola: 40684641 markings, 70526938 edges, 238628 markings/sec, 130 secs
lola: 41867302 markings, 72893616 edges, 236532 markings/sec, 135 secs
lola: 43038958 markings, 75239352 edges, 234331 markings/sec, 140 secs
lola: 44360000 markings, 77706344 edges, 264208 markings/sec, 145 secs
lola: 45901902 markings, 80292744 edges, 308380 markings/sec, 150 secs
lola: 47475224 markings, 82936087 edges, 314664 markings/sec, 155 secs
lola: 49054064 markings, 85589343 edges, 315768 markings/sec, 160 secs
lola: 50764417 markings, 88526607 edges, 342071 markings/sec, 165 secs
lola: 52289360 markings, 91231372 edges, 304989 markings/sec, 170 secs
lola: 53773220 markings, 93868315 edges, 296772 markings/sec, 175 secs
lola: 55238198 markings, 96471651 edges, 292996 markings/sec, 180 secs
lola: 56700320 markings, 99068563 edges, 292424 markings/sec, 185 secs
lola: 58149465 markings, 101662074 edges, 289829 markings/sec, 190 secs
lola: 59667356 markings, 104357334 edges, 303578 markings/sec, 195 secs
lola: 61302160 markings, 107114040 edges, 326961 markings/sec, 200 secs
lola: 62959867 markings, 109909767 edges, 331541 markings/sec, 205 secs
lola: 64591142 markings, 112659214 edges, 326255 markings/sec, 210 secs
lola: 66296293 markings, 115583623 edges, 341030 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 220 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: 2801772 markings, 3258201 edges, 560354 markings/sec, 0 secs
lola: 5477119 markings, 6382389 edges, 535069 markings/sec, 5 secs
lola: 8094475 markings, 9438134 edges, 523471 markings/sec, 10 secs
lola: 10692853 markings, 12472499 edges, 519676 markings/sec, 15 secs
lola: 13273443 markings, 15495099 edges, 516118 markings/sec, 20 secs
lola: 15813194 markings, 18471055 edges, 507950 markings/sec, 25 secs
lola: 18369421 markings, 21465667 edges, 511245 markings/sec, 30 secs
lola: 20844431 markings, 24385620 edges, 495002 markings/sec, 35 secs
lola: 23452835 markings, 27441621 edges, 521681 markings/sec, 40 secs
lola: 25975378 markings, 30402339 edges, 504509 markings/sec, 45 secs
lola: 28448773 markings, 33296977 edges, 494679 markings/sec, 50 secs
lola: 30893847 markings, 36167675 edges, 489015 markings/sec, 55 secs
lola: 33318420 markings, 39011762 edges, 484915 markings/sec, 60 secs
lola: 35738598 markings, 41848162 edges, 484036 markings/sec, 65 secs
lola: 38147059 markings, 44668473 edges, 481692 markings/sec, 70 secs
lola: 40547958 markings, 47477648 edges, 480180 markings/sec, 75 secs
lola: 42917344 markings, 50248589 edges, 473877 markings/sec, 80 secs
lola: 45307243 markings, 53063248 edges, 477980 markings/sec, 85 secs
lola: 47689638 markings, 55849654 edges, 476479 markings/sec, 90 secs
lola: 50038034 markings, 58595913 edges, 469679 markings/sec, 95 secs
lola: 52421291 markings, 61401371 edges, 476651 markings/sec, 100 secs
lola: 54783003 markings, 64156523 edges, 472342 markings/sec, 105 secs
lola: 57139662 markings, 66935765 edges, 471332 markings/sec, 110 secs
lola: 59500665 markings, 69687901 edges, 472201 markings/sec, 115 secs
lola: 61846355 markings, 72453496 edges, 469138 markings/sec, 120 secs
lola: 64187558 markings, 75181527 edges, 468241 markings/sec, 125 secs
lola: 66564362 markings, 77983399 edges, 475361 markings/sec, 130 secs
lola: 68917769 markings, 80736198 edges, 470681 markings/sec, 135 secs
lola: 71283087 markings, 83512597 edges, 473064 markings/sec, 140 secs
lola: 73632033 markings, 86273458 edges, 469789 markings/sec, 145 secs
lola: 75999245 markings, 89037578 edges, 473442 markings/sec, 150 secs
lola: 78346459 markings, 91804324 edges, 469443 markings/sec, 155 secs
lola: 80691932 markings, 94544357 edges, 469095 markings/sec, 160 secs
lola: 83053653 markings, 97317427 edges, 472344 markings/sec, 165 secs
lola: 85396423 markings, 100079175 edges, 468554 markings/sec, 170 secs
lola: 87731876 markings, 102806448 edges, 467091 markings/sec, 175 secs
lola: 90090908 markings, 105575646 edges, 471806 markings/sec, 180 secs
lola: 92427513 markings, 108330175 edges, 467321 markings/sec, 185 secs
lola: 94762155 markings, 111057075 edges, 466928 markings/sec, 190 secs
lola: 97121368 markings, 113824746 edges, 471843 markings/sec, 195 secs
lola: 99457711 markings, 116578111 edges, 467269 markings/sec, 200 secs
lola: 101794988 markings, 119308703 edges, 467455 markings/sec, 205 secs
lola: 104147976 markings, 122068298 edges, 470598 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 2778991 markings, 3231869 edges, 555798 markings/sec, 0 secs
lola: 5457871 markings, 6359342 edges, 535776 markings/sec, 5 secs
lola: 8075705 markings, 9416289 edges, 523567 markings/sec, 10 secs
lola: 10678547 markings, 12455753 edges, 520568 markings/sec, 15 secs
lola: 13261823 markings, 15481599 edges, 516655 markings/sec, 20 secs
lola: 15810061 markings, 18467386 edges, 509648 markings/sec, 25 secs
lola: 18368365 markings, 21464373 edges, 511661 markings/sec, 30 secs
lola: 20867237 markings, 24412449 edges, 499774 markings/sec, 35 secs
lola: 23504951 markings, 27503280 edges, 527543 markings/sec, 40 secs
lola: 26057278 markings, 30499128 edges, 510465 markings/sec, 45 secs
lola: 28572360 markings, 33442706 edges, 503016 markings/sec, 50 secs
lola: 31039513 markings, 36339669 edges, 493431 markings/sec, 55 secs
lola: 33486245 markings, 39209114 edges, 489346 markings/sec, 60 secs
lola: 35920627 markings, 42062584 edges, 486876 markings/sec, 65 secs
lola: 38347685 markings, 44905192 edges, 485412 markings/sec, 70 secs
lola: 40763804 markings, 47732303 edges, 483224 markings/sec, 75 secs
lola: 43160435 markings, 50534688 edges, 479326 markings/sec, 80 secs
lola: 45554777 markings, 53348734 edges, 478868 markings/sec, 85 secs
lola: 47951042 markings, 56157973 edges, 479253 markings/sec, 90 secs
lola: 50303552 markings, 58904597 edges, 470502 markings/sec, 95 secs
lola: 52712966 markings, 61745769 edges, 481883 markings/sec, 100 secs
lola: 55098226 markings, 64528128 edges, 477052 markings/sec, 105 secs
lola: 57459007 markings, 67310121 edges, 472156 markings/sec, 110 secs
lola: 59820491 markings, 70064970 edges, 472297 markings/sec, 115 secs
lola: 62168775 markings, 72833077 edges, 469657 markings/sec, 120 secs
lola: 64522383 markings, 75576046 edges, 470722 markings/sec, 125 secs
lola: 66868623 markings, 78342044 edges, 469248 markings/sec, 130 secs
lola: 69182538 markings, 81041420 edges, 462783 markings/sec, 135 secs
lola: 71551836 markings, 83829454 edges, 473860 markings/sec, 140 secs
lola: 73875730 markings, 86555356 edges, 464779 markings/sec, 145 secs
lola: 76218647 markings, 89296220 edges, 468583 markings/sec, 150 secs
lola: 78548299 markings, 92042191 edges, 465930 markings/sec, 155 secs
lola: 80860803 markings, 94745304 edges, 462501 markings/sec, 160 secs
lola: 83202362 markings, 97492664 edges, 468312 markings/sec, 165 secs
lola: 85523040 markings, 100228292 edges, 464136 markings/sec, 170 secs
lola: 87826229 markings, 102915195 edges, 460638 markings/sec, 175 secs
lola: 90179348 markings, 105679888 edges, 470624 markings/sec, 180 secs
lola: 92491773 markings, 108405763 edges, 462485 markings/sec, 185 secs
lola: 94793230 markings, 111094613 edges, 460291 markings/sec, 190 secs
lola: 97144136 markings, 113851560 edges, 470181 markings/sec, 195 secs
lola: 99476052 markings, 116599681 edges, 466383 markings/sec, 200 secs
lola: 101803024 markings, 119318125 edges, 465394 markings/sec, 205 secs
lola: 104138745 markings, 122057400 edges, 467144 markings/sec, 210 secs
lola: 106471631 markings, 124806498 edges, 466577 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Mi)
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: 1494895 markings, 3099904 edges, 298979 markings/sec, 0 secs
lola: 2809296 markings, 5911407 edges, 262880 markings/sec, 5 secs
lola: 4086654 markings, 8653129 edges, 255472 markings/sec, 10 secs
lola: 5309375 markings, 11305385 edges, 244544 markings/sec, 15 secs
lola: 6514126 markings, 13923593 edges, 240950 markings/sec, 20 secs
lola: 7702639 markings, 16511770 edges, 237703 markings/sec, 25 secs
lola: 8881597 markings, 19082453 edges, 235792 markings/sec, 30 secs
lola: 10057001 markings, 21646606 edges, 235081 markings/sec, 35 secs
lola: 11209625 markings, 24169793 edges, 230525 markings/sec, 40 secs
lola: 12357051 markings, 26678346 edges, 229485 markings/sec, 45 secs
lola: 13503009 markings, 29188648 edges, 229192 markings/sec, 50 secs
lola: 14640062 markings, 31683638 edges, 227411 markings/sec, 55 secs
lola: 15768608 markings, 34160673 edges, 225709 markings/sec, 60 secs
lola: 16900006 markings, 36642390 edges, 226280 markings/sec, 65 secs
lola: 18033076 markings, 39131719 edges, 226614 markings/sec, 70 secs
lola: 19163994 markings, 41617777 edges, 226184 markings/sec, 75 secs
lola: 20297971 markings, 44109531 edges, 226795 markings/sec, 80 secs
lola: 21422926 markings, 46582046 edges, 224991 markings/sec, 85 secs
lola: 22549969 markings, 49064293 edges, 225409 markings/sec, 90 secs
lola: 23668854 markings, 51531067 edges, 223777 markings/sec, 95 secs
lola: 24788105 markings, 53995418 edges, 223850 markings/sec, 100 secs
lola: 25897238 markings, 56442223 edges, 221827 markings/sec, 105 secs
lola: 27008219 markings, 58898445 edges, 222196 markings/sec, 110 secs
lola: 28116931 markings, 61347516 edges, 221742 markings/sec, 115 secs
lola: 29218269 markings, 63779701 edges, 220268 markings/sec, 120 secs
lola: 30327335 markings, 66229553 edges, 221813 markings/sec, 125 secs
lola: 31436433 markings, 68679751 edges, 221820 markings/sec, 130 secs
lola: 32537436 markings, 71113351 edges, 220201 markings/sec, 135 secs
lola: 33640066 markings, 73543725 edges, 220526 markings/sec, 140 secs
lola: 34737042 markings, 75969263 edges, 219395 markings/sec, 145 secs
lola: 35832675 markings, 78393574 edges, 219127 markings/sec, 150 secs
lola: 36937262 markings, 80833624 edges, 220917 markings/sec, 155 secs
lola: 38045252 markings, 83280902 edges, 221598 markings/sec, 160 secs
lola: 39149944 markings, 85723393 edges, 220938 markings/sec, 165 secs
lola: 40243293 markings, 88144806 edges, 218670 markings/sec, 170 secs
lola: 41338011 markings, 90570089 edges, 218944 markings/sec, 175 secs
lola: 42436189 markings, 93003739 edges, 219636 markings/sec, 180 secs
lola: 43523661 markings, 95413490 edges, 217494 markings/sec, 185 secs
lola: 44603100 markings, 97799674 edges, 215888 markings/sec, 190 secs
lola: 45677481 markings, 100181973 edges, 214876 markings/sec, 195 secs
lola: 46761756 markings, 102584974 edges, 216855 markings/sec, 200 secs
lola: 47857430 markings, 105009571 edges, 219135 markings/sec, 205 secs
lola: 48950124 markings, 107433901 edges, 218539 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Si)
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: 1753924 markings, 3415317 edges, 350785 markings/sec, 0 secs
lola: 3403923 markings, 6706452 edges, 330000 markings/sec, 5 secs
lola: 5018831 markings, 9967759 edges, 322982 markings/sec, 10 secs
lola: 6609649 markings, 13201835 edges, 318164 markings/sec, 15 secs
lola: 8216093 markings, 16573986 edges, 321289 markings/sec, 20 secs
lola: 9804367 markings, 19916179 edges, 317655 markings/sec, 25 secs
lola: 11371042 markings, 23188172 edges, 313335 markings/sec, 30 secs
lola: 12928070 markings, 26428482 edges, 311406 markings/sec, 35 secs
lola: 14490537 markings, 29687909 edges, 312493 markings/sec, 40 secs
lola: 16037102 markings, 32905710 edges, 309313 markings/sec, 45 secs
lola: 17578788 markings, 36117884 edges, 308337 markings/sec, 50 secs
lola: 19116373 markings, 39319696 edges, 307517 markings/sec, 55 secs
lola: 20646899 markings, 42499428 edges, 306105 markings/sec, 60 secs
lola: 22185786 markings, 45706093 edges, 307777 markings/sec, 65 secs
lola: 23712492 markings, 48874003 edges, 305341 markings/sec, 70 secs
lola: 25264053 markings, 52111879 edges, 310312 markings/sec, 75 secs
lola: 26803874 markings, 55309871 edges, 307964 markings/sec, 80 secs
lola: 28357573 markings, 58536546 edges, 310740 markings/sec, 85 secs
lola: 29918929 markings, 61772249 edges, 312271 markings/sec, 90 secs
lola: 31482323 markings, 65011953 edges, 312679 markings/sec, 95 secs
lola: 33038082 markings, 68222698 edges, 311152 markings/sec, 100 secs
lola: 34586328 markings, 71408238 edges, 309649 markings/sec, 105 secs
lola: 36111426 markings, 74536094 edges, 305020 markings/sec, 110 secs
lola: 37605839 markings, 77634477 edges, 298883 markings/sec, 115 secs
lola: 39004609 markings, 80601920 edges, 279754 markings/sec, 120 secs
lola: 40387195 markings, 83532040 edges, 276517 markings/sec, 125 secs
lola: 41771720 markings, 86459930 edges, 276905 markings/sec, 130 secs
lola: 43151157 markings, 89369236 edges, 275887 markings/sec, 135 secs
lola: 44529399 markings, 92273313 edges, 275648 markings/sec, 140 secs
lola: 45908228 markings, 95173492 edges, 275766 markings/sec, 145 secs
lola: 47283287 markings, 98063438 edges, 275012 markings/sec, 150 secs
lola: 48662064 markings, 100954309 edges, 275755 markings/sec, 155 secs
lola: 50038702 markings, 103847251 edges, 275328 markings/sec, 160 secs
lola: 51414172 markings, 106732096 edges, 275094 markings/sec, 165 secs
lola: 52789246 markings, 109612784 edges, 275015 markings/sec, 170 secs
lola: 54169256 markings, 112501133 edges, 276002 markings/sec, 175 secs
lola: 55546075 markings, 115383965 edges, 275364 markings/sec, 180 secs
lola: 56928943 markings, 118284387 edges, 276574 markings/sec, 185 secs
lola: 58306051 markings, 121164246 edges, 275422 markings/sec, 190 secs
lola: 59688774 markings, 124064732 edges, 276545 markings/sec, 195 secs
lola: 61071880 markings, 126950393 edges, 276621 markings/sec, 200 secs
lola: 62452327 markings, 129820163 edges, 276089 markings/sec, 205 secs
lola: 63823778 markings, 132664798 edges, 274290 markings/sec, 210 secs
lola: 64915348 markings, 135349824 edges, 218314 markings/sec, 215 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-N0020P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496605694793

--------------------
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-N0020P0"
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-N0020P0.tgz
mv ClientsAndServers-PT-N0020P0 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-N0020P0, 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-149580920000218"
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 ;