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

--------------------
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 1496341976173


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-13ringRLLarge: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 392022 markings, 1836842 edges, 78404 markings/sec, 0 secs
lola: 739711 markings, 4011278 edges, 69538 markings/sec, 5 secs
lola: 1116144 markings, 6075820 edges, 75287 markings/sec, 10 secs
lola: 1457922 markings, 8124641 edges, 68356 markings/sec, 15 secs
lola: 1813291 markings, 10052508 edges, 71074 markings/sec, 20 secs
lola: 2154540 markings, 12005666 edges, 68250 markings/sec, 25 secs
lola: 2487094 markings, 13883361 edges, 66511 markings/sec, 30 secs
lola: 2807194 markings, 16069842 edges, 64020 markings/sec, 35 secs
lola: 3144639 markings, 18207370 edges, 67489 markings/sec, 40 secs
lola: 3487067 markings, 20104501 edges, 68486 markings/sec, 45 secs
lola: 3805297 markings, 22358740 edges, 63646 markings/sec, 50 secs
lola: 4140906 markings, 24438946 edges, 67122 markings/sec, 55 secs
lola: 4471248 markings, 26418659 edges, 66068 markings/sec, 60 secs
lola: 4781102 markings, 28206157 edges, 61971 markings/sec, 65 secs
lola: 5099937 markings, 30158896 edges, 63767 markings/sec, 70 secs
lola: 5427189 markings, 32070907 edges, 65450 markings/sec, 75 secs
lola: 5747188 markings, 34096143 edges, 64000 markings/sec, 80 secs
lola: 6074224 markings, 36206161 edges, 65407 markings/sec, 85 secs
lola: 6429559 markings, 38065080 edges, 71067 markings/sec, 90 secs
lola: 6759264 markings, 40268700 edges, 65941 markings/sec, 95 secs
lola: 7105296 markings, 42366154 edges, 69206 markings/sec, 100 secs
lola: 7441029 markings, 44327526 edges, 67147 markings/sec, 105 secs
lola: 7779501 markings, 46272321 edges, 67694 markings/sec, 110 secs
lola: 8107391 markings, 48258126 edges, 65578 markings/sec, 115 secs
lola: 8440846 markings, 50122001 edges, 66691 markings/sec, 120 secs
lola: 8761137 markings, 52164516 edges, 64058 markings/sec, 125 secs
lola: 9061880 markings, 54396104 edges, 60149 markings/sec, 130 secs
lola: 9411515 markings, 56306545 edges, 69927 markings/sec, 135 secs
lola: 9727844 markings, 58297500 edges, 63266 markings/sec, 140 secs
lola: 10020729 markings, 60413489 edges, 58577 markings/sec, 145 secs
lola: 10340297 markings, 62367449 edges, 63914 markings/sec, 150 secs
lola: 10661924 markings, 64299624 edges, 64325 markings/sec, 155 secs
lola: 10985863 markings, 66247058 edges, 64788 markings/sec, 160 secs
lola: 11298690 markings, 68253764 edges, 62565 markings/sec, 165 secs
lola: 11622850 markings, 70113056 edges, 64832 markings/sec, 170 secs
lola: 11918326 markings, 72248964 edges, 59095 markings/sec, 175 secs
lola: 12295290 markings, 73922596 edges, 75393 markings/sec, 180 secs
lola: 12667757 markings, 75564246 edges, 74493 markings/sec, 185 secs
lola: 13012090 markings, 77298323 edges, 68867 markings/sec, 190 secs
lola: 13320786 markings, 79035050 edges, 61739 markings/sec, 195 secs
lola: 13642247 markings, 80676012 edges, 64292 markings/sec, 200 secs
lola: 13946916 markings, 82442552 edges, 60934 markings/sec, 205 secs
lola: 14255343 markings, 84102527 edges, 61685 markings/sec, 210 secs
lola: 14580151 markings, 85554912 edges, 64962 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: 560634 markings, 1550286 edges, 112127 markings/sec, 0 secs
lola: 1007438 markings, 3238799 edges, 89361 markings/sec, 5 secs
lola: 1434716 markings, 4934728 edges, 85456 markings/sec, 10 secs
lola: 1935606 markings, 6684112 edges, 100178 markings/sec, 15 secs
lola: 2492662 markings, 8317557 edges, 111411 markings/sec, 20 secs
lola: 3002760 markings, 10121553 edges, 102020 markings/sec, 25 secs
lola: 3556235 markings, 11827628 edges, 110695 markings/sec, 30 secs
lola: 4058871 markings, 13658008 edges, 100527 markings/sec, 35 secs
lola: 4607289 markings, 15316698 edges, 109684 markings/sec, 40 secs
lola: 5137396 markings, 17067251 edges, 106021 markings/sec, 45 secs
lola: 5708127 markings, 18686122 edges, 114146 markings/sec, 50 secs
lola: 6252186 markings, 20424096 edges, 108812 markings/sec, 55 secs
lola: 6791634 markings, 22234671 edges, 107890 markings/sec, 60 secs
lola: 7239622 markings, 24045584 edges, 89598 markings/sec, 65 secs
lola: 7788400 markings, 25658182 edges, 109756 markings/sec, 70 secs
lola: 8318605 markings, 27298087 edges, 106041 markings/sec, 75 secs
lola: 8850478 markings, 28942724 edges, 106375 markings/sec, 80 secs
lola: 9350029 markings, 30698850 edges, 99910 markings/sec, 85 secs
lola: 9886802 markings, 32211606 edges, 107355 markings/sec, 90 secs
lola: 10357925 markings, 33934047 edges, 94225 markings/sec, 95 secs
lola: 10902066 markings, 35670884 edges, 108828 markings/sec, 100 secs
lola: 11456591 markings, 37303018 edges, 110905 markings/sec, 105 secs
lola: 11975435 markings, 38979211 edges, 103769 markings/sec, 110 secs
lola: 12500078 markings, 40656155 edges, 104929 markings/sec, 115 secs
lola: 12988614 markings, 42434588 edges, 97707 markings/sec, 120 secs
lola: 13451599 markings, 44423313 edges, 92597 markings/sec, 125 secs
lola: 13909836 markings, 46408423 edges, 91647 markings/sec, 130 secs
lola: 14411301 markings, 48349174 edges, 100293 markings/sec, 135 secs
lola: 14865912 markings, 50285040 edges, 90922 markings/sec, 140 secs
lola: 15336394 markings, 52224183 edges, 94096 markings/sec, 145 secs
lola: 15796384 markings, 54231489 edges, 91998 markings/sec, 150 secs
lola: 16218613 markings, 56284883 edges, 84446 markings/sec, 155 secs
lola: 16714204 markings, 58231484 edges, 99118 markings/sec, 160 secs
lola: 17160999 markings, 60147656 edges, 89359 markings/sec, 165 secs
lola: 17589668 markings, 62426986 edges, 85734 markings/sec, 170 secs
lola: 18005238 markings, 64697743 edges, 83114 markings/sec, 175 secs
lola: 18494273 markings, 66694149 edges, 97807 markings/sec, 180 secs
lola: 18933708 markings, 68774969 edges, 87887 markings/sec, 185 secs
lola: 19377833 markings, 70767212 edges, 88825 markings/sec, 190 secs
lola: 19852289 markings, 72704000 edges, 94891 markings/sec, 195 secs
lola: 20325102 markings, 74814488 edges, 94563 markings/sec, 200 secs
lola: 20748917 markings, 76843223 edges, 84763 markings/sec, 205 secs
lola: 21218764 markings, 78850452 edges, 93969 markings/sec, 210 secs
lola: 21672426 markings, 80844579 edges, 90732 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: 536284 markings, 1414141 edges, 107257 markings/sec, 0 secs
lola: 1160968 markings, 2830234 edges, 124937 markings/sec, 5 secs
lola: 1630489 markings, 4527787 edges, 93904 markings/sec, 10 secs
lola: 2214621 markings, 6170926 edges, 116826 markings/sec, 15 secs
lola: 2739286 markings, 8034599 edges, 104933 markings/sec, 20 secs
lola: 3163700 markings, 9691408 edges, 84883 markings/sec, 25 secs
lola: 3545938 markings, 11479079 edges, 76448 markings/sec, 30 secs
lola: 4031543 markings, 13131648 edges, 97121 markings/sec, 35 secs
lola: 4464418 markings, 14911713 edges, 86575 markings/sec, 40 secs
lola: 4893335 markings, 16576743 edges, 85783 markings/sec, 45 secs
lola: 5428593 markings, 18202168 edges, 107052 markings/sec, 50 secs
lola: 5906299 markings, 20000701 edges, 95541 markings/sec, 55 secs
lola: 6379858 markings, 21599903 edges, 94712 markings/sec, 60 secs
lola: 6822068 markings, 23142938 edges, 88442 markings/sec, 65 secs
lola: 7403832 markings, 24777993 edges, 116353 markings/sec, 70 secs
lola: 7967772 markings, 26394771 edges, 112788 markings/sec, 75 secs
lola: 8575205 markings, 28006400 edges, 121487 markings/sec, 80 secs
lola: 9066064 markings, 29963997 edges, 98172 markings/sec, 85 secs
lola: 9572156 markings, 31842930 edges, 101218 markings/sec, 90 secs
lola: 10157880 markings, 33262999 edges, 117145 markings/sec, 95 secs
lola: 10606902 markings, 34940598 edges, 89804 markings/sec, 100 secs
lola: 10987633 markings, 36744462 edges, 76146 markings/sec, 105 secs
lola: 11484190 markings, 38398602 edges, 99311 markings/sec, 110 secs
lola: 11893412 markings, 40088177 edges, 81844 markings/sec, 115 secs
lola: 12322341 markings, 41665880 edges, 85786 markings/sec, 120 secs
lola: 12805247 markings, 43287744 edges, 96581 markings/sec, 125 secs
lola: 13445558 markings, 44893078 edges, 128062 markings/sec, 130 secs
lola: 14001284 markings, 46735280 edges, 111145 markings/sec, 135 secs
lola: 14530091 markings, 48209808 edges, 105761 markings/sec, 140 secs
lola: 14951204 markings, 49919966 edges, 84223 markings/sec, 145 secs
lola: 15347416 markings, 51744188 edges, 79242 markings/sec, 150 secs
lola: 15822624 markings, 53402204 edges, 95042 markings/sec, 155 secs
lola: 16312821 markings, 55192959 edges, 98039 markings/sec, 160 secs
lola: 16775147 markings, 57003532 edges, 92465 markings/sec, 165 secs
lola: 17174470 markings, 58593342 edges, 79865 markings/sec, 170 secs
lola: 17660925 markings, 60112264 edges, 97291 markings/sec, 175 secs
lola: 18157585 markings, 61802777 edges, 99332 markings/sec, 180 secs
lola: 18579669 markings, 63644956 edges, 84417 markings/sec, 185 secs
lola: 18933236 markings, 65439383 edges, 70713 markings/sec, 190 secs
lola: 19310393 markings, 67099344 edges, 75431 markings/sec, 195 secs
lola: 19681617 markings, 68790158 edges, 74245 markings/sec, 200 secs
lola: 20017939 markings, 70716794 edges, 67264 markings/sec, 205 secs
lola: 20366672 markings, 72428709 edges, 69747 markings/sec, 210 secs
lola: 20732330 markings, 74126057 edges, 73132 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: 487051 markings, 1479314 edges, 97410 markings/sec, 0 secs
lola: 954860 markings, 3125488 edges, 93562 markings/sec, 5 secs
lola: 1456112 markings, 4818644 edges, 100250 markings/sec, 10 secs
lola: 2003789 markings, 6598709 edges, 109535 markings/sec, 15 secs
lola: 2559707 markings, 8214452 edges, 111184 markings/sec, 20 secs
lola: 3079830 markings, 10016496 edges, 104025 markings/sec, 25 secs
lola: 3618149 markings, 11616195 edges, 107664 markings/sec, 30 secs
lola: 4137186 markings, 13335130 edges, 103807 markings/sec, 35 secs
lola: 4660314 markings, 14940777 edges, 104626 markings/sec, 40 secs
lola: 5188871 markings, 16451273 edges, 105711 markings/sec, 45 secs
lola: 5686225 markings, 18282320 edges, 99471 markings/sec, 50 secs
lola: 6175389 markings, 19908988 edges, 97833 markings/sec, 55 secs
lola: 6681109 markings, 21472098 edges, 101144 markings/sec, 60 secs
lola: 7161601 markings, 22989027 edges, 96098 markings/sec, 65 secs
lola: 7639025 markings, 24418906 edges, 95485 markings/sec, 70 secs
lola: 8081539 markings, 26035581 edges, 88503 markings/sec, 75 secs
lola: 8537145 markings, 27815280 edges, 91121 markings/sec, 80 secs
lola: 8990147 markings, 29667130 edges, 90600 markings/sec, 85 secs
lola: 9431248 markings, 31489545 edges, 88220 markings/sec, 90 secs
lola: 9890015 markings, 33447514 edges, 91753 markings/sec, 95 secs
lola: 10369461 markings, 35227627 edges, 95889 markings/sec, 100 secs
lola: 10840285 markings, 36948415 edges, 94165 markings/sec, 105 secs
lola: 11299999 markings, 38556763 edges, 91943 markings/sec, 110 secs
lola: 11777233 markings, 40038530 edges, 95447 markings/sec, 115 secs
lola: 12229881 markings, 41622856 edges, 90530 markings/sec, 120 secs
lola: 12670760 markings, 43422761 edges, 88176 markings/sec, 125 secs
lola: 13096299 markings, 45197257 edges, 85108 markings/sec, 130 secs
lola: 13501044 markings, 47196993 edges, 80949 markings/sec, 135 secs
lola: 13888876 markings, 49124823 edges, 77566 markings/sec, 140 secs
lola: 14246752 markings, 51149512 edges, 71575 markings/sec, 145 secs
lola: 14606790 markings, 53147135 edges, 72008 markings/sec, 150 secs
lola: 14961356 markings, 55177427 edges, 70913 markings/sec, 155 secs
lola: 15316842 markings, 57211717 edges, 71097 markings/sec, 160 secs
lola: 15691349 markings, 59036399 edges, 74901 markings/sec, 165 secs
lola: 16147729 markings, 60599437 edges, 91276 markings/sec, 170 secs
lola: 16601863 markings, 62208028 edges, 90827 markings/sec, 175 secs
lola: 17058619 markings, 63888305 edges, 91351 markings/sec, 180 secs
lola: 17460756 markings, 65634087 edges, 80427 markings/sec, 185 secs
lola: 17867307 markings, 67355915 edges, 81310 markings/sec, 190 secs
lola: 18247993 markings, 69077763 edges, 76137 markings/sec, 195 secs
lola: 18677810 markings, 70825498 edges, 85963 markings/sec, 200 secs
lola: 19049934 markings, 72621550 edges, 74425 markings/sec, 205 secs
lola: 19412472 markings, 74365694 edges, 72508 markings/sec, 210 secs
lola: 19841539 markings, 76152838 edges, 85813 markings/sec, 215 secs
lola: 20352436 markings, 77924165 edges, 102179 markings/sec, 220 secs
lola: 20855534 markings, 79675048 edges, 100620 markings/sec, 225 secs
lola: 21352082 markings, 81268090 edges, 99310 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: 483161 markings, 1685541 edges, 96632 markings/sec, 0 secs
lola: 914871 markings, 3466321 edges, 86342 markings/sec, 5 secs
lola: 1352131 markings, 5229114 edges, 87452 markings/sec, 10 secs
lola: 1769825 markings, 7048300 edges, 83539 markings/sec, 15 secs
lola: 2221962 markings, 8769071 edges, 90427 markings/sec, 20 secs
lola: 2640723 markings, 10583469 edges, 83752 markings/sec, 25 secs
lola: 3067547 markings, 12330555 edges, 85365 markings/sec, 30 secs
lola: 3482188 markings, 14093437 edges, 82928 markings/sec, 35 secs
lola: 3939068 markings, 15768323 edges, 91376 markings/sec, 40 secs
lola: 4372393 markings, 17483762 edges, 86665 markings/sec, 45 secs
lola: 4795894 markings, 19248411 edges, 84700 markings/sec, 50 secs
lola: 5194774 markings, 21105682 edges, 79776 markings/sec, 55 secs
lola: 5630673 markings, 22789398 edges, 87180 markings/sec, 60 secs
lola: 6048471 markings, 24539584 edges, 83560 markings/sec, 65 secs
lola: 6458318 markings, 26258487 edges, 81969 markings/sec, 70 secs
lola: 6869913 markings, 28037002 edges, 82319 markings/sec, 75 secs
lola: 7262349 markings, 29773868 edges, 78487 markings/sec, 80 secs
lola: 7674862 markings, 31663620 edges, 82503 markings/sec, 85 secs
lola: 8057666 markings, 33547147 edges, 76561 markings/sec, 90 secs
lola: 8398848 markings, 35564863 edges, 68236 markings/sec, 95 secs
lola: 8788124 markings, 37398398 edges, 77855 markings/sec, 100 secs
lola: 9180432 markings, 39072778 edges, 78462 markings/sec, 105 secs
lola: 9555110 markings, 41037559 edges, 74936 markings/sec, 110 secs
lola: 9914581 markings, 42976715 edges, 71894 markings/sec, 115 secs
lola: 10278486 markings, 44705337 edges, 72781 markings/sec, 120 secs
lola: 10633360 markings, 46615042 edges, 70975 markings/sec, 125 secs
lola: 10995357 markings, 48370013 edges, 72399 markings/sec, 130 secs
lola: 11393051 markings, 50184877 edges, 79539 markings/sec, 135 secs
lola: 11765669 markings, 52105401 edges, 74524 markings/sec, 140 secs
lola: 12139256 markings, 53899847 edges, 74717 markings/sec, 145 secs
lola: 12514194 markings, 55819499 edges, 74988 markings/sec, 150 secs
lola: 12883992 markings, 57639168 edges, 73960 markings/sec, 155 secs
lola: 13248585 markings, 59528062 edges, 72919 markings/sec, 160 secs
lola: 13613904 markings, 61378675 edges, 73064 markings/sec, 165 secs
lola: 13995017 markings, 63219011 edges, 76223 markings/sec, 170 secs
lola: 14358472 markings, 65129539 edges, 72691 markings/sec, 175 secs
lola: 14722067 markings, 66938957 edges, 72719 markings/sec, 180 secs
lola: 15093566 markings, 68818745 edges, 74300 markings/sec, 185 secs
lola: 15456129 markings, 70641867 edges, 72513 markings/sec, 190 secs
lola: 15809497 markings, 72518006 edges, 70674 markings/sec, 195 secs
lola: 16169856 markings, 74417515 edges, 72072 markings/sec, 200 secs
lola: 16519877 markings, 76413616 edges, 70004 markings/sec, 205 secs
lola: 16886525 markings, 78379209 edges, 73330 markings/sec, 210 secs
lola: 17251968 markings, 80248028 edges, 73089 markings/sec, 215 secs
lola: 17608632 markings, 82149988 edges, 71333 markings/sec, 220 secs
lola: 17953790 markings, 84148155 edges, 69032 markings/sec, 225 secs
lola: 18290531 markings, 86156512 edges, 67348 markings/sec, 230 secs
lola: 18651883 markings, 88096554 edges, 72270 markings/sec, 235 secs
lola: 19008555 markings, 89966526 edges, 71334 markings/sec, 240 secs
lola: 19357534 markings, 91859156 edges, 69796 markings/sec, 245 secs
lola: 19705354 markings, 93782807 edges, 69564 markings/sec, 250 secs
lola: 20081992 markings, 95657069 edges, 75328 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: 481718 markings, 1582858 edges, 96344 markings/sec, 0 secs
lola: 978603 markings, 3224815 edges, 99377 markings/sec, 5 secs
lola: 1551243 markings, 4882331 edges, 114528 markings/sec, 10 secs
lola: 2109046 markings, 6465542 edges, 111561 markings/sec, 15 secs
lola: 2627327 markings, 8271491 edges, 103656 markings/sec, 20 secs
lola: 3110603 markings, 10135782 edges, 96655 markings/sec, 25 secs
lola: 3609007 markings, 11713992 edges, 99681 markings/sec, 30 secs
lola: 4093496 markings, 13236371 edges, 96898 markings/sec, 35 secs
lola: 4545855 markings, 15119693 edges, 90472 markings/sec, 40 secs
lola: 4976991 markings, 17015534 edges, 86227 markings/sec, 45 secs
lola: 5439756 markings, 18842457 edges, 92553 markings/sec, 50 secs
lola: 5900985 markings, 20460921 edges, 92246 markings/sec, 55 secs
lola: 6354451 markings, 22082543 edges, 90693 markings/sec, 60 secs
lola: 6783014 markings, 23983741 edges, 85713 markings/sec, 65 secs
lola: 7237892 markings, 25662310 edges, 90976 markings/sec, 70 secs
lola: 7678970 markings, 27427232 edges, 88216 markings/sec, 75 secs
lola: 8087572 markings, 29017472 edges, 81720 markings/sec, 80 secs
lola: 8484116 markings, 30656867 edges, 79309 markings/sec, 85 secs
lola: 8883973 markings, 32264263 edges, 79971 markings/sec, 90 secs
lola: 9469355 markings, 33951909 edges, 117076 markings/sec, 95 secs
lola: 10015894 markings, 35626786 edges, 109308 markings/sec, 100 secs
lola: 10533705 markings, 37261280 edges, 103562 markings/sec, 105 secs
lola: 10970046 markings, 38982794 edges, 87268 markings/sec, 110 secs
lola: 11431988 markings, 40574520 edges, 92388 markings/sec, 115 secs
lola: 11893188 markings, 42102255 edges, 92240 markings/sec, 120 secs
lola: 12361386 markings, 43678045 edges, 93640 markings/sec, 125 secs
lola: 12808522 markings, 45292480 edges, 89427 markings/sec, 130 secs
lola: 13257105 markings, 46775536 edges, 89717 markings/sec, 135 secs
lola: 13666537 markings, 48720150 edges, 81886 markings/sec, 140 secs
lola: 14099581 markings, 50615013 edges, 86609 markings/sec, 145 secs
lola: 14529740 markings, 52492215 edges, 86032 markings/sec, 150 secs
lola: 14901967 markings, 54531907 edges, 74445 markings/sec, 155 secs
lola: 15337736 markings, 56508059 edges, 87154 markings/sec, 160 secs
lola: 15803662 markings, 58451665 edges, 93185 markings/sec, 165 secs
lola: 16202738 markings, 60382821 edges, 79815 markings/sec, 170 secs
lola: 16611159 markings, 62245686 edges, 81684 markings/sec, 175 secs
lola: 17004801 markings, 64262594 edges, 78728 markings/sec, 180 secs
lola: 17405453 markings, 66418523 edges, 80130 markings/sec, 185 secs
lola: 17865624 markings, 68367216 edges, 92034 markings/sec, 190 secs
lola: 18307451 markings, 70390757 edges, 88365 markings/sec, 195 secs
lola: 18727627 markings, 72360297 edges, 84035 markings/sec, 200 secs
lola: 19134293 markings, 74492913 edges, 81333 markings/sec, 205 secs
lola: 19547013 markings, 76454023 edges, 82544 markings/sec, 210 secs
lola: 19940188 markings, 78597160 edges, 78635 markings/sec, 215 secs
lola: 20320678 markings, 80634770 edges, 76098 markings/sec, 220 secs
lola: 20703257 markings, 82635800 edges, 76516 markings/sec, 225 secs
lola: 21180905 markings, 84537080 edges, 95530 markings/sec, 230 secs
lola: 21595065 markings, 86487567 edges, 82832 markings/sec, 235 secs
lola: 22000596 markings, 88335878 edges, 81106 markings/sec, 240 secs
lola: 22395057 markings, 90221771 edges, 78892 markings/sec, 245 secs
lola: 22789886 markings, 92415003 edges, 78966 markings/sec, 250 secs
lola: 23144238 markings, 94664893 edges, 70870 markings/sec, 255 secs
lola: 23519506 markings, 96883551 edges, 75054 markings/sec, 260 secs
lola: 23875763 markings, 99167425 edges, 71251 markings/sec, 265 secs
lola: 24323386 markings, 100893241 edges, 89525 markings/sec, 270 secs
lola: 24834300 markings, 102563654 edges, 102183 markings/sec, 275 secs
lola: 25381537 markings, 104209786 edges, 109447 markings/sec, 280 secs
lola: 25856631 markings, 106058472 edges, 95019 markings/sec, 285 secs
lola: 26352439 markings, 107666524 edges, 99162 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: 551155 markings, 1451021 edges, 110231 markings/sec, 0 secs
lola: 1020952 markings, 3336863 edges, 93959 markings/sec, 5 secs
lola: 1499579 markings, 5128222 edges, 95725 markings/sec, 10 secs
lola: 1951928 markings, 6901995 edges, 90470 markings/sec, 15 secs
lola: 2424345 markings, 8558967 edges, 94483 markings/sec, 20 secs
lola: 2870972 markings, 10065939 edges, 89325 markings/sec, 25 secs
lola: 3263480 markings, 11420487 edges, 78502 markings/sec, 30 secs
lola: 3666485 markings, 13190740 edges, 80601 markings/sec, 35 secs
lola: 4062458 markings, 15056471 edges, 79195 markings/sec, 40 secs
lola: 4453767 markings, 17057107 edges, 78262 markings/sec, 45 secs
lola: 4838378 markings, 19190384 edges, 76922 markings/sec, 50 secs
lola: 5310546 markings, 20536055 edges, 94434 markings/sec, 55 secs
lola: 5739808 markings, 22210470 edges, 85852 markings/sec, 60 secs
lola: 6157826 markings, 24041629 edges, 83604 markings/sec, 65 secs
lola: 6576139 markings, 25887719 edges, 83663 markings/sec, 70 secs
lola: 7025633 markings, 27470805 edges, 89899 markings/sec, 75 secs
lola: 7479445 markings, 28840611 edges, 90762 markings/sec, 80 secs
lola: 7922133 markings, 30388967 edges, 88538 markings/sec, 85 secs
lola: 8348377 markings, 32046257 edges, 85249 markings/sec, 90 secs
lola: 8770079 markings, 33802432 edges, 84340 markings/sec, 95 secs
lola: 9192685 markings, 35584651 edges, 84521 markings/sec, 100 secs
lola: 9597682 markings, 37452400 edges, 80999 markings/sec, 105 secs
lola: 9977286 markings, 39100648 edges, 75921 markings/sec, 110 secs
lola: 10405448 markings, 40988438 edges, 85632 markings/sec, 115 secs
lola: 10911590 markings, 42257734 edges, 101228 markings/sec, 120 secs
lola: 11393313 markings, 43774277 edges, 96345 markings/sec, 125 secs
lola: 11857151 markings, 45521825 edges, 92768 markings/sec, 130 secs
lola: 12315322 markings, 47356247 edges, 91634 markings/sec, 135 secs
lola: 12766930 markings, 49046113 edges, 90322 markings/sec, 140 secs
lola: 13199303 markings, 51090397 edges, 86475 markings/sec, 145 secs
lola: 13661853 markings, 52784109 edges, 92510 markings/sec, 150 secs
lola: 14102999 markings, 54812397 edges, 88229 markings/sec, 155 secs
lola: 14538718 markings, 56812142 edges, 87144 markings/sec, 160 secs
lola: 14996841 markings, 58676134 edges, 91625 markings/sec, 165 secs
lola: 15424787 markings, 60801722 edges, 85589 markings/sec, 170 secs
lola: 15878514 markings, 62806715 edges, 90745 markings/sec, 175 secs
lola: 16360244 markings, 64220843 edges, 96346 markings/sec, 180 secs
lola: 16816250 markings, 66033838 edges, 91201 markings/sec, 185 secs
lola: 17251772 markings, 67930817 edges, 87104 markings/sec, 190 secs
lola: 17695701 markings, 69804790 edges, 88786 markings/sec, 195 secs
lola: 18136211 markings, 71745950 edges, 88102 markings/sec, 200 secs
lola: 18559807 markings, 73872498 edges, 84719 markings/sec, 205 secs
lola: 19030691 markings, 75606344 edges, 94177 markings/sec, 210 secs
lola: 19483906 markings, 77294833 edges, 90643 markings/sec, 215 secs
lola: 19926070 markings, 79253017 edges, 88433 markings/sec, 220 secs
lola: 20310380 markings, 81238686 edges, 76862 markings/sec, 225 secs
lola: 20784021 markings, 82989798 edges, 94728 markings/sec, 230 secs
lola: 21170998 markings, 84886214 edges, 77395 markings/sec, 235 secs
lola: 21533366 markings, 86768475 edges, 72474 markings/sec, 240 secs
lola: 22007745 markings, 88375535 edges, 94876 markings/sec, 245 secs
lola: 22534114 markings, 89837438 edges, 105274 markings/sec, 250 secs
lola: 23015525 markings, 91323547 edges, 96282 markings/sec, 255 secs
lola: 23458126 markings, 92826161 edges, 88520 markings/sec, 260 secs
lola: 23949558 markings, 94318211 edges, 98286 markings/sec, 265 secs
lola: 24424211 markings, 95857990 edges, 94931 markings/sec, 270 secs
lola: 24841019 markings, 97278963 edges, 83362 markings/sec, 275 secs
lola: 25306733 markings, 98915451 edges, 93143 markings/sec, 280 secs
lola: 25767746 markings, 100733112 edges, 92203 markings/sec, 285 secs
lola: 26194288 markings, 102563197 edges, 85308 markings/sec, 290 secs
lola: 26610403 markings, 104414530 edges, 83223 markings/sec, 295 secs
lola: 27028264 markings, 106263793 edges, 83572 markings/sec, 300 secs
lola: 27497606 markings, 108075338 edges, 93868 markings/sec, 305 secs
lola: 27919544 markings, 109901393 edges, 84388 markings/sec, 310 secs
lola: 28327259 markings, 111748733 edges, 81543 markings/sec, 315 secs
lola: 28754716 markings, 113675828 edges, 85491 markings/sec, 320 secs
lola: 29170870 markings, 115804418 edges, 83231 markings/sec, 325 secs
lola: 29590056 markings, 117800947 edges, 83837 markings/sec, 330 secs
lola: 30047018 markings, 119603362 edges, 91392 markings/sec, 335 secs
lola: 30481002 markings, 121435016 edges, 86797 markings/sec, 340 secs
lola: 30885356 markings, 123272071 edges, 80871 markings/sec, 345 secs
lola: 31310401 markings, 125374225 edges, 85009 markings/sec, 350 secs
lola: 31721915 markings, 127489405 edges, 82303 markings/sec, 355 secs
lola: 32120335 markings, 129589580 edges, 79684 markings/sec, 360 secs
lola: 32517534 markings, 131838929 edges, 79440 markings/sec, 365 secs
lola: 32985474 markings, 133758101 edges, 93588 markings/sec, 370 secs
lola: 33390397 markings, 135613509 edges, 80985 markings/sec, 375 secs
lola: 33830113 markings, 137613819 edges, 87943 markings/sec, 380 secs
lola: 34251401 markings, 139751826 edges, 84258 markings/sec, 385 secs
lola: 34649798 markings, 141932005 edges, 79679 markings/sec, 390 secs
lola: 35066925 markings, 144161225 edges, 83425 markings/sec, 395 secs
lola: 35482675 markings, 146524821 edges, 83150 markings/sec, 400 secs
lola: 35897219 markings, 148531793 edges, 82909 markings/sec, 405 secs
lola: 36295652 markings, 150238806 edges, 79687 markings/sec, 410 secs
lola: 36651453 markings, 152167020 edges, 71160 markings/sec, 415 secs
lola: 36992689 markings, 154237397 edges, 68247 markings/sec, 420 secs
lola: 37340471 markings, 156477822 edges, 69556 markings/sec, 425 secs
lola: 37736772 markings, 158330943 edges, 79260 markings/sec, 430 secs
lola: 38071342 markings, 160300464 edges, 66914 markings/sec, 435 secs
lola: 38428026 markings, 162347763 edges, 71337 markings/sec, 440 secs
lola: 38794215 markings, 164192687 edges, 73238 markings/sec, 445 secs
lola: 39118704 markings, 166118659 edges, 64898 markings/sec, 450 secs
lola: 39419407 markings, 167983656 edges, 60141 markings/sec, 455 secs
lola: 39699553 markings, 170011932 edges, 56029 markings/sec, 460 secs
lola: 39981545 markings, 172083811 edges, 56398 markings/sec, 465 secs
lola: 40287326 markings, 174004313 edges, 61156 markings/sec, 470 secs
lola: 40577243 markings, 176000573 edges, 57983 markings/sec, 475 secs
lola: 40871090 markings, 178056969 edges, 58769 markings/sec, 480 secs
lola: 41166277 markings, 180017153 edges, 59037 markings/sec, 485 secs
lola: 41451725 markings, 181925756 edges, 57090 markings/sec, 490 secs
lola: 41776188 markings, 183704956 edges, 64893 markings/sec, 495 secs
lola: 42092552 markings, 185639703 edges, 63273 markings/sec, 500 secs
lola: 42450460 markings, 187419176 edges, 71582 markings/sec, 505 secs
lola: 42806054 markings, 189248431 edges, 71119 markings/sec, 510 secs
lola: 43149358 markings, 191057222 edges, 68661 markings/sec, 515 secs
lola: 43491327 markings, 192619282 edges, 68394 markings/sec, 520 secs
lola: 43813083 markings, 194356879 edges, 64351 markings/sec, 525 secs
lola: 44122520 markings, 196231773 edges, 61887 markings/sec, 530 secs
lola: 44419946 markings, 198225735 edges, 59485 markings/sec, 535 secs
lola: 44706854 markings, 200293057 edges, 57382 markings/sec, 540 secs
lola: 45017005 markings, 202257143 edges, 62030 markings/sec, 545 secs
lola: 45337461 markings, 204172851 edges, 64091 markings/sec, 550 secs
lola: 45705492 markings, 205822564 edges, 73606 markings/sec, 555 secs
lola: 46039119 markings, 207639975 edges, 66725 markings/sec, 560 secs
lola: 46369360 markings, 209537871 edges, 66048 markings/sec, 565 secs
lola: 46707724 markings, 211501090 edges, 67673 markings/sec, 570 secs
lola: 47070231 markings, 213209038 edges, 72501 markings/sec, 575 secs
lola: 47404058 markings, 215151894 edges, 66765 markings/sec, 580 secs
lola: 47747952 markings, 217154317 edges, 68779 markings/sec, 585 secs
lola: 48110215 markings, 219062081 edges, 72453 markings/sec, 590 secs
lola: 48475717 markings, 220909981 edges, 73100 markings/sec, 595 secs
lola: 48827894 markings, 222915083 edges, 70435 markings/sec, 600 secs
lola: 49190518 markings, 224740458 edges, 72525 markings/sec, 605 secs
lola: 49544916 markings, 226599816 edges, 70880 markings/sec, 610 secs
lola: 49877955 markings, 228447938 edges, 66608 markings/sec, 615 secs
lola: 50207360 markings, 230337368 edges, 65881 markings/sec, 620 secs
lola: 50515548 markings, 232447949 edges, 61638 markings/sec, 625 secs
lola: 50844353 markings, 234398787 edges, 65761 markings/sec, 630 secs
lola: 51174897 markings, 236403494 edges, 66109 markings/sec, 635 secs
lola: 51501365 markings, 238184868 edges, 65294 markings/sec, 640 secs
lola: 51889875 markings, 239700644 edges, 77702 markings/sec, 645 secs
lola: 52276788 markings, 241156169 edges, 77383 markings/sec, 650 secs
lola: 52629604 markings, 242897916 edges, 70563 markings/sec, 655 secs
lola: 52979045 markings, 244645413 edges, 69888 markings/sec, 660 secs
lola: 53317874 markings, 246483229 edges, 67766 markings/sec, 665 secs
lola: 53661910 markings, 248345880 edges, 68807 markings/sec, 670 secs
lola: 54005809 markings, 250225600 edges, 68780 markings/sec, 675 secs
lola: 54342314 markings, 252201066 edges, 67301 markings/sec, 680 secs
lola: 54710027 markings, 254044806 edges, 73543 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: 500397 markings, 1810690 edges, 100079 markings/sec, 0 secs
lola: 943548 markings, 3670489 edges, 88630 markings/sec, 5 secs
lola: 1357053 markings, 5566348 edges, 82701 markings/sec, 10 secs
lola: 1752143 markings, 7613745 edges, 79018 markings/sec, 15 secs
lola: 2157646 markings, 9539436 edges, 81101 markings/sec, 20 secs
lola: 2543164 markings, 11605708 edges, 77104 markings/sec, 25 secs
lola: 2951286 markings, 13497212 edges, 81624 markings/sec, 30 secs
lola: 3362398 markings, 15523865 edges, 82222 markings/sec, 35 secs
lola: 3773395 markings, 17839606 edges, 82199 markings/sec, 40 secs
lola: 4152551 markings, 20029229 edges, 75831 markings/sec, 45 secs
lola: 4547164 markings, 21988791 edges, 78923 markings/sec, 50 secs
lola: 4941366 markings, 23922656 edges, 78840 markings/sec, 55 secs
lola: 5334727 markings, 25885437 edges, 78672 markings/sec, 60 secs
lola: 5733262 markings, 27815669 edges, 79707 markings/sec, 65 secs
lola: 6108801 markings, 29857649 edges, 75108 markings/sec, 70 secs
lola: 6481825 markings, 31967547 edges, 74605 markings/sec, 75 secs
lola: 6823003 markings, 34256052 edges, 68236 markings/sec, 80 secs
lola: 7205787 markings, 36297252 edges, 76557 markings/sec, 85 secs
lola: 7605916 markings, 38271730 edges, 80026 markings/sec, 90 secs
lola: 7995989 markings, 40290717 edges, 78015 markings/sec, 95 secs
lola: 8358453 markings, 42487328 edges, 72493 markings/sec, 100 secs
lola: 8721786 markings, 44749804 edges, 72667 markings/sec, 105 secs
lola: 9100154 markings, 46769851 edges, 75674 markings/sec, 110 secs
lola: 9464478 markings, 48854838 edges, 72865 markings/sec, 115 secs
lola: 9826270 markings, 50998987 edges, 72358 markings/sec, 120 secs
lola: 10174411 markings, 53139405 edges, 69628 markings/sec, 125 secs
lola: 10533862 markings, 55223461 edges, 71890 markings/sec, 130 secs
lola: 10930395 markings, 57155202 edges, 79307 markings/sec, 135 secs
lola: 11279937 markings, 59366152 edges, 69908 markings/sec, 140 secs
lola: 11621752 markings, 61499527 edges, 68363 markings/sec, 145 secs
lola: 11982315 markings, 63463445 edges, 72113 markings/sec, 150 secs
lola: 12332755 markings, 65472544 edges, 70088 markings/sec, 155 secs
lola: 12712058 markings, 67441325 edges, 75861 markings/sec, 160 secs
lola: 13078962 markings, 69556502 edges, 73381 markings/sec, 165 secs
lola: 13421647 markings, 71483091 edges, 68537 markings/sec, 170 secs
lola: 13764447 markings, 73268349 edges, 68560 markings/sec, 175 secs
lola: 14103228 markings, 75386472 edges, 67756 markings/sec, 180 secs
lola: 14450567 markings, 77408514 edges, 69468 markings/sec, 185 secs
lola: 14798350 markings, 79513061 edges, 69557 markings/sec, 190 secs
lola: 15140392 markings, 81592430 edges, 68408 markings/sec, 195 secs
lola: 15500881 markings, 83614429 edges, 72098 markings/sec, 200 secs
lola: 15842435 markings, 85773063 edges, 68311 markings/sec, 205 secs
lola: 16185749 markings, 87854043 edges, 68663 markings/sec, 210 secs
lola: 16516212 markings, 90039846 edges, 66093 markings/sec, 215 secs
lola: 16841680 markings, 92231497 edges, 65094 markings/sec, 220 secs
lola: 17183761 markings, 94242389 edges, 68416 markings/sec, 225 secs
lola: 17513456 markings, 96399643 edges, 65939 markings/sec, 230 secs
lola: 17854473 markings, 98524373 edges, 68203 markings/sec, 235 secs
lola: 18186898 markings, 100621912 edges, 66485 markings/sec, 240 secs
lola: 18522854 markings, 102747629 edges, 67191 markings/sec, 245 secs
lola: 18857169 markings, 104837798 edges, 66863 markings/sec, 250 secs
lola: 19202618 markings, 106985818 edges, 69090 markings/sec, 255 secs
lola: 19519409 markings, 109189568 edges, 63358 markings/sec, 260 secs
lola: 19843206 markings, 111367443 edges, 64759 markings/sec, 265 secs
lola: 20154933 markings, 113609302 edges, 62345 markings/sec, 270 secs
lola: 20474973 markings, 115814586 edges, 64008 markings/sec, 275 secs
lola: 20823191 markings, 117747469 edges, 69644 markings/sec, 280 secs
lola: 21146633 markings, 119811753 edges, 64688 markings/sec, 285 secs
lola: 21497492 markings, 121753308 edges, 70172 markings/sec, 290 secs
lola: 21817797 markings, 124023460 edges, 64061 markings/sec, 295 secs
lola: 22150636 markings, 126282892 edges, 66568 markings/sec, 300 secs
lola: 22469344 markings, 128587116 edges, 63742 markings/sec, 305 secs
lola: 22792648 markings, 130796072 edges, 64661 markings/sec, 310 secs
lola: 23081437 markings, 133067715 edges, 57758 markings/sec, 315 secs
lola: 23388852 markings, 135462650 edges, 61483 markings/sec, 320 secs
lola: 23695314 markings, 137812908 edges, 61292 markings/sec, 325 secs
lola: 24013146 markings, 140234056 edges, 63566 markings/sec, 330 secs
lola: 24320171 markings, 142634128 edges, 61405 markings/sec, 335 secs
lola: 24626721 markings, 145109053 edges, 61310 markings/sec, 340 secs
lola: 24949049 markings, 147359484 edges, 64466 markings/sec, 345 secs
lola: 25248785 markings, 149719162 edges, 59947 markings/sec, 350 secs
lola: 25570284 markings, 151955449 edges, 64300 markings/sec, 355 secs
lola: 25932913 markings, 154263432 edges, 72526 markings/sec, 360 secs
lola: 26342686 markings, 156535229 edges, 81955 markings/sec, 365 secs
lola: 26694690 markings, 158576871 edges, 70401 markings/sec, 370 secs
lola: 27039091 markings, 160621466 edges, 68880 markings/sec, 375 secs
lola: 27387208 markings, 162855402 edges, 69623 markings/sec, 380 secs
lola: 27736501 markings, 165131965 edges, 69859 markings/sec, 385 secs
lola: 28077241 markings, 167370482 edges, 68148 markings/sec, 390 secs
lola: 28405851 markings, 169455608 edges, 65722 markings/sec, 395 secs
lola: 28713901 markings, 171641591 edges, 61610 markings/sec, 400 secs
lola: 29038109 markings, 173854542 edges, 64842 markings/sec, 405 secs
lola: 29376169 markings, 176061295 edges, 67612 markings/sec, 410 secs
lola: 29714687 markings, 178332135 edges, 67704 markings/sec, 415 secs
lola: 30034285 markings, 180621050 edges, 63920 markings/sec, 420 secs
lola: 30347716 markings, 182905449 edges, 62686 markings/sec, 425 secs
lola: 30668749 markings, 185236672 edges, 64207 markings/sec, 430 secs
lola: 30988176 markings, 187651662 edges, 63885 markings/sec, 435 secs
lola: 31308899 markings, 190007542 edges, 64145 markings/sec, 440 secs
lola: 31634764 markings, 192206263 edges, 65173 markings/sec, 445 secs
lola: 31973011 markings, 194405951 edges, 67649 markings/sec, 450 secs
lola: 32330633 markings, 196839756 edges, 71524 markings/sec, 455 secs
lola: 32668815 markings, 199425194 edges, 67636 markings/sec, 460 secs
lola: 33001735 markings, 202008724 edges, 66584 markings/sec, 465 secs
lola: 33321425 markings, 204680842 edges, 63938 markings/sec, 470 secs
lola: 33651127 markings, 207275076 edges, 65940 markings/sec, 475 secs
lola: 33960484 markings, 209798000 edges, 61871 markings/sec, 480 secs
lola: 34276837 markings, 212281544 edges, 63271 markings/sec, 485 secs
lola: 34683727 markings, 214114268 edges, 81378 markings/sec, 490 secs
lola: 35090310 markings, 215906104 edges, 81317 markings/sec, 495 secs
lola: 35502045 markings, 217816390 edges, 82347 markings/sec, 500 secs
lola: 35890754 markings, 219854667 edges, 77742 markings/sec, 505 secs
lola: 36283707 markings, 221876175 edges, 78591 markings/sec, 510 secs
lola: 36650578 markings, 224146593 edges, 73374 markings/sec, 515 secs
lola: 37035627 markings, 226248359 edges, 77010 markings/sec, 520 secs
lola: 37434481 markings, 228213840 edges, 79771 markings/sec, 525 secs
lola: 37813518 markings, 230243878 edges, 75807 markings/sec, 530 secs
lola: 38169682 markings, 232374525 edges, 71233 markings/sec, 535 secs
lola: 38514341 markings, 234699449 edges, 68932 markings/sec, 540 secs
lola: 38892944 markings, 236690480 edges, 75721 markings/sec, 545 secs
lola: 39247493 markings, 238771423 edges, 70910 markings/sec, 550 secs
lola: 39596980 markings, 240924201 edges, 69897 markings/sec, 555 secs
lola: 39934431 markings, 243082863 edges, 67490 markings/sec, 560 secs
lola: 40292362 markings, 245094520 edges, 71586 markings/sec, 565 secs
lola: 40636163 markings, 247233398 edges, 68760 markings/sec, 570 secs
lola: 40960734 markings, 249404257 edges, 64914 markings/sec, 575 secs
lola: 41293577 markings, 251369740 edges, 66569 markings/sec, 580 secs
lola: 41644701 markings, 253390984 edges, 70225 markings/sec, 585 secs
lola: 42001643 markings, 255473730 edges, 71388 markings/sec, 590 secs
lola: 42343658 markings, 257568663 edges, 68403 markings/sec, 595 secs
lola: 42694570 markings, 259616893 edges, 70182 markings/sec, 600 secs
lola: 43028577 markings, 261753139 edges, 66801 markings/sec, 605 secs
lola: 43367767 markings, 263827852 edges, 67838 markings/sec, 610 secs
lola: 43694188 markings, 265955852 edges, 65284 markings/sec, 615 secs
lola: 44014382 markings, 268202262 edges, 64039 markings/sec, 620 secs
lola: 44343947 markings, 270306267 edges, 65913 markings/sec, 625 secs
lola: 44656447 markings, 272337942 edges, 62500 markings/sec, 630 secs
lola: 44960121 markings, 274325086 edges, 60735 markings/sec, 635 secs
lola: 45307738 markings, 276254521 edges, 69523 markings/sec, 640 secs
lola: 45662663 markings, 278156945 edges, 70985 markings/sec, 645 secs
lola: 45987028 markings, 280345179 edges, 64873 markings/sec, 650 secs
lola: 46303065 markings, 282732887 edges, 63207 markings/sec, 655 secs
lola: 46612157 markings, 285099403 edges, 61818 markings/sec, 660 secs
lola: 46914452 markings, 287491655 edges, 60459 markings/sec, 665 secs
lola: 47223276 markings, 289748619 edges, 61765 markings/sec, 670 secs
lola: 47544979 markings, 291865465 edges, 64341 markings/sec, 675 secs
lola: 47843391 markings, 294225686 edges, 59682 markings/sec, 680 secs
lola: 48226226 markings, 296410151 edges, 76567 markings/sec, 685 secs
lola: 48569466 markings, 298588592 edges, 68648 markings/sec, 690 secs
lola: 48899235 markings, 300698581 edges, 65954 markings/sec, 695 secs
lola: 49235102 markings, 302890614 edges, 67173 markings/sec, 700 secs
lola: 49554347 markings, 305169945 edges, 63849 markings/sec, 705 secs
lola: 49859004 markings, 307418288 edges, 60931 markings/sec, 710 secs
lola: 50162905 markings, 309563503 edges, 60780 markings/sec, 715 secs
lola: 50474191 markings, 311810998 edges, 62257 markings/sec, 720 secs
lola: 50794459 markings, 313944959 edges, 64054 markings/sec, 725 secs
lola: 51119189 markings, 316054807 edges, 64946 markings/sec, 730 secs
lola: 51451411 markings, 318414010 edges, 66444 markings/sec, 735 secs
lola: 51759168 markings, 320912639 edges, 61551 markings/sec, 740 secs
lola: 52079738 markings, 323469049 edges, 64114 markings/sec, 745 secs
lola: 52382958 markings, 325863532 edges, 60644 markings/sec, 750 secs
lola: 52750335 markings, 327972686 edges, 73475 markings/sec, 755 secs
lola: 53139810 markings, 329893250 edges, 77895 markings/sec, 760 secs
lola: 53497479 markings, 331847972 edges, 71534 markings/sec, 765 secs
lola: 53852295 markings, 333970359 edges, 70963 markings/sec, 770 secs
lola: 54224218 markings, 336016905 edges, 74385 markings/sec, 775 secs
lola: 54572848 markings, 337965412 edges, 69726 markings/sec, 780 secs
lola: 54924046 markings, 340003755 edges, 70240 markings/sec, 785 secs
lola: 55271904 markings, 342086892 edges, 69572 markings/sec, 790 secs
lola: 55602880 markings, 344077787 edges, 66195 markings/sec, 795 secs
lola: 55920480 markings, 346164381 edges, 63520 markings/sec, 800 secs
lola: 56252523 markings, 348151710 edges, 66409 markings/sec, 805 secs
lola: 56583969 markings, 350227890 edges, 66289 markings/sec, 810 secs
lola: 56912654 markings, 352313101 edges, 65737 markings/sec, 815 secs
lola: 57236268 markings, 354411960 edges, 64723 markings/sec, 820 secs
lola: 57537353 markings, 356495756 edges, 60217 markings/sec, 825 secs
lola: 57883683 markings, 358502399 edges, 69266 markings/sec, 830 secs
lola: 58208166 markings, 360572876 edges, 64897 markings/sec, 835 secs
lola: 58529650 markings, 362660523 edges, 64297 markings/sec, 840 secs
lola: 58841740 markings, 364790019 edges, 62418 markings/sec, 845 secs
lola: 59146023 markings, 367002422 edges, 60857 markings/sec, 850 secs
lola: 59441603 markings, 369291134 edges, 59116 markings/sec, 855 secs
lola: 59739296 markings, 371587912 edges, 59539 markings/sec, 860 secs
lola: 60048377 markings, 373809010 edges, 61816 markings/sec, 865 secs
lola: 60384497 markings, 376013552 edges, 67224 markings/sec, 870 secs
lola: 60717846 markings, 378202345 edges, 66670 markings/sec, 875 secs
lola: 61029227 markings, 380491400 edges, 62276 markings/sec, 880 secs
lola: 61354004 markings, 382725154 edges, 64955 markings/sec, 885 secs
lola: 61670752 markings, 385003728 edges, 63350 markings/sec, 890 secs
lola: 61983542 markings, 387326116 edges, 62558 markings/sec, 895 secs
lola: 62289983 markings, 389820182 edges, 61288 markings/sec, 900 secs
lola: 62590150 markings, 392376110 edges, 60033 markings/sec, 905 secs
lola: 62953373 markings, 394403253 edges, 72645 markings/sec, 910 secs
lola: 63324252 markings, 396349444 edges, 74176 markings/sec, 915 secs
lola: 63671365 markings, 398365604 edges, 69423 markings/sec, 920 secs
lola: 63998820 markings, 400530976 edges, 65491 markings/sec, 925 secs
lola: 64332803 markings, 402714286 edges, 66797 markings/sec, 930 secs
lola: 64683522 markings, 404711391 edges, 70144 markings/sec, 935 secs
lola: 64998497 markings, 406821053 edges, 62995 markings/sec, 940 secs
lola: 65328415 markings, 408904418 edges, 65984 markings/sec, 945 secs
lola: 65642070 markings, 411054658 edges, 62731 markings/sec, 950 secs
lola: 65947468 markings, 413160906 edges, 61080 markings/sec, 955 secs
lola: 66243930 markings, 415396543 edges, 59292 markings/sec, 960 secs
lola: 66529045 markings, 417489840 edges, 57023 markings/sec, 965 secs
lola: 66848934 markings, 419491911 edges, 63978 markings/sec, 970 secs
lola: 67164961 markings, 421582180 edges, 63205 markings/sec, 975 secs
lola: 67477564 markings, 423664712 edges, 62521 markings/sec, 980 secs
lola: 67780643 markings, 425792930 edges, 60616 markings/sec, 985 secs
lola: 68104611 markings, 427981569 edges, 64794 markings/sec, 990 secs
lola: 68416630 markings, 430147292 edges, 62404 markings/sec, 995 secs
lola: 68709622 markings, 432394481 edges, 58598 markings/sec, 1000 secs
lola: 69122248 markings, 434343417 edges, 82525 markings/sec, 1005 secs
lola: 69578488 markings, 436126133 edges, 91248 markings/sec, 1010 secs
lola: 69984514 markings, 437861803 edges, 81205 markings/sec, 1015 secs
lola: 70399351 markings, 439629785 edges, 82967 markings/sec, 1020 secs
lola: 70789831 markings, 441518448 edges, 78096 markings/sec, 1025 secs
lola: 71187650 markings, 443341208 edges, 79564 markings/sec, 1030 secs
lola: 71574458 markings, 445160017 edges, 77362 markings/sec, 1035 secs
lola: 71937842 markings, 447112500 edges, 72677 markings/sec, 1040 secs
lola: 72315068 markings, 449063666 edges, 75445 markings/sec, 1045 secs
lola: 72694248 markings, 450943192 edges, 75836 markings/sec, 1050 secs
lola: 73089281 markings, 452800439 edges, 79007 markings/sec, 1055 secs
lola: 73452928 markings, 454823764 edges, 72729 markings/sec, 1060 secs
lola: 73813550 markings, 456791425 edges, 72124 markings/sec, 1065 secs
lola: 74168318 markings, 458830637 edges, 70954 markings/sec, 1070 secs
lola: 74532317 markings, 460879503 edges, 72800 markings/sec, 1075 secs
lola: 74907273 markings, 462717021 edges, 74991 markings/sec, 1080 secs
lola: 75281212 markings, 464543266 edges, 74788 markings/sec, 1085 secs
lola: 75674162 markings, 466569050 edges, 78590 markings/sec, 1090 secs
lola: 76046565 markings, 468753355 edges, 74481 markings/sec, 1095 secs
lola: 76407520 markings, 470939445 edges, 72191 markings/sec, 1100 secs
lola: 76766044 markings, 473184901 edges, 71705 markings/sec, 1105 secs
lola: 77121240 markings, 475376722 edges, 71039 markings/sec, 1110 secs
lola: 77460273 markings, 477502117 edges, 67807 markings/sec, 1115 secs
lola: 77840766 markings, 479472957 edges, 76099 markings/sec, 1120 secs
lola: 78259927 markings, 481287536 edges, 83832 markings/sec, 1125 secs
lola: 78661195 markings, 483128418 edges, 80254 markings/sec, 1130 secs
lola: 79041589 markings, 485037188 edges, 76079 markings/sec, 1135 secs
lola: 79407046 markings, 486909014 edges, 73091 markings/sec, 1140 secs
lola: 79767261 markings, 488912465 edges, 72043 markings/sec, 1145 secs
lola: 80137907 markings, 490840753 edges, 74129 markings/sec, 1150 secs
lola: 80497721 markings, 492815497 edges, 71963 markings/sec, 1155 secs
lola: 80868886 markings, 494674787 edges, 74233 markings/sec, 1160 secs
lola: 81230080 markings, 496539180 edges, 72239 markings/sec, 1165 secs
lola: 81609696 markings, 498689501 edges, 75923 markings/sec, 1170 secs
lola: 81963030 markings, 500909773 edges, 70667 markings/sec, 1175 secs
lola: 82299733 markings, 503019649 edges, 67341 markings/sec, 1180 secs
lola: 82666634 markings, 504932333 edges, 73380 markings/sec, 1185 secs
lola: 83043771 markings, 506791194 edges, 75427 markings/sec, 1190 secs
lola: 83415366 markings, 508690620 edges, 74319 markings/sec, 1195 secs
lola: 83775509 markings, 510671555 edges, 72029 markings/sec, 1200 secs
lola: 84123886 markings, 512661650 edges, 69675 markings/sec, 1205 secs
lola: 84477060 markings, 514589559 edges, 70635 markings/sec, 1210 secs
lola: 84820280 markings, 516727584 edges, 68644 markings/sec, 1215 secs
lola: 85147859 markings, 518953043 edges, 65516 markings/sec, 1220 secs
lola: 85509353 markings, 520871977 edges, 72299 markings/sec, 1225 secs
lola: 85870831 markings, 522846240 edges, 72296 markings/sec, 1230 secs
lola: 86217228 markings, 524838979 edges, 69279 markings/sec, 1235 secs
lola: 86566475 markings, 526841823 edges, 69849 markings/sec, 1240 secs
lola: 86897142 markings, 528886457 edges, 66133 markings/sec, 1245 secs
lola: 87222333 markings, 531092111 edges, 65038 markings/sec, 1250 secs
lola: 87540386 markings, 533298960 edges, 63611 markings/sec, 1255 secs
lola: 87898534 markings, 535215726 edges, 71630 markings/sec, 1260 secs
lola: 88240626 markings, 537211132 edges, 68418 markings/sec, 1265 secs
lola: 88570325 markings, 539232205 edges, 65940 markings/sec, 1270 secs
lola: 88895177 markings, 541294490 edges, 64970 markings/sec, 1275 secs
lola: 89225501 markings, 543362293 edges, 66065 markings/sec, 1280 secs
lola: 89545127 markings, 545355303 edges, 63925 markings/sec, 1285 secs
lola: 89851970 markings, 547453115 edges, 61369 markings/sec, 1290 secs
lola: 90170383 markings, 549369024 edges, 63683 markings/sec, 1295 secs
lola: 90474146 markings, 551350775 edges, 60753 markings/sec, 1300 secs
lola: 90829380 markings, 553147945 edges, 71047 markings/sec, 1305 secs
lola: 91176989 markings, 554919708 edges, 69522 markings/sec, 1310 secs
lola: 91505694 markings, 556905550 edges, 65741 markings/sec, 1315 secs
lola: 91819130 markings, 559009160 edges, 62687 markings/sec, 1320 secs
lola: 92129396 markings, 561123693 edges, 62053 markings/sec, 1325 secs
lola: 92450638 markings, 563176129 edges, 64248 markings/sec, 1330 secs
lola: 92756789 markings, 565119398 edges, 61230 markings/sec, 1335 secs
lola: 93073416 markings, 566888597 edges, 63325 markings/sec, 1340 secs
lola: 93394856 markings, 568735184 edges, 64288 markings/sec, 1345 secs
lola: 93695354 markings, 570707687 edges, 60100 markings/sec, 1350 secs
lola: 94011970 markings, 572455904 edges, 63323 markings/sec, 1355 secs
lola: 94355711 markings, 574319371 edges, 68748 markings/sec, 1360 secs
lola: 94713489 markings, 576223863 edges, 71556 markings/sec, 1365 secs
lola: 95075799 markings, 578035568 edges, 72462 markings/sec, 1370 secs
lola: 95427663 markings, 579884553 edges, 70373 markings/sec, 1375 secs
lola: 95775747 markings, 581775755 edges, 69617 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 1496345516342

--------------------
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="S_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/S_DNAwalker-PT-13ringRLLarge.tgz
mv S_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 S_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 r108-blw3-149441612100110"
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 ;