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-155234418700214.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-06track28RL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-oct2-155234418700214
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.3K Feb 10 20:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 20:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.5K Feb 4 23:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 06:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 06:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 22:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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.7K 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-06track28RL-UpperBounds-00
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-01
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-02
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-03
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-04
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-05
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-06
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-07
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-08
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-09
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-10
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-11
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-12
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-13
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-14
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552703286543

info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-06track28RL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-06track28RL formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DNAwalker-PT-06track28RL @ 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-06track28RL-UpperBounds.task
lola: MAX(A9) : MAX(B19) : MAX(A23) : MAX(A14) : MAX(A11) : MAX(A13) : MAX(A1) : MAX(B6) : MAX(B19) : MAX(A2) : MAX(A7) : MAX(A9) : MAX(A8) : MAX(A24) : MAX(A23) : MAX(A14)
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(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-06track28RL-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: 1947 markings, 3344 edges, 389 markings/sec, 25 secs
lola: 991355 markings, 3420941 edges, 197882 markings/sec, 30 secs
lola: 1895779 markings, 6533089 edges, 180885 markings/sec, 35 secs
lola: 2713081 markings, 10352255 edges, 163460 markings/sec, 40 secs
lola: 3574190 markings, 13986224 edges, 172222 markings/sec, 45 secs
lola: 4420610 markings, 17518321 edges, 169284 markings/sec, 50 secs
lola: 5280512 markings, 21023742 edges, 171980 markings/sec, 55 secs
lola: 6055752 markings, 24646700 edges, 155048 markings/sec, 60 secs
lola: 6792202 markings, 28326387 edges, 147290 markings/sec, 65 secs
lola: 7550501 markings, 31931937 edges, 151660 markings/sec, 70 secs
lola: 8302204 markings, 35524232 edges, 150341 markings/sec, 75 secs
lola: 9043641 markings, 39216408 edges, 148287 markings/sec, 80 secs
lola: 9824710 markings, 42699463 edges, 156214 markings/sec, 85 secs
lola: 10651125 markings, 46045430 edges, 165283 markings/sec, 90 secs
lola: 11451864 markings, 49129048 edges, 160148 markings/sec, 95 secs
lola: 12275355 markings, 52248672 edges, 164698 markings/sec, 100 secs
lola: 13088780 markings, 55286421 edges, 162685 markings/sec, 105 secs
lola: 13846696 markings, 58898595 edges, 151583 markings/sec, 110 secs
lola: 14574076 markings, 62659671 edges, 145476 markings/sec, 115 secs
lola: 15299248 markings, 66295554 edges, 145034 markings/sec, 120 secs
lola: 16011182 markings, 69974798 edges, 142387 markings/sec, 125 secs
lola: 16703248 markings, 73855172 edges, 138413 markings/sec, 130 secs
lola: 17411614 markings, 77937898 edges, 141673 markings/sec, 135 secs
lola: 18208034 markings, 81760007 edges, 159284 markings/sec, 140 secs
lola: 18953293 markings, 85922119 edges, 149052 markings/sec, 145 secs
lola: 19661884 markings, 90279835 edges, 141718 markings/sec, 150 secs
lola: 20340291 markings, 94802011 edges, 135681 markings/sec, 155 secs
lola: 21111898 markings, 99030320 edges, 154321 markings/sec, 160 secs
lola: 21835904 markings, 103152203 edges, 144801 markings/sec, 165 secs
lola: 22570034 markings, 107188714 edges, 146826 markings/sec, 170 secs
lola: 23324136 markings, 110897901 edges, 150820 markings/sec, 175 secs
lola: 24052045 markings, 114734594 edges, 145582 markings/sec, 180 secs
lola: 24714112 markings, 118870123 edges, 132413 markings/sec, 185 secs
lola: 25368569 markings, 123073737 edges, 130891 markings/sec, 190 secs
lola: 26105045 markings, 127461747 edges, 147295 markings/sec, 195 secs
lola: 26870594 markings, 131014021 edges, 153110 markings/sec, 200 secs
lola: 27595159 markings, 134384539 edges, 144913 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: 1001828 KB
lola: time consumption: 373 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(B19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(B19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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-06track28RL-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A23)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 5460 markings, 8695 edges, 1092 markings/sec, 25 secs
lola: 1567830 markings, 3015788 edges, 312474 markings/sec, 30 secs
lola: 3145349 markings, 6138362 edges, 315504 markings/sec, 35 secs
lola: 4098505 markings, 8600399 edges, 190631 markings/sec, 40 secs
lola: 5044991 markings, 11248972 edges, 189297 markings/sec, 45 secs
lola: 5874273 markings, 13870640 edges, 165856 markings/sec, 50 secs
lola: 6797307 markings, 16531454 edges, 184607 markings/sec, 55 secs
lola: 7542715 markings, 19197894 edges, 149082 markings/sec, 60 secs
lola: 8401005 markings, 21886762 edges, 171658 markings/sec, 65 secs
lola: 9109180 markings, 24590843 edges, 141635 markings/sec, 70 secs
lola: 9879106 markings, 27292573 edges, 153985 markings/sec, 75 secs
lola: 10907755 markings, 30154188 edges, 205730 markings/sec, 80 secs
lola: 12160703 markings, 33180938 edges, 250590 markings/sec, 85 secs
lola: 13421487 markings, 36123055 edges, 252157 markings/sec, 90 secs
lola: 14662046 markings, 39137997 edges, 248112 markings/sec, 95 secs
lola: 15741563 markings, 42079139 edges, 215903 markings/sec, 100 secs
lola: 16969739 markings, 45082909 edges, 245635 markings/sec, 105 secs
lola: 18064220 markings, 48042150 edges, 218896 markings/sec, 110 secs
lola: 18844966 markings, 50760421 edges, 156149 markings/sec, 115 secs
lola: 19578977 markings, 53396024 edges, 146802 markings/sec, 120 secs
lola: 20639751 markings, 56271302 edges, 212155 markings/sec, 125 secs
lola: 21789187 markings, 59164698 edges, 229887 markings/sec, 130 secs
lola: 22884386 markings, 62036769 edges, 219040 markings/sec, 135 secs
lola: 24081773 markings, 64905482 edges, 239477 markings/sec, 140 secs
lola: 25252714 markings, 67742772 edges, 234188 markings/sec, 145 secs
lola: 26376540 markings, 70496257 edges, 224765 markings/sec, 150 secs
lola: 27467280 markings, 73153760 edges, 218148 markings/sec, 155 secs
lola: 28566851 markings, 75804220 edges, 219914 markings/sec, 160 secs
lola: 29662543 markings, 78562264 edges, 219138 markings/sec, 165 secs
lola: 30783235 markings, 81499419 edges, 224138 markings/sec, 170 secs
lola: 31851259 markings, 84922985 edges, 213605 markings/sec, 175 secs
lola: 32877261 markings, 88253967 edges, 205200 markings/sec, 180 secs
lola: 33905792 markings, 91537493 edges, 205706 markings/sec, 185 secs
lola: 34958690 markings, 94868740 edges, 210580 markings/sec, 190 secs
lola: 36052680 markings, 98280970 edges, 218798 markings/sec, 195 secs
lola: 37095632 markings, 101606743 edges, 208590 markings/sec, 200 secs
lola: 38152669 markings, 104944470 edges, 211407 markings/sec, 205 secs
lola: 39213937 markings, 108635615 edges, 212254 markings/sec, 210 secs
lola: 40260003 markings, 112413925 edges, 209213 markings/sec, 215 secs
lola: 41138758 markings, 115576113 edges, 175751 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1471976 KB
lola: time consumption: 630 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 4217 markings, 6044 edges, 843 markings/sec, 25 secs
lola: 980917 markings, 2940000 edges, 195340 markings/sec, 30 secs
lola: 1825075 markings, 5938126 edges, 168832 markings/sec, 35 secs
lola: 2660082 markings, 8852819 edges, 167001 markings/sec, 40 secs
lola: 3515942 markings, 11699663 edges, 171172 markings/sec, 45 secs
lola: 4431941 markings, 14654489 edges, 183200 markings/sec, 50 secs
lola: 5204256 markings, 17573389 edges, 154463 markings/sec, 55 secs
lola: 5996167 markings, 20537818 edges, 158382 markings/sec, 60 secs
lola: 6944195 markings, 23389464 edges, 189606 markings/sec, 65 secs
lola: 7806418 markings, 26299827 edges, 172445 markings/sec, 70 secs
lola: 8624820 markings, 29197290 edges, 163680 markings/sec, 75 secs
lola: 9450311 markings, 32184208 edges, 165098 markings/sec, 80 secs
lola: 10395457 markings, 35116527 edges, 189029 markings/sec, 85 secs
lola: 11269616 markings, 38111375 edges, 174832 markings/sec, 90 secs
lola: 12078816 markings, 41093935 edges, 161840 markings/sec, 95 secs
lola: 12949642 markings, 44096189 edges, 174165 markings/sec, 100 secs
lola: 13878952 markings, 47134619 edges, 185862 markings/sec, 105 secs
lola: 14708705 markings, 50177731 edges, 165951 markings/sec, 110 secs
lola: 15490481 markings, 53222710 edges, 156355 markings/sec, 115 secs
lola: 16327218 markings, 56173427 edges, 167347 markings/sec, 120 secs
lola: 17116621 markings, 59204579 edges, 157881 markings/sec, 125 secs
lola: 17904892 markings, 62219016 edges, 157654 markings/sec, 130 secs
lola: 18691459 markings, 65274849 edges, 157313 markings/sec, 135 secs
lola: 19607726 markings, 68235476 edges, 183253 markings/sec, 140 secs
lola: 20423531 markings, 71485550 edges, 163161 markings/sec, 145 secs
lola: 21163224 markings, 74535186 edges, 147939 markings/sec, 150 secs
lola: 21906989 markings, 77728825 edges, 148753 markings/sec, 155 secs
lola: 22732906 markings, 80818597 edges, 165183 markings/sec, 160 secs
lola: 23607761 markings, 83905286 edges, 174971 markings/sec, 165 secs
lola: 24491825 markings, 86961939 edges, 176813 markings/sec, 170 secs
lola: 25331786 markings, 89963355 edges, 167992 markings/sec, 175 secs
lola: 26224777 markings, 92878184 edges, 178598 markings/sec, 180 secs
lola: 27035704 markings, 95904097 edges, 162185 markings/sec, 185 secs
lola: 27988574 markings, 98841300 edges, 190574 markings/sec, 190 secs
lola: 28916244 markings, 101825583 edges, 185534 markings/sec, 195 secs
lola: 29724381 markings, 104891808 edges, 161627 markings/sec, 200 secs
lola: 30503736 markings, 107986221 edges, 155871 markings/sec, 205 secs
lola: 31283354 markings, 110974111 edges, 155924 markings/sec, 210 secs
lola: 32086836 markings, 113999397 edges, 160696 markings/sec, 215 secs
lola: 32898271 markings, 117010962 edges, 162287 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1179092 KB
lola: time consumption: 856 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 226 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-06track28RL-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: 3768 markings, 9050 edges, 754 markings/sec, 25 secs
lola: 1171052 markings, 3308832 edges, 233457 markings/sec, 30 secs
lola: 2084530 markings, 7117145 edges, 182696 markings/sec, 35 secs
lola: 3112268 markings, 10697292 edges, 205548 markings/sec, 40 secs
lola: 4055536 markings, 14464052 edges, 188654 markings/sec, 45 secs
lola: 4966229 markings, 17705838 edges, 182139 markings/sec, 50 secs
lola: 5761717 markings, 20961395 edges, 159098 markings/sec, 55 secs
lola: 6564933 markings, 24076640 edges, 160643 markings/sec, 60 secs
lola: 7394579 markings, 27355362 edges, 165929 markings/sec, 65 secs
lola: 8099703 markings, 30743326 edges, 141025 markings/sec, 70 secs
lola: 8846736 markings, 34002936 edges, 149407 markings/sec, 75 secs
lola: 9635593 markings, 36922236 edges, 157771 markings/sec, 80 secs
lola: 10360845 markings, 40008557 edges, 145050 markings/sec, 85 secs
lola: 11033291 markings, 43568344 edges, 134489 markings/sec, 90 secs
lola: 11682142 markings, 47048305 edges, 129770 markings/sec, 95 secs
lola: 12389697 markings, 50087279 edges, 141511 markings/sec, 100 secs
lola: 13039718 markings, 53541510 edges, 130004 markings/sec, 105 secs
lola: 13717078 markings, 56834920 edges, 135472 markings/sec, 110 secs
lola: 14381702 markings, 60254171 edges, 132925 markings/sec, 115 secs
lola: 15261000 markings, 63168436 edges, 175860 markings/sec, 120 secs
lola: 16083305 markings, 66466197 edges, 164461 markings/sec, 125 secs
lola: 16830249 markings, 70060049 edges, 149389 markings/sec, 130 secs
lola: 17561232 markings, 73734500 edges, 146197 markings/sec, 135 secs
lola: 18218694 markings, 77442882 edges, 131492 markings/sec, 140 secs
lola: 18966425 markings, 80820883 edges, 149546 markings/sec, 145 secs
lola: 19648732 markings, 84135584 edges, 136461 markings/sec, 150 secs
lola: 20358381 markings, 87043517 edges, 141930 markings/sec, 155 secs
lola: 21012917 markings, 90337160 edges, 130907 markings/sec, 160 secs
lola: 21618176 markings, 93870160 edges, 121052 markings/sec, 165 secs
lola: 22408103 markings, 97024515 edges, 157985 markings/sec, 170 secs
lola: 23090437 markings, 100519659 edges, 136467 markings/sec, 175 secs
lola: 23754976 markings, 103517580 edges, 132908 markings/sec, 180 secs
lola: 24420535 markings, 106607405 edges, 133112 markings/sec, 185 secs
lola: 24993259 markings, 110256593 edges, 114545 markings/sec, 190 secs
lola: 25826344 markings, 113414864 edges, 166617 markings/sec, 195 secs
lola: 26687186 markings, 116450307 edges, 172168 markings/sec, 200 secs
lola: 27521672 markings, 119564280 edges, 166897 markings/sec, 205 secs
lola: 28280017 markings, 122680533 edges, 151669 markings/sec, 210 secs
lola: 29139260 markings, 125716801 edges, 171849 markings/sec, 215 secs
lola: 29979219 markings, 128796154 edges, 167992 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1076712 KB
lola: time consumption: 1082 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 3169 markings, 3869 edges, 634 markings/sec, 25 secs
lola: 1159404 markings, 2617608 edges, 231247 markings/sec, 30 secs
lola: 2415282 markings, 5471899 edges, 251176 markings/sec, 35 secs
lola: 3854536 markings, 8590245 edges, 287851 markings/sec, 40 secs
lola: 4925168 markings, 11445055 edges, 214126 markings/sec, 45 secs
lola: 6232657 markings, 14358172 edges, 261498 markings/sec, 50 secs
lola: 7508790 markings, 17504200 edges, 255227 markings/sec, 55 secs
lola: 8796153 markings, 20636708 edges, 257473 markings/sec, 60 secs
lola: 9984727 markings, 23593108 edges, 237715 markings/sec, 65 secs
lola: 11090727 markings, 26660709 edges, 221200 markings/sec, 70 secs
lola: 12102880 markings, 29690944 edges, 202431 markings/sec, 75 secs
lola: 13240161 markings, 32766546 edges, 227456 markings/sec, 80 secs
lola: 14479079 markings, 35876516 edges, 247784 markings/sec, 85 secs
lola: 15672130 markings, 38902064 edges, 238610 markings/sec, 90 secs
lola: 16870152 markings, 41999226 edges, 239604 markings/sec, 95 secs
lola: 18079189 markings, 45087066 edges, 241807 markings/sec, 100 secs
lola: 19323564 markings, 48619843 edges, 248875 markings/sec, 105 secs
lola: 20545527 markings, 52448997 edges, 244393 markings/sec, 110 secs
lola: 21660503 markings, 56166582 edges, 222995 markings/sec, 115 secs
lola: 22753142 markings, 59898907 edges, 218528 markings/sec, 120 secs
lola: 23871589 markings, 63624165 edges, 223689 markings/sec, 125 secs
lola: 24835867 markings, 67245539 edges, 192856 markings/sec, 130 secs
lola: 25964882 markings, 70888982 edges, 225803 markings/sec, 135 secs
lola: 26969019 markings, 74293068 edges, 200827 markings/sec, 140 secs
lola: 28041151 markings, 77851374 edges, 214426 markings/sec, 145 secs
lola: 29012750 markings, 81456545 edges, 194320 markings/sec, 150 secs
lola: 29917542 markings, 85101683 edges, 180958 markings/sec, 155 secs
lola: 30964631 markings, 88708881 edges, 209418 markings/sec, 160 secs
lola: 31986876 markings, 92307669 edges, 204449 markings/sec, 165 secs
lola: 33043446 markings, 96356674 edges, 211314 markings/sec, 170 secs
lola: 33988194 markings, 100528337 edges, 188950 markings/sec, 175 secs
lola: 35031472 markings, 104670561 edges, 208656 markings/sec, 180 secs
lola: 36155625 markings, 108123947 edges, 224831 markings/sec, 185 secs
lola: 37283938 markings, 111707521 edges, 225663 markings/sec, 190 secs
lola: 38397699 markings, 115262156 edges, 222752 markings/sec, 195 secs
lola: 39526358 markings, 118921259 edges, 225732 markings/sec, 200 secs
lola: 40661804 markings, 122525288 edges, 227089 markings/sec, 205 secs
lola: 41707198 markings, 126801595 edges, 209079 markings/sec, 210 secs
lola: 42723672 markings, 131011069 edges, 203295 markings/sec, 215 secs
lola: 43673560 markings, 134994579 edges, 189978 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1559704 KB
lola: time consumption: 1309 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 3274 markings, 6723 edges, 655 markings/sec, 25 secs
lola: 831354 markings, 3483452 edges, 165616 markings/sec, 30 secs
lola: 1667040 markings, 7003258 edges, 167137 markings/sec, 35 secs
lola: 2497270 markings, 10520925 edges, 166046 markings/sec, 40 secs
lola: 3327250 markings, 13794924 edges, 165996 markings/sec, 45 secs
lola: 4115751 markings, 17499388 edges, 157700 markings/sec, 50 secs
lola: 4920172 markings, 21203241 edges, 160884 markings/sec, 55 secs
lola: 5708527 markings, 24865871 edges, 157671 markings/sec, 60 secs
lola: 6440764 markings, 28962247 edges, 146447 markings/sec, 65 secs
lola: 7158459 markings, 32678819 edges, 143539 markings/sec, 70 secs
lola: 7931535 markings, 36200039 edges, 154615 markings/sec, 75 secs
lola: 8629904 markings, 39931390 edges, 139674 markings/sec, 80 secs
lola: 9286113 markings, 44013675 edges, 131242 markings/sec, 85 secs
lola: 9961575 markings, 48025806 edges, 135092 markings/sec, 90 secs
lola: 10640190 markings, 52217424 edges, 135723 markings/sec, 95 secs
lola: 11403350 markings, 55923851 edges, 152632 markings/sec, 100 secs
lola: 12136846 markings, 59552001 edges, 146699 markings/sec, 105 secs
lola: 12980899 markings, 62963664 edges, 168811 markings/sec, 110 secs
lola: 13766600 markings, 66442226 edges, 157140 markings/sec, 115 secs
lola: 14528944 markings, 69924266 edges, 152469 markings/sec, 120 secs
lola: 15237127 markings, 73898893 edges, 141637 markings/sec, 125 secs
lola: 15973251 markings, 77386744 edges, 147225 markings/sec, 130 secs
lola: 16641206 markings, 81241996 edges, 133591 markings/sec, 135 secs
lola: 17328192 markings, 85178145 edges, 137397 markings/sec, 140 secs
lola: 18079461 markings, 88656979 edges, 150254 markings/sec, 145 secs
lola: 18844769 markings, 92137716 edges, 153062 markings/sec, 150 secs
lola: 19566523 markings, 95800090 edges, 144351 markings/sec, 155 secs
lola: 20271052 markings, 99449874 edges, 140906 markings/sec, 160 secs
lola: 20935711 markings, 103163884 edges, 132932 markings/sec, 165 secs
lola: 21659448 markings, 106711544 edges, 144747 markings/sec, 170 secs
lola: 22394540 markings, 109955772 edges, 147018 markings/sec, 175 secs
lola: 23081958 markings, 112971753 edges, 137484 markings/sec, 180 secs
lola: 23696557 markings, 116361682 edges, 122920 markings/sec, 185 secs
lola: 24399459 markings, 119600551 edges, 140580 markings/sec, 190 secs
lola: 25044714 markings, 122925973 edges, 129051 markings/sec, 195 secs
lola: 25689510 markings, 126498100 edges, 128959 markings/sec, 200 secs
lola: 26377801 markings, 129878877 edges, 137658 markings/sec, 205 secs
lola: 26986493 markings, 133664928 edges, 121738 markings/sec, 210 secs
lola: 27583323 markings, 137456896 edges, 119366 markings/sec, 215 secs
lola: 28227707 markings, 141061126 edges, 128877 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1014060 KB
lola: time consumption: 1535 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(B6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(B6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 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-06track28RL-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(B19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(B19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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-06track28RL-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 2840 markings, 6853 edges, 568 markings/sec, 25 secs
lola: 866311 markings, 3463511 edges, 172694 markings/sec, 30 secs
lola: 1661361 markings, 6802688 edges, 159010 markings/sec, 35 secs
lola: 2444379 markings, 10473402 edges, 156604 markings/sec, 40 secs
lola: 3230267 markings, 13983385 edges, 157178 markings/sec, 45 secs
lola: 4012104 markings, 17491344 edges, 156367 markings/sec, 50 secs
lola: 4760514 markings, 21025122 edges, 149682 markings/sec, 55 secs
lola: 5454171 markings, 24547762 edges, 138731 markings/sec, 60 secs
lola: 6124348 markings, 28436663 edges, 134035 markings/sec, 65 secs
lola: 6769980 markings, 32130775 edges, 129126 markings/sec, 70 secs
lola: 7436109 markings, 35806605 edges, 133226 markings/sec, 75 secs
lola: 8127907 markings, 39452248 edges, 138360 markings/sec, 80 secs
lola: 8952110 markings, 42924654 edges, 164841 markings/sec, 85 secs
lola: 9724121 markings, 46062074 edges, 154402 markings/sec, 90 secs
lola: 10401298 markings, 49705153 edges, 135435 markings/sec, 95 secs
lola: 11082899 markings, 53635408 edges, 136320 markings/sec, 100 secs
lola: 11761689 markings, 57553433 edges, 135758 markings/sec, 105 secs
lola: 12556413 markings, 61264170 edges, 158945 markings/sec, 110 secs
lola: 13268146 markings, 64855919 edges, 142347 markings/sec, 115 secs
lola: 14027102 markings, 68260740 edges, 151791 markings/sec, 120 secs
lola: 14726796 markings, 71720453 edges, 139939 markings/sec, 125 secs
lola: 15372311 markings, 75652022 edges, 129103 markings/sec, 130 secs
lola: 16031767 markings, 79388961 edges, 131891 markings/sec, 135 secs
lola: 16773447 markings, 83040801 edges, 148336 markings/sec, 140 secs
lola: 17470830 markings, 86510808 edges, 139477 markings/sec, 145 secs
lola: 18133902 markings, 90218183 edges, 132614 markings/sec, 150 secs
lola: 18840973 markings, 93835815 edges, 141414 markings/sec, 155 secs
lola: 19625518 markings, 97095666 edges, 156909 markings/sec, 160 secs
lola: 20356094 markings, 100458654 edges, 146115 markings/sec, 165 secs
lola: 21034263 markings, 104202271 edges, 135634 markings/sec, 170 secs
lola: 21657174 markings, 107970211 edges, 124582 markings/sec, 175 secs
lola: 22256761 markings, 111509494 edges, 119917 markings/sec, 180 secs
lola: 22864986 markings, 115118198 edges, 121645 markings/sec, 185 secs
lola: 23473414 markings, 118710737 edges, 121686 markings/sec, 190 secs
lola: 24098694 markings, 121988429 edges, 125056 markings/sec, 195 secs
lola: 24716425 markings, 125586454 edges, 123546 markings/sec, 200 secs
lola: 25328399 markings, 129185347 edges, 122395 markings/sec, 205 secs
lola: 25931695 markings, 132668954 edges, 120659 markings/sec, 210 secs
lola: 26519455 markings, 136050871 edges, 117552 markings/sec, 215 secs
lola: 27093267 markings, 139457185 edges, 114762 markings/sec, 220 secs
lola: 27691043 markings, 142828606 edges, 119555 markings/sec, 225 secs
lola: 28281004 markings, 146239243 edges, 117992 markings/sec, 230 secs
lola: 28875448 markings, 149707052 edges, 118889 markings/sec, 235 secs
lola: 29480524 markings, 153162627 edges, 121015 markings/sec, 240 secs
lola: 30085218 markings, 156722207 edges, 120939 markings/sec, 245 secs
lola: 30694278 markings, 160370874 edges, 121812 markings/sec, 250 secs
lola: 31319299 markings, 164022984 edges, 125004 markings/sec, 255 secs
lola: 31931483 markings, 167551387 edges, 122437 markings/sec, 260 secs
lola: 32525668 markings, 171077634 edges, 118837 markings/sec, 265 secs
lola: 33131302 markings, 174518281 edges, 121127 markings/sec, 270 secs
lola: 33733027 markings, 178323963 edges, 120345 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1211608 KB
lola: time consumption: 1877 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 282 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-06track28RL-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: 3124 markings, 6531 edges, 625 markings/sec, 25 secs
lola: 918325 markings, 3216430 edges, 183040 markings/sec, 30 secs
lola: 1790947 markings, 6548528 edges, 174524 markings/sec, 35 secs
lola: 2656363 markings, 9743965 edges, 173083 markings/sec, 40 secs
lola: 3430791 markings, 13221506 edges, 154886 markings/sec, 45 secs
lola: 4153307 markings, 16828104 edges, 144503 markings/sec, 50 secs
lola: 5034143 markings, 20138130 edges, 176167 markings/sec, 55 secs
lola: 5872628 markings, 23641355 edges, 167697 markings/sec, 60 secs
lola: 6740676 markings, 27291641 edges, 173610 markings/sec, 65 secs
lola: 7630401 markings, 30454438 edges, 177945 markings/sec, 70 secs
lola: 8492797 markings, 33861443 edges, 172479 markings/sec, 75 secs
lola: 9261991 markings, 37737975 edges, 153839 markings/sec, 80 secs
lola: 9961244 markings, 41550078 edges, 139851 markings/sec, 85 secs
lola: 10661168 markings, 45143085 edges, 139985 markings/sec, 90 secs
lola: 11434116 markings, 48581712 edges, 154590 markings/sec, 95 secs
lola: 12271403 markings, 51988834 edges, 167457 markings/sec, 100 secs
lola: 13011575 markings, 55569405 edges, 148034 markings/sec, 105 secs
lola: 13822945 markings, 59068812 edges, 162274 markings/sec, 110 secs
lola: 14661560 markings, 62278370 edges, 167723 markings/sec, 115 secs
lola: 15403483 markings, 65987651 edges, 148385 markings/sec, 120 secs
lola: 16089332 markings, 69756623 edges, 137170 markings/sec, 125 secs
lola: 16841885 markings, 73199525 edges, 150511 markings/sec, 130 secs
lola: 17546973 markings, 76863892 edges, 141018 markings/sec, 135 secs
lola: 18340950 markings, 80396913 edges, 158795 markings/sec, 140 secs
lola: 19139395 markings, 83889128 edges, 159689 markings/sec, 145 secs
lola: 19927309 markings, 87358241 edges, 157583 markings/sec, 150 secs
lola: 20762909 markings, 90687750 edges, 167120 markings/sec, 155 secs
lola: 21639694 markings, 93881889 edges, 175357 markings/sec, 160 secs
lola: 22466849 markings, 97448616 edges, 165431 markings/sec, 165 secs
lola: 23284867 markings, 101475142 edges, 163604 markings/sec, 170 secs
lola: 24115803 markings, 105008831 edges, 166187 markings/sec, 175 secs
lola: 24917009 markings, 108793143 edges, 160241 markings/sec, 180 secs
lola: 25741814 markings, 112347708 edges, 164961 markings/sec, 185 secs
lola: 26542861 markings, 116546388 edges, 160209 markings/sec, 190 secs
lola: 27265479 markings, 120352768 edges, 144524 markings/sec, 195 secs
lola: 28009967 markings, 124275791 edges, 148898 markings/sec, 200 secs
lola: 28722040 markings, 128521344 edges, 142415 markings/sec, 205 secs
lola: 29441317 markings, 132578736 edges, 143855 markings/sec, 210 secs
lola: 30140892 markings, 136843843 edges, 139915 markings/sec, 215 secs
lola: 30862227 markings, 140642340 edges, 144267 markings/sec, 220 secs
lola: 31723140 markings, 144014850 edges, 172183 markings/sec, 225 secs
lola: 32620058 markings, 146953358 edges, 179384 markings/sec, 230 secs
lola: 33473157 markings, 149844747 edges, 170620 markings/sec, 235 secs
lola: 34333343 markings, 152780560 edges, 172037 markings/sec, 240 secs
lola: 35181524 markings, 155928930 edges, 169636 markings/sec, 245 secs
lola: 35932342 markings, 159599837 edges, 150164 markings/sec, 250 secs
lola: 36684276 markings, 163246454 edges, 150387 markings/sec, 255 secs
lola: 37371481 markings, 167242972 edges, 137441 markings/sec, 260 secs
lola: 38181652 markings, 170269727 edges, 162034 markings/sec, 265 secs
lola: 38983922 markings, 173565898 edges, 160454 markings/sec, 270 secs
lola: 39681939 markings, 177285252 edges, 139603 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1422980 KB
lola: time consumption: 2159 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 282 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-06track28RL-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: 8102 markings, 13933 edges, 1620 markings/sec, 25 secs
lola: 998634 markings, 3454215 edges, 198106 markings/sec, 30 secs
lola: 1900802 markings, 6554212 edges, 180434 markings/sec, 35 secs
lola: 2703647 markings, 10315170 edges, 160569 markings/sec, 40 secs
lola: 3574076 markings, 13985888 edges, 174086 markings/sec, 45 secs
lola: 4427446 markings, 17550903 edges, 170674 markings/sec, 50 secs
lola: 5297605 markings, 21111843 edges, 174032 markings/sec, 55 secs
lola: 6071575 markings, 24725373 edges, 154794 markings/sec, 60 secs
lola: 6810545 markings, 28419143 edges, 147794 markings/sec, 65 secs
lola: 7576643 markings, 32070169 edges, 153220 markings/sec, 70 secs
lola: 8332098 markings, 35666707 edges, 151091 markings/sec, 75 secs
lola: 9067393 markings, 39362624 edges, 147059 markings/sec, 80 secs
lola: 9844165 markings, 42795802 edges, 155354 markings/sec, 85 secs
lola: 10670368 markings, 46120076 edges, 165241 markings/sec, 90 secs
lola: 11470020 markings, 49196440 edges, 159930 markings/sec, 95 secs
lola: 12298036 markings, 52312029 edges, 165603 markings/sec, 100 secs
lola: 13103211 markings, 55347265 edges, 161035 markings/sec, 105 secs
lola: 13835449 markings, 58852068 edges, 146448 markings/sec, 110 secs
lola: 14537564 markings, 62468421 edges, 140423 markings/sec, 115 secs
lola: 15252741 markings, 66047746 edges, 143035 markings/sec, 120 secs
lola: 15955288 markings, 69638110 edges, 140509 markings/sec, 125 secs
lola: 16630245 markings, 73393459 edges, 134991 markings/sec, 130 secs
lola: 17276024 markings, 77317901 edges, 129156 markings/sec, 135 secs
lola: 18069712 markings, 81160900 edges, 158738 markings/sec, 140 secs
lola: 18822355 markings, 85128518 edges, 150529 markings/sec, 145 secs
lola: 19517075 markings, 89399609 edges, 138944 markings/sec, 150 secs
lola: 20199299 markings, 93795302 edges, 136445 markings/sec, 155 secs
lola: 20931335 markings, 98028874 edges, 146407 markings/sec, 160 secs
lola: 21664486 markings, 102233805 edges, 146630 markings/sec, 165 secs
lola: 22394032 markings, 106313014 edges, 145909 markings/sec, 170 secs
lola: 23156831 markings, 110106689 edges, 152560 markings/sec, 175 secs
lola: 23904153 markings, 113879502 edges, 149464 markings/sec, 180 secs
lola: 24576164 markings, 118054187 edges, 134402 markings/sec, 185 secs
lola: 25249846 markings, 122249791 edges, 134736 markings/sec, 190 secs
lola: 25971346 markings, 126778786 edges, 144300 markings/sec, 195 secs
lola: 26749986 markings, 130426256 edges, 155728 markings/sec, 200 secs
lola: 27495013 markings, 133874334 edges, 149005 markings/sec, 205 secs
lola: 28214054 markings, 137591623 edges, 143808 markings/sec, 210 secs
lola: 28934580 markings, 141150744 edges, 144105 markings/sec, 215 secs
lola: 29651072 markings, 144727887 edges, 143298 markings/sec, 220 secs
lola: 30377141 markings, 148257309 edges, 145214 markings/sec, 225 secs
lola: 31051436 markings, 151855682 edges, 134859 markings/sec, 230 secs
lola: 31704556 markings, 155747979 edges, 130624 markings/sec, 235 secs
lola: 32315486 markings, 159834327 edges, 122186 markings/sec, 240 secs
lola: 32982464 markings, 163357618 edges, 133396 markings/sec, 245 secs
lola: 33601771 markings, 167242710 edges, 123861 markings/sec, 250 secs
lola: 34276065 markings, 170812373 edges, 134859 markings/sec, 255 secs
lola: 34896630 markings, 174562105 edges, 124113 markings/sec, 260 secs
lola: 35533075 markings, 178241833 edges, 127289 markings/sec, 265 secs
lola: 36133652 markings, 182036925 edges, 120115 markings/sec, 270 secs
lola: 36767016 markings, 185733643 edges, 126673 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1319080 KB
lola: time consumption: 2442 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 203 markings, 219 edges, 41 markings/sec, 25 secs
lola: 1433306 markings, 3052978 edges, 286621 markings/sec, 30 secs
lola: 2691410 markings, 6044799 edges, 251621 markings/sec, 35 secs
lola: 3900205 markings, 9079032 edges, 241759 markings/sec, 40 secs
lola: 5086789 markings, 12575325 edges, 237317 markings/sec, 45 secs
lola: 6358168 markings, 15958348 edges, 254276 markings/sec, 50 secs
lola: 7597100 markings, 19001221 edges, 247786 markings/sec, 55 secs
lola: 8810379 markings, 22371134 edges, 242656 markings/sec, 60 secs
lola: 9903826 markings, 25504822 edges, 218689 markings/sec, 65 secs
lola: 10779187 markings, 28306561 edges, 175072 markings/sec, 70 secs
lola: 11637833 markings, 31112411 edges, 171729 markings/sec, 75 secs
lola: 12477034 markings, 33927504 edges, 167840 markings/sec, 80 secs
lola: 13338812 markings, 36581012 edges, 172356 markings/sec, 85 secs
lola: 14129089 markings, 39680634 edges, 158055 markings/sec, 90 secs
lola: 14899631 markings, 42950203 edges, 154108 markings/sec, 95 secs
lola: 15678444 markings, 46096567 edges, 155763 markings/sec, 100 secs
lola: 16469949 markings, 49302652 edges, 158301 markings/sec, 105 secs
lola: 17239319 markings, 52543841 edges, 153874 markings/sec, 110 secs
lola: 18026719 markings, 55772566 edges, 157480 markings/sec, 115 secs
lola: 18803617 markings, 58899360 edges, 155380 markings/sec, 120 secs
lola: 19541351 markings, 62107545 edges, 147547 markings/sec, 125 secs
lola: 20328447 markings, 65322339 edges, 157419 markings/sec, 130 secs
lola: 21107035 markings, 68512245 edges, 155718 markings/sec, 135 secs
lola: 21843194 markings, 71753927 edges, 147232 markings/sec, 140 secs
lola: 22604495 markings, 74991072 edges, 152260 markings/sec, 145 secs
lola: 23372710 markings, 78248274 edges, 153643 markings/sec, 150 secs
lola: 24133642 markings, 81411580 edges, 152186 markings/sec, 155 secs
lola: 25185174 markings, 84443316 edges, 210306 markings/sec, 160 secs
lola: 26327893 markings, 87478110 edges, 228544 markings/sec, 165 secs
lola: 27370532 markings, 90665780 edges, 208528 markings/sec, 170 secs
lola: 28463103 markings, 93854031 edges, 218514 markings/sec, 175 secs
lola: 29529494 markings, 96996755 edges, 213278 markings/sec, 180 secs
lola: 30562954 markings, 100177241 edges, 206692 markings/sec, 185 secs
lola: 31593624 markings, 103380844 edges, 206134 markings/sec, 190 secs
lola: 32620096 markings, 106879635 edges, 205294 markings/sec, 195 secs
lola: 33604828 markings, 110739878 edges, 196946 markings/sec, 200 secs
lola: 34571220 markings, 114469032 edges, 193278 markings/sec, 205 secs
lola: 35519492 markings, 118168644 edges, 189654 markings/sec, 210 secs
lola: 36525937 markings, 121399065 edges, 201289 markings/sec, 215 secs
lola: 37593707 markings, 124608587 edges, 213554 markings/sec, 220 secs
lola: 38635919 markings, 127773200 edges, 208442 markings/sec, 225 secs
lola: 39639227 markings, 131079557 edges, 200662 markings/sec, 230 secs
lola: 40604875 markings, 134824240 edges, 193130 markings/sec, 235 secs
lola: 41504766 markings, 138233216 edges, 179978 markings/sec, 240 secs
lola: 42440522 markings, 141593189 edges, 187151 markings/sec, 245 secs
lola: 43455321 markings, 145190104 edges, 202960 markings/sec, 250 secs
lola: 44408158 markings, 148822941 edges, 190567 markings/sec, 255 secs
lola: 45319685 markings, 152354665 edges, 182305 markings/sec, 260 secs
lola: 46245203 markings, 155593407 edges, 185104 markings/sec, 265 secs
lola: 47393595 markings, 158487617 edges, 229678 markings/sec, 270 secs
lola: 48385190 markings, 161554262 edges, 198319 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1734756 KB
lola: time consumption: 2724 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A24)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 415 markings, 432 edges, 83 markings/sec, 25 secs
lola: 1263083 markings, 2563600 edges, 252534 markings/sec, 30 secs
lola: 2517495 markings, 5264702 edges, 250882 markings/sec, 35 secs
lola: 3593856 markings, 7820147 edges, 215272 markings/sec, 40 secs
lola: 4654051 markings, 10367208 edges, 212039 markings/sec, 45 secs
lola: 5663855 markings, 12864010 edges, 201961 markings/sec, 50 secs
lola: 6679936 markings, 15444218 edges, 203216 markings/sec, 55 secs
lola: 7695010 markings, 17957424 edges, 203015 markings/sec, 60 secs
lola: 8703444 markings, 20430001 edges, 201687 markings/sec, 65 secs
lola: 9822251 markings, 23312921 edges, 223761 markings/sec, 70 secs
lola: 10932638 markings, 26083021 edges, 222077 markings/sec, 75 secs
lola: 12005306 markings, 28752328 edges, 214534 markings/sec, 80 secs
lola: 13076093 markings, 31450700 edges, 214157 markings/sec, 85 secs
lola: 14117183 markings, 34234284 edges, 208218 markings/sec, 90 secs
lola: 15107553 markings, 37114398 edges, 198074 markings/sec, 95 secs
lola: 16080446 markings, 40448629 edges, 194579 markings/sec, 100 secs
lola: 17039430 markings, 43500730 edges, 191797 markings/sec, 105 secs
lola: 18035258 markings, 46628454 edges, 199166 markings/sec, 110 secs
lola: 19132306 markings, 49588849 edges, 219410 markings/sec, 115 secs
lola: 20265175 markings, 52454267 edges, 226574 markings/sec, 120 secs
lola: 21424421 markings, 55377800 edges, 231849 markings/sec, 125 secs
lola: 22572226 markings, 58236398 edges, 229561 markings/sec, 130 secs
lola: 23711620 markings, 61147736 edges, 227879 markings/sec, 135 secs
lola: 24741117 markings, 64647559 edges, 205899 markings/sec, 140 secs
lola: 25764845 markings, 68007648 edges, 204746 markings/sec, 145 secs
lola: 26944617 markings, 70928219 edges, 235954 markings/sec, 150 secs
lola: 28078102 markings, 73890940 edges, 226697 markings/sec, 155 secs
lola: 29017385 markings, 76928426 edges, 187857 markings/sec, 160 secs
lola: 29972479 markings, 80034130 edges, 191019 markings/sec, 165 secs
lola: 31092809 markings, 82863391 edges, 224066 markings/sec, 170 secs
lola: 32174006 markings, 85995411 edges, 216239 markings/sec, 175 secs
lola: 33234623 markings, 88897259 edges, 212123 markings/sec, 180 secs
lola: 34362570 markings, 91439822 edges, 225589 markings/sec, 185 secs
lola: 35280073 markings, 94093626 edges, 183501 markings/sec, 190 secs
lola: 36179636 markings, 96701373 edges, 179913 markings/sec, 195 secs
lola: 37024847 markings, 99360221 edges, 169042 markings/sec, 200 secs
lola: 37899070 markings, 101972964 edges, 174845 markings/sec, 205 secs
lola: 38771868 markings, 104537943 edges, 174560 markings/sec, 210 secs
lola: 39742035 markings, 107319119 edges, 194033 markings/sec, 215 secs
lola: 40655035 markings, 110006845 edges, 182600 markings/sec, 220 secs
lola: 41538266 markings, 112716459 edges, 176646 markings/sec, 225 secs
lola: 42580468 markings, 115618133 edges, 208440 markings/sec, 230 secs
lola: 43644601 markings, 118513682 edges, 212827 markings/sec, 235 secs
lola: 44758311 markings, 121149891 edges, 222742 markings/sec, 240 secs
lola: 45835691 markings, 123546773 edges, 215476 markings/sec, 245 secs
lola: 46756477 markings, 126368715 edges, 184157 markings/sec, 250 secs
lola: 47563783 markings, 129081987 edges, 161461 markings/sec, 255 secs
lola: 48373935 markings, 131769481 edges, 162030 markings/sec, 260 secs
lola: 49298790 markings, 134565215 edges, 184971 markings/sec, 265 secs
lola: 50299470 markings, 137354469 edges, 200136 markings/sec, 270 secs
lola: 51302186 markings, 140227693 edges, 200543 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1835744 KB
lola: time consumption: 3006 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A23)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 2375 markings, 3059 edges, 475 markings/sec, 25 secs
lola: 1619579 markings, 3146219 edges, 323441 markings/sec, 30 secs
lola: 3199579 markings, 6279355 edges, 316000 markings/sec, 35 secs
lola: 4200404 markings, 8788019 edges, 200165 markings/sec, 40 secs
lola: 5119474 markings, 11471931 edges, 183814 markings/sec, 45 secs
lola: 5951501 markings, 14147552 edges, 166405 markings/sec, 50 secs
lola: 6882179 markings, 16831084 edges, 186136 markings/sec, 55 secs
lola: 7633325 markings, 19523790 edges, 150229 markings/sec, 60 secs
lola: 8512766 markings, 22325014 edges, 175888 markings/sec, 65 secs
lola: 9231281 markings, 25062625 edges, 143703 markings/sec, 70 secs
lola: 10015911 markings, 27777188 edges, 156926 markings/sec, 75 secs
lola: 11164920 markings, 30729522 edges, 229802 markings/sec, 80 secs
lola: 12437403 markings, 33788474 edges, 254497 markings/sec, 85 secs
lola: 13689615 markings, 36868634 edges, 250442 markings/sec, 90 secs
lola: 14940922 markings, 39929532 edges, 250261 markings/sec, 95 secs
lola: 16078805 markings, 42906016 edges, 227577 markings/sec, 100 secs
lola: 17305364 markings, 45947666 edges, 245312 markings/sec, 105 secs
lola: 18325827 markings, 48899566 edges, 204093 markings/sec, 110 secs
lola: 19093788 markings, 51654043 edges, 153592 markings/sec, 115 secs
lola: 19907355 markings, 54396184 edges, 162713 markings/sec, 120 secs
lola: 21076093 markings, 57383323 edges, 233748 markings/sec, 125 secs
lola: 22275922 markings, 60453045 edges, 239966 markings/sec, 130 secs
lola: 23435698 markings, 63337741 edges, 231955 markings/sec, 135 secs
lola: 24656062 markings, 66289637 edges, 244073 markings/sec, 140 secs
lola: 25801319 markings, 69093690 edges, 229051 markings/sec, 145 secs
lola: 26942988 markings, 71855971 edges, 228334 markings/sec, 150 secs
lola: 28044455 markings, 74551342 edges, 220293 markings/sec, 155 secs
lola: 29139820 markings, 77243276 edges, 219073 markings/sec, 160 secs
lola: 30235170 markings, 79960514 edges, 219070 markings/sec, 165 secs
lola: 31316489 markings, 83237347 edges, 216264 markings/sec, 170 secs
lola: 32335210 markings, 86504705 edges, 203744 markings/sec, 175 secs
lola: 33362309 markings, 89773008 edges, 205420 markings/sec, 180 secs
lola: 34363808 markings, 93041798 edges, 200300 markings/sec, 185 secs
lola: 35452237 markings, 96363348 edges, 217686 markings/sec, 190 secs
lola: 36495596 markings, 99684969 edges, 208672 markings/sec, 195 secs
lola: 37528509 markings, 102970856 edges, 206583 markings/sec, 200 secs
lola: 38563059 markings, 106303845 edges, 206910 markings/sec, 205 secs
lola: 39610105 markings, 110069269 edges, 209409 markings/sec, 210 secs
lola: 40549885 markings, 113550980 edges, 187956 markings/sec, 215 secs
lola: 41514136 markings, 116585501 edges, 192850 markings/sec, 220 secs
lola: 42487886 markings, 119557618 edges, 194750 markings/sec, 225 secs
lola: 43540772 markings, 122626752 edges, 210577 markings/sec, 230 secs
lola: 44551836 markings, 125588494 edges, 202213 markings/sec, 235 secs
lola: 45597989 markings, 128641185 edges, 209231 markings/sec, 240 secs
lola: 46576193 markings, 131712908 edges, 195641 markings/sec, 245 secs
lola: 47710820 markings, 134694426 edges, 226925 markings/sec, 250 secs
lola: 48842054 markings, 137543543 edges, 226247 markings/sec, 255 secs
lola: 49958664 markings, 140238018 edges, 223322 markings/sec, 260 secs
lola: 51052387 markings, 143049691 edges, 218745 markings/sec, 265 secs
lola: 52075406 markings, 146295381 edges, 204604 markings/sec, 270 secs
lola: 53117371 markings, 149582587 edges, 208393 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1898668 KB
lola: time consumption: 3288 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(A14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(A14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 4214 markings, 6039 edges, 843 markings/sec, 25 secs
lola: 1004003 markings, 3017883 edges, 199958 markings/sec, 30 secs
lola: 1868078 markings, 6124122 edges, 172815 markings/sec, 35 secs
lola: 2756194 markings, 9138965 edges, 177623 markings/sec, 40 secs
lola: 3685993 markings, 12199766 edges, 185960 markings/sec, 45 secs
lola: 4591166 markings, 15292984 edges, 181035 markings/sec, 50 secs
lola: 5417565 markings, 18302927 edges, 165280 markings/sec, 55 secs
lola: 6266945 markings, 21396006 edges, 169876 markings/sec, 60 secs
lola: 7244982 markings, 24337100 edges, 195607 markings/sec, 65 secs
lola: 8081388 markings, 27333103 edges, 167281 markings/sec, 70 secs
lola: 8891590 markings, 30320972 edges, 162040 markings/sec, 75 secs
lola: 9821407 markings, 33363724 edges, 185963 markings/sec, 80 secs
lola: 10790627 markings, 36380287 edges, 193844 markings/sec, 85 secs
lola: 11666485 markings, 39406667 edges, 175172 markings/sec, 90 secs
lola: 12457951 markings, 42580486 edges, 158293 markings/sec, 95 secs
lola: 13420679 markings, 45636257 edges, 192546 markings/sec, 100 secs
lola: 14330013 markings, 48773199 edges, 181867 markings/sec, 105 secs
lola: 15145509 markings, 51870638 edges, 163099 markings/sec, 110 secs
lola: 15970384 markings, 54950996 edges, 164975 markings/sec, 115 secs
lola: 16817511 markings, 57993858 edges, 169425 markings/sec, 120 secs
lola: 17610281 markings, 61109375 edges, 158554 markings/sec, 125 secs
lola: 18408262 markings, 64220131 edges, 159596 markings/sec, 130 secs
lola: 19313289 markings, 67218971 edges, 181005 markings/sec, 135 secs
lola: 20150801 markings, 70455816 edges, 167502 markings/sec, 140 secs
lola: 20934621 markings, 73588154 edges, 156764 markings/sec, 145 secs
lola: 21683082 markings, 76757854 edges, 149692 markings/sec, 150 secs
lola: 22448633 markings, 79912065 edges, 153110 markings/sec, 155 secs
lola: 23327073 markings, 82981649 edges, 175688 markings/sec, 160 secs
lola: 24230535 markings, 85998132 edges, 180692 markings/sec, 165 secs
lola: 25099301 markings, 89056062 edges, 173753 markings/sec, 170 secs
lola: 25990706 markings, 92071542 edges, 178281 markings/sec, 175 secs
lola: 26826997 markings, 95082397 edges, 167258 markings/sec, 180 secs
lola: 27779187 markings, 98105291 edges, 190438 markings/sec, 185 secs
lola: 28732034 markings, 101145059 edges, 190569 markings/sec, 190 secs
lola: 29551109 markings, 104248305 edges, 163815 markings/sec, 195 secs
lola: 30345304 markings, 107361756 edges, 158839 markings/sec, 200 secs
lola: 31151241 markings, 110450973 edges, 161187 markings/sec, 205 secs
lola: 31967322 markings, 113516722 edges, 163216 markings/sec, 210 secs
lola: 32794710 markings, 116596961 edges, 165478 markings/sec, 215 secs
lola: 33551055 markings, 119782153 edges, 151269 markings/sec, 220 secs
lola: 34541278 markings, 122630227 edges, 198045 markings/sec, 225 secs
lola: 35492031 markings, 125655882 edges, 190151 markings/sec, 230 secs
lola: 36386938 markings, 128935171 edges, 178981 markings/sec, 235 secs
lola: 37275934 markings, 132207800 edges, 177799 markings/sec, 240 secs
lola: 38138091 markings, 135282215 edges, 172431 markings/sec, 245 secs
lola: 38964118 markings, 138551399 edges, 165205 markings/sec, 250 secs
lola: 39794847 markings, 141887164 edges, 166146 markings/sec, 255 secs
lola: 40631208 markings, 145169716 edges, 167272 markings/sec, 260 secs
lola: 41498575 markings, 148462481 edges, 173473 markings/sec, 265 secs
lola: 42402290 markings, 151565726 edges, 180743 markings/sec, 270 secs
lola: 43259834 markings, 154848957 edges, 171509 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1550568 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1550644 KB
lola: time consumption: 3570 seconds

BK_STOP 1552706856938

--------------------
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-06track28RL"
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-06track28RL, 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-155234418700214"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-06track28RL.tgz
mv DNAwalker-PT-06track28RL 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 ;