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

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

=== Now, execution of the tool begins

BK_START 1494664812327


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-13ringRLLarge @ 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-13ringRLLarge-UpperBounds.task
lola: MAX(A9) : MAX(A14) : MAX(A18) : MAX(B17) : MAX(A11) : MAX(B15) : MAX(A8) : MAX(B16) : MAX(A12) : MAX(B15) : MAX(B5) : MAX(B5) : MAX(B17) : MAX(A24) : MAX(B17) : MAX(A7)
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(A9)
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: 393406 markings, 1845314 edges, 78681 markings/sec, 0 secs
lola: 742793 markings, 4034118 edges, 69877 markings/sec, 5 secs
lola: 1119663 markings, 6095928 edges, 75374 markings/sec, 10 secs
lola: 1462147 markings, 8159098 edges, 68497 markings/sec, 15 secs
lola: 1817903 markings, 10082424 edges, 71151 markings/sec, 20 secs
lola: 2160019 markings, 12033210 edges, 68423 markings/sec, 25 secs
lola: 2492608 markings, 13924453 edges, 66518 markings/sec, 30 secs
lola: 2812757 markings, 16112394 edges, 64030 markings/sec, 35 secs
lola: 3149907 markings, 18244938 edges, 67430 markings/sec, 40 secs
lola: 3492162 markings, 20135981 edges, 68451 markings/sec, 45 secs
lola: 3810843 markings, 22392608 edges, 63736 markings/sec, 50 secs
lola: 4145842 markings, 24467763 edges, 67000 markings/sec, 55 secs
lola: 4475899 markings, 26448666 edges, 66011 markings/sec, 60 secs
lola: 4809431 markings, 28408974 edges, 66706 markings/sec, 65 secs
lola: 5136475 markings, 30398873 edges, 65409 markings/sec, 70 secs
lola: 5465992 markings, 32285508 edges, 65903 markings/sec, 75 secs
lola: 5782410 markings, 34373282 edges, 63284 markings/sec, 80 secs
lola: 6120739 markings, 36418231 edges, 67666 markings/sec, 85 secs
lola: 6469013 markings, 38310845 edges, 69655 markings/sec, 90 secs
lola: 6797568 markings, 40560852 edges, 65711 markings/sec, 95 secs
lola: 7149624 markings, 42575532 edges, 70411 markings/sec, 100 secs
lola: 7479931 markings, 44575280 edges, 66061 markings/sec, 105 secs
lola: 7819052 markings, 46520518 edges, 67824 markings/sec, 110 secs
lola: 8144031 markings, 48503322 edges, 64996 markings/sec, 115 secs
lola: 8477568 markings, 50316868 edges, 66707 markings/sec, 120 secs
lola: 8794770 markings, 52406660 edges, 63440 markings/sec, 125 secs
lola: 9098183 markings, 54628199 edges, 60683 markings/sec, 130 secs
lola: 9445628 markings, 56506122 edges, 69489 markings/sec, 135 secs
lola: 9763628 markings, 58528352 edges, 63600 markings/sec, 140 secs
lola: 10067469 markings, 60828203 edges, 60768 markings/sec, 145 secs
lola: 10403553 markings, 62696555 edges, 67217 markings/sec, 150 secs
lola: 10718230 markings, 64690481 edges, 62935 markings/sec, 155 secs
lola: 11041420 markings, 66628223 edges, 64638 markings/sec, 160 secs
lola: 11358231 markings, 68583064 edges, 63362 markings/sec, 165 secs
lola: 11674664 markings, 70492113 edges, 63287 markings/sec, 170 secs
lola: 11982190 markings, 72587812 edges, 61505 markings/sec, 175 secs
lola: 12362357 markings, 74230568 edges, 76033 markings/sec, 180 secs
lola: 12733610 markings, 75864619 edges, 74251 markings/sec, 185 secs
lola: 13071618 markings, 77604119 edges, 67602 markings/sec, 190 secs
lola: 13378689 markings, 79330238 edges, 61414 markings/sec, 195 secs
lola: 13693496 markings, 81023161 edges, 62961 markings/sec, 200 secs
lola: 13994744 markings, 82768981 edges, 60250 markings/sec, 205 secs
lola: 14307455 markings, 84402993 edges, 62542 markings/sec, 210 secs
lola: 14633541 markings, 85819524 edges, 65217 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(A14)
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: 559407 markings, 1542859 edges, 111881 markings/sec, 0 secs
lola: 1006742 markings, 3236081 edges, 89467 markings/sec, 5 secs
lola: 1433429 markings, 4930137 edges, 85337 markings/sec, 10 secs
lola: 1932769 markings, 6674722 edges, 99868 markings/sec, 15 secs
lola: 2489610 markings, 8307713 edges, 111368 markings/sec, 20 secs
lola: 2996964 markings, 10106185 edges, 101471 markings/sec, 25 secs
lola: 3545229 markings, 11803607 edges, 109653 markings/sec, 30 secs
lola: 4048969 markings, 13627332 edges, 100748 markings/sec, 35 secs
lola: 4595251 markings, 15289483 edges, 109256 markings/sec, 40 secs
lola: 5127539 markings, 17036086 edges, 106458 markings/sec, 45 secs
lola: 5696572 markings, 18651719 edges, 113807 markings/sec, 50 secs
lola: 6239973 markings, 20379264 edges, 108680 markings/sec, 55 secs
lola: 6776654 markings, 22181664 edges, 107336 markings/sec, 60 secs
lola: 7222707 markings, 23997744 edges, 89211 markings/sec, 65 secs
lola: 7772432 markings, 25600959 edges, 109945 markings/sec, 70 secs
lola: 8296194 markings, 27228891 edges, 104752 markings/sec, 75 secs
lola: 8830556 markings, 28861946 edges, 106872 markings/sec, 80 secs
lola: 9319281 markings, 30621539 edges, 97745 markings/sec, 85 secs
lola: 9859217 markings, 32116501 edges, 107987 markings/sec, 90 secs
lola: 10332887 markings, 33815209 edges, 94734 markings/sec, 95 secs
lola: 10860028 markings, 35552889 edges, 105428 markings/sec, 100 secs
lola: 11408299 markings, 37168489 edges, 109654 markings/sec, 105 secs
lola: 11933038 markings, 38845448 edges, 104948 markings/sec, 110 secs
lola: 12457813 markings, 40513363 edges, 104955 markings/sec, 115 secs
lola: 12950034 markings, 42277726 edges, 98444 markings/sec, 120 secs
lola: 13408800 markings, 44263538 edges, 91753 markings/sec, 125 secs
lola: 13878092 markings, 46206878 edges, 93858 markings/sec, 130 secs
lola: 14365839 markings, 48162536 edges, 97549 markings/sec, 135 secs
lola: 14820434 markings, 50090784 edges, 90919 markings/sec, 140 secs
lola: 15285270 markings, 52015304 edges, 92967 markings/sec, 145 secs
lola: 15735243 markings, 53997590 edges, 89995 markings/sec, 150 secs
lola: 16159526 markings, 56008485 edges, 84857 markings/sec, 155 secs
lola: 16650715 markings, 57965213 edges, 98238 markings/sec, 160 secs
lola: 17090844 markings, 59845269 edges, 88026 markings/sec, 165 secs
lola: 17507473 markings, 62018079 edges, 83326 markings/sec, 170 secs
lola: 17916356 markings, 64228190 edges, 81777 markings/sec, 175 secs
lola: 18373202 markings, 66255009 edges, 91369 markings/sec, 180 secs
lola: 18831922 markings, 68256410 edges, 91744 markings/sec, 185 secs
lola: 19258067 markings, 70228167 edges, 85229 markings/sec, 190 secs
lola: 19702979 markings, 72153261 edges, 88982 markings/sec, 195 secs
lola: 20168354 markings, 74188313 edges, 93075 markings/sec, 200 secs
lola: 20589258 markings, 76229622 edges, 84181 markings/sec, 205 secs
lola: 21070024 markings, 78144385 edges, 96153 markings/sec, 210 secs
lola: 21536300 markings, 80087282 edges, 93255 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(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: 536077 markings, 1413140 edges, 107215 markings/sec, 0 secs
lola: 1160476 markings, 2828599 edges, 124880 markings/sec, 5 secs
lola: 1626239 markings, 4511037 edges, 93153 markings/sec, 10 secs
lola: 2207938 markings, 6133808 edges, 116340 markings/sec, 15 secs
lola: 2725019 markings, 7977344 edges, 103416 markings/sec, 20 secs
lola: 3149769 markings, 9612673 edges, 84950 markings/sec, 25 secs
lola: 3526013 markings, 11384612 edges, 75249 markings/sec, 30 secs
lola: 3997054 markings, 13005161 edges, 94208 markings/sec, 35 secs
lola: 4426120 markings, 14771139 edges, 85813 markings/sec, 40 secs
lola: 4857357 markings, 16464023 edges, 86247 markings/sec, 45 secs
lola: 5377191 markings, 18043908 edges, 103967 markings/sec, 50 secs
lola: 5862302 markings, 19847662 edges, 97022 markings/sec, 55 secs
lola: 6305418 markings, 21414139 edges, 88623 markings/sec, 60 secs
lola: 6774559 markings, 22932598 edges, 93828 markings/sec, 65 secs
lola: 7326146 markings, 24552887 edges, 110317 markings/sec, 70 secs
lola: 7878209 markings, 26171721 edges, 110413 markings/sec, 75 secs
lola: 8485616 markings, 27764936 edges, 121481 markings/sec, 80 secs
lola: 8980237 markings, 29616107 edges, 98924 markings/sec, 85 secs
lola: 9487402 markings, 31555312 edges, 101433 markings/sec, 90 secs
lola: 10028425 markings, 32984149 edges, 108205 markings/sec, 95 secs
lola: 10527236 markings, 34611243 edges, 99762 markings/sec, 100 secs
lola: 10905575 markings, 36362237 edges, 75668 markings/sec, 105 secs
lola: 11366712 markings, 37996828 edges, 92227 markings/sec, 110 secs
lola: 11784897 markings, 39716030 edges, 83637 markings/sec, 115 secs
lola: 12219050 markings, 41292256 edges, 86831 markings/sec, 120 secs
lola: 12641688 markings, 42872819 edges, 84528 markings/sec, 125 secs
lola: 13270176 markings, 44463613 edges, 125698 markings/sec, 130 secs
lola: 13849604 markings, 46182309 edges, 115886 markings/sec, 135 secs
lola: 14384858 markings, 47742452 edges, 107051 markings/sec, 140 secs
lola: 14859208 markings, 49539833 edges, 94870 markings/sec, 145 secs
lola: 15262843 markings, 51357281 edges, 80727 markings/sec, 150 secs
lola: 15713815 markings, 53023570 edges, 90194 markings/sec, 155 secs
lola: 16192294 markings, 54813708 edges, 95696 markings/sec, 160 secs
lola: 16668217 markings, 56582513 edges, 95185 markings/sec, 165 secs
lola: 17080007 markings, 58159468 edges, 82358 markings/sec, 170 secs
lola: 17514805 markings, 59703255 edges, 86960 markings/sec, 175 secs
lola: 18026018 markings, 61293142 edges, 102243 markings/sec, 180 secs
lola: 18471030 markings, 63143938 edges, 89002 markings/sec, 185 secs
lola: 18823987 markings, 64879485 edges, 70591 markings/sec, 190 secs
lola: 19183107 markings, 66559895 edges, 71824 markings/sec, 195 secs
lola: 19552810 markings, 68204850 edges, 73941 markings/sec, 200 secs
lola: 19885444 markings, 70090326 edges, 66527 markings/sec, 205 secs
lola: 20236508 markings, 71735278 edges, 70213 markings/sec, 210 secs
lola: 20596250 markings, 73396512 edges, 71948 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(B17)
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 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
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: 493222 markings, 1497940 edges, 98644 markings/sec, 0 secs
lola: 960527 markings, 3147601 edges, 93461 markings/sec, 5 secs
lola: 1461817 markings, 4838773 edges, 100258 markings/sec, 10 secs
lola: 2003722 markings, 6598507 edges, 108381 markings/sec, 15 secs
lola: 2553606 markings, 8192970 edges, 109977 markings/sec, 20 secs
lola: 3067785 markings, 9972864 edges, 102836 markings/sec, 25 secs
lola: 3601923 markings, 11563463 edges, 106828 markings/sec, 30 secs
lola: 4116692 markings, 13258539 edges, 102954 markings/sec, 35 secs
lola: 4631839 markings, 14850014 edges, 103029 markings/sec, 40 secs
lola: 5156862 markings, 16329518 edges, 105005 markings/sec, 45 secs
lola: 5645379 markings, 18096759 edges, 97703 markings/sec, 50 secs
lola: 6127210 markings, 19763904 edges, 96366 markings/sec, 55 secs
lola: 6634874 markings, 21331772 edges, 101533 markings/sec, 60 secs
lola: 7115322 markings, 22855155 edges, 96090 markings/sec, 65 secs
lola: 7599661 markings, 24300694 edges, 96868 markings/sec, 70 secs
lola: 8077434 markings, 26020909 edges, 95555 markings/sec, 75 secs
lola: 8526886 markings, 27771969 edges, 89890 markings/sec, 80 secs
lola: 8918481 markings, 29374242 edges, 78319 markings/sec, 85 secs
lola: 9352076 markings, 31150156 edges, 86719 markings/sec, 90 secs
lola: 9794091 markings, 33114701 edges, 88403 markings/sec, 95 secs
lola: 10257498 markings, 34861170 edges, 92681 markings/sec, 100 secs
lola: 10729876 markings, 36524834 edges, 94476 markings/sec, 105 secs
lola: 11182863 markings, 38139455 edges, 90597 markings/sec, 110 secs
lola: 11643543 markings, 39657467 edges, 92136 markings/sec, 115 secs
lola: 12107311 markings, 41107543 edges, 92754 markings/sec, 120 secs
lola: 12546407 markings, 42868215 edges, 87819 markings/sec, 125 secs
lola: 12963970 markings, 44665114 edges, 83513 markings/sec, 130 secs
lola: 13383630 markings, 46579335 edges, 83932 markings/sec, 135 secs
lola: 13767628 markings, 48513942 edges, 76800 markings/sec, 140 secs
lola: 14126459 markings, 50527393 edges, 71766 markings/sec, 145 secs
lola: 14494535 markings, 52482934 edges, 73615 markings/sec, 150 secs
lola: 14848348 markings, 54507437 edges, 70763 markings/sec, 155 secs
lola: 15199065 markings, 56574988 edges, 70143 markings/sec, 160 secs
lola: 15560396 markings, 58500547 edges, 72266 markings/sec, 165 secs
lola: 15987026 markings, 60147834 edges, 85326 markings/sec, 170 secs
lola: 16448554 markings, 61617825 edges, 92306 markings/sec, 175 secs
lola: 16892531 markings, 63323091 edges, 88795 markings/sec, 180 secs
lola: 17323972 markings, 65044141 edges, 86288 markings/sec, 185 secs
lola: 17723647 markings, 66728999 edges, 79935 markings/sec, 190 secs
lola: 18116901 markings, 68431857 edges, 78651 markings/sec, 195 secs
lola: 18521459 markings, 70200272 edges, 80912 markings/sec, 200 secs
lola: 18921837 markings, 72026667 edges, 80076 markings/sec, 205 secs
lola: 19289103 markings, 73755710 edges, 73453 markings/sec, 210 secs
lola: 19664727 markings, 75519384 edges, 75125 markings/sec, 215 secs
lola: 20174571 markings, 77261125 edges, 101969 markings/sec, 220 secs
lola: 20676526 markings, 79045983 edges, 100391 markings/sec, 225 secs
lola: 21167816 markings, 80712738 edges, 98258 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B15)
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 6 will run for 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A8)
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: 479239 markings, 1665484 edges, 95848 markings/sec, 0 secs
lola: 909351 markings, 3442509 edges, 86022 markings/sec, 5 secs
lola: 1343682 markings, 5199811 edges, 86866 markings/sec, 10 secs
lola: 1757710 markings, 7008634 edges, 82806 markings/sec, 15 secs
lola: 2208047 markings, 8725353 edges, 90067 markings/sec, 20 secs
lola: 2622699 markings, 10524973 edges, 82930 markings/sec, 25 secs
lola: 3048232 markings, 12240589 edges, 85107 markings/sec, 30 secs
lola: 3460517 markings, 14008469 edges, 82457 markings/sec, 35 secs
lola: 3913792 markings, 15668658 edges, 90655 markings/sec, 40 secs
lola: 4344512 markings, 17387301 edges, 86144 markings/sec, 45 secs
lola: 4762504 markings, 19127271 edges, 83598 markings/sec, 50 secs
lola: 5164017 markings, 20945593 edges, 80303 markings/sec, 55 secs
lola: 5589525 markings, 22619510 edges, 85102 markings/sec, 60 secs
lola: 6007725 markings, 24365894 edges, 83640 markings/sec, 65 secs
lola: 6418718 markings, 26078760 edges, 82199 markings/sec, 70 secs
lola: 6829893 markings, 27845407 edges, 82235 markings/sec, 75 secs
lola: 7218965 markings, 29579556 edges, 77814 markings/sec, 80 secs
lola: 7623722 markings, 31420174 edges, 80951 markings/sec, 85 secs
lola: 8007537 markings, 33309650 edges, 76763 markings/sec, 90 secs
lola: 8347718 markings, 35209414 edges, 68036 markings/sec, 95 secs
lola: 8716723 markings, 37069874 edges, 73801 markings/sec, 100 secs
lola: 9105557 markings, 38769218 edges, 77767 markings/sec, 105 secs
lola: 9474647 markings, 40606976 edges, 73818 markings/sec, 110 secs
lola: 9829613 markings, 42592453 edges, 70993 markings/sec, 115 secs
lola: 10180201 markings, 44272751 edges, 70118 markings/sec, 120 secs
lola: 10534851 markings, 46037675 edges, 70930 markings/sec, 125 secs
lola: 10882230 markings, 47750968 edges, 69476 markings/sec, 130 secs
lola: 11266225 markings, 49544935 edges, 76799 markings/sec, 135 secs
lola: 11638517 markings, 51434547 edges, 74458 markings/sec, 140 secs
lola: 12009928 markings, 53292166 edges, 74282 markings/sec, 145 secs
lola: 12382019 markings, 55133896 edges, 74418 markings/sec, 150 secs
lola: 12756156 markings, 56947274 edges, 74827 markings/sec, 155 secs
lola: 13117970 markings, 58834236 edges, 72363 markings/sec, 160 secs
lola: 13468250 markings, 60708294 edges, 70056 markings/sec, 165 secs
lola: 13856110 markings, 62507219 edges, 77572 markings/sec, 170 secs
lola: 14216997 markings, 64400506 edges, 72177 markings/sec, 175 secs
lola: 14583451 markings, 66213062 edges, 73291 markings/sec, 180 secs
lola: 14950983 markings, 68057857 edges, 73506 markings/sec, 185 secs
lola: 15310929 markings, 69869452 edges, 71989 markings/sec, 190 secs
lola: 15660735 markings, 71772093 edges, 69961 markings/sec, 195 secs
lola: 16015384 markings, 73605981 edges, 70930 markings/sec, 200 secs
lola: 16365009 markings, 75523880 edges, 69925 markings/sec, 205 secs
lola: 16717017 markings, 77534753 edges, 70402 markings/sec, 210 secs
lola: 17086237 markings, 79356502 edges, 73844 markings/sec, 215 secs
lola: 17440222 markings, 81311348 edges, 70797 markings/sec, 220 secs
lola: 17791759 markings, 83216826 edges, 70307 markings/sec, 225 secs
lola: 18126699 markings, 85194357 edges, 66988 markings/sec, 230 secs
lola: 18471637 markings, 87189985 edges, 68988 markings/sec, 235 secs
lola: 18832487 markings, 89015549 edges, 72170 markings/sec, 240 secs
lola: 19178875 markings, 90954604 edges, 69278 markings/sec, 245 secs
lola: 19531939 markings, 92790620 edges, 70613 markings/sec, 250 secs
lola: 19882980 markings, 94675456 edges, 70208 markings/sec, 255 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 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
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 8 will run for 296 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: 485169 markings, 1599408 edges, 97034 markings/sec, 0 secs
lola: 985722 markings, 3246685 edges, 100111 markings/sec, 5 secs
lola: 1556251 markings, 4892684 edges, 114106 markings/sec, 10 secs
lola: 2110985 markings, 6470534 edges, 110947 markings/sec, 15 secs
lola: 2626525 markings, 8267646 edges, 103108 markings/sec, 20 secs
lola: 3107068 markings, 10124791 edges, 96109 markings/sec, 25 secs
lola: 3606445 markings, 11704584 edges, 99875 markings/sec, 30 secs
lola: 4092189 markings, 13231311 edges, 97149 markings/sec, 35 secs
lola: 4543520 markings, 15109523 edges, 90266 markings/sec, 40 secs
lola: 4976561 markings, 17013590 edges, 86608 markings/sec, 45 secs
lola: 5439307 markings, 18841202 edges, 92549 markings/sec, 50 secs
lola: 5901402 markings, 20462042 edges, 92419 markings/sec, 55 secs
lola: 6354040 markings, 22081151 edges, 90528 markings/sec, 60 secs
lola: 6781606 markings, 23977960 edges, 85513 markings/sec, 65 secs
lola: 7234638 markings, 25653395 edges, 90606 markings/sec, 70 secs
lola: 7671536 markings, 27392042 edges, 87380 markings/sec, 75 secs
lola: 8084436 markings, 29001804 edges, 82580 markings/sec, 80 secs
lola: 8483918 markings, 30656103 edges, 79896 markings/sec, 85 secs
lola: 8888197 markings, 32275343 edges, 80856 markings/sec, 90 secs
lola: 9475828 markings, 33974991 edges, 117526 markings/sec, 95 secs
lola: 10025966 markings, 35658399 edges, 110028 markings/sec, 100 secs
lola: 10548123 markings, 37313080 edges, 104431 markings/sec, 105 secs
lola: 10988477 markings, 39044476 edges, 88071 markings/sec, 110 secs
lola: 11448160 markings, 40624072 edges, 91937 markings/sec, 115 secs
lola: 11906817 markings, 42148717 edges, 91731 markings/sec, 120 secs
lola: 12374917 markings, 43721393 edges, 93620 markings/sec, 125 secs
lola: 12823300 markings, 45331152 edges, 89677 markings/sec, 130 secs
lola: 13269055 markings, 46821689 edges, 89151 markings/sec, 135 secs
lola: 13675972 markings, 48758142 edges, 81383 markings/sec, 140 secs
lola: 14101513 markings, 50622711 edges, 85108 markings/sec, 145 secs
lola: 14524136 markings, 52464182 edges, 84525 markings/sec, 150 secs
lola: 14899433 markings, 54513897 edges, 75059 markings/sec, 155 secs
lola: 15335365 markings, 56498233 edges, 87186 markings/sec, 160 secs
lola: 15800520 markings, 58429778 edges, 93031 markings/sec, 165 secs
lola: 16198015 markings, 60357393 edges, 79499 markings/sec, 170 secs
lola: 16604871 markings, 62215629 edges, 81371 markings/sec, 175 secs
lola: 16996908 markings, 64222759 edges, 78407 markings/sec, 180 secs
lola: 17392333 markings, 66360557 edges, 79085 markings/sec, 185 secs
lola: 17849959 markings, 68311969 edges, 91525 markings/sec, 190 secs
lola: 18295552 markings, 70322336 edges, 89119 markings/sec, 195 secs
lola: 18716735 markings, 72312750 edges, 84237 markings/sec, 200 secs
lola: 19124920 markings, 74418712 edges, 81637 markings/sec, 205 secs
lola: 19535073 markings, 76410476 edges, 82031 markings/sec, 210 secs
lola: 19924051 markings, 78537733 edges, 77796 markings/sec, 215 secs
lola: 20308885 markings, 80559884 edges, 76967 markings/sec, 220 secs
lola: 20688819 markings, 82583230 edges, 75987 markings/sec, 225 secs
lola: 21168193 markings, 84479318 edges, 95875 markings/sec, 230 secs
lola: 21583844 markings, 86446401 edges, 83130 markings/sec, 235 secs
lola: 21985683 markings, 88281041 edges, 80368 markings/sec, 240 secs
lola: 22378414 markings, 90104823 edges, 78546 markings/sec, 245 secs
lola: 22763713 markings, 92277166 edges, 77060 markings/sec, 250 secs
lola: 23114422 markings, 94521420 edges, 70142 markings/sec, 255 secs
lola: 23497163 markings, 96751544 edges, 76548 markings/sec, 260 secs
lola: 23855236 markings, 99016603 edges, 71615 markings/sec, 265 secs
lola: 24300208 markings, 100808711 edges, 88994 markings/sec, 270 secs
lola: 24806429 markings, 102490002 edges, 101244 markings/sec, 275 secs
lola: 25356151 markings, 104134339 edges, 109944 markings/sec, 280 secs
lola: 25833642 markings, 105981079 edges, 95498 markings/sec, 285 secs
lola: 26326264 markings, 107583333 edges, 98524 markings/sec, 290 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 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B15)
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 10 will run for 346 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B5)
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 11 will run for 415 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B5)
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 12 will run for 519 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B17)
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 13 will run for 693 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: 551644 markings, 1452473 edges, 110329 markings/sec, 0 secs
lola: 1020002 markings, 3331898 edges, 93672 markings/sec, 5 secs
lola: 1495940 markings, 5118488 edges, 95188 markings/sec, 10 secs
lola: 1950256 markings, 6894341 edges, 90863 markings/sec, 15 secs
lola: 2423923 markings, 8556798 edges, 94733 markings/sec, 20 secs
lola: 2871882 markings, 10068308 edges, 89592 markings/sec, 25 secs
lola: 3308499 markings, 11600778 edges, 87323 markings/sec, 30 secs
lola: 3709277 markings, 13379321 edges, 80156 markings/sec, 35 secs
lola: 4105778 markings, 15274041 edges, 79300 markings/sec, 40 secs
lola: 4500147 markings, 17251507 edges, 78874 markings/sec, 45 secs
lola: 4895850 markings, 19295513 edges, 79141 markings/sec, 50 secs
lola: 5359377 markings, 20707886 edges, 92705 markings/sec, 55 secs
lola: 5782731 markings, 22419138 edges, 84671 markings/sec, 60 secs
lola: 6201247 markings, 24235739 edges, 83703 markings/sec, 65 secs
lola: 6616115 markings, 26107272 edges, 82974 markings/sec, 70 secs
lola: 7070384 markings, 27601569 edges, 90854 markings/sec, 75 secs
lola: 7535509 markings, 28973818 edges, 93025 markings/sec, 80 secs
lola: 7972585 markings, 30561111 edges, 87415 markings/sec, 85 secs
lola: 8398666 markings, 32217258 edges, 85216 markings/sec, 90 secs
lola: 8815783 markings, 33982001 edges, 83423 markings/sec, 95 secs
lola: 9240379 markings, 35796307 edges, 84919 markings/sec, 100 secs
lola: 9649618 markings, 37650464 edges, 81848 markings/sec, 105 secs
lola: 10062702 markings, 39570521 edges, 82617 markings/sec, 110 secs
lola: 10518348 markings, 41310309 edges, 91129 markings/sec, 115 secs
lola: 11029069 markings, 42544516 edges, 102144 markings/sec, 120 secs
lola: 11500978 markings, 44143224 edges, 94382 markings/sec, 125 secs
lola: 11969972 markings, 45879790 edges, 93799 markings/sec, 130 secs
lola: 12419094 markings, 47732971 edges, 89824 markings/sec, 135 secs
lola: 12866559 markings, 49483706 edges, 89493 markings/sec, 140 secs
lola: 13305758 markings, 51471963 edges, 87840 markings/sec, 145 secs
lola: 13763573 markings, 53237495 edges, 91563 markings/sec, 150 secs
lola: 14202776 markings, 55251883 edges, 87841 markings/sec, 155 secs
lola: 14650012 markings, 57167838 edges, 89447 markings/sec, 160 secs
lola: 15095383 markings, 59181511 edges, 89074 markings/sec, 165 secs
lola: 15528036 markings, 61257518 edges, 86531 markings/sec, 170 secs
lola: 15989574 markings, 63073748 edges, 92308 markings/sec, 175 secs
lola: 16469864 markings, 64663586 edges, 96058 markings/sec, 180 secs
lola: 16921200 markings, 66396164 edges, 90267 markings/sec, 185 secs
lola: 17356657 markings, 68289386 edges, 87091 markings/sec, 190 secs
lola: 17792597 markings, 70279551 edges, 87188 markings/sec, 195 secs
lola: 18233976 markings, 72219528 edges, 88276 markings/sec, 200 secs
lola: 18666269 markings, 74230328 edges, 86459 markings/sec, 205 secs
lola: 19130031 markings, 75941763 edges, 92752 markings/sec, 210 secs
lola: 19583522 markings, 77744866 edges, 90698 markings/sec, 215 secs
lola: 20023581 markings, 79716951 edges, 88012 markings/sec, 220 secs
lola: 20408440 markings, 81616640 edges, 76972 markings/sec, 225 secs
lola: 20886949 markings, 83400648 edges, 95702 markings/sec, 230 secs
lola: 21235404 markings, 85337798 edges, 69691 markings/sec, 235 secs
lola: 21620367 markings, 87170527 edges, 76993 markings/sec, 240 secs
lola: 22114963 markings, 88677038 edges, 98919 markings/sec, 245 secs
lola: 22639526 markings, 90162044 edges, 104913 markings/sec, 250 secs
lola: 23122805 markings, 91607579 edges, 96656 markings/sec, 255 secs
lola: 23543011 markings, 93170104 edges, 84041 markings/sec, 260 secs
lola: 24061667 markings, 94615097 edges, 103731 markings/sec, 265 secs
lola: 24506714 markings, 96208012 edges, 89009 markings/sec, 270 secs
lola: 24949364 markings, 97593135 edges, 88530 markings/sec, 275 secs
lola: 25360497 markings, 99198899 edges, 82227 markings/sec, 280 secs
lola: 25837904 markings, 101014609 edges, 95481 markings/sec, 285 secs
lola: 26260537 markings, 102842208 edges, 84527 markings/sec, 290 secs
lola: 26669109 markings, 104667646 edges, 81714 markings/sec, 295 secs
lola: 27069121 markings, 106401926 edges, 80002 markings/sec, 300 secs
lola: 27526996 markings, 108204461 edges, 91575 markings/sec, 305 secs
lola: 27947128 markings, 110031261 edges, 84026 markings/sec, 310 secs
lola: 28351861 markings, 111852807 edges, 80947 markings/sec, 315 secs
lola: 28779304 markings, 113795753 edges, 85489 markings/sec, 320 secs
lola: 29190833 markings, 115914672 edges, 82306 markings/sec, 325 secs
lola: 29610101 markings, 117864241 edges, 83854 markings/sec, 330 secs
lola: 30063150 markings, 119676281 edges, 90610 markings/sec, 335 secs
lola: 30494771 markings, 121494608 edges, 86324 markings/sec, 340 secs
lola: 30895359 markings, 123321352 edges, 80118 markings/sec, 345 secs
lola: 31319562 markings, 125413907 edges, 84841 markings/sec, 350 secs
lola: 31728446 markings, 127520361 edges, 81777 markings/sec, 355 secs
lola: 32122184 markings, 129604775 edges, 78748 markings/sec, 360 secs
lola: 32518599 markings, 131844931 edges, 79283 markings/sec, 365 secs
lola: 32986447 markings, 133762798 edges, 93570 markings/sec, 370 secs
lola: 33388816 markings, 135605391 edges, 80474 markings/sec, 375 secs
lola: 33826314 markings, 137588034 edges, 87500 markings/sec, 380 secs
lola: 34242285 markings, 139706779 edges, 83194 markings/sec, 385 secs
lola: 34639645 markings, 141859896 edges, 79472 markings/sec, 390 secs
lola: 35054362 markings, 144079615 edges, 82943 markings/sec, 395 secs
lola: 35460967 markings, 146394967 edges, 81321 markings/sec, 400 secs
lola: 35876265 markings, 148418646 edges, 83060 markings/sec, 405 secs
lola: 36270551 markings, 150128734 edges, 78857 markings/sec, 410 secs
lola: 36625745 markings, 152030678 edges, 71039 markings/sec, 415 secs
lola: 36958613 markings, 154080811 edges, 66574 markings/sec, 420 secs
lola: 37297229 markings, 156294216 edges, 67723 markings/sec, 425 secs
lola: 37693840 markings, 158158788 edges, 79322 markings/sec, 430 secs
lola: 38030222 markings, 160095718 edges, 67276 markings/sec, 435 secs
lola: 38388681 markings, 162139167 edges, 71692 markings/sec, 440 secs
lola: 38760313 markings, 164014413 edges, 74326 markings/sec, 445 secs
lola: 39086005 markings, 165951057 edges, 65138 markings/sec, 450 secs
lola: 39390325 markings, 167745920 edges, 60864 markings/sec, 455 secs
lola: 39667382 markings, 169761178 edges, 55411 markings/sec, 460 secs
lola: 39948235 markings, 171827220 edges, 56171 markings/sec, 465 secs
lola: 40247859 markings, 173756393 edges, 59925 markings/sec, 470 secs
lola: 40541615 markings, 175729492 edges, 58751 markings/sec, 475 secs
lola: 40830023 markings, 177812920 edges, 57682 markings/sec, 480 secs
lola: 41126014 markings, 179747086 edges, 59198 markings/sec, 485 secs
lola: 41413740 markings, 181678966 edges, 57545 markings/sec, 490 secs
lola: 41735313 markings, 183438874 edges, 64315 markings/sec, 495 secs
lola: 42047252 markings, 185357958 edges, 62388 markings/sec, 500 secs
lola: 42400923 markings, 187148944 edges, 70734 markings/sec, 505 secs
lola: 42750808 markings, 188986912 edges, 69977 markings/sec, 510 secs
lola: 43098539 markings, 190772640 edges, 69546 markings/sec, 515 secs
lola: 43430473 markings, 192368036 edges, 66387 markings/sec, 520 secs
lola: 43758819 markings, 194000992 edges, 65669 markings/sec, 525 secs
lola: 44063252 markings, 195907616 edges, 60887 markings/sec, 530 secs
lola: 44359296 markings, 197852753 edges, 59209 markings/sec, 535 secs
lola: 44652749 markings, 199849167 edges, 58691 markings/sec, 540 secs
lola: 44958094 markings, 201833829 edges, 61069 markings/sec, 545 secs
lola: 45264064 markings, 203929280 edges, 61194 markings/sec, 550 secs
lola: 45638009 markings, 205473120 edges, 74789 markings/sec, 555 secs
lola: 45975548 markings, 207313376 edges, 67508 markings/sec, 560 secs
lola: 46304341 markings, 209206542 edges, 65759 markings/sec, 565 secs
lola: 46650376 markings, 211119793 edges, 69207 markings/sec, 570 secs
lola: 47012997 markings, 212889662 edges, 72524 markings/sec, 575 secs
lola: 47346918 markings, 214842422 edges, 66784 markings/sec, 580 secs
lola: 47687078 markings, 216821431 edges, 68032 markings/sec, 585 secs
lola: 48045671 markings, 218802085 edges, 71719 markings/sec, 590 secs
lola: 48418729 markings, 220626244 edges, 74612 markings/sec, 595 secs
lola: 48771237 markings, 222648239 edges, 70502 markings/sec, 600 secs
lola: 49142205 markings, 224456703 edges, 74194 markings/sec, 605 secs
lola: 49497026 markings, 226350257 edges, 70964 markings/sec, 610 secs
lola: 49837276 markings, 228224391 edges, 68050 markings/sec, 615 secs
lola: 50167415 markings, 230078815 edges, 66028 markings/sec, 620 secs
lola: 50473412 markings, 232181028 edges, 61199 markings/sec, 625 secs
lola: 50807838 markings, 234132762 edges, 66885 markings/sec, 630 secs
lola: 51130002 markings, 236170933 edges, 64433 markings/sec, 635 secs
lola: 51448496 markings, 238029534 edges, 63699 markings/sec, 640 secs
lola: 51845551 markings, 239505470 edges, 79411 markings/sec, 645 secs
lola: 52233579 markings, 240963355 edges, 77606 markings/sec, 650 secs
lola: 52590934 markings, 242685454 edges, 71471 markings/sec, 655 secs
lola: 52936427 markings, 244434984 edges, 69099 markings/sec, 660 secs
lola: 53281158 markings, 246249954 edges, 68946 markings/sec, 665 secs
lola: 53621379 markings, 248129504 edges, 68044 markings/sec, 670 secs
lola: 53969848 markings, 249991782 edges, 69694 markings/sec, 675 secs
lola: 54300786 markings, 252010633 edges, 66188 markings/sec, 680 secs
lola: 54672197 markings, 253824818 edges, 74282 markings/sec, 685 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 693 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B17)
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 15 will run for 1386 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: 500427 markings, 1810845 edges, 100085 markings/sec, 0 secs
lola: 946018 markings, 3680903 edges, 89118 markings/sec, 5 secs
lola: 1360509 markings, 5588467 edges, 82898 markings/sec, 10 secs
lola: 1756767 markings, 7641312 edges, 79252 markings/sec, 15 secs
lola: 2164579 markings, 9561716 edges, 81562 markings/sec, 20 secs
lola: 2550256 markings, 11644088 edges, 77135 markings/sec, 25 secs
lola: 2959966 markings, 13539826 edges, 81942 markings/sec, 30 secs
lola: 3372601 markings, 15578072 edges, 82527 markings/sec, 35 secs
lola: 3783939 markings, 17886092 edges, 82268 markings/sec, 40 secs
lola: 4162544 markings, 20084218 edges, 75721 markings/sec, 45 secs
lola: 4558685 markings, 22045698 edges, 79228 markings/sec, 50 secs
lola: 4962062 markings, 24032815 edges, 80675 markings/sec, 55 secs
lola: 5354090 markings, 26001198 edges, 78406 markings/sec, 60 secs
lola: 5756297 markings, 27937738 edges, 80441 markings/sec, 65 secs
lola: 6133279 markings, 29981799 edges, 75396 markings/sec, 70 secs
lola: 6493027 markings, 32044350 edges, 71950 markings/sec, 75 secs
lola: 6839587 markings, 34396449 edges, 69312 markings/sec, 80 secs
lola: 7226577 markings, 36390115 edges, 77398 markings/sec, 85 secs
lola: 7623501 markings, 38359279 edges, 79385 markings/sec, 90 secs
lola: 8009487 markings, 40369582 edges, 77197 markings/sec, 95 secs
lola: 8369357 markings, 42570027 edges, 71974 markings/sec, 100 secs
lola: 8730685 markings, 44791389 edges, 72266 markings/sec, 105 secs
lola: 9105741 markings, 46801752 edges, 75011 markings/sec, 110 secs
lola: 9468836 markings, 48873431 edges, 72619 markings/sec, 115 secs
lola: 9826837 markings, 51002147 edges, 71600 markings/sec, 120 secs
lola: 10173162 markings, 53131204 edges, 69265 markings/sec, 125 secs
lola: 10531364 markings, 55210379 edges, 71640 markings/sec, 130 secs
lola: 10924474 markings, 57120042 edges, 78622 markings/sec, 135 secs
lola: 11268068 markings, 59305164 edges, 68719 markings/sec, 140 secs
lola: 11604075 markings, 61419099 edges, 67201 markings/sec, 145 secs
lola: 11957431 markings, 63323839 edges, 70671 markings/sec, 150 secs
lola: 12304690 markings, 65321932 edges, 69452 markings/sec, 155 secs
lola: 12687982 markings, 67277407 edges, 76658 markings/sec, 160 secs
lola: 13055393 markings, 69396054 edges, 73482 markings/sec, 165 secs
lola: 13412747 markings, 71437462 edges, 71471 markings/sec, 170 secs
lola: 13776445 markings, 73339197 edges, 72740 markings/sec, 175 secs
lola: 14115735 markings, 75463453 edges, 67858 markings/sec, 180 secs
lola: 14463222 markings, 77489609 edges, 69497 markings/sec, 185 secs
lola: 14811633 markings, 79608012 edges, 69682 markings/sec, 190 secs
lola: 15156586 markings, 81674171 edges, 68991 markings/sec, 195 secs
lola: 15516182 markings, 83708674 edges, 71919 markings/sec, 200 secs
lola: 15856254 markings, 85855402 edges, 68014 markings/sec, 205 secs
lola: 16200377 markings, 87937125 edges, 68825 markings/sec, 210 secs
lola: 16518827 markings, 90058667 edges, 63690 markings/sec, 215 secs
lola: 16844328 markings, 92247756 edges, 65100 markings/sec, 220 secs
lola: 17185763 markings, 94254348 edges, 68287 markings/sec, 225 secs
lola: 17514943 markings, 96410729 edges, 65836 markings/sec, 230 secs
lola: 17856391 markings, 98535417 edges, 68290 markings/sec, 235 secs
lola: 18189416 markings, 100639402 edges, 66605 markings/sec, 240 secs
lola: 18525708 markings, 102768423 edges, 67258 markings/sec, 245 secs
lola: 18860670 markings, 104864504 edges, 66992 markings/sec, 250 secs
lola: 19197953 markings, 106946512 edges, 67457 markings/sec, 255 secs
lola: 19514456 markings, 109160570 edges, 63301 markings/sec, 260 secs
lola: 19837771 markings, 111333750 edges, 64663 markings/sec, 265 secs
lola: 20149697 markings, 113573374 edges, 62385 markings/sec, 270 secs
lola: 20469746 markings, 115774854 edges, 64010 markings/sec, 275 secs
lola: 20817971 markings, 117723391 edges, 69645 markings/sec, 280 secs
lola: 21141595 markings, 119778356 edges, 64725 markings/sec, 285 secs
lola: 21492758 markings, 121723133 edges, 70233 markings/sec, 290 secs
lola: 21814233 markings, 123993475 edges, 64295 markings/sec, 295 secs
lola: 22146441 markings, 126253203 edges, 66442 markings/sec, 300 secs
lola: 22462718 markings, 128543239 edges, 63255 markings/sec, 305 secs
lola: 22800230 markings, 130843341 edges, 67502 markings/sec, 310 secs
lola: 23106520 markings, 133254859 edges, 61258 markings/sec, 315 secs
lola: 23407928 markings, 135635762 edges, 60282 markings/sec, 320 secs
lola: 23715584 markings, 137989111 edges, 61531 markings/sec, 325 secs
lola: 24031291 markings, 140383097 edges, 63141 markings/sec, 330 secs
lola: 24336548 markings, 142753727 edges, 61051 markings/sec, 335 secs
lola: 24636758 markings, 145200012 edges, 60042 markings/sec, 340 secs
lola: 24958033 markings, 147417461 edges, 64255 markings/sec, 345 secs
lola: 25255533 markings, 149772231 edges, 59500 markings/sec, 350 secs
lola: 25567816 markings, 151937283 edges, 62457 markings/sec, 355 secs
lola: 25929558 markings, 154238388 edges, 72348 markings/sec, 360 secs
lola: 26338286 markings, 156515198 edges, 81746 markings/sec, 365 secs
lola: 26707632 markings, 158648857 edges, 73869 markings/sec, 370 secs
lola: 27069662 markings, 160798946 edges, 72406 markings/sec, 375 secs
lola: 27415982 markings, 163072226 edges, 69264 markings/sec, 380 secs
lola: 27768867 markings, 165318452 edges, 70577 markings/sec, 385 secs
lola: 28115169 markings, 167604835 edges, 69260 markings/sec, 390 secs
lola: 28455673 markings, 169793534 edges, 68101 markings/sec, 395 secs
lola: 28777173 markings, 172086521 edges, 64300 markings/sec, 400 secs
lola: 29120734 markings, 174366037 edges, 68712 markings/sec, 405 secs
lola: 29450990 markings, 176556852 edges, 66051 markings/sec, 410 secs
lola: 29793411 markings, 178841999 edges, 68484 markings/sec, 415 secs
lola: 30112870 markings, 181189285 edges, 63892 markings/sec, 420 secs
lola: 30431487 markings, 183459483 edges, 63723 markings/sec, 425 secs
lola: 30745585 markings, 185840843 edges, 62820 markings/sec, 430 secs
lola: 31048830 markings, 188154368 edges, 60649 markings/sec, 435 secs
lola: 31373476 markings, 190478178 edges, 64929 markings/sec, 440 secs
lola: 31698357 markings, 192684303 edges, 64976 markings/sec, 445 secs
lola: 32037506 markings, 194856146 edges, 67830 markings/sec, 450 secs
lola: 32384316 markings, 197200052 edges, 69362 markings/sec, 455 secs
lola: 32719141 markings, 199816338 edges, 66965 markings/sec, 460 secs
lola: 33046148 markings, 202404459 edges, 65401 markings/sec, 465 secs
lola: 33366844 markings, 205058978 edges, 64139 markings/sec, 470 secs
lola: 33698534 markings, 207628236 edges, 66338 markings/sec, 475 secs
lola: 34002524 markings, 210188948 edges, 60798 markings/sec, 480 secs
lola: 34317257 markings, 212660615 edges, 62947 markings/sec, 485 secs
lola: 34770916 markings, 214487584 edges, 90732 markings/sec, 490 secs
lola: 35180787 markings, 216314958 edges, 81974 markings/sec, 495 secs
lola: 35585177 markings, 218254722 edges, 80878 markings/sec, 500 secs
lola: 35971088 markings, 220299548 edges, 77182 markings/sec, 505 secs
lola: 36359083 markings, 222330522 edges, 77599 markings/sec, 510 secs
lola: 36725887 markings, 224687421 edges, 73361 markings/sec, 515 secs
lola: 37120319 markings, 226651562 edges, 78886 markings/sec, 520 secs
lola: 37511792 markings, 228621175 edges, 78295 markings/sec, 525 secs
lola: 37882882 markings, 230629415 edges, 74218 markings/sec, 530 secs
lola: 38223734 markings, 232780936 edges, 68170 markings/sec, 535 secs
lola: 38579473 markings, 234990562 edges, 71148 markings/sec, 540 secs
lola: 38949152 markings, 237004823 edges, 73936 markings/sec, 545 secs
lola: 39297007 markings, 239092656 edges, 69571 markings/sec, 550 secs
lola: 39647093 markings, 241214047 edges, 70017 markings/sec, 555 secs
lola: 39978896 markings, 243382551 edges, 66361 markings/sec, 560 secs
lola: 40338010 markings, 245329807 edges, 71823 markings/sec, 565 secs
lola: 40674695 markings, 247511417 edges, 67337 markings/sec, 570 secs
lola: 40985114 markings, 249555577 edges, 62084 markings/sec, 575 secs
lola: 41315191 markings, 251495869 edges, 66015 markings/sec, 580 secs
lola: 41669785 markings, 253510815 edges, 70919 markings/sec, 585 secs
lola: 42021841 markings, 255586869 edges, 70411 markings/sec, 590 secs
lola: 42348879 markings, 257602762 edges, 65408 markings/sec, 595 secs
lola: 42700887 markings, 259653633 edges, 70402 markings/sec, 600 secs
lola: 43031112 markings, 261771504 edges, 66045 markings/sec, 605 secs
lola: 43369392 markings, 263840363 edges, 67656 markings/sec, 610 secs
lola: 43692925 markings, 265946928 edges, 64707 markings/sec, 615 secs
lola: 44011834 markings, 268181476 edges, 63782 markings/sec, 620 secs
lola: 44337387 markings, 270273801 edges, 65111 markings/sec, 625 secs
lola: 44665218 markings, 272389575 edges, 65566 markings/sec, 630 secs
lola: 44986803 markings, 274470505 edges, 64317 markings/sec, 635 secs
lola: 45338185 markings, 276408585 edges, 70276 markings/sec, 640 secs
lola: 45692348 markings, 278337907 edges, 70833 markings/sec, 645 secs
lola: 46014887 markings, 280554565 edges, 64508 markings/sec, 650 secs
lola: 46329466 markings, 282928737 edges, 62916 markings/sec, 655 secs
lola: 46639794 markings, 285307249 edges, 62066 markings/sec, 660 secs
lola: 46942502 markings, 287743850 edges, 60542 markings/sec, 665 secs
lola: 47258178 markings, 289985750 edges, 63135 markings/sec, 670 secs
lola: 47573793 markings, 292087959 edges, 63123 markings/sec, 675 secs
lola: 47878690 markings, 294443318 edges, 60979 markings/sec, 680 secs
lola: 48263679 markings, 296618260 edges, 76998 markings/sec, 685 secs
lola: 48623777 markings, 298915389 edges, 72020 markings/sec, 690 secs
lola: 48966792 markings, 301150495 edges, 68603 markings/sec, 695 secs
lola: 49300948 markings, 303356347 edges, 66831 markings/sec, 700 secs
lola: 49614922 markings, 305644802 edges, 62795 markings/sec, 705 secs
lola: 49943271 markings, 307962343 edges, 65670 markings/sec, 710 secs
lola: 50251515 markings, 310147211 edges, 61649 markings/sec, 715 secs
lola: 50565096 markings, 312469167 edges, 62716 markings/sec, 720 secs
lola: 50899858 markings, 314658587 edges, 66952 markings/sec, 725 secs
lola: 51226762 markings, 316834642 edges, 65381 markings/sec, 730 secs
lola: 51565426 markings, 319358823 edges, 67733 markings/sec, 735 secs
lola: 51888404 markings, 321996115 edges, 64596 markings/sec, 740 secs
lola: 52205920 markings, 324459206 edges, 63503 markings/sec, 745 secs
lola: 52509551 markings, 326906464 edges, 60726 markings/sec, 750 secs
lola: 52917212 markings, 328779680 edges, 81532 markings/sec, 755 secs
lola: 53300328 markings, 330735509 edges, 76623 markings/sec, 760 secs
lola: 53662724 markings, 332756377 edges, 72479 markings/sec, 765 secs
lola: 54006864 markings, 334962665 edges, 68828 markings/sec, 770 secs
lola: 54386077 markings, 336898240 edges, 75843 markings/sec, 775 secs
lola: 54735268 markings, 339023843 edges, 69838 markings/sec, 780 secs
lola: 55098807 markings, 341003989 edges, 72708 markings/sec, 785 secs
lola: 55440320 markings, 343053283 edges, 68303 markings/sec, 790 secs
lola: 55763047 markings, 345184951 edges, 64545 markings/sec, 795 secs
lola: 56077712 markings, 347187837 edges, 62933 markings/sec, 800 secs
lola: 56431184 markings, 349168029 edges, 70694 markings/sec, 805 secs
lola: 56755569 markings, 351283600 edges, 64877 markings/sec, 810 secs
lola: 57077715 markings, 353347348 edges, 64429 markings/sec, 815 secs
lola: 57384293 markings, 355483351 edges, 61316 markings/sec, 820 secs
lola: 57714874 markings, 357466921 edges, 66116 markings/sec, 825 secs
lola: 58033483 markings, 359526951 edges, 63722 markings/sec, 830 secs
lola: 58371389 markings, 361529345 edges, 67581 markings/sec, 835 secs
lola: 58687954 markings, 363574436 edges, 63313 markings/sec, 840 secs
lola: 58977738 markings, 365842369 edges, 57957 markings/sec, 845 secs
lola: 59282538 markings, 368053522 edges, 60960 markings/sec, 850 secs
lola: 59582369 markings, 370329169 edges, 59966 markings/sec, 855 secs
lola: 59867731 markings, 372584768 edges, 57072 markings/sec, 860 secs
lola: 60199978 markings, 374682023 edges, 66449 markings/sec, 865 secs
lola: 60531146 markings, 376937025 edges, 66234 markings/sec, 870 secs
lola: 60857020 markings, 379188329 edges, 65175 markings/sec, 875 secs
lola: 61176185 markings, 381422200 edges, 63833 markings/sec, 880 secs
lola: 61488687 markings, 383652269 edges, 62500 markings/sec, 885 secs
lola: 61797445 markings, 385927295 edges, 61752 markings/sec, 890 secs
lola: 62113828 markings, 388285735 edges, 63277 markings/sec, 895 secs
lola: 62414949 markings, 390803231 edges, 60224 markings/sec, 900 secs
lola: 62729336 markings, 393267907 edges, 62877 markings/sec, 905 secs
lola: 63100211 markings, 395182489 edges, 74175 markings/sec, 910 secs
lola: 63462077 markings, 397167636 edges, 72373 markings/sec, 915 secs
lola: 63802644 markings, 399177469 edges, 68113 markings/sec, 920 secs
lola: 64124845 markings, 401405175 edges, 64440 markings/sec, 925 secs
lola: 64464089 markings, 403468298 edges, 67849 markings/sec, 930 secs
lola: 64800170 markings, 405489984 edges, 67216 markings/sec, 935 secs
lola: 65111665 markings, 407656088 edges, 62299 markings/sec, 940 secs
lola: 65449262 markings, 409653800 edges, 67519 markings/sec, 945 secs
lola: 65750748 markings, 411825820 edges, 60297 markings/sec, 950 secs
lola: 66049977 markings, 413945270 edges, 59846 markings/sec, 955 secs
lola: 66341584 markings, 416098057 edges, 58321 markings/sec, 960 secs
lola: 66617614 markings, 418113659 edges, 55206 markings/sec, 965 secs
lola: 66951865 markings, 420112055 edges, 66850 markings/sec, 970 secs
lola: 67251565 markings, 422225171 edges, 59940 markings/sec, 975 secs
lola: 67561449 markings, 424286931 edges, 61977 markings/sec, 980 secs
lola: 67871350 markings, 426382687 edges, 61980 markings/sec, 985 secs
lola: 68187223 markings, 428569995 edges, 63175 markings/sec, 990 secs
lola: 68492194 markings, 430726271 edges, 60994 markings/sec, 995 secs
lola: 68782239 markings, 432966409 edges, 58009 markings/sec, 1000 secs
lola: 69242061 markings, 434760512 edges, 91964 markings/sec, 1005 secs
lola: 69682888 markings, 436525736 edges, 88165 markings/sec, 1010 secs
lola: 70091542 markings, 438293219 edges, 81731 markings/sec, 1015 secs
lola: 70499558 markings, 440042051 edges, 81603 markings/sec, 1020 secs
lola: 70894266 markings, 441905286 edges, 78942 markings/sec, 1025 secs
lola: 71280550 markings, 443816286 edges, 77257 markings/sec, 1030 secs
lola: 71661597 markings, 445616332 edges, 76209 markings/sec, 1035 secs
lola: 72018783 markings, 447558463 edges, 71437 markings/sec, 1040 secs
lola: 72404699 markings, 449447925 edges, 77183 markings/sec, 1045 secs
lola: 72779174 markings, 451306219 edges, 74895 markings/sec, 1050 secs
lola: 73162065 markings, 453195455 edges, 76578 markings/sec, 1055 secs
lola: 73520405 markings, 455211071 edges, 71668 markings/sec, 1060 secs
lola: 73884320 markings, 457150475 edges, 72783 markings/sec, 1065 secs
lola: 74240923 markings, 459186694 edges, 71321 markings/sec, 1070 secs
lola: 74599926 markings, 461185348 edges, 71801 markings/sec, 1075 secs
lola: 74966994 markings, 463031315 edges, 73414 markings/sec, 1080 secs
lola: 75337445 markings, 464829563 edges, 74090 markings/sec, 1085 secs
lola: 75727430 markings, 466837723 edges, 77997 markings/sec, 1090 secs
lola: 76088092 markings, 469014824 edges, 72132 markings/sec, 1095 secs
lola: 76442967 markings, 471182087 edges, 70975 markings/sec, 1100 secs
lola: 76802061 markings, 473398119 edges, 71819 markings/sec, 1105 secs
lola: 77147713 markings, 475563791 edges, 69130 markings/sec, 1110 secs
lola: 77488117 markings, 477653799 edges, 68081 markings/sec, 1115 secs
lola: 77871653 markings, 479584405 edges, 76707 markings/sec, 1120 secs
lola: 78284993 markings, 481423276 edges, 82668 markings/sec, 1125 secs
lola: 78679441 markings, 483232031 edges, 78890 markings/sec, 1130 secs
lola: 79057422 markings, 485111446 edges, 75596 markings/sec, 1135 secs
lola: 79418710 markings, 486971203 edges, 72258 markings/sec, 1140 secs
lola: 79774022 markings, 488948049 edges, 71062 markings/sec, 1145 secs
lola: 80139920 markings, 490848901 edges, 73180 markings/sec, 1150 secs
lola: 80494871 markings, 492801811 edges, 70990 markings/sec, 1155 secs
lola: 80861774 markings, 494632567 edges, 73381 markings/sec, 1160 secs
lola: 81217828 markings, 496485690 edges, 71211 markings/sec, 1165 secs
lola: 81593813 markings, 498599940 edges, 75197 markings/sec, 1170 secs
lola: 81932286 markings, 500756059 edges, 67695 markings/sec, 1175 secs
lola: 82268390 markings, 502847188 edges, 67221 markings/sec, 1180 secs
lola: 82627670 markings, 504798296 edges, 71856 markings/sec, 1185 secs
lola: 83008473 markings, 506608025 edges, 76161 markings/sec, 1190 secs
lola: 83377774 markings, 508495232 edges, 73860 markings/sec, 1195 secs
lola: 83731285 markings, 510431565 edges, 70702 markings/sec, 1200 secs
lola: 84026314 markings, 512098571 edges, 59006 markings/sec, 1205 secs
lola: 84374923 markings, 514045486 edges, 69722 markings/sec, 1210 secs
lola: 84722614 markings, 516046091 edges, 69538 markings/sec, 1215 secs
lola: 85048843 markings, 518215863 edges, 65246 markings/sec, 1220 secs
lola: 85389064 markings, 520222032 edges, 68044 markings/sec, 1225 secs
lola: 85749365 markings, 522134952 edges, 72060 markings/sec, 1230 secs
lola: 86098198 markings, 524109094 edges, 69767 markings/sec, 1235 secs
lola: 86437360 markings, 526084942 edges, 67832 markings/sec, 1240 secs
lola: 86752369 markings, 528020331 edges, 63002 markings/sec, 1245 secs
lola: 87085102 markings, 530102419 edges, 66547 markings/sec, 1250 secs
lola: 87401951 markings, 532344547 edges, 63370 markings/sec, 1255 secs
lola: 87740142 markings, 534378027 edges, 67638 markings/sec, 1260 secs
lola: 88087243 markings, 536346758 edges, 69420 markings/sec, 1265 secs
lola: 88416903 markings, 538317857 edges, 65932 markings/sec, 1270 secs
lola: 88751365 markings, 540309525 edges, 66892 markings/sec, 1275 secs
lola: 89067965 markings, 542480022 edges, 63320 markings/sec, 1280 secs
lola: 89394106 markings, 544429860 edges, 65228 markings/sec, 1285 secs
lola: 89704194 markings, 546462412 edges, 62018 markings/sec, 1290 secs
lola: 90025840 markings, 548436964 edges, 64329 markings/sec, 1295 secs
lola: 90330764 markings, 550475937 edges, 60985 markings/sec, 1300 secs
lola: 90670273 markings, 552362398 edges, 67902 markings/sec, 1305 secs
lola: 91020552 markings, 554106105 edges, 70056 markings/sec, 1310 secs
lola: 91356822 markings, 555987871 edges, 67254 markings/sec, 1315 secs
lola: 91677553 markings, 558013873 edges, 64146 markings/sec, 1320 secs
lola: 91982196 markings, 560179867 edges, 60929 markings/sec, 1325 secs
lola: 92305498 markings, 562170094 edges, 64660 markings/sec, 1330 secs
lola: 92616389 markings, 564291781 edges, 62178 markings/sec, 1335 secs
lola: 92919417 markings, 566119520 edges, 60606 markings/sec, 1340 secs
lola: 93254716 markings, 567866094 edges, 67060 markings/sec, 1345 secs
lola: 93555892 markings, 569840432 edges, 60235 markings/sec, 1350 secs
lola: 93874727 markings, 571649535 edges, 63767 markings/sec, 1355 secs
lola: 94190066 markings, 573522937 edges, 63068 markings/sec, 1360 secs
lola: 94555801 markings, 575374299 edges, 73147 markings/sec, 1365 secs
lola: 94913864 markings, 577198972 edges, 71613 markings/sec, 1370 secs
lola: 95270482 markings, 579079086 edges, 71324 markings/sec, 1375 secs
lola: 95618256 markings, 580963697 edges, 69555 markings/sec, 1380 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494668352424

--------------------
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-13ringRLLarge"
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-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge 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-13ringRLLarge, 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-149440263900110"
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 ;