Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Echo-PT-d03r03, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100272
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Echo-PT-d03r03-UpperBounds-0
FORMULA_NAME Echo-PT-d03r03-UpperBounds-1
FORMULA_NAME Echo-PT-d03r03-UpperBounds-10
FORMULA_NAME Echo-PT-d03r03-UpperBounds-11
FORMULA_NAME Echo-PT-d03r03-UpperBounds-12
FORMULA_NAME Echo-PT-d03r03-UpperBounds-13
FORMULA_NAME Echo-PT-d03r03-UpperBounds-14
FORMULA_NAME Echo-PT-d03r03-UpperBounds-15
FORMULA_NAME Echo-PT-d03r03-UpperBounds-2
FORMULA_NAME Echo-PT-d03r03-UpperBounds-3
FORMULA_NAME Echo-PT-d03r03-UpperBounds-4
FORMULA_NAME Echo-PT-d03r03-UpperBounds-5
FORMULA_NAME Echo-PT-d03r03-UpperBounds-6
FORMULA_NAME Echo-PT-d03r03-UpperBounds-7
FORMULA_NAME Echo-PT-d03r03-UpperBounds-8
FORMULA_NAME Echo-PT-d03r03-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494688954352


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d03r03 @ 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: 471/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 265 places, 206 transitions, 130 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 406 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d03r03-UpperBounds.task
lola: MAX(p56) : MAX(p169) : MAX(p187) : MAX(p25) : MAX(p29) : MAX(p256) : MAX(p100) : MAX(p42) : MAX(p180) : MAX(p113) : MAX(p127) : MAX(p216) : MAX(p98) : MAX(p205) : MAX(p154) : MAX(p87)
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(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3441407 markings, 4374435 edges, 688281 markings/sec, 0 secs
lola: 7254259 markings, 8638705 edges, 762570 markings/sec, 5 secs
lola: 11157184 markings, 12996377 edges, 780585 markings/sec, 10 secs
lola: 14512881 markings, 17389064 edges, 671139 markings/sec, 15 secs
lola: 18528093 markings, 21716588 edges, 803042 markings/sec, 20 secs
lola: 22061304 markings, 26046639 edges, 706642 markings/sec, 25 secs
lola: 23949645 markings, 30395107 edges, 377668 markings/sec, 30 secs
lola: 25225290 markings, 34747072 edges, 255129 markings/sec, 35 secs
lola: 27255445 markings, 38908051 edges, 406031 markings/sec, 40 secs
lola: 29660643 markings, 43016389 edges, 481040 markings/sec, 45 secs
lola: 31394254 markings, 47442337 edges, 346722 markings/sec, 50 secs
lola: 34021508 markings, 51664840 edges, 525451 markings/sec, 55 secs
lola: 37594953 markings, 55770029 edges, 714689 markings/sec, 60 secs
lola: 41195060 markings, 59855728 edges, 720021 markings/sec, 65 secs
lola: 44437647 markings, 63759886 edges, 648517 markings/sec, 70 secs
lola: 47854306 markings, 67848416 edges, 683332 markings/sec, 75 secs
lola: 51715414 markings, 72225286 edges, 772222 markings/sec, 80 secs
lola: 55374913 markings, 76360381 edges, 731900 markings/sec, 85 secs
lola: 59203726 markings, 80690686 edges, 765763 markings/sec, 90 secs
lola: 62771470 markings, 84821021 edges, 713549 markings/sec, 95 secs
lola: 66650016 markings, 89203110 edges, 775709 markings/sec, 100 secs
lola: 70453760 markings, 93503538 edges, 760749 markings/sec, 105 secs
lola: 74182600 markings, 97748219 edges, 745768 markings/sec, 110 secs
lola: 77926190 markings, 102060661 edges, 748718 markings/sec, 115 secs
lola: 81446210 markings, 106094022 edges, 704004 markings/sec, 120 secs
lola: 84672908 markings, 109908414 edges, 645340 markings/sec, 125 secs
lola: 88022702 markings, 113798423 edges, 669959 markings/sec, 130 secs
lola: 91429269 markings, 117712908 edges, 681313 markings/sec, 135 secs
lola: 94529811 markings, 121394937 edges, 620108 markings/sec, 140 secs
lola: 97770053 markings, 125228515 edges, 648048 markings/sec, 145 secs
lola: 100984220 markings, 129048935 edges, 642833 markings/sec, 150 secs
lola: 104215815 markings, 132903600 edges, 646319 markings/sec, 155 secs
lola: 107613558 markings, 136882908 edges, 679549 markings/sec, 160 secs
lola: 111456240 markings, 141259566 edges, 768536 markings/sec, 165 secs
lola: 114516483 markings, 145463918 edges, 612049 markings/sec, 170 secs
lola: 117775337 markings, 149616408 edges, 651771 markings/sec, 175 secs
lola: 120362805 markings, 153481912 edges, 517494 markings/sec, 180 secs
lola: 122551789 markings, 157706393 edges, 437797 markings/sec, 185 secs
lola: 125118342 markings, 161733834 edges, 513311 markings/sec, 190 secs
lola: 128341236 markings, 165843240 edges, 644579 markings/sec, 195 secs
lola: 131935510 markings, 169779276 edges, 718855 markings/sec, 200 secs
lola: 135310983 markings, 173611774 edges, 675095 markings/sec, 205 secs
lola: 138532874 markings, 177334681 edges, 644378 markings/sec, 210 secs
lola: 141837712 markings, 181411954 edges, 660968 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(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3566774 markings, 4343155 edges, 713355 markings/sec, 0 secs
lola: 7504317 markings, 8593867 edges, 787509 markings/sec, 5 secs
lola: 10465197 markings, 12703425 edges, 592176 markings/sec, 10 secs
lola: 12965793 markings, 16755051 edges, 500119 markings/sec, 15 secs
lola: 16302289 markings, 20811331 edges, 667299 markings/sec, 20 secs
lola: 19748751 markings, 24761285 edges, 689292 markings/sec, 25 secs
lola: 23332781 markings, 28983325 edges, 716806 markings/sec, 30 secs
lola: 27540069 markings, 33458548 edges, 841458 markings/sec, 35 secs
lola: 31718355 markings, 37911576 edges, 835657 markings/sec, 40 secs
lola: 35582795 markings, 42030498 edges, 772888 markings/sec, 45 secs
lola: 39700731 markings, 46420803 edges, 823587 markings/sec, 50 secs
lola: 43747247 markings, 50737181 edges, 809303 markings/sec, 55 secs
lola: 48010239 markings, 55287122 edges, 852598 markings/sec, 60 secs
lola: 51715516 markings, 59245542 edges, 741055 markings/sec, 65 secs
lola: 55586744 markings, 63384303 edges, 774246 markings/sec, 70 secs
lola: 59737960 markings, 67815406 edges, 830243 markings/sec, 75 secs
lola: 63823443 markings, 72187331 edges, 817097 markings/sec, 80 secs
lola: 67481163 markings, 76187596 edges, 731544 markings/sec, 85 secs
lola: 71134499 markings, 80180579 edges, 730667 markings/sec, 90 secs
lola: 75199549 markings, 84619068 edges, 813010 markings/sec, 95 secs
lola: 79128533 markings, 88948136 edges, 785797 markings/sec, 100 secs
lola: 82357042 markings, 93316677 edges, 645702 markings/sec, 105 secs
lola: 84917091 markings, 97863382 edges, 512010 markings/sec, 110 secs
lola: 88191466 markings, 102139873 edges, 654875 markings/sec, 115 secs
lola: 90462238 markings, 106502426 edges, 454154 markings/sec, 120 secs
lola: 92513193 markings, 110174013 edges, 410191 markings/sec, 125 secs
lola: 94318347 markings, 113947380 edges, 361031 markings/sec, 130 secs
lola: 96070035 markings, 117735066 edges, 350338 markings/sec, 135 secs
lola: 97885795 markings, 121620765 edges, 363152 markings/sec, 140 secs
lola: 99759582 markings, 125025201 edges, 374757 markings/sec, 145 secs
lola: 101764716 markings, 128578553 edges, 401027 markings/sec, 150 secs
lola: 103886986 markings, 132383901 edges, 424454 markings/sec, 155 secs
lola: 105747247 markings, 136165973 edges, 372052 markings/sec, 160 secs
lola: 108637946 markings, 139712948 edges, 578140 markings/sec, 165 secs
lola: 111664669 markings, 143374553 edges, 605345 markings/sec, 170 secs
lola: 114459242 markings, 147457310 edges, 558915 markings/sec, 175 secs
lola: 116579018 markings, 151469327 edges, 423955 markings/sec, 180 secs
lola: 119385390 markings, 154928719 edges, 561274 markings/sec, 185 secs
lola: 122314552 markings, 158470541 edges, 585832 markings/sec, 190 secs
lola: 125064611 markings, 162599698 edges, 550012 markings/sec, 195 secs
lola: 127475829 markings, 166722884 edges, 482244 markings/sec, 200 secs
lola: 130738806 markings, 170328051 edges, 652595 markings/sec, 205 secs
lola: 133455677 markings, 173974071 edges, 543374 markings/sec, 210 secs
lola: 134667525 markings, 177760423 edges, 242370 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(p187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3687658 markings, 4653352 edges, 737532 markings/sec, 0 secs
lola: 6694276 markings, 9100609 edges, 601324 markings/sec, 5 secs
lola: 9175818 markings, 13295499 edges, 496308 markings/sec, 10 secs
lola: 12867792 markings, 17543149 edges, 738395 markings/sec, 15 secs
lola: 16434126 markings, 21574853 edges, 713267 markings/sec, 20 secs
lola: 19732814 markings, 25820964 edges, 659738 markings/sec, 25 secs
lola: 22464251 markings, 30159436 edges, 546287 markings/sec, 30 secs
lola: 25526633 markings, 34604988 edges, 612476 markings/sec, 35 secs
lola: 28209755 markings, 38811432 edges, 536624 markings/sec, 40 secs
lola: 30622133 markings, 42803853 edges, 482476 markings/sec, 45 secs
lola: 32929957 markings, 46604871 edges, 461565 markings/sec, 50 secs
lola: 35103214 markings, 50437814 edges, 434651 markings/sec, 55 secs
lola: 37111303 markings, 54493513 edges, 401618 markings/sec, 60 secs
lola: 38848096 markings, 58481561 edges, 347359 markings/sec, 65 secs
lola: 40596834 markings, 62660584 edges, 349748 markings/sec, 70 secs
lola: 42742164 markings, 66970319 edges, 429066 markings/sec, 75 secs
lola: 45340376 markings, 71143497 edges, 519642 markings/sec, 80 secs
lola: 48373106 markings, 75437283 edges, 606546 markings/sec, 85 secs
lola: 50704641 markings, 79676844 edges, 466307 markings/sec, 90 secs
lola: 53625735 markings, 83457795 edges, 584219 markings/sec, 95 secs
lola: 55740212 markings, 87240378 edges, 422895 markings/sec, 100 secs
lola: 57365030 markings, 91134709 edges, 324964 markings/sec, 105 secs
lola: 59518889 markings, 94933990 edges, 430772 markings/sec, 110 secs
lola: 63000341 markings, 99283034 edges, 696290 markings/sec, 115 secs
lola: 66407321 markings, 103469944 edges, 681396 markings/sec, 120 secs
lola: 69425501 markings, 107382323 edges, 603636 markings/sec, 125 secs
lola: 72927376 markings, 111611646 edges, 700375 markings/sec, 130 secs
lola: 75452119 markings, 115242716 edges, 504949 markings/sec, 135 secs
lola: 78051131 markings, 118910779 edges, 519802 markings/sec, 140 secs
lola: 81158772 markings, 123039731 edges, 621528 markings/sec, 145 secs
lola: 83762354 markings, 127167624 edges, 520716 markings/sec, 150 secs
lola: 86387970 markings, 131044875 edges, 525123 markings/sec, 155 secs
lola: 88486563 markings, 134900171 edges, 419719 markings/sec, 160 secs
lola: 91115857 markings, 138181690 edges, 525859 markings/sec, 165 secs
lola: 93477249 markings, 141900239 edges, 472278 markings/sec, 170 secs
lola: 95790962 markings, 145287706 edges, 462743 markings/sec, 175 secs
lola: 98196178 markings, 148473907 edges, 481043 markings/sec, 180 secs
lola: 100428397 markings, 151895967 edges, 446444 markings/sec, 185 secs
lola: 102413252 markings, 155478141 edges, 396971 markings/sec, 190 secs
lola: 104088173 markings, 159411900 edges, 334984 markings/sec, 195 secs
lola: 105990496 markings, 163340886 edges, 380465 markings/sec, 200 secs
lola: 107808836 markings, 167362670 edges, 363668 markings/sec, 205 secs
lola: 109916486 markings, 171397759 edges, 421530 markings/sec, 210 secs
lola: 111911073 markings, 175313153 edges, 398917 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(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3501209 markings, 4458608 edges, 700242 markings/sec, 0 secs
lola: 6065330 markings, 8961108 edges, 512824 markings/sec, 5 secs
lola: 8409535 markings, 13352377 edges, 468841 markings/sec, 10 secs
lola: 10831093 markings, 17895622 edges, 484312 markings/sec, 15 secs
lola: 13484522 markings, 22008479 edges, 530686 markings/sec, 20 secs
lola: 15577435 markings, 25852119 edges, 418583 markings/sec, 25 secs
lola: 18332815 markings, 30207466 edges, 551076 markings/sec, 30 secs
lola: 20876537 markings, 34595183 edges, 508744 markings/sec, 35 secs
lola: 22875917 markings, 38587935 edges, 399876 markings/sec, 40 secs
lola: 24582322 markings, 42938686 edges, 341281 markings/sec, 45 secs
lola: 27073056 markings, 47121109 edges, 498147 markings/sec, 50 secs
lola: 30829210 markings, 51307363 edges, 751231 markings/sec, 55 secs
lola: 34618557 markings, 55406799 edges, 757869 markings/sec, 60 secs
lola: 38395087 markings, 59537836 edges, 755306 markings/sec, 65 secs
lola: 42101169 markings, 63629846 edges, 741216 markings/sec, 70 secs
lola: 45917232 markings, 67785721 edges, 763213 markings/sec, 75 secs
lola: 49635331 markings, 72007531 edges, 743620 markings/sec, 80 secs
lola: 53181821 markings, 76012302 edges, 709298 markings/sec, 85 secs
lola: 56692669 markings, 79916534 edges, 702170 markings/sec, 90 secs
lola: 60042498 markings, 83821905 edges, 669966 markings/sec, 95 secs
lola: 63893255 markings, 88010036 edges, 770151 markings/sec, 100 secs
lola: 67496038 markings, 92178499 edges, 720557 markings/sec, 105 secs
lola: 71107370 markings, 96229818 edges, 722266 markings/sec, 110 secs
lola: 74465461 markings, 100127023 edges, 671618 markings/sec, 115 secs
lola: 77841344 markings, 104071351 edges, 675177 markings/sec, 120 secs
lola: 80612406 markings, 108024845 edges, 554212 markings/sec, 125 secs
lola: 82973997 markings, 111902532 edges, 472318 markings/sec, 130 secs
lola: 84913936 markings, 115795962 edges, 387988 markings/sec, 135 secs
lola: 86540423 markings, 120145513 edges, 325297 markings/sec, 140 secs
lola: 88726074 markings, 124204063 edges, 437130 markings/sec, 145 secs
lola: 90228029 markings, 128444226 edges, 300391 markings/sec, 150 secs
lola: 92230838 markings, 132554594 edges, 400562 markings/sec, 155 secs
lola: 93852206 markings, 136788195 edges, 324274 markings/sec, 160 secs
lola: 95097178 markings, 141108772 edges, 248994 markings/sec, 165 secs
lola: 96476403 markings, 145507787 edges, 275845 markings/sec, 170 secs
lola: 98977842 markings, 149523593 edges, 500288 markings/sec, 175 secs
lola: 101385070 markings, 153405436 edges, 481446 markings/sec, 180 secs
lola: 103441065 markings, 157287310 edges, 411199 markings/sec, 185 secs
lola: 104894825 markings, 161591422 edges, 290752 markings/sec, 190 secs
lola: 107113261 markings, 165621016 edges, 443687 markings/sec, 195 secs
lola: 108792607 markings, 169797469 edges, 335869 markings/sec, 200 secs
lola: 110487845 markings, 173865046 edges, 339048 markings/sec, 205 secs
lola: 112412507 markings, 178017231 edges, 384932 markings/sec, 210 secs
lola: 113664851 markings, 182363308 edges, 250469 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(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3779628 markings, 4186128 edges, 755926 markings/sec, 0 secs
lola: 7479214 markings, 8282496 edges, 739917 markings/sec, 5 secs
lola: 11176431 markings, 12397654 edges, 739443 markings/sec, 10 secs
lola: 13720166 markings, 16396514 edges, 508747 markings/sec, 15 secs
lola: 17591999 markings, 20543845 edges, 774367 markings/sec, 20 secs
lola: 21290114 markings, 24515177 edges, 739623 markings/sec, 25 secs
lola: 25046093 markings, 28538627 edges, 751196 markings/sec, 30 secs
lola: 28726136 markings, 32490462 edges, 736009 markings/sec, 35 secs
lola: 32557444 markings, 36594756 edges, 766262 markings/sec, 40 secs
lola: 36154516 markings, 40583077 edges, 719414 markings/sec, 45 secs
lola: 39322714 markings, 44427615 edges, 633640 markings/sec, 50 secs
lola: 42756746 markings, 48247794 edges, 686806 markings/sec, 55 secs
lola: 46166990 markings, 52026640 edges, 682049 markings/sec, 60 secs
lola: 49598336 markings, 55829459 edges, 686269 markings/sec, 65 secs
lola: 52442115 markings, 59568020 edges, 568756 markings/sec, 70 secs
lola: 55216175 markings, 63171061 edges, 554812 markings/sec, 75 secs
lola: 58667786 markings, 66872579 edges, 690322 markings/sec, 80 secs
lola: 62046934 markings, 70498048 edges, 675830 markings/sec, 85 secs
lola: 65457734 markings, 74155780 edges, 682160 markings/sec, 90 secs
lola: 68831746 markings, 77775755 edges, 674802 markings/sec, 95 secs
lola: 72268829 markings, 81459834 edges, 687417 markings/sec, 100 secs
lola: 75530062 markings, 85075511 edges, 652247 markings/sec, 105 secs
lola: 78484858 markings, 88659668 edges, 590959 markings/sec, 110 secs
lola: 81500348 markings, 92590522 edges, 603098 markings/sec, 115 secs
lola: 84784662 markings, 96511335 edges, 656863 markings/sec, 120 secs
lola: 86973860 markings, 100402553 edges, 437840 markings/sec, 125 secs
lola: 89441905 markings, 104256905 edges, 493609 markings/sec, 130 secs
lola: 92059692 markings, 108097265 edges, 523557 markings/sec, 135 secs
lola: 95340273 markings, 111974131 edges, 656116 markings/sec, 140 secs
lola: 97664565 markings, 115849865 edges, 464858 markings/sec, 145 secs
lola: 100205510 markings, 119704489 edges, 508189 markings/sec, 150 secs
lola: 102702526 markings, 123604824 edges, 499403 markings/sec, 155 secs
lola: 106007196 markings, 127522931 edges, 660934 markings/sec, 160 secs
lola: 108450337 markings, 131464426 edges, 488628 markings/sec, 165 secs
lola: 111138657 markings, 135304544 edges, 537664 markings/sec, 170 secs
lola: 113545292 markings, 139085006 edges, 481327 markings/sec, 175 secs
lola: 116305054 markings, 143072635 edges, 551952 markings/sec, 180 secs
lola: 117880430 markings, 147102938 edges, 315075 markings/sec, 185 secs
lola: 119595723 markings, 150526708 edges, 343059 markings/sec, 190 secs
lola: 122496014 markings, 154312559 edges, 580058 markings/sec, 195 secs
lola: 126112299 markings, 158205076 edges, 723257 markings/sec, 200 secs
lola: 129412311 markings, 161931375 edges, 660002 markings/sec, 205 secs
lola: 132548563 markings, 165688362 edges, 627250 markings/sec, 210 secs
lola: 135267430 markings, 169202011 edges, 543773 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(p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3746794 markings, 4342559 edges, 749359 markings/sec, 0 secs
lola: 7687207 markings, 8666396 edges, 788083 markings/sec, 5 secs
lola: 11436099 markings, 12689935 edges, 749778 markings/sec, 10 secs
lola: 15222854 markings, 16782532 edges, 757351 markings/sec, 15 secs
lola: 18825949 markings, 20893227 edges, 720619 markings/sec, 20 secs
lola: 22479769 markings, 24966219 edges, 730764 markings/sec, 25 secs
lola: 26238660 markings, 29036192 edges, 751778 markings/sec, 30 secs
lola: 29813460 markings, 32883148 edges, 714960 markings/sec, 35 secs
lola: 33491241 markings, 36852871 edges, 735556 markings/sec, 40 secs
lola: 36800597 markings, 40948812 edges, 661871 markings/sec, 45 secs
lola: 40228281 markings, 45066644 edges, 685537 markings/sec, 50 secs
lola: 43788011 markings, 49144691 edges, 711946 markings/sec, 55 secs
lola: 47631657 markings, 53280550 edges, 768729 markings/sec, 60 secs
lola: 51082572 markings, 57138082 edges, 690183 markings/sec, 65 secs
lola: 54563426 markings, 61019477 edges, 696171 markings/sec, 70 secs
lola: 57594196 markings, 64967665 edges, 606154 markings/sec, 75 secs
lola: 60029582 markings, 69009839 edges, 487077 markings/sec, 80 secs
lola: 62693005 markings, 73014085 edges, 532685 markings/sec, 85 secs
lola: 65190369 markings, 76968680 edges, 499473 markings/sec, 90 secs
lola: 67955692 markings, 80894867 edges, 553065 markings/sec, 95 secs
lola: 71048418 markings, 84775653 edges, 618545 markings/sec, 100 secs
lola: 74070025 markings, 88570386 edges, 604321 markings/sec, 105 secs
lola: 77040842 markings, 92306302 edges, 594163 markings/sec, 110 secs
lola: 80001006 markings, 95932916 edges, 592033 markings/sec, 115 secs
lola: 82436692 markings, 100108818 edges, 487137 markings/sec, 120 secs
lola: 84451070 markings, 104265057 edges, 402876 markings/sec, 125 secs
lola: 86702944 markings, 108256853 edges, 450375 markings/sec, 130 secs
lola: 88576978 markings, 112300912 edges, 374807 markings/sec, 135 secs
lola: 90535322 markings, 116269440 edges, 391669 markings/sec, 140 secs
lola: 92009928 markings, 120327412 edges, 294921 markings/sec, 145 secs
lola: 94071030 markings, 124319039 edges, 412220 markings/sec, 150 secs
lola: 96084741 markings, 128495050 edges, 402742 markings/sec, 155 secs
lola: 97825616 markings, 132673938 edges, 348175 markings/sec, 160 secs
lola: 99403490 markings, 136637764 edges, 315575 markings/sec, 165 secs
lola: 100716844 markings, 140610342 edges, 262671 markings/sec, 170 secs
lola: 102385217 markings, 144728250 edges, 333675 markings/sec, 175 secs
lola: 104739134 markings, 148747876 edges, 470783 markings/sec, 180 secs
lola: 107174545 markings, 152720019 edges, 487082 markings/sec, 185 secs
lola: 109099277 markings, 156589123 edges, 384946 markings/sec, 190 secs
lola: 111502737 markings, 160484124 edges, 480692 markings/sec, 195 secs
lola: 115008475 markings, 164543452 edges, 701148 markings/sec, 200 secs
lola: 117162020 markings, 168724694 edges, 430709 markings/sec, 205 secs
lola: 120525097 markings, 172754533 edges, 672615 markings/sec, 210 secs
lola: 123459635 markings, 176861690 edges, 586908 markings/sec, 215 secs
lola: 126248640 markings, 180770737 edges, 557801 markings/sec, 220 secs
lola: 128594287 markings, 184651971 edges, 469129 markings/sec, 225 secs
lola: 131057725 markings, 188330308 edges, 492688 markings/sec, 230 secs
lola: 133777590 markings, 192362590 edges, 543973 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3422830 markings, 4543720 edges, 684566 markings/sec, 0 secs
lola: 5993225 markings, 9038845 edges, 514079 markings/sec, 5 secs
lola: 9125151 markings, 13286922 edges, 626385 markings/sec, 10 secs
lola: 12118309 markings, 17237195 edges, 598632 markings/sec, 15 secs
lola: 14188154 markings, 21530346 edges, 413969 markings/sec, 20 secs
lola: 16463717 markings, 25679973 edges, 455113 markings/sec, 25 secs
lola: 18966729 markings, 29790644 edges, 500602 markings/sec, 30 secs
lola: 21266993 markings, 33887125 edges, 460053 markings/sec, 35 secs
lola: 23984974 markings, 38009374 edges, 543596 markings/sec, 40 secs
lola: 27694825 markings, 42227572 edges, 741970 markings/sec, 45 secs
lola: 31147969 markings, 46223289 edges, 690629 markings/sec, 50 secs
lola: 34602671 markings, 50114741 edges, 690940 markings/sec, 55 secs
lola: 37333412 markings, 53347701 edges, 546148 markings/sec, 60 secs
lola: 40582323 markings, 57370953 edges, 649782 markings/sec, 65 secs
lola: 43749108 markings, 61392279 edges, 633357 markings/sec, 70 secs
lola: 46776641 markings, 65406310 edges, 605507 markings/sec, 75 secs
lola: 49815964 markings, 69371351 edges, 607865 markings/sec, 80 secs
lola: 52846352 markings, 73357385 edges, 606078 markings/sec, 85 secs
lola: 56308187 markings, 77609207 edges, 692367 markings/sec, 90 secs
lola: 59741247 markings, 81841928 edges, 686612 markings/sec, 95 secs
lola: 63035787 markings, 85961406 edges, 658908 markings/sec, 100 secs
lola: 66110013 markings, 89843658 edges, 614845 markings/sec, 105 secs
lola: 69056739 markings, 93457802 edges, 589345 markings/sec, 110 secs
lola: 72147970 markings, 97267344 edges, 618246 markings/sec, 115 secs
lola: 75089248 markings, 100926403 edges, 588256 markings/sec, 120 secs
lola: 78002783 markings, 104601587 edges, 582707 markings/sec, 125 secs
lola: 81009665 markings, 108341404 edges, 601376 markings/sec, 130 secs
lola: 84088868 markings, 112221666 edges, 615841 markings/sec, 135 secs
lola: 86934717 markings, 116154545 edges, 569170 markings/sec, 140 secs
lola: 90102186 markings, 120204977 edges, 633494 markings/sec, 145 secs
lola: 93211388 markings, 124254517 edges, 621840 markings/sec, 150 secs
lola: 96196655 markings, 128189855 edges, 597053 markings/sec, 155 secs
lola: 99192413 markings, 132100622 edges, 599152 markings/sec, 160 secs
lola: 102123943 markings, 135924510 edges, 586306 markings/sec, 165 secs
lola: 105204790 markings, 139952293 edges, 616169 markings/sec, 170 secs
lola: 108420232 markings, 144151493 edges, 643088 markings/sec, 175 secs
lola: 111352775 markings, 148590943 edges, 586509 markings/sec, 180 secs
lola: 114105093 markings, 152759835 edges, 550464 markings/sec, 185 secs
lola: 116892279 markings, 156703175 edges, 557437 markings/sec, 190 secs
lola: 119679034 markings, 160411998 edges, 557351 markings/sec, 195 secs
lola: 121626953 markings, 164701172 edges, 389584 markings/sec, 200 secs
lola: 123910449 markings, 168708710 edges, 456699 markings/sec, 205 secs
lola: 126485288 markings, 172833837 edges, 514968 markings/sec, 210 secs
lola: 128674494 markings, 176830889 edges, 437841 markings/sec, 215 secs
lola: 131535860 markings, 180953412 edges, 572273 markings/sec, 220 secs
lola: 135140974 markings, 185077109 edges, 721023 markings/sec, 225 secs
lola: 138526441 markings, 188970748 edges, 677093 markings/sec, 230 secs
lola: 141931973 markings, 192830809 edges, 681106 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 5263048 markings, 5263050 edges, 1052610 markings/sec, 0 secs
lola: 10523229 markings, 10523231 edges, 1052036 markings/sec, 5 secs
lola: 15705619 markings, 15705622 edges, 1036478 markings/sec, 10 secs
lola: 20878028 markings, 20878031 edges, 1034482 markings/sec, 15 secs
lola: 26041089 markings, 26041093 edges, 1032612 markings/sec, 20 secs
lola: 31263183 markings, 31263188 edges, 1044419 markings/sec, 25 secs
lola: 36460079 markings, 36460085 edges, 1039379 markings/sec, 30 secs
lola: 41588727 markings, 41588802 edges, 1025730 markings/sec, 35 secs
lola: 46623583 markings, 46623868 edges, 1006971 markings/sec, 40 secs
lola: 51658404 markings, 51658730 edges, 1006964 markings/sec, 45 secs
lola: 56592635 markings, 56592961 edges, 986846 markings/sec, 50 secs
lola: 60858488 markings, 60858814 edges, 853171 markings/sec, 55 secs
lola: 65813904 markings, 65814231 edges, 991083 markings/sec, 60 secs
lola: 70681336 markings, 70681664 edges, 973486 markings/sec, 65 secs
lola: 75526438 markings, 75526767 edges, 969020 markings/sec, 70 secs
lola: 80385150 markings, 80385480 edges, 971742 markings/sec, 75 secs
lola: 85181501 markings, 85181831 edges, 959270 markings/sec, 80 secs
lola: 90109691 markings, 90110135 edges, 985638 markings/sec, 85 secs
lola: 95022004 markings, 95022653 edges, 982463 markings/sec, 90 secs
lola: 100063385 markings, 100064046 edges, 1008276 markings/sec, 95 secs
lola: 105024580 markings, 105025279 edges, 992239 markings/sec, 100 secs
lola: 110018470 markings, 110019223 edges, 998778 markings/sec, 105 secs
lola: 115013064 markings, 115013869 edges, 998919 markings/sec, 110 secs
lola: 119274922 markings, 119275896 edges, 852372 markings/sec, 115 secs
lola: 124170214 markings, 124171394 edges, 979058 markings/sec, 120 secs
lola: 129047937 markings, 129049491 edges, 975545 markings/sec, 125 secs
lola: 133890713 markings, 133892560 edges, 968555 markings/sec, 130 secs
lola: 138689409 markings, 138692033 edges, 959739 markings/sec, 135 secs
lola: 143644582 markings, 143648333 edges, 991035 markings/sec, 140 secs
lola: 148520211 markings, 148525032 edges, 975126 markings/sec, 145 secs
lola: 153236905 markings, 153242768 edges, 943339 markings/sec, 150 secs
lola: 157930245 markings, 157937139 edges, 938668 markings/sec, 155 secs
lola: 162565677 markings, 162572935 edges, 927086 markings/sec, 160 secs
lola: 167196740 markings, 167204243 edges, 926213 markings/sec, 165 secs
lola: 171959189 markings, 171967078 edges, 952490 markings/sec, 170 secs
lola: 176464613 markings, 176472933 edges, 901085 markings/sec, 175 secs
lola: 180660373 markings, 180671165 edges, 839152 markings/sec, 180 secs
lola: 185176976 markings, 185190956 edges, 903321 markings/sec, 185 secs
lola: 189667106 markings, 189684430 edges, 898026 markings/sec, 190 secs
lola: 194351936 markings, 194371298 edges, 936966 markings/sec, 195 secs
lola: 198953530 markings, 198974698 edges, 920319 markings/sec, 200 secs
lola: 203557431 markings, 203580338 edges, 920780 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 247 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3173366 markings, 3623524 edges, 634673 markings/sec, 0 secs
lola: 6312551 markings, 7965382 edges, 627837 markings/sec, 5 secs
lola: 9808159 markings, 12440815 edges, 699122 markings/sec, 10 secs
lola: 14012561 markings, 16921537 edges, 840880 markings/sec, 15 secs
lola: 17958564 markings, 21189997 edges, 789201 markings/sec, 20 secs
lola: 22012805 markings, 25653103 edges, 810848 markings/sec, 25 secs
lola: 26207199 markings, 30291665 edges, 838879 markings/sec, 30 secs
lola: 30370533 markings, 34900491 edges, 832667 markings/sec, 35 secs
lola: 34481019 markings, 39445090 edges, 822097 markings/sec, 40 secs
lola: 38524894 markings, 43931521 edges, 808775 markings/sec, 45 secs
lola: 42306891 markings, 48173702 edges, 756399 markings/sec, 50 secs
lola: 46234480 markings, 52566782 edges, 785518 markings/sec, 55 secs
lola: 50046170 markings, 56851428 edges, 762338 markings/sec, 60 secs
lola: 53732553 markings, 61249307 edges, 737277 markings/sec, 65 secs
lola: 57869043 markings, 65787975 edges, 827298 markings/sec, 70 secs
lola: 61934920 markings, 70305728 edges, 813175 markings/sec, 75 secs
lola: 65628957 markings, 74791867 edges, 738807 markings/sec, 80 secs
lola: 68015209 markings, 79231838 edges, 477250 markings/sec, 85 secs
lola: 70827878 markings, 83617139 edges, 562534 markings/sec, 90 secs
lola: 73010012 markings, 87912854 edges, 436427 markings/sec, 95 secs
lola: 75311121 markings, 92131866 edges, 460222 markings/sec, 100 secs
lola: 77502824 markings, 96010304 edges, 438341 markings/sec, 105 secs
lola: 78902445 markings, 100061588 edges, 279924 markings/sec, 110 secs
lola: 80293156 markings, 104215869 edges, 278142 markings/sec, 115 secs
lola: 82365510 markings, 108455833 edges, 414471 markings/sec, 120 secs
lola: 83538482 markings, 112491686 edges, 234594 markings/sec, 125 secs
lola: 86304899 markings, 116681391 edges, 553283 markings/sec, 130 secs
lola: 90430213 markings, 120968518 edges, 825063 markings/sec, 135 secs
lola: 94337571 markings, 125104238 edges, 781472 markings/sec, 140 secs
lola: 97476031 markings, 129519784 edges, 627692 markings/sec, 145 secs
lola: 99689370 markings, 133832439 edges, 442668 markings/sec, 150 secs
lola: 102483491 markings, 137934172 edges, 558824 markings/sec, 155 secs
lola: 104953354 markings, 142114375 edges, 493973 markings/sec, 160 secs
lola: 107116160 markings, 146314597 edges, 432561 markings/sec, 165 secs
lola: 109155162 markings, 150287688 edges, 407800 markings/sec, 170 secs
lola: 111919101 markings, 154277921 edges, 552788 markings/sec, 175 secs
lola: 113936265 markings, 157709231 edges, 403433 markings/sec, 180 secs
lola: 116220115 markings, 162026614 edges, 456770 markings/sec, 185 secs
lola: 117897825 markings, 166323124 edges, 335542 markings/sec, 190 secs
lola: 119200584 markings, 170506617 edges, 260552 markings/sec, 195 secs
lola: 121208548 markings, 174770140 edges, 401593 markings/sec, 200 secs
lola: 122676450 markings, 178779498 edges, 293580 markings/sec, 205 secs
lola: 124557156 markings, 182859420 edges, 376141 markings/sec, 210 secs
lola: 126882523 markings, 186883130 edges, 465073 markings/sec, 215 secs
lola: 129044642 markings, 191024420 edges, 432424 markings/sec, 220 secs
lola: 130681988 markings, 195284638 edges, 327469 markings/sec, 225 secs
lola: 131980539 markings, 199421814 edges, 259710 markings/sec, 230 secs
lola: 134006267 markings, 203732158 edges, 405146 markings/sec, 235 secs
lola: 135440396 markings, 207668367 edges, 286826 markings/sec, 240 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 247 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 5024542 markings, 5024542 edges, 1004908 markings/sec, 0 secs
lola: 9814760 markings, 9814760 edges, 958044 markings/sec, 5 secs
lola: 14677336 markings, 14677336 edges, 972515 markings/sec, 10 secs
lola: 19448167 markings, 19448167 edges, 954166 markings/sec, 15 secs
lola: 24228263 markings, 24228263 edges, 956019 markings/sec, 20 secs
lola: 28979750 markings, 28979750 edges, 950297 markings/sec, 25 secs
lola: 33639825 markings, 33639825 edges, 932015 markings/sec, 30 secs
lola: 38241256 markings, 38241256 edges, 920286 markings/sec, 35 secs
lola: 42860929 markings, 42860929 edges, 923935 markings/sec, 40 secs
lola: 47498611 markings, 47498611 edges, 927536 markings/sec, 45 secs
lola: 52096443 markings, 52096443 edges, 919566 markings/sec, 50 secs
lola: 56680072 markings, 56680072 edges, 916726 markings/sec, 55 secs
lola: 61266809 markings, 61266809 edges, 917347 markings/sec, 60 secs
lola: 65846132 markings, 65846131 edges, 915865 markings/sec, 65 secs
lola: 70376699 markings, 70376701 edges, 906113 markings/sec, 70 secs
lola: 74921981 markings, 74921988 edges, 909056 markings/sec, 75 secs
lola: 79458008 markings, 79458023 edges, 907205 markings/sec, 80 secs
lola: 84040522 markings, 84040547 edges, 916503 markings/sec, 85 secs
lola: 88519594 markings, 88519627 edges, 895814 markings/sec, 90 secs
lola: 93012836 markings, 93012878 edges, 898648 markings/sec, 95 secs
lola: 97633249 markings, 97633299 edges, 924083 markings/sec, 100 secs
lola: 102240997 markings, 102241055 edges, 921550 markings/sec, 105 secs
lola: 107005796 markings, 107005859 edges, 952960 markings/sec, 110 secs
lola: 111731228 markings, 111731296 edges, 945086 markings/sec, 115 secs
lola: 116254802 markings, 116254873 edges, 904715 markings/sec, 120 secs
lola: 120833332 markings, 120833411 edges, 915706 markings/sec, 125 secs
lola: 125385954 markings, 125386046 edges, 910524 markings/sec, 130 secs
lola: 129989015 markings, 129989156 edges, 920612 markings/sec, 135 secs
lola: 134625219 markings, 134625377 edges, 927241 markings/sec, 140 secs
lola: 139292585 markings, 139292754 edges, 933473 markings/sec, 145 secs
lola: 143913278 markings, 143913455 edges, 924139 markings/sec, 150 secs
lola: 148382346 markings, 148382532 edges, 893814 markings/sec, 155 secs
lola: 152888324 markings, 152888519 edges, 901196 markings/sec, 160 secs
lola: 157543698 markings, 157543900 edges, 931075 markings/sec, 165 secs
lola: 162236472 markings, 162236681 edges, 938555 markings/sec, 170 secs
lola: 166947836 markings, 166948048 edges, 942273 markings/sec, 175 secs
lola: 171512540 markings, 171512755 edges, 912941 markings/sec, 180 secs
lola: 175948776 markings, 175948999 edges, 887247 markings/sec, 185 secs
lola: 180347694 markings, 180347924 edges, 879784 markings/sec, 190 secs
lola: 184870095 markings, 184870357 edges, 904480 markings/sec, 195 secs
lola: 189335977 markings, 189336282 edges, 893176 markings/sec, 200 secs
lola: 193898381 markings, 193898714 edges, 912481 markings/sec, 205 secs
lola: 198447578 markings, 198447933 edges, 909839 markings/sec, 210 secs
lola: 202491170 markings, 202491548 edges, 808718 markings/sec, 215 secs
lola: 206847866 markings, 206848355 edges, 871339 markings/sec, 220 secs
lola: 207430182 markings, 207430683 edges, 116463 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 4810375 markings, 4810375 edges, 962075 markings/sec, 0 secs
lola: 9520812 markings, 9520812 edges, 942087 markings/sec, 5 secs
lola: 14151674 markings, 14151673 edges, 926172 markings/sec, 10 secs
lola: 18753550 markings, 18753549 edges, 920375 markings/sec, 15 secs
lola: 23180715 markings, 23180715 edges, 885433 markings/sec, 20 secs
lola: 27716436 markings, 27716452 edges, 907144 markings/sec, 25 secs
lola: 32180984 markings, 32181003 edges, 892910 markings/sec, 30 secs
lola: 36403277 markings, 36403322 edges, 844459 markings/sec, 35 secs
lola: 40529802 markings, 40529888 edges, 825305 markings/sec, 40 secs
lola: 44832409 markings, 44832587 edges, 860521 markings/sec, 45 secs
lola: 49405218 markings, 49405483 edges, 914562 markings/sec, 50 secs
lola: 53804478 markings, 53804972 edges, 879852 markings/sec, 55 secs
lola: 58382062 markings, 58382721 edges, 915517 markings/sec, 60 secs
lola: 62825784 markings, 62826613 edges, 888744 markings/sec, 65 secs
lola: 67616251 markings, 67617080 edges, 958093 markings/sec, 70 secs
lola: 72358328 markings, 72359156 edges, 948415 markings/sec, 75 secs
lola: 76820431 markings, 76821280 edges, 892421 markings/sec, 80 secs
lola: 81315630 markings, 81316507 edges, 899040 markings/sec, 85 secs
lola: 85621818 markings, 85622731 edges, 861238 markings/sec, 90 secs
lola: 89927711 markings, 89928693 edges, 861179 markings/sec, 95 secs
lola: 94282755 markings, 94283793 edges, 871009 markings/sec, 100 secs
lola: 98623707 markings, 98624879 edges, 868190 markings/sec, 105 secs
lola: 102920055 markings, 102921386 edges, 859270 markings/sec, 110 secs
lola: 107028864 markings, 107030223 edges, 821762 markings/sec, 115 secs
lola: 111190711 markings, 111192455 edges, 832369 markings/sec, 120 secs
lola: 115445093 markings, 115447037 edges, 850876 markings/sec, 125 secs
lola: 119757642 markings, 119759771 edges, 862510 markings/sec, 130 secs
lola: 123950326 markings, 123952483 edges, 838537 markings/sec, 135 secs
lola: 127760522 markings, 127762707 edges, 762039 markings/sec, 140 secs
lola: 131920057 markings, 131922344 edges, 831907 markings/sec, 145 secs
lola: 136458469 markings, 136460775 edges, 907682 markings/sec, 150 secs
lola: 140703528 markings, 140705926 edges, 849012 markings/sec, 155 secs
lola: 144659014 markings, 144661643 edges, 791097 markings/sec, 160 secs
lola: 148906516 markings, 148910078 edges, 849500 markings/sec, 165 secs
lola: 152987687 markings, 152992167 edges, 816234 markings/sec, 170 secs
lola: 156983030 markings, 156988135 edges, 799069 markings/sec, 175 secs
lola: 161242997 markings, 161249053 edges, 851993 markings/sec, 180 secs
lola: 165563552 markings, 165570199 edges, 864111 markings/sec, 185 secs
lola: 169973079 markings, 169979786 edges, 881905 markings/sec, 190 secs
lola: 174378383 markings, 174385293 edges, 881061 markings/sec, 195 secs
lola: 178772966 markings, 178780140 edges, 878917 markings/sec, 200 secs
lola: 183178182 markings, 183185915 edges, 881043 markings/sec, 205 secs
lola: 187567476 markings, 187576091 edges, 877859 markings/sec, 210 secs
lola: 191958119 markings, 191967716 edges, 878129 markings/sec, 215 secs
lola: 195737670 markings, 195747462 edges, 755910 markings/sec, 220 secs
lola: 199623526 markings, 199633476 edges, 777171 markings/sec, 225 secs
lola: 203578710 markings, 203589138 edges, 791037 markings/sec, 230 secs
lola: 207440141 markings, 207451236 edges, 772286 markings/sec, 235 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3586633 markings, 4081187 edges, 717327 markings/sec, 0 secs
lola: 6887563 markings, 7845126 edges, 660186 markings/sec, 5 secs
lola: 10159035 markings, 11600610 edges, 654294 markings/sec, 10 secs
lola: 13039173 markings, 15273929 edges, 576028 markings/sec, 15 secs
lola: 15783208 markings, 19475648 edges, 548807 markings/sec, 20 secs
lola: 19104057 markings, 23589794 edges, 664170 markings/sec, 25 secs
lola: 22812199 markings, 27812086 edges, 741628 markings/sec, 30 secs
lola: 26339249 markings, 31799960 edges, 705410 markings/sec, 35 secs
lola: 29707918 markings, 35640971 edges, 673734 markings/sec, 40 secs
lola: 33046423 markings, 39437923 edges, 667701 markings/sec, 45 secs
lola: 36520466 markings, 43558373 edges, 694809 markings/sec, 50 secs
lola: 39924354 markings, 47684807 edges, 680778 markings/sec, 55 secs
lola: 43049167 markings, 51263268 edges, 624963 markings/sec, 60 secs
lola: 46109009 markings, 54790553 edges, 611968 markings/sec, 65 secs
lola: 49190818 markings, 58249906 edges, 616362 markings/sec, 70 secs
lola: 52204568 markings, 61658627 edges, 602750 markings/sec, 75 secs
lola: 54335678 markings, 65318754 edges, 426222 markings/sec, 80 secs
lola: 57181228 markings, 69097012 edges, 569110 markings/sec, 85 secs
lola: 60517183 markings, 72968896 edges, 667191 markings/sec, 90 secs
lola: 63840029 markings, 76757407 edges, 664569 markings/sec, 95 secs
lola: 67156757 markings, 80519729 edges, 663346 markings/sec, 100 secs
lola: 70386333 markings, 84188137 edges, 645915 markings/sec, 105 secs
lola: 73563578 markings, 87813603 edges, 635449 markings/sec, 110 secs
lola: 76894438 markings, 91793450 edges, 666172 markings/sec, 115 secs
lola: 80098972 markings, 95674600 edges, 640907 markings/sec, 120 secs
lola: 82968579 markings, 99383274 edges, 573921 markings/sec, 125 secs
lola: 85495197 markings, 102967259 edges, 505324 markings/sec, 130 secs
lola: 88056051 markings, 106423774 edges, 512171 markings/sec, 135 secs
lola: 90402806 markings, 110068490 edges, 469351 markings/sec, 140 secs
lola: 92813490 markings, 113528785 edges, 482137 markings/sec, 145 secs
lola: 94825845 markings, 116906207 edges, 402471 markings/sec, 150 secs
lola: 96938939 markings, 120106706 edges, 422619 markings/sec, 155 secs
lola: 98764009 markings, 123244380 edges, 365014 markings/sec, 160 secs
lola: 101004500 markings, 126660474 edges, 448098 markings/sec, 165 secs
lola: 104284812 markings, 130210207 edges, 656062 markings/sec, 170 secs
lola: 107587467 markings, 133780446 edges, 660531 markings/sec, 175 secs
lola: 110779321 markings, 137272563 edges, 638371 markings/sec, 180 secs
lola: 113827249 markings, 140743337 edges, 609586 markings/sec, 185 secs
lola: 116451165 markings, 144456109 edges, 524783 markings/sec, 190 secs
lola: 119200671 markings, 147890487 edges, 549901 markings/sec, 195 secs
lola: 121634803 markings, 151306393 edges, 486826 markings/sec, 200 secs
lola: 124210882 markings, 154619602 edges, 515216 markings/sec, 205 secs
lola: 126732173 markings, 158148918 edges, 504258 markings/sec, 210 secs
lola: 129531490 markings, 161934635 edges, 559863 markings/sec, 215 secs
lola: 131998693 markings, 165773870 edges, 493441 markings/sec, 220 secs
lola: 134021791 markings, 169598366 edges, 404620 markings/sec, 225 secs
lola: 135850415 markings, 173378874 edges, 365725 markings/sec, 230 secs
lola: 137621727 markings, 177133925 edges, 354262 markings/sec, 235 secs
lola: 139152062 markings, 181023042 edges, 306067 markings/sec, 240 secs
lola: 140655180 markings, 185020957 edges, 300624 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 5398484 markings, 5398484 edges, 1079697 markings/sec, 0 secs
lola: 10677157 markings, 10677162 edges, 1055735 markings/sec, 5 secs
lola: 15873946 markings, 15873954 edges, 1039358 markings/sec, 10 secs
lola: 21057801 markings, 21057976 edges, 1036771 markings/sec, 15 secs
lola: 26343261 markings, 26343595 edges, 1057092 markings/sec, 20 secs
lola: 31252345 markings, 31252680 edges, 981817 markings/sec, 25 secs
lola: 36190295 markings, 36191011 edges, 987590 markings/sec, 30 secs
lola: 41105446 markings, 41106526 edges, 983030 markings/sec, 35 secs
lola: 45921461 markings, 45922541 edges, 963203 markings/sec, 40 secs
lola: 50765781 markings, 50766869 edges, 968864 markings/sec, 45 secs
lola: 55768377 markings, 55769467 edges, 1000519 markings/sec, 50 secs
lola: 60700138 markings, 60701550 edges, 986352 markings/sec, 55 secs
lola: 65745420 markings, 65746834 edges, 1009056 markings/sec, 60 secs
lola: 70736895 markings, 70738311 edges, 998295 markings/sec, 65 secs
lola: 75696675 markings, 75698733 edges, 991956 markings/sec, 70 secs
lola: 80883432 markings, 80885803 edges, 1037351 markings/sec, 75 secs
lola: 86013183 markings, 86015953 edges, 1025950 markings/sec, 80 secs
lola: 91055500 markings, 91058772 edges, 1008463 markings/sec, 85 secs
lola: 95958158 markings, 95961988 edges, 980532 markings/sec, 90 secs
lola: 101068723 markings, 101073144 edges, 1022113 markings/sec, 95 secs
lola: 106139672 markings, 106144543 edges, 1014190 markings/sec, 100 secs
lola: 111220325 markings, 111225802 edges, 1016131 markings/sec, 105 secs
lola: 116248193 markings, 116254573 edges, 1005574 markings/sec, 110 secs
lola: 121435624 markings, 121442502 edges, 1037486 markings/sec, 115 secs
lola: 126628831 markings, 126636127 edges, 1038641 markings/sec, 120 secs
lola: 131455263 markings, 131462932 edges, 965286 markings/sec, 125 secs
lola: 136469597 markings, 136477694 edges, 1002867 markings/sec, 130 secs
lola: 141385214 markings, 141393825 edges, 983123 markings/sec, 135 secs
lola: 146379387 markings, 146388776 edges, 998835 markings/sec, 140 secs
lola: 151315674 markings, 151325573 edges, 987257 markings/sec, 145 secs
lola: 156290143 markings, 156300658 edges, 994894 markings/sec, 150 secs
lola: 161296041 markings, 161307126 edges, 1001180 markings/sec, 155 secs
lola: 166318652 markings, 166330156 edges, 1004522 markings/sec, 160 secs
lola: 171043262 markings, 171055341 edges, 944922 markings/sec, 165 secs
lola: 176048389 markings, 176060941 edges, 1001025 markings/sec, 170 secs
lola: 181163598 markings, 181176328 edges, 1023042 markings/sec, 175 secs
lola: 186284815 markings, 186297705 edges, 1024243 markings/sec, 180 secs
lola: 191312859 markings, 191325887 edges, 1005609 markings/sec, 185 secs
lola: 196385794 markings, 196399020 edges, 1014587 markings/sec, 190 secs
lola: 201515438 markings, 201528792 edges, 1025929 markings/sec, 195 secs
lola: 206621297 markings, 206634795 edges, 1021172 markings/sec, 200 secs
lola: 207469255 markings, 207482780 edges, 169592 markings/sec, 205 secs
lola: 207470511 markings, 207484036 edges, 251 markings/sec, 210 secs
lola: 207472142 markings, 207485668 edges, 326 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3417487 markings, 4426722 edges, 683497 markings/sec, 0 secs
lola: 6217865 markings, 8186937 edges, 560076 markings/sec, 5 secs
lola: 8754862 markings, 12436417 edges, 507399 markings/sec, 10 secs
lola: 11119455 markings, 16803520 edges, 472919 markings/sec, 15 secs
lola: 13255080 markings, 21080631 edges, 427125 markings/sec, 20 secs
lola: 15567402 markings, 25244650 edges, 462464 markings/sec, 25 secs
lola: 17555087 markings, 29542353 edges, 397537 markings/sec, 30 secs
lola: 19522003 markings, 34095497 edges, 393383 markings/sec, 35 secs
lola: 21309345 markings, 38328416 edges, 357468 markings/sec, 40 secs
lola: 23122669 markings, 42700231 edges, 362665 markings/sec, 45 secs
lola: 24743636 markings, 46996760 edges, 324193 markings/sec, 50 secs
lola: 26371582 markings, 51556702 edges, 325589 markings/sec, 55 secs
lola: 27907068 markings, 55979698 edges, 307097 markings/sec, 60 secs
lola: 29351711 markings, 60220251 edges, 288929 markings/sec, 65 secs
lola: 30873852 markings, 64369796 edges, 304428 markings/sec, 70 secs
lola: 32242673 markings, 68537243 edges, 273764 markings/sec, 75 secs
lola: 33786175 markings, 72623459 edges, 308700 markings/sec, 80 secs
lola: 35581067 markings, 76694751 edges, 358978 markings/sec, 85 secs
lola: 37340647 markings, 80948801 edges, 351916 markings/sec, 90 secs
lola: 39248063 markings, 85361085 edges, 381483 markings/sec, 95 secs
lola: 40846389 markings, 89607820 edges, 319665 markings/sec, 100 secs
lola: 42477148 markings, 94060186 edges, 326152 markings/sec, 105 secs
lola: 44020969 markings, 98470106 edges, 308764 markings/sec, 110 secs
lola: 45469931 markings, 102751100 edges, 289792 markings/sec, 115 secs
lola: 46983379 markings, 107017873 edges, 302690 markings/sec, 120 secs
lola: 48361883 markings, 111078520 edges, 275701 markings/sec, 125 secs
lola: 49721116 markings, 115077760 edges, 271847 markings/sec, 130 secs
lola: 51834632 markings, 119785955 edges, 422703 markings/sec, 135 secs
lola: 53660668 markings, 124217421 edges, 365207 markings/sec, 140 secs
lola: 55614925 markings, 128719112 edges, 390851 markings/sec, 145 secs
lola: 57255788 markings, 133043366 edges, 328173 markings/sec, 150 secs
lola: 58901265 markings, 137534918 edges, 329095 markings/sec, 155 secs
lola: 60461669 markings, 141969061 edges, 312081 markings/sec, 160 secs
lola: 61933883 markings, 146331943 edges, 294443 markings/sec, 165 secs
lola: 63471881 markings, 150678029 edges, 307600 markings/sec, 170 secs
lola: 64892072 markings, 154860656 edges, 284038 markings/sec, 175 secs
lola: 66518073 markings, 159000448 edges, 325200 markings/sec, 180 secs
lola: 69459948 markings, 163392202 edges, 588375 markings/sec, 185 secs
lola: 71519890 markings, 167955479 edges, 411988 markings/sec, 190 secs
lola: 73162401 markings, 172375559 edges, 328502 markings/sec, 195 secs
lola: 75084520 markings, 176878769 edges, 384424 markings/sec, 200 secs
lola: 76587607 markings, 180806156 edges, 300617 markings/sec, 205 secs
lola: 78424875 markings, 185365141 edges, 367454 markings/sec, 210 secs
lola: 80224433 markings, 189887241 edges, 359912 markings/sec, 215 secs
lola: 82154088 markings, 194319131 edges, 385931 markings/sec, 220 secs
lola: 83788304 markings, 198791597 edges, 326843 markings/sec, 225 secs
lola: 85169520 markings, 203298165 edges, 276243 markings/sec, 230 secs
lola: 86647090 markings, 207743012 edges, 295514 markings/sec, 235 secs
lola: 87972346 markings, 212188698 edges, 265051 markings/sec, 240 secs
lola: 89390736 markings, 216585861 edges, 283678 markings/sec, 245 secs
lola: 90889972 markings, 220936301 edges, 299847 markings/sec, 250 secs
lola: 92797353 markings, 225300080 edges, 381476 markings/sec, 255 secs
lola: 94634831 markings, 229400700 edges, 367496 markings/sec, 260 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 268 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 30 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: 3668791 markings, 4105742 edges, 733758 markings/sec, 0 secs
lola: 7529466 markings, 8496133 edges, 772135 markings/sec, 5 secs
lola: 11705449 markings, 12925057 edges, 835197 markings/sec, 10 secs
lola: 15701320 markings, 17182253 edges, 799174 markings/sec, 15 secs
lola: 19712539 markings, 21479908 edges, 802244 markings/sec, 20 secs
lola: 23249279 markings, 25468543 edges, 707348 markings/sec, 25 secs
lola: 25566096 markings, 29006689 edges, 463363 markings/sec, 30 secs
lola: 28168808 markings, 32765539 edges, 520542 markings/sec, 35 secs
lola: 31182646 markings, 36808597 edges, 602768 markings/sec, 40 secs
lola: 33965861 markings, 40918765 edges, 556643 markings/sec, 45 secs
lola: 37756087 markings, 45361577 edges, 758045 markings/sec, 50 secs
lola: 41772801 markings, 49707984 edges, 803343 markings/sec, 55 secs
lola: 45528130 markings, 53715828 edges, 751066 markings/sec, 60 secs
lola: 49137594 markings, 57618828 edges, 721893 markings/sec, 65 secs
lola: 52467137 markings, 61430186 edges, 665909 markings/sec, 70 secs
lola: 55616406 markings, 65470322 edges, 629854 markings/sec, 75 secs
lola: 58925603 markings, 69411465 edges, 661839 markings/sec, 80 secs
lola: 63037532 markings, 73967809 edges, 822386 markings/sec, 85 secs
lola: 67120814 markings, 78485280 edges, 816656 markings/sec, 90 secs
lola: 70969246 markings, 82735700 edges, 769686 markings/sec, 95 secs
lola: 74918430 markings, 87104898 edges, 789837 markings/sec, 100 secs
lola: 79017031 markings, 91651529 edges, 819720 markings/sec, 105 secs
lola: 83083051 markings, 96161440 edges, 813204 markings/sec, 110 secs
lola: 87101400 markings, 100628822 edges, 803670 markings/sec, 115 secs
lola: 91285477 markings, 105249267 edges, 836815 markings/sec, 120 secs
lola: 95349575 markings, 109762970 edges, 812820 markings/sec, 125 secs
lola: 99328279 markings, 114200552 edges, 795741 markings/sec, 130 secs
lola: 103291742 markings, 118600959 edges, 792693 markings/sec, 135 secs
lola: 107227118 markings, 122950424 edges, 787075 markings/sec, 140 secs
lola: 111074210 markings, 127230802 edges, 769418 markings/sec, 145 secs
lola: 114928999 markings, 131529703 edges, 770958 markings/sec, 150 secs
lola: 118656723 markings, 135678534 edges, 745545 markings/sec, 155 secs
lola: 122467725 markings, 139915785 edges, 762200 markings/sec, 160 secs
lola: 125878083 markings, 143977334 edges, 682072 markings/sec, 165 secs
lola: 129377489 markings, 148091166 edges, 699881 markings/sec, 170 secs
lola: 133012594 markings, 152296066 edges, 727021 markings/sec, 175 secs
lola: 136640909 markings, 156492015 edges, 725663 markings/sec, 180 secs
lola: 140034493 markings, 160349397 edges, 678717 markings/sec, 185 secs
lola: 142914677 markings, 163947607 edges, 576037 markings/sec, 190 secs
lola: 146220872 markings, 167466802 edges, 661239 markings/sec, 195 secs
lola: 149562812 markings, 171096621 edges, 668388 markings/sec, 200 secs
lola: 152541491 markings, 174393703 edges, 595736 markings/sec, 205 secs
lola: 155076260 markings, 177554261 edges, 506954 markings/sec, 210 secs
lola: 157863459 markings, 180663302 edges, 557440 markings/sec, 215 secs
lola: 160808646 markings, 183961432 edges, 589037 markings/sec, 220 secs
lola: 163424372 markings, 187110863 edges, 523145 markings/sec, 225 secs
lola: 165170572 markings, 190021165 edges, 349240 markings/sec, 230 secs
lola: 166927836 markings, 193046534 edges, 351453 markings/sec, 235 secs
lola: 168447698 markings, 196328249 edges, 303972 markings/sec, 240 secs
lola: 170483820 markings, 199366124 edges, 407224 markings/sec, 245 secs
lola: 172756384 markings, 202462161 edges, 454513 markings/sec, 250 secs
lola: 175025216 markings, 205809982 edges, 453766 markings/sec, 255 secs
lola: 178003331 markings, 209388077 edges, 595623 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Echo-PT-d03r03-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r03-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494692494502

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d03r03"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r03.tgz
mv Echo-PT-d03r03 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Echo-PT-d03r03, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r028-blw3-149440264100272"
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 ;