fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r108-blw3-149441612000056
Last Updated
June 27, 2017

About the Execution of LoLA for S_DNAwalker-PT-07track28RR

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3944.450 3540169.00 3547634.00 1402.60 ? ? ? ? ? 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-07track28RR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612000056
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496334629206


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-07track28RR: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-07track28RR @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-07track28RR-UpperBounds.task
lola: MAX(A9) : MAX(A27) : MAX(A6) : MAX(A1) : MAX(A18) : MAX(A1) : MAX(A8) : MAX(A3) : MAX(A8) : MAX(A27) : MAX(A2) : MAX(A18) : MAX(A19) : MAX(B23) : MAX(A25) : MAX(A13)
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 136 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: 810296 markings, 2188316 edges, 162059 markings/sec, 0 secs
lola: 1559066 markings, 4553612 edges, 149754 markings/sec, 5 secs
lola: 2269552 markings, 7275442 edges, 142097 markings/sec, 10 secs
lola: 2967634 markings, 9608352 edges, 139616 markings/sec, 15 secs
lola: 3682230 markings, 12088496 edges, 142919 markings/sec, 20 secs
lola: 4319885 markings, 14627001 edges, 127531 markings/sec, 25 secs
lola: 4866255 markings, 17050602 edges, 109274 markings/sec, 30 secs
lola: 5481452 markings, 19633771 edges, 123039 markings/sec, 35 secs
lola: 6087173 markings, 22149651 edges, 121144 markings/sec, 40 secs
lola: 6710282 markings, 24656155 edges, 124622 markings/sec, 45 secs
lola: 7363391 markings, 27068259 edges, 130622 markings/sec, 50 secs
lola: 8014483 markings, 29499644 edges, 130218 markings/sec, 55 secs
lola: 8646501 markings, 32035561 edges, 126404 markings/sec, 60 secs
lola: 9294012 markings, 34574019 edges, 129502 markings/sec, 65 secs
lola: 9941400 markings, 37043911 edges, 129478 markings/sec, 70 secs
lola: 10552423 markings, 39777181 edges, 122205 markings/sec, 75 secs
lola: 11140475 markings, 42646027 edges, 117610 markings/sec, 80 secs
lola: 11741434 markings, 45480665 edges, 120192 markings/sec, 85 secs
lola: 12342936 markings, 48314449 edges, 120300 markings/sec, 90 secs
lola: 12934773 markings, 51232291 edges, 118367 markings/sec, 95 secs
lola: 13507026 markings, 54201704 edges, 114451 markings/sec, 100 secs
lola: 14084221 markings, 57388924 edges, 115439 markings/sec, 105 secs
lola: 14672281 markings, 60303301 edges, 117612 markings/sec, 110 secs
lola: 15275688 markings, 63182578 edges, 120681 markings/sec, 115 secs
lola: 15863982 markings, 66062364 edges, 117659 markings/sec, 120 secs
lola: 16441482 markings, 68892899 edges, 115500 markings/sec, 125 secs
lola: 17041187 markings, 71818006 edges, 119941 markings/sec, 130 secs
lola: 17622758 markings, 75079033 edges, 116314 markings/sec, 135 secs
lola: 18242115 markings, 78162171 edges, 123871 markings/sec, 140 secs
lola: 18878988 markings, 81151680 edges, 127375 markings/sec, 145 secs
lola: 19487634 markings, 84033591 edges, 121729 markings/sec, 150 secs
lola: 20051383 markings, 87084282 edges, 112750 markings/sec, 155 secs
lola: 20587692 markings, 90140039 edges, 107262 markings/sec, 160 secs
lola: 21120108 markings, 93109248 edges, 106483 markings/sec, 165 secs
lola: 21690061 markings, 95951846 edges, 113991 markings/sec, 170 secs
lola: 22244052 markings, 98881386 edges, 110798 markings/sec, 175 secs
lola: 22803927 markings, 101877117 edges, 111975 markings/sec, 180 secs
lola: 23334184 markings, 105077469 edges, 106051 markings/sec, 185 secs
lola: 23873281 markings, 108250291 edges, 107819 markings/sec, 190 secs
lola: 24386480 markings, 111615068 edges, 102640 markings/sec, 195 secs
lola: 24905419 markings, 114828811 edges, 103788 markings/sec, 200 secs
lola: 25428982 markings, 118017286 edges, 104713 markings/sec, 205 secs
lola: 25957134 markings, 121267103 edges, 105630 markings/sec, 210 secs
lola: 26534425 markings, 124364453 edges, 115458 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(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 872886 markings, 2237964 edges, 174577 markings/sec, 0 secs
lola: 1615059 markings, 4499069 edges, 148435 markings/sec, 5 secs
lola: 2448355 markings, 6741165 edges, 166659 markings/sec, 10 secs
lola: 3400133 markings, 8987854 edges, 190356 markings/sec, 15 secs
lola: 4319317 markings, 11308513 edges, 183837 markings/sec, 20 secs
lola: 5042135 markings, 13603866 edges, 144564 markings/sec, 25 secs
lola: 5750946 markings, 15869224 edges, 141762 markings/sec, 30 secs
lola: 6459641 markings, 18302338 edges, 141739 markings/sec, 35 secs
lola: 7023787 markings, 20773094 edges, 112829 markings/sec, 40 secs
lola: 7558888 markings, 23144136 edges, 107020 markings/sec, 45 secs
lola: 8092156 markings, 25557022 edges, 106654 markings/sec, 50 secs
lola: 8599257 markings, 27879492 edges, 101420 markings/sec, 55 secs
lola: 9125256 markings, 30344865 edges, 105200 markings/sec, 60 secs
lola: 9653728 markings, 32782856 edges, 105694 markings/sec, 65 secs
lola: 10177238 markings, 35196153 edges, 104702 markings/sec, 70 secs
lola: 10704408 markings, 37503764 edges, 105434 markings/sec, 75 secs
lola: 11211966 markings, 39823005 edges, 101512 markings/sec, 80 secs
lola: 11848032 markings, 42063021 edges, 127213 markings/sec, 85 secs
lola: 12604163 markings, 44280382 edges, 151226 markings/sec, 90 secs
lola: 13381793 markings, 46626478 edges, 155526 markings/sec, 95 secs
lola: 14066110 markings, 48921948 edges, 136863 markings/sec, 100 secs
lola: 14684841 markings, 51180405 edges, 123746 markings/sec, 105 secs
lola: 15245690 markings, 53514300 edges, 112170 markings/sec, 110 secs
lola: 15746330 markings, 55783544 edges, 100128 markings/sec, 115 secs
lola: 16226778 markings, 58034310 edges, 96090 markings/sec, 120 secs
lola: 16734946 markings, 60256399 edges, 101634 markings/sec, 125 secs
lola: 17219704 markings, 62458612 edges, 96952 markings/sec, 130 secs
lola: 17788980 markings, 64654197 edges, 113855 markings/sec, 135 secs
lola: 18499746 markings, 66901579 edges, 142153 markings/sec, 140 secs
lola: 19324254 markings, 69236291 edges, 164902 markings/sec, 145 secs
lola: 20079809 markings, 71630914 edges, 151111 markings/sec, 150 secs
lola: 20781212 markings, 74021981 edges, 140281 markings/sec, 155 secs
lola: 21386897 markings, 76275753 edges, 121137 markings/sec, 160 secs
lola: 21977465 markings, 78724334 edges, 118114 markings/sec, 165 secs
lola: 22478108 markings, 81051413 edges, 100129 markings/sec, 170 secs
lola: 22960964 markings, 83304077 edges, 96571 markings/sec, 175 secs
lola: 23452853 markings, 85630618 edges, 98378 markings/sec, 180 secs
lola: 23921015 markings, 87953260 edges, 93632 markings/sec, 185 secs
lola: 24438794 markings, 90163786 edges, 103556 markings/sec, 190 secs
lola: 24956411 markings, 92413662 edges, 103523 markings/sec, 195 secs
lola: 25682420 markings, 94614805 edges, 145202 markings/sec, 200 secs
lola: 26492696 markings, 96850840 edges, 162055 markings/sec, 205 secs
lola: 27255826 markings, 99273081 edges, 152626 markings/sec, 210 secs
lola: 27861488 markings, 101458497 edges, 121132 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(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 677448 markings, 2260085 edges, 135490 markings/sec, 0 secs
lola: 1307336 markings, 4621643 edges, 125978 markings/sec, 5 secs
lola: 1961512 markings, 6964535 edges, 130835 markings/sec, 10 secs
lola: 2606612 markings, 9468677 edges, 129020 markings/sec, 15 secs
lola: 3210725 markings, 12255705 edges, 120823 markings/sec, 20 secs
lola: 3811228 markings, 15150590 edges, 120101 markings/sec, 25 secs
lola: 4399522 markings, 18058702 edges, 117659 markings/sec, 30 secs
lola: 4974135 markings, 20946734 edges, 114923 markings/sec, 35 secs
lola: 5515083 markings, 24135224 edges, 108190 markings/sec, 40 secs
lola: 6118271 markings, 26955901 edges, 120638 markings/sec, 45 secs
lola: 6754777 markings, 29399024 edges, 127301 markings/sec, 50 secs
lola: 7375234 markings, 31973191 edges, 124091 markings/sec, 55 secs
lola: 7950645 markings, 34858147 edges, 115082 markings/sec, 60 secs
lola: 8492252 markings, 37912557 edges, 108321 markings/sec, 65 secs
lola: 9037660 markings, 41000882 edges, 109082 markings/sec, 70 secs
lola: 9577998 markings, 44104830 edges, 108068 markings/sec, 75 secs
lola: 10080373 markings, 47383412 edges, 100475 markings/sec, 80 secs
lola: 10707311 markings, 49949304 edges, 125388 markings/sec, 85 secs
lola: 11238766 markings, 53001075 edges, 106291 markings/sec, 90 secs
lola: 11778672 markings, 56092519 edges, 107981 markings/sec, 95 secs
lola: 12369895 markings, 58857578 edges, 118245 markings/sec, 100 secs
lola: 12953066 markings, 61554720 edges, 116634 markings/sec, 105 secs
lola: 13494120 markings, 64576459 edges, 108211 markings/sec, 110 secs
lola: 14042471 markings, 67656600 edges, 109670 markings/sec, 115 secs
lola: 14613525 markings, 70448830 edges, 114211 markings/sec, 120 secs
lola: 15159007 markings, 73506979 edges, 109096 markings/sec, 125 secs
lola: 15751851 markings, 75978744 edges, 118569 markings/sec, 130 secs
lola: 16356236 markings, 78441323 edges, 120877 markings/sec, 135 secs
lola: 16883735 markings, 81284132 edges, 105500 markings/sec, 140 secs
lola: 17401189 markings, 84201668 edges, 103491 markings/sec, 145 secs
lola: 17893891 markings, 87369445 edges, 98540 markings/sec, 150 secs
lola: 18418863 markings, 90248812 edges, 104994 markings/sec, 155 secs
lola: 18983514 markings, 93010005 edges, 112930 markings/sec, 160 secs
lola: 19518300 markings, 95913233 edges, 106957 markings/sec, 165 secs
lola: 20194418 markings, 98322877 edges, 135224 markings/sec, 170 secs
lola: 20859215 markings, 100734248 edges, 132959 markings/sec, 175 secs
lola: 21500316 markings, 103066867 edges, 128220 markings/sec, 180 secs
lola: 22127878 markings, 105461106 edges, 125512 markings/sec, 185 secs
lola: 22752154 markings, 107853525 edges, 124855 markings/sec, 190 secs
lola: 23320064 markings, 110606507 edges, 113582 markings/sec, 195 secs
lola: 23873789 markings, 113217993 edges, 110745 markings/sec, 200 secs
lola: 24424640 markings, 115758790 edges, 110170 markings/sec, 205 secs
lola: 25035378 markings, 118291691 edges, 122148 markings/sec, 210 secs
lola: 25695426 markings, 120935698 edges, 132010 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(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 692841 markings, 2676965 edges, 138568 markings/sec, 0 secs
lola: 1367286 markings, 5515840 edges, 134889 markings/sec, 5 secs
lola: 2065963 markings, 8208270 edges, 139735 markings/sec, 10 secs
lola: 2749684 markings, 10889228 edges, 136744 markings/sec, 15 secs
lola: 3423022 markings, 13567168 edges, 134668 markings/sec, 20 secs
lola: 4054610 markings, 16478714 edges, 126318 markings/sec, 25 secs
lola: 4708877 markings, 19265342 edges, 130853 markings/sec, 30 secs
lola: 5342161 markings, 22185697 edges, 126657 markings/sec, 35 secs
lola: 5964951 markings, 25321643 edges, 124558 markings/sec, 40 secs
lola: 6576179 markings, 28525529 edges, 122246 markings/sec, 45 secs
lola: 7150370 markings, 31583865 edges, 114838 markings/sec, 50 secs
lola: 7762050 markings, 34390013 edges, 122336 markings/sec, 55 secs
lola: 8264847 markings, 37022304 edges, 100559 markings/sec, 60 secs
lola: 8768082 markings, 39748584 edges, 100647 markings/sec, 65 secs
lola: 9225543 markings, 42677627 edges, 91492 markings/sec, 70 secs
lola: 9774758 markings, 45865611 edges, 109843 markings/sec, 75 secs
lola: 10267693 markings, 48834699 edges, 98587 markings/sec, 80 secs
lola: 10772970 markings, 51819874 edges, 101055 markings/sec, 85 secs
lola: 11358269 markings, 54686129 edges, 117060 markings/sec, 90 secs
lola: 11930139 markings, 57487074 edges, 114374 markings/sec, 95 secs
lola: 12518733 markings, 60240657 edges, 117719 markings/sec, 100 secs
lola: 13213773 markings, 62877536 edges, 139008 markings/sec, 105 secs
lola: 13852061 markings, 65690445 edges, 127658 markings/sec, 110 secs
lola: 14488394 markings, 68483590 edges, 127267 markings/sec, 115 secs
lola: 15093494 markings, 71541309 edges, 121020 markings/sec, 120 secs
lola: 15689468 markings, 74576688 edges, 119195 markings/sec, 125 secs
lola: 16215035 markings, 77279403 edges, 105113 markings/sec, 130 secs
lola: 16716420 markings, 80125221 edges, 100277 markings/sec, 135 secs
lola: 17197695 markings, 83067059 edges, 96255 markings/sec, 140 secs
lola: 17772343 markings, 85851718 edges, 114930 markings/sec, 145 secs
lola: 18366578 markings, 88663537 edges, 118847 markings/sec, 150 secs
lola: 18983364 markings, 91309596 edges, 123357 markings/sec, 155 secs
lola: 19531953 markings, 94048720 edges, 109718 markings/sec, 160 secs
lola: 20062354 markings, 96904037 edges, 106080 markings/sec, 165 secs
lola: 20568528 markings, 99547130 edges, 101235 markings/sec, 170 secs
lola: 21066828 markings, 102431144 edges, 99660 markings/sec, 175 secs
lola: 21608846 markings, 105280522 edges, 108404 markings/sec, 180 secs
lola: 22166475 markings, 107985053 edges, 111526 markings/sec, 185 secs
lola: 22710153 markings, 110181512 edges, 108736 markings/sec, 190 secs
lola: 23189555 markings, 112653456 edges, 95880 markings/sec, 195 secs
lola: 23634892 markings, 115168704 edges, 89067 markings/sec, 200 secs
lola: 24148773 markings, 117788647 edges, 102776 markings/sec, 205 secs
lola: 24635735 markings, 120131141 edges, 97392 markings/sec, 210 secs
lola: 25126417 markings, 122459228 edges, 98136 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(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 718311 markings, 2145932 edges, 143662 markings/sec, 0 secs
lola: 1498047 markings, 4223341 edges, 155947 markings/sec, 5 secs
lola: 2196572 markings, 6432543 edges, 139705 markings/sec, 10 secs
lola: 2899790 markings, 8556015 edges, 140644 markings/sec, 15 secs
lola: 3655147 markings, 10649262 edges, 151071 markings/sec, 20 secs
lola: 4336203 markings, 12815039 edges, 136211 markings/sec, 25 secs
lola: 4986848 markings, 15034736 edges, 130129 markings/sec, 30 secs
lola: 5719963 markings, 17155154 edges, 146623 markings/sec, 35 secs
lola: 6442330 markings, 19233601 edges, 144473 markings/sec, 40 secs
lola: 7177961 markings, 21331928 edges, 147126 markings/sec, 45 secs
lola: 7889598 markings, 23417460 edges, 142327 markings/sec, 50 secs
lola: 8568696 markings, 25545494 edges, 135820 markings/sec, 55 secs
lola: 9378358 markings, 27626917 edges, 161932 markings/sec, 60 secs
lola: 10075781 markings, 29755755 edges, 139485 markings/sec, 65 secs
lola: 10689092 markings, 31903916 edges, 122662 markings/sec, 70 secs
lola: 11498820 markings, 34063522 edges, 161946 markings/sec, 75 secs
lola: 12100862 markings, 36187868 edges, 120408 markings/sec, 80 secs
lola: 12742035 markings, 38360763 edges, 128235 markings/sec, 85 secs
lola: 13523490 markings, 40372247 edges, 156291 markings/sec, 90 secs
lola: 14136592 markings, 42585158 edges, 122620 markings/sec, 95 secs
lola: 14853327 markings, 44683420 edges, 143347 markings/sec, 100 secs
lola: 15632163 markings, 46701609 edges, 155767 markings/sec, 105 secs
lola: 16310405 markings, 48859853 edges, 135648 markings/sec, 110 secs
lola: 17069127 markings, 50966926 edges, 151744 markings/sec, 115 secs
lola: 17697096 markings, 53143102 edges, 125594 markings/sec, 120 secs
lola: 18385903 markings, 55232114 edges, 137761 markings/sec, 125 secs
lola: 19198224 markings, 57200337 edges, 162464 markings/sec, 130 secs
lola: 20096368 markings, 59325408 edges, 179629 markings/sec, 135 secs
lola: 21010725 markings, 61718275 edges, 182871 markings/sec, 140 secs
lola: 21800376 markings, 63867063 edges, 157930 markings/sec, 145 secs
lola: 22676600 markings, 66114938 edges, 175245 markings/sec, 150 secs
lola: 23644480 markings, 68231578 edges, 193576 markings/sec, 155 secs
lola: 24615863 markings, 70237437 edges, 194277 markings/sec, 160 secs
lola: 25558985 markings, 72306782 edges, 188624 markings/sec, 165 secs
lola: 26436581 markings, 74239968 edges, 175519 markings/sec, 170 secs
lola: 27323271 markings, 76249738 edges, 177338 markings/sec, 175 secs
lola: 28205943 markings, 78604233 edges, 176534 markings/sec, 180 secs
lola: 29022285 markings, 81008460 edges, 163268 markings/sec, 185 secs
lola: 29808690 markings, 83233668 edges, 157281 markings/sec, 190 secs
lola: 30731385 markings, 85300305 edges, 184539 markings/sec, 195 secs
lola: 31574112 markings, 87161690 edges, 168545 markings/sec, 200 secs
lola: 32399483 markings, 88994392 edges, 165074 markings/sec, 205 secs
lola: 33240130 markings, 91420422 edges, 168129 markings/sec, 210 secs
lola: 34002513 markings, 93696678 edges, 152477 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 689076 markings, 2664311 edges, 137815 markings/sec, 0 secs
lola: 1360248 markings, 5487301 edges, 134234 markings/sec, 5 secs
lola: 2054330 markings, 8169149 edges, 138816 markings/sec, 10 secs
lola: 2738027 markings, 10844669 edges, 136739 markings/sec, 15 secs
lola: 3412255 markings, 13506753 edges, 134846 markings/sec, 20 secs
lola: 4041645 markings, 16420945 edges, 125878 markings/sec, 25 secs
lola: 4694695 markings, 19194297 edges, 130610 markings/sec, 30 secs
lola: 5326533 markings, 22112885 edges, 126368 markings/sec, 35 secs
lola: 5949124 markings, 25224849 edges, 124518 markings/sec, 40 secs
lola: 6450777 markings, 27882782 edges, 100331 markings/sec, 45 secs
lola: 7016437 markings, 30977105 edges, 113132 markings/sec, 50 secs
lola: 7641647 markings, 33854175 edges, 125042 markings/sec, 55 secs
lola: 8169215 markings, 36480265 edges, 105514 markings/sec, 60 secs
lola: 8671148 markings, 39176213 edges, 100387 markings/sec, 65 secs
lola: 9134207 markings, 42100210 edges, 92612 markings/sec, 70 secs
lola: 9657383 markings, 45216385 edges, 104635 markings/sec, 75 secs
lola: 10168220 markings, 48179670 edges, 102167 markings/sec, 80 secs
lola: 10653182 markings, 51167232 edges, 96992 markings/sec, 85 secs
lola: 11246579 markings, 54002208 edges, 118679 markings/sec, 90 secs
lola: 11804059 markings, 56913850 edges, 111496 markings/sec, 95 secs
lola: 12362381 markings, 59704415 edges, 111664 markings/sec, 100 secs
lola: 13061252 markings, 62350985 edges, 139774 markings/sec, 105 secs
lola: 13718974 markings, 65052746 edges, 131544 markings/sec, 110 secs
lola: 14354388 markings, 67825830 edges, 127083 markings/sec, 115 secs
lola: 14963764 markings, 70783346 edges, 121875 markings/sec, 120 secs
lola: 15549895 markings, 73911803 edges, 117226 markings/sec, 125 secs
lola: 16096093 markings, 76643204 edges, 109240 markings/sec, 130 secs
lola: 16597573 markings, 79396768 edges, 100296 markings/sec, 135 secs
lola: 17057683 markings, 82327157 edges, 92022 markings/sec, 140 secs
lola: 17615034 markings, 85134936 edges, 111470 markings/sec, 145 secs
lola: 18194167 markings, 87883810 edges, 115827 markings/sec, 150 secs
lola: 18835733 markings, 90576264 edges, 128313 markings/sec, 155 secs
lola: 19385174 markings, 93225301 edges, 109888 markings/sec, 160 secs
lola: 19907458 markings, 96109103 edges, 104457 markings/sec, 165 secs
lola: 20425611 markings, 98803067 edges, 103631 markings/sec, 170 secs
lola: 20921857 markings, 101570394 edges, 99249 markings/sec, 175 secs
lola: 21450333 markings, 104472381 edges, 105695 markings/sec, 180 secs
lola: 22006987 markings, 107196424 edges, 111331 markings/sec, 185 secs
lola: 22552049 markings, 109549663 edges, 109012 markings/sec, 190 secs
lola: 23051065 markings, 111902684 edges, 99803 markings/sec, 195 secs
lola: 23504154 markings, 114387295 edges, 90618 markings/sec, 200 secs
lola: 23986055 markings, 116987010 edges, 96380 markings/sec, 205 secs
lola: 24485322 markings, 119399278 edges, 99853 markings/sec, 210 secs
lola: 24987531 markings, 121681364 edges, 100442 markings/sec, 215 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 221 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 136 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: 1048251 markings, 2165897 edges, 209650 markings/sec, 0 secs
lola: 1924984 markings, 4048892 edges, 175347 markings/sec, 5 secs
lola: 2784289 markings, 5943647 edges, 171861 markings/sec, 10 secs
lola: 3661076 markings, 8617200 edges, 175357 markings/sec, 15 secs
lola: 4533552 markings, 11188629 edges, 174495 markings/sec, 20 secs
lola: 5304276 markings, 12854837 edges, 154145 markings/sec, 25 secs
lola: 6177495 markings, 15280990 edges, 174644 markings/sec, 30 secs
lola: 7078266 markings, 17465984 edges, 180154 markings/sec, 35 secs
lola: 7777761 markings, 19582766 edges, 139899 markings/sec, 40 secs
lola: 8425308 markings, 21361788 edges, 129509 markings/sec, 45 secs
lola: 9053414 markings, 23189188 edges, 125621 markings/sec, 50 secs
lola: 9706391 markings, 24958598 edges, 130595 markings/sec, 55 secs
lola: 10279713 markings, 27009789 edges, 114664 markings/sec, 60 secs
lola: 10835387 markings, 29206559 edges, 111135 markings/sec, 65 secs
lola: 11399081 markings, 31366624 edges, 112739 markings/sec, 70 secs
lola: 11962126 markings, 33485817 edges, 112609 markings/sec, 75 secs
lola: 12484425 markings, 35565955 edges, 104460 markings/sec, 80 secs
lola: 12978953 markings, 37446808 edges, 98906 markings/sec, 85 secs
lola: 13535537 markings, 39602857 edges, 111317 markings/sec, 90 secs
lola: 14081886 markings, 41690087 edges, 109270 markings/sec, 95 secs
lola: 14610981 markings, 43841449 edges, 105819 markings/sec, 100 secs
lola: 15169501 markings, 45994120 edges, 111704 markings/sec, 105 secs
lola: 15723672 markings, 48160582 edges, 110834 markings/sec, 110 secs
lola: 16264462 markings, 50300553 edges, 108158 markings/sec, 115 secs
lola: 16793573 markings, 52479166 edges, 105822 markings/sec, 120 secs
lola: 17342293 markings, 54624200 edges, 109744 markings/sec, 125 secs
lola: 17885661 markings, 56789640 edges, 108674 markings/sec, 130 secs
lola: 18419508 markings, 58885408 edges, 106769 markings/sec, 135 secs
lola: 19124125 markings, 60871911 edges, 140923 markings/sec, 140 secs
lola: 19837561 markings, 62651552 edges, 142687 markings/sec, 145 secs
lola: 20587421 markings, 64821269 edges, 149972 markings/sec, 150 secs
lola: 21341697 markings, 66959611 edges, 150855 markings/sec, 155 secs
lola: 22092356 markings, 68991599 edges, 150132 markings/sec, 160 secs
lola: 22830874 markings, 70974998 edges, 147704 markings/sec, 165 secs
lola: 23531970 markings, 72904224 edges, 140219 markings/sec, 170 secs
lola: 24240977 markings, 75028710 edges, 141801 markings/sec, 175 secs
lola: 24887858 markings, 77372436 edges, 129376 markings/sec, 180 secs
lola: 25545617 markings, 79712839 edges, 131552 markings/sec, 185 secs
lola: 26251263 markings, 82420724 edges, 141129 markings/sec, 190 secs
lola: 26944965 markings, 84980395 edges, 138740 markings/sec, 195 secs
lola: 27612330 markings, 87421222 edges, 133473 markings/sec, 200 secs
lola: 28269148 markings, 90245958 edges, 131364 markings/sec, 205 secs
lola: 28949400 markings, 92504683 edges, 136050 markings/sec, 210 secs
lola: 29708153 markings, 94576762 edges, 151751 markings/sec, 215 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 221 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 136 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: 768472 markings, 1978990 edges, 153694 markings/sec, 0 secs
lola: 1471490 markings, 4257493 edges, 140604 markings/sec, 5 secs
lola: 2180838 markings, 6641406 edges, 141870 markings/sec, 10 secs
lola: 2890801 markings, 9006854 edges, 141993 markings/sec, 15 secs
lola: 3583677 markings, 11811448 edges, 138575 markings/sec, 20 secs
lola: 4256689 markings, 14436919 edges, 134602 markings/sec, 25 secs
lola: 4942037 markings, 16828169 edges, 137070 markings/sec, 30 secs
lola: 5623897 markings, 19466187 edges, 136372 markings/sec, 35 secs
lola: 6226886 markings, 21943884 edges, 120598 markings/sec, 40 secs
lola: 6799649 markings, 24358900 edges, 114553 markings/sec, 45 secs
lola: 7352542 markings, 26860003 edges, 110579 markings/sec, 50 secs
lola: 7937836 markings, 29471306 edges, 117059 markings/sec, 55 secs
lola: 8530098 markings, 32182499 edges, 118452 markings/sec, 60 secs
lola: 9134062 markings, 34736094 edges, 120793 markings/sec, 65 secs
lola: 9706022 markings, 37310423 edges, 114392 markings/sec, 70 secs
lola: 10281412 markings, 39681421 edges, 115078 markings/sec, 75 secs
lola: 10896790 markings, 42127267 edges, 123076 markings/sec, 80 secs
lola: 11549298 markings, 44531302 edges, 130502 markings/sec, 85 secs
lola: 12162102 markings, 47097223 edges, 122561 markings/sec, 90 secs
lola: 12764605 markings, 49673145 edges, 120501 markings/sec, 95 secs
lola: 13387345 markings, 52262189 edges, 124548 markings/sec, 100 secs
lola: 14012996 markings, 54822654 edges, 125130 markings/sec, 105 secs
lola: 14639768 markings, 57367134 edges, 125354 markings/sec, 110 secs
lola: 15259860 markings, 59949366 edges, 124018 markings/sec, 115 secs
lola: 15843059 markings, 62719509 edges, 116640 markings/sec, 120 secs
lola: 16398627 markings, 65584530 edges, 111114 markings/sec, 125 secs
lola: 16967370 markings, 68457670 edges, 113749 markings/sec, 130 secs
lola: 17538800 markings, 71284204 edges, 114286 markings/sec, 135 secs
lola: 18124707 markings, 74171221 edges, 117181 markings/sec, 140 secs
lola: 18702580 markings, 77039590 edges, 115575 markings/sec, 145 secs
lola: 19255659 markings, 80003928 edges, 110616 markings/sec, 150 secs
lola: 19839260 markings, 82947076 edges, 116720 markings/sec, 155 secs
lola: 20414911 markings, 85922011 edges, 115130 markings/sec, 160 secs
lola: 20951707 markings, 89240499 edges, 107359 markings/sec, 165 secs
lola: 21513709 markings, 92418122 edges, 112400 markings/sec, 170 secs
lola: 22083073 markings, 95143650 edges, 113873 markings/sec, 175 secs
lola: 22657340 markings, 98098507 edges, 114853 markings/sec, 180 secs
lola: 23234631 markings, 100946324 edges, 115458 markings/sec, 185 secs
lola: 23798656 markings, 103836584 edges, 112805 markings/sec, 190 secs
lola: 24366281 markings, 106706189 edges, 113525 markings/sec, 195 secs
lola: 24935214 markings, 109626045 edges, 113787 markings/sec, 200 secs
lola: 25506727 markings, 112547206 edges, 114303 markings/sec, 205 secs
lola: 26073790 markings, 115540691 edges, 113413 markings/sec, 210 secs
lola: 26626125 markings, 118784292 edges, 110467 markings/sec, 215 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 221 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 136 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: 1052008 markings, 2176374 edges, 210402 markings/sec, 0 secs
lola: 1932166 markings, 4065028 edges, 176032 markings/sec, 5 secs
lola: 2793407 markings, 5962770 edges, 172248 markings/sec, 10 secs
lola: 3680487 markings, 8683940 edges, 177416 markings/sec, 15 secs
lola: 4603151 markings, 11339716 edges, 184533 markings/sec, 20 secs
lola: 5483715 markings, 13240597 edges, 176113 markings/sec, 25 secs
lola: 6347165 markings, 15863037 edges, 172690 markings/sec, 30 secs
lola: 7253797 markings, 18019342 edges, 181326 markings/sec, 35 secs
lola: 7915806 markings, 19944379 edges, 132402 markings/sec, 40 secs
lola: 8555370 markings, 21749452 edges, 127913 markings/sec, 45 secs
lola: 9188040 markings, 23574774 edges, 126534 markings/sec, 50 secs
lola: 9841196 markings, 25359026 edges, 130631 markings/sec, 55 secs
lola: 10396455 markings, 27481416 edges, 111052 markings/sec, 60 secs
lola: 10962985 markings, 29674186 edges, 113306 markings/sec, 65 secs
lola: 11518045 markings, 31845217 edges, 111012 markings/sec, 70 secs
lola: 12077095 markings, 33896320 edges, 111810 markings/sec, 75 secs
lola: 12602515 markings, 36003888 edges, 105084 markings/sec, 80 secs
lola: 13162144 markings, 38151419 edges, 111926 markings/sec, 85 secs
lola: 13712794 markings, 40305261 edges, 110130 markings/sec, 90 secs
lola: 14256866 markings, 42418028 edges, 108814 markings/sec, 95 secs
lola: 14799683 markings, 44571352 edges, 108563 markings/sec, 100 secs
lola: 15356714 markings, 46724783 edges, 111406 markings/sec, 105 secs
lola: 15892416 markings, 48841352 edges, 107140 markings/sec, 110 secs
lola: 16426529 markings, 50959567 edges, 106823 markings/sec, 115 secs
lola: 16967971 markings, 53132128 edges, 108288 markings/sec, 120 secs
lola: 17508142 markings, 55290748 edges, 108034 markings/sec, 125 secs
lola: 18046227 markings, 57448489 edges, 107617 markings/sec, 130 secs
lola: 18618753 markings, 59484724 edges, 114505 markings/sec, 135 secs
lola: 19415280 markings, 61628396 edges, 159305 markings/sec, 140 secs
lola: 20186013 markings, 63721327 edges, 154147 markings/sec, 145 secs
lola: 20939972 markings, 65859950 edges, 150792 markings/sec, 150 secs
lola: 21712008 markings, 67955417 edges, 154407 markings/sec, 155 secs
lola: 22461078 markings, 69990152 edges, 149814 markings/sec, 160 secs
lola: 23167794 markings, 71917161 edges, 141343 markings/sec, 165 secs
lola: 23853523 markings, 73769193 edges, 137146 markings/sec, 170 secs
lola: 24549658 markings, 76073655 edges, 139227 markings/sec, 175 secs
lola: 25176964 markings, 78388334 edges, 125461 markings/sec, 180 secs
lola: 25805877 markings, 80638515 edges, 125783 markings/sec, 185 secs
lola: 26491802 markings, 83322063 edges, 137185 markings/sec, 190 secs
lola: 27189359 markings, 85879317 edges, 139511 markings/sec, 195 secs
lola: 27832761 markings, 88294749 edges, 128680 markings/sec, 200 secs
lola: 28496873 markings, 91131414 edges, 132822 markings/sec, 205 secs
lola: 29221204 markings, 93243981 edges, 144866 markings/sec, 210 secs
lola: 29966251 markings, 95249935 edges, 149009 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 879401 markings, 2257181 edges, 175880 markings/sec, 0 secs
lola: 1627013 markings, 4534155 edges, 149522 markings/sec, 5 secs
lola: 2491551 markings, 6815019 edges, 172908 markings/sec, 10 secs
lola: 3442560 markings, 9103726 edges, 190202 markings/sec, 15 secs
lola: 4378826 markings, 11430307 edges, 187253 markings/sec, 20 secs
lola: 5088306 markings, 13770623 edges, 141896 markings/sec, 25 secs
lola: 5823126 markings, 16077397 edges, 146964 markings/sec, 30 secs
lola: 6511940 markings, 18524502 edges, 137763 markings/sec, 35 secs
lola: 7078602 markings, 21010391 edges, 113332 markings/sec, 40 secs
lola: 7619170 markings, 23409640 edges, 108114 markings/sec, 45 secs
lola: 8152892 markings, 25823939 edges, 106744 markings/sec, 50 secs
lola: 8663790 markings, 28195679 edges, 102180 markings/sec, 55 secs
lola: 9198533 markings, 30658485 edges, 106949 markings/sec, 60 secs
lola: 9725014 markings, 33108079 edges, 105296 markings/sec, 65 secs
lola: 10255702 markings, 35557687 edges, 106138 markings/sec, 70 secs
lola: 10799034 markings, 37884764 edges, 108666 markings/sec, 75 secs
lola: 11304606 markings, 40245377 edges, 101114 markings/sec, 80 secs
lola: 11991292 markings, 42494017 edges, 137337 markings/sec, 85 secs
lola: 12772301 markings, 44747298 edges, 156202 markings/sec, 90 secs
lola: 13540997 markings, 47139297 edges, 153739 markings/sec, 95 secs
lola: 14193568 markings, 49393041 edges, 130514 markings/sec, 100 secs
lola: 14833409 markings, 51730884 edges, 127968 markings/sec, 105 secs
lola: 15367469 markings, 54061930 edges, 106812 markings/sec, 110 secs
lola: 15865418 markings, 56362782 edges, 99590 markings/sec, 115 secs
lola: 16368454 markings, 58672745 edges, 100607 markings/sec, 120 secs
lola: 16896166 markings, 60931550 edges, 105542 markings/sec, 125 secs
lola: 17377188 markings, 63165176 edges, 96204 markings/sec, 130 secs
lola: 18049510 markings, 65445516 edges, 134464 markings/sec, 135 secs
lola: 18826317 markings, 67761843 edges, 155361 markings/sec, 140 secs
lola: 19620609 markings, 70206002 edges, 158858 markings/sec, 145 secs
lola: 20386674 markings, 72713357 edges, 153213 markings/sec, 150 secs
lola: 21020192 markings, 74974954 edges, 126704 markings/sec, 155 secs
lola: 21670966 markings, 77411947 edges, 130155 markings/sec, 160 secs
lola: 22210664 markings, 79792391 edges, 107940 markings/sec, 165 secs
lola: 22704481 markings, 82106177 edges, 98763 markings/sec, 170 secs
lola: 23193348 markings, 84422892 edges, 97773 markings/sec, 175 secs
lola: 23679763 markings, 86799123 edges, 97283 markings/sec, 180 secs
lola: 24199953 markings, 89017521 edges, 104038 markings/sec, 185 secs
lola: 24679644 markings, 91317592 edges, 95938 markings/sec, 190 secs
lola: 25350040 markings, 93547428 edges, 134079 markings/sec, 195 secs
lola: 26118833 markings, 95788348 edges, 153759 markings/sec, 200 secs
lola: 26913427 markings, 98149279 edges, 158919 markings/sec, 205 secs
lola: 27603894 markings, 100481839 edges, 138093 markings/sec, 210 secs
lola: 28242090 markings, 102791441 edges, 127639 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 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 136 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: 710895 markings, 2619769 edges, 142179 markings/sec, 0 secs
lola: 1374982 markings, 5065028 edges, 132817 markings/sec, 5 secs
lola: 1967224 markings, 8077274 edges, 118448 markings/sec, 10 secs
lola: 2606595 markings, 10791017 edges, 127874 markings/sec, 15 secs
lola: 3204932 markings, 13646166 edges, 119667 markings/sec, 20 secs
lola: 3841387 markings, 16328667 edges, 127291 markings/sec, 25 secs
lola: 4466338 markings, 18961878 edges, 124990 markings/sec, 30 secs
lola: 5057187 markings, 21637279 edges, 118170 markings/sec, 35 secs
lola: 5599205 markings, 24728526 edges, 108404 markings/sec, 40 secs
lola: 6127744 markings, 27914902 edges, 105708 markings/sec, 45 secs
lola: 6693229 markings, 30780731 edges, 113097 markings/sec, 50 secs
lola: 7233523 markings, 33810705 edges, 108059 markings/sec, 55 secs
lola: 7772030 markings, 36747988 edges, 107701 markings/sec, 60 secs
lola: 8405396 markings, 39409737 edges, 126673 markings/sec, 65 secs
lola: 9052532 markings, 41962229 edges, 129427 markings/sec, 70 secs
lola: 9661236 markings, 44870990 edges, 121741 markings/sec, 75 secs
lola: 10256679 markings, 47970170 edges, 119089 markings/sec, 80 secs
lola: 10903655 markings, 50611906 edges, 129395 markings/sec, 85 secs
lola: 11520582 markings, 53354661 edges, 123385 markings/sec, 90 secs
lola: 12172486 markings, 55945533 edges, 130381 markings/sec, 95 secs
lola: 12760214 markings, 58800210 edges, 117546 markings/sec, 100 secs
lola: 13307335 markings, 61622955 edges, 109424 markings/sec, 105 secs
lola: 13903255 markings, 64367166 edges, 119184 markings/sec, 110 secs
lola: 14512468 markings, 67081851 edges, 121843 markings/sec, 115 secs
lola: 15070035 markings, 69815578 edges, 111513 markings/sec, 120 secs
lola: 15689621 markings, 72390198 edges, 123917 markings/sec, 125 secs
lola: 16319405 markings, 74954717 edges, 125957 markings/sec, 130 secs
lola: 16902499 markings, 77868107 edges, 116619 markings/sec, 135 secs
lola: 17437441 markings, 80731462 edges, 106988 markings/sec, 140 secs
lola: 17956846 markings, 83440948 edges, 103881 markings/sec, 145 secs
lola: 18450640 markings, 86045615 edges, 98759 markings/sec, 150 secs
lola: 18951331 markings, 88689240 edges, 100138 markings/sec, 155 secs
lola: 19445849 markings, 91215712 edges, 98904 markings/sec, 160 secs
lola: 19918661 markings, 93737917 edges, 94562 markings/sec, 165 secs
lola: 20412113 markings, 96283503 edges, 98690 markings/sec, 170 secs
lola: 20892574 markings, 98688318 edges, 96092 markings/sec, 175 secs
lola: 21365229 markings, 101139323 edges, 94531 markings/sec, 180 secs
lola: 21844891 markings, 103544727 edges, 95932 markings/sec, 185 secs
lola: 22316237 markings, 106019444 edges, 94269 markings/sec, 190 secs
lola: 22797759 markings, 108514029 edges, 96304 markings/sec, 195 secs
lola: 23289923 markings, 111124776 edges, 98433 markings/sec, 200 secs
lola: 23769218 markings, 113607992 edges, 95859 markings/sec, 205 secs
lola: 24246158 markings, 116114594 edges, 95388 markings/sec, 210 secs
lola: 24721817 markings, 118517053 edges, 95132 markings/sec, 215 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 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 136 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: 714362 markings, 2137613 edges, 142872 markings/sec, 0 secs
lola: 1493630 markings, 4213233 edges, 155854 markings/sec, 5 secs
lola: 2191189 markings, 6415087 edges, 139512 markings/sec, 10 secs
lola: 2887528 markings, 8505902 edges, 139268 markings/sec, 15 secs
lola: 3638298 markings, 10611125 edges, 150154 markings/sec, 20 secs
lola: 4326414 markings, 12764772 edges, 137623 markings/sec, 25 secs
lola: 4975874 markings, 14995918 edges, 129892 markings/sec, 30 secs
lola: 5698935 markings, 17100004 edges, 144612 markings/sec, 35 secs
lola: 6422483 markings, 19165872 edges, 144710 markings/sec, 40 secs
lola: 7158926 markings, 21274030 edges, 147289 markings/sec, 45 secs
lola: 7870666 markings, 23352229 edges, 142348 markings/sec, 50 secs
lola: 8549648 markings, 25497363 edges, 135796 markings/sec, 55 secs
lola: 9352574 markings, 27556953 edges, 160585 markings/sec, 60 secs
lola: 10060090 markings, 29702063 edges, 141503 markings/sec, 65 secs
lola: 10670942 markings, 31861476 edges, 122170 markings/sec, 70 secs
lola: 11485066 markings, 34018635 edges, 162825 markings/sec, 75 secs
lola: 12086803 markings, 36133750 edges, 120347 markings/sec, 80 secs
lola: 12722219 markings, 38307122 edges, 127083 markings/sec, 85 secs
lola: 13506380 markings, 40322232 edges, 156832 markings/sec, 90 secs
lola: 14127341 markings, 42547329 edges, 124192 markings/sec, 95 secs
lola: 14855915 markings, 44694496 edges, 145715 markings/sec, 100 secs
lola: 15636217 markings, 46719911 edges, 156060 markings/sec, 105 secs
lola: 16314285 markings, 48870392 edges, 135614 markings/sec, 110 secs
lola: 17072281 markings, 50976956 edges, 151599 markings/sec, 115 secs
lola: 17699987 markings, 53155061 edges, 125541 markings/sec, 120 secs
lola: 18392362 markings, 55258720 edges, 138475 markings/sec, 125 secs
lola: 19210479 markings, 57233519 edges, 163623 markings/sec, 130 secs
lola: 20117110 markings, 59374691 edges, 181326 markings/sec, 135 secs
lola: 21033829 markings, 61776509 edges, 183344 markings/sec, 140 secs
lola: 21828714 markings, 63978167 edges, 158977 markings/sec, 145 secs
lola: 22722037 markings, 66207000 edges, 178665 markings/sec, 150 secs
lola: 23699983 markings, 68346241 edges, 195589 markings/sec, 155 secs
lola: 24680115 markings, 70382494 edges, 196026 markings/sec, 160 secs
lola: 25630974 markings, 72466597 edges, 190172 markings/sec, 165 secs
lola: 26508239 markings, 74400809 edges, 175453 markings/sec, 170 secs
lola: 27405678 markings, 76453125 edges, 179488 markings/sec, 175 secs
lola: 28307463 markings, 78905121 edges, 180357 markings/sec, 180 secs
lola: 29109715 markings, 81291139 edges, 160450 markings/sec, 185 secs
lola: 29965907 markings, 83570709 edges, 171238 markings/sec, 190 secs
lola: 30905895 markings, 85680013 edges, 187998 markings/sec, 195 secs
lola: 31764654 markings, 87574784 edges, 171752 markings/sec, 200 secs
lola: 32625634 markings, 89644917 edges, 172196 markings/sec, 205 secs
lola: 33453060 markings, 92038816 edges, 165485 markings/sec, 210 secs
lola: 34187202 markings, 94277159 edges, 146828 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 770079 markings, 1937559 edges, 154016 markings/sec, 0 secs
lola: 1564369 markings, 3886578 edges, 158858 markings/sec, 5 secs
lola: 2336214 markings, 5842001 edges, 154369 markings/sec, 10 secs
lola: 3135604 markings, 7754038 edges, 159878 markings/sec, 15 secs
lola: 3872519 markings, 9724136 edges, 147383 markings/sec, 20 secs
lola: 4651953 markings, 11675667 edges, 155887 markings/sec, 25 secs
lola: 5449251 markings, 13572949 edges, 159460 markings/sec, 30 secs
lola: 6220157 markings, 15506192 edges, 154181 markings/sec, 35 secs
lola: 6975400 markings, 17436587 edges, 151049 markings/sec, 40 secs
lola: 7810679 markings, 19373564 edges, 167056 markings/sec, 45 secs
lola: 8557164 markings, 21298866 edges, 149297 markings/sec, 50 secs
lola: 9368043 markings, 23277151 edges, 162176 markings/sec, 55 secs
lola: 10109595 markings, 25206202 edges, 148310 markings/sec, 60 secs
lola: 10908203 markings, 27127437 edges, 159722 markings/sec, 65 secs
lola: 11666516 markings, 29086749 edges, 151663 markings/sec, 70 secs
lola: 12467745 markings, 31010054 edges, 160246 markings/sec, 75 secs
lola: 13233378 markings, 32938069 edges, 153127 markings/sec, 80 secs
lola: 14025795 markings, 34865167 edges, 158483 markings/sec, 85 secs
lola: 14810580 markings, 36803012 edges, 156957 markings/sec, 90 secs
lola: 15717438 markings, 38604464 edges, 181372 markings/sec, 95 secs
lola: 16539810 markings, 40798123 edges, 164474 markings/sec, 100 secs
lola: 17287056 markings, 43019939 edges, 149449 markings/sec, 105 secs
lola: 17948228 markings, 45207522 edges, 132234 markings/sec, 110 secs
lola: 18714379 markings, 47331688 edges, 153230 markings/sec, 115 secs
lola: 19619456 markings, 49315603 edges, 181015 markings/sec, 120 secs
lola: 20495671 markings, 51201016 edges, 175243 markings/sec, 125 secs
lola: 21203893 markings, 53415994 edges, 141644 markings/sec, 130 secs
lola: 21953564 markings, 55468680 edges, 149934 markings/sec, 135 secs
lola: 22778202 markings, 57444636 edges, 164928 markings/sec, 140 secs
lola: 23601017 markings, 59419575 edges, 164563 markings/sec, 145 secs
lola: 24375890 markings, 61316331 edges, 154975 markings/sec, 150 secs
lola: 25175217 markings, 63187420 edges, 159865 markings/sec, 155 secs
lola: 25993852 markings, 65264238 edges, 163727 markings/sec, 160 secs
lola: 26852987 markings, 67314754 edges, 171827 markings/sec, 165 secs
lola: 27696900 markings, 69313388 edges, 168783 markings/sec, 170 secs
lola: 28535791 markings, 71382259 edges, 167778 markings/sec, 175 secs
lola: 29362393 markings, 73452456 edges, 165320 markings/sec, 180 secs
lola: 30143177 markings, 75513777 edges, 156157 markings/sec, 185 secs
lola: 30839593 markings, 77468880 edges, 139283 markings/sec, 190 secs
lola: 31536037 markings, 79425705 edges, 139289 markings/sec, 195 secs
lola: 32313198 markings, 81124242 edges, 155432 markings/sec, 200 secs
lola: 33057940 markings, 82936860 edges, 148948 markings/sec, 205 secs
lola: 33738500 markings, 85106196 edges, 136112 markings/sec, 210 secs
lola: 34450272 markings, 87025113 edges, 142354 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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 14 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 764103 markings, 2322541 edges, 152821 markings/sec, 0 secs
lola: 1386790 markings, 4852190 edges, 124537 markings/sec, 5 secs
lola: 1939347 markings, 7202051 edges, 110511 markings/sec, 10 secs
lola: 2487865 markings, 9637455 edges, 109704 markings/sec, 15 secs
lola: 3053437 markings, 11956279 edges, 113114 markings/sec, 20 secs
lola: 3597851 markings, 14226977 edges, 108883 markings/sec, 25 secs
lola: 4212491 markings, 16565277 edges, 122928 markings/sec, 30 secs
lola: 4783126 markings, 18867376 edges, 114127 markings/sec, 35 secs
lola: 5344162 markings, 21148584 edges, 112207 markings/sec, 40 secs
lola: 6016509 markings, 23063387 edges, 134469 markings/sec, 45 secs
lola: 6625659 markings, 25469398 edges, 121830 markings/sec, 50 secs
lola: 7214906 markings, 28020929 edges, 117849 markings/sec, 55 secs
lola: 7818000 markings, 30462477 edges, 120619 markings/sec, 60 secs
lola: 8370163 markings, 32832627 edges, 110433 markings/sec, 65 secs
lola: 8913232 markings, 35023767 edges, 108614 markings/sec, 70 secs
lola: 9510836 markings, 37486470 edges, 119521 markings/sec, 75 secs
lola: 10046945 markings, 39851481 edges, 107222 markings/sec, 80 secs
lola: 10549659 markings, 42212662 edges, 100543 markings/sec, 85 secs
lola: 11037275 markings, 44517179 edges, 97523 markings/sec, 90 secs
lola: 11631193 markings, 46731188 edges, 118784 markings/sec, 95 secs
lola: 12199002 markings, 49074292 edges, 113562 markings/sec, 100 secs
lola: 12699824 markings, 51567826 edges, 100164 markings/sec, 105 secs
lola: 13181441 markings, 53899978 edges, 96323 markings/sec, 110 secs
lola: 13708475 markings, 56273191 edges, 105407 markings/sec, 115 secs
lola: 14163598 markings, 58483363 edges, 91025 markings/sec, 120 secs
lola: 14627732 markings, 60759931 edges, 92827 markings/sec, 125 secs
lola: 15092588 markings, 63211210 edges, 92971 markings/sec, 130 secs
lola: 15539134 markings, 65441753 edges, 89309 markings/sec, 135 secs
lola: 15984554 markings, 67790534 edges, 89084 markings/sec, 140 secs
lola: 16433531 markings, 70059272 edges, 89795 markings/sec, 145 secs
lola: 16883367 markings, 72295106 edges, 89967 markings/sec, 150 secs
lola: 17324117 markings, 74498135 edges, 88150 markings/sec, 155 secs
lola: 17771241 markings, 76724400 edges, 89425 markings/sec, 160 secs
lola: 18249482 markings, 79175979 edges, 95648 markings/sec, 165 secs
lola: 18699720 markings, 81461370 edges, 90048 markings/sec, 170 secs
lola: 19196895 markings, 83708690 edges, 99435 markings/sec, 175 secs
lola: 19631184 markings, 85867403 edges, 86858 markings/sec, 180 secs
lola: 20028285 markings, 88068397 edges, 79420 markings/sec, 185 secs
lola: 20461101 markings, 90444070 edges, 86563 markings/sec, 190 secs
lola: 20934175 markings, 92679403 edges, 94615 markings/sec, 195 secs
lola: 21385994 markings, 94977298 edges, 90364 markings/sec, 200 secs
lola: 21827462 markings, 97175144 edges, 88294 markings/sec, 205 secs
lola: 22250973 markings, 99350635 edges, 84702 markings/sec, 210 secs
lola: 22720736 markings, 101510709 edges, 93953 markings/sec, 215 secs
lola: 23084474 markings, 103399945 edges, 72748 markings/sec, 220 secs
lola: 23551222 markings, 105541649 edges, 93350 markings/sec, 225 secs
lola: 24007332 markings, 107686053 edges, 91222 markings/sec, 230 secs
lola: 24479298 markings, 109855442 edges, 94393 markings/sec, 235 secs
lola: 24841848 markings, 111707090 edges, 72510 markings/sec, 240 secs
lola: 25383535 markings, 113959228 edges, 108337 markings/sec, 245 secs
lola: 25936375 markings, 116228409 edges, 110568 markings/sec, 250 secs
lola: 26466272 markings, 118400853 edges, 105979 markings/sec, 255 secs
lola: 27033643 markings, 120534442 edges, 113474 markings/sec, 260 secs
lola: 27528161 markings, 122906675 edges, 98904 markings/sec, 265 secs
lola: 28044725 markings, 125424685 edges, 103313 markings/sec, 270 secs
lola: 28566383 markings, 127743390 edges, 104332 markings/sec, 275 secs
lola: 29074377 markings, 129907863 edges, 101599 markings/sec, 280 secs
lola: 29566118 markings, 132244767 edges, 98348 markings/sec, 285 secs
lola: 30035863 markings, 134479179 edges, 93949 markings/sec, 290 secs
lola: 30518218 markings, 136770623 edges, 96471 markings/sec, 295 secs
lola: 30989766 markings, 139154589 edges, 94310 markings/sec, 300 secs
lola: 31436090 markings, 141505663 edges, 89265 markings/sec, 305 secs
lola: 31870107 markings, 143780176 edges, 86803 markings/sec, 310 secs
lola: 32235308 markings, 145655881 edges, 73040 markings/sec, 315 secs
lola: 32672227 markings, 147863383 edges, 87384 markings/sec, 320 secs
lola: 33082442 markings, 149971047 edges, 82043 markings/sec, 325 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 333 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 136 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: 904791 markings, 1842487 edges, 180958 markings/sec, 0 secs
lola: 1902970 markings, 3912732 edges, 199636 markings/sec, 5 secs
lola: 2951529 markings, 6226291 edges, 209712 markings/sec, 10 secs
lola: 3779163 markings, 8189057 edges, 165527 markings/sec, 15 secs
lola: 4716268 markings, 10250188 edges, 187421 markings/sec, 20 secs
lola: 5635425 markings, 12339840 edges, 183831 markings/sec, 25 secs
lola: 6527050 markings, 14414599 edges, 178325 markings/sec, 30 secs
lola: 7330389 markings, 16326666 edges, 160668 markings/sec, 35 secs
lola: 8075380 markings, 18320810 edges, 148998 markings/sec, 40 secs
lola: 8888786 markings, 20283693 edges, 162681 markings/sec, 45 secs
lola: 9759004 markings, 22044978 edges, 174044 markings/sec, 50 secs
lola: 10565487 markings, 24035477 edges, 161297 markings/sec, 55 secs
lola: 11404042 markings, 25839494 edges, 167711 markings/sec, 60 secs
lola: 12233022 markings, 27915891 edges, 165796 markings/sec, 65 secs
lola: 13086076 markings, 30355769 edges, 170611 markings/sec, 70 secs
lola: 13913668 markings, 32763468 edges, 165518 markings/sec, 75 secs
lola: 14705985 markings, 35226435 edges, 158463 markings/sec, 80 secs
lola: 15496298 markings, 37591961 edges, 158063 markings/sec, 85 secs
lola: 16388410 markings, 40301595 edges, 178422 markings/sec, 90 secs
lola: 17217039 markings, 42870713 edges, 165726 markings/sec, 95 secs
lola: 17994333 markings, 45329402 edges, 155459 markings/sec, 100 secs
lola: 18764992 markings, 47691443 edges, 154132 markings/sec, 105 secs
lola: 19556612 markings, 50725878 edges, 158324 markings/sec, 110 secs
lola: 20295309 markings, 53494783 edges, 147739 markings/sec, 115 secs
lola: 21112380 markings, 56095323 edges, 163414 markings/sec, 120 secs
lola: 21788481 markings, 58582496 edges, 135220 markings/sec, 125 secs
lola: 22553924 markings, 60960733 edges, 153089 markings/sec, 130 secs
lola: 23281634 markings, 63315212 edges, 145542 markings/sec, 135 secs
lola: 23920030 markings, 65820741 edges, 127679 markings/sec, 140 secs
lola: 24613817 markings, 68126089 edges, 138757 markings/sec, 145 secs
lola: 25275874 markings, 70370886 edges, 132411 markings/sec, 150 secs
lola: 25953890 markings, 72697014 edges, 135603 markings/sec, 155 secs
lola: 26662717 markings, 75450455 edges, 141765 markings/sec, 160 secs
lola: 27331950 markings, 78090456 edges, 133847 markings/sec, 165 secs
lola: 28036884 markings, 81017431 edges, 140987 markings/sec, 170 secs
lola: 28712865 markings, 83791694 edges, 135196 markings/sec, 175 secs
lola: 29395776 markings, 86945353 edges, 136582 markings/sec, 180 secs
lola: 30103048 markings, 89495650 edges, 141454 markings/sec, 185 secs
lola: 30941169 markings, 92130271 edges, 167624 markings/sec, 190 secs
lola: 31512117 markings, 94060084 edges, 114190 markings/sec, 195 secs
lola: 32209089 markings, 96499855 edges, 139394 markings/sec, 200 secs
lola: 32922867 markings, 98840069 edges, 142756 markings/sec, 205 secs
lola: 33587058 markings, 101268130 edges, 132838 markings/sec, 210 secs
lola: 34126186 markings, 103464832 edges, 107826 markings/sec, 215 secs
lola: 34805313 markings, 105655938 edges, 135825 markings/sec, 220 secs
lola: 35441367 markings, 107912314 edges, 127211 markings/sec, 225 secs
lola: 36095841 markings, 110278598 edges, 130895 markings/sec, 230 secs
lola: 36777360 markings, 113037790 edges, 136304 markings/sec, 235 secs
lola: 37425423 markings, 115701919 edges, 129613 markings/sec, 240 secs
lola: 38092607 markings, 118507080 edges, 133437 markings/sec, 245 secs
lola: 38759055 markings, 121372717 edges, 133290 markings/sec, 250 secs
lola: 39400823 markings, 124178061 edges, 128354 markings/sec, 255 secs
lola: 40028567 markings, 127366880 edges, 125549 markings/sec, 260 secs
lola: 40671018 markings, 130244208 edges, 128490 markings/sec, 265 secs
lola: 41246027 markings, 132662728 edges, 115002 markings/sec, 270 secs
lola: 41763921 markings, 135416456 edges, 103579 markings/sec, 275 secs
lola: 42382256 markings, 138111979 edges, 123667 markings/sec, 280 secs
lola: 42949035 markings, 141049038 edges, 113356 markings/sec, 285 secs
lola: 43501222 markings, 143538305 edges, 110437 markings/sec, 290 secs
lola: 44021175 markings, 146086874 edges, 103991 markings/sec, 295 secs
lola: 44574299 markings, 148942774 edges, 110625 markings/sec, 300 secs
lola: 45126876 markings, 152109505 edges, 110515 markings/sec, 305 secs
lola: 45707785 markings, 155447264 edges, 116182 markings/sec, 310 secs
lola: 46554701 markings, 157464138 edges, 169383 markings/sec, 315 secs
lola: 47489479 markings, 159508473 edges, 186956 markings/sec, 320 secs
lola: 48188617 markings, 161517733 edges, 139828 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
FORMULA DNAwalker-PT-07track28RR-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-07track28RR-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496338169375

--------------------
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-07track28RR"
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-07track28RR.tgz
mv S_DNAwalker-PT-07track28RR 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-07track28RR, 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-149441612000056"
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 ;