About the Execution of LoLA for S_DNAwalker-PT-12ringLLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1898.670 | 3539795.00 | 3545892.00 | 1620.00 | ? ? ? ? ? ? ? ? ? ? 1 ? ? ? ? 1 | normal |
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-12ringLLLarge, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612100101
=====================================================================
--------------------
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-12ringLLLarge-UpperBounds-0
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-1
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-10
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-11
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-12
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-13
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-14
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-15
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-2
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-3
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-4
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-5
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-6
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-7
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-8
FORMULA_NAME DNAwalker-PT-12ringLLLarge-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496340520325
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DNAwalker-PT-12ringLLLarge: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DNAwalker-PT-12ringLLLarge: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-12ringLLLarge @ 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-12ringLLLarge-UpperBounds.task
lola: MAX(A10) : MAX(A21) : MAX(A14) : MAX(A10) : MAX(B5) : MAX(A3) : MAX(A1) : MAX(A4) : MAX(A13) : MAX(B4) : MAX(A21) : MAX(A2) : MAX(A18) : MAX(A17) : MAX(A10) : MAX(A18)
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(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 571687 markings, 1572849 edges, 114337 markings/sec, 0 secs
lola: 1090359 markings, 3557543 edges, 103734 markings/sec, 5 secs
lola: 1591875 markings, 5602712 edges, 100303 markings/sec, 10 secs
lola: 2086436 markings, 7753312 edges, 98912 markings/sec, 15 secs
lola: 2580952 markings, 9974203 edges, 98903 markings/sec, 20 secs
lola: 3109674 markings, 11754310 edges, 105744 markings/sec, 25 secs
lola: 3595610 markings, 13589027 edges, 97187 markings/sec, 30 secs
lola: 4076057 markings, 15479482 edges, 96089 markings/sec, 35 secs
lola: 4534914 markings, 17253552 edges, 91771 markings/sec, 40 secs
lola: 4954655 markings, 19138098 edges, 83948 markings/sec, 45 secs
lola: 5374542 markings, 20800348 edges, 83977 markings/sec, 50 secs
lola: 5763331 markings, 22672994 edges, 77758 markings/sec, 55 secs
lola: 6159671 markings, 24386120 edges, 79268 markings/sec, 60 secs
lola: 6549586 markings, 26034777 edges, 77983 markings/sec, 65 secs
lola: 6933255 markings, 28077507 edges, 76734 markings/sec, 70 secs
lola: 7309871 markings, 30160807 edges, 75323 markings/sec, 75 secs
lola: 7681253 markings, 32137831 edges, 74276 markings/sec, 80 secs
lola: 8106846 markings, 33927593 edges, 85119 markings/sec, 85 secs
lola: 8522283 markings, 35565732 edges, 83087 markings/sec, 90 secs
lola: 8925321 markings, 37523166 edges, 80608 markings/sec, 95 secs
lola: 9315598 markings, 39502991 edges, 78055 markings/sec, 100 secs
lola: 9702805 markings, 41492402 edges, 77441 markings/sec, 105 secs
lola: 10072954 markings, 43680352 edges, 74030 markings/sec, 110 secs
lola: 10465109 markings, 45727480 edges, 78431 markings/sec, 115 secs
lola: 10833865 markings, 47999041 edges, 73751 markings/sec, 120 secs
lola: 11240880 markings, 49774091 edges, 81403 markings/sec, 125 secs
lola: 11646701 markings, 51617019 edges, 81164 markings/sec, 130 secs
lola: 12016596 markings, 53507690 edges, 73979 markings/sec, 135 secs
lola: 12422190 markings, 55241391 edges, 81119 markings/sec, 140 secs
lola: 12814025 markings, 57174543 edges, 78367 markings/sec, 145 secs
lola: 13204943 markings, 59151993 edges, 78184 markings/sec, 150 secs
lola: 13622971 markings, 60771103 edges, 83606 markings/sec, 155 secs
lola: 14006421 markings, 62665184 edges, 76690 markings/sec, 160 secs
lola: 14361758 markings, 64584141 edges, 71067 markings/sec, 165 secs
lola: 14735473 markings, 66760271 edges, 74743 markings/sec, 170 secs
lola: 15135808 markings, 68707792 edges, 80067 markings/sec, 175 secs
lola: 15510098 markings, 70588867 edges, 74858 markings/sec, 180 secs
lola: 15876816 markings, 72720903 edges, 73344 markings/sec, 185 secs
lola: 16255647 markings, 74596667 edges, 75766 markings/sec, 190 secs
lola: 16607434 markings, 76636207 edges, 70357 markings/sec, 195 secs
lola: 16989745 markings, 78436123 edges, 76462 markings/sec, 200 secs
lola: 17372218 markings, 80078717 edges, 76495 markings/sec, 205 secs
lola: 17739703 markings, 81934552 edges, 73497 markings/sec, 210 secs
lola: 18097657 markings, 83855800 edges, 71591 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(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 483658 markings, 1764559 edges, 96732 markings/sec, 0 secs
lola: 918775 markings, 3442850 edges, 87023 markings/sec, 5 secs
lola: 1322371 markings, 5214833 edges, 80719 markings/sec, 10 secs
lola: 1719100 markings, 6868736 edges, 79346 markings/sec, 15 secs
lola: 2112713 markings, 8631001 edges, 78723 markings/sec, 20 secs
lola: 2569486 markings, 10310232 edges, 91355 markings/sec, 25 secs
lola: 2971054 markings, 12048589 edges, 80314 markings/sec, 30 secs
lola: 3356207 markings, 13767810 edges, 77031 markings/sec, 35 secs
lola: 3771460 markings, 15376003 edges, 83051 markings/sec, 40 secs
lola: 4146277 markings, 17111026 edges, 74963 markings/sec, 45 secs
lola: 4539301 markings, 18883650 edges, 78605 markings/sec, 50 secs
lola: 4912567 markings, 20765471 edges, 74653 markings/sec, 55 secs
lola: 5280734 markings, 22625817 edges, 73633 markings/sec, 60 secs
lola: 5701123 markings, 24297522 edges, 84078 markings/sec, 65 secs
lola: 6102251 markings, 26028811 edges, 80226 markings/sec, 70 secs
lola: 6500302 markings, 27736571 edges, 79610 markings/sec, 75 secs
lola: 6883735 markings, 29519037 edges, 76687 markings/sec, 80 secs
lola: 7288305 markings, 31407720 edges, 80914 markings/sec, 85 secs
lola: 7670447 markings, 33340438 edges, 76428 markings/sec, 90 secs
lola: 8058553 markings, 35216493 edges, 77621 markings/sec, 95 secs
lola: 8439545 markings, 36935063 edges, 76198 markings/sec, 100 secs
lola: 8837193 markings, 38728470 edges, 79530 markings/sec, 105 secs
lola: 9215449 markings, 40790379 edges, 75651 markings/sec, 110 secs
lola: 9600642 markings, 42937790 edges, 77039 markings/sec, 115 secs
lola: 10003319 markings, 45024043 edges, 80535 markings/sec, 120 secs
lola: 10393289 markings, 46928552 edges, 77994 markings/sec, 125 secs
lola: 10750305 markings, 48887710 edges, 71403 markings/sec, 130 secs
lola: 11099146 markings, 50883956 edges, 69768 markings/sec, 135 secs
lola: 11455493 markings, 52761550 edges, 71269 markings/sec, 140 secs
lola: 11818378 markings, 54567618 edges, 72577 markings/sec, 145 secs
lola: 12202501 markings, 56653037 edges, 76825 markings/sec, 150 secs
lola: 12557662 markings, 58802996 edges, 71032 markings/sec, 155 secs
lola: 12921608 markings, 61160817 edges, 72789 markings/sec, 160 secs
lola: 13277157 markings, 63562996 edges, 71110 markings/sec, 165 secs
lola: 13729713 markings, 65416248 edges, 90511 markings/sec, 170 secs
lola: 14134498 markings, 67232511 edges, 80957 markings/sec, 175 secs
lola: 14514314 markings, 68891568 edges, 75963 markings/sec, 180 secs
lola: 14900637 markings, 70604151 edges, 77265 markings/sec, 185 secs
lola: 15299780 markings, 72317698 edges, 79829 markings/sec, 190 secs
lola: 15663591 markings, 74096513 edges, 72762 markings/sec, 195 secs
lola: 15997350 markings, 76038178 edges, 66752 markings/sec, 200 secs
lola: 16368236 markings, 77767913 edges, 74177 markings/sec, 205 secs
lola: 16730068 markings, 79712956 edges, 72366 markings/sec, 210 secs
lola: 17093115 markings, 81562170 edges, 72609 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(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: 578761 markings, 1565227 edges, 115752 markings/sec, 0 secs
lola: 1039212 markings, 3408855 edges, 92090 markings/sec, 5 secs
lola: 1467034 markings, 5079822 edges, 85564 markings/sec, 10 secs
lola: 1880471 markings, 6830657 edges, 82687 markings/sec, 15 secs
lola: 2357912 markings, 8631274 edges, 95488 markings/sec, 20 secs
lola: 2847626 markings, 10364537 edges, 97943 markings/sec, 25 secs
lola: 3402380 markings, 12068112 edges, 110951 markings/sec, 30 secs
lola: 3864631 markings, 13942577 edges, 92450 markings/sec, 35 secs
lola: 4370102 markings, 15723761 edges, 101094 markings/sec, 40 secs
lola: 4919618 markings, 17344707 edges, 109903 markings/sec, 45 secs
lola: 5396774 markings, 19205480 edges, 95431 markings/sec, 50 secs
lola: 5882694 markings, 21046669 edges, 97184 markings/sec, 55 secs
lola: 6418355 markings, 22763338 edges, 107132 markings/sec, 60 secs
lola: 6925143 markings, 24566249 edges, 101358 markings/sec, 65 secs
lola: 7464680 markings, 26261510 edges, 107907 markings/sec, 70 secs
lola: 8012004 markings, 27857718 edges, 109465 markings/sec, 75 secs
lola: 8513106 markings, 29756252 edges, 100220 markings/sec, 80 secs
lola: 8980322 markings, 31717899 edges, 93443 markings/sec, 85 secs
lola: 9525232 markings, 33506130 edges, 108982 markings/sec, 90 secs
lola: 9943820 markings, 35362629 edges, 83718 markings/sec, 95 secs
lola: 10434204 markings, 37093797 edges, 98077 markings/sec, 100 secs
lola: 10931222 markings, 38826666 edges, 99404 markings/sec, 105 secs
lola: 11342475 markings, 40781307 edges, 82251 markings/sec, 110 secs
lola: 11917809 markings, 42479091 edges, 115067 markings/sec, 115 secs
lola: 12437456 markings, 44135592 edges, 103929 markings/sec, 120 secs
lola: 12985421 markings, 45751816 edges, 109593 markings/sec, 125 secs
lola: 13503740 markings, 47303963 edges, 103664 markings/sec, 130 secs
lola: 13983420 markings, 49029255 edges, 95936 markings/sec, 135 secs
lola: 14444275 markings, 50810667 edges, 92171 markings/sec, 140 secs
lola: 14853845 markings, 52723051 edges, 81914 markings/sec, 145 secs
lola: 15432181 markings, 54346585 edges, 115667 markings/sec, 150 secs
lola: 15932651 markings, 56064291 edges, 100094 markings/sec, 155 secs
lola: 16454241 markings, 57879091 edges, 104318 markings/sec, 160 secs
lola: 16949792 markings, 59662610 edges, 99110 markings/sec, 165 secs
lola: 17441759 markings, 61379665 edges, 98393 markings/sec, 170 secs
lola: 17912703 markings, 63015595 edges, 94189 markings/sec, 175 secs
lola: 18344217 markings, 65042626 edges, 86303 markings/sec, 180 secs
lola: 18813941 markings, 67086591 edges, 93945 markings/sec, 185 secs
lola: 19291509 markings, 68988845 edges, 95514 markings/sec, 190 secs
lola: 19694135 markings, 71143638 edges, 80525 markings/sec, 195 secs
lola: 20190856 markings, 73120795 edges, 99344 markings/sec, 200 secs
lola: 20638718 markings, 75105264 edges, 89572 markings/sec, 205 secs
lola: 21058223 markings, 77070699 edges, 83901 markings/sec, 210 secs
lola: 21431518 markings, 79130414 edges, 74659 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(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 571700 markings, 1572939 edges, 114340 markings/sec, 0 secs
lola: 1089905 markings, 3556185 edges, 103641 markings/sec, 5 secs
lola: 1593039 markings, 5606654 edges, 100627 markings/sec, 10 secs
lola: 2091470 markings, 7771402 edges, 99686 markings/sec, 15 secs
lola: 2590722 markings, 10003867 edges, 99850 markings/sec, 20 secs
lola: 3113694 markings, 11767941 edges, 104594 markings/sec, 25 secs
lola: 3590574 markings, 13571619 edges, 95376 markings/sec, 30 secs
lola: 4067622 markings, 15433030 edges, 95410 markings/sec, 35 secs
lola: 4525544 markings, 17208376 edges, 91584 markings/sec, 40 secs
lola: 4939269 markings, 19068184 edges, 82745 markings/sec, 45 secs
lola: 5356172 markings, 20724926 edges, 83381 markings/sec, 50 secs
lola: 5743431 markings, 22598508 edges, 77452 markings/sec, 55 secs
lola: 6137867 markings, 24283547 edges, 78887 markings/sec, 60 secs
lola: 6523663 markings, 25910815 edges, 77159 markings/sec, 65 secs
lola: 6907267 markings, 27912722 edges, 76721 markings/sec, 70 secs
lola: 7274948 markings, 29979323 edges, 73536 markings/sec, 75 secs
lola: 7646014 markings, 31958190 edges, 74213 markings/sec, 80 secs
lola: 8059012 markings, 33806327 edges, 82600 markings/sec, 85 secs
lola: 8480642 markings, 35361233 edges, 84326 markings/sec, 90 secs
lola: 8879649 markings, 37275421 edges, 79801 markings/sec, 95 secs
lola: 9268895 markings, 39221318 edges, 77849 markings/sec, 100 secs
lola: 9652536 markings, 41218929 edges, 76728 markings/sec, 105 secs
lola: 10022593 markings, 43343519 edges, 74011 markings/sec, 110 secs
lola: 10414249 markings, 45424881 edges, 78331 markings/sec, 115 secs
lola: 10780831 markings, 47675517 edges, 73316 markings/sec, 120 secs
lola: 11184376 markings, 49505736 edges, 80709 markings/sec, 125 secs
lola: 11583448 markings, 51320568 edges, 79814 markings/sec, 130 secs
lola: 11955123 markings, 53207653 edges, 74335 markings/sec, 135 secs
lola: 12355864 markings, 54966249 edges, 80148 markings/sec, 140 secs
lola: 12742750 markings, 56800926 edges, 77377 markings/sec, 145 secs
lola: 13113763 markings, 58828058 edges, 74203 markings/sec, 150 secs
lola: 13537243 markings, 60504127 edges, 84696 markings/sec, 155 secs
lola: 13931375 markings, 62288721 edges, 78826 markings/sec, 160 secs
lola: 14316286 markings, 64300468 edges, 76982 markings/sec, 165 secs
lola: 14690267 markings, 66498354 edges, 74796 markings/sec, 170 secs
lola: 15085639 markings, 68461034 edges, 79074 markings/sec, 175 secs
lola: 15458618 markings, 70299073 edges, 74596 markings/sec, 180 secs
lola: 15819597 markings, 72385734 edges, 72196 markings/sec, 185 secs
lola: 16200855 markings, 74292674 edges, 76252 markings/sec, 190 secs
lola: 16546347 markings, 76314122 edges, 69098 markings/sec, 195 secs
lola: 16934569 markings, 78156917 edges, 77644 markings/sec, 200 secs
lola: 17310344 markings, 79881002 edges, 75155 markings/sec, 205 secs
lola: 17690416 markings, 81635864 edges, 76014 markings/sec, 210 secs
lola: 18049660 markings, 83575808 edges, 71849 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A3)
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: 450398 markings, 1787352 edges, 90080 markings/sec, 0 secs
lola: 852560 markings, 3661009 edges, 80432 markings/sec, 5 secs
lola: 1234547 markings, 5532627 edges, 76397 markings/sec, 10 secs
lola: 1620435 markings, 7388698 edges, 77178 markings/sec, 15 secs
lola: 2000972 markings, 9287164 edges, 76107 markings/sec, 20 secs
lola: 2395123 markings, 11117072 edges, 78830 markings/sec, 25 secs
lola: 2754423 markings, 12984559 edges, 71860 markings/sec, 30 secs
lola: 3156548 markings, 14705595 edges, 80425 markings/sec, 35 secs
lola: 3544002 markings, 16526910 edges, 77491 markings/sec, 40 secs
lola: 3944645 markings, 18320892 edges, 80129 markings/sec, 45 secs
lola: 4317457 markings, 20308491 edges, 74562 markings/sec, 50 secs
lola: 4711325 markings, 22277231 edges, 78774 markings/sec, 55 secs
lola: 5098114 markings, 24136441 edges, 77358 markings/sec, 60 secs
lola: 5447331 markings, 25935520 edges, 69843 markings/sec, 65 secs
lola: 5818245 markings, 27855854 edges, 74183 markings/sec, 70 secs
lola: 6144409 markings, 29772703 edges, 65233 markings/sec, 75 secs
lola: 6511897 markings, 31407705 edges, 73498 markings/sec, 80 secs
lola: 6891783 markings, 33053128 edges, 75977 markings/sec, 85 secs
lola: 7262822 markings, 34840706 edges, 74208 markings/sec, 90 secs
lola: 7639785 markings, 36654891 edges, 75393 markings/sec, 95 secs
lola: 8004894 markings, 38530855 edges, 73022 markings/sec, 100 secs
lola: 8352862 markings, 40397289 edges, 69594 markings/sec, 105 secs
lola: 8699460 markings, 42221055 edges, 69320 markings/sec, 110 secs
lola: 9056800 markings, 44177798 edges, 71468 markings/sec, 115 secs
lola: 9383714 markings, 45985255 edges, 65383 markings/sec, 120 secs
lola: 9687938 markings, 47850069 edges, 60845 markings/sec, 125 secs
lola: 10034218 markings, 49647797 edges, 69256 markings/sec, 130 secs
lola: 10361503 markings, 51674098 edges, 65457 markings/sec, 135 secs
lola: 10697719 markings, 53532702 edges, 67243 markings/sec, 140 secs
lola: 11035537 markings, 55376329 edges, 67564 markings/sec, 145 secs
lola: 11372896 markings, 57235754 edges, 67472 markings/sec, 150 secs
lola: 11703385 markings, 59209224 edges, 66098 markings/sec, 155 secs
lola: 12054247 markings, 61038053 edges, 70172 markings/sec, 160 secs
lola: 12381171 markings, 62891104 edges, 65385 markings/sec, 165 secs
lola: 12691734 markings, 64873639 edges, 62113 markings/sec, 170 secs
lola: 13031175 markings, 66663976 edges, 67888 markings/sec, 175 secs
lola: 13392153 markings, 68486817 edges, 72196 markings/sec, 180 secs
lola: 13785466 markings, 70144093 edges, 78663 markings/sec, 185 secs
lola: 14170244 markings, 71837718 edges, 76956 markings/sec, 190 secs
lola: 14554926 markings, 73477772 edges, 76936 markings/sec, 195 secs
lola: 14935335 markings, 75230021 edges, 76082 markings/sec, 200 secs
lola: 15333895 markings, 76850102 edges, 79712 markings/sec, 205 secs
lola: 15729840 markings, 78522033 edges, 79189 markings/sec, 210 secs
lola: 16108749 markings, 80179023 edges, 75782 markings/sec, 215 secs
lola: 16502528 markings, 81764162 edges, 78756 markings/sec, 220 secs
lola: 16895589 markings, 83326248 edges, 78612 markings/sec, 225 secs
lola: 17248778 markings, 85270677 edges, 70638 markings/sec, 230 secs
lola: 17624979 markings, 87167797 edges, 75240 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 443448 markings, 1610148 edges, 88690 markings/sec, 0 secs
lola: 845628 markings, 3258533 edges, 80436 markings/sec, 5 secs
lola: 1252857 markings, 4849400 edges, 81446 markings/sec, 10 secs
lola: 1655585 markings, 6498235 edges, 80546 markings/sec, 15 secs
lola: 2055744 markings, 8074587 edges, 80032 markings/sec, 20 secs
lola: 2446593 markings, 9636259 edges, 78170 markings/sec, 25 secs
lola: 2827050 markings, 11386017 edges, 76091 markings/sec, 30 secs
lola: 3224083 markings, 13120483 edges, 79407 markings/sec, 35 secs
lola: 3623569 markings, 14811537 edges, 79897 markings/sec, 40 secs
lola: 4024168 markings, 16467005 edges, 80120 markings/sec, 45 secs
lola: 4411377 markings, 18037504 edges, 77442 markings/sec, 50 secs
lola: 4782933 markings, 19674097 edges, 74311 markings/sec, 55 secs
lola: 5174412 markings, 21244428 edges, 78296 markings/sec, 60 secs
lola: 5553835 markings, 23038208 edges, 75885 markings/sec, 65 secs
lola: 5970041 markings, 24656843 edges, 83241 markings/sec, 70 secs
lola: 6359883 markings, 26286781 edges, 77968 markings/sec, 75 secs
lola: 6757897 markings, 27856182 edges, 79603 markings/sec, 80 secs
lola: 7145691 markings, 29497368 edges, 77559 markings/sec, 85 secs
lola: 7538573 markings, 31040106 edges, 78576 markings/sec, 90 secs
lola: 7913229 markings, 32538914 edges, 74931 markings/sec, 95 secs
lola: 8287928 markings, 34318414 edges, 74940 markings/sec, 100 secs
lola: 8675963 markings, 36064654 edges, 77607 markings/sec, 105 secs
lola: 9058749 markings, 37776909 edges, 76557 markings/sec, 110 secs
lola: 9446599 markings, 39427987 edges, 77570 markings/sec, 115 secs
lola: 9841062 markings, 40958821 edges, 78893 markings/sec, 120 secs
lola: 10203595 markings, 42784687 edges, 72507 markings/sec, 125 secs
lola: 10590971 markings, 44351484 edges, 77475 markings/sec, 130 secs
lola: 10942246 markings, 46201641 edges, 70255 markings/sec, 135 secs
lola: 11305841 markings, 48048112 edges, 72719 markings/sec, 140 secs
lola: 11695304 markings, 49651680 edges, 77893 markings/sec, 145 secs
lola: 12051426 markings, 51676025 edges, 71224 markings/sec, 150 secs
lola: 12397090 markings, 53736783 edges, 69133 markings/sec, 155 secs
lola: 12743084 markings, 55791741 edges, 69199 markings/sec, 160 secs
lola: 13114787 markings, 57584557 edges, 74341 markings/sec, 165 secs
lola: 13450028 markings, 59683038 edges, 67048 markings/sec, 170 secs
lola: 13814504 markings, 61504982 edges, 72895 markings/sec, 175 secs
lola: 14185185 markings, 63375270 edges, 74136 markings/sec, 180 secs
lola: 14547705 markings, 65269401 edges, 72504 markings/sec, 185 secs
lola: 14921846 markings, 66979063 edges, 74828 markings/sec, 190 secs
lola: 15298673 markings, 68716694 edges, 75365 markings/sec, 195 secs
lola: 15643898 markings, 70802644 edges, 69045 markings/sec, 200 secs
lola: 15987210 markings, 72895096 edges, 68662 markings/sec, 205 secs
lola: 16360695 markings, 74766969 edges, 74697 markings/sec, 210 secs
lola: 16732599 markings, 76657931 edges, 74381 markings/sec, 215 secs
lola: 17119550 markings, 78408517 edges, 77390 markings/sec, 220 secs
lola: 17527774 markings, 80165487 edges, 81645 markings/sec, 225 secs
lola: 17930102 markings, 81872109 edges, 80466 markings/sec, 230 secs
lola: 18318708 markings, 83624298 edges, 77721 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A4)
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: 473151 markings, 1575911 edges, 94630 markings/sec, 0 secs
lola: 893803 markings, 3117233 edges, 84130 markings/sec, 5 secs
lola: 1309223 markings, 4838763 edges, 83084 markings/sec, 10 secs
lola: 1686638 markings, 6867629 edges, 75483 markings/sec, 15 secs
lola: 2083089 markings, 8547240 edges, 79290 markings/sec, 20 secs
lola: 2474573 markings, 10102773 edges, 78297 markings/sec, 25 secs
lola: 2827911 markings, 12005178 edges, 70668 markings/sec, 30 secs
lola: 3205687 markings, 13747707 edges, 75555 markings/sec, 35 secs
lola: 3584985 markings, 15287770 edges, 75860 markings/sec, 40 secs
lola: 3968106 markings, 16935977 edges, 76624 markings/sec, 45 secs
lola: 4321815 markings, 18801074 edges, 70742 markings/sec, 50 secs
lola: 4664929 markings, 20715126 edges, 68623 markings/sec, 55 secs
lola: 5034148 markings, 22472765 edges, 73844 markings/sec, 60 secs
lola: 5421321 markings, 24089982 edges, 77435 markings/sec, 65 secs
lola: 5809886 markings, 25966585 edges, 77713 markings/sec, 70 secs
lola: 6191313 markings, 27638817 edges, 76285 markings/sec, 75 secs
lola: 6549302 markings, 29250639 edges, 71598 markings/sec, 80 secs
lola: 6907595 markings, 30862068 edges, 71659 markings/sec, 85 secs
lola: 7345766 markings, 32529113 edges, 87634 markings/sec, 90 secs
lola: 7785029 markings, 34297000 edges, 87853 markings/sec, 95 secs
lola: 8231094 markings, 35790048 edges, 89213 markings/sec, 100 secs
lola: 8652668 markings, 37421203 edges, 84315 markings/sec, 105 secs
lola: 9076838 markings, 39280956 edges, 84834 markings/sec, 110 secs
lola: 9516313 markings, 40887065 edges, 87895 markings/sec, 115 secs
lola: 9951177 markings, 42637656 edges, 86973 markings/sec, 120 secs
lola: 10363392 markings, 44435290 edges, 82443 markings/sec, 125 secs
lola: 10745093 markings, 46497723 edges, 76340 markings/sec, 130 secs
lola: 11135492 markings, 48419551 edges, 78080 markings/sec, 135 secs
lola: 11514233 markings, 50560641 edges, 75748 markings/sec, 140 secs
lola: 11899660 markings, 52609701 edges, 77085 markings/sec, 145 secs
lola: 12276181 markings, 54565774 edges, 75304 markings/sec, 150 secs
lola: 12681946 markings, 56488958 edges, 81153 markings/sec, 155 secs
lola: 13076966 markings, 58504058 edges, 79004 markings/sec, 160 secs
lola: 13477170 markings, 60492698 edges, 80041 markings/sec, 165 secs
lola: 13815185 markings, 62613900 edges, 67603 markings/sec, 170 secs
lola: 14164012 markings, 64906142 edges, 69765 markings/sec, 175 secs
lola: 14510422 markings, 67119185 edges, 69282 markings/sec, 180 secs
lola: 14896794 markings, 69037008 edges, 77274 markings/sec, 185 secs
lola: 15289436 markings, 70752589 edges, 78528 markings/sec, 190 secs
lola: 15690988 markings, 72633889 edges, 80310 markings/sec, 195 secs
lola: 16095758 markings, 74702750 edges, 80954 markings/sec, 200 secs
lola: 16474239 markings, 76972947 edges, 75696 markings/sec, 205 secs
lola: 16865037 markings, 79194312 edges, 78160 markings/sec, 210 secs
lola: 17232980 markings, 81506191 edges, 73589 markings/sec, 215 secs
lola: 17591297 markings, 83785270 edges, 71663 markings/sec, 220 secs
lola: 17975349 markings, 85672737 edges, 76810 markings/sec, 225 secs
lola: 18300998 markings, 87502397 edges, 65130 markings/sec, 230 secs
lola: 18642156 markings, 89418537 edges, 68232 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A13)
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: 556726 markings, 1448291 edges, 111345 markings/sec, 0 secs
lola: 997498 markings, 2915751 edges, 88154 markings/sec, 5 secs
lola: 1492768 markings, 4428288 edges, 99054 markings/sec, 10 secs
lola: 1947673 markings, 5913790 edges, 90981 markings/sec, 15 secs
lola: 2471090 markings, 7508792 edges, 104683 markings/sec, 20 secs
lola: 3023508 markings, 9231019 edges, 110484 markings/sec, 25 secs
lola: 3538837 markings, 10885397 edges, 103066 markings/sec, 30 secs
lola: 4064305 markings, 12507472 edges, 105094 markings/sec, 35 secs
lola: 4640640 markings, 14134631 edges, 115267 markings/sec, 40 secs
lola: 5182920 markings, 15800089 edges, 108456 markings/sec, 45 secs
lola: 5613372 markings, 17538249 edges, 86090 markings/sec, 50 secs
lola: 6029731 markings, 19395545 edges, 83272 markings/sec, 55 secs
lola: 6504182 markings, 21192864 edges, 94890 markings/sec, 60 secs
lola: 7015507 markings, 22929911 edges, 102265 markings/sec, 65 secs
lola: 7544305 markings, 24625086 edges, 105760 markings/sec, 70 secs
lola: 8032719 markings, 26344404 edges, 97683 markings/sec, 75 secs
lola: 8555225 markings, 28030889 edges, 104501 markings/sec, 80 secs
lola: 9029441 markings, 29741312 edges, 94843 markings/sec, 85 secs
lola: 9475031 markings, 31584781 edges, 89118 markings/sec, 90 secs
lola: 9882924 markings, 33543904 edges, 81579 markings/sec, 95 secs
lola: 10355130 markings, 35288570 edges, 94441 markings/sec, 100 secs
lola: 10842218 markings, 36895032 edges, 97418 markings/sec, 105 secs
lola: 11276514 markings, 38529367 edges, 86859 markings/sec, 110 secs
lola: 11736491 markings, 40379969 edges, 91995 markings/sec, 115 secs
lola: 12209165 markings, 42221588 edges, 94535 markings/sec, 120 secs
lola: 12661476 markings, 44036414 edges, 90462 markings/sec, 125 secs
lola: 13113513 markings, 45714421 edges, 90407 markings/sec, 130 secs
lola: 13536206 markings, 47452264 edges, 84539 markings/sec, 135 secs
lola: 13994486 markings, 49402263 edges, 91656 markings/sec, 140 secs
lola: 14498188 markings, 51306780 edges, 100740 markings/sec, 145 secs
lola: 15007499 markings, 53138997 edges, 101862 markings/sec, 150 secs
lola: 15434135 markings, 55156383 edges, 85327 markings/sec, 155 secs
lola: 15901095 markings, 56975786 edges, 93392 markings/sec, 160 secs
lola: 16360626 markings, 58903272 edges, 91906 markings/sec, 165 secs
lola: 16803143 markings, 60640074 edges, 88503 markings/sec, 170 secs
lola: 17214616 markings, 62470291 edges, 82295 markings/sec, 175 secs
lola: 17636027 markings, 64463503 edges, 84282 markings/sec, 180 secs
lola: 18056898 markings, 66446465 edges, 84174 markings/sec, 185 secs
lola: 18509877 markings, 68417728 edges, 90596 markings/sec, 190 secs
lola: 18972256 markings, 70325712 edges, 92476 markings/sec, 195 secs
lola: 19458928 markings, 72321770 edges, 97334 markings/sec, 200 secs
lola: 19840877 markings, 74485690 edges, 76390 markings/sec, 205 secs
lola: 20289693 markings, 76425916 edges, 89763 markings/sec, 210 secs
lola: 20739718 markings, 78345055 edges, 90005 markings/sec, 215 secs
lola: 21139523 markings, 80403191 edges, 79961 markings/sec, 220 secs
lola: 21534880 markings, 82452007 edges, 79071 markings/sec, 225 secs
lola: 21934245 markings, 84410636 edges, 79873 markings/sec, 230 secs
lola: 22331100 markings, 86421539 edges, 79371 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B4)
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 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 485539 markings, 1774657 edges, 97108 markings/sec, 0 secs
lola: 924888 markings, 3470386 edges, 87870 markings/sec, 5 secs
lola: 1320559 markings, 5206637 edges, 79134 markings/sec, 10 secs
lola: 1718031 markings, 6864691 edges, 79494 markings/sec, 15 secs
lola: 2110707 markings, 8620427 edges, 78535 markings/sec, 20 secs
lola: 2564774 markings, 10290147 edges, 90813 markings/sec, 25 secs
lola: 2966309 markings, 12029851 edges, 80307 markings/sec, 30 secs
lola: 3353134 markings, 13749320 edges, 77365 markings/sec, 35 secs
lola: 3771043 markings, 15374198 edges, 83582 markings/sec, 40 secs
lola: 4150092 markings, 17131835 edges, 75810 markings/sec, 45 secs
lola: 4546978 markings, 18931863 edges, 79377 markings/sec, 50 secs
lola: 4926750 markings, 20842973 edges, 75954 markings/sec, 55 secs
lola: 5302430 markings, 22708263 edges, 75136 markings/sec, 60 secs
lola: 5724591 markings, 24384325 edges, 84432 markings/sec, 65 secs
lola: 6123452 markings, 26126790 edges, 79772 markings/sec, 70 secs
lola: 6522337 markings, 27836061 edges, 79777 markings/sec, 75 secs
lola: 6910553 markings, 29652147 edges, 77643 markings/sec, 80 secs
lola: 7315825 markings, 31539300 edges, 81054 markings/sec, 85 secs
lola: 7700899 markings, 33461281 edges, 77015 markings/sec, 90 secs
lola: 8089185 markings, 35382651 edges, 77657 markings/sec, 95 secs
lola: 8473748 markings, 37067516 edges, 76913 markings/sec, 100 secs
lola: 8872661 markings, 38901034 edges, 79783 markings/sec, 105 secs
lola: 9255506 markings, 41029136 edges, 76569 markings/sec, 110 secs
lola: 9642242 markings, 43139481 edges, 77347 markings/sec, 115 secs
lola: 10050902 markings, 45270736 edges, 81732 markings/sec, 120 secs
lola: 10447134 markings, 47232903 edges, 79246 markings/sec, 125 secs
lola: 10794806 markings, 49135652 edges, 69534 markings/sec, 130 secs
lola: 11144474 markings, 51134722 edges, 69934 markings/sec, 135 secs
lola: 11505558 markings, 53048549 edges, 72217 markings/sec, 140 secs
lola: 11884318 markings, 54866168 edges, 75752 markings/sec, 145 secs
lola: 12262769 markings, 57050819 edges, 75690 markings/sec, 150 secs
lola: 12618844 markings, 59220061 edges, 71215 markings/sec, 155 secs
lola: 12984417 markings, 61569770 edges, 73115 markings/sec, 160 secs
lola: 13342703 markings, 64051716 edges, 71657 markings/sec, 165 secs
lola: 13808300 markings, 65773929 edges, 93119 markings/sec, 170 secs
lola: 14212117 markings, 67582870 edges, 80763 markings/sec, 175 secs
lola: 14597234 markings, 69286937 edges, 77023 markings/sec, 180 secs
lola: 15001053 markings, 71020286 edges, 80764 markings/sec, 185 secs
lola: 15389023 markings, 72776764 edges, 77594 markings/sec, 190 secs
lola: 15745628 markings, 74577237 edges, 71321 markings/sec, 195 secs
lola: 16082881 markings, 76553216 edges, 67451 markings/sec, 200 secs
lola: 16461610 markings, 78253570 edges, 75746 markings/sec, 205 secs
lola: 16826053 markings, 80134384 edges, 72889 markings/sec, 210 secs
lola: 17184207 markings, 82012018 edges, 71631 markings/sec, 215 secs
lola: 17527611 markings, 84058809 edges, 68681 markings/sec, 220 secs
lola: 17882893 markings, 86085649 edges, 71056 markings/sec, 225 secs
lola: 18256215 markings, 88043017 edges, 74664 markings/sec, 230 secs
lola: 18630424 markings, 89930083 edges, 74842 markings/sec, 235 secs
lola: 19012964 markings, 91823159 edges, 76508 markings/sec, 240 secs
lola: 19354245 markings, 93603694 edges, 68256 markings/sec, 245 secs
lola: 19734702 markings, 95399733 edges, 76091 markings/sec, 250 secs
lola: 20101925 markings, 97262892 edges, 73445 markings/sec, 255 secs
lola: 20443681 markings, 99051454 edges, 68351 markings/sec, 260 secs
lola: 20788419 markings, 100760914 edges, 68948 markings/sec, 265 secs
lola: 21140954 markings, 102453692 edges, 70507 markings/sec, 270 secs
lola: 21473886 markings, 104301136 edges, 66586 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 428351 markings, 1752381 edges, 85670 markings/sec, 0 secs
lola: 834528 markings, 3587924 edges, 81235 markings/sec, 5 secs
lola: 1201504 markings, 5447455 edges, 73395 markings/sec, 10 secs
lola: 1578907 markings, 7322811 edges, 75481 markings/sec, 15 secs
lola: 1956316 markings, 9217531 edges, 75482 markings/sec, 20 secs
lola: 2332071 markings, 10991579 edges, 75151 markings/sec, 25 secs
lola: 2668318 markings, 12845541 edges, 67249 markings/sec, 30 secs
lola: 3063322 markings, 14495781 edges, 79001 markings/sec, 35 secs
lola: 3450976 markings, 16195607 edges, 77531 markings/sec, 40 secs
lola: 3827822 markings, 18073485 edges, 75369 markings/sec, 45 secs
lola: 4202504 markings, 19893159 edges, 74936 markings/sec, 50 secs
lola: 4578559 markings, 21779027 edges, 75211 markings/sec, 55 secs
lola: 4922018 markings, 23632323 edges, 68692 markings/sec, 60 secs
lola: 5287826 markings, 25329018 edges, 73162 markings/sec, 65 secs
lola: 5620733 markings, 27086925 edges, 66581 markings/sec, 70 secs
lola: 5939848 markings, 29050397 edges, 63823 markings/sec, 75 secs
lola: 6273897 markings, 30747353 edges, 66810 markings/sec, 80 secs
lola: 6621122 markings, 32401060 edges, 69445 markings/sec, 85 secs
lola: 6995711 markings, 34070503 edges, 74918 markings/sec, 90 secs
lola: 7349742 markings, 35808941 edges, 70806 markings/sec, 95 secs
lola: 7710450 markings, 37560192 edges, 72142 markings/sec, 100 secs
lola: 8058135 markings, 39264882 edges, 69537 markings/sec, 105 secs
lola: 8394900 markings, 40960021 edges, 67353 markings/sec, 110 secs
lola: 8700922 markings, 42847714 edges, 61204 markings/sec, 115 secs
lola: 9042454 markings, 44716497 edges, 68306 markings/sec, 120 secs
lola: 9353343 markings, 46447057 edges, 62178 markings/sec, 125 secs
lola: 9632973 markings, 48167277 edges, 55926 markings/sec, 130 secs
lola: 9953585 markings, 49861144 edges, 64122 markings/sec, 135 secs
lola: 10267609 markings, 51762369 edges, 62805 markings/sec, 140 secs
lola: 10575218 markings, 53604038 edges, 61522 markings/sec, 145 secs
lola: 10896437 markings, 55336977 edges, 64244 markings/sec, 150 secs
lola: 11224640 markings, 57045443 edges, 65641 markings/sec, 155 secs
lola: 11537722 markings, 58887348 edges, 62616 markings/sec, 160 secs
lola: 11857230 markings, 60763884 edges, 63902 markings/sec, 165 secs
lola: 12189420 markings, 62599501 edges, 66438 markings/sec, 170 secs
lola: 12511839 markings, 64427080 edges, 64484 markings/sec, 175 secs
lola: 12804559 markings, 66308889 edges, 58544 markings/sec, 180 secs
lola: 13140540 markings, 68107191 edges, 67196 markings/sec, 185 secs
lola: 13518441 markings, 69847838 edges, 75580 markings/sec, 190 secs
lola: 13895496 markings, 71546476 edges, 75411 markings/sec, 195 secs
lola: 14270950 markings, 73199656 edges, 75091 markings/sec, 200 secs
lola: 14652655 markings, 74832091 edges, 76341 markings/sec, 205 secs
lola: 15016257 markings, 76620611 edges, 72720 markings/sec, 210 secs
lola: 15420528 markings, 78220322 edges, 80854 markings/sec, 215 secs
lola: 15800259 markings, 79931971 edges, 75946 markings/sec, 220 secs
lola: 16171204 markings, 81569343 edges, 74189 markings/sec, 225 secs
lola: 16552479 markings, 83159373 edges, 76255 markings/sec, 230 secs
lola: 16941130 markings, 84701436 edges, 77730 markings/sec, 235 secs
lola: 17294467 markings, 86649680 edges, 70667 markings/sec, 240 secs
lola: 17660528 markings, 88531409 edges, 73212 markings/sec, 245 secs
lola: 18022642 markings, 90523082 edges, 72423 markings/sec, 250 secs
lola: 18372009 markings, 92460833 edges, 69873 markings/sec, 255 secs
lola: 18698940 markings, 94334777 edges, 65386 markings/sec, 260 secs
lola: 19026817 markings, 96249211 edges, 65575 markings/sec, 265 secs
lola: 19391460 markings, 98064660 edges, 72929 markings/sec, 270 secs
lola: 19722939 markings, 100239955 edges, 66296 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 282 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: 483644 markings, 1747254 edges, 96729 markings/sec, 0 secs
lola: 949499 markings, 3444146 edges, 93171 markings/sec, 5 secs
lola: 1598525 markings, 5030178 edges, 129805 markings/sec, 10 secs
lola: 2175640 markings, 6968586 edges, 115423 markings/sec, 15 secs
lola: 2719349 markings, 8923801 edges, 108742 markings/sec, 20 secs
lola: 3224973 markings, 10881014 edges, 101125 markings/sec, 25 secs
lola: 3705026 markings, 12839767 edges, 96011 markings/sec, 30 secs
lola: 4164528 markings, 14575318 edges, 91900 markings/sec, 35 secs
lola: 4591520 markings, 16284775 edges, 85398 markings/sec, 40 secs
lola: 4978411 markings, 18079568 edges, 77378 markings/sec, 45 secs
lola: 5368073 markings, 19925987 edges, 77932 markings/sec, 50 secs
lola: 5750266 markings, 21662694 edges, 76439 markings/sec, 55 secs
lola: 6250100 markings, 23304914 edges, 99967 markings/sec, 60 secs
lola: 6695856 markings, 25184973 edges, 89151 markings/sec, 65 secs
lola: 7076186 markings, 27080681 edges, 76066 markings/sec, 70 secs
lola: 7572822 markings, 28880342 edges, 99327 markings/sec, 75 secs
lola: 7987734 markings, 30824384 edges, 82982 markings/sec, 80 secs
lola: 8458824 markings, 32486196 edges, 94218 markings/sec, 85 secs
lola: 8955632 markings, 34210647 edges, 99362 markings/sec, 90 secs
lola: 9504877 markings, 35981772 edges, 109849 markings/sec, 95 secs
lola: 9975185 markings, 38014723 edges, 94062 markings/sec, 100 secs
lola: 10399637 markings, 39880493 edges, 84890 markings/sec, 105 secs
lola: 10777471 markings, 41625882 edges, 75567 markings/sec, 110 secs
lola: 11266864 markings, 43314366 edges, 97879 markings/sec, 115 secs
lola: 11708411 markings, 44895511 edges, 88309 markings/sec, 120 secs
lola: 12285278 markings, 46588566 edges, 115373 markings/sec, 125 secs
lola: 12835109 markings, 48326136 edges, 109966 markings/sec, 130 secs
lola: 13382468 markings, 50048997 edges, 109472 markings/sec, 135 secs
lola: 13985427 markings, 51656389 edges, 120592 markings/sec, 140 secs
lola: 14476221 markings, 53519305 edges, 98159 markings/sec, 145 secs
lola: 15013279 markings, 55470595 edges, 107412 markings/sec, 150 secs
lola: 15536042 markings, 57427260 edges, 104553 markings/sec, 155 secs
lola: 16001138 markings, 59482341 edges, 93019 markings/sec, 160 secs
lola: 16495105 markings, 61445548 edges, 98793 markings/sec, 165 secs
lola: 16963235 markings, 63640258 edges, 93626 markings/sec, 170 secs
lola: 17424576 markings, 65427510 edges, 92268 markings/sec, 175 secs
lola: 17887330 markings, 67148728 edges, 92551 markings/sec, 180 secs
lola: 18292054 markings, 68959926 edges, 80945 markings/sec, 185 secs
lola: 18682140 markings, 70807195 edges, 78017 markings/sec, 190 secs
lola: 19062680 markings, 72515378 edges, 76108 markings/sec, 195 secs
lola: 19575052 markings, 74230812 edges, 102474 markings/sec, 200 secs
lola: 20011074 markings, 76072586 edges, 87204 markings/sec, 205 secs
lola: 20483927 markings, 77890355 edges, 94571 markings/sec, 210 secs
lola: 20927110 markings, 79639454 edges, 88637 markings/sec, 215 secs
lola: 21288387 markings, 81371893 edges, 72255 markings/sec, 220 secs
lola: 21746755 markings, 83058361 edges, 91674 markings/sec, 225 secs
lola: 22097888 markings, 84793642 edges, 70227 markings/sec, 230 secs
lola: 22699348 markings, 86453864 edges, 120292 markings/sec, 235 secs
lola: 23333549 markings, 88074300 edges, 126840 markings/sec, 240 secs
lola: 23919354 markings, 89885102 edges, 117161 markings/sec, 245 secs
lola: 24438953 markings, 91846166 edges, 103920 markings/sec, 250 secs
lola: 24953011 markings, 93941791 edges, 102812 markings/sec, 255 secs
lola: 25380041 markings, 95927239 edges, 85406 markings/sec, 260 secs
lola: 25823617 markings, 97967699 edges, 88715 markings/sec, 265 secs
lola: 26252284 markings, 99813206 edges, 85733 markings/sec, 270 secs
lola: 26637213 markings, 101637957 edges, 76986 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
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: 505245 markings, 1634344 edges, 101049 markings/sec, 0 secs
lola: 1159877 markings, 3245135 edges, 130926 markings/sec, 5 secs
lola: 1698209 markings, 5227629 edges, 107666 markings/sec, 10 secs
lola: 2215201 markings, 7223624 edges, 103398 markings/sec, 15 secs
lola: 2748444 markings, 9046757 edges, 106649 markings/sec, 20 secs
lola: 3234708 markings, 10877602 edges, 97253 markings/sec, 25 secs
lola: 3681113 markings, 12695825 edges, 89281 markings/sec, 30 secs
lola: 4104212 markings, 14663690 edges, 84620 markings/sec, 35 secs
lola: 4529948 markings, 16504619 edges, 85147 markings/sec, 40 secs
lola: 4939982 markings, 18280769 edges, 82007 markings/sec, 45 secs
lola: 5353372 markings, 20146379 edges, 82678 markings/sec, 50 secs
lola: 5766643 markings, 21878748 edges, 82654 markings/sec, 55 secs
lola: 6230342 markings, 23661523 edges, 92740 markings/sec, 60 secs
lola: 6640317 markings, 25347914 edges, 81995 markings/sec, 65 secs
lola: 7130442 markings, 27175951 edges, 98025 markings/sec, 70 secs
lola: 7489959 markings, 29102191 edges, 71903 markings/sec, 75 secs
lola: 7934393 markings, 30951662 edges, 88887 markings/sec, 80 secs
lola: 8457375 markings, 32698781 edges, 104596 markings/sec, 85 secs
lola: 8989209 markings, 34501272 edges, 106367 markings/sec, 90 secs
lola: 9470912 markings, 36331855 edges, 96341 markings/sec, 95 secs
lola: 9892597 markings, 37989516 edges, 84337 markings/sec, 100 secs
lola: 10399373 markings, 39600747 edges, 101355 markings/sec, 105 secs
lola: 10814825 markings, 41297947 edges, 83090 markings/sec, 110 secs
lola: 11318868 markings, 42959052 edges, 100809 markings/sec, 115 secs
lola: 11898202 markings, 44705218 edges, 115867 markings/sec, 120 secs
lola: 12468708 markings, 46443369 edges, 114101 markings/sec, 125 secs
lola: 13154873 markings, 48175840 edges, 137233 markings/sec, 130 secs
lola: 13784305 markings, 49964691 edges, 125886 markings/sec, 135 secs
lola: 14219682 markings, 51994472 edges, 87075 markings/sec, 140 secs
lola: 14727345 markings, 54014235 edges, 101533 markings/sec, 145 secs
lola: 15256765 markings, 56056612 edges, 105884 markings/sec, 150 secs
lola: 15687080 markings, 58065306 edges, 86063 markings/sec, 155 secs
lola: 16077453 markings, 60023684 edges, 78075 markings/sec, 160 secs
lola: 16575693 markings, 61996402 edges, 99648 markings/sec, 165 secs
lola: 17145855 markings, 63953988 edges, 114032 markings/sec, 170 secs
lola: 17681670 markings, 65953913 edges, 107163 markings/sec, 175 secs
lola: 18118033 markings, 67686145 edges, 87273 markings/sec, 180 secs
lola: 18548460 markings, 69505025 edges, 86085 markings/sec, 185 secs
lola: 18948441 markings, 71334513 edges, 79996 markings/sec, 190 secs
lola: 19355157 markings, 73217879 edges, 81343 markings/sec, 195 secs
lola: 19803676 markings, 74877530 edges, 89704 markings/sec, 200 secs
lola: 20213774 markings, 76650711 edges, 82020 markings/sec, 205 secs
lola: 20722662 markings, 78387190 edges, 101778 markings/sec, 210 secs
lola: 21100566 markings, 80242494 edges, 75581 markings/sec, 215 secs
lola: 21534908 markings, 81875995 edges, 86868 markings/sec, 220 secs
lola: 22038685 markings, 83501580 edges, 100755 markings/sec, 225 secs
lola: 22672740 markings, 85186482 edges, 126811 markings/sec, 230 secs
lola: 23288983 markings, 86900202 edges, 123249 markings/sec, 235 secs
lola: 23823263 markings, 88885527 edges, 106856 markings/sec, 240 secs
lola: 24245704 markings, 90799443 edges, 84488 markings/sec, 245 secs
lola: 24778609 markings, 92711106 edges, 106581 markings/sec, 250 secs
lola: 25235746 markings, 94766707 edges, 91427 markings/sec, 255 secs
lola: 25670063 markings, 96798768 edges, 86863 markings/sec, 260 secs
lola: 26089239 markings, 98810999 edges, 83835 markings/sec, 265 secs
lola: 26492345 markings, 100664542 edges, 80621 markings/sec, 270 secs
lola: 26881573 markings, 102496631 edges, 77846 markings/sec, 275 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 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 572715 markings, 1578491 edges, 114543 markings/sec, 0 secs
lola: 1090906 markings, 3559353 edges, 103638 markings/sec, 5 secs
lola: 1593733 markings, 5609001 edges, 100565 markings/sec, 10 secs
lola: 2092826 markings, 7775802 edges, 99819 markings/sec, 15 secs
lola: 2591831 markings, 10007053 edges, 99801 markings/sec, 20 secs
lola: 3120848 markings, 11799143 edges, 105803 markings/sec, 25 secs
lola: 3608390 markings, 13638041 edges, 97508 markings/sec, 30 secs
lola: 4090447 markings, 15541946 edges, 96411 markings/sec, 35 secs
lola: 4548294 markings, 17303784 edges, 91569 markings/sec, 40 secs
lola: 4967451 markings, 19179464 edges, 83831 markings/sec, 45 secs
lola: 5383547 markings, 20841995 edges, 83219 markings/sec, 50 secs
lola: 5770768 markings, 22705255 edges, 77444 markings/sec, 55 secs
lola: 6167651 markings, 24428375 edges, 79377 markings/sec, 60 secs
lola: 6557444 markings, 26064602 edges, 77959 markings/sec, 65 secs
lola: 6942491 markings, 28120245 edges, 77009 markings/sec, 70 secs
lola: 7320190 markings, 30219006 edges, 75540 markings/sec, 75 secs
lola: 7692236 markings, 32196559 edges, 74409 markings/sec, 80 secs
lola: 8119515 markings, 33966686 edges, 85456 markings/sec, 85 secs
lola: 8533029 markings, 35619990 edges, 82703 markings/sec, 90 secs
lola: 8936558 markings, 37596102 edges, 80706 markings/sec, 95 secs
lola: 9332535 markings, 39617742 edges, 79195 markings/sec, 100 secs
lola: 9724287 markings, 41598481 edges, 78350 markings/sec, 105 secs
lola: 10093528 markings, 43825547 edges, 73848 markings/sec, 110 secs
lola: 10492024 markings, 45914482 edges, 79699 markings/sec, 115 secs
lola: 10869007 markings, 48118502 edges, 75397 markings/sec, 120 secs
lola: 11273147 markings, 49960279 edges, 80828 markings/sec, 125 secs
lola: 11686288 markings, 51820844 edges, 82628 markings/sec, 130 secs
lola: 12065386 markings, 53687079 edges, 75820 markings/sec, 135 secs
lola: 12464520 markings, 55443381 edges, 79827 markings/sec, 140 secs
lola: 12859174 markings, 57410814 edges, 78931 markings/sec, 145 secs
lola: 13256406 markings, 59338244 edges, 79446 markings/sec, 150 secs
lola: 13673658 markings, 60976174 edges, 83450 markings/sec, 155 secs
lola: 14058476 markings, 62922894 edges, 76964 markings/sec, 160 secs
lola: 14432966 markings, 65059743 edges, 74898 markings/sec, 165 secs
lola: 14810903 markings, 67249616 edges, 75587 markings/sec, 170 secs
lola: 15218916 markings, 69060578 edges, 81603 markings/sec, 175 secs
lola: 15589224 markings, 71020635 edges, 74062 markings/sec, 180 secs
lola: 15953208 markings, 73155633 edges, 72797 markings/sec, 185 secs
lola: 16330243 markings, 75024550 edges, 75407 markings/sec, 190 secs
lola: 16687477 markings, 77084095 edges, 71447 markings/sec, 195 secs
lola: 17069135 markings, 78896541 edges, 76332 markings/sec, 200 secs
lola: 17461701 markings, 80471643 edges, 78513 markings/sec, 205 secs
lola: 17828628 markings, 82401060 edges, 73385 markings/sec, 210 secs
lola: 18181523 markings, 84351946 edges, 70579 markings/sec, 215 secs
lola: 18525332 markings, 86511267 edges, 68762 markings/sec, 220 secs
lola: 18869586 markings, 88659154 edges, 68851 markings/sec, 225 secs
lola: 19247369 markings, 90463618 edges, 75557 markings/sec, 230 secs
lola: 19595168 markings, 92352883 edges, 69560 markings/sec, 235 secs
lola: 19929194 markings, 94426046 edges, 66805 markings/sec, 240 secs
lola: 20270412 markings, 96351104 edges, 68244 markings/sec, 245 secs
lola: 20598068 markings, 98425440 edges, 65531 markings/sec, 250 secs
lola: 20928866 markings, 100532383 edges, 66160 markings/sec, 255 secs
lola: 21268453 markings, 102713034 edges, 67917 markings/sec, 260 secs
lola: 21678165 markings, 104827184 edges, 81942 markings/sec, 265 secs
lola: 22139167 markings, 106907323 edges, 92200 markings/sec, 270 secs
lola: 22545392 markings, 108621167 edges, 81245 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 281 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: 477179 markings, 1727925 edges, 95436 markings/sec, 0 secs
lola: 938945 markings, 3413828 edges, 92353 markings/sec, 5 secs
lola: 1583805 markings, 4996835 edges, 128972 markings/sec, 10 secs
lola: 2162092 markings, 6904053 edges, 115657 markings/sec, 15 secs
lola: 2700740 markings, 8864270 edges, 107730 markings/sec, 20 secs
lola: 3205911 markings, 10804379 edges, 101034 markings/sec, 25 secs
lola: 3688672 markings, 12773350 edges, 96552 markings/sec, 30 secs
lola: 4146796 markings, 14471769 edges, 91625 markings/sec, 35 secs
lola: 4569952 markings, 16191379 edges, 84631 markings/sec, 40 secs
lola: 4956722 markings, 17952777 edges, 77354 markings/sec, 45 secs
lola: 5341315 markings, 19782040 edges, 76919 markings/sec, 50 secs
lola: 5719985 markings, 21528661 edges, 75734 markings/sec, 55 secs
lola: 6214721 markings, 23145190 edges, 98947 markings/sec, 60 secs
lola: 6663514 markings, 25019262 edges, 89759 markings/sec, 65 secs
lola: 7044942 markings, 26919154 edges, 76286 markings/sec, 70 secs
lola: 7538021 markings, 28696475 edges, 98616 markings/sec, 75 secs
lola: 7931420 markings, 30656167 edges, 78680 markings/sec, 80 secs
lola: 8422062 markings, 32324995 edges, 98128 markings/sec, 85 secs
lola: 8898834 markings, 34049373 edges, 95354 markings/sec, 90 secs
lola: 9450217 markings, 35809113 edges, 110277 markings/sec, 95 secs
lola: 9932825 markings, 37798815 edges, 96522 markings/sec, 100 secs
lola: 10352434 markings, 39717617 edges, 83922 markings/sec, 105 secs
lola: 10742294 markings, 41454081 edges, 77972 markings/sec, 110 secs
lola: 11228261 markings, 43125940 edges, 97193 markings/sec, 115 secs
lola: 11668462 markings, 44692420 edges, 88040 markings/sec, 120 secs
lola: 12218722 markings, 46397519 edges, 110052 markings/sec, 125 secs
lola: 12766521 markings, 48135321 edges, 109560 markings/sec, 130 secs
lola: 13315044 markings, 49878506 edges, 109705 markings/sec, 135 secs
lola: 13918996 markings, 51481941 edges, 120790 markings/sec, 140 secs
lola: 14435906 markings, 53311246 edges, 103382 markings/sec, 145 secs
lola: 14950737 markings, 55279517 edges, 102966 markings/sec, 150 secs
lola: 15499968 markings, 57201347 edges, 109846 markings/sec, 155 secs
lola: 15946456 markings, 59232767 edges, 89298 markings/sec, 160 secs
lola: 16437066 markings, 61234752 edges, 98122 markings/sec, 165 secs
lola: 16907203 markings, 63419387 edges, 94027 markings/sec, 170 secs
lola: 17381812 markings, 65247873 edges, 94922 markings/sec, 175 secs
lola: 17846981 markings, 66941364 edges, 93034 markings/sec, 180 secs
lola: 18246705 markings, 68755612 edges, 79945 markings/sec, 185 secs
lola: 18637513 markings, 70557158 edges, 78162 markings/sec, 190 secs
lola: 19014750 markings, 72281739 edges, 75447 markings/sec, 195 secs
lola: 19500997 markings, 73949360 edges, 97249 markings/sec, 200 secs
lola: 19950876 markings, 75711683 edges, 89976 markings/sec, 205 secs
lola: 20400731 markings, 77544683 edges, 89971 markings/sec, 210 secs
lola: 20838695 markings, 79299095 edges, 87593 markings/sec, 215 secs
lola: 21221303 markings, 81079671 edges, 76522 markings/sec, 220 secs
lola: 21667653 markings, 82757997 edges, 89270 markings/sec, 225 secs
lola: 22045201 markings, 84525964 edges, 75510 markings/sec, 230 secs
lola: 22595375 markings, 86203661 edges, 110035 markings/sec, 235 secs
lola: 23240577 markings, 87808203 edges, 129040 markings/sec, 240 secs
lola: 23825590 markings, 89617693 edges, 117003 markings/sec, 245 secs
lola: 24364374 markings, 91545213 edges, 107757 markings/sec, 250 secs
lola: 24875483 markings, 93603504 edges, 102222 markings/sec, 255 secs
lola: 25320908 markings, 95610305 edges, 89085 markings/sec, 260 secs
lola: 25761249 markings, 97646763 edges, 88068 markings/sec, 265 secs
lola: 26191702 markings, 99568488 edges, 86091 markings/sec, 270 secs
lola: 26578367 markings, 101417558 edges, 77333 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496344060120
--------------------
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-12ringLLLarge"
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-12ringLLLarge.tgz
mv S_DNAwalker-PT-12ringLLLarge 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-12ringLLLarge, 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-149441612100101"
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 '
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 ;