Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is DNAwalker-PT-07track28RR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263900056
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 805932 markings, 2173080 edges, 161186 markings/sec, 0 secs
lola: 1552846 markings, 4533048 edges, 149383 markings/sec, 5 secs
lola: 2263955 markings, 7256975 edges, 142222 markings/sec, 10 secs
lola: 2965608 markings, 9600476 edges, 140331 markings/sec, 15 secs
lola: 3679851 markings, 12078188 edges, 142849 markings/sec, 20 secs
lola: 4309091 markings, 14583548 edges, 125848 markings/sec, 25 secs
lola: 4911022 markings, 17238947 edges, 120386 markings/sec, 30 secs
lola: 5540949 markings, 19870644 edges, 125985 markings/sec, 35 secs
lola: 6143146 markings, 22401538 edges, 120439 markings/sec, 40 secs
lola: 6772175 markings, 24886088 edges, 125806 markings/sec, 45 secs
lola: 7432252 markings, 27280344 edges, 132015 markings/sec, 50 secs
lola: 8079835 markings, 29755192 edges, 129517 markings/sec, 55 secs
lola: 8715088 markings, 32299589 edges, 127051 markings/sec, 60 secs
lola: 9365428 markings, 34838486 edges, 130068 markings/sec, 65 secs
lola: 10009281 markings, 37331560 edges, 128771 markings/sec, 70 secs
lola: 10614412 markings, 40103944 edges, 121026 markings/sec, 75 secs
lola: 11209410 markings, 42984164 edges, 119000 markings/sec, 80 secs
lola: 11817368 markings, 45841033 edges, 121592 markings/sec, 85 secs
lola: 12419257 markings, 48702159 edges, 120378 markings/sec, 90 secs
lola: 13016858 markings, 51630795 edges, 119520 markings/sec, 95 secs
lola: 13599947 markings, 54758540 edges, 116618 markings/sec, 100 secs
lola: 14195139 markings, 57894671 edges, 119038 markings/sec, 105 secs
lola: 14783336 markings, 60841785 edges, 117639 markings/sec, 110 secs
lola: 15385379 markings, 63693769 edges, 120409 markings/sec, 115 secs
lola: 15972292 markings, 66582256 edges, 117383 markings/sec, 120 secs
lola: 16565443 markings, 69493606 edges, 118630 markings/sec, 125 secs
lola: 17177087 markings, 72483557 edges, 122329 markings/sec, 130 secs
lola: 17748656 markings, 75829791 edges, 114314 markings/sec, 135 secs
lola: 18394888 markings, 78835841 edges, 129246 markings/sec, 140 secs
lola: 19028562 markings, 81877498 edges, 126735 markings/sec, 145 secs
lola: 19649062 markings, 84823770 edges, 124100 markings/sec, 150 secs
lola: 20185869 markings, 87882089 edges, 107361 markings/sec, 155 secs
lola: 20721887 markings, 90910740 edges, 107204 markings/sec, 160 secs
lola: 21271820 markings, 93863814 edges, 109987 markings/sec, 165 secs
lola: 21841401 markings, 96762445 edges, 113916 markings/sec, 170 secs
lola: 22408898 markings, 99740056 edges, 113499 markings/sec, 175 secs
lola: 22956607 markings, 102813427 edges, 109542 markings/sec, 180 secs
lola: 23494388 markings, 105973611 edges, 107556 markings/sec, 185 secs
lola: 24031379 markings, 109212364 edges, 107398 markings/sec, 190 secs
lola: 24556282 markings, 112632294 edges, 104981 markings/sec, 195 secs
lola: 25085529 markings, 115914233 edges, 105849 markings/sec, 200 secs
lola: 25614316 markings, 119156594 edges, 105757 markings/sec, 205 secs
lola: 26149208 markings, 122632485 edges, 106978 markings/sec, 210 secs
lola: 26759545 markings, 125327335 edges, 122067 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: 871228 markings, 2232799 edges, 174246 markings/sec, 0 secs
lola: 1611003 markings, 4489062 edges, 147955 markings/sec, 5 secs
lola: 2455924 markings, 6755213 edges, 168984 markings/sec, 10 secs
lola: 3408192 markings, 9016366 edges, 190454 markings/sec, 15 secs
lola: 4328615 markings, 11339747 edges, 184085 markings/sec, 20 secs
lola: 5055192 markings, 13651742 edges, 145315 markings/sec, 25 secs
lola: 5770873 markings, 15923026 edges, 143136 markings/sec, 30 secs
lola: 6473455 markings, 18369639 edges, 140516 markings/sec, 35 secs
lola: 7037713 markings, 20838556 edges, 112852 markings/sec, 40 secs
lola: 7574392 markings, 23204755 edges, 107336 markings/sec, 45 secs
lola: 8107005 markings, 25633000 edges, 106523 markings/sec, 50 secs
lola: 8614272 markings, 27964736 edges, 101453 markings/sec, 55 secs
lola: 9141792 markings, 30418699 edges, 105504 markings/sec, 60 secs
lola: 9666687 markings, 32851530 edges, 104979 markings/sec, 65 secs
lola: 10192520 markings, 35264611 edges, 105167 markings/sec, 70 secs
lola: 10725194 markings, 37579655 edges, 106535 markings/sec, 75 secs
lola: 11228573 markings, 39900313 edges, 100676 markings/sec, 80 secs
lola: 11870968 markings, 42133474 edges, 128479 markings/sec, 85 secs
lola: 12633528 markings, 44347212 edges, 152512 markings/sec, 90 secs
lola: 13403791 markings, 46700073 edges, 154053 markings/sec, 95 secs
lola: 14082019 markings, 48994946 edges, 135646 markings/sec, 100 secs
lola: 14702792 markings, 51264480 edges, 124155 markings/sec, 105 secs
lola: 15261577 markings, 53585566 edges, 111757 markings/sec, 110 secs
lola: 15754623 markings, 55823158 edges, 98609 markings/sec, 115 secs
lola: 16238860 markings, 58084623 edges, 96847 markings/sec, 120 secs
lola: 16677056 markings, 60047505 edges, 87639 markings/sec, 125 secs
lola: 17181889 markings, 62269844 edges, 100967 markings/sec, 130 secs
lola: 17748965 markings, 64536821 edges, 113415 markings/sec, 135 secs
lola: 18468691 markings, 66786248 edges, 143945 markings/sec, 140 secs
lola: 19292584 markings, 69129523 edges, 164779 markings/sec, 145 secs
lola: 20064702 markings, 71590266 edges, 154424 markings/sec, 150 secs
lola: 20770097 markings, 73988145 edges, 141079 markings/sec, 155 secs
lola: 21375447 markings, 76232872 edges, 121070 markings/sec, 160 secs
lola: 21898727 markings, 78339015 edges, 104656 markings/sec, 165 secs
lola: 22388323 markings, 80633244 edges, 97919 markings/sec, 170 secs
lola: 22864891 markings, 82861928 edges, 95314 markings/sec, 175 secs
lola: 23355264 markings, 85165182 edges, 98075 markings/sec, 180 secs
lola: 23823873 markings, 87476714 edges, 93722 markings/sec, 185 secs
lola: 24331384 markings, 89673050 edges, 101502 markings/sec, 190 secs
lola: 24802835 markings, 91883449 edges, 94290 markings/sec, 195 secs
lola: 25501409 markings, 94048887 edges, 139715 markings/sec, 200 secs
lola: 26187966 markings, 95979983 edges, 137311 markings/sec, 205 secs
lola: 26966024 markings, 98307706 edges, 155612 markings/sec, 210 secs
lola: 27625865 markings, 100565782 edges, 131968 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: 678158 markings, 2264694 edges, 135632 markings/sec, 0 secs
lola: 1306281 markings, 4617877 edges, 125625 markings/sec, 5 secs
lola: 1958032 markings, 6951603 edges, 130350 markings/sec, 10 secs
lola: 2599924 markings, 9441267 edges, 128378 markings/sec, 15 secs
lola: 3197771 markings, 12188027 edges, 119569 markings/sec, 20 secs
lola: 3786352 markings, 15049326 edges, 117716 markings/sec, 25 secs
lola: 4346784 markings, 17778413 edges, 112086 markings/sec, 30 secs
lola: 4904006 markings, 20577291 edges, 111444 markings/sec, 35 secs
lola: 5442313 markings, 23634123 edges, 107661 markings/sec, 40 secs
lola: 6005402 markings, 26542048 edges, 112618 markings/sec, 45 secs
lola: 6637404 markings, 28946129 edges, 126400 markings/sec, 50 secs
lola: 7259683 markings, 31465649 edges, 124456 markings/sec, 55 secs
lola: 7843170 markings, 34324331 edges, 116697 markings/sec, 60 secs
lola: 8389243 markings, 37291824 edges, 109215 markings/sec, 65 secs
lola: 8924719 markings, 40392613 edges, 107095 markings/sec, 70 secs
lola: 9473233 markings, 43438721 edges, 109703 markings/sec, 75 secs
lola: 9973397 markings, 46738283 edges, 100033 markings/sec, 80 secs
lola: 10579580 markings, 49347975 edges, 121237 markings/sec, 85 secs
lola: 11121907 markings, 52354132 edges, 108465 markings/sec, 90 secs
lola: 11648171 markings, 55492952 edges, 105253 markings/sec, 95 secs
lola: 12230182 markings, 58296921 edges, 116402 markings/sec, 100 secs
lola: 12824965 markings, 60903405 edges, 118957 markings/sec, 105 secs
lola: 13376691 markings, 63869709 edges, 110345 markings/sec, 110 secs
lola: 13910186 markings, 66953837 edges, 106699 markings/sec, 115 secs
lola: 14488093 markings, 69732616 edges, 115581 markings/sec, 120 secs
lola: 15024675 markings, 72792188 edges, 107316 markings/sec, 125 secs
lola: 15604465 markings, 75386907 edges, 115958 markings/sec, 130 secs
lola: 16210974 markings, 77843412 edges, 121302 markings/sec, 135 secs
lola: 16756396 markings, 80548011 edges, 109084 markings/sec, 140 secs
lola: 17272281 markings, 83450058 edges, 103177 markings/sec, 145 secs
lola: 17777852 markings, 86508558 edges, 101114 markings/sec, 150 secs
lola: 18288252 markings, 89524444 edges, 102080 markings/sec, 155 secs
lola: 18846679 markings, 92231222 edges, 111685 markings/sec, 160 secs
lola: 19378125 markings, 95188329 edges, 106289 markings/sec, 165 secs
lola: 20031395 markings, 97728066 edges, 130654 markings/sec, 170 secs
lola: 20686571 markings, 100089154 edges, 131035 markings/sec, 175 secs
lola: 21344305 markings, 102483419 edges, 131547 markings/sec, 180 secs
lola: 21967179 markings, 104863631 edges, 124575 markings/sec, 185 secs
lola: 22597063 markings, 107312160 edges, 125977 markings/sec, 190 secs
lola: 23180802 markings, 109957118 edges, 116748 markings/sec, 195 secs
lola: 23751211 markings, 112583091 edges, 114082 markings/sec, 200 secs
lola: 24301230 markings, 115181451 edges, 110004 markings/sec, 205 secs
lola: 24877668 markings, 117696354 edges, 115288 markings/sec, 210 secs
lola: 25539144 markings, 120357411 edges, 132295 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: 689987 markings, 2667824 edges, 137997 markings/sec, 0 secs
lola: 1362678 markings, 5496445 edges, 134538 markings/sec, 5 secs
lola: 2059728 markings, 8189163 edges, 139410 markings/sec, 10 secs
lola: 2743555 markings, 10868802 edges, 136765 markings/sec, 15 secs
lola: 3418689 markings, 13543298 edges, 135027 markings/sec, 20 secs
lola: 4049555 markings, 16453406 edges, 126173 markings/sec, 25 secs
lola: 4702753 markings, 19230589 edges, 130640 markings/sec, 30 secs
lola: 5335692 markings, 22152467 edges, 126588 markings/sec, 35 secs
lola: 5959602 markings, 25286180 edges, 124782 markings/sec, 40 secs
lola: 6569372 markings, 28490789 edges, 121954 markings/sec, 45 secs
lola: 7143705 markings, 31550059 edges, 114867 markings/sec, 50 secs
lola: 7760193 markings, 34380634 edges, 123298 markings/sec, 55 secs
lola: 8264025 markings, 37017651 edges, 100766 markings/sec, 60 secs
lola: 8768502 markings, 39751509 edges, 100895 markings/sec, 65 secs
lola: 9225165 markings, 42675861 edges, 91333 markings/sec, 70 secs
lola: 9775285 markings, 45869933 edges, 110024 markings/sec, 75 secs
lola: 10269054 markings, 48842290 edges, 98754 markings/sec, 80 secs
lola: 10775908 markings, 51837197 edges, 101371 markings/sec, 85 secs
lola: 11362975 markings, 54716803 edges, 117413 markings/sec, 90 secs
lola: 11936400 markings, 57517882 edges, 114685 markings/sec, 95 secs
lola: 12528791 markings, 60267414 edges, 118478 markings/sec, 100 secs
lola: 13223561 markings, 62913379 edges, 138954 markings/sec, 105 secs
lola: 13859940 markings, 65729148 edges, 127276 markings/sec, 110 secs
lola: 14496209 markings, 68514256 edges, 127254 markings/sec, 115 secs
lola: 15102280 markings, 71583056 edges, 121214 markings/sec, 120 secs
lola: 15699635 markings, 74624505 edges, 119471 markings/sec, 125 secs
lola: 16214791 markings, 77278090 edges, 103031 markings/sec, 130 secs
lola: 16708143 markings, 80080579 edges, 98670 markings/sec, 135 secs
lola: 17160201 markings, 82897252 edges, 90412 markings/sec, 140 secs
lola: 17736971 markings, 85688572 edges, 115354 markings/sec, 145 secs
lola: 18313263 markings, 88396597 edges, 115258 markings/sec, 150 secs
lola: 18932921 markings, 91071652 edges, 123932 markings/sec, 155 secs
lola: 19472786 markings, 93746044 edges, 107973 markings/sec, 160 secs
lola: 19984786 markings, 96508709 edges, 102400 markings/sec, 165 secs
lola: 20488674 markings, 99158540 edges, 100778 markings/sec, 170 secs
lola: 20976923 markings, 101927169 edges, 97650 markings/sec, 175 secs
lola: 21508236 markings, 104742983 edges, 106263 markings/sec, 180 secs
lola: 22049816 markings, 107419032 edges, 108316 markings/sec, 185 secs
lola: 22579930 markings, 109665520 edges, 106023 markings/sec, 190 secs
lola: 23055083 markings, 111924308 edges, 95031 markings/sec, 195 secs
lola: 23477459 markings, 114255810 edges, 84475 markings/sec, 200 secs
lola: 23926439 markings, 116717376 edges, 89796 markings/sec, 205 secs
lola: 24424224 markings, 119051403 edges, 99557 markings/sec, 210 secs
lola: 24899654 markings, 121243378 edges, 95086 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: 707302 markings, 2123955 edges, 141460 markings/sec, 0 secs
lola: 1468567 markings, 4154817 edges, 152253 markings/sec, 5 secs
lola: 2168790 markings, 6351517 edges, 140045 markings/sec, 10 secs
lola: 2877520 markings, 8481325 edges, 141746 markings/sec, 15 secs
lola: 3627461 markings, 10583849 edges, 149988 markings/sec, 20 secs
lola: 4303888 markings, 12681707 edges, 135285 markings/sec, 25 secs
lola: 4941667 markings, 14902572 edges, 127556 markings/sec, 30 secs
lola: 5658454 markings, 17007951 edges, 143357 markings/sec, 35 secs
lola: 6393160 markings, 19043267 edges, 146941 markings/sec, 40 secs
lola: 7124699 markings, 21137985 edges, 146308 markings/sec, 45 secs
lola: 7830417 markings, 23218690 edges, 141144 markings/sec, 50 secs
lola: 8500462 markings, 25358253 edges, 134009 markings/sec, 55 secs
lola: 9283515 markings, 27369519 edges, 156611 markings/sec, 60 secs
lola: 10015592 markings, 29518794 edges, 146415 markings/sec, 65 secs
lola: 10609057 markings, 31697862 edges, 118693 markings/sec, 70 secs
lola: 11423131 markings, 33827947 edges, 162815 markings/sec, 75 secs
lola: 12040312 markings, 35931376 edges, 123436 markings/sec, 80 secs
lola: 12634261 markings, 38127759 edges, 118790 markings/sec, 85 secs
lola: 13441178 markings, 40134853 edges, 161383 markings/sec, 90 secs
lola: 14066209 markings, 42323987 edges, 125006 markings/sec, 95 secs
lola: 14795340 markings, 44468410 edges, 145826 markings/sec, 100 secs
lola: 15569960 markings, 46483534 edges, 154924 markings/sec, 105 secs
lola: 16231229 markings, 48660626 edges, 132254 markings/sec, 110 secs
lola: 16996749 markings, 50738959 edges, 153104 markings/sec, 115 secs
lola: 17635642 markings, 52905959 edges, 127779 markings/sec, 120 secs
lola: 18329290 markings, 54991662 edges, 138730 markings/sec, 125 secs
lola: 19112829 markings, 56983007 edges, 156708 markings/sec, 130 secs
lola: 19988173 markings, 59078941 edges, 175069 markings/sec, 135 secs
lola: 20904544 markings, 61424094 edges, 183274 markings/sec, 140 secs
lola: 21709148 markings, 63624613 edges, 160921 markings/sec, 145 secs
lola: 22555453 markings, 65863549 edges, 169261 markings/sec, 150 secs
lola: 23516814 markings, 67946677 edges, 192272 markings/sec, 155 secs
lola: 24478775 markings, 69934443 edges, 192392 markings/sec, 160 secs
lola: 25402051 markings, 71962631 edges, 184655 markings/sec, 165 secs
lola: 26273642 markings, 73871534 edges, 174318 markings/sec, 170 secs
lola: 27136502 markings, 75780219 edges, 172572 markings/sec, 175 secs
lola: 28024140 markings, 78123385 edges, 177528 markings/sec, 180 secs
lola: 28850936 markings, 80488351 edges, 165359 markings/sec, 185 secs
lola: 29640275 markings, 82826698 edges, 157868 markings/sec, 190 secs
lola: 30573559 markings, 84927445 edges, 186657 markings/sec, 195 secs
lola: 31393776 markings, 86703677 edges, 164043 markings/sec, 200 secs
lola: 32225408 markings, 88578289 edges, 166326 markings/sec, 205 secs
lola: 33066200 markings, 90896171 edges, 168158 markings/sec, 210 secs
lola: 33862149 markings, 93253252 edges, 159190 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: 686064 markings, 2645718 edges, 137213 markings/sec, 0 secs
lola: 1354146 markings, 5466262 edges, 133616 markings/sec, 5 secs
lola: 2048781 markings, 8153454 edges, 138927 markings/sec, 10 secs
lola: 2732124 markings, 10821207 edges, 136669 markings/sec, 15 secs
lola: 3404548 markings, 13472659 edges, 134485 markings/sec, 20 secs
lola: 4031812 markings, 16371818 edges, 125453 markings/sec, 25 secs
lola: 4684439 markings, 19137282 edges, 130525 markings/sec, 30 secs
lola: 5310831 markings, 22052211 edges, 125278 markings/sec, 35 secs
lola: 5932322 markings, 25128825 edges, 124298 markings/sec, 40 secs
lola: 6537585 markings, 28325300 edges, 121053 markings/sec, 45 secs
lola: 7100683 markings, 31381665 edges, 112620 markings/sec, 50 secs
lola: 7721720 markings, 34177645 edges, 124207 markings/sec, 55 secs
lola: 8222662 markings, 36801167 edges, 100188 markings/sec, 60 secs
lola: 8719770 markings, 39467659 edges, 99422 markings/sec, 65 secs
lola: 9174071 markings, 42354880 edges, 90860 markings/sec, 70 secs
lola: 9708891 markings, 45510101 edges, 106964 markings/sec, 75 secs
lola: 10209029 markings, 48434652 edges, 100028 markings/sec, 80 secs
lola: 10694960 markings, 51425226 edges, 97186 markings/sec, 85 secs
lola: 11289295 markings, 54246078 edges, 118867 markings/sec, 90 secs
lola: 11849668 markings, 57120930 edges, 112075 markings/sec, 95 secs
lola: 12418410 markings, 59887179 edges, 113748 markings/sec, 100 secs
lola: 13116949 markings, 62526397 edges, 139708 markings/sec, 105 secs
lola: 13761217 markings, 65277271 edges, 128854 markings/sec, 110 secs
lola: 14399416 markings, 68034248 edges, 127640 markings/sec, 115 secs
lola: 15005750 markings, 71033343 edges, 121267 markings/sec, 120 secs
lola: 15596166 markings, 74134589 edges, 118083 markings/sec, 125 secs
lola: 16132612 markings, 76805546 edges, 107289 markings/sec, 130 secs
lola: 16625314 markings, 79552332 edges, 98540 markings/sec, 135 secs
lola: 17074085 markings, 82441808 edges, 89754 markings/sec, 140 secs
lola: 17636303 markings, 85234257 edges, 112444 markings/sec, 145 secs
lola: 18218077 markings, 87974147 edges, 116355 markings/sec, 150 secs
lola: 18853555 markings, 90667349 edges, 127096 markings/sec, 155 secs
lola: 19397865 markings, 93298436 edges, 108862 markings/sec, 160 secs
lola: 19918960 markings, 96175293 edges, 104219 markings/sec, 165 secs
lola: 20432154 markings, 98845230 edges, 102639 markings/sec, 170 secs
lola: 20923918 markings, 101582439 edges, 98353 markings/sec, 175 secs
lola: 21447498 markings, 104456023 edges, 104716 markings/sec, 180 secs
lola: 21997799 markings, 107153635 edges, 110060 markings/sec, 185 secs
lola: 22534464 markings, 109484958 edges, 107333 markings/sec, 190 secs
lola: 23031847 markings, 111795871 edges, 99477 markings/sec, 195 secs
lola: 23470906 markings, 114222266 edges, 87812 markings/sec, 200 secs
lola: 23937789 markings, 116780028 edges, 93377 markings/sec, 205 secs
lola: 24446261 markings, 119168165 edges, 101694 markings/sec, 210 secs
lola: 24939422 markings, 121447834 edges, 98632 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: 1048667 markings, 2167115 edges, 209733 markings/sec, 0 secs
lola: 1921736 markings, 4042974 edges, 174614 markings/sec, 5 secs
lola: 2775231 markings, 5923567 edges, 170699 markings/sec, 10 secs
lola: 3644092 markings, 8554026 edges, 173772 markings/sec, 15 secs
lola: 4556213 markings, 11232345 edges, 182424 markings/sec, 20 secs
lola: 5436654 markings, 13144871 edges, 176088 markings/sec, 25 secs
lola: 6291535 markings, 15659705 edges, 170976 markings/sec, 30 secs
lola: 7186384 markings, 17794061 edges, 178970 markings/sec, 35 secs
lola: 7854723 markings, 19793801 edges, 133668 markings/sec, 40 secs
lola: 8494805 markings, 21572631 edges, 128016 markings/sec, 45 secs
lola: 9121108 markings, 23386471 edges, 125261 markings/sec, 50 secs
lola: 9773965 markings, 25144384 edges, 130571 markings/sec, 55 secs
lola: 10335027 markings, 27226767 edges, 112212 markings/sec, 60 secs
lola: 10892504 markings, 29409703 edges, 111495 markings/sec, 65 secs
lola: 11447115 markings, 31567375 edges, 110922 markings/sec, 70 secs
lola: 12008852 markings, 33684358 edges, 112347 markings/sec, 75 secs
lola: 12559620 markings, 35827957 edges, 110154 markings/sec, 80 secs
lola: 13118758 markings, 37971963 edges, 111828 markings/sec, 85 secs
lola: 13663086 markings, 40113309 edges, 108866 markings/sec, 90 secs
lola: 14204985 markings, 42193332 edges, 108380 markings/sec, 95 secs
lola: 14737768 markings, 44339981 edges, 106557 markings/sec, 100 secs
lola: 15296542 markings, 46480204 edges, 111755 markings/sec, 105 secs
lola: 15839514 markings, 48627299 edges, 108594 markings/sec, 110 secs
lola: 16377441 markings, 50745777 edges, 107585 markings/sec, 115 secs
lola: 16908452 markings, 52912863 edges, 106202 markings/sec, 120 secs
lola: 17452543 markings, 55060384 edges, 108818 markings/sec, 125 secs
lola: 17987263 markings, 57204542 edges, 106944 markings/sec, 130 secs
lola: 18529598 markings, 59250252 edges, 108467 markings/sec, 135 secs
lola: 19315573 markings, 61374942 edges, 157195 markings/sec, 140 secs
lola: 20092275 markings, 63408705 edges, 155340 markings/sec, 145 secs
lola: 20829597 markings, 65540737 edges, 147464 markings/sec, 150 secs
lola: 21579232 markings, 67618067 edges, 149927 markings/sec, 155 secs
lola: 22325582 markings, 69634785 edges, 149270 markings/sec, 160 secs
lola: 23039355 markings, 71554708 edges, 142755 markings/sec, 165 secs
lola: 23736449 markings, 73450150 edges, 139419 markings/sec, 170 secs
lola: 24437802 markings, 75684980 edges, 140271 markings/sec, 175 secs
lola: 25074198 markings, 78047797 edges, 127279 markings/sec, 180 secs
lola: 25750762 markings, 80436123 edges, 135313 markings/sec, 185 secs
lola: 26423816 markings, 83065996 edges, 134611 markings/sec, 190 secs
lola: 27118944 markings, 85623923 edges, 139026 markings/sec, 195 secs
lola: 27751176 markings, 87932014 edges, 126446 markings/sec, 200 secs
lola: 28399309 markings, 90815657 edges, 129627 markings/sec, 205 secs
lola: 29109606 markings, 92941662 edges, 142059 markings/sec, 210 secs
lola: 29845855 markings, 94942001 edges, 147250 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: 758812 markings, 1952642 edges, 151762 markings/sec, 0 secs
lola: 1430465 markings, 4125108 edges, 134331 markings/sec, 5 secs
lola: 2129651 markings, 6460282 edges, 139837 markings/sec, 10 secs
lola: 2830848 markings, 8801223 edges, 140239 markings/sec, 15 secs
lola: 3510485 markings, 11492126 edges, 135927 markings/sec, 20 secs
lola: 4151592 markings, 14085735 edges, 128221 markings/sec, 25 secs
lola: 4836632 markings, 16464721 edges, 137008 markings/sec, 30 secs
lola: 5521277 markings, 19015753 edges, 136929 markings/sec, 35 secs
lola: 6134977 markings, 21548987 edges, 122740 markings/sec, 40 secs
lola: 6698070 markings, 23926049 edges, 112619 markings/sec, 45 secs
lola: 7242228 markings, 26347489 edges, 108832 markings/sec, 50 secs
lola: 7818707 markings, 28943768 edges, 115296 markings/sec, 55 secs
lola: 8390471 markings, 31524123 edges, 114353 markings/sec, 60 secs
lola: 8995062 markings, 34107249 edges, 120918 markings/sec, 65 secs
lola: 9571023 markings, 36700488 edges, 115192 markings/sec, 70 secs
lola: 10105606 markings, 39046938 edges, 106917 markings/sec, 75 secs
lola: 10721224 markings, 41457538 edges, 123124 markings/sec, 80 secs
lola: 11372986 markings, 43839463 edges, 130352 markings/sec, 85 secs
lola: 11989454 markings, 46357846 edges, 123294 markings/sec, 90 secs
lola: 12590578 markings, 48940451 edges, 120225 markings/sec, 95 secs
lola: 13201540 markings, 51499969 edges, 122192 markings/sec, 100 secs
lola: 13826936 markings, 54025913 edges, 125079 markings/sec, 105 secs
lola: 14443473 markings, 56591195 edges, 123307 markings/sec, 110 secs
lola: 15060382 markings, 59088208 edges, 123382 markings/sec, 115 secs
lola: 15644284 markings, 61774186 edges, 116780 markings/sec, 120 secs
lola: 16203142 markings, 64574234 edges, 111772 markings/sec, 125 secs
lola: 16760572 markings, 67420454 edges, 111486 markings/sec, 130 secs
lola: 17319297 markings, 70207378 edges, 111745 markings/sec, 135 secs
lola: 17899781 markings, 73046537 edges, 116097 markings/sec, 140 secs
lola: 18481721 markings, 75899661 edges, 116388 markings/sec, 145 secs
lola: 19034323 markings, 78825171 edges, 110520 markings/sec, 150 secs
lola: 19598968 markings, 81744858 edges, 112929 markings/sec, 155 secs
lola: 20172678 markings, 84647673 edges, 114742 markings/sec, 160 secs
lola: 20716218 markings, 87777691 edges, 108708 markings/sec, 165 secs
lola: 21246475 markings, 91040323 edges, 106051 markings/sec, 170 secs
lola: 21800592 markings, 93724374 edges, 110823 markings/sec, 175 secs
lola: 22344271 markings, 96533275 edges, 108736 markings/sec, 180 secs
lola: 22931050 markings, 99397086 edges, 117356 markings/sec, 185 secs
lola: 23481378 markings, 102182722 edges, 110066 markings/sec, 190 secs
lola: 24036758 markings, 105047107 edges, 111076 markings/sec, 195 secs
lola: 24598006 markings, 107891302 edges, 112250 markings/sec, 200 secs
lola: 25164842 markings, 110797084 edges, 113367 markings/sec, 205 secs
lola: 25734328 markings, 113697934 edges, 113897 markings/sec, 210 secs
lola: 26292717 markings, 116747205 edges, 111678 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: 1045762 markings, 2158696 edges, 209152 markings/sec, 0 secs
lola: 1922273 markings, 4044102 edges, 175302 markings/sec, 5 secs
lola: 2779759 markings, 5931532 edges, 171497 markings/sec, 10 secs
lola: 3654123 markings, 8591383 edges, 174873 markings/sec, 15 secs
lola: 4570614 markings, 11265067 edges, 183298 markings/sec, 20 secs
lola: 5452333 markings, 13173944 edges, 176344 markings/sec, 25 secs
lola: 6308483 markings, 15723051 edges, 171230 markings/sec, 30 secs
lola: 7210739 markings, 17873043 edges, 180451 markings/sec, 35 secs
lola: 7878407 markings, 19851085 edges, 133534 markings/sec, 40 secs
lola: 8515867 markings, 21635086 edges, 127492 markings/sec, 45 secs
lola: 9145170 markings, 23455638 edges, 125861 markings/sec, 50 secs
lola: 9797761 markings, 25219541 edges, 130518 markings/sec, 55 secs
lola: 10355951 markings, 27304359 edges, 111638 markings/sec, 60 secs
lola: 10914467 markings, 29512884 edges, 111703 markings/sec, 65 secs
lola: 11471479 markings, 31662923 edges, 111402 markings/sec, 70 secs
lola: 12038908 markings, 33771500 edges, 113486 markings/sec, 75 secs
lola: 12584856 markings, 35929510 edges, 109190 markings/sec, 80 secs
lola: 13143432 markings, 38065947 edges, 111715 markings/sec, 85 secs
lola: 13690002 markings, 40216107 edges, 109314 markings/sec, 90 secs
lola: 14231611 markings, 42311815 edges, 108322 markings/sec, 95 secs
lola: 14770272 markings, 44448200 edges, 107732 markings/sec, 100 secs
lola: 15324637 markings, 46602457 edges, 110873 markings/sec, 105 secs
lola: 15796902 markings, 48443317 edges, 94453 markings/sec, 110 secs
lola: 16334917 markings, 50581378 edges, 107603 markings/sec, 115 secs
lola: 16865046 markings, 52742916 edges, 106026 markings/sec, 120 secs
lola: 17413677 markings, 54881295 edges, 109726 markings/sec, 125 secs
lola: 17948654 markings, 57029607 edges, 106995 markings/sec, 130 secs
lola: 18482152 markings, 59116202 edges, 106700 markings/sec, 135 secs
lola: 19253528 markings, 61209495 edges, 154275 markings/sec, 140 secs
lola: 20039236 markings, 63251771 edges, 157142 markings/sec, 145 secs
lola: 20771505 markings, 65393452 edges, 146454 markings/sec, 150 secs
lola: 21533833 markings, 67488070 edges, 152466 markings/sec, 155 secs
lola: 22279966 markings, 69520872 edges, 149227 markings/sec, 160 secs
lola: 23002134 markings, 71457189 edges, 144434 markings/sec, 165 secs
lola: 23706434 markings, 73345773 edges, 140860 markings/sec, 170 secs
lola: 24414008 markings, 75595548 edges, 141515 markings/sec, 175 secs
lola: 25055760 markings, 77987522 edges, 128350 markings/sec, 180 secs
lola: 25729554 markings, 80360783 edges, 134759 markings/sec, 185 secs
lola: 26411384 markings, 83016384 edges, 136366 markings/sec, 190 secs
lola: 27110706 markings, 85593523 edges, 139864 markings/sec, 195 secs
lola: 27748352 markings, 87919189 edges, 127529 markings/sec, 200 secs
lola: 28405514 markings, 90836480 edges, 131432 markings/sec, 205 secs
lola: 29118522 markings, 92963553 edges, 142602 markings/sec, 210 secs
lola: 29858368 markings, 94973244 edges, 147969 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: 881122 markings, 2262029 edges, 176224 markings/sec, 0 secs
lola: 1623481 markings, 4523261 edges, 148472 markings/sec, 5 secs
lola: 2479609 markings, 6795405 edges, 171226 markings/sec, 10 secs
lola: 3428183 markings, 9073917 edges, 189715 markings/sec, 15 secs
lola: 4360821 markings, 11402643 edges, 186528 markings/sec, 20 secs
lola: 5075429 markings, 13719549 edges, 142922 markings/sec, 25 secs
lola: 5798698 markings, 16003876 edges, 144654 markings/sec, 30 secs
lola: 6491659 markings, 18451856 edges, 138592 markings/sec, 35 secs
lola: 7057281 markings, 20919938 edges, 113124 markings/sec, 40 secs
lola: 7592959 markings, 23283914 edges, 107136 markings/sec, 45 secs
lola: 8122545 markings, 25702714 edges, 105917 markings/sec, 50 secs
lola: 8628032 markings, 28040317 edges, 101097 markings/sec, 55 secs
lola: 9159582 markings, 30495388 edges, 106310 markings/sec, 60 secs
lola: 9683736 markings, 32928001 edges, 104831 markings/sec, 65 secs
lola: 10208935 markings, 35347627 edges, 105040 markings/sec, 70 secs
lola: 10745205 markings, 37649647 edges, 107254 markings/sec, 75 secs
lola: 11246224 markings, 39986118 edges, 100204 markings/sec, 80 secs
lola: 11897944 markings, 42223228 edges, 130344 markings/sec, 85 secs
lola: 12669073 markings, 44444881 edges, 154226 markings/sec, 90 secs
lola: 13442817 markings, 46799966 edges, 154749 markings/sec, 95 secs
lola: 14110121 markings, 49097288 edges, 133461 markings/sec, 100 secs
lola: 14737989 markings, 51380146 edges, 125574 markings/sec, 105 secs
lola: 15290536 markings, 53732753 edges, 110509 markings/sec, 110 secs
lola: 15795686 markings, 56028710 edges, 101030 markings/sec, 115 secs
lola: 16290134 markings, 58318508 edges, 98890 markings/sec, 120 secs
lola: 16817926 markings, 60559284 edges, 105558 markings/sec, 125 secs
lola: 17298459 markings, 62815524 edges, 96107 markings/sec, 130 secs
lola: 17923779 markings, 65063117 edges, 125064 markings/sec, 135 secs
lola: 18538704 markings, 67028255 edges, 122985 markings/sec, 140 secs
lola: 19361851 markings, 69365805 edges, 164629 markings/sec, 145 secs
lola: 20143516 markings, 71865061 edges, 156333 markings/sec, 150 secs
lola: 20831211 markings, 74234824 edges, 137539 markings/sec, 155 secs
lola: 21453125 markings, 76527337 edges, 124383 markings/sec, 160 secs
lola: 22029869 markings, 78970092 edges, 115349 markings/sec, 165 secs
lola: 22530257 markings, 81297232 edges, 100078 markings/sec, 170 secs
lola: 23013340 markings, 83548796 edges, 96617 markings/sec, 175 secs
lola: 23498567 markings, 85915968 edges, 97045 markings/sec, 180 secs
lola: 23972029 markings, 88215071 edges, 94692 markings/sec, 185 secs
lola: 24491022 markings, 90434934 edges, 103799 markings/sec, 190 secs
lola: 25058089 markings, 92694832 edges, 113413 markings/sec, 195 secs
lola: 25782647 markings, 94924173 edges, 144912 markings/sec, 200 secs
lola: 26597261 markings, 97187945 edges, 162923 markings/sec, 205 secs
lola: 27368018 markings, 99583668 edges, 154151 markings/sec, 210 secs
lola: 27971697 markings, 101785414 edges, 120736 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: 704106 markings, 2595008 edges, 140821 markings/sec, 0 secs
lola: 1363155 markings, 5011456 edges, 131810 markings/sec, 5 secs
lola: 1959594 markings, 8029676 edges, 119288 markings/sec, 10 secs
lola: 2592786 markings, 10739921 edges, 126638 markings/sec, 15 secs
lola: 3188336 markings, 13588488 edges, 119110 markings/sec, 20 secs
lola: 3820139 markings, 16253835 edges, 126361 markings/sec, 25 secs
lola: 4445010 markings, 18872321 edges, 124974 markings/sec, 30 secs
lola: 5033542 markings, 21520937 edges, 117706 markings/sec, 35 secs
lola: 5576883 markings, 24615118 edges, 108668 markings/sec, 40 secs
lola: 6107192 markings, 27746881 edges, 106062 markings/sec, 45 secs
lola: 6667165 markings, 30658004 edges, 111995 markings/sec, 50 secs
lola: 7207053 markings, 33669154 edges, 107978 markings/sec, 55 secs
lola: 7742870 markings, 36589101 edges, 107163 markings/sec, 60 secs
lola: 8361504 markings, 39268101 edges, 123727 markings/sec, 65 secs
lola: 9014289 markings, 41805436 edges, 130557 markings/sec, 70 secs
lola: 9618115 markings, 44685324 edges, 120765 markings/sec, 75 secs
lola: 10220682 markings, 47772249 edges, 120513 markings/sec, 80 secs
lola: 10855631 markings, 50431658 edges, 126990 markings/sec, 85 secs
lola: 11473306 markings, 53163026 edges, 123535 markings/sec, 90 secs
lola: 12124190 markings, 55744055 edges, 130177 markings/sec, 95 secs
lola: 12717634 markings, 58542729 edges, 118689 markings/sec, 100 secs
lola: 13258050 markings, 61378718 edges, 108083 markings/sec, 105 secs
lola: 13837028 markings, 64075105 edges, 115796 markings/sec, 110 secs
lola: 14441636 markings, 66779050 edges, 120922 markings/sec, 115 secs
lola: 14986001 markings, 69440359 edges, 108873 markings/sec, 120 secs
lola: 15590981 markings, 72034751 edges, 120996 markings/sec, 125 secs
lola: 16226738 markings, 74544747 edges, 127151 markings/sec, 130 secs
lola: 16811302 markings, 77406190 edges, 116913 markings/sec, 135 secs
lola: 17350686 markings, 80274872 edges, 107877 markings/sec, 140 secs
lola: 17861676 markings, 82993708 edges, 102198 markings/sec, 145 secs
lola: 18339753 markings, 85436146 edges, 95615 markings/sec, 150 secs
lola: 18807923 markings, 87927361 edges, 93634 markings/sec, 155 secs
lola: 19281009 markings, 90375292 edges, 94617 markings/sec, 160 secs
lola: 19745276 markings, 92815297 edges, 92853 markings/sec, 165 secs
lola: 20207449 markings, 95259911 edges, 92435 markings/sec, 170 secs
lola: 20661137 markings, 97525279 edges, 90738 markings/sec, 175 secs
lola: 21113497 markings, 99789745 edges, 90472 markings/sec, 180 secs
lola: 21580122 markings, 102216849 edges, 93325 markings/sec, 185 secs
lola: 22044725 markings, 104554643 edges, 92921 markings/sec, 190 secs
lola: 22496481 markings, 106916341 edges, 90351 markings/sec, 195 secs
lola: 22965522 markings, 109417762 edges, 93808 markings/sec, 200 secs
lola: 23431305 markings, 111821487 edges, 93157 markings/sec, 205 secs
lola: 23877111 markings, 114176317 edges, 89161 markings/sec, 210 secs
lola: 24319773 markings, 116516218 edges, 88532 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: 675886 markings, 2040553 edges, 135177 markings/sec, 0 secs
lola: 1440172 markings, 4100056 edges, 152857 markings/sec, 5 secs
lola: 2143488 markings, 6265007 edges, 140663 markings/sec, 10 secs
lola: 2850349 markings, 8366933 edges, 141372 markings/sec, 15 secs
lola: 3571396 markings, 10457365 edges, 144209 markings/sec, 20 secs
lola: 4269999 markings, 12539258 edges, 139721 markings/sec, 25 secs
lola: 4843911 markings, 14651020 edges, 114782 markings/sec, 30 secs
lola: 5558628 markings, 16767373 edges, 142943 markings/sec, 35 secs
lola: 6322565 markings, 18745642 edges, 152787 markings/sec, 40 secs
lola: 7029384 markings, 20831050 edges, 141364 markings/sec, 45 secs
lola: 7729268 markings, 22894647 edges, 139977 markings/sec, 50 secs
lola: 8367247 markings, 25053490 edges, 127596 markings/sec, 55 secs
lola: 9134888 markings, 27058147 edges, 153528 markings/sec, 60 secs
lola: 9920714 markings, 29153273 edges, 157165 markings/sec, 65 secs
lola: 10464612 markings, 31313985 edges, 108780 markings/sec, 70 secs
lola: 11261202 markings, 33371340 edges, 159318 markings/sec, 75 secs
lola: 11927830 markings, 35498249 edges, 133326 markings/sec, 80 secs
lola: 12491025 markings, 37636291 edges, 112639 markings/sec, 85 secs
lola: 13266058 markings, 39651547 edges, 155007 markings/sec, 90 secs
lola: 13900215 markings, 41815872 edges, 126831 markings/sec, 95 secs
lola: 14616420 markings, 43940942 edges, 143241 markings/sec, 100 secs
lola: 15392340 markings, 45964678 edges, 155184 markings/sec, 105 secs
lola: 15945958 markings, 47790223 edges, 110724 markings/sec, 110 secs
lola: 16662499 markings, 49864388 edges, 143308 markings/sec, 115 secs
lola: 17352835 markings, 51976654 edges, 138067 markings/sec, 120 secs
lola: 18055887 markings, 54057646 edges, 140610 markings/sec, 125 secs
lola: 18751225 markings, 56121405 edges, 139068 markings/sec, 130 secs
lola: 19583120 markings, 58139551 edges, 166379 markings/sec, 135 secs
lola: 20474211 markings, 60381629 edges, 178218 markings/sec, 140 secs
lola: 21343256 markings, 62604977 edges, 173809 markings/sec, 145 secs
lola: 22114380 markings, 64805945 edges, 154225 markings/sec, 150 secs
lola: 23066956 markings, 66958071 edges, 190515 markings/sec, 155 secs
lola: 24032066 markings, 69018756 edges, 193022 markings/sec, 160 secs
lola: 24934953 markings, 70952065 edges, 180577 markings/sec, 165 secs
lola: 25857115 markings, 72916649 edges, 184432 markings/sec, 170 secs
lola: 26629886 markings, 74682385 edges, 154554 markings/sec, 175 secs
lola: 27492202 markings, 76666806 edges, 172463 markings/sec, 180 secs
lola: 28357235 markings, 79037540 edges, 173007 markings/sec, 185 secs
lola: 29124802 markings, 81330698 edges, 153513 markings/sec, 190 secs
lola: 29938478 markings, 83513734 edges, 162735 markings/sec, 195 secs
lola: 30859949 markings, 85589333 edges, 184294 markings/sec, 200 secs
lola: 31703950 markings, 87447916 edges, 168800 markings/sec, 205 secs
lola: 32556251 markings, 89438588 edges, 170460 markings/sec, 210 secs
lola: 33361600 markings, 91770518 edges, 161070 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 222 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: 772181 markings, 1943624 edges, 154436 markings/sec, 0 secs
lola: 1566798 markings, 3896211 edges, 158923 markings/sec, 5 secs
lola: 2339386 markings, 5851960 edges, 154518 markings/sec, 10 secs
lola: 3139127 markings, 7762967 edges, 159948 markings/sec, 15 secs
lola: 3867765 markings, 9711217 edges, 145728 markings/sec, 20 secs
lola: 4643477 markings, 11658517 edges, 155142 markings/sec, 25 secs
lola: 5445178 markings, 13561397 edges, 160340 markings/sec, 30 secs
lola: 6118968 markings, 15233450 edges, 134758 markings/sec, 35 secs
lola: 6832061 markings, 17089196 edges, 142619 markings/sec, 40 secs
lola: 7670148 markings, 19021427 edges, 167617 markings/sec, 45 secs
lola: 8405858 markings, 20959266 edges, 147142 markings/sec, 50 secs
lola: 9230291 markings, 22940169 edges, 164887 markings/sec, 55 secs
lola: 9970796 markings, 24871468 edges, 148101 markings/sec, 60 secs
lola: 10734179 markings, 26668091 edges, 152677 markings/sec, 65 secs
lola: 11484668 markings, 28641490 edges, 150098 markings/sec, 70 secs
lola: 12297191 markings, 30555960 edges, 162505 markings/sec, 75 secs
lola: 13057596 markings, 32513370 edges, 152081 markings/sec, 80 secs
lola: 13860883 markings, 34445934 edges, 160657 markings/sec, 85 secs
lola: 14641447 markings, 36396411 edges, 156113 markings/sec, 90 secs
lola: 15527479 markings, 38179117 edges, 177206 markings/sec, 95 secs
lola: 16366980 markings, 40338834 edges, 167900 markings/sec, 100 secs
lola: 17102549 markings, 42428789 edges, 147114 markings/sec, 105 secs
lola: 17766790 markings, 44626716 edges, 132848 markings/sec, 110 secs
lola: 18467138 markings, 46769479 edges, 140070 markings/sec, 115 secs
lola: 19358083 markings, 48782681 edges, 178189 markings/sec, 120 secs
lola: 20255244 markings, 50564193 edges, 179432 markings/sec, 125 secs
lola: 20989974 markings, 52703779 edges, 146946 markings/sec, 130 secs
lola: 21628408 markings, 54783861 edges, 127687 markings/sec, 135 secs
lola: 22471858 markings, 56717233 edges, 168690 markings/sec, 140 secs
lola: 23289486 markings, 58701302 edges, 163526 markings/sec, 145 secs
lola: 24090738 markings, 60592400 edges, 160250 markings/sec, 150 secs
lola: 24871602 markings, 62482670 edges, 156173 markings/sec, 155 secs
lola: 25660886 markings, 64425389 edges, 157857 markings/sec, 160 secs
lola: 26515673 markings, 66516964 edges, 170957 markings/sec, 165 secs
lola: 27351236 markings, 68511325 edges, 167113 markings/sec, 170 secs
lola: 28189978 markings, 70500350 edges, 167748 markings/sec, 175 secs
lola: 28999322 markings, 72520045 edges, 161869 markings/sec, 180 secs
lola: 29779132 markings, 74527985 edges, 155962 markings/sec, 185 secs
lola: 30502485 markings, 76405854 edges, 144671 markings/sec, 190 secs
lola: 31167722 markings, 78360146 edges, 133047 markings/sec, 195 secs
lola: 31878030 markings, 80177257 edges, 142062 markings/sec, 200 secs
lola: 32625330 markings, 81816771 edges, 149460 markings/sec, 205 secs
lola: 33300208 markings, 83734738 edges, 134976 markings/sec, 210 secs
lola: 33974845 markings, 85741927 edges, 134927 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 221 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 332 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: 758646 markings, 2304183 edges, 151729 markings/sec, 0 secs
lola: 1377182 markings, 4818199 edges, 123707 markings/sec, 5 secs
lola: 1919467 markings, 7097236 edges, 108457 markings/sec, 10 secs
lola: 2447644 markings, 9451442 edges, 105635 markings/sec, 15 secs
lola: 3000868 markings, 11696852 edges, 110645 markings/sec, 20 secs
lola: 3521744 markings, 13901497 edges, 104175 markings/sec, 25 secs
lola: 4118849 markings, 16192322 edges, 119421 markings/sec, 30 secs
lola: 4681227 markings, 18454051 edges, 112476 markings/sec, 35 secs
lola: 5229352 markings, 20619894 edges, 109625 markings/sec, 40 secs
lola: 5869671 markings, 22571741 edges, 128064 markings/sec, 45 secs
lola: 6486472 markings, 24970517 edges, 123360 markings/sec, 50 secs
lola: 7060474 markings, 27568132 edges, 114800 markings/sec, 55 secs
lola: 7670766 markings, 29911697 edges, 122058 markings/sec, 60 secs
lola: 8241297 markings, 32276297 edges, 114106 markings/sec, 65 secs
lola: 8748442 markings, 34462118 edges, 101429 markings/sec, 70 secs
lola: 9343645 markings, 36804164 edges, 119041 markings/sec, 75 secs
lola: 9886802 markings, 39115846 edges, 108631 markings/sec, 80 secs
lola: 10370321 markings, 41352424 edges, 96704 markings/sec, 85 secs
lola: 10836709 markings, 43572084 edges, 93278 markings/sec, 90 secs
lola: 11367292 markings, 45654746 edges, 106117 markings/sec, 95 secs
lola: 11953058 markings, 48065205 edges, 117153 markings/sec, 100 secs
lola: 12456592 markings, 50417785 edges, 100707 markings/sec, 105 secs
lola: 12944922 markings, 52849524 edges, 97666 markings/sec, 110 secs
lola: 13444242 markings, 55094131 edges, 99864 markings/sec, 115 secs
lola: 13921922 markings, 57286879 edges, 95536 markings/sec, 120 secs
lola: 14357918 markings, 59439962 edges, 87199 markings/sec, 125 secs
lola: 14811513 markings, 61703063 edges, 90719 markings/sec, 130 secs
lola: 15259292 markings, 63945239 edges, 89556 markings/sec, 135 secs
lola: 15673342 markings, 66154443 edges, 82810 markings/sec, 140 secs
lola: 16096523 markings, 68378568 edges, 84636 markings/sec, 145 secs
lola: 16536375 markings, 70608255 edges, 87970 markings/sec, 150 secs
lola: 16966604 markings, 72734371 edges, 86046 markings/sec, 155 secs
lola: 17399702 markings, 74902879 edges, 86620 markings/sec, 160 secs
lola: 17846052 markings, 77175769 edges, 89270 markings/sec, 165 secs
lola: 18328414 markings, 79548167 edges, 96472 markings/sec, 170 secs
lola: 18768422 markings, 81806182 edges, 88002 markings/sec, 175 secs
lola: 19250315 markings, 83975854 edges, 96379 markings/sec, 180 secs
lola: 19666116 markings, 86055690 edges, 83160 markings/sec, 185 secs
lola: 20071015 markings, 88309469 edges, 80980 markings/sec, 190 secs
lola: 20488992 markings, 90541630 edges, 83595 markings/sec, 195 secs
lola: 20944046 markings, 92728734 edges, 91011 markings/sec, 200 secs
lola: 21379125 markings, 94941701 edges, 87016 markings/sec, 205 secs
lola: 21810978 markings, 97083277 edges, 86371 markings/sec, 210 secs
lola: 22202839 markings, 99140231 edges, 78372 markings/sec, 215 secs
lola: 22651964 markings, 101187780 edges, 89825 markings/sec, 220 secs
lola: 23059437 markings, 103305301 edges, 81495 markings/sec, 225 secs
lola: 23505197 markings, 105360427 edges, 89152 markings/sec, 230 secs
lola: 23941324 markings, 107317131 edges, 87225 markings/sec, 235 secs
lola: 24373084 markings, 109397624 edges, 86352 markings/sec, 240 secs
lola: 24800019 markings, 111483200 edges, 85387 markings/sec, 245 secs
lola: 25315460 markings, 113687796 edges, 103088 markings/sec, 250 secs
lola: 25854195 markings, 115922549 edges, 107747 markings/sec, 255 secs
lola: 26368047 markings, 118019401 edges, 102770 markings/sec, 260 secs
lola: 26917270 markings, 120143502 edges, 109845 markings/sec, 265 secs
lola: 27450514 markings, 122464510 edges, 106649 markings/sec, 270 secs
lola: 27961619 markings, 124944937 edges, 102221 markings/sec, 275 secs
lola: 28469741 markings, 127328399 edges, 101624 markings/sec, 280 secs
lola: 28964555 markings, 129458955 edges, 98963 markings/sec, 285 secs
lola: 29454840 markings, 131708542 edges, 98057 markings/sec, 290 secs
lola: 29897332 markings, 133836720 edges, 88498 markings/sec, 295 secs
lola: 30357582 markings, 135861014 edges, 92050 markings/sec, 300 secs
lola: 30822879 markings, 138296777 edges, 93059 markings/sec, 305 secs
lola: 31269872 markings, 140631419 edges, 89399 markings/sec, 310 secs
lola: 31689343 markings, 142875484 edges, 83894 markings/sec, 315 secs
lola: 32117894 markings, 145054369 edges, 85710 markings/sec, 320 secs
lola: 32558780 markings, 147282615 edges, 88177 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: 898444 markings, 1829329 edges, 179689 markings/sec, 0 secs
lola: 1883967 markings, 3874623 edges, 197105 markings/sec, 5 secs
lola: 2922555 markings, 6158457 edges, 207718 markings/sec, 10 secs
lola: 3735559 markings, 8097176 edges, 162601 markings/sec, 15 secs
lola: 4654181 markings, 10109592 edges, 183724 markings/sec, 20 secs
lola: 5545529 markings, 12135086 edges, 178270 markings/sec, 25 secs
lola: 6425675 markings, 14185440 edges, 176029 markings/sec, 30 secs
lola: 7226347 markings, 16029951 edges, 160134 markings/sec, 35 secs
lola: 7942431 markings, 18031180 edges, 143217 markings/sec, 40 secs
lola: 8746754 markings, 19963379 edges, 160865 markings/sec, 45 secs
lola: 9594108 markings, 21720315 edges, 169471 markings/sec, 50 secs
lola: 10372790 markings, 23617559 edges, 155736 markings/sec, 55 secs
lola: 11187806 markings, 25413874 edges, 163003 markings/sec, 60 secs
lola: 11978085 markings, 27226864 edges, 158056 markings/sec, 65 secs
lola: 12801732 markings, 29553693 edges, 164729 markings/sec, 70 secs
lola: 13640215 markings, 31950937 edges, 167697 markings/sec, 75 secs
lola: 14403320 markings, 34301450 edges, 152621 markings/sec, 80 secs
lola: 15172874 markings, 36568778 edges, 153911 markings/sec, 85 secs
lola: 15964438 markings, 39000596 edges, 158313 markings/sec, 90 secs
lola: 16787334 markings, 41537730 edges, 164579 markings/sec, 95 secs
lola: 17561018 markings, 43988519 edges, 154737 markings/sec, 100 secs
lola: 18303586 markings, 46220774 edges, 148514 markings/sec, 105 secs
lola: 19032769 markings, 48689711 edges, 145837 markings/sec, 110 secs
lola: 19790806 markings, 51620903 edges, 151607 markings/sec, 115 secs
lola: 20507931 markings, 54225795 edges, 143425 markings/sec, 120 secs
lola: 21340766 markings, 56822006 edges, 166567 markings/sec, 125 secs
lola: 21970415 markings, 59125306 edges, 125930 markings/sec, 130 secs
lola: 22698871 markings, 61407993 edges, 145691 markings/sec, 135 secs
lola: 23394387 markings, 63695514 edges, 139103 markings/sec, 140 secs
lola: 24017828 markings, 66195666 edges, 124688 markings/sec, 145 secs
lola: 24704191 markings, 68395360 edges, 137273 markings/sec, 150 secs
lola: 25332396 markings, 70539185 edges, 125641 markings/sec, 155 secs
lola: 26006448 markings, 72913885 edges, 134810 markings/sec, 160 secs
lola: 26705007 markings, 75619479 edges, 139712 markings/sec, 165 secs
lola: 27349910 markings, 78176240 edges, 128981 markings/sec, 170 secs
lola: 28059569 markings, 81109390 edges, 141932 markings/sec, 175 secs
lola: 28721928 markings, 83826937 edges, 132472 markings/sec, 180 secs
lola: 29373623 markings, 86871644 edges, 130339 markings/sec, 185 secs
lola: 30076731 markings, 89403855 edges, 140622 markings/sec, 190 secs
lola: 30892874 markings, 91984483 edges, 163229 markings/sec, 195 secs
lola: 31536278 markings, 94171860 edges, 128681 markings/sec, 200 secs
lola: 32213184 markings, 96512357 edges, 135381 markings/sec, 205 secs
lola: 32896537 markings, 98754703 edges, 136671 markings/sec, 210 secs
lola: 33547158 markings, 101086118 edges, 130124 markings/sec, 215 secs
lola: 34169018 markings, 103615675 edges, 124372 markings/sec, 220 secs
lola: 34818124 markings, 105695635 edges, 129821 markings/sec, 225 secs
lola: 35432181 markings, 107884078 edges, 122811 markings/sec, 230 secs
lola: 36076385 markings, 110205542 edges, 128841 markings/sec, 235 secs
lola: 36754965 markings, 112934440 edges, 135716 markings/sec, 240 secs
lola: 37361235 markings, 115418846 edges, 121254 markings/sec, 245 secs
lola: 37994092 markings, 118101234 edges, 126571 markings/sec, 250 secs
lola: 38668895 markings, 120981301 edges, 134961 markings/sec, 255 secs
lola: 39309286 markings, 123717861 edges, 128078 markings/sec, 260 secs
lola: 39934876 markings, 126887064 edges, 125118 markings/sec, 265 secs
lola: 40551942 markings, 129735453 edges, 123413 markings/sec, 270 secs
lola: 41158913 markings, 132269990 edges, 121394 markings/sec, 275 secs
lola: 41659733 markings, 134912285 edges, 100164 markings/sec, 280 secs
lola: 42227819 markings, 137373743 edges, 113617 markings/sec, 285 secs
lola: 42769080 markings, 140164308 edges, 108252 markings/sec, 290 secs
lola: 43330176 markings, 142770543 edges, 112219 markings/sec, 295 secs
lola: 43901163 markings, 145488916 edges, 114197 markings/sec, 300 secs
lola: 44470386 markings, 148396355 edges, 113845 markings/sec, 305 secs
lola: 44986683 markings, 151347747 edges, 103259 markings/sec, 310 secs
lola: 45541948 markings, 154427119 edges, 111053 markings/sec, 315 secs
lola: 46275964 markings, 156836945 edges, 146803 markings/sec, 320 secs
lola: 47196388 markings, 158865175 edges, 184085 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 1494661077170

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-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/DNAwalker-PT-07track28RR.tgz
mv 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 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 r028-blw3-149440263900056"
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 ;