fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r055-oct2-155234418700211
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for DNAwalker-PT-05track28LR

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2484.940 3570329.00 3629148.00 374.80 ? ? ? ? ? ? ? ? ? ? 1 ? ? 1 ? ? normal

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r055-oct2-155234418700211.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is DNAwalker-PT-05track28LR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-oct2-155234418700211
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.7K Feb 10 20:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 20:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 06:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 06:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 30 22:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 22:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 12 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 108K Mar 10 17:31 model.pnml

--------------------
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-00
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-01
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-02
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-03
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-04
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-05
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-06
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-07
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-08
FORMULA_NAME DNAwalker-PT-05track28LR-UpperBounds-09
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

=== Now, execution of the tool begins

BK_START 1552702867741

info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-05track28LR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-05track28LR formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DNAwalker-PT-05track28LR @ 3570 seconds
lola: LoLA will run for 3570 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: Size of bit vector: 1088
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: LP says that atomic proposition is always false: (A25 <= 0)
lola: MAX(A26) : MAX(A26) : MAX(A6) : MAX(A9) : MAX(A6) : MAX(A27) : MAX(A10) : MAX(A25) : MAX(A11) : MAX(A19) : MAX(B24) : MAX(A27) : MAX(A7) : MAX(B23) : MAX(A19) : MAX(A16)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A25)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 65 markings, 84 edges, 13 markings/sec, 25 secs
lola: 895702 markings, 2769850 edges, 179127 markings/sec, 30 secs
lola: 1662228 markings, 5565316 edges, 153305 markings/sec, 35 secs
lola: 2447086 markings, 8257088 edges, 156972 markings/sec, 40 secs
lola: 3243377 markings, 10822096 edges, 159258 markings/sec, 45 secs
lola: 4062367 markings, 13454327 edges, 163798 markings/sec, 50 secs
lola: 4840134 markings, 16226936 edges, 155553 markings/sec, 55 secs
lola: 5598724 markings, 19017817 edges, 151718 markings/sec, 60 secs
lola: 6334864 markings, 21690604 edges, 147228 markings/sec, 65 secs
lola: 7053121 markings, 24503139 edges, 143651 markings/sec, 70 secs
lola: 7749519 markings, 27273842 edges, 139280 markings/sec, 75 secs
lola: 8399516 markings, 30050180 edges, 129999 markings/sec, 80 secs
lola: 9028043 markings, 32853228 edges, 125705 markings/sec, 85 secs
lola: 9655459 markings, 35558777 edges, 125483 markings/sec, 90 secs
lola: 10304406 markings, 38385725 edges, 129789 markings/sec, 95 secs
lola: 10952973 markings, 41125125 edges, 129713 markings/sec, 100 secs
lola: 11586277 markings, 43932217 edges, 126661 markings/sec, 105 secs
lola: 12214115 markings, 46673480 edges, 125568 markings/sec, 110 secs
lola: 12856878 markings, 49305100 edges, 128553 markings/sec, 115 secs
lola: 13510489 markings, 51944019 edges, 130722 markings/sec, 120 secs
lola: 14220832 markings, 54623520 edges, 142069 markings/sec, 125 secs
lola: 14961537 markings, 57176874 edges, 148141 markings/sec, 130 secs
lola: 15662113 markings, 60045063 edges, 140115 markings/sec, 135 secs
lola: 16364508 markings, 62747455 edges, 140479 markings/sec, 140 secs
lola: 17026903 markings, 65439597 edges, 132479 markings/sec, 145 secs
lola: 17645179 markings, 68231100 edges, 123655 markings/sec, 150 secs
lola: 18259885 markings, 70901837 edges, 122941 markings/sec, 155 secs
lola: 18873498 markings, 73648886 edges, 122723 markings/sec, 160 secs
lola: 19489494 markings, 76322005 edges, 123199 markings/sec, 165 secs
lola: 20122419 markings, 78892440 edges, 126585 markings/sec, 170 secs
lola: 20809021 markings, 81545540 edges, 137320 markings/sec, 175 secs
lola: 21551216 markings, 84284486 edges, 148439 markings/sec, 180 secs
lola: 22236674 markings, 87203427 edges, 137092 markings/sec, 185 secs
lola: 22894461 markings, 90185131 edges, 131557 markings/sec, 190 secs
lola: 23576815 markings, 92860893 edges, 136471 markings/sec, 195 secs
lola: 24218262 markings, 95698115 edges, 128289 markings/sec, 200 secs
lola: 24829142 markings, 98500582 edges, 122176 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 902884 KB
lola: time consumption: 364 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1219039 markings, 2890503 edges, 243808 markings/sec, 30 secs
lola: 2123112 markings, 5980757 edges, 180815 markings/sec, 35 secs
lola: 3052302 markings, 8972505 edges, 185838 markings/sec, 40 secs
lola: 4054110 markings, 11944049 edges, 200362 markings/sec, 45 secs
lola: 4964777 markings, 14874382 edges, 182133 markings/sec, 50 secs
lola: 5852598 markings, 17927322 edges, 177564 markings/sec, 55 secs
lola: 6872306 markings, 20985280 edges, 203942 markings/sec, 60 secs
lola: 8040955 markings, 24086307 edges, 233730 markings/sec, 65 secs
lola: 9000286 markings, 27128698 edges, 191866 markings/sec, 70 secs
lola: 9906555 markings, 30130228 edges, 181254 markings/sec, 75 secs
lola: 10900402 markings, 33189896 edges, 198769 markings/sec, 80 secs
lola: 11898879 markings, 36393986 edges, 199695 markings/sec, 85 secs
lola: 12735499 markings, 39410218 edges, 167324 markings/sec, 90 secs
lola: 13476391 markings, 42465099 edges, 148178 markings/sec, 95 secs
lola: 14311990 markings, 45559790 edges, 167120 markings/sec, 100 secs
lola: 15144583 markings, 48666670 edges, 166519 markings/sec, 105 secs
lola: 16116765 markings, 51802812 edges, 194436 markings/sec, 110 secs
lola: 17290293 markings, 54829624 edges, 234706 markings/sec, 115 secs
lola: 18494051 markings, 58158772 edges, 240752 markings/sec, 120 secs
lola: 19655822 markings, 61828441 edges, 232354 markings/sec, 125 secs
lola: 20757969 markings, 65703430 edges, 220429 markings/sec, 130 secs
lola: 21918362 markings, 68925920 edges, 232079 markings/sec, 135 secs
lola: 23070817 markings, 72532255 edges, 230491 markings/sec, 140 secs
lola: 24185737 markings, 75873229 edges, 222984 markings/sec, 145 secs
lola: 25106643 markings, 78664310 edges, 184181 markings/sec, 150 secs
lola: 26331428 markings, 81840392 edges, 244957 markings/sec, 155 secs
lola: 27494095 markings, 85056623 edges, 232533 markings/sec, 160 secs
lola: 28706495 markings, 88333182 edges, 242480 markings/sec, 165 secs
lola: 29902136 markings, 91673126 edges, 239128 markings/sec, 170 secs
lola: 31024189 markings, 94839350 edges, 224411 markings/sec, 175 secs
lola: 32128205 markings, 97819136 edges, 220803 markings/sec, 180 secs
lola: 33232738 markings, 100945146 edges, 220907 markings/sec, 185 secs
lola: 34302063 markings, 104109822 edges, 213865 markings/sec, 190 secs
lola: 35339278 markings, 106816604 edges, 207443 markings/sec, 195 secs
lola: 36400760 markings, 109584273 edges, 212296 markings/sec, 200 secs
lola: 37464923 markings, 112018802 edges, 212833 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1354920 KB
lola: time consumption: 577 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 854267 markings, 2923229 edges, 170853 markings/sec, 30 secs
lola: 1684850 markings, 5887706 edges, 166117 markings/sec, 35 secs
lola: 2516136 markings, 9107084 edges, 166257 markings/sec, 40 secs
lola: 3292230 markings, 12687599 edges, 155219 markings/sec, 45 secs
lola: 4023818 markings, 16383510 edges, 146318 markings/sec, 50 secs
lola: 4765758 markings, 20143950 edges, 148388 markings/sec, 55 secs
lola: 5547488 markings, 23677254 edges, 156346 markings/sec, 60 secs
lola: 6364267 markings, 26901567 edges, 163356 markings/sec, 65 secs
lola: 7114833 markings, 30559523 edges, 150113 markings/sec, 70 secs
lola: 7826402 markings, 34480846 edges, 142314 markings/sec, 75 secs
lola: 8616427 markings, 37890192 edges, 158005 markings/sec, 80 secs
lola: 9370532 markings, 41552783 edges, 150821 markings/sec, 85 secs
lola: 10130078 markings, 44969432 edges, 151909 markings/sec, 90 secs
lola: 10848458 markings, 48832508 edges, 143676 markings/sec, 95 secs
lola: 11599571 markings, 52547518 edges, 150223 markings/sec, 100 secs
lola: 12353261 markings, 55972526 edges, 150738 markings/sec, 105 secs
lola: 13135208 markings, 59153773 edges, 156389 markings/sec, 110 secs
lola: 13817846 markings, 62895077 edges, 136528 markings/sec, 115 secs
lola: 14564635 markings, 66372531 edges, 149358 markings/sec, 120 secs
lola: 15408928 markings, 69629616 edges, 168859 markings/sec, 125 secs
lola: 16295820 markings, 72657753 edges, 177378 markings/sec, 130 secs
lola: 17127756 markings, 75719816 edges, 166387 markings/sec, 135 secs
lola: 17933310 markings, 78811790 edges, 161111 markings/sec, 140 secs
lola: 18698714 markings, 81997254 edges, 153081 markings/sec, 145 secs
lola: 19583469 markings, 85190787 edges, 176951 markings/sec, 150 secs
lola: 20425058 markings, 88262337 edges, 168318 markings/sec, 155 secs
lola: 21218364 markings, 91548348 edges, 158661 markings/sec, 160 secs
lola: 21990437 markings, 94807799 edges, 154415 markings/sec, 165 secs
lola: 22821660 markings, 97866733 edges, 166245 markings/sec, 170 secs
lola: 23589163 markings, 101076022 edges, 153501 markings/sec, 175 secs
lola: 24404170 markings, 104202656 edges, 163001 markings/sec, 180 secs
lola: 25274926 markings, 107333146 edges, 174151 markings/sec, 185 secs
lola: 26084210 markings, 110355577 edges, 161857 markings/sec, 190 secs
lola: 26850463 markings, 113588095 edges, 153251 markings/sec, 195 secs
lola: 27625089 markings, 116862538 edges, 154925 markings/sec, 200 secs
lola: 28455809 markings, 120031789 edges, 166144 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1033692 KB
lola: time consumption: 790 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1055018 markings, 2940939 edges, 211004 markings/sec, 30 secs
lola: 2009269 markings, 6327052 edges, 190850 markings/sec, 35 secs
lola: 2951543 markings, 9364498 edges, 188455 markings/sec, 40 secs
lola: 3873281 markings, 12687970 edges, 184348 markings/sec, 45 secs
lola: 4708422 markings, 16000606 edges, 167028 markings/sec, 50 secs
lola: 5548159 markings, 19260050 edges, 167947 markings/sec, 55 secs
lola: 6448008 markings, 22482188 edges, 179970 markings/sec, 60 secs
lola: 7296797 markings, 25862494 edges, 169758 markings/sec, 65 secs
lola: 8166236 markings, 29268663 edges, 173888 markings/sec, 70 secs
lola: 9025812 markings, 32607699 edges, 171915 markings/sec, 75 secs
lola: 9826474 markings, 36395863 edges, 160132 markings/sec, 80 secs
lola: 10611746 markings, 40230644 edges, 157054 markings/sec, 85 secs
lola: 11470314 markings, 43977414 edges, 171714 markings/sec, 90 secs
lola: 12263924 markings, 47752848 edges, 158722 markings/sec, 95 secs
lola: 12993528 markings, 51671729 edges, 145921 markings/sec, 100 secs
lola: 13738917 markings, 55508217 edges, 149078 markings/sec, 105 secs
lola: 14487436 markings, 59409347 edges, 149704 markings/sec, 110 secs
lola: 15233728 markings, 63415854 edges, 149258 markings/sec, 115 secs
lola: 15998727 markings, 67409327 edges, 153000 markings/sec, 120 secs
lola: 16811468 markings, 71016670 edges, 162548 markings/sec, 125 secs
lola: 17622448 markings, 74523851 edges, 162196 markings/sec, 130 secs
lola: 18416175 markings, 77786646 edges, 158745 markings/sec, 135 secs
lola: 19113471 markings, 81500260 edges, 139459 markings/sec, 140 secs
lola: 19830480 markings, 85122644 edges, 143402 markings/sec, 145 secs
lola: 20516518 markings, 88880570 edges, 137208 markings/sec, 150 secs
lola: 21226475 markings, 92457037 edges, 141991 markings/sec, 155 secs
lola: 21949051 markings, 95843979 edges, 144515 markings/sec, 160 secs
lola: 22661735 markings, 99174989 edges, 142537 markings/sec, 165 secs
lola: 23372433 markings, 102518006 edges, 142140 markings/sec, 170 secs
lola: 24061202 markings, 105887579 edges, 137754 markings/sec, 175 secs
lola: 24755285 markings, 109262831 edges, 138817 markings/sec, 180 secs
lola: 25479024 markings, 112618900 edges, 144748 markings/sec, 185 secs
lola: 26198106 markings, 115908410 edges, 143816 markings/sec, 190 secs
lola: 26901966 markings, 119270396 edges, 140772 markings/sec, 195 secs
lola: 27627528 markings, 122580416 edges, 145112 markings/sec, 200 secs
lola: 28325693 markings, 125960409 edges, 139633 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1027848 KB
lola: time consumption: 1003 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 120 markings, 280 edges, 24 markings/sec, 25 secs
lola: 849821 markings, 2906705 edges, 169940 markings/sec, 30 secs
lola: 1681409 markings, 5878875 edges, 166318 markings/sec, 35 secs
lola: 2514210 markings, 9101246 edges, 166560 markings/sec, 40 secs
lola: 3292816 markings, 12690445 edges, 155721 markings/sec, 45 secs
lola: 4017577 markings, 16349266 edges, 144952 markings/sec, 50 secs
lola: 4747234 markings, 20039547 edges, 145931 markings/sec, 55 secs
lola: 5452144 markings, 23306686 edges, 140982 markings/sec, 60 secs
lola: 6226655 markings, 26364152 edges, 154902 markings/sec, 65 secs
lola: 6971252 markings, 29820269 edges, 148919 markings/sec, 70 secs
lola: 7632800 markings, 33315620 edges, 132310 markings/sec, 75 secs
lola: 8367193 markings, 36662561 edges, 146879 markings/sec, 80 secs
lola: 9099905 markings, 40310373 edges, 146542 markings/sec, 85 secs
lola: 9873475 markings, 43724310 edges, 154714 markings/sec, 90 secs
lola: 10590737 markings, 47557740 edges, 143452 markings/sec, 95 secs
lola: 11346227 markings, 51141274 edges, 151098 markings/sec, 100 secs
lola: 12076158 markings, 54861068 edges, 145986 markings/sec, 105 secs
lola: 12836805 markings, 57937746 edges, 152129 markings/sec, 110 secs
lola: 13540005 markings, 61419533 edges, 140640 markings/sec, 115 secs
lola: 14248069 markings, 64798891 edges, 141613 markings/sec, 120 secs
lola: 15001615 markings, 68269787 edges, 150709 markings/sec, 125 secs
lola: 15864535 markings, 71217754 edges, 172584 markings/sec, 130 secs
lola: 16735893 markings, 74272852 edges, 174272 markings/sec, 135 secs
lola: 17563029 markings, 77276135 edges, 165427 markings/sec, 140 secs
lola: 18328563 markings, 80514209 edges, 153107 markings/sec, 145 secs
lola: 19139781 markings, 83589565 edges, 162244 markings/sec, 150 secs
lola: 20004297 markings, 86698812 edges, 172903 markings/sec, 155 secs
lola: 20816042 markings, 89817654 edges, 162349 markings/sec, 160 secs
lola: 21576496 markings, 93086652 edges, 152091 markings/sec, 165 secs
lola: 22373922 markings, 96166864 edges, 159485 markings/sec, 170 secs
lola: 23171007 markings, 99284637 edges, 159417 markings/sec, 175 secs
lola: 23947044 markings, 102419236 edges, 155207 markings/sec, 180 secs
lola: 24799196 markings, 105542218 edges, 170430 markings/sec, 185 secs
lola: 25653405 markings, 108699221 edges, 170842 markings/sec, 190 secs
lola: 26460560 markings, 111881234 edges, 161431 markings/sec, 195 secs
lola: 27213398 markings, 115223748 edges, 150568 markings/sec, 200 secs
lola: 28036374 markings, 118355696 edges, 164595 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1019916 KB
lola: time consumption: 1216 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A27)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 133 markings, 140 edges, 27 markings/sec, 25 secs
lola: 1079545 markings, 2684264 edges, 215882 markings/sec, 30 secs
lola: 2340465 markings, 5353241 edges, 252184 markings/sec, 35 secs
lola: 3372638 markings, 8133481 edges, 206435 markings/sec, 40 secs
lola: 4193296 markings, 11041966 edges, 164132 markings/sec, 45 secs
lola: 4935484 markings, 14016500 edges, 148438 markings/sec, 50 secs
lola: 5674519 markings, 17033841 edges, 147807 markings/sec, 55 secs
lola: 6414813 markings, 19983338 edges, 148059 markings/sec, 60 secs
lola: 7369147 markings, 22747148 edges, 190867 markings/sec, 65 secs
lola: 8332454 markings, 25529188 edges, 192661 markings/sec, 70 secs
lola: 9113021 markings, 28439650 edges, 156113 markings/sec, 75 secs
lola: 9845001 markings, 31356478 edges, 146396 markings/sec, 80 secs
lola: 10741466 markings, 34190692 edges, 179293 markings/sec, 85 secs
lola: 11809352 markings, 37107613 edges, 213577 markings/sec, 90 secs
lola: 12677963 markings, 40009745 edges, 173722 markings/sec, 95 secs
lola: 13397649 markings, 42991303 edges, 143937 markings/sec, 100 secs
lola: 14103547 markings, 45865309 edges, 141180 markings/sec, 105 secs
lola: 15008181 markings, 48630208 edges, 180927 markings/sec, 110 secs
lola: 16011453 markings, 51397213 edges, 200654 markings/sec, 115 secs
lola: 16819488 markings, 54296517 edges, 161607 markings/sec, 120 secs
lola: 17545757 markings, 57278286 edges, 145254 markings/sec, 125 secs
lola: 18408126 markings, 60151915 edges, 172474 markings/sec, 130 secs
lola: 19222992 markings, 63048312 edges, 162973 markings/sec, 135 secs
lola: 19928285 markings, 65892398 edges, 141059 markings/sec, 140 secs
lola: 20733690 markings, 68911480 edges, 161081 markings/sec, 145 secs
lola: 21703728 markings, 71704130 edges, 194008 markings/sec, 150 secs
lola: 22645270 markings, 74523988 edges, 188308 markings/sec, 155 secs
lola: 23547851 markings, 77228630 edges, 180516 markings/sec, 160 secs
lola: 24658733 markings, 80271878 edges, 222176 markings/sec, 165 secs
lola: 25724054 markings, 83370911 edges, 213064 markings/sec, 170 secs
lola: 26585864 markings, 86330108 edges, 172362 markings/sec, 175 secs
lola: 27540113 markings, 89549743 edges, 190850 markings/sec, 180 secs
lola: 28553458 markings, 92418515 edges, 202669 markings/sec, 185 secs
lola: 29543154 markings, 95546602 edges, 197939 markings/sec, 190 secs
lola: 30487317 markings, 98693718 edges, 188833 markings/sec, 195 secs
lola: 31415885 markings, 101779667 edges, 185714 markings/sec, 200 secs
lola: 32392329 markings, 104802873 edges, 195289 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1183696 KB
lola: time consumption: 1430 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 907136 markings, 3091120 edges, 181427 markings/sec, 30 secs
lola: 1761431 markings, 6094451 edges, 170859 markings/sec, 35 secs
lola: 2657236 markings, 9202520 edges, 179161 markings/sec, 40 secs
lola: 3463831 markings, 12304112 edges, 161319 markings/sec, 45 secs
lola: 4288396 markings, 15433902 edges, 164913 markings/sec, 50 secs
lola: 5138280 markings, 18490593 edges, 169977 markings/sec, 55 secs
lola: 5988174 markings, 21619768 edges, 169979 markings/sec, 60 secs
lola: 6806810 markings, 24697145 edges, 163727 markings/sec, 65 secs
lola: 7644437 markings, 28037276 edges, 167525 markings/sec, 70 secs
lola: 8490098 markings, 31692630 edges, 169132 markings/sec, 75 secs
lola: 9274415 markings, 35173318 edges, 156863 markings/sec, 80 secs
lola: 10082493 markings, 38377237 edges, 161616 markings/sec, 85 secs
lola: 10885335 markings, 41656063 edges, 160568 markings/sec, 90 secs
lola: 11744561 markings, 45004463 edges, 171845 markings/sec, 95 secs
lola: 12548025 markings, 48282052 edges, 160693 markings/sec, 100 secs
lola: 13359871 markings, 51906935 edges, 162369 markings/sec, 105 secs
lola: 14466278 markings, 54672518 edges, 221281 markings/sec, 110 secs
lola: 15563023 markings, 58137073 edges, 219349 markings/sec, 115 secs
lola: 16641767 markings, 61150243 edges, 215749 markings/sec, 120 secs
lola: 17655847 markings, 64589355 edges, 202816 markings/sec, 125 secs
lola: 18658632 markings, 67612885 edges, 200557 markings/sec, 130 secs
lola: 19616759 markings, 70680278 edges, 191625 markings/sec, 135 secs
lola: 20507273 markings, 73656950 edges, 178103 markings/sec, 140 secs
lola: 21329738 markings, 76598466 edges, 164493 markings/sec, 145 secs
lola: 22143503 markings, 79608511 edges, 162753 markings/sec, 150 secs
lola: 22952994 markings, 82543865 edges, 161898 markings/sec, 155 secs
lola: 23721487 markings, 85640524 edges, 153699 markings/sec, 160 secs
lola: 24642160 markings, 88693555 edges, 184135 markings/sec, 165 secs
lola: 25476159 markings, 91642767 edges, 166800 markings/sec, 170 secs
lola: 26235895 markings, 94671406 edges, 151947 markings/sec, 175 secs
lola: 26997137 markings, 97843263 edges, 152248 markings/sec, 180 secs
lola: 27861710 markings, 100841668 edges, 172915 markings/sec, 185 secs
lola: 28651969 markings, 103870499 edges, 158052 markings/sec, 190 secs
lola: 29363695 markings, 106877312 edges, 142345 markings/sec, 195 secs
lola: 30197909 markings, 109893720 edges, 166843 markings/sec, 200 secs
lola: 31098639 markings, 112834063 edges, 180146 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1131352 KB
lola: time consumption: 1644 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3859 markings, 5033 edges, 772 markings/sec, 25 secs
lola: 1231809 markings, 2939821 edges, 245590 markings/sec, 30 secs
lola: 2152339 markings, 6109074 edges, 184106 markings/sec, 35 secs
lola: 3117785 markings, 9144746 edges, 193089 markings/sec, 40 secs
lola: 4117979 markings, 12126392 edges, 200039 markings/sec, 45 secs
lola: 5013356 markings, 15057971 edges, 179075 markings/sec, 50 secs
lola: 5918821 markings, 18071676 edges, 181093 markings/sec, 55 secs
lola: 6935102 markings, 21117260 edges, 203256 markings/sec, 60 secs
lola: 8105826 markings, 24268303 edges, 234145 markings/sec, 65 secs
lola: 9068926 markings, 27336557 edges, 192620 markings/sec, 70 secs
lola: 9965449 markings, 30357666 edges, 179305 markings/sec, 75 secs
lola: 11002434 markings, 33399172 edges, 207397 markings/sec, 80 secs
lola: 11962662 markings, 36639027 edges, 192046 markings/sec, 85 secs
lola: 12796195 markings, 39683300 edges, 166707 markings/sec, 90 secs
lola: 13547945 markings, 42770936 edges, 150350 markings/sec, 95 secs
lola: 14390882 markings, 45961873 edges, 168587 markings/sec, 100 secs
lola: 15242289 markings, 49046137 edges, 170281 markings/sec, 105 secs
lola: 16264127 markings, 52257856 edges, 204368 markings/sec, 110 secs
lola: 17484420 markings, 55288671 edges, 244059 markings/sec, 115 secs
lola: 18659443 markings, 58728629 edges, 235005 markings/sec, 120 secs
lola: 19852681 markings, 62475054 edges, 238648 markings/sec, 125 secs
lola: 20952311 markings, 66462246 edges, 219926 markings/sec, 130 secs
lola: 22149427 markings, 69583235 edges, 239423 markings/sec, 135 secs
lola: 23297132 markings, 73304658 edges, 229541 markings/sec, 140 secs
lola: 24358829 markings, 76453955 edges, 212339 markings/sec, 145 secs
lola: 25370482 markings, 79394287 edges, 202331 markings/sec, 150 secs
lola: 26599808 markings, 82640194 edges, 245865 markings/sec, 155 secs
lola: 27772221 markings, 85859942 edges, 234483 markings/sec, 160 secs
lola: 28986005 markings, 89145150 edges, 242757 markings/sec, 165 secs
lola: 30189734 markings, 92452050 edges, 240746 markings/sec, 170 secs
lola: 31286223 markings, 95612956 edges, 219298 markings/sec, 175 secs
lola: 32364461 markings, 98571580 edges, 215648 markings/sec, 180 secs
lola: 33485590 markings, 101724069 edges, 224226 markings/sec, 185 secs
lola: 34540738 markings, 104708796 edges, 211030 markings/sec, 190 secs
lola: 35563432 markings, 107425026 edges, 204539 markings/sec, 195 secs
lola: 36615130 markings, 110071391 edges, 210340 markings/sec, 200 secs
lola: 37665805 markings, 112487009 edges, 210135 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1367012 KB
lola: time consumption: 1858 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1171905 markings, 3109200 edges, 234381 markings/sec, 30 secs
lola: 2302138 markings, 6695971 edges, 226047 markings/sec, 35 secs
lola: 3355448 markings, 9703936 edges, 210662 markings/sec, 40 secs
lola: 4256169 markings, 12396084 edges, 180144 markings/sec, 45 secs
lola: 5114604 markings, 15517839 edges, 171687 markings/sec, 50 secs
lola: 5961047 markings, 18511039 edges, 169289 markings/sec, 55 secs
lola: 6754704 markings, 21645078 edges, 158731 markings/sec, 60 secs
lola: 7526913 markings, 24848232 edges, 154442 markings/sec, 65 secs
lola: 8257364 markings, 28026651 edges, 146090 markings/sec, 70 secs
lola: 8996860 markings, 31179055 edges, 147899 markings/sec, 75 secs
lola: 9900016 markings, 34456052 edges, 180631 markings/sec, 80 secs
lola: 10808552 markings, 37651364 edges, 181707 markings/sec, 85 secs
lola: 11723720 markings, 41393040 edges, 183034 markings/sec, 90 secs
lola: 12593190 markings, 44760110 edges, 173894 markings/sec, 95 secs
lola: 13370197 markings, 47746045 edges, 155401 markings/sec, 100 secs
lola: 14234644 markings, 50989491 edges, 172889 markings/sec, 105 secs
lola: 14989806 markings, 53994710 edges, 151032 markings/sec, 110 secs
lola: 15728070 markings, 57002717 edges, 147653 markings/sec, 115 secs
lola: 16485328 markings, 60147683 edges, 151452 markings/sec, 120 secs
lola: 17253146 markings, 63770223 edges, 153564 markings/sec, 125 secs
lola: 18066280 markings, 67222283 edges, 162627 markings/sec, 130 secs
lola: 18901251 markings, 70912114 edges, 166994 markings/sec, 135 secs
lola: 19770402 markings, 75245143 edges, 173830 markings/sec, 140 secs
lola: 20571733 markings, 78974475 edges, 160266 markings/sec, 145 secs
lola: 21462200 markings, 82149673 edges, 178093 markings/sec, 150 secs
lola: 22382476 markings, 84885643 edges, 184055 markings/sec, 155 secs
lola: 23326611 markings, 87765898 edges, 188827 markings/sec, 160 secs
lola: 24277530 markings, 90716809 edges, 190184 markings/sec, 165 secs
lola: 25227206 markings, 93833522 edges, 189935 markings/sec, 170 secs
lola: 26181482 markings, 96959785 edges, 190855 markings/sec, 175 secs
lola: 27135582 markings, 100096082 edges, 190820 markings/sec, 180 secs
lola: 28039180 markings, 103122437 edges, 180720 markings/sec, 185 secs
lola: 28944146 markings, 106237869 edges, 180993 markings/sec, 190 secs
lola: 29892373 markings, 109410364 edges, 189645 markings/sec, 195 secs
lola: 30728838 markings, 112882898 edges, 167293 markings/sec, 200 secs
lola: 31580889 markings, 116166124 edges, 170410 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1151420 KB
lola: time consumption: 2072 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 25 secs
lola: 970723 markings, 2924918 edges, 194144 markings/sec, 30 secs
lola: 2006152 markings, 5849520 edges, 207086 markings/sec, 35 secs
lola: 2988626 markings, 8797983 edges, 196495 markings/sec, 40 secs
lola: 4027061 markings, 11735490 edges, 207687 markings/sec, 45 secs
lola: 5025890 markings, 14677411 edges, 199766 markings/sec, 50 secs
lola: 6058702 markings, 17597557 edges, 206562 markings/sec, 55 secs
lola: 7017939 markings, 20543048 edges, 191847 markings/sec, 60 secs
lola: 8047419 markings, 23497929 edges, 205896 markings/sec, 65 secs
lola: 9055077 markings, 26390293 edges, 201532 markings/sec, 70 secs
lola: 10070811 markings, 29263992 edges, 203147 markings/sec, 75 secs
lola: 11064729 markings, 32132836 edges, 198784 markings/sec, 80 secs
lola: 12049638 markings, 35026333 edges, 196982 markings/sec, 85 secs
lola: 13166900 markings, 37838605 edges, 223452 markings/sec, 90 secs
lola: 14164780 markings, 40810009 edges, 199576 markings/sec, 95 secs
lola: 15136079 markings, 43694923 edges, 194260 markings/sec, 100 secs
lola: 16222216 markings, 46625198 edges, 217227 markings/sec, 105 secs
lola: 17200690 markings, 49588500 edges, 195695 markings/sec, 110 secs
lola: 18205720 markings, 52537330 edges, 201006 markings/sec, 115 secs
lola: 19267957 markings, 55454754 edges, 212447 markings/sec, 120 secs
lola: 20244863 markings, 58433159 edges, 195381 markings/sec, 125 secs
lola: 21287951 markings, 61389152 edges, 208618 markings/sec, 130 secs
lola: 22320350 markings, 64276536 edges, 206480 markings/sec, 135 secs
lola: 23342793 markings, 67213091 edges, 204489 markings/sec, 140 secs
lola: 24414191 markings, 70120671 edges, 214280 markings/sec, 145 secs
lola: 25455999 markings, 73074046 edges, 208362 markings/sec, 150 secs
lola: 26537474 markings, 75969250 edges, 216295 markings/sec, 155 secs
lola: 27790506 markings, 78767694 edges, 250606 markings/sec, 160 secs
lola: 28876518 markings, 81986595 edges, 217202 markings/sec, 165 secs
lola: 29931312 markings, 85109106 edges, 210959 markings/sec, 170 secs
lola: 30783352 markings, 88220309 edges, 170408 markings/sec, 175 secs
lola: 31637624 markings, 91432142 edges, 170854 markings/sec, 180 secs
lola: 32446464 markings, 94583165 edges, 161768 markings/sec, 185 secs
lola: 33613321 markings, 97470126 edges, 233371 markings/sec, 190 secs
lola: 34722965 markings, 100225687 edges, 221929 markings/sec, 195 secs
lola: 35827818 markings, 103034982 edges, 220971 markings/sec, 200 secs
lola: 36860708 markings, 105949056 edges, 206578 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1340856 KB
lola: time consumption: 2286 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(B24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(B24)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges

FORMULA DNAwalker-PT-05track28LR-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: 1 markings, 0 edges, 0 markings/sec, 25 secs
lola: subprocess 11 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A27)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: ========================================
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 215 markings, 230 edges, 43 markings/sec, 25 secs
lola: 1068045 markings, 2654138 edges, 213566 markings/sec, 30 secs
lola: 2324244 markings, 5313441 edges, 251240 markings/sec, 35 secs
lola: 3360049 markings, 8105568 edges, 207161 markings/sec, 40 secs
lola: 4185547 markings, 11012356 edges, 165100 markings/sec, 45 secs
lola: 4930756 markings, 13991088 edges, 149042 markings/sec, 50 secs
lola: 5672910 markings, 17026840 edges, 148431 markings/sec, 55 secs
lola: 6416281 markings, 19989724 edges, 148674 markings/sec, 60 secs
lola: 7373495 markings, 22759125 edges, 191443 markings/sec, 65 secs
lola: 8348133 markings, 25572814 edges, 194928 markings/sec, 70 secs
lola: 9126639 markings, 28496000 edges, 155701 markings/sec, 75 secs
lola: 9866404 markings, 31449013 edges, 147953 markings/sec, 80 secs
lola: 10793344 markings, 34314388 edges, 185388 markings/sec, 85 secs
lola: 11884601 markings, 37284226 edges, 218251 markings/sec, 90 secs
lola: 12733924 markings, 40231518 edges, 169865 markings/sec, 95 secs
lola: 13463028 markings, 43260495 edges, 145821 markings/sec, 100 secs
lola: 14171886 markings, 46153772 edges, 141772 markings/sec, 105 secs
lola: 15141897 markings, 48952148 edges, 194002 markings/sec, 110 secs
lola: 16129819 markings, 51755397 edges, 197584 markings/sec, 115 secs
lola: 16915447 markings, 54698929 edges, 157126 markings/sec, 120 secs
lola: 17649699 markings, 57613586 edges, 146850 markings/sec, 125 secs
lola: 18523445 markings, 60514826 edges, 174749 markings/sec, 130 secs
lola: 19318616 markings, 63395811 edges, 159034 markings/sec, 135 secs
lola: 20043527 markings, 66246809 edges, 144982 markings/sec, 140 secs
lola: 20866745 markings, 69233706 edges, 164644 markings/sec, 145 secs
lola: 21796897 markings, 72076078 edges, 186030 markings/sec, 150 secs
lola: 22762846 markings, 74870008 edges, 193190 markings/sec, 155 secs
lola: 23670034 markings, 77694243 edges, 181438 markings/sec, 160 secs
lola: 24833738 markings, 80787253 edges, 232741 markings/sec, 165 secs
lola: 25854749 markings, 83883128 edges, 204202 markings/sec, 170 secs
lola: 26759611 markings, 86911903 edges, 180972 markings/sec, 175 secs
lola: 27769120 markings, 90148009 edges, 201902 markings/sec, 180 secs
lola: 28724485 markings, 93131203 edges, 191073 markings/sec, 185 secs
lola: 29759163 markings, 96153327 edges, 206936 markings/sec, 190 secs
lola: 30679340 markings, 99333567 edges, 184035 markings/sec, 195 secs
lola: 31609236 markings, 102426776 edges, 185979 markings/sec, 200 secs
lola: 32576700 markings, 105466261 edges, 193493 markings/sec, 205 secs
lola: 33588569 markings, 108549442 edges, 202374 markings/sec, 210 secs
lola: 34573812 markings, 111653180 edges, 197049 markings/sec, 215 secs
lola: 35495739 markings, 114762177 edges, 184385 markings/sec, 220 secs
lola: 36509379 markings, 117763388 edges, 202728 markings/sec, 225 secs
lola: 37497344 markings, 120866969 edges, 197593 markings/sec, 230 secs
lola: 38574682 markings, 123920530 edges, 215468 markings/sec, 235 secs
lola: 39528353 markings, 126830627 edges, 190734 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1441780 KB
lola: time consumption: 2566 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1105823 markings, 2735687 edges, 221165 markings/sec, 30 secs
lola: 2026811 markings, 6228870 edges, 184198 markings/sec, 35 secs
lola: 2821589 markings, 9889493 edges, 158956 markings/sec, 40 secs
lola: 3607102 markings, 12847926 edges, 157103 markings/sec, 45 secs
lola: 4353336 markings, 16259996 edges, 149247 markings/sec, 50 secs
lola: 5077806 markings, 19358325 edges, 144894 markings/sec, 55 secs
lola: 5782380 markings, 22466361 edges, 140915 markings/sec, 60 secs
lola: 6479104 markings, 25968777 edges, 139345 markings/sec, 65 secs
lola: 7145651 markings, 29271020 edges, 133309 markings/sec, 70 secs
lola: 7870593 markings, 32403635 edges, 144988 markings/sec, 75 secs
lola: 8546046 markings, 35894643 edges, 135091 markings/sec, 80 secs
lola: 9209653 markings, 39233741 edges, 132721 markings/sec, 85 secs
lola: 10078214 markings, 42333389 edges, 173712 markings/sec, 90 secs
lola: 10874232 markings, 45792414 edges, 159204 markings/sec, 95 secs
lola: 11537244 markings, 49300935 edges, 132602 markings/sec, 100 secs
lola: 12312613 markings, 52440244 edges, 155074 markings/sec, 105 secs
lola: 13028555 markings, 56007052 edges, 143188 markings/sec, 110 secs
lola: 13706687 markings, 59568673 edges, 135626 markings/sec, 115 secs
lola: 14451830 markings, 62920390 edges, 149029 markings/sec, 120 secs
lola: 15224267 markings, 66162216 edges, 154487 markings/sec, 125 secs
lola: 15997239 markings, 69268666 edges, 154594 markings/sec, 130 secs
lola: 16714469 markings, 72511220 edges, 143446 markings/sec, 135 secs
lola: 17550077 markings, 75351637 edges, 167122 markings/sec, 140 secs
lola: 18319617 markings, 78654454 edges, 153908 markings/sec, 145 secs
lola: 19043428 markings, 82089188 edges, 144762 markings/sec, 150 secs
lola: 19817257 markings, 85181571 edges, 154766 markings/sec, 155 secs
lola: 20499166 markings, 88618660 edges, 136382 markings/sec, 160 secs
lola: 21157685 markings, 92351533 edges, 131704 markings/sec, 165 secs
lola: 21790477 markings, 96119172 edges, 126558 markings/sec, 170 secs
lola: 22484874 markings, 99554943 edges, 138879 markings/sec, 175 secs
lola: 23124858 markings, 103214837 edges, 127997 markings/sec, 180 secs
lola: 23800141 markings, 106964781 edges, 135057 markings/sec, 185 secs
lola: 24459573 markings, 110687260 edges, 131886 markings/sec, 190 secs
lola: 25315457 markings, 113787757 edges, 171177 markings/sec, 195 secs
lola: 26162445 markings, 116705695 edges, 169398 markings/sec, 200 secs
lola: 26987857 markings, 119276533 edges, 165082 markings/sec, 205 secs
lola: 27784219 markings, 121921937 edges, 159272 markings/sec, 210 secs
lola: 28562690 markings, 125156238 edges, 155694 markings/sec, 215 secs
lola: 29251595 markings, 128420749 edges, 137781 markings/sec, 220 secs
lola: 29910674 markings, 131957718 edges, 131816 markings/sec, 225 secs
lola: 30623715 markings, 135345947 edges, 142608 markings/sec, 230 secs
lola: 31416392 markings, 138443628 edges, 158535 markings/sec, 235 secs
lola: 32129767 markings, 141464734 edges, 142675 markings/sec, 240 secs
lola: 32831786 markings, 144527501 edges, 140404 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1176192 KB
lola: time consumption: 2817 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(B23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(B23)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================

FORMULA DNAwalker-PT-05track28LR-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 201 markings, 212 edges, 40 markings/sec, 25 secs
lola: 993208 markings, 3009618 edges, 198601 markings/sec, 30 secs
lola: 2057396 markings, 5966371 edges, 212838 markings/sec, 35 secs
lola: 3057747 markings, 8952973 edges, 200070 markings/sec, 40 secs
lola: 4086650 markings, 11930445 edges, 205781 markings/sec, 45 secs
lola: 5082298 markings, 14807746 edges, 199130 markings/sec, 50 secs
lola: 6087329 markings, 17695445 edges, 201006 markings/sec, 55 secs
lola: 7032131 markings, 20593950 edges, 188960 markings/sec, 60 secs
lola: 8048364 markings, 23501247 edges, 203247 markings/sec, 65 secs
lola: 9039474 markings, 26348781 edges, 198222 markings/sec, 70 secs
lola: 10056003 markings, 29222015 edges, 203306 markings/sec, 75 secs
lola: 11066272 markings, 32136864 edges, 202054 markings/sec, 80 secs
lola: 12043857 markings, 35008541 edges, 195517 markings/sec, 85 secs
lola: 13175656 markings, 37858989 edges, 226360 markings/sec, 90 secs
lola: 14189362 markings, 40884403 edges, 202741 markings/sec, 95 secs
lola: 15171668 markings, 43770245 edges, 196461 markings/sec, 100 secs
lola: 16248801 markings, 46717955 edges, 215427 markings/sec, 105 secs
lola: 17214513 markings, 49622942 edges, 193142 markings/sec, 110 secs
lola: 18202825 markings, 52530651 edges, 197662 markings/sec, 115 secs
lola: 19250786 markings, 55400071 edges, 209592 markings/sec, 120 secs
lola: 20218310 markings, 58332198 edges, 193505 markings/sec, 125 secs
lola: 21246957 markings, 61252568 edges, 205729 markings/sec, 130 secs
lola: 22277335 markings, 64158701 edges, 206076 markings/sec, 135 secs
lola: 23293791 markings, 67084620 edges, 203291 markings/sec, 140 secs
lola: 24371700 markings, 70001398 edges, 215582 markings/sec, 145 secs
lola: 25415030 markings, 72941402 edges, 208666 markings/sec, 150 secs
lola: 26485933 markings, 75847090 edges, 214181 markings/sec, 155 secs
lola: 27733602 markings, 78638469 edges, 249534 markings/sec, 160 secs
lola: 28824742 markings, 81847047 edges, 218228 markings/sec, 165 secs
lola: 29885171 markings, 84958631 edges, 212086 markings/sec, 170 secs
lola: 30739947 markings, 88037186 edges, 170955 markings/sec, 175 secs
lola: 31585044 markings, 91205760 edges, 169019 markings/sec, 180 secs
lola: 32394406 markings, 94356806 edges, 161872 markings/sec, 185 secs
lola: 33529928 markings, 97278848 edges, 227104 markings/sec, 190 secs
lola: 34651714 markings, 99977062 edges, 224357 markings/sec, 195 secs
lola: 35746492 markings, 102787469 edges, 218956 markings/sec, 200 secs
lola: 36767807 markings, 105643469 edges, 204263 markings/sec, 205 secs
lola: 37740104 markings, 108730810 edges, 194459 markings/sec, 210 secs
lola: 38798670 markings, 111767927 edges, 211713 markings/sec, 215 secs
lola: 39878000 markings, 114637333 edges, 215866 markings/sec, 220 secs
lola: 40897664 markings, 117268581 edges, 203933 markings/sec, 225 secs
lola: 41952691 markings, 119881334 edges, 211005 markings/sec, 230 secs
lola: 43030871 markings, 122640273 edges, 215636 markings/sec, 235 secs
lola: 44154528 markings, 125374818 edges, 224731 markings/sec, 240 secs
lola: 45250076 markings, 128008154 edges, 219110 markings/sec, 245 secs
lola: 46292788 markings, 130689041 edges, 208542 markings/sec, 250 secs
lola: 47316036 markings, 133381178 edges, 204650 markings/sec, 255 secs
lola: 48192392 markings, 136210964 edges, 175271 markings/sec, 260 secs
lola: 49056879 markings, 138868421 edges, 172897 markings/sec, 265 secs
lola: 50018918 markings, 141476717 edges, 192408 markings/sec, 270 secs
lola: 51029972 markings, 143777230 edges, 202211 markings/sec, 275 secs
lola: 51920092 markings, 146662403 edges, 178024 markings/sec, 280 secs
lola: 52791333 markings, 149664947 edges, 174248 markings/sec, 285 secs
lola: 53704942 markings, 152380731 edges, 182722 markings/sec, 290 secs
lola: 54648852 markings, 154903223 edges, 188782 markings/sec, 295 secs
lola: 55509709 markings, 157750159 edges, 172171 markings/sec, 300 secs
lola: 56417572 markings, 160550510 edges, 181573 markings/sec, 305 secs
lola: 57423778 markings, 163355034 edges, 201241 markings/sec, 310 secs
lola: 58456426 markings, 166066766 edges, 206530 markings/sec, 315 secs
lola: 59420466 markings, 168870080 edges, 192808 markings/sec, 320 secs
lola: 60409532 markings, 171624569 edges, 197813 markings/sec, 325 secs
lola: 61381039 markings, 174182461 edges, 194301 markings/sec, 330 secs
lola: 62403612 markings, 176751188 edges, 204515 markings/sec, 335 secs
lola: 63310361 markings, 179832612 edges, 181350 markings/sec, 340 secs
lola: 64185802 markings, 183029673 edges, 175088 markings/sec, 345 secs
lola: 65061994 markings, 186395215 edges, 175238 markings/sec, 350 secs
lola: 65977716 markings, 189746428 edges, 183144 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2343364 KB
lola: time consumption: 3208 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1031400 markings, 2916157 edges, 206280 markings/sec, 30 secs
lola: 1793308 markings, 6105327 edges, 152382 markings/sec, 35 secs
lola: 2649731 markings, 9128245 edges, 171285 markings/sec, 40 secs
lola: 3616460 markings, 12183335 edges, 193346 markings/sec, 45 secs
lola: 4401113 markings, 15297226 edges, 156931 markings/sec, 50 secs
lola: 5368993 markings, 18226693 edges, 193576 markings/sec, 55 secs
lola: 6148462 markings, 21336440 edges, 155894 markings/sec, 60 secs
lola: 6885223 markings, 24608058 edges, 147352 markings/sec, 65 secs
lola: 7720295 markings, 27742030 edges, 167014 markings/sec, 70 secs
lola: 8491334 markings, 30834107 edges, 154208 markings/sec, 75 secs
lola: 9616706 markings, 33784921 edges, 225074 markings/sec, 80 secs
lola: 10652857 markings, 36645749 edges, 207230 markings/sec, 85 secs
lola: 11630027 markings, 39770816 edges, 195434 markings/sec, 90 secs
lola: 12416529 markings, 42931325 edges, 157300 markings/sec, 95 secs
lola: 13124844 markings, 46094368 edges, 141663 markings/sec, 100 secs
lola: 13832689 markings, 49299512 edges, 141569 markings/sec, 105 secs
lola: 14759111 markings, 52358095 edges, 185284 markings/sec, 110 secs
lola: 15847739 markings, 55500273 edges, 217726 markings/sec, 115 secs
lola: 16843710 markings, 58663780 edges, 199194 markings/sec, 120 secs
lola: 17665372 markings, 61788867 edges, 164332 markings/sec, 125 secs
lola: 18364433 markings, 64975324 edges, 139812 markings/sec, 130 secs
lola: 19065355 markings, 68165231 edges, 140184 markings/sec, 135 secs
lola: 19806603 markings, 71324597 edges, 148250 markings/sec, 140 secs
lola: 20807576 markings, 74234849 edges, 200195 markings/sec, 145 secs
lola: 21587237 markings, 77386290 edges, 155932 markings/sec, 150 secs
lola: 22332051 markings, 80607272 edges, 148963 markings/sec, 155 secs
lola: 23177287 markings, 83707633 edges, 169047 markings/sec, 160 secs
lola: 23997493 markings, 86743593 edges, 164041 markings/sec, 165 secs
lola: 25043697 markings, 89683513 edges, 209241 markings/sec, 170 secs
lola: 25927007 markings, 92748081 edges, 176662 markings/sec, 175 secs
lola: 26650479 markings, 95872314 edges, 144694 markings/sec, 180 secs
lola: 27396444 markings, 99037388 edges, 149193 markings/sec, 185 secs
lola: 28215112 markings, 102072580 edges, 163734 markings/sec, 190 secs
lola: 29245305 markings, 105133727 edges, 206039 markings/sec, 195 secs
lola: 29984401 markings, 108274734 edges, 147819 markings/sec, 200 secs
lola: 30989517 markings, 111157623 edges, 201023 markings/sec, 205 secs
lola: 31987427 markings, 114181808 edges, 199582 markings/sec, 210 secs
lola: 33083473 markings, 117213974 edges, 219209 markings/sec, 215 secs
lola: 34172490 markings, 120601634 edges, 217803 markings/sec, 220 secs
lola: 35129407 markings, 123825153 edges, 191383 markings/sec, 225 secs
lola: 36033065 markings, 127071328 edges, 180732 markings/sec, 230 secs
lola: 37027390 markings, 130129023 edges, 198865 markings/sec, 235 secs
lola: 38033214 markings, 133220054 edges, 201165 markings/sec, 240 secs
lola: 39049139 markings, 136034817 edges, 203185 markings/sec, 245 secs
lola: 40000592 markings, 138925296 edges, 190291 markings/sec, 250 secs
lola: 40957011 markings, 141446526 edges, 191284 markings/sec, 255 secs
lola: 41903085 markings, 143959156 edges, 189215 markings/sec, 260 secs
lola: 42766873 markings, 146820491 edges, 172758 markings/sec, 265 secs
lola: 43613938 markings, 149971151 edges, 169413 markings/sec, 270 secs
lola: 44449990 markings, 152972354 edges, 167210 markings/sec, 275 secs
lola: 45393295 markings, 156223887 edges, 188661 markings/sec, 280 secs
lola: 46329964 markings, 159523065 edges, 187334 markings/sec, 285 secs
lola: 47220196 markings, 162741032 edges, 178046 markings/sec, 290 secs
lola: 48078832 markings, 166079156 edges, 171727 markings/sec, 295 secs
lola: 48924292 markings, 169627222 edges, 169092 markings/sec, 300 secs
lola: 49715298 markings, 173053915 edges, 158201 markings/sec, 305 secs
lola: 50643892 markings, 175920506 edges, 185719 markings/sec, 310 secs
lola: 51458653 markings, 178989642 edges, 162952 markings/sec, 315 secs
lola: 52239943 markings, 182393196 edges, 156258 markings/sec, 320 secs
lola: 53102723 markings, 185906833 edges, 172556 markings/sec, 325 secs
lola: 53948591 markings, 189094863 edges, 169174 markings/sec, 330 secs
lola: 54785651 markings, 192547625 edges, 167412 markings/sec, 335 secs
lola: 55658339 markings, 195645703 edges, 174538 markings/sec, 340 secs
lola: 56600721 markings, 198381192 edges, 188476 markings/sec, 345 secs
lola: 57431419 markings, 201124701 edges, 166140 markings/sec, 350 secs
lola: 58325279 markings, 203874224 edges, 178772 markings/sec, 355 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2078956 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2078956 KB
lola: time consumption: 3570 seconds

BK_STOP 1552706438070

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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-05track28LR"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is 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 r055-oct2-155234418700211"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-05track28LR.tgz
mv DNAwalker-PT-05track28LR execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;