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

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

=== Now, execution of the tool begins

BK_START 1494666892350


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-14ringLRLarge @ 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: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-14ringLRLarge-UpperBounds.task
lola: MAX(B14) : MAX(A2) : MAX(A7) : MAX(A7) : MAX(A12) : MAX(A21) : MAX(B3) : MAX(A10) : MAX(A24) : MAX(A19) : MAX(A18) : MAX(A6) : MAX(A10) : MAX(A1) : MAX(A1) : MAX(A5)
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(B14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 443180 markings, 1453280 edges, 88636 markings/sec, 0 secs
lola: 828679 markings, 3283379 edges, 77100 markings/sec, 5 secs
lola: 1228475 markings, 5144522 edges, 79959 markings/sec, 10 secs
lola: 1633129 markings, 7043498 edges, 80931 markings/sec, 15 secs
lola: 2040089 markings, 8868664 edges, 81392 markings/sec, 20 secs
lola: 2439998 markings, 10575811 edges, 79982 markings/sec, 25 secs
lola: 2836877 markings, 12222565 edges, 79376 markings/sec, 30 secs
lola: 3240067 markings, 13894077 edges, 80638 markings/sec, 35 secs
lola: 3628376 markings, 15765904 edges, 77662 markings/sec, 40 secs
lola: 3994715 markings, 17867304 edges, 73268 markings/sec, 45 secs
lola: 4373817 markings, 19886008 edges, 75820 markings/sec, 50 secs
lola: 4732491 markings, 21864293 edges, 71735 markings/sec, 55 secs
lola: 5120363 markings, 23479634 edges, 77574 markings/sec, 60 secs
lola: 5496622 markings, 25225668 edges, 75252 markings/sec, 65 secs
lola: 5887091 markings, 26715195 edges, 78094 markings/sec, 70 secs
lola: 6242162 markings, 28491379 edges, 71014 markings/sec, 75 secs
lola: 6590211 markings, 30222591 edges, 69610 markings/sec, 80 secs
lola: 6893309 markings, 32179009 edges, 60620 markings/sec, 85 secs
lola: 7263038 markings, 33782501 edges, 73946 markings/sec, 90 secs
lola: 7627524 markings, 35566871 edges, 72897 markings/sec, 95 secs
lola: 7995082 markings, 37327783 edges, 73512 markings/sec, 100 secs
lola: 8343765 markings, 38926108 edges, 69737 markings/sec, 105 secs
lola: 8712966 markings, 40735811 edges, 73840 markings/sec, 110 secs
lola: 9037114 markings, 42717997 edges, 64830 markings/sec, 115 secs
lola: 9401848 markings, 44672654 edges, 72947 markings/sec, 120 secs
lola: 9801118 markings, 46268727 edges, 79854 markings/sec, 125 secs
lola: 10191958 markings, 47848194 edges, 78168 markings/sec, 130 secs
lola: 10582497 markings, 49483444 edges, 78108 markings/sec, 135 secs
lola: 10991360 markings, 51003241 edges, 81773 markings/sec, 140 secs
lola: 11375444 markings, 52652300 edges, 76817 markings/sec, 145 secs
lola: 11760636 markings, 54312898 edges, 77038 markings/sec, 150 secs
lola: 12166432 markings, 55924585 edges, 81159 markings/sec, 155 secs
lola: 12534541 markings, 57896437 edges, 73622 markings/sec, 160 secs
lola: 12894347 markings, 59889414 edges, 71961 markings/sec, 165 secs
lola: 13255500 markings, 61836655 edges, 72231 markings/sec, 170 secs
lola: 13608252 markings, 63809924 edges, 70550 markings/sec, 175 secs
lola: 13960127 markings, 65722886 edges, 70375 markings/sec, 180 secs
lola: 14321145 markings, 67726947 edges, 72204 markings/sec, 185 secs
lola: 14704375 markings, 69453595 edges, 76646 markings/sec, 190 secs
lola: 15072499 markings, 71220642 edges, 73625 markings/sec, 195 secs
lola: 15429428 markings, 73269466 edges, 71386 markings/sec, 200 secs
lola: 15800096 markings, 74856694 edges, 74134 markings/sec, 205 secs
lola: 16127961 markings, 76560510 edges, 65573 markings/sec, 210 secs
lola: 16440808 markings, 78375008 edges, 62569 markings/sec, 215 secs
lola: 16804241 markings, 80056874 edges, 72687 markings/sec, 220 secs
lola: 17132918 markings, 82039493 edges, 65735 markings/sec, 225 secs
lola: 17515299 markings, 83736201 edges, 76476 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 495919 markings, 1854846 edges, 99184 markings/sec, 0 secs
lola: 956348 markings, 3644308 edges, 92086 markings/sec, 5 secs
lola: 1390848 markings, 5502868 edges, 86900 markings/sec, 10 secs
lola: 1785165 markings, 7579402 edges, 78863 markings/sec, 15 secs
lola: 2209206 markings, 9767739 edges, 84808 markings/sec, 20 secs
lola: 2629649 markings, 12045280 edges, 84089 markings/sec, 25 secs
lola: 3061446 markings, 14290464 edges, 86359 markings/sec, 30 secs
lola: 3481195 markings, 16154654 edges, 83950 markings/sec, 35 secs
lola: 3867400 markings, 18244077 edges, 77241 markings/sec, 40 secs
lola: 4276204 markings, 20613195 edges, 81761 markings/sec, 45 secs
lola: 4686638 markings, 22507302 edges, 82087 markings/sec, 50 secs
lola: 5092562 markings, 24682062 edges, 81185 markings/sec, 55 secs
lola: 5493366 markings, 26694991 edges, 80161 markings/sec, 60 secs
lola: 5893028 markings, 28832398 edges, 79932 markings/sec, 65 secs
lola: 6292599 markings, 30836052 edges, 79914 markings/sec, 70 secs
lola: 6691534 markings, 32833753 edges, 79787 markings/sec, 75 secs
lola: 7089902 markings, 34725834 edges, 79674 markings/sec, 80 secs
lola: 7509210 markings, 36576292 edges, 83862 markings/sec, 85 secs
lola: 7895488 markings, 38657726 edges, 77256 markings/sec, 90 secs
lola: 8258375 markings, 40852089 edges, 72577 markings/sec, 95 secs
lola: 8630198 markings, 43033599 edges, 74365 markings/sec, 100 secs
lola: 8989882 markings, 45405319 edges, 71937 markings/sec, 105 secs
lola: 9328210 markings, 47879743 edges, 67666 markings/sec, 110 secs
lola: 9720515 markings, 49861098 edges, 78461 markings/sec, 115 secs
lola: 10126366 markings, 51754491 edges, 81170 markings/sec, 120 secs
lola: 10489300 markings, 53836326 edges, 72587 markings/sec, 125 secs
lola: 10854554 markings, 56058334 edges, 73051 markings/sec, 130 secs
lola: 11198383 markings, 58435033 edges, 68766 markings/sec, 135 secs
lola: 11586818 markings, 60436487 edges, 77687 markings/sec, 140 secs
lola: 11952435 markings, 62522409 edges, 73123 markings/sec, 145 secs
lola: 12301745 markings, 64824163 edges, 69862 markings/sec, 150 secs
lola: 12675629 markings, 66868365 edges, 74777 markings/sec, 155 secs
lola: 13028990 markings, 69052422 edges, 70672 markings/sec, 160 secs
lola: 13382688 markings, 71127050 edges, 70740 markings/sec, 165 secs
lola: 13760041 markings, 73179606 edges, 75471 markings/sec, 170 secs
lola: 14146241 markings, 75201635 edges, 77240 markings/sec, 175 secs
lola: 14485308 markings, 77529643 edges, 67813 markings/sec, 180 secs
lola: 14822810 markings, 79849686 edges, 67500 markings/sec, 185 secs
lola: 15172955 markings, 82132860 edges, 70029 markings/sec, 190 secs
lola: 15501282 markings, 84618366 edges, 65665 markings/sec, 195 secs
lola: 15859702 markings, 86849261 edges, 71684 markings/sec, 200 secs
lola: 16221372 markings, 89028919 edges, 72334 markings/sec, 205 secs
lola: 16560090 markings, 91397944 edges, 67744 markings/sec, 210 secs
lola: 16927476 markings, 93488233 edges, 73477 markings/sec, 215 secs
lola: 17300143 markings, 95589109 edges, 74533 markings/sec, 220 secs
lola: 17669468 markings, 97629754 edges, 73865 markings/sec, 225 secs
lola: 18032534 markings, 99590150 edges, 72613 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 495991 markings, 1855098 edges, 99198 markings/sec, 0 secs
lola: 957924 markings, 3650262 edges, 92387 markings/sec, 5 secs
lola: 1391016 markings, 5503760 edges, 86618 markings/sec, 10 secs
lola: 1783580 markings, 7572484 edges, 78513 markings/sec, 15 secs
lola: 2206626 markings, 9753463 edges, 84609 markings/sec, 20 secs
lola: 2625643 markings, 12018018 edges, 83803 markings/sec, 25 secs
lola: 3055639 markings, 14258182 edges, 85999 markings/sec, 30 secs
lola: 3474162 markings, 16112297 edges, 83705 markings/sec, 35 secs
lola: 3859403 markings, 18192524 edges, 77048 markings/sec, 40 secs
lola: 4266924 markings, 20536219 edges, 81504 markings/sec, 45 secs
lola: 4676985 markings, 22443436 edges, 82012 markings/sec, 50 secs
lola: 5079942 markings, 24591652 edges, 80591 markings/sec, 55 secs
lola: 5476113 markings, 26622897 edges, 79234 markings/sec, 60 secs
lola: 5876862 markings, 28747106 edges, 80150 markings/sec, 65 secs
lola: 6276319 markings, 30750202 edges, 79891 markings/sec, 70 secs
lola: 6673548 markings, 32749604 edges, 79446 markings/sec, 75 secs
lola: 7068749 markings, 34645429 edges, 79040 markings/sec, 80 secs
lola: 7490120 markings, 36483804 edges, 84274 markings/sec, 85 secs
lola: 7876096 markings, 38553240 edges, 77195 markings/sec, 90 secs
lola: 8238782 markings, 40725974 edges, 72537 markings/sec, 95 secs
lola: 8609818 markings, 42913654 edges, 74207 markings/sec, 100 secs
lola: 8971875 markings, 45262243 edges, 72411 markings/sec, 105 secs
lola: 9310003 markings, 47726442 edges, 67626 markings/sec, 110 secs
lola: 9697425 markings, 49743437 edges, 77484 markings/sec, 115 secs
lola: 10102075 markings, 51630996 edges, 80930 markings/sec, 120 secs
lola: 10467913 markings, 53699580 edges, 73168 markings/sec, 125 secs
lola: 10830211 markings, 55903789 edges, 72460 markings/sec, 130 secs
lola: 11174473 markings, 58268143 edges, 68852 markings/sec, 135 secs
lola: 11557862 markings, 60293914 edges, 76678 markings/sec, 140 secs
lola: 11926265 markings, 62363032 edges, 73681 markings/sec, 145 secs
lola: 12276657 markings, 64643770 edges, 70078 markings/sec, 150 secs
lola: 12644755 markings, 66717627 edges, 73620 markings/sec, 155 secs
lola: 13000353 markings, 68886370 edges, 71120 markings/sec, 160 secs
lola: 13353064 markings, 70944426 edges, 70542 markings/sec, 165 secs
lola: 13722595 markings, 73010095 edges, 73906 markings/sec, 170 secs
lola: 14114754 markings, 75016407 edges, 78432 markings/sec, 175 secs
lola: 14453875 markings, 77309960 edges, 67824 markings/sec, 180 secs
lola: 14789962 markings, 79632332 edges, 67217 markings/sec, 185 secs
lola: 15139025 markings, 81883548 edges, 69813 markings/sec, 190 secs
lola: 15466076 markings, 84343851 edges, 65410 markings/sec, 195 secs
lola: 15814055 markings, 86611452 edges, 69596 markings/sec, 200 secs
lola: 16178786 markings, 88748268 edges, 72946 markings/sec, 205 secs
lola: 16516192 markings, 91107321 edges, 67481 markings/sec, 210 secs
lola: 16878892 markings, 93202592 edges, 72540 markings/sec, 215 secs
lola: 17251857 markings, 95279516 edges, 74593 markings/sec, 220 secs
lola: 17616704 markings, 97340069 edges, 72969 markings/sec, 225 secs
lola: 17981037 markings, 99279816 edges, 72867 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 575482 markings, 1642431 edges, 115096 markings/sec, 0 secs
lola: 1129435 markings, 3239143 edges, 110791 markings/sec, 5 secs
lola: 1629119 markings, 4974751 edges, 99937 markings/sec, 10 secs
lola: 2147741 markings, 6731536 edges, 103724 markings/sec, 15 secs
lola: 2634728 markings, 8296515 edges, 97397 markings/sec, 20 secs
lola: 3125341 markings, 10262873 edges, 98123 markings/sec, 25 secs
lola: 3606702 markings, 12209995 edges, 96272 markings/sec, 30 secs
lola: 4072734 markings, 14227085 edges, 93206 markings/sec, 35 secs
lola: 4469898 markings, 16311063 edges, 79433 markings/sec, 40 secs
lola: 4892667 markings, 18424083 edges, 84554 markings/sec, 45 secs
lola: 5298094 markings, 20624718 edges, 81085 markings/sec, 50 secs
lola: 5788041 markings, 22597184 edges, 97989 markings/sec, 55 secs
lola: 6319186 markings, 24345443 edges, 106229 markings/sec, 60 secs
lola: 6802368 markings, 25962559 edges, 96636 markings/sec, 65 secs
lola: 7270910 markings, 27902116 edges, 93708 markings/sec, 70 secs
lola: 7698582 markings, 29984606 edges, 85534 markings/sec, 75 secs
lola: 8100132 markings, 32103157 edges, 80310 markings/sec, 80 secs
lola: 8572331 markings, 34079176 edges, 94440 markings/sec, 85 secs
lola: 9074775 markings, 35875542 edges, 100489 markings/sec, 90 secs
lola: 9546181 markings, 37646677 edges, 94281 markings/sec, 95 secs
lola: 9967832 markings, 39789143 edges, 84330 markings/sec, 100 secs
lola: 10370510 markings, 41931577 edges, 80536 markings/sec, 105 secs
lola: 10898337 markings, 43645069 edges, 105565 markings/sec, 110 secs
lola: 11343064 markings, 45722950 edges, 88945 markings/sec, 115 secs
lola: 11774853 markings, 47312048 edges, 86358 markings/sec, 120 secs
lola: 12190926 markings, 48920758 edges, 83215 markings/sec, 125 secs
lola: 12681825 markings, 50574852 edges, 98180 markings/sec, 130 secs
lola: 13271911 markings, 52323162 edges, 118017 markings/sec, 135 secs
lola: 13823321 markings, 54094676 edges, 110282 markings/sec, 140 secs
lola: 14301328 markings, 55914701 edges, 95601 markings/sec, 145 secs
lola: 14806446 markings, 57752535 edges, 101024 markings/sec, 150 secs
lola: 15290254 markings, 59462276 edges, 96762 markings/sec, 155 secs
lola: 15723502 markings, 61338693 edges, 86650 markings/sec, 160 secs
lola: 16200011 markings, 63143023 edges, 95302 markings/sec, 165 secs
lola: 16698413 markings, 64858856 edges, 99680 markings/sec, 170 secs
lola: 17191974 markings, 66616583 edges, 98712 markings/sec, 175 secs
lola: 17661593 markings, 68320106 edges, 93924 markings/sec, 180 secs
lola: 18094760 markings, 70354413 edges, 86633 markings/sec, 185 secs
lola: 18562689 markings, 72216349 edges, 93586 markings/sec, 190 secs
lola: 19025159 markings, 74239755 edges, 92494 markings/sec, 195 secs
lola: 19510497 markings, 76184868 edges, 97068 markings/sec, 200 secs
lola: 19982054 markings, 78119267 edges, 94311 markings/sec, 205 secs
lola: 20392171 markings, 80206597 edges, 82023 markings/sec, 210 secs
lola: 20744900 markings, 82220667 edges, 70546 markings/sec, 215 secs
lola: 21188997 markings, 84191793 edges, 88819 markings/sec, 220 secs
lola: 21640510 markings, 86247139 edges, 90303 markings/sec, 225 secs
lola: 22042536 markings, 88414694 edges, 80405 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 480573 markings, 1464514 edges, 96115 markings/sec, 0 secs
lola: 932706 markings, 3067629 edges, 90427 markings/sec, 5 secs
lola: 1391579 markings, 4736085 edges, 91775 markings/sec, 10 secs
lola: 1845780 markings, 6301618 edges, 90840 markings/sec, 15 secs
lola: 2265604 markings, 8100528 edges, 83965 markings/sec, 20 secs
lola: 2700021 markings, 9902009 edges, 86883 markings/sec, 25 secs
lola: 3129552 markings, 11733777 edges, 85906 markings/sec, 30 secs
lola: 3575189 markings, 13388212 edges, 89127 markings/sec, 35 secs
lola: 4002499 markings, 14939462 edges, 85462 markings/sec, 40 secs
lola: 4411913 markings, 16487361 edges, 81883 markings/sec, 45 secs
lola: 4819823 markings, 18020408 edges, 81582 markings/sec, 50 secs
lola: 5228554 markings, 19528730 edges, 81746 markings/sec, 55 secs
lola: 5647443 markings, 21097370 edges, 83778 markings/sec, 60 secs
lola: 6054013 markings, 22840209 edges, 81314 markings/sec, 65 secs
lola: 6442241 markings, 24743302 edges, 77646 markings/sec, 70 secs
lola: 6827570 markings, 26746686 edges, 77066 markings/sec, 75 secs
lola: 7208586 markings, 28707630 edges, 76203 markings/sec, 80 secs
lola: 7608573 markings, 30693782 edges, 79997 markings/sec, 85 secs
lola: 7995716 markings, 32971093 edges, 77429 markings/sec, 90 secs
lola: 8409823 markings, 35042400 edges, 82821 markings/sec, 95 secs
lola: 8802802 markings, 36897284 edges, 78596 markings/sec, 100 secs
lola: 9178020 markings, 38738369 edges, 75044 markings/sec, 105 secs
lola: 9555214 markings, 40597198 edges, 75439 markings/sec, 110 secs
lola: 9922985 markings, 42650013 edges, 73554 markings/sec, 115 secs
lola: 10294140 markings, 44986347 edges, 74231 markings/sec, 120 secs
lola: 10670958 markings, 47272746 edges, 75364 markings/sec, 125 secs
lola: 11073344 markings, 49326344 edges, 80477 markings/sec, 130 secs
lola: 11499567 markings, 50974716 edges, 85245 markings/sec, 135 secs
lola: 11910630 markings, 52682415 edges, 82213 markings/sec, 140 secs
lola: 12306424 markings, 54510451 edges, 79159 markings/sec, 145 secs
lola: 12716054 markings, 56091390 edges, 81926 markings/sec, 150 secs
lola: 13127763 markings, 57689173 edges, 82342 markings/sec, 155 secs
lola: 13538112 markings, 59319442 edges, 82070 markings/sec, 160 secs
lola: 13929743 markings, 61226261 edges, 78326 markings/sec, 165 secs
lola: 14315332 markings, 63235615 edges, 77118 markings/sec, 170 secs
lola: 14693930 markings, 65121598 edges, 75720 markings/sec, 175 secs
lola: 15075512 markings, 67083148 edges, 76316 markings/sec, 180 secs
lola: 15430828 markings, 69278004 edges, 71063 markings/sec, 185 secs
lola: 15808704 markings, 71301293 edges, 75575 markings/sec, 190 secs
lola: 16205973 markings, 72923180 edges, 79454 markings/sec, 195 secs
lola: 16613163 markings, 74586766 edges, 81438 markings/sec, 200 secs
lola: 17013218 markings, 76383796 edges, 80011 markings/sec, 205 secs
lola: 17392979 markings, 78382182 edges, 75952 markings/sec, 210 secs
lola: 17785967 markings, 80371074 edges, 78598 markings/sec, 215 secs
lola: 18140041 markings, 82576770 edges, 70815 markings/sec, 220 secs
lola: 18534855 markings, 84298761 edges, 78963 markings/sec, 225 secs
lola: 18898908 markings, 86318717 edges, 72811 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 518934 markings, 1664941 edges, 103787 markings/sec, 0 secs
lola: 1029471 markings, 3605435 edges, 102107 markings/sec, 5 secs
lola: 1519405 markings, 5830775 edges, 97987 markings/sec, 10 secs
lola: 1984590 markings, 7493575 edges, 93037 markings/sec, 15 secs
lola: 2468821 markings, 9595023 edges, 96846 markings/sec, 20 secs
lola: 2939476 markings, 11271649 edges, 94131 markings/sec, 25 secs
lola: 3374592 markings, 12963560 edges, 87023 markings/sec, 30 secs
lola: 3819571 markings, 14702195 edges, 88996 markings/sec, 35 secs
lola: 4239031 markings, 16415427 edges, 83892 markings/sec, 40 secs
lola: 4664279 markings, 18082915 edges, 85050 markings/sec, 45 secs
lola: 5077172 markings, 19855384 edges, 82579 markings/sec, 50 secs
lola: 5489960 markings, 21944298 edges, 82558 markings/sec, 55 secs
lola: 5883448 markings, 23882331 edges, 78698 markings/sec, 60 secs
lola: 6250609 markings, 25861941 edges, 73432 markings/sec, 65 secs
lola: 6636548 markings, 27796607 edges, 77188 markings/sec, 70 secs
lola: 7005233 markings, 29836511 edges, 73737 markings/sec, 75 secs
lola: 7357588 markings, 31929039 edges, 70471 markings/sec, 80 secs
lola: 7798297 markings, 34167508 edges, 88142 markings/sec, 85 secs
lola: 8215139 markings, 36201136 edges, 83368 markings/sec, 90 secs
lola: 8634230 markings, 38228306 edges, 83818 markings/sec, 95 secs
lola: 9012221 markings, 40330265 edges, 75598 markings/sec, 100 secs
lola: 9379210 markings, 42574868 edges, 73398 markings/sec, 105 secs
lola: 9822446 markings, 44669548 edges, 88647 markings/sec, 110 secs
lola: 10251212 markings, 46934225 edges, 85753 markings/sec, 115 secs
lola: 10650414 markings, 49533306 edges, 79840 markings/sec, 120 secs
lola: 11052232 markings, 52157495 edges, 80364 markings/sec, 125 secs
lola: 11457341 markings, 54690857 edges, 81022 markings/sec, 130 secs
lola: 11895990 markings, 56447856 edges, 87730 markings/sec, 135 secs
lola: 12349813 markings, 58482574 edges, 90765 markings/sec, 140 secs
lola: 12788435 markings, 60190113 edges, 87724 markings/sec, 145 secs
lola: 13197277 markings, 61945209 edges, 81768 markings/sec, 150 secs
lola: 13597181 markings, 63668080 edges, 79981 markings/sec, 155 secs
lola: 13996573 markings, 65600187 edges, 79878 markings/sec, 160 secs
lola: 14352821 markings, 67645767 edges, 71250 markings/sec, 165 secs
lola: 14736446 markings, 69586677 edges, 76725 markings/sec, 170 secs
lola: 15084584 markings, 71496734 edges, 69628 markings/sec, 175 secs
lola: 15464743 markings, 73444247 edges, 76032 markings/sec, 180 secs
lola: 15812731 markings, 75532916 edges, 69598 markings/sec, 185 secs
lola: 16194147 markings, 77685056 edges, 76283 markings/sec, 190 secs
lola: 16641610 markings, 79765006 edges, 89493 markings/sec, 195 secs
lola: 17036251 markings, 82300414 edges, 78928 markings/sec, 200 secs
lola: 17442532 markings, 84834456 edges, 81256 markings/sec, 205 secs
lola: 17876124 markings, 86874851 edges, 86718 markings/sec, 210 secs
lola: 18300128 markings, 88586494 edges, 84801 markings/sec, 215 secs
lola: 18680293 markings, 90461358 edges, 76033 markings/sec, 220 secs
lola: 19049633 markings, 92464689 edges, 73868 markings/sec, 225 secs
lola: 19411635 markings, 94383632 edges, 72400 markings/sec, 230 secs
lola: 19768414 markings, 96422437 edges, 71356 markings/sec, 235 secs
lola: 20184432 markings, 98525953 edges, 83204 markings/sec, 240 secs
lola: 20618839 markings, 100788434 edges, 86881 markings/sec, 245 secs
lola: 21015053 markings, 103245934 edges, 79243 markings/sec, 250 secs
lola: 21432008 markings, 105010012 edges, 83391 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 523520 markings, 1354319 edges, 104704 markings/sec, 0 secs
lola: 1003437 markings, 2787948 edges, 95983 markings/sec, 5 secs
lola: 1425919 markings, 4187042 edges, 84496 markings/sec, 10 secs
lola: 1919243 markings, 5725811 edges, 98665 markings/sec, 15 secs
lola: 2474053 markings, 7243080 edges, 110962 markings/sec, 20 secs
lola: 2915384 markings, 8853926 edges, 88266 markings/sec, 25 secs
lola: 3395880 markings, 10323824 edges, 96099 markings/sec, 30 secs
lola: 3902369 markings, 12050992 edges, 101298 markings/sec, 35 secs
lola: 4420112 markings, 13833916 edges, 103549 markings/sec, 40 secs
lola: 4913883 markings, 15569086 edges, 98754 markings/sec, 45 secs
lola: 5386128 markings, 17209522 edges, 94449 markings/sec, 50 secs
lola: 5822537 markings, 18841755 edges, 87282 markings/sec, 55 secs
lola: 6289852 markings, 20517954 edges, 93463 markings/sec, 60 secs
lola: 6766051 markings, 22214078 edges, 95240 markings/sec, 65 secs
lola: 7250548 markings, 23869298 edges, 96899 markings/sec, 70 secs
lola: 7738727 markings, 25401180 edges, 97636 markings/sec, 75 secs
lola: 8242999 markings, 27069061 edges, 100854 markings/sec, 80 secs
lola: 8695121 markings, 28811525 edges, 90424 markings/sec, 85 secs
lola: 9129164 markings, 30856464 edges, 86809 markings/sec, 90 secs
lola: 9576647 markings, 32898679 edges, 89497 markings/sec, 95 secs
lola: 10012863 markings, 34858358 edges, 87243 markings/sec, 100 secs
lola: 10466137 markings, 36797699 edges, 90655 markings/sec, 105 secs
lola: 10950892 markings, 38744405 edges, 96951 markings/sec, 110 secs
lola: 11432782 markings, 40629158 edges, 96378 markings/sec, 115 secs
lola: 11862151 markings, 42637024 edges, 85874 markings/sec, 120 secs
lola: 12287622 markings, 44616843 edges, 85094 markings/sec, 125 secs
lola: 12730520 markings, 46568722 edges, 88580 markings/sec, 130 secs
lola: 13165118 markings, 48612347 edges, 86920 markings/sec, 135 secs
lola: 13600650 markings, 50610287 edges, 87106 markings/sec, 140 secs
lola: 14040829 markings, 52557532 edges, 88036 markings/sec, 145 secs
lola: 14454198 markings, 54508599 edges, 82674 markings/sec, 150 secs
lola: 14917001 markings, 56399245 edges, 92561 markings/sec, 155 secs
lola: 15296844 markings, 58407990 edges, 75969 markings/sec, 160 secs
lola: 15726675 markings, 60410549 edges, 85966 markings/sec, 165 secs
lola: 16162842 markings, 62442849 edges, 87233 markings/sec, 170 secs
lola: 16535121 markings, 64419291 edges, 74456 markings/sec, 175 secs
lola: 16934557 markings, 66481568 edges, 79887 markings/sec, 180 secs
lola: 17352561 markings, 68524190 edges, 83601 markings/sec, 185 secs
lola: 17777090 markings, 70478390 edges, 84906 markings/sec, 190 secs
lola: 18174562 markings, 72669716 edges, 79494 markings/sec, 195 secs
lola: 18560756 markings, 74977839 edges, 77239 markings/sec, 200 secs
lola: 18951507 markings, 77217951 edges, 78150 markings/sec, 205 secs
lola: 19346049 markings, 79385355 edges, 78908 markings/sec, 210 secs
lola: 19695228 markings, 81641556 edges, 69836 markings/sec, 215 secs
lola: 20073785 markings, 83966442 edges, 75711 markings/sec, 220 secs
lola: 20453436 markings, 86221008 edges, 75930 markings/sec, 225 secs
lola: 20862511 markings, 88085876 edges, 81815 markings/sec, 230 secs
lola: 21344347 markings, 89942484 edges, 96367 markings/sec, 235 secs
lola: 21734341 markings, 91816039 edges, 77999 markings/sec, 240 secs
lola: 22192276 markings, 93822490 edges, 91587 markings/sec, 245 secs
lola: 22620458 markings, 95772514 edges, 85636 markings/sec, 250 secs
lola: 23033631 markings, 97728697 edges, 82635 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 488561 markings, 1609917 edges, 97712 markings/sec, 0 secs
lola: 930789 markings, 3271461 edges, 88446 markings/sec, 5 secs
lola: 1337024 markings, 4843136 edges, 81247 markings/sec, 10 secs
lola: 1725589 markings, 6639431 edges, 77713 markings/sec, 15 secs
lola: 2148399 markings, 8308258 edges, 84562 markings/sec, 20 secs
lola: 2562193 markings, 9947354 edges, 82759 markings/sec, 25 secs
lola: 2999609 markings, 11560080 edges, 87483 markings/sec, 30 secs
lola: 3441819 markings, 13339881 edges, 88442 markings/sec, 35 secs
lola: 3872455 markings, 15252374 edges, 86127 markings/sec, 40 secs
lola: 4328523 markings, 17031348 edges, 91214 markings/sec, 45 secs
lola: 4773221 markings, 18903182 edges, 88940 markings/sec, 50 secs
lola: 5208160 markings, 20637466 edges, 86988 markings/sec, 55 secs
lola: 5653447 markings, 22379155 edges, 89057 markings/sec, 60 secs
lola: 6046013 markings, 24124724 edges, 78513 markings/sec, 65 secs
lola: 6423088 markings, 25781540 edges, 75415 markings/sec, 70 secs
lola: 6796592 markings, 27449214 edges, 74701 markings/sec, 75 secs
lola: 7196964 markings, 28975214 edges, 80074 markings/sec, 80 secs
lola: 7560477 markings, 30634051 edges, 72703 markings/sec, 85 secs
lola: 7916262 markings, 32249219 edges, 71157 markings/sec, 90 secs
lola: 8308010 markings, 33904774 edges, 78350 markings/sec, 95 secs
lola: 8725188 markings, 35685431 edges, 83436 markings/sec, 100 secs
lola: 9107594 markings, 37440416 edges, 76481 markings/sec, 105 secs
lola: 9444486 markings, 39312094 edges, 67378 markings/sec, 110 secs
lola: 9847504 markings, 41298355 edges, 80604 markings/sec, 115 secs
lola: 10210556 markings, 43266525 edges, 72610 markings/sec, 120 secs
lola: 10570649 markings, 45329108 edges, 72019 markings/sec, 125 secs
lola: 10900676 markings, 47342094 edges, 66005 markings/sec, 130 secs
lola: 11270367 markings, 49414383 edges, 73938 markings/sec, 135 secs
lola: 11644127 markings, 51512270 edges, 74752 markings/sec, 140 secs
lola: 11987509 markings, 53711153 edges, 68676 markings/sec, 145 secs
lola: 12350827 markings, 55980399 edges, 72664 markings/sec, 150 secs
lola: 12770076 markings, 58040114 edges, 83850 markings/sec, 155 secs
lola: 13169497 markings, 60025007 edges, 79884 markings/sec, 160 secs
lola: 13513021 markings, 61885789 edges, 68705 markings/sec, 165 secs
lola: 13878553 markings, 63621597 edges, 73106 markings/sec, 170 secs
lola: 14219529 markings, 65498015 edges, 68195 markings/sec, 175 secs
lola: 14544038 markings, 67344958 edges, 64902 markings/sec, 180 secs
lola: 14927915 markings, 69341267 edges, 76775 markings/sec, 185 secs
lola: 15296051 markings, 71387764 edges, 73627 markings/sec, 190 secs
lola: 15658442 markings, 73598046 edges, 72478 markings/sec, 195 secs
lola: 16033932 markings, 75863553 edges, 75098 markings/sec, 200 secs
lola: 16348452 markings, 78057695 edges, 62904 markings/sec, 205 secs
lola: 16721365 markings, 80387192 edges, 74583 markings/sec, 210 secs
lola: 17083231 markings, 82811696 edges, 72373 markings/sec, 215 secs
lola: 17483923 markings, 84821804 edges, 80138 markings/sec, 220 secs
lola: 17873734 markings, 86440736 edges, 77962 markings/sec, 225 secs
lola: 18247823 markings, 88193031 edges, 74818 markings/sec, 230 secs
lola: 18640900 markings, 89828633 edges, 78615 markings/sec, 235 secs
lola: 19065582 markings, 91553642 edges, 84936 markings/sec, 240 secs
lola: 19475014 markings, 93400402 edges, 81886 markings/sec, 245 secs
lola: 19871658 markings, 95253413 edges, 79329 markings/sec, 250 secs
lola: 20238746 markings, 96967864 edges, 73418 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 487696 markings, 1784997 edges, 97539 markings/sec, 0 secs
lola: 953394 markings, 3510518 edges, 93140 markings/sec, 5 secs
lola: 1585673 markings, 5066624 edges, 126456 markings/sec, 10 secs
lola: 2141680 markings, 7093808 edges, 111201 markings/sec, 15 secs
lola: 2567420 markings, 9280474 edges, 85148 markings/sec, 20 secs
lola: 3090269 markings, 11113451 edges, 104570 markings/sec, 25 secs
lola: 3594947 markings, 13264463 edges, 100936 markings/sec, 30 secs
lola: 4097579 markings, 15146470 edges, 100526 markings/sec, 35 secs
lola: 4536224 markings, 17047019 edges, 87729 markings/sec, 40 secs
lola: 4905032 markings, 18953484 edges, 73762 markings/sec, 45 secs
lola: 5266987 markings, 20915956 edges, 72391 markings/sec, 50 secs
lola: 5762165 markings, 22903679 edges, 99036 markings/sec, 55 secs
lola: 6170870 markings, 24692290 edges, 81741 markings/sec, 60 secs
lola: 6529898 markings, 26647284 edges, 71806 markings/sec, 65 secs
lola: 6906485 markings, 28534860 edges, 75317 markings/sec, 70 secs
lola: 7280235 markings, 30408504 edges, 74750 markings/sec, 75 secs
lola: 7758728 markings, 32099506 edges, 95699 markings/sec, 80 secs
lola: 8239136 markings, 33937117 edges, 96082 markings/sec, 85 secs
lola: 8716169 markings, 35588088 edges, 95407 markings/sec, 90 secs
lola: 9156872 markings, 37346678 edges, 88141 markings/sec, 95 secs
lola: 9710139 markings, 38971756 edges, 110653 markings/sec, 100 secs
lola: 10188894 markings, 40840977 edges, 95751 markings/sec, 105 secs
lola: 10579309 markings, 42549458 edges, 78083 markings/sec, 110 secs
lola: 11043605 markings, 44293228 edges, 92859 markings/sec, 115 secs
lola: 11479823 markings, 45914876 edges, 87244 markings/sec, 120 secs
lola: 11985669 markings, 47604000 edges, 101169 markings/sec, 125 secs
lola: 12539392 markings, 49305671 edges, 110745 markings/sec, 130 secs
lola: 13090369 markings, 50978509 edges, 110195 markings/sec, 135 secs
lola: 13681587 markings, 52435625 edges, 118244 markings/sec, 140 secs
lola: 14221174 markings, 54306250 edges, 107917 markings/sec, 145 secs
lola: 14711241 markings, 56270018 edges, 98013 markings/sec, 150 secs
lola: 15262485 markings, 58214012 edges, 110249 markings/sec, 155 secs
lola: 15647766 markings, 60247851 edges, 77056 markings/sec, 160 secs
lola: 16003578 markings, 62298514 edges, 71162 markings/sec, 165 secs
lola: 16521701 markings, 64299753 edges, 103625 markings/sec, 170 secs
lola: 16991222 markings, 66368239 edges, 93904 markings/sec, 175 secs
lola: 17482716 markings, 68127125 edges, 98299 markings/sec, 180 secs
lola: 17949240 markings, 69939028 edges, 93305 markings/sec, 185 secs
lola: 18400138 markings, 72045651 edges, 90180 markings/sec, 190 secs
lola: 18818925 markings, 74381524 edges, 83757 markings/sec, 195 secs
lola: 19290220 markings, 76495956 edges, 94259 markings/sec, 200 secs
lola: 19682258 markings, 78741835 edges, 78408 markings/sec, 205 secs
lola: 20172999 markings, 80821396 edges, 98148 markings/sec, 210 secs
lola: 20647730 markings, 83105631 edges, 94946 markings/sec, 215 secs
lola: 20977988 markings, 85278926 edges, 66052 markings/sec, 220 secs
lola: 21424009 markings, 87233791 edges, 89204 markings/sec, 225 secs
lola: 21865916 markings, 89256027 edges, 88381 markings/sec, 230 secs
lola: 22350441 markings, 91214021 edges, 96905 markings/sec, 235 secs
lola: 22845746 markings, 93058692 edges, 99061 markings/sec, 240 secs
lola: 23311485 markings, 95100593 edges, 93148 markings/sec, 245 secs
lola: 23763938 markings, 97300462 edges, 90491 markings/sec, 250 secs
lola: 24198551 markings, 99354495 edges, 86923 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 486459 markings, 1527423 edges, 97292 markings/sec, 0 secs
lola: 939664 markings, 3283818 edges, 90641 markings/sec, 5 secs
lola: 1360916 markings, 5284702 edges, 84250 markings/sec, 10 secs
lola: 1761973 markings, 7217674 edges, 80211 markings/sec, 15 secs
lola: 2133700 markings, 9032719 edges, 74345 markings/sec, 20 secs
lola: 2497196 markings, 10866146 edges, 72699 markings/sec, 25 secs
lola: 2846952 markings, 12709138 edges, 69951 markings/sec, 30 secs
lola: 3200267 markings, 14603050 edges, 70663 markings/sec, 35 secs
lola: 3579337 markings, 16482445 edges, 75814 markings/sec, 40 secs
lola: 3937984 markings, 18425979 edges, 71729 markings/sec, 45 secs
lola: 4293347 markings, 20330224 edges, 71073 markings/sec, 50 secs
lola: 4647527 markings, 22319540 edges, 70836 markings/sec, 55 secs
lola: 5005644 markings, 24211483 edges, 71623 markings/sec, 60 secs
lola: 5341729 markings, 26305011 edges, 67217 markings/sec, 65 secs
lola: 5680906 markings, 28374739 edges, 67835 markings/sec, 70 secs
lola: 6018426 markings, 30469973 edges, 67504 markings/sec, 75 secs
lola: 6360866 markings, 32405910 edges, 68488 markings/sec, 80 secs
lola: 6682482 markings, 34535188 edges, 64323 markings/sec, 85 secs
lola: 7009748 markings, 36638671 edges, 65453 markings/sec, 90 secs
lola: 7344941 markings, 38591305 edges, 67039 markings/sec, 95 secs
lola: 7712185 markings, 40646939 edges, 73449 markings/sec, 100 secs
lola: 8161599 markings, 42342135 edges, 89883 markings/sec, 105 secs
lola: 8570811 markings, 44294446 edges, 81842 markings/sec, 110 secs
lola: 8935496 markings, 46108841 edges, 72937 markings/sec, 115 secs
lola: 9293520 markings, 47954732 edges, 71605 markings/sec, 120 secs
lola: 9656215 markings, 49901704 edges, 72539 markings/sec, 125 secs
lola: 10013821 markings, 51743466 edges, 71521 markings/sec, 130 secs
lola: 10347626 markings, 53778474 edges, 66761 markings/sec, 135 secs
lola: 10674256 markings, 55867554 edges, 65326 markings/sec, 140 secs
lola: 11036889 markings, 57783841 edges, 72527 markings/sec, 145 secs
lola: 11377724 markings, 59865232 edges, 68167 markings/sec, 150 secs
lola: 11718220 markings, 61951176 edges, 68099 markings/sec, 155 secs
lola: 12078547 markings, 63901931 edges, 72065 markings/sec, 160 secs
lola: 12454792 markings, 65773777 edges, 75249 markings/sec, 165 secs
lola: 12799197 markings, 67647521 edges, 68881 markings/sec, 170 secs
lola: 13147066 markings, 69527555 edges, 69574 markings/sec, 175 secs
lola: 13484215 markings, 71626626 edges, 67430 markings/sec, 180 secs
lola: 13819818 markings, 73620608 edges, 67121 markings/sec, 185 secs
lola: 14153224 markings, 75649656 edges, 66681 markings/sec, 190 secs
lola: 14503995 markings, 77647100 edges, 70154 markings/sec, 195 secs
lola: 14833824 markings, 79617261 edges, 65966 markings/sec, 200 secs
lola: 15157581 markings, 81537140 edges, 64751 markings/sec, 205 secs
lola: 15467178 markings, 83558612 edges, 61919 markings/sec, 210 secs
lola: 15842796 markings, 85617425 edges, 75124 markings/sec, 215 secs
lola: 16216652 markings, 87846347 edges, 74771 markings/sec, 220 secs
lola: 16576588 markings, 90099589 edges, 71987 markings/sec, 225 secs
lola: 16959235 markings, 92378194 edges, 76529 markings/sec, 230 secs
lola: 17313118 markings, 94696519 edges, 70777 markings/sec, 235 secs
lola: 17646197 markings, 96972003 edges, 66616 markings/sec, 240 secs
lola: 17959528 markings, 99302724 edges, 62666 markings/sec, 245 secs
lola: 18266564 markings, 101655261 edges, 61407 markings/sec, 250 secs
lola: 18574363 markings, 103986047 edges, 61560 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 515835 markings, 1656721 edges, 103167 markings/sec, 0 secs
lola: 1030774 markings, 3613047 edges, 102988 markings/sec, 5 secs
lola: 1523170 markings, 5841884 edges, 98479 markings/sec, 10 secs
lola: 1992319 markings, 7524401 edges, 93830 markings/sec, 15 secs
lola: 2479312 markings, 9625253 edges, 97399 markings/sec, 20 secs
lola: 2949981 markings, 11315965 edges, 94134 markings/sec, 25 secs
lola: 3384344 markings, 13010082 edges, 86873 markings/sec, 30 secs
lola: 3832492 markings, 14747504 edges, 89630 markings/sec, 35 secs
lola: 4238014 markings, 16412119 edges, 81104 markings/sec, 40 secs
lola: 4662469 markings, 18072841 edges, 84891 markings/sec, 45 secs
lola: 5079176 markings, 19865759 edges, 83341 markings/sec, 50 secs
lola: 5491739 markings, 21951598 edges, 82513 markings/sec, 55 secs
lola: 5873567 markings, 23828612 edges, 76366 markings/sec, 60 secs
lola: 6236862 markings, 25794155 edges, 72659 markings/sec, 65 secs
lola: 6622404 markings, 27713789 edges, 77108 markings/sec, 70 secs
lola: 6987734 markings, 29734543 edges, 73066 markings/sec, 75 secs
lola: 7325533 markings, 31719160 edges, 67560 markings/sec, 80 secs
lola: 7748552 markings, 33879252 edges, 84604 markings/sec, 85 secs
lola: 8167380 markings, 35971907 edges, 83766 markings/sec, 90 secs
lola: 8582231 markings, 37978585 edges, 82970 markings/sec, 95 secs
lola: 8960861 markings, 40044402 edges, 75726 markings/sec, 100 secs
lola: 9332309 markings, 42266726 edges, 74290 markings/sec, 105 secs
lola: 9775073 markings, 44374554 edges, 88553 markings/sec, 110 secs
lola: 10200322 markings, 46660499 edges, 85050 markings/sec, 115 secs
lola: 10610410 markings, 49253184 edges, 82018 markings/sec, 120 secs
lola: 11013643 markings, 51940576 edges, 80647 markings/sec, 125 secs
lola: 11426882 markings, 54561779 edges, 82648 markings/sec, 130 secs
lola: 11867055 markings, 56313641 edges, 88035 markings/sec, 135 secs
lola: 12327100 markings, 58413840 edges, 92009 markings/sec, 140 secs
lola: 12773413 markings, 60118454 edges, 89263 markings/sec, 145 secs
lola: 13181476 markings, 61887070 edges, 81613 markings/sec, 150 secs
lola: 13601429 markings, 63681632 edges, 83991 markings/sec, 155 secs
lola: 14000872 markings, 65619361 edges, 79889 markings/sec, 160 secs
lola: 14360443 markings, 67682926 edges, 71914 markings/sec, 165 secs
lola: 14743611 markings, 69615888 edges, 76634 markings/sec, 170 secs
lola: 15116421 markings, 71652836 edges, 74562 markings/sec, 175 secs
lola: 15495275 markings, 73593653 edges, 75771 markings/sec, 180 secs
lola: 15843577 markings, 75740085 edges, 69660 markings/sec, 185 secs
lola: 16233170 markings, 77848853 edges, 77919 markings/sec, 190 secs
lola: 16670967 markings, 79919328 edges, 87559 markings/sec, 195 secs
lola: 17053901 markings, 82398093 edges, 76587 markings/sec, 200 secs
lola: 17450423 markings, 84892941 edges, 79304 markings/sec, 205 secs
lola: 17884278 markings, 86911359 edges, 86771 markings/sec, 210 secs
lola: 18306237 markings, 88615616 edges, 84392 markings/sec, 215 secs
lola: 18684553 markings, 90487710 edges, 75663 markings/sec, 220 secs
lola: 19053690 markings, 92491142 edges, 73827 markings/sec, 225 secs
lola: 19415863 markings, 94407690 edges, 72435 markings/sec, 230 secs
lola: 19772101 markings, 96441954 edges, 71248 markings/sec, 235 secs
lola: 20188560 markings, 98541392 edges, 83292 markings/sec, 240 secs
lola: 20620529 markings, 100799224 edges, 86394 markings/sec, 245 secs
lola: 21017813 markings, 103256030 edges, 79457 markings/sec, 250 secs
lola: 21434851 markings, 105022827 edges, 83408 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 443152 markings, 1412130 edges, 88630 markings/sec, 0 secs
lola: 858272 markings, 2880441 edges, 83024 markings/sec, 5 secs
lola: 1270507 markings, 4337672 edges, 82447 markings/sec, 10 secs
lola: 1674637 markings, 5679303 edges, 80826 markings/sec, 15 secs
lola: 2079093 markings, 7247876 edges, 80891 markings/sec, 20 secs
lola: 2476516 markings, 8841959 edges, 79485 markings/sec, 25 secs
lola: 2893606 markings, 10294447 edges, 83418 markings/sec, 30 secs
lola: 3284226 markings, 11877610 edges, 78124 markings/sec, 35 secs
lola: 3654709 markings, 13177434 edges, 74097 markings/sec, 40 secs
lola: 4068674 markings, 14663265 edges, 82793 markings/sec, 45 secs
lola: 4471176 markings, 16133439 edges, 80500 markings/sec, 50 secs
lola: 4878565 markings, 17572484 edges, 81478 markings/sec, 55 secs
lola: 5285027 markings, 18966925 edges, 81292 markings/sec, 60 secs
lola: 5674050 markings, 20459548 edges, 77805 markings/sec, 65 secs
lola: 6077638 markings, 21961792 edges, 80718 markings/sec, 70 secs
lola: 6465144 markings, 23626676 edges, 77501 markings/sec, 75 secs
lola: 6857185 markings, 25003245 edges, 78408 markings/sec, 80 secs
lola: 7243599 markings, 26513352 edges, 77283 markings/sec, 85 secs
lola: 7636698 markings, 28023921 edges, 78620 markings/sec, 90 secs
lola: 8009492 markings, 29729028 edges, 74559 markings/sec, 95 secs
lola: 8362682 markings, 31751602 edges, 70638 markings/sec, 100 secs
lola: 8733976 markings, 33644122 edges, 74259 markings/sec, 105 secs
lola: 9109100 markings, 35376034 edges, 75025 markings/sec, 110 secs
lola: 9487645 markings, 37037152 edges, 75709 markings/sec, 115 secs
lola: 9863949 markings, 38739067 edges, 75261 markings/sec, 120 secs
lola: 10213854 markings, 40796583 edges, 69981 markings/sec, 125 secs
lola: 10579623 markings, 42533251 edges, 73154 markings/sec, 130 secs
lola: 10931389 markings, 44537176 edges, 70353 markings/sec, 135 secs
lola: 11305019 markings, 46375076 edges, 74726 markings/sec, 140 secs
lola: 11687170 markings, 48187451 edges, 76430 markings/sec, 145 secs
lola: 12064713 markings, 50040268 edges, 75509 markings/sec, 150 secs
lola: 12455757 markings, 51886896 edges, 78209 markings/sec, 155 secs
lola: 12843713 markings, 53697918 edges, 77591 markings/sec, 160 secs
lola: 13252710 markings, 55267970 edges, 81799 markings/sec, 165 secs
lola: 13654327 markings, 56890528 edges, 80323 markings/sec, 170 secs
lola: 14066345 markings, 58334123 edges, 82404 markings/sec, 175 secs
lola: 14452005 markings, 60063045 edges, 77132 markings/sec, 180 secs
lola: 14824695 markings, 61984025 edges, 74538 markings/sec, 185 secs
lola: 15199590 markings, 63919377 edges, 74979 markings/sec, 190 secs
lola: 15598804 markings, 65507806 edges, 79843 markings/sec, 195 secs
lola: 15988472 markings, 67009144 edges, 77934 markings/sec, 200 secs
lola: 16350634 markings, 68936634 edges, 72432 markings/sec, 205 secs
lola: 16715141 markings, 70822020 edges, 72901 markings/sec, 210 secs
lola: 17070453 markings, 72837758 edges, 71062 markings/sec, 215 secs
lola: 17449279 markings, 74450541 edges, 75765 markings/sec, 220 secs
lola: 17806936 markings, 76371228 edges, 71531 markings/sec, 225 secs
lola: 18167105 markings, 78283459 edges, 72034 markings/sec, 230 secs
lola: 18553022 markings, 79915068 edges, 77183 markings/sec, 235 secs
lola: 18954758 markings, 81346100 edges, 80347 markings/sec, 240 secs
lola: 19335675 markings, 83037330 edges, 76183 markings/sec, 245 secs
lola: 19717336 markings, 84557956 edges, 76332 markings/sec, 250 secs
lola: 20074319 markings, 86395822 edges, 71397 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 439336 markings, 1396959 edges, 87867 markings/sec, 0 secs
lola: 853617 markings, 2866317 edges, 82856 markings/sec, 5 secs
lola: 1268856 markings, 4333613 edges, 83048 markings/sec, 10 secs
lola: 1678638 markings, 5695321 edges, 81956 markings/sec, 15 secs
lola: 2088404 markings, 7275131 edges, 81953 markings/sec, 20 secs
lola: 2484453 markings, 8877449 edges, 79210 markings/sec, 25 secs
lola: 2899891 markings, 10313419 edges, 83088 markings/sec, 30 secs
lola: 3295182 markings, 11914864 edges, 79058 markings/sec, 35 secs
lola: 3697428 markings, 13338206 edges, 80449 markings/sec, 40 secs
lola: 4113800 markings, 14822090 edges, 83274 markings/sec, 45 secs
lola: 4519541 markings, 16293407 edges, 81148 markings/sec, 50 secs
lola: 4920914 markings, 17725253 edges, 80275 markings/sec, 55 secs
lola: 5327852 markings, 19091260 edges, 81388 markings/sec, 60 secs
lola: 5718543 markings, 20665030 edges, 78138 markings/sec, 65 secs
lola: 6131235 markings, 22131234 edges, 82538 markings/sec, 70 secs
lola: 6521311 markings, 23849459 edges, 78015 markings/sec, 75 secs
lola: 6928608 markings, 25295276 edges, 81459 markings/sec, 80 secs
lola: 7325818 markings, 26830271 edges, 79442 markings/sec, 85 secs
lola: 7719400 markings, 28413519 edges, 78716 markings/sec, 90 secs
lola: 8089136 markings, 30162516 edges, 73947 markings/sec, 95 secs
lola: 8444381 markings, 32199012 edges, 71049 markings/sec, 100 secs
lola: 8823189 markings, 34054175 edges, 75762 markings/sec, 105 secs
lola: 9195157 markings, 35785175 edges, 74394 markings/sec, 110 secs
lola: 9583501 markings, 37391057 edges, 77669 markings/sec, 115 secs
lola: 9950093 markings, 39213387 edges, 73318 markings/sec, 120 secs
lola: 10300145 markings, 41241238 edges, 70010 markings/sec, 125 secs
lola: 10664185 markings, 43014199 edges, 72808 markings/sec, 130 secs
lola: 11025553 markings, 44931183 edges, 72274 markings/sec, 135 secs
lola: 11398558 markings, 46773399 edges, 74601 markings/sec, 140 secs
lola: 11779622 markings, 48626478 edges, 76213 markings/sec, 145 secs
lola: 12157888 markings, 50477741 edges, 75653 markings/sec, 150 secs
lola: 12546313 markings, 52324163 edges, 77685 markings/sec, 155 secs
lola: 12942855 markings, 54025735 edges, 79308 markings/sec, 160 secs
lola: 13346448 markings, 55658942 edges, 80719 markings/sec, 165 secs
lola: 13748762 markings, 57263739 edges, 80463 markings/sec, 170 secs
lola: 14161389 markings, 58664821 edges, 82525 markings/sec, 175 secs
lola: 14540830 markings, 60517777 edges, 75888 markings/sec, 180 secs
lola: 14907785 markings, 62482785 edges, 73391 markings/sec, 185 secs
lola: 15288478 markings, 64337050 edges, 76139 markings/sec, 190 secs
lola: 15689339 markings, 65846433 edges, 80172 markings/sec, 195 secs
lola: 16071097 markings, 67446216 edges, 76352 markings/sec, 200 secs
lola: 16432523 markings, 69362053 edges, 72285 markings/sec, 205 secs
lola: 16790150 markings, 71319072 edges, 71525 markings/sec, 210 secs
lola: 17158045 markings, 73155779 edges, 73579 markings/sec, 215 secs
lola: 17521274 markings, 74846332 edges, 72646 markings/sec, 220 secs
lola: 17869654 markings, 76802116 edges, 69676 markings/sec, 225 secs
lola: 18235938 markings, 78538220 edges, 73257 markings/sec, 230 secs
lola: 18621500 markings, 80154412 edges, 77112 markings/sec, 235 secs
lola: 19015041 markings, 81649787 edges, 78708 markings/sec, 240 secs
lola: 19396838 markings, 83267904 edges, 76359 markings/sec, 245 secs
lola: 19749976 markings, 84688152 edges, 70628 markings/sec, 250 secs
lola: 20094884 markings, 86478772 edges, 68982 markings/sec, 255 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 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 520729 markings, 1450104 edges, 104146 markings/sec, 0 secs
lola: 932350 markings, 3137619 edges, 82324 markings/sec, 5 secs
lola: 1272127 markings, 4568675 edges, 67955 markings/sec, 10 secs
lola: 1653182 markings, 6354259 edges, 76211 markings/sec, 15 secs
lola: 2055122 markings, 8145043 edges, 80388 markings/sec, 20 secs
lola: 2422815 markings, 10209603 edges, 73539 markings/sec, 25 secs
lola: 2770431 markings, 11866909 edges, 69523 markings/sec, 30 secs
lola: 3139011 markings, 13895130 edges, 73716 markings/sec, 35 secs
lola: 3570260 markings, 15468343 edges, 86250 markings/sec, 40 secs
lola: 3979839 markings, 17111409 edges, 81916 markings/sec, 45 secs
lola: 4311827 markings, 18700421 edges, 66398 markings/sec, 50 secs
lola: 4643836 markings, 20266770 edges, 66402 markings/sec, 55 secs
lola: 4968531 markings, 21909781 edges, 64939 markings/sec, 60 secs
lola: 5303620 markings, 23599591 edges, 67018 markings/sec, 65 secs
lola: 5643413 markings, 25288173 edges, 67959 markings/sec, 70 secs
lola: 5939337 markings, 27184487 edges, 59185 markings/sec, 75 secs
lola: 6236014 markings, 29044399 edges, 59335 markings/sec, 80 secs
lola: 6558442 markings, 30771252 edges, 64486 markings/sec, 85 secs
lola: 6876298 markings, 32569821 edges, 63571 markings/sec, 90 secs
lola: 7182710 markings, 34489196 edges, 61282 markings/sec, 95 secs
lola: 7496390 markings, 36309030 edges, 62736 markings/sec, 100 secs
lola: 7872288 markings, 37710356 edges, 75180 markings/sec, 105 secs
lola: 8247111 markings, 39231979 edges, 74965 markings/sec, 110 secs
lola: 8604532 markings, 40852397 edges, 71484 markings/sec, 115 secs
lola: 8994536 markings, 42526385 edges, 78001 markings/sec, 120 secs
lola: 9368502 markings, 44240070 edges, 74793 markings/sec, 125 secs
lola: 9714553 markings, 45882101 edges, 69210 markings/sec, 130 secs
lola: 10042632 markings, 47596028 edges, 65616 markings/sec, 135 secs
lola: 10393569 markings, 49292007 edges, 70187 markings/sec, 140 secs
lola: 10723104 markings, 50979976 edges, 65907 markings/sec, 145 secs
lola: 11033865 markings, 52633847 edges, 62152 markings/sec, 150 secs
lola: 11339926 markings, 54283280 edges, 61212 markings/sec, 155 secs
lola: 11651659 markings, 56038859 edges, 62347 markings/sec, 160 secs
lola: 11930723 markings, 57986036 edges, 55813 markings/sec, 165 secs
lola: 12209918 markings, 59862851 edges, 55839 markings/sec, 170 secs
lola: 12545917 markings, 61638251 edges, 67200 markings/sec, 175 secs
lola: 12863875 markings, 63446772 edges, 63592 markings/sec, 180 secs
lola: 13165990 markings, 65285392 edges, 60423 markings/sec, 185 secs
lola: 13467818 markings, 67285952 edges, 60366 markings/sec, 190 secs
lola: 13918142 markings, 68773481 edges, 90065 markings/sec, 195 secs
lola: 14312208 markings, 70314546 edges, 78813 markings/sec, 200 secs
lola: 14710983 markings, 71894544 edges, 79755 markings/sec, 205 secs
lola: 15111298 markings, 73570808 edges, 80063 markings/sec, 210 secs
lola: 15534022 markings, 75421475 edges, 84545 markings/sec, 215 secs
lola: 15951911 markings, 77287605 edges, 83578 markings/sec, 220 secs
lola: 16350427 markings, 78945918 edges, 79703 markings/sec, 225 secs
lola: 16748546 markings, 80785126 edges, 79624 markings/sec, 230 secs
lola: 17146190 markings, 82537802 edges, 79529 markings/sec, 235 secs
lola: 17543445 markings, 84298715 edges, 79451 markings/sec, 240 secs
lola: 17937204 markings, 86085498 edges, 78752 markings/sec, 245 secs
lola: 18316647 markings, 87893155 edges, 75889 markings/sec, 250 secs
lola: 18673319 markings, 90031492 edges, 71334 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494670432135

--------------------
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="DNAwalker-PT-14ringLRLarge"
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/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge 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 DNAwalker-PT-14ringLRLarge, 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-149440263900119"
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 ;