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 ;