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-05track28LR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612000038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496331063357


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-05track28LR: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-05track28LR @ 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-05track28LR-UpperBounds.task
lola: MAX(A11) : MAX(A25) : MAX(B9) : MAX(A11) : MAX(B16) : MAX(A18) : MAX(B9) : MAX(A27) : MAX(A17) : MAX(A7) : MAX(B10) : MAX(B16) : MAX(A12) : MAX(A15) : MAX(B10) : MAX(A12)
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(A11)
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: 909574 markings, 2279270 edges, 181915 markings/sec, 0 secs
lola: 1727248 markings, 4911843 edges, 163535 markings/sec, 5 secs
lola: 2571203 markings, 7380730 edges, 168791 markings/sec, 10 secs
lola: 3345956 markings, 9683258 edges, 154951 markings/sec, 15 secs
lola: 4026277 markings, 11599328 edges, 136064 markings/sec, 20 secs
lola: 4653187 markings, 13948363 edges, 125382 markings/sec, 25 secs
lola: 5290231 markings, 16196789 edges, 127409 markings/sec, 30 secs
lola: 5916633 markings, 18341022 edges, 125280 markings/sec, 35 secs
lola: 6505990 markings, 20667398 edges, 117871 markings/sec, 40 secs
lola: 7092001 markings, 22972452 edges, 117202 markings/sec, 45 secs
lola: 7642388 markings, 25355426 edges, 110077 markings/sec, 50 secs
lola: 8173785 markings, 27654307 edges, 106279 markings/sec, 55 secs
lola: 8716243 markings, 30002022 edges, 108492 markings/sec, 60 secs
lola: 9339820 markings, 32344259 edges, 124715 markings/sec, 65 secs
lola: 10027571 markings, 34862128 edges, 137550 markings/sec, 70 secs
lola: 10717770 markings, 37284531 edges, 138040 markings/sec, 75 secs
lola: 11400868 markings, 39949948 edges, 136620 markings/sec, 80 secs
lola: 12058757 markings, 42783209 edges, 131578 markings/sec, 85 secs
lola: 12687892 markings, 45164921 edges, 125827 markings/sec, 90 secs
lola: 13266534 markings, 47321941 edges, 115728 markings/sec, 95 secs
lola: 13867294 markings, 49660142 edges, 120152 markings/sec, 100 secs
lola: 14507315 markings, 52057873 edges, 128004 markings/sec, 105 secs
lola: 15054460 markings, 54301627 edges, 109429 markings/sec, 110 secs
lola: 15591357 markings, 56439803 edges, 107379 markings/sec, 115 secs
lola: 16121657 markings, 58677526 edges, 106060 markings/sec, 120 secs
lola: 16731353 markings, 61233762 edges, 121939 markings/sec, 125 secs
lola: 17263066 markings, 63820156 edges, 106343 markings/sec, 130 secs
lola: 17906367 markings, 66485159 edges, 128660 markings/sec, 135 secs
lola: 18486093 markings, 69126697 edges, 115945 markings/sec, 140 secs
lola: 19166865 markings, 72108844 edges, 136154 markings/sec, 145 secs
lola: 19860121 markings, 75632971 edges, 138651 markings/sec, 150 secs
lola: 20451129 markings, 78329874 edges, 118202 markings/sec, 155 secs
lola: 21015246 markings, 81128114 edges, 112823 markings/sec, 160 secs
lola: 21795510 markings, 83112877 edges, 156053 markings/sec, 165 secs
lola: 22457434 markings, 85119423 edges, 132385 markings/sec, 170 secs
lola: 23165815 markings, 87271809 edges, 141676 markings/sec, 175 secs
lola: 23850974 markings, 89387085 edges, 137032 markings/sec, 180 secs
lola: 24565966 markings, 91680757 edges, 142998 markings/sec, 185 secs
lola: 25267263 markings, 93965931 edges, 140259 markings/sec, 190 secs
lola: 25959933 markings, 96239949 edges, 138534 markings/sec, 195 secs
lola: 26665883 markings, 98521625 edges, 141190 markings/sec, 200 secs
lola: 27369100 markings, 100853988 edges, 140643 markings/sec, 205 secs
lola: 28024080 markings, 103067218 edges, 130996 markings/sec, 210 secs
lola: 28675481 markings, 105348191 edges, 130280 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(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: 726464 markings, 2121690 edges, 145293 markings/sec, 0 secs
lola: 1305532 markings, 4269491 edges, 115814 markings/sec, 5 secs
lola: 1879807 markings, 6352453 edges, 114855 markings/sec, 10 secs
lola: 2497262 markings, 8416707 edges, 123491 markings/sec, 15 secs
lola: 3077570 markings, 10464160 edges, 116062 markings/sec, 20 secs
lola: 3731974 markings, 12337531 edges, 130881 markings/sec, 25 secs
lola: 4349481 markings, 14465330 edges, 123501 markings/sec, 30 secs
lola: 4935706 markings, 16577645 edges, 117245 markings/sec, 35 secs
lola: 5524233 markings, 18728434 edges, 117705 markings/sec, 40 secs
lola: 6055880 markings, 20864936 edges, 106329 markings/sec, 45 secs
lola: 6667539 markings, 22815397 edges, 122332 markings/sec, 50 secs
lola: 7190018 markings, 25078308 edges, 104496 markings/sec, 55 secs
lola: 7720172 markings, 27166717 edges, 106031 markings/sec, 60 secs
lola: 8217319 markings, 29291426 edges, 99429 markings/sec, 65 secs
lola: 8693472 markings, 31407889 edges, 95231 markings/sec, 70 secs
lola: 9182067 markings, 33477305 edges, 97719 markings/sec, 75 secs
lola: 9648688 markings, 35526138 edges, 93324 markings/sec, 80 secs
lola: 10144956 markings, 37701556 edges, 99254 markings/sec, 85 secs
lola: 10650329 markings, 39767311 edges, 101075 markings/sec, 90 secs
lola: 11110816 markings, 41860977 edges, 92097 markings/sec, 95 secs
lola: 11591005 markings, 43958957 edges, 96038 markings/sec, 100 secs
lola: 12068580 markings, 46012729 edges, 95515 markings/sec, 105 secs
lola: 12546351 markings, 47980125 edges, 95554 markings/sec, 110 secs
lola: 13021271 markings, 49976787 edges, 94984 markings/sec, 115 secs
lola: 13508710 markings, 51934072 edges, 97488 markings/sec, 120 secs
lola: 14026236 markings, 53940357 edges, 103505 markings/sec, 125 secs
lola: 14597751 markings, 55953365 edges, 114303 markings/sec, 130 secs
lola: 15162765 markings, 57971770 edges, 113003 markings/sec, 135 secs
lola: 15702426 markings, 60205608 edges, 107932 markings/sec, 140 secs
lola: 16234321 markings, 62222136 edges, 106379 markings/sec, 145 secs
lola: 16737377 markings, 64201218 edges, 100611 markings/sec, 150 secs
lola: 17230701 markings, 66355379 edges, 98665 markings/sec, 155 secs
lola: 17692936 markings, 68435076 edges, 92447 markings/sec, 160 secs
lola: 18155019 markings, 70449804 edges, 92417 markings/sec, 165 secs
lola: 18594481 markings, 72479265 edges, 87892 markings/sec, 170 secs
lola: 19064161 markings, 74477734 edges, 93936 markings/sec, 175 secs
lola: 19510722 markings, 76397879 edges, 89312 markings/sec, 180 secs
lola: 19981219 markings, 78277483 edges, 94099 markings/sec, 185 secs
lola: 20445003 markings, 80193130 edges, 92757 markings/sec, 190 secs
lola: 21006029 markings, 82314765 edges, 112205 markings/sec, 195 secs
lola: 21550874 markings, 84282647 edges, 108969 markings/sec, 200 secs
lola: 22093965 markings, 86469081 edges, 108618 markings/sec, 205 secs
lola: 22606453 markings, 88875520 edges, 102498 markings/sec, 210 secs
lola: 23134919 markings, 91079095 edges, 105693 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(B9)
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 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 914648 markings, 2290548 edges, 182930 markings/sec, 0 secs
lola: 1797428 markings, 5066163 edges, 176556 markings/sec, 5 secs
lola: 2638204 markings, 7631163 edges, 168155 markings/sec, 10 secs
lola: 3405735 markings, 9842308 edges, 153506 markings/sec, 15 secs
lola: 4082559 markings, 11754059 edges, 135365 markings/sec, 20 secs
lola: 4711742 markings, 14132753 edges, 125837 markings/sec, 25 secs
lola: 5346391 markings, 16398405 edges, 126930 markings/sec, 30 secs
lola: 5974835 markings, 18559418 edges, 125689 markings/sec, 35 secs
lola: 6567645 markings, 20894901 edges, 118562 markings/sec, 40 secs
lola: 7150319 markings, 23224974 edges, 116535 markings/sec, 45 secs
lola: 7696078 markings, 25589177 edges, 109152 markings/sec, 50 secs
lola: 8228260 markings, 27904684 edges, 106436 markings/sec, 55 secs
lola: 8770592 markings, 30232220 edges, 108466 markings/sec, 60 secs
lola: 9416854 markings, 32584026 edges, 129252 markings/sec, 65 secs
lola: 10099463 markings, 35084767 edges, 136522 markings/sec, 70 secs
lola: 10778533 markings, 37551729 edges, 135814 markings/sec, 75 secs
lola: 11471967 markings, 40283306 edges, 138687 markings/sec, 80 secs
lola: 12134542 markings, 43042406 edges, 132515 markings/sec, 85 secs
lola: 12761961 markings, 45387018 edges, 125484 markings/sec, 90 secs
lola: 13331014 markings, 47589695 edges, 113811 markings/sec, 95 secs
lola: 13959443 markings, 49945974 edges, 125686 markings/sec, 100 secs
lola: 14582399 markings, 52325227 edges, 124591 markings/sec, 105 secs
lola: 15138040 markings, 54592551 edges, 111128 markings/sec, 110 secs
lola: 15673193 markings, 56812308 edges, 107031 markings/sec, 115 secs
lola: 16222349 markings, 59053013 edges, 109831 markings/sec, 120 secs
lola: 16846247 markings, 61829104 edges, 124780 markings/sec, 125 secs
lola: 17383283 markings, 64319658 edges, 107407 markings/sec, 130 secs
lola: 18017086 markings, 66992079 edges, 126761 markings/sec, 135 secs
lola: 18637344 markings, 69786946 edges, 124052 markings/sec, 140 secs
lola: 19312297 markings, 72852324 edges, 134991 markings/sec, 145 secs
lola: 19978139 markings, 76182765 edges, 133168 markings/sec, 150 secs
lola: 20590919 markings, 79066119 edges, 122556 markings/sec, 155 secs
lola: 21202249 markings, 81622262 edges, 122266 markings/sec, 160 secs
lola: 21958848 markings, 83620287 edges, 151320 markings/sec, 165 secs
lola: 22626848 markings, 85616376 edges, 133600 markings/sec, 170 secs
lola: 23331110 markings, 87780520 edges, 140852 markings/sec, 175 secs
lola: 24024154 markings, 89936113 edges, 138609 markings/sec, 180 secs
lola: 24737069 markings, 92222009 edges, 142583 markings/sec, 185 secs
lola: 25438224 markings, 94513272 edges, 140231 markings/sec, 190 secs
lola: 26139910 markings, 96795199 edges, 140337 markings/sec, 195 secs
lola: 26843622 markings, 99107027 edges, 140742 markings/sec, 200 secs
lola: 27550062 markings, 101419524 edges, 141288 markings/sec, 205 secs
lola: 28183827 markings, 103613718 edges, 126753 markings/sec, 210 secs
lola: 28862142 markings, 105927099 edges, 135663 markings/sec, 215 secs
lola: 29542563 markings, 108227201 edges, 136084 markings/sec, 220 secs
lola: 30198802 markings, 110717804 edges, 131248 markings/sec, 225 secs
lola: 30824577 markings, 113285534 edges, 125155 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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 5 will run for 260 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: 752365 markings, 2311461 edges, 150473 markings/sec, 0 secs
lola: 1397933 markings, 4782772 edges, 129114 markings/sec, 5 secs
lola: 2151639 markings, 7116287 edges, 150741 markings/sec, 10 secs
lola: 2930250 markings, 9403126 edges, 155722 markings/sec, 15 secs
lola: 3540066 markings, 11802786 edges, 121963 markings/sec, 20 secs
lola: 4190585 markings, 13825600 edges, 130104 markings/sec, 25 secs
lola: 4840824 markings, 16167268 edges, 130048 markings/sec, 30 secs
lola: 5564806 markings, 18542709 edges, 144796 markings/sec, 35 secs
lola: 6317482 markings, 20759966 edges, 150535 markings/sec, 40 secs
lola: 7016840 markings, 23151835 edges, 139872 markings/sec, 45 secs
lola: 7562589 markings, 25590078 edges, 109150 markings/sec, 50 secs
lola: 8194777 markings, 28020394 edges, 126438 markings/sec, 55 secs
lola: 8915994 markings, 30364741 edges, 144243 markings/sec, 60 secs
lola: 9637466 markings, 32662396 edges, 144294 markings/sec, 65 secs
lola: 10426689 markings, 34894494 edges, 157845 markings/sec, 70 secs
lola: 11036399 markings, 37281627 edges, 121942 markings/sec, 75 secs
lola: 11790882 markings, 39534313 edges, 150897 markings/sec, 80 secs
lola: 12431212 markings, 41894277 edges, 128066 markings/sec, 85 secs
lola: 13171326 markings, 44142832 edges, 148023 markings/sec, 90 secs
lola: 13762703 markings, 46533134 edges, 118275 markings/sec, 95 secs
lola: 14479062 markings, 48806704 edges, 143272 markings/sec, 100 secs
lola: 15217645 markings, 51078966 edges, 147717 markings/sec, 105 secs
lola: 16038840 markings, 53343820 edges, 164239 markings/sec, 110 secs
lola: 16750761 markings, 55666637 edges, 142384 markings/sec, 115 secs
lola: 17301420 markings, 58021982 edges, 110132 markings/sec, 120 secs
lola: 17879456 markings, 60377684 edges, 115607 markings/sec, 125 secs
lola: 18666424 markings, 62577757 edges, 157394 markings/sec, 130 secs
lola: 19451332 markings, 65054566 edges, 156982 markings/sec, 135 secs
lola: 20085568 markings, 67358807 edges, 126847 markings/sec, 140 secs
lola: 20604515 markings, 69731660 edges, 103789 markings/sec, 145 secs
lola: 21185149 markings, 72095605 edges, 116127 markings/sec, 150 secs
lola: 21927075 markings, 74406367 edges, 148385 markings/sec, 155 secs
lola: 22720356 markings, 76630204 edges, 158656 markings/sec, 160 secs
lola: 23332035 markings, 79013077 edges, 122336 markings/sec, 165 secs
lola: 23941277 markings, 81460895 edges, 121848 markings/sec, 170 secs
lola: 24679219 markings, 83780443 edges, 147588 markings/sec, 175 secs
lola: 25406600 markings, 86083637 edges, 145476 markings/sec, 180 secs
lola: 26207304 markings, 88325258 edges, 160141 markings/sec, 185 secs
lola: 26797985 markings, 90665192 edges, 118136 markings/sec, 190 secs
lola: 27515671 markings, 92960136 edges, 143537 markings/sec, 195 secs
lola: 28229495 markings, 95253406 edges, 142765 markings/sec, 200 secs
lola: 28963316 markings, 97554687 edges, 146764 markings/sec, 205 secs
lola: 29541083 markings, 99929894 edges, 115553 markings/sec, 210 secs
lola: 30261118 markings, 102232888 edges, 144007 markings/sec, 215 secs
lola: 30922276 markings, 104554032 edges, 132232 markings/sec, 220 secs
lola: 31607773 markings, 106781317 edges, 137099 markings/sec, 225 secs
lola: 32439835 markings, 108986210 edges, 166412 markings/sec, 230 secs
lola: 33268444 markings, 111265749 edges, 165722 markings/sec, 235 secs
lola: 34154440 markings, 113566466 edges, 177199 markings/sec, 240 secs
lola: 35045578 markings, 116145727 edges, 178228 markings/sec, 245 secs
lola: 35924385 markings, 118553303 edges, 175761 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B9)
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 7 will run for 288 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: 822446 markings, 2014135 edges, 164489 markings/sec, 0 secs
lola: 1696934 markings, 4011791 edges, 174898 markings/sec, 5 secs
lola: 2643950 markings, 5988949 edges, 189403 markings/sec, 10 secs
lola: 3344285 markings, 8064937 edges, 140067 markings/sec, 15 secs
lola: 3986985 markings, 10261883 edges, 128540 markings/sec, 20 secs
lola: 4554615 markings, 12488675 edges, 113526 markings/sec, 25 secs
lola: 5096186 markings, 14679168 edges, 108314 markings/sec, 30 secs
lola: 5650780 markings, 16951810 edges, 110919 markings/sec, 35 secs
lola: 6212839 markings, 19156908 edges, 112412 markings/sec, 40 secs
lola: 6805669 markings, 21290804 edges, 118566 markings/sec, 45 secs
lola: 7601137 markings, 23372497 edges, 159094 markings/sec, 50 secs
lola: 8313994 markings, 25477108 edges, 142571 markings/sec, 55 secs
lola: 8915726 markings, 27665223 edges, 120346 markings/sec, 60 secs
lola: 9444745 markings, 29807052 edges, 105804 markings/sec, 65 secs
lola: 9978283 markings, 31902721 edges, 106708 markings/sec, 70 secs
lola: 10668096 markings, 34023653 edges, 137963 markings/sec, 75 secs
lola: 11499659 markings, 36220522 edges, 166313 markings/sec, 80 secs
lola: 12213426 markings, 38395251 edges, 142753 markings/sec, 85 secs
lola: 12827493 markings, 40617933 edges, 122813 markings/sec, 90 secs
lola: 13344268 markings, 42777096 edges, 103355 markings/sec, 95 secs
lola: 13856283 markings, 44953180 edges, 102403 markings/sec, 100 secs
lola: 14395831 markings, 47039994 edges, 107910 markings/sec, 105 secs
lola: 15185102 markings, 49068918 edges, 157854 markings/sec, 110 secs
lola: 15945533 markings, 51169883 edges, 152086 markings/sec, 115 secs
lola: 16571514 markings, 53290892 edges, 125196 markings/sec, 120 secs
lola: 17102844 markings, 55458236 edges, 106266 markings/sec, 125 secs
lola: 17643473 markings, 57591987 edges, 108126 markings/sec, 130 secs
lola: 18278120 markings, 59730437 edges, 126929 markings/sec, 135 secs
lola: 18918632 markings, 61850886 edges, 128102 markings/sec, 140 secs
lola: 19450846 markings, 63904938 edges, 106443 markings/sec, 145 secs
lola: 19952628 markings, 65988941 edges, 100356 markings/sec, 150 secs
lola: 20558577 markings, 68128977 edges, 121190 markings/sec, 155 secs
lola: 21254910 markings, 70273634 edges, 139267 markings/sec, 160 secs
lola: 21865662 markings, 72367326 edges, 122150 markings/sec, 165 secs
lola: 22628321 markings, 74469479 edges, 152532 markings/sec, 170 secs
lola: 23324552 markings, 76474849 edges, 139246 markings/sec, 175 secs
lola: 24083972 markings, 78640023 edges, 151884 markings/sec, 180 secs
lola: 24922140 markings, 81039633 edges, 167634 markings/sec, 185 secs
lola: 25731483 markings, 83403045 edges, 161869 markings/sec, 190 secs
lola: 26365062 markings, 85627464 edges, 126716 markings/sec, 195 secs
lola: 27027674 markings, 87982070 edges, 132522 markings/sec, 200 secs
lola: 27853499 markings, 90400211 edges, 165165 markings/sec, 205 secs
lola: 28610627 markings, 92625605 edges, 151426 markings/sec, 210 secs
lola: 29367173 markings, 95038977 edges, 151309 markings/sec, 215 secs
lola: 30158314 markings, 97336716 edges, 158228 markings/sec, 220 secs
lola: 30813714 markings, 99735055 edges, 131080 markings/sec, 225 secs
lola: 31509518 markings, 102105709 edges, 139161 markings/sec, 230 secs
lola: 32268783 markings, 104433258 edges, 151853 markings/sec, 235 secs
lola: 32998938 markings, 106836058 edges, 146031 markings/sec, 240 secs
lola: 33793673 markings, 109114052 edges, 158947 markings/sec, 245 secs
lola: 34517837 markings, 111482984 edges, 144833 markings/sec, 250 secs
lola: 35275362 markings, 113786262 edges, 151505 markings/sec, 255 secs
lola: 35980699 markings, 116209600 edges, 141067 markings/sec, 260 secs
lola: 36714597 markings, 118555352 edges, 146780 markings/sec, 265 secs
lola: 37498088 markings, 120869229 edges, 156698 markings/sec, 270 secs
lola: 38309370 markings, 123279254 edges, 162256 markings/sec, 275 secs
lola: 39102488 markings, 125392017 edges, 158624 markings/sec, 280 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 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 677457 markings, 2398597 edges, 135491 markings/sec, 0 secs
lola: 1506580 markings, 4504001 edges, 165825 markings/sec, 5 secs
lola: 2129909 markings, 6868338 edges, 124666 markings/sec, 10 secs
lola: 2835511 markings, 8943582 edges, 141120 markings/sec, 15 secs
lola: 3500887 markings, 11089742 edges, 133075 markings/sec, 20 secs
lola: 4127913 markings, 13272924 edges, 125405 markings/sec, 25 secs
lola: 4683835 markings, 15641792 edges, 111184 markings/sec, 30 secs
lola: 5239993 markings, 17996755 edges, 111232 markings/sec, 35 secs
lola: 5774529 markings, 20371918 edges, 106907 markings/sec, 40 secs
lola: 6303345 markings, 22781667 edges, 105763 markings/sec, 45 secs
lola: 6888421 markings, 25082200 edges, 117015 markings/sec, 50 secs
lola: 7522797 markings, 27282119 edges, 126875 markings/sec, 55 secs
lola: 8085710 markings, 29626417 edges, 112583 markings/sec, 60 secs
lola: 8634692 markings, 32076979 edges, 109796 markings/sec, 65 secs
lola: 9213041 markings, 34441272 edges, 115670 markings/sec, 70 secs
lola: 9788047 markings, 36692915 edges, 115001 markings/sec, 75 secs
lola: 10397591 markings, 38927588 edges, 121909 markings/sec, 80 secs
lola: 10971472 markings, 41240628 edges, 114776 markings/sec, 85 secs
lola: 11558909 markings, 43548998 edges, 117487 markings/sec, 90 secs
lola: 12036489 markings, 45481280 edges, 95516 markings/sec, 95 secs
lola: 12576875 markings, 47872917 edges, 108077 markings/sec, 100 secs
lola: 13125062 markings, 50227669 edges, 109637 markings/sec, 105 secs
lola: 13698430 markings, 52492031 edges, 114674 markings/sec, 110 secs
lola: 14189429 markings, 54360919 edges, 98200 markings/sec, 115 secs
lola: 14736000 markings, 56653571 edges, 109314 markings/sec, 120 secs
lola: 15445927 markings, 58676757 edges, 141985 markings/sec, 125 secs
lola: 16132627 markings, 60809584 edges, 137340 markings/sec, 130 secs
lola: 16738745 markings, 62960188 edges, 121224 markings/sec, 135 secs
lola: 17277838 markings, 65304706 edges, 107819 markings/sec, 140 secs
lola: 17812090 markings, 67624597 edges, 106850 markings/sec, 145 secs
lola: 18333584 markings, 69981555 edges, 104299 markings/sec, 150 secs
lola: 18816422 markings, 71932229 edges, 96568 markings/sec, 155 secs
lola: 19428579 markings, 74129310 edges, 122431 markings/sec, 160 secs
lola: 19987509 markings, 76372789 edges, 111786 markings/sec, 165 secs
lola: 20522870 markings, 78706605 edges, 107072 markings/sec, 170 secs
lola: 21071619 markings, 81022222 edges, 109750 markings/sec, 175 secs
lola: 21638175 markings, 83249752 edges, 113311 markings/sec, 180 secs
lola: 22223993 markings, 85417778 edges, 117164 markings/sec, 185 secs
lola: 22787070 markings, 87736560 edges, 112615 markings/sec, 190 secs
lola: 23398545 markings, 89918208 edges, 122295 markings/sec, 195 secs
lola: 24046108 markings, 92034660 edges, 129513 markings/sec, 200 secs
lola: 24635241 markings, 94495773 edges, 117827 markings/sec, 205 secs
lola: 25215965 markings, 96696839 edges, 116145 markings/sec, 210 secs
lola: 25750532 markings, 99028643 edges, 106913 markings/sec, 215 secs
lola: 26279352 markings, 101343153 edges, 105764 markings/sec, 220 secs
lola: 26790269 markings, 103656095 edges, 102183 markings/sec, 225 secs
lola: 27306554 markings, 105985415 edges, 103257 markings/sec, 230 secs
lola: 27971637 markings, 108130632 edges, 133017 markings/sec, 235 secs
lola: 28584033 markings, 110264999 edges, 122479 markings/sec, 240 secs
lola: 29160098 markings, 112804104 edges, 115213 markings/sec, 245 secs
lola: 29732127 markings, 115017358 edges, 114406 markings/sec, 250 secs
lola: 30247110 markings, 117323298 edges, 102997 markings/sec, 255 secs
lola: 30761133 markings, 119656715 edges, 102805 markings/sec, 260 secs
lola: 31270591 markings, 121931139 edges, 101892 markings/sec, 265 secs
lola: 31766041 markings, 124225443 edges, 99090 markings/sec, 270 secs
lola: 32266333 markings, 126528091 edges, 100058 markings/sec, 275 secs
lola: 32859115 markings, 128731935 edges, 118556 markings/sec, 280 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 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 883151 markings, 2117418 edges, 176630 markings/sec, 0 secs
lola: 1616763 markings, 4738164 edges, 146722 markings/sec, 5 secs
lola: 2328732 markings, 7401165 edges, 142394 markings/sec, 10 secs
lola: 2923070 markings, 10438549 edges, 118868 markings/sec, 15 secs
lola: 3578622 markings, 12755446 edges, 131110 markings/sec, 20 secs
lola: 4180088 markings, 15328781 edges, 120293 markings/sec, 25 secs
lola: 4746354 markings, 17902686 edges, 113253 markings/sec, 30 secs
lola: 5300116 markings, 20576768 edges, 110752 markings/sec, 35 secs
lola: 5884019 markings, 23000561 edges, 116781 markings/sec, 40 secs
lola: 6433112 markings, 25689173 edges, 109819 markings/sec, 45 secs
lola: 6960086 markings, 28373404 edges, 105395 markings/sec, 50 secs
lola: 7538969 markings, 30797261 edges, 115777 markings/sec, 55 secs
lola: 8090726 markings, 33473942 edges, 110351 markings/sec, 60 secs
lola: 8609371 markings, 36173258 edges, 103729 markings/sec, 65 secs
lola: 9127949 markings, 38766009 edges, 103716 markings/sec, 70 secs
lola: 9782442 markings, 41196611 edges, 130899 markings/sec, 75 secs
lola: 10418454 markings, 43753263 edges, 127202 markings/sec, 80 secs
lola: 10991225 markings, 46465368 edges, 114554 markings/sec, 85 secs
lola: 11509244 markings, 49134261 edges, 103604 markings/sec, 90 secs
lola: 12099244 markings, 51487038 edges, 118000 markings/sec, 95 secs
lola: 12655544 markings, 54098533 edges, 111260 markings/sec, 100 secs
lola: 13180471 markings, 56929220 edges, 104985 markings/sec, 105 secs
lola: 13703853 markings, 59555851 edges, 104676 markings/sec, 110 secs
lola: 14225991 markings, 62201686 edges, 104428 markings/sec, 115 secs
lola: 14853542 markings, 64507818 edges, 125510 markings/sec, 120 secs
lola: 15410612 markings, 67017981 edges, 111414 markings/sec, 125 secs
lola: 16016398 markings, 69348642 edges, 121157 markings/sec, 130 secs
lola: 16573042 markings, 71812618 edges, 111329 markings/sec, 135 secs
lola: 17189947 markings, 74216951 edges, 123381 markings/sec, 140 secs
lola: 17811168 markings, 76377826 edges, 124244 markings/sec, 145 secs
lola: 18396401 markings, 78993006 edges, 117047 markings/sec, 150 secs
lola: 18940245 markings, 81712137 edges, 108769 markings/sec, 155 secs
lola: 19571118 markings, 83994264 edges, 126175 markings/sec, 160 secs
lola: 20128882 markings, 86668149 edges, 111553 markings/sec, 165 secs
lola: 20643784 markings, 89399744 edges, 102980 markings/sec, 170 secs
lola: 21153605 markings, 92318799 edges, 101964 markings/sec, 175 secs
lola: 21629990 markings, 95220408 edges, 95277 markings/sec, 180 secs
lola: 22176364 markings, 97881604 edges, 109275 markings/sec, 185 secs
lola: 22697065 markings, 100747944 edges, 104140 markings/sec, 190 secs
lola: 23176075 markings, 103607015 edges, 95802 markings/sec, 195 secs
lola: 23705290 markings, 106422385 edges, 105843 markings/sec, 200 secs
lola: 24203903 markings, 109302916 edges, 99723 markings/sec, 205 secs
lola: 24768320 markings, 111840770 edges, 112883 markings/sec, 210 secs
lola: 25402469 markings, 114135681 edges, 126830 markings/sec, 215 secs
lola: 26045623 markings, 116339203 edges, 128631 markings/sec, 220 secs
lola: 26663387 markings, 118320526 edges, 123553 markings/sec, 225 secs
lola: 27259081 markings, 120136837 edges, 119139 markings/sec, 230 secs
lola: 27842007 markings, 122171250 edges, 116585 markings/sec, 235 secs
lola: 28410095 markings, 124523946 edges, 113618 markings/sec, 240 secs
lola: 28939053 markings, 126941364 edges, 105792 markings/sec, 245 secs
lola: 29421426 markings, 129212176 edges, 96475 markings/sec, 250 secs
lola: 29898617 markings, 131889431 edges, 95438 markings/sec, 255 secs
lola: 30392016 markings, 134400760 edges, 98680 markings/sec, 260 secs
lola: 30992769 markings, 136823042 edges, 120151 markings/sec, 265 secs
lola: 31582535 markings, 139143932 edges, 117953 markings/sec, 270 secs
lola: 32127126 markings, 141454763 edges, 108918 markings/sec, 275 secs
lola: 32668322 markings, 143779722 edges, 108239 markings/sec, 280 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 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
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 11 will run for 346 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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 12 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 1078176 markings, 2186626 edges, 215635 markings/sec, 0 secs
lola: 2156090 markings, 4384388 edges, 215583 markings/sec, 5 secs
lola: 2803883 markings, 6314136 edges, 129559 markings/sec, 10 secs
lola: 3385191 markings, 8048913 edges, 116262 markings/sec, 15 secs
lola: 4025217 markings, 9961763 edges, 128005 markings/sec, 20 secs
lola: 4655818 markings, 11855319 edges, 126120 markings/sec, 25 secs
lola: 5302324 markings, 13820656 edges, 129301 markings/sec, 30 secs
lola: 5941031 markings, 15816135 edges, 127741 markings/sec, 35 secs
lola: 6565974 markings, 17688277 edges, 124989 markings/sec, 40 secs
lola: 7395540 markings, 19915224 edges, 165913 markings/sec, 45 secs
lola: 8342129 markings, 22273075 edges, 189318 markings/sec, 50 secs
lola: 9225595 markings, 24631689 edges, 176693 markings/sec, 55 secs
lola: 10161918 markings, 27368561 edges, 187265 markings/sec, 60 secs
lola: 11033859 markings, 30277000 edges, 174388 markings/sec, 65 secs
lola: 11954563 markings, 32671522 edges, 184141 markings/sec, 70 secs
lola: 12840072 markings, 35464604 edges, 177102 markings/sec, 75 secs
lola: 13765814 markings, 38060962 edges, 185148 markings/sec, 80 secs
lola: 14351004 markings, 40242174 edges, 117038 markings/sec, 85 secs
lola: 15113386 markings, 42498216 edges, 152476 markings/sec, 90 secs
lola: 15885637 markings, 44883452 edges, 154450 markings/sec, 95 secs
lola: 16668860 markings, 47326787 edges, 156645 markings/sec, 100 secs
lola: 17410890 markings, 49783406 edges, 148406 markings/sec, 105 secs
lola: 18003840 markings, 52003028 edges, 118590 markings/sec, 110 secs
lola: 18738838 markings, 54362632 edges, 147000 markings/sec, 115 secs
lola: 19556459 markings, 56772535 edges, 163524 markings/sec, 120 secs
lola: 20319001 markings, 59178827 edges, 152508 markings/sec, 125 secs
lola: 21097416 markings, 61548351 edges, 155683 markings/sec, 130 secs
lola: 21895544 markings, 63921749 edges, 159626 markings/sec, 135 secs
lola: 22534595 markings, 66357311 edges, 127810 markings/sec, 140 secs
lola: 23297988 markings, 68748969 edges, 152679 markings/sec, 145 secs
lola: 24004381 markings, 71193805 edges, 141279 markings/sec, 150 secs
lola: 24772130 markings, 73608149 edges, 153550 markings/sec, 155 secs
lola: 25525647 markings, 76389513 edges, 150703 markings/sec, 160 secs
lola: 26263208 markings, 79151679 edges, 147512 markings/sec, 165 secs
lola: 26942748 markings, 81859402 edges, 135908 markings/sec, 170 secs
lola: 27608215 markings, 84428976 edges, 133093 markings/sec, 175 secs
lola: 28439389 markings, 86799838 edges, 166235 markings/sec, 180 secs
lola: 29179680 markings, 89181109 edges, 148058 markings/sec, 185 secs
lola: 29951296 markings, 91562306 edges, 154323 markings/sec, 190 secs
lola: 30723013 markings, 94017538 edges, 154343 markings/sec, 195 secs
lola: 31468631 markings, 96761050 edges, 149124 markings/sec, 200 secs
lola: 32116629 markings, 99435003 edges, 129600 markings/sec, 205 secs
lola: 32881629 markings, 101807636 edges, 153000 markings/sec, 210 secs
lola: 33647867 markings, 104223641 edges, 153248 markings/sec, 215 secs
lola: 34338661 markings, 106899611 edges, 138159 markings/sec, 220 secs
lola: 35108681 markings, 109373537 edges, 154004 markings/sec, 225 secs
lola: 35876789 markings, 111757517 edges, 153622 markings/sec, 230 secs
lola: 36639640 markings, 114343303 edges, 152570 markings/sec, 235 secs
lola: 37484457 markings, 116758479 edges, 168963 markings/sec, 240 secs
lola: 38267903 markings, 119477142 edges, 156689 markings/sec, 245 secs
lola: 38835917 markings, 122083287 edges, 113603 markings/sec, 250 secs
lola: 39329248 markings, 124645440 edges, 98666 markings/sec, 255 secs
lola: 39812268 markings, 127123597 edges, 96604 markings/sec, 260 secs
lola: 40291833 markings, 129420014 edges, 95913 markings/sec, 265 secs
lola: 40760438 markings, 131819346 edges, 93721 markings/sec, 270 secs
lola: 41225607 markings, 134136965 edges, 93034 markings/sec, 275 secs
lola: 41644555 markings, 136364806 edges, 83790 markings/sec, 280 secs
lola: 42116163 markings, 138607079 edges, 94322 markings/sec, 285 secs
lola: 42589729 markings, 140968113 edges, 94713 markings/sec, 290 secs
lola: 43055085 markings, 143225957 edges, 93071 markings/sec, 295 secs
lola: 43506309 markings, 145436833 edges, 90245 markings/sec, 300 secs
lola: 43962493 markings, 147788134 edges, 91237 markings/sec, 305 secs
lola: 44428398 markings, 150175611 edges, 93181 markings/sec, 310 secs
lola: 44900373 markings, 152421182 edges, 94395 markings/sec, 315 secs
lola: 45350697 markings, 154719076 edges, 90065 markings/sec, 320 secs
lola: 45869085 markings, 156837904 edges, 103678 markings/sec, 325 secs
lola: 46750853 markings, 158964435 edges, 176354 markings/sec, 330 secs
lola: 47372882 markings, 161086761 edges, 124406 markings/sec, 335 secs
lola: 47914597 markings, 163216544 edges, 108343 markings/sec, 340 secs
lola: 48445220 markings, 165295836 edges, 106125 markings/sec, 345 secs
lola: 48977566 markings, 167460426 edges, 106469 markings/sec, 350 secs
lola: 49499655 markings, 169614267 edges, 104418 markings/sec, 355 secs
lola: 50105954 markings, 171777897 edges, 121260 markings/sec, 360 secs
lola: 51005951 markings, 174084987 edges, 179999 markings/sec, 365 secs
lola: 51780488 markings, 176337956 edges, 154907 markings/sec, 370 secs
lola: 52527008 markings, 178603456 edges, 149304 markings/sec, 375 secs
lola: 53305016 markings, 180880388 edges, 155602 markings/sec, 380 secs
lola: 54040574 markings, 183176454 edges, 147112 markings/sec, 385 secs
lola: 54885491 markings, 185473273 edges, 168983 markings/sec, 390 secs
lola: 55675050 markings, 187820227 edges, 157912 markings/sec, 395 secs
lola: 56445554 markings, 190287851 edges, 154101 markings/sec, 400 secs
lola: 57210979 markings, 192768291 edges, 153085 markings/sec, 405 secs
lola: 57948687 markings, 195252493 edges, 147542 markings/sec, 410 secs
lola: 58669472 markings, 197705653 edges, 144157 markings/sec, 415 secs
lola: 59378409 markings, 200162019 edges, 141787 markings/sec, 420 secs
lola: 60082802 markings, 202622160 edges, 140879 markings/sec, 425 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 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A15)
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: 805694 markings, 2106397 edges, 161139 markings/sec, 0 secs
lola: 1575179 markings, 4431665 edges, 153897 markings/sec, 5 secs
lola: 2223231 markings, 6809114 edges, 129610 markings/sec, 10 secs
lola: 2781295 markings, 9235019 edges, 111613 markings/sec, 15 secs
lola: 3341240 markings, 11734113 edges, 111989 markings/sec, 20 secs
lola: 3892133 markings, 14221380 edges, 110179 markings/sec, 25 secs
lola: 4501123 markings, 16597953 edges, 121798 markings/sec, 30 secs
lola: 5127281 markings, 18980032 edges, 125232 markings/sec, 35 secs
lola: 5767387 markings, 21170368 edges, 128021 markings/sec, 40 secs
lola: 6398324 markings, 23560430 edges, 126187 markings/sec, 45 secs
lola: 6950839 markings, 25977564 edges, 110503 markings/sec, 50 secs
lola: 7547779 markings, 28252435 edges, 119388 markings/sec, 55 secs
lola: 8144973 markings, 30687689 edges, 119439 markings/sec, 60 secs
lola: 8865785 markings, 32879650 edges, 144162 markings/sec, 65 secs
lola: 9617572 markings, 35143157 edges, 150357 markings/sec, 70 secs
lola: 10179679 markings, 37461003 edges, 112421 markings/sec, 75 secs
lola: 10751692 markings, 39878750 edges, 114403 markings/sec, 80 secs
lola: 11458831 markings, 42075854 edges, 141428 markings/sec, 85 secs
lola: 12205208 markings, 44320620 edges, 149275 markings/sec, 90 secs
lola: 12793550 markings, 46633756 edges, 117668 markings/sec, 95 secs
lola: 13436479 markings, 48885883 edges, 128586 markings/sec, 100 secs
lola: 14231213 markings, 51157506 edges, 158947 markings/sec, 105 secs
lola: 14817179 markings, 53339529 edges, 117193 markings/sec, 110 secs
lola: 15342513 markings, 55695081 edges, 105067 markings/sec, 115 secs
lola: 15933405 markings, 58122462 edges, 118178 markings/sec, 120 secs
lola: 16545382 markings, 60454313 edges, 122395 markings/sec, 125 secs
lola: 17241932 markings, 62802432 edges, 139310 markings/sec, 130 secs
lola: 17897831 markings, 65072821 edges, 131180 markings/sec, 135 secs
lola: 18578976 markings, 67184693 edges, 136229 markings/sec, 140 secs
lola: 19175685 markings, 69626966 edges, 119342 markings/sec, 145 secs
lola: 19773397 markings, 71987775 edges, 119542 markings/sec, 150 secs
lola: 20324184 markings, 74314486 edges, 110157 markings/sec, 155 secs
lola: 20848788 markings, 76635516 edges, 104921 markings/sec, 160 secs
lola: 21372096 markings, 78985826 edges, 104662 markings/sec, 165 secs
lola: 21892643 markings, 81346828 edges, 104109 markings/sec, 170 secs
lola: 22524600 markings, 83648253 edges, 126391 markings/sec, 175 secs
lola: 23176991 markings, 85823480 edges, 130478 markings/sec, 180 secs
lola: 23778434 markings, 88448919 edges, 120289 markings/sec, 185 secs
lola: 24311727 markings, 90562587 edges, 106659 markings/sec, 190 secs
lola: 24813362 markings, 92802915 edges, 100327 markings/sec, 195 secs
lola: 25331149 markings, 95132530 edges, 103557 markings/sec, 200 secs
lola: 25829467 markings, 97428382 edges, 99664 markings/sec, 205 secs
lola: 26327924 markings, 99720016 edges, 99691 markings/sec, 210 secs
lola: 26824040 markings, 102025988 edges, 99223 markings/sec, 215 secs
lola: 27498149 markings, 104176759 edges, 134822 markings/sec, 220 secs
lola: 28147126 markings, 106492555 edges, 129795 markings/sec, 225 secs
lola: 28691020 markings, 108839427 edges, 108779 markings/sec, 230 secs
lola: 29236510 markings, 111270414 edges, 109098 markings/sec, 235 secs
lola: 29844076 markings, 113592948 edges, 121513 markings/sec, 240 secs
lola: 30478755 markings, 115841441 edges, 126936 markings/sec, 245 secs
lola: 31015665 markings, 117986323 edges, 107382 markings/sec, 250 secs
lola: 31646594 markings, 120102558 edges, 126186 markings/sec, 255 secs
lola: 32467982 markings, 122301900 edges, 164278 markings/sec, 260 secs
lola: 33078281 markings, 124608673 edges, 122060 markings/sec, 265 secs
lola: 33603475 markings, 126982706 edges, 105039 markings/sec, 270 secs
lola: 34203809 markings, 129369834 edges, 120067 markings/sec, 275 secs
lola: 34845504 markings, 131639004 edges, 128339 markings/sec, 280 secs
lola: 35512047 markings, 134002431 edges, 133309 markings/sec, 285 secs
lola: 36177013 markings, 136186048 edges, 132993 markings/sec, 290 secs
lola: 36753437 markings, 138560381 edges, 115285 markings/sec, 295 secs
lola: 37297063 markings, 140848827 edges, 108725 markings/sec, 300 secs
lola: 37790852 markings, 143106504 edges, 98758 markings/sec, 305 secs
lola: 38272633 markings, 145201668 edges, 96356 markings/sec, 310 secs
lola: 38812421 markings, 147388581 edges, 107958 markings/sec, 315 secs
lola: 39360795 markings, 149660869 edges, 109675 markings/sec, 320 secs
lola: 39979772 markings, 152003079 edges, 123795 markings/sec, 325 secs
lola: 40445364 markings, 154083303 edges, 93118 markings/sec, 330 secs
lola: 41046455 markings, 156228411 edges, 120218 markings/sec, 335 secs
lola: 41736101 markings, 158419098 edges, 137929 markings/sec, 340 secs
lola: 42472512 markings, 160620110 edges, 147282 markings/sec, 345 secs
lola: 43198928 markings, 162985332 edges, 145283 markings/sec, 350 secs
lola: 43887257 markings, 165198755 edges, 137666 markings/sec, 355 secs
lola: 44533929 markings, 167897635 edges, 129334 markings/sec, 360 secs
lola: 45248285 markings, 170368808 edges, 142871 markings/sec, 365 secs
lola: 45868454 markings, 172706593 edges, 124034 markings/sec, 370 secs
lola: 46467147 markings, 174862334 edges, 119739 markings/sec, 375 secs
lola: 47038017 markings, 177182191 edges, 114174 markings/sec, 380 secs
lola: 47630365 markings, 179686393 edges, 118470 markings/sec, 385 secs
lola: 48234641 markings, 182226906 edges, 120855 markings/sec, 390 secs
lola: 48874881 markings, 184428926 edges, 128048 markings/sec, 395 secs
lola: 49485994 markings, 186817697 edges, 122223 markings/sec, 400 secs
lola: 50092129 markings, 189062193 edges, 121227 markings/sec, 405 secs
lola: 50691251 markings, 191170433 edges, 119824 markings/sec, 410 secs
lola: 51323903 markings, 193061239 edges, 126530 markings/sec, 415 secs
lola: 51963170 markings, 195298367 edges, 127853 markings/sec, 420 secs
lola: 52611934 markings, 197417490 edges, 129753 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
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 15 will run for 867 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 1083442 markings, 2196007 edges, 216688 markings/sec, 0 secs
lola: 2165638 markings, 4407572 edges, 216439 markings/sec, 5 secs
lola: 2829784 markings, 6394896 edges, 132829 markings/sec, 10 secs
lola: 3485964 markings, 8355247 edges, 131236 markings/sec, 15 secs
lola: 4122980 markings, 10237720 edges, 127403 markings/sec, 20 secs
lola: 4755123 markings, 12164939 edges, 126429 markings/sec, 25 secs
lola: 5399455 markings, 14116787 edges, 128866 markings/sec, 30 secs
lola: 6034222 markings, 16117363 edges, 126953 markings/sec, 35 secs
lola: 6659406 markings, 17984180 edges, 125037 markings/sec, 40 secs
lola: 7531095 markings, 20263475 edges, 174338 markings/sec, 45 secs
lola: 8472370 markings, 22618064 edges, 188255 markings/sec, 50 secs
lola: 9357045 markings, 24982430 edges, 176935 markings/sec, 55 secs
lola: 10286860 markings, 27803110 edges, 185963 markings/sec, 60 secs
lola: 11165692 markings, 30618929 edges, 175766 markings/sec, 65 secs
lola: 12086363 markings, 33007462 edges, 184134 markings/sec, 70 secs
lola: 12978864 markings, 35809311 edges, 178500 markings/sec, 75 secs
lola: 13855329 markings, 38376108 edges, 175293 markings/sec, 80 secs
lola: 14429040 markings, 40546125 edges, 114742 markings/sec, 85 secs
lola: 15221557 markings, 42822909 edges, 158503 markings/sec, 90 secs
lola: 15967473 markings, 45274013 edges, 149183 markings/sec, 95 secs
lola: 16763228 markings, 47684565 edges, 159151 markings/sec, 100 secs
lola: 17511214 markings, 50133819 edges, 149597 markings/sec, 105 secs
lola: 18074912 markings, 52341053 edges, 112740 markings/sec, 110 secs
lola: 18849201 markings, 54662524 edges, 154858 markings/sec, 115 secs
lola: 19657481 markings, 57082201 edges, 161656 markings/sec, 120 secs
lola: 20423110 markings, 59481112 edges, 153126 markings/sec, 125 secs
lola: 21197999 markings, 61828342 edges, 154978 markings/sec, 130 secs
lola: 21990002 markings, 64215126 edges, 158401 markings/sec, 135 secs
lola: 22628058 markings, 66641682 edges, 127611 markings/sec, 140 secs
lola: 23373182 markings, 69043745 edges, 149025 markings/sec, 145 secs
lola: 24097977 markings, 71481825 edges, 144959 markings/sec, 150 secs
lola: 24868650 markings, 73946697 edges, 154135 markings/sec, 155 secs
lola: 25611420 markings, 76725502 edges, 148554 markings/sec, 160 secs
lola: 26346376 markings, 79477111 edges, 146991 markings/sec, 165 secs
lola: 27022109 markings, 82183388 edges, 135147 markings/sec, 170 secs
lola: 27708810 markings, 84709692 edges, 137340 markings/sec, 175 secs
lola: 28536223 markings, 87072755 edges, 165483 markings/sec, 180 secs
lola: 29267689 markings, 89463377 edges, 146293 markings/sec, 185 secs
lola: 30037682 markings, 91829535 edges, 153999 markings/sec, 190 secs
lola: 30809589 markings, 94322607 edges, 154381 markings/sec, 195 secs
lola: 31546700 markings, 97058448 edges, 147422 markings/sec, 200 secs
lola: 32176289 markings, 99699341 edges, 125918 markings/sec, 205 secs
lola: 32965298 markings, 102057779 edges, 157802 markings/sec, 210 secs
lola: 33719630 markings, 104503852 edges, 150866 markings/sec, 215 secs
lola: 34422908 markings, 107139943 edges, 140656 markings/sec, 220 secs
lola: 35188718 markings, 109614202 edges, 153162 markings/sec, 225 secs
lola: 35952132 markings, 112041439 edges, 152683 markings/sec, 230 secs
lola: 36737369 markings, 114621220 edges, 157047 markings/sec, 235 secs
lola: 37478175 markings, 116737046 edges, 148161 markings/sec, 240 secs
lola: 38260022 markings, 119448226 edges, 156369 markings/sec, 245 secs
lola: 38829737 markings, 122052637 edges, 113943 markings/sec, 250 secs
lola: 39320782 markings, 124604770 edges, 98209 markings/sec, 255 secs
lola: 39802360 markings, 127078342 edges, 96316 markings/sec, 260 secs
lola: 40278633 markings, 129364576 edges, 95255 markings/sec, 265 secs
lola: 40747101 markings, 131759973 edges, 93694 markings/sec, 270 secs
lola: 41214389 markings, 134086143 edges, 93458 markings/sec, 275 secs
lola: 41617651 markings, 136213470 edges, 80652 markings/sec, 280 secs
lola: 42105883 markings, 138559293 edges, 97646 markings/sec, 285 secs
lola: 42588889 markings, 140963899 edges, 96601 markings/sec, 290 secs
lola: 43056921 markings, 143235500 edges, 93606 markings/sec, 295 secs
lola: 43468417 markings, 145265166 edges, 82299 markings/sec, 300 secs
lola: 43928498 markings, 147634118 edges, 92016 markings/sec, 305 secs
lola: 44399614 markings, 150019613 edges, 94223 markings/sec, 310 secs
lola: 44872606 markings, 152309424 edges, 94598 markings/sec, 315 secs
lola: 45328492 markings, 154608756 edges, 91177 markings/sec, 320 secs
lola: 45844681 markings, 156755060 edges, 103238 markings/sec, 325 secs
lola: 46715219 markings, 158877450 edges, 174108 markings/sec, 330 secs
lola: 47354992 markings, 161014823 edges, 127955 markings/sec, 335 secs
lola: 47899920 markings, 163155102 edges, 108986 markings/sec, 340 secs
lola: 48432175 markings, 165244312 edges, 106451 markings/sec, 345 secs
lola: 48964740 markings, 167396892 edges, 106513 markings/sec, 350 secs
lola: 49487851 markings, 169564266 edges, 104622 markings/sec, 355 secs
lola: 50086897 markings, 171731187 edges, 119809 markings/sec, 360 secs
lola: 50988773 markings, 174041587 edges, 180375 markings/sec, 365 secs
lola: 51778209 markings, 176328806 edges, 157887 markings/sec, 370 secs
lola: 52525159 markings, 178597243 edges, 149390 markings/sec, 375 secs
lola: 53233020 markings, 180615112 edges, 141572 markings/sec, 380 secs
lola: 53932959 markings, 182886277 edges, 139988 markings/sec, 385 secs
lola: 54778197 markings, 185190335 edges, 169048 markings/sec, 390 secs
lola: 55571833 markings, 187533310 edges, 158727 markings/sec, 395 secs
lola: 56355000 markings, 189982740 edges, 156633 markings/sec, 400 secs
lola: 57120116 markings, 192466379 edges, 153023 markings/sec, 405 secs
lola: 57860163 markings, 194965486 edges, 148009 markings/sec, 410 secs
lola: 58582954 markings, 197423868 edges, 144558 markings/sec, 415 secs
lola: 59217029 markings, 199570522 edges, 126815 markings/sec, 420 secs
lola: 59922323 markings, 202022297 edges, 141059 markings/sec, 425 secs
lola: 60501804 markings, 204462251 edges, 115896 markings/sec, 430 secs
lola: 61310323 markings, 206842540 edges, 161704 markings/sec, 435 secs
lola: 62071989 markings, 209256801 edges, 152333 markings/sec, 440 secs
lola: 62767669 markings, 211660545 edges, 139136 markings/sec, 445 secs
lola: 63496648 markings, 214074641 edges, 145796 markings/sec, 450 secs
lola: 64297498 markings, 216446514 edges, 160170 markings/sec, 455 secs
lola: 65056025 markings, 218881781 edges, 151705 markings/sec, 460 secs
lola: 65812420 markings, 221396237 edges, 151279 markings/sec, 465 secs
lola: 66535022 markings, 223860509 edges, 144520 markings/sec, 470 secs
lola: 67230555 markings, 226162317 edges, 139107 markings/sec, 475 secs
lola: 67784803 markings, 228451810 edges, 110850 markings/sec, 480 secs
lola: 68266459 markings, 230714072 edges, 96331 markings/sec, 485 secs
lola: 68741835 markings, 232992873 edges, 95075 markings/sec, 490 secs
lola: 69214105 markings, 235264473 edges, 94454 markings/sec, 495 secs
lola: 69966400 markings, 237647422 edges, 150459 markings/sec, 500 secs
lola: 70654805 markings, 240013021 edges, 137681 markings/sec, 505 secs
lola: 71232504 markings, 242440437 edges, 115540 markings/sec, 510 secs
lola: 71884310 markings, 244875576 edges, 130361 markings/sec, 515 secs
lola: 72653771 markings, 247308800 edges, 153892 markings/sec, 520 secs
lola: 73316002 markings, 249772864 edges, 132446 markings/sec, 525 secs
lola: 74072403 markings, 252213548 edges, 151280 markings/sec, 530 secs
lola: 74813871 markings, 254702181 edges, 148294 markings/sec, 535 secs
lola: 75378879 markings, 257013792 edges, 113002 markings/sec, 540 secs
lola: 75848811 markings, 259310469 edges, 93986 markings/sec, 545 secs
lola: 76467795 markings, 261742110 edges, 123797 markings/sec, 550 secs
lola: 77128317 markings, 264210405 edges, 132104 markings/sec, 555 secs
lola: 77910642 markings, 266683385 edges, 156465 markings/sec, 560 secs
lola: 78616628 markings, 269101851 edges, 141197 markings/sec, 565 secs
lola: 79180317 markings, 271489195 edges, 112738 markings/sec, 570 secs
lola: 79773664 markings, 273909299 edges, 118669 markings/sec, 575 secs
lola: 80342626 markings, 276372049 edges, 113792 markings/sec, 580 secs
lola: 81025630 markings, 278880424 edges, 136601 markings/sec, 585 secs
lola: 81652217 markings, 281385207 edges, 125317 markings/sec, 590 secs
lola: 82403270 markings, 283847258 edges, 150211 markings/sec, 595 secs
lola: 83039132 markings, 286402044 edges, 127172 markings/sec, 600 secs
lola: 83509863 markings, 288937172 edges, 94146 markings/sec, 605 secs
lola: 84016276 markings, 291459569 edges, 101283 markings/sec, 610 secs
lola: 84752897 markings, 294153451 edges, 147324 markings/sec, 615 secs
lola: 85517277 markings, 296842372 edges, 152876 markings/sec, 620 secs
lola: 86210443 markings, 299587310 edges, 138633 markings/sec, 625 secs
lola: 86881006 markings, 302379431 edges, 134113 markings/sec, 630 secs
lola: 87546955 markings, 305183698 edges, 133190 markings/sec, 635 secs
lola: 88263370 markings, 307933617 edges, 143283 markings/sec, 640 secs
lola: 88998826 markings, 310610095 edges, 147091 markings/sec, 645 secs
lola: 89664063 markings, 313372138 edges, 133047 markings/sec, 650 secs
lola: 90281394 markings, 316167822 edges, 123466 markings/sec, 655 secs
lola: 90700267 markings, 318816182 edges, 83775 markings/sec, 660 secs
lola: 91190939 markings, 321495356 edges, 98134 markings/sec, 665 secs
lola: 91846153 markings, 324194616 edges, 131043 markings/sec, 670 secs
lola: 92430290 markings, 326907854 edges, 116827 markings/sec, 675 secs
lola: 92970948 markings, 329593187 edges, 108132 markings/sec, 680 secs
lola: 93458452 markings, 332348322 edges, 97501 markings/sec, 685 secs
lola: 94020495 markings, 335092481 edges, 112409 markings/sec, 690 secs
lola: 94728006 markings, 337845185 edges, 141502 markings/sec, 695 secs
lola: 95510960 markings, 340740178 edges, 156591 markings/sec, 700 secs
lola: 96010870 markings, 343060211 edges, 99982 markings/sec, 705 secs
lola: 96504170 markings, 345381304 edges, 98660 markings/sec, 710 secs
lola: 96985379 markings, 347688290 edges, 96242 markings/sec, 715 secs
lola: 97666704 markings, 350361806 edges, 136265 markings/sec, 720 secs
lola: 98417946 markings, 353199393 edges, 150248 markings/sec, 725 secs
lola: 99055970 markings, 355855173 edges, 127605 markings/sec, 730 secs
lola: 99739789 markings, 358587375 edges, 136764 markings/sec, 735 secs
lola: 100339119 markings, 361195506 edges, 119866 markings/sec, 740 secs
lola: 100996598 markings, 363890381 edges, 131496 markings/sec, 745 secs
lola: 101647864 markings, 366625116 edges, 130253 markings/sec, 750 secs
lola: 102355473 markings, 369486728 edges, 141522 markings/sec, 755 secs
lola: 103038355 markings, 372314140 edges, 136576 markings/sec, 760 secs
lola: 103693400 markings, 375140470 edges, 131009 markings/sec, 765 secs
lola: 104345667 markings, 377933249 edges, 130453 markings/sec, 770 secs
lola: 104977715 markings, 380676742 edges, 126410 markings/sec, 775 secs
lola: 105540337 markings, 383468004 edges, 112524 markings/sec, 780 secs
lola: 106149113 markings, 386254621 edges, 121755 markings/sec, 785 secs
lola: 106807887 markings, 389017693 edges, 131755 markings/sec, 790 secs
lola: 107421747 markings, 391794514 edges, 122772 markings/sec, 795 secs
lola: 108018009 markings, 394551759 edges, 119252 markings/sec, 800 secs
lola: 108702503 markings, 397340395 edges, 136899 markings/sec, 805 secs
lola: 109375045 markings, 400181425 edges, 134508 markings/sec, 810 secs
lola: 110027436 markings, 402969222 edges, 130478 markings/sec, 815 secs
lola: 110735207 markings, 405758033 edges, 141554 markings/sec, 820 secs
lola: 111187818 markings, 408077470 edges, 90522 markings/sec, 825 secs
lola: 111639684 markings, 410443203 edges, 90373 markings/sec, 830 secs
lola: 112285160 markings, 413122592 edges, 129095 markings/sec, 835 secs
lola: 112861293 markings, 415786055 edges, 115227 markings/sec, 840 secs
lola: 113386569 markings, 418466375 edges, 105055 markings/sec, 845 secs
lola: 113945586 markings, 421244167 edges, 111803 markings/sec, 850 secs
lola: 114532417 markings, 424032904 edges, 117366 markings/sec, 855 secs
lola: 115135514 markings, 426817562 edges, 120619 markings/sec, 860 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 unknown 1 unknown unknown unknown 1 1 unknown unknown 1
FORMULA DNAwalker-PT-05track28LR-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496334603533

--------------------
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-05track28LR"
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-05track28LR.tgz
mv S_DNAwalker-PT-05track28LR 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-05track28LR, 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-149441612000038"
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 ;