Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r011-smll-155225030000019.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is ASLink-PT-03b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000019
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 3.1K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 544K 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 ASLink-PT-03b-UpperBounds-00
FORMULA_NAME ASLink-PT-03b-UpperBounds-01
FORMULA_NAME ASLink-PT-03b-UpperBounds-02
FORMULA_NAME ASLink-PT-03b-UpperBounds-03
FORMULA_NAME ASLink-PT-03b-UpperBounds-04
FORMULA_NAME ASLink-PT-03b-UpperBounds-05
FORMULA_NAME ASLink-PT-03b-UpperBounds-06
FORMULA_NAME ASLink-PT-03b-UpperBounds-07
FORMULA_NAME ASLink-PT-03b-UpperBounds-08
FORMULA_NAME ASLink-PT-03b-UpperBounds-09
FORMULA_NAME ASLink-PT-03b-UpperBounds-10
FORMULA_NAME ASLink-PT-03b-UpperBounds-11
FORMULA_NAME ASLink-PT-03b-UpperBounds-12
FORMULA_NAME ASLink-PT-03b-UpperBounds-13
FORMULA_NAME ASLink-PT-03b-UpperBounds-14
FORMULA_NAME ASLink-PT-03b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552271576635

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-03b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-03b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-03b @ 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: 3732/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1638
lola: finding significant places
lola: 1638 places, 2094 transitions, 1478 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2996 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-03b-UpperBounds.task
lola: MAX(p1380) : MAX(p862) : MAX(p1068) : MAX(p304) : MAX(p383) : MAX(p1392) : MAX(p293) : MAX(p246) : MAX(p1066) : MAX(p404) : MAX(p247) : MAX(p880) : MAX(p948) : MAX(p789) : MAX(p113) : MAX(p319)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1380)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p862)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p862)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 143 markings, 142 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1068)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: 74422 markings, 216216 edges, 14884 markings/sec, 0 secs
lola: 161005 markings, 422756 edges, 17317 markings/sec, 5 secs
lola: 253045 markings, 620550 edges, 18408 markings/sec, 10 secs
lola: 345052 markings, 817652 edges, 18401 markings/sec, 15 secs
lola: 436870 markings, 1014915 edges, 18364 markings/sec, 20 secs
lola: 524011 markings, 1215632 edges, 17428 markings/sec, 25 secs
lola: 618081 markings, 1417097 edges, 18814 markings/sec, 30 secs
lola: 710631 markings, 1615335 edges, 18510 markings/sec, 35 secs
lola: 797961 markings, 1813075 edges, 17466 markings/sec, 40 secs
lola: 891426 markings, 2016871 edges, 18693 markings/sec, 45 secs
lola: 983875 markings, 2215323 edges, 18490 markings/sec, 50 secs
lola: 1070914 markings, 2415592 edges, 17408 markings/sec, 55 secs
lola: 1164891 markings, 2616701 edges, 18795 markings/sec, 60 secs
lola: 1250790 markings, 2819432 edges, 17180 markings/sec, 65 secs
lola: 1328255 markings, 3022149 edges, 15493 markings/sec, 70 secs
lola: 1405614 markings, 3223003 edges, 15472 markings/sec, 75 secs
lola: 1491323 markings, 3422082 edges, 17142 markings/sec, 80 secs
lola: 1578480 markings, 3622753 edges, 17431 markings/sec, 85 secs
lola: 1664762 markings, 3820468 edges, 17256 markings/sec, 90 secs
lola: 1745363 markings, 4015382 edges, 16120 markings/sec, 95 secs
lola: 1835235 markings, 4215315 edges, 17974 markings/sec, 100 secs
lola: 1922506 markings, 4414646 edges, 17454 markings/sec, 105 secs
lola: 2011353 markings, 4612261 edges, 17769 markings/sec, 110 secs
lola: 2092807 markings, 4805583 edges, 16291 markings/sec, 115 secs
lola: 2179016 markings, 5003356 edges, 17242 markings/sec, 120 secs
lola: 2273021 markings, 5205429 edges, 18801 markings/sec, 125 secs
lola: 2364305 markings, 5401735 edges, 18257 markings/sec, 130 secs
lola: 2446884 markings, 5597995 edges, 16516 markings/sec, 135 secs
lola: 2538932 markings, 5794530 edges, 18410 markings/sec, 140 secs
lola: 2621069 markings, 5988847 edges, 16427 markings/sec, 145 secs
lola: 2707202 markings, 6186995 edges, 17227 markings/sec, 150 secs
lola: 2801492 markings, 6388572 edges, 18858 markings/sec, 155 secs
lola: 2893186 markings, 6585088 edges, 18339 markings/sec, 160 secs
lola: 2976909 markings, 6781718 edges, 16745 markings/sec, 165 secs
lola: 3067575 markings, 6978484 edges, 18133 markings/sec, 170 secs
lola: 3158956 markings, 7173497 edges, 18276 markings/sec, 175 secs
lola: 3239864 markings, 7366483 edges, 16182 markings/sec, 180 secs
lola: 3322846 markings, 7581202 edges, 16596 markings/sec, 185 secs
lola: 3407813 markings, 7801189 edges, 16993 markings/sec, 190 secs
lola: 3491082 markings, 8017159 edges, 16654 markings/sec, 195 secs
lola: 3574237 markings, 8232786 edges, 16631 markings/sec, 200 secs
lola: 3657059 markings, 8448667 edges, 16564 markings/sec, 205 secs
lola: 3736202 markings, 8670073 edges, 15829 markings/sec, 210 secs
lola: 3820793 markings, 8889558 edges, 16918 markings/sec, 215 secs
lola: 3903867 markings, 9105453 edges, 16615 markings/sec, 220 secs
lola: 3984061 markings, 9320905 edges, 16039 markings/sec, 225 secs
lola: 4065470 markings, 9543489 edges, 16282 markings/sec, 230 secs
lola: 4148925 markings, 9761130 edges, 16691 markings/sec, 235 secs
lola: 4228027 markings, 9977399 edges, 15820 markings/sec, 240 secs
lola: 4312104 markings, 10200341 edges, 16815 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 359168 KB
lola: time consumption: 268 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p304)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 22 markings, 21 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p383)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges

FORMULA ASLink-PT-03b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1392)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1392)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 72 markings, 71 edges

FORMULA ASLink-PT-03b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p293)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 20 markings, 19 edges

FORMULA ASLink-PT-03b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p246)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: 99046 markings, 122455 edges, 19809 markings/sec, 0 secs
lola: 219520 markings, 272070 edges, 24095 markings/sec, 5 secs
lola: 340065 markings, 421798 edges, 24109 markings/sec, 10 secs
lola: 457770 markings, 568063 edges, 23541 markings/sec, 15 secs
lola: 575095 markings, 713865 edges, 23465 markings/sec, 20 secs
lola: 692709 markings, 859902 edges, 23523 markings/sec, 25 secs
lola: 810089 markings, 1005730 edges, 23476 markings/sec, 30 secs
lola: 927855 markings, 1152067 edges, 23553 markings/sec, 35 secs
lola: 1045889 markings, 1298645 edges, 23607 markings/sec, 40 secs
lola: 1164000 markings, 1445304 edges, 23622 markings/sec, 45 secs
lola: 1282018 markings, 1592028 edges, 23604 markings/sec, 50 secs
lola: 1400260 markings, 1738893 edges, 23648 markings/sec, 55 secs
lola: 1518509 markings, 1885760 edges, 23650 markings/sec, 60 secs
lola: 1636528 markings, 2032402 edges, 23604 markings/sec, 65 secs
lola: 1754148 markings, 2178551 edges, 23524 markings/sec, 70 secs
lola: 1871106 markings, 2323775 edges, 23392 markings/sec, 75 secs
lola: 1987927 markings, 2468943 edges, 23364 markings/sec, 80 secs
lola: 2104547 markings, 2613820 edges, 23324 markings/sec, 85 secs
lola: 2221036 markings, 2758472 edges, 23298 markings/sec, 90 secs
lola: 2337427 markings, 2903131 edges, 23278 markings/sec, 95 secs
lola: 2454303 markings, 3048315 edges, 23375 markings/sec, 100 secs
lola: 2571122 markings, 3193398 edges, 23364 markings/sec, 105 secs
lola: 2687873 markings, 3338511 edges, 23350 markings/sec, 110 secs
lola: 2804567 markings, 3483484 edges, 23339 markings/sec, 115 secs
lola: 2921259 markings, 3628374 edges, 23338 markings/sec, 120 secs
lola: 3038185 markings, 3773697 edges, 23385 markings/sec, 125 secs
lola: 3154986 markings, 3918757 edges, 23360 markings/sec, 130 secs
lola: 3271538 markings, 4063498 edges, 23310 markings/sec, 135 secs
lola: 3387566 markings, 4207729 edges, 23206 markings/sec, 140 secs
lola: 3503777 markings, 4352060 edges, 23242 markings/sec, 145 secs
lola: 3619846 markings, 4496262 edges, 23214 markings/sec, 150 secs
lola: 3735825 markings, 4640352 edges, 23196 markings/sec, 155 secs
lola: 3852225 markings, 4784895 edges, 23280 markings/sec, 160 secs
lola: 3968253 markings, 4929093 edges, 23206 markings/sec, 165 secs
lola: 4084856 markings, 5073938 edges, 23321 markings/sec, 170 secs
lola: 4201076 markings, 5218244 edges, 23244 markings/sec, 175 secs
lola: 4317020 markings, 5362433 edges, 23189 markings/sec, 180 secs
lola: 4433937 markings, 5507582 edges, 23383 markings/sec, 185 secs
lola: 4550232 markings, 5651987 edges, 23259 markings/sec, 190 secs
lola: 4666099 markings, 5796050 edges, 23173 markings/sec, 195 secs
lola: 4781802 markings, 5939728 edges, 23141 markings/sec, 200 secs
lola: 4897691 markings, 6083715 edges, 23178 markings/sec, 205 secs
lola: 5013378 markings, 6227440 edges, 23137 markings/sec, 210 secs
lola: 5128923 markings, 6370928 edges, 23109 markings/sec, 215 secs
lola: 5244758 markings, 6514908 edges, 23167 markings/sec, 220 secs
lola: 5360835 markings, 6659050 edges, 23215 markings/sec, 225 secs
lola: 5476668 markings, 6802939 edges, 23167 markings/sec, 230 secs
lola: 5592161 markings, 6946466 edges, 23099 markings/sec, 235 secs
lola: 5708095 markings, 7090422 edges, 23187 markings/sec, 240 secs
lola: 5824787 markings, 7235461 edges, 23338 markings/sec, 245 secs
lola: 5942427 markings, 7381589 edges, 23528 markings/sec, 250 secs
lola: 6060391 markings, 7528115 edges, 23593 markings/sec, 255 secs
lola: 6177251 markings, 7673304 edges, 23372 markings/sec, 260 secs
lola: 6293246 markings, 7817449 edges, 23199 markings/sec, 265 secs
lola: 6409213 markings, 7961423 edges, 23193 markings/sec, 270 secs
lola: 6524787 markings, 8105098 edges, 23115 markings/sec, 275 secs
lola: 6640234 markings, 8248439 edges, 23089 markings/sec, 280 secs
lola: 6755778 markings, 8391985 edges, 23109 markings/sec, 285 secs
lola: 6871844 markings, 8536226 edges, 23213 markings/sec, 290 secs
lola: 6988086 markings, 8680556 edges, 23248 markings/sec, 295 secs
lola: 7104177 markings, 8824826 edges, 23218 markings/sec, 300 secs
lola: 7220038 markings, 8968774 edges, 23172 markings/sec, 305 secs
lola: 7335887 markings, 9112617 edges, 23170 markings/sec, 310 secs
lola: 7452613 markings, 9257718 edges, 23345 markings/sec, 315 secs
lola: 7568695 markings, 9401864 edges, 23216 markings/sec, 320 secs
lola: 7684356 markings, 9545533 edges, 23132 markings/sec, 325 secs
lola: 7799486 markings, 9688603 edges, 23026 markings/sec, 330 secs
lola: 7914323 markings, 9831197 edges, 22967 markings/sec, 335 secs
lola: 8029532 markings, 9974412 edges, 23042 markings/sec, 340 secs
lola: 8144783 markings, 10117544 edges, 23050 markings/sec, 345 secs
lola: 8260457 markings, 10261230 edges, 23135 markings/sec, 350 secs
lola: 8376070 markings, 10404876 edges, 23123 markings/sec, 355 secs
lola: 8492029 markings, 10548872 edges, 23192 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 878852 KB
lola: time consumption: 636 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1066)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: 71627 markings, 206864 edges, 14325 markings/sec, 0 secs
lola: 159801 markings, 420028 edges, 17635 markings/sec, 5 secs
lola: 254295 markings, 623063 edges, 18899 markings/sec, 10 secs
lola: 348646 markings, 825409 edges, 18870 markings/sec, 15 secs
lola: 442465 markings, 1026368 edges, 18764 markings/sec, 20 secs
lola: 526784 markings, 1221572 edges, 16864 markings/sec, 25 secs
lola: 622415 markings, 1426189 edges, 19126 markings/sec, 30 secs
lola: 715832 markings, 1626470 edges, 18683 markings/sec, 35 secs
lola: 804656 markings, 1826828 edges, 17765 markings/sec, 40 secs
lola: 899379 markings, 2034068 edges, 18945 markings/sec, 45 secs
lola: 992406 markings, 2233720 edges, 18605 markings/sec, 50 secs
lola: 1081274 markings, 2437379 edges, 17774 markings/sec, 55 secs
lola: 1175313 markings, 2640246 edges, 18808 markings/sec, 60 secs
lola: 1260435 markings, 2844637 edges, 17024 markings/sec, 65 secs
lola: 1340691 markings, 3049419 edges, 16051 markings/sec, 70 secs
lola: 1417356 markings, 3252877 edges, 15333 markings/sec, 75 secs
lola: 1505135 markings, 3452270 edges, 17556 markings/sec, 80 secs
lola: 1590384 markings, 3655707 edges, 17050 markings/sec, 85 secs
lola: 1674823 markings, 3856155 edges, 16888 markings/sec, 90 secs
lola: 1761194 markings, 4052283 edges, 17274 markings/sec, 95 secs
lola: 1853971 markings, 4256225 edges, 18555 markings/sec, 100 secs
lola: 1939420 markings, 4455890 edges, 17090 markings/sec, 105 secs
lola: 2031355 markings, 4655837 edges, 18387 markings/sec, 110 secs
lola: 2114530 markings, 4852879 edges, 16635 markings/sec, 115 secs
lola: 2202068 markings, 5053620 edges, 17508 markings/sec, 120 secs
lola: 2297403 markings, 5257274 edges, 19067 markings/sec, 125 secs
lola: 2385665 markings, 5456414 edges, 17652 markings/sec, 130 secs
lola: 2474466 markings, 5656217 edges, 17760 markings/sec, 135 secs
lola: 2562253 markings, 5854090 edges, 17557 markings/sec, 140 secs
lola: 2645629 markings, 6049691 edges, 16675 markings/sec, 145 secs
lola: 2737875 markings, 6252135 edges, 18449 markings/sec, 150 secs
lola: 2831180 markings, 6452765 edges, 18661 markings/sec, 155 secs
lola: 2924244 markings, 6652358 edges, 18613 markings/sec, 160 secs
lola: 3007377 markings, 6847754 edges, 16627 markings/sec, 165 secs
lola: 3101239 markings, 7050142 edges, 18772 markings/sec, 170 secs
lola: 3190585 markings, 7247101 edges, 17869 markings/sec, 175 secs
lola: 3271414 markings, 7441852 edges, 16166 markings/sec, 180 secs
lola: 3355097 markings, 7665638 edges, 16737 markings/sec, 185 secs
lola: 3439383 markings, 7884780 edges, 16857 markings/sec, 190 secs
lola: 3523534 markings, 8103433 edges, 16830 markings/sec, 195 secs
lola: 3607523 markings, 8321506 edges, 16798 markings/sec, 200 secs
lola: 3687278 markings, 8539632 edges, 15951 markings/sec, 205 secs
lola: 3772355 markings, 8764854 edges, 17015 markings/sec, 210 secs
lola: 3856776 markings, 8983453 edges, 16884 markings/sec, 215 secs
lola: 3940548 markings, 9200952 edges, 16754 markings/sec, 220 secs
lola: 4018678 markings, 9421264 edges, 15626 markings/sec, 225 secs
lola: 4103587 markings, 9642659 edges, 16982 markings/sec, 230 secs
lola: 4186936 markings, 9859559 edges, 16670 markings/sec, 235 secs
lola: 4265084 markings, 10080294 edges, 15630 markings/sec, 240 secs
lola: 4350027 markings, 10300033 edges, 16989 markings/sec, 245 secs
lola: 4429072 markings, 10521084 edges, 15809 markings/sec, 250 secs
lola: 4498497 markings, 10742167 edges, 13885 markings/sec, 255 secs
lola: 4568344 markings, 10965196 edges, 13969 markings/sec, 260 secs
lola: 4641293 markings, 11184218 edges, 14590 markings/sec, 265 secs
lola: 4720292 markings, 11401769 edges, 15800 markings/sec, 270 secs
lola: 4795337 markings, 11620355 edges, 15009 markings/sec, 275 secs
lola: 4870415 markings, 11840312 edges, 15016 markings/sec, 280 secs
lola: 4948810 markings, 12051822 edges, 15679 markings/sec, 285 secs
lola: 5031404 markings, 12273804 edges, 16519 markings/sec, 290 secs
lola: 5111315 markings, 12493025 edges, 15982 markings/sec, 295 secs
lola: 5189534 markings, 12711269 edges, 15644 markings/sec, 300 secs
lola: 5263920 markings, 12926523 edges, 14877 markings/sec, 305 secs
lola: 5342261 markings, 13137927 edges, 15668 markings/sec, 310 secs
lola: 5425326 markings, 13361452 edges, 16613 markings/sec, 315 secs
lola: 5509140 markings, 13580005 edges, 16763 markings/sec, 320 secs
lola: 5585387 markings, 13796212 edges, 15249 markings/sec, 325 secs
lola: 5667430 markings, 14015220 edges, 16409 markings/sec, 330 secs
lola: 5749272 markings, 14230386 edges, 16368 markings/sec, 335 secs
lola: 5824334 markings, 14440697 edges, 15012 markings/sec, 340 secs
lola: 5901372 markings, 14661330 edges, 15408 markings/sec, 345 secs
lola: 5987486 markings, 14882679 edges, 17223 markings/sec, 350 secs
lola: 6071542 markings, 15099560 edges, 16811 markings/sec, 355 secs
lola: 6154873 markings, 15315853 edges, 16666 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 485884 KB
lola: time consumption: 1002 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p404)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: 110678 markings, 136792 edges, 22136 markings/sec, 30 secs
lola: 229163 markings, 284081 edges, 23697 markings/sec, 35 secs
lola: 344864 markings, 427759 edges, 23140 markings/sec, 40 secs
lola: 460766 markings, 571673 edges, 23180 markings/sec, 45 secs
lola: 576864 markings, 716021 edges, 23220 markings/sec, 50 secs
lola: 693089 markings, 860362 edges, 23245 markings/sec, 55 secs
lola: 809446 markings, 1004910 edges, 23271 markings/sec, 60 secs
lola: 925905 markings, 1149605 edges, 23292 markings/sec, 65 secs
lola: 1042393 markings, 1294250 edges, 23298 markings/sec, 70 secs
lola: 1159034 markings, 1439225 edges, 23328 markings/sec, 75 secs
lola: 1275491 markings, 1583885 edges, 23291 markings/sec, 80 secs
lola: 1391697 markings, 1728183 edges, 23241 markings/sec, 85 secs
lola: 1507887 markings, 1872600 edges, 23238 markings/sec, 90 secs
lola: 1623924 markings, 2016754 edges, 23207 markings/sec, 95 secs
lola: 1738983 markings, 2159627 edges, 23012 markings/sec, 100 secs
lola: 1852979 markings, 2301322 edges, 22799 markings/sec, 105 secs
lola: 1966957 markings, 2442792 edges, 22796 markings/sec, 110 secs
lola: 2080780 markings, 2584326 edges, 22765 markings/sec, 115 secs
lola: 2194507 markings, 2725517 edges, 22745 markings/sec, 120 secs
lola: 2308196 markings, 2866840 edges, 22738 markings/sec, 125 secs
lola: 2422463 markings, 3008717 edges, 22853 markings/sec, 130 secs
lola: 2536511 markings, 3150441 edges, 22810 markings/sec, 135 secs
lola: 2650455 markings, 3291938 edges, 22789 markings/sec, 140 secs
lola: 2764284 markings, 3433400 edges, 22766 markings/sec, 145 secs
lola: 2878404 markings, 3575162 edges, 22824 markings/sec, 150 secs
lola: 2992944 markings, 3717417 edges, 22908 markings/sec, 155 secs
lola: 3106874 markings, 3858990 edges, 22786 markings/sec, 160 secs
lola: 3220813 markings, 4000449 edges, 22788 markings/sec, 165 secs
lola: 3334314 markings, 4141540 edges, 22700 markings/sec, 170 secs
lola: 3448144 markings, 4282900 edges, 22766 markings/sec, 175 secs
lola: 3561600 markings, 4423906 edges, 22691 markings/sec, 180 secs
lola: 3677049 markings, 4567303 edges, 23090 markings/sec, 185 secs
lola: 3793139 markings, 4711537 edges, 23218 markings/sec, 190 secs
lola: 3908927 markings, 4855356 edges, 23158 markings/sec, 195 secs
lola: 4024837 markings, 4999282 edges, 23182 markings/sec, 200 secs
lola: 4140570 markings, 5143163 edges, 23147 markings/sec, 205 secs
lola: 4256355 markings, 5286983 edges, 23157 markings/sec, 210 secs
lola: 4372636 markings, 5431416 edges, 23256 markings/sec, 215 secs
lola: 4488679 markings, 5575617 edges, 23209 markings/sec, 220 secs
lola: 4604534 markings, 5719458 edges, 23171 markings/sec, 225 secs
lola: 4719441 markings, 5862290 edges, 22981 markings/sec, 230 secs
lola: 4834531 markings, 6005218 edges, 23018 markings/sec, 235 secs
lola: 4949448 markings, 6147980 edges, 22983 markings/sec, 240 secs
lola: 5064368 markings, 6290776 edges, 22984 markings/sec, 245 secs
lola: 5180250 markings, 6434674 edges, 23176 markings/sec, 250 secs
lola: 5295917 markings, 6578428 edges, 23133 markings/sec, 255 secs
lola: 5411503 markings, 6721986 edges, 23117 markings/sec, 260 secs
lola: 5526661 markings, 6865039 edges, 23032 markings/sec, 265 secs
lola: 5642048 markings, 7008420 edges, 23077 markings/sec, 270 secs
lola: 5758599 markings, 7153148 edges, 23310 markings/sec, 275 secs
lola: 5875228 markings, 7298106 edges, 23326 markings/sec, 280 secs
lola: 5991738 markings, 7442831 edges, 23302 markings/sec, 285 secs
lola: 6108314 markings, 7587626 edges, 23315 markings/sec, 290 secs
lola: 6224310 markings, 7731769 edges, 23199 markings/sec, 295 secs
lola: 6339783 markings, 7875178 edges, 23095 markings/sec, 300 secs
lola: 6454863 markings, 8018135 edges, 23016 markings/sec, 305 secs
lola: 6569836 markings, 8160987 edges, 22995 markings/sec, 310 secs
lola: 6684484 markings, 8303351 edges, 22930 markings/sec, 315 secs
lola: 6799153 markings, 8445891 edges, 22934 markings/sec, 320 secs
lola: 6914405 markings, 8589038 edges, 23050 markings/sec, 325 secs
lola: 7029905 markings, 8732515 edges, 23100 markings/sec, 330 secs
lola: 7145122 markings, 8875654 edges, 23043 markings/sec, 335 secs
lola: 7260130 markings, 9018446 edges, 23002 markings/sec, 340 secs
lola: 7375165 markings, 9161471 edges, 23007 markings/sec, 345 secs
lola: 7491038 markings, 9305356 edges, 23175 markings/sec, 350 secs
lola: 7601787 markings, 9443028 edges, 22150 markings/sec, 355 secs
lola: 7713849 markings, 9582169 edges, 22412 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 784952 KB
lola: time consumption: 1368 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p247)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: 97811 markings, 120899 edges, 19562 markings/sec, 0 secs
lola: 208192 markings, 257990 edges, 22076 markings/sec, 5 secs
lola: 328151 markings, 407089 edges, 23992 markings/sec, 10 secs
lola: 445460 markings, 552752 edges, 23462 markings/sec, 15 secs
lola: 563064 markings, 698830 edges, 23521 markings/sec, 20 secs
lola: 680694 markings, 845028 edges, 23526 markings/sec, 25 secs
lola: 798476 markings, 991316 edges, 23556 markings/sec, 30 secs
lola: 916583 markings, 1137976 edges, 23621 markings/sec, 35 secs
lola: 1034814 markings, 1284913 edges, 23646 markings/sec, 40 secs
lola: 1150240 markings, 1428311 edges, 23085 markings/sec, 45 secs
lola: 1265834 markings, 1571826 edges, 23119 markings/sec, 50 secs
lola: 1381392 markings, 1715490 edges, 23112 markings/sec, 55 secs
lola: 1496841 markings, 1858868 edges, 23090 markings/sec, 60 secs
lola: 1610979 markings, 2000676 edges, 22828 markings/sec, 65 secs
lola: 1724789 markings, 2142032 edges, 22762 markings/sec, 70 secs
lola: 1837869 markings, 2282531 edges, 22616 markings/sec, 75 secs
lola: 1950557 markings, 2422500 edges, 22538 markings/sec, 80 secs
lola: 2063186 markings, 2562435 edges, 22526 markings/sec, 85 secs
lola: 2175907 markings, 2702469 edges, 22544 markings/sec, 90 secs
lola: 2288489 markings, 2842318 edges, 22516 markings/sec, 95 secs
lola: 2400823 markings, 2981855 edges, 22467 markings/sec, 100 secs
lola: 2513954 markings, 3122455 edges, 22626 markings/sec, 105 secs
lola: 2626942 markings, 3262764 edges, 22598 markings/sec, 110 secs
lola: 2739740 markings, 3402949 edges, 22560 markings/sec, 115 secs
lola: 2852459 markings, 3542924 edges, 22544 markings/sec, 120 secs
lola: 2965356 markings, 3683219 edges, 22579 markings/sec, 125 secs
lola: 3078733 markings, 3824040 edges, 22675 markings/sec, 130 secs
lola: 3191322 markings, 3963946 edges, 22518 markings/sec, 135 secs
lola: 3303980 markings, 4103844 edges, 22532 markings/sec, 140 secs
lola: 3416017 markings, 4243056 edges, 22407 markings/sec, 145 secs
lola: 3528163 markings, 4382325 edges, 22429 markings/sec, 150 secs
lola: 3639993 markings, 4521330 edges, 22366 markings/sec, 155 secs
lola: 3752149 markings, 4660587 edges, 22431 markings/sec, 160 secs
lola: 3864618 markings, 4800367 edges, 22494 markings/sec, 165 secs
lola: 3976610 markings, 4939408 edges, 22398 markings/sec, 170 secs
lola: 4089303 markings, 5079507 edges, 22539 markings/sec, 175 secs
lola: 4201657 markings, 5219019 edges, 22471 markings/sec, 180 secs
lola: 4313681 markings, 5358227 edges, 22405 markings/sec, 185 secs
lola: 4426705 markings, 5498554 edges, 22605 markings/sec, 190 secs
lola: 4539221 markings, 5638447 edges, 22503 markings/sec, 195 secs
lola: 4651374 markings, 5777649 edges, 22431 markings/sec, 200 secs
lola: 4763062 markings, 5916507 edges, 22338 markings/sec, 205 secs
lola: 4875020 markings, 6055511 edges, 22392 markings/sec, 210 secs
lola: 4986955 markings, 6194623 edges, 22387 markings/sec, 215 secs
lola: 5098748 markings, 6333490 edges, 22359 markings/sec, 220 secs
lola: 5210704 markings, 6472551 edges, 22391 markings/sec, 225 secs
lola: 5322882 markings, 6611937 edges, 22436 markings/sec, 230 secs
lola: 5435063 markings, 6751253 edges, 22436 markings/sec, 235 secs
lola: 5546989 markings, 6890362 edges, 22385 markings/sec, 240 secs
lola: 5658771 markings, 7029187 edges, 22356 markings/sec, 245 secs
lola: 5771002 markings, 7168658 edges, 22446 markings/sec, 250 secs
lola: 5885763 markings, 7311198 edges, 22952 markings/sec, 255 secs
lola: 5999608 markings, 7452680 edges, 22769 markings/sec, 260 secs
lola: 6112971 markings, 7593474 edges, 22673 markings/sec, 265 secs
lola: 6225506 markings, 7733287 edges, 22507 markings/sec, 270 secs
lola: 6337808 markings, 7872724 edges, 22460 markings/sec, 275 secs
lola: 6449691 markings, 8011798 edges, 22377 markings/sec, 280 secs
lola: 6561557 markings, 8150685 edges, 22373 markings/sec, 285 secs
lola: 6673198 markings, 8289466 edges, 22328 markings/sec, 290 secs
lola: 6784879 markings, 8428077 edges, 22336 markings/sec, 295 secs
lola: 6897126 markings, 8567622 edges, 22449 markings/sec, 300 secs
lola: 7009600 markings, 8707255 edges, 22495 markings/sec, 305 secs
lola: 7121855 markings, 8846776 edges, 22451 markings/sec, 310 secs
lola: 7233861 markings, 8985843 edges, 22401 markings/sec, 315 secs
lola: 7345680 markings, 9124830 edges, 22364 markings/sec, 320 secs
lola: 7458847 markings, 9265403 edges, 22633 markings/sec, 325 secs
lola: 7571110 markings, 9404923 edges, 22453 markings/sec, 330 secs
lola: 7682998 markings, 9543898 edges, 22378 markings/sec, 335 secs
lola: 7794202 markings, 9682005 edges, 22241 markings/sec, 340 secs
lola: 7905466 markings, 9820279 edges, 22253 markings/sec, 345 secs
lola: 8016725 markings, 9958442 edges, 22252 markings/sec, 350 secs
lola: 8128752 markings, 10097657 edges, 22405 markings/sec, 355 secs
lola: 8242130 markings, 10238427 edges, 22676 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 855268 KB
lola: time consumption: 1735 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p880)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 73 markings, 72 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p948)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p948)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 133 markings, 132 edges
lola:
========================================
FORMULA ASLink-PT-03b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p789)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p789)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 20 markings, 19 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 916 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p113)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: 117980 markings, 145603 edges, 23596 markings/sec, 30 secs
lola: 234901 markings, 290860 edges, 23384 markings/sec, 35 secs
lola: 353163 markings, 437841 edges, 23652 markings/sec, 40 secs
lola: 473878 markings, 587797 edges, 24143 markings/sec, 45 secs
lola: 594945 markings, 738195 edges, 24213 markings/sec, 50 secs
lola: 715662 markings, 888125 edges, 24143 markings/sec, 55 secs
lola: 836019 markings, 1037683 edges, 24071 markings/sec, 60 secs
lola: 956463 markings, 1187374 edges, 24089 markings/sec, 65 secs
lola: 1076795 markings, 1336844 edges, 24066 markings/sec, 70 secs
lola: 1197619 markings, 1486914 edges, 24165 markings/sec, 75 secs
lola: 1318275 markings, 1636777 edges, 24131 markings/sec, 80 secs
lola: 1438782 markings, 1786517 edges, 24101 markings/sec, 85 secs
lola: 1559176 markings, 1936164 edges, 24079 markings/sec, 90 secs
lola: 1679867 markings, 2086112 edges, 24138 markings/sec, 95 secs
lola: 1800443 markings, 2235898 edges, 24115 markings/sec, 100 secs
lola: 1920607 markings, 2385158 edges, 24033 markings/sec, 105 secs
lola: 2036902 markings, 2529726 edges, 23259 markings/sec, 110 secs
lola: 2153725 markings, 2674842 edges, 23365 markings/sec, 115 secs
lola: 2270283 markings, 2819570 edges, 23312 markings/sec, 120 secs
lola: 2387097 markings, 2964770 edges, 23363 markings/sec, 125 secs
lola: 2503293 markings, 3109118 edges, 23239 markings/sec, 130 secs
lola: 2619242 markings, 3253102 edges, 23190 markings/sec, 135 secs
lola: 2735305 markings, 3397406 edges, 23213 markings/sec, 140 secs
lola: 2851852 markings, 3542163 edges, 23309 markings/sec, 145 secs
lola: 2968056 markings, 3686583 edges, 23241 markings/sec, 150 secs
lola: 3083846 markings, 3830441 edges, 23158 markings/sec, 155 secs
lola: 3201054 markings, 3976021 edges, 23442 markings/sec, 160 secs
lola: 3319531 markings, 4123245 edges, 23695 markings/sec, 165 secs
lola: 3437018 markings, 4269257 edges, 23497 markings/sec, 170 secs
lola: 3553827 markings, 4414343 edges, 23362 markings/sec, 175 secs
lola: 3670341 markings, 4559161 edges, 23303 markings/sec, 180 secs
lola: 3789117 markings, 4706762 edges, 23755 markings/sec, 185 secs
lola: 3905372 markings, 4851136 edges, 23251 markings/sec, 190 secs
lola: 4021288 markings, 4995187 edges, 23183 markings/sec, 195 secs
lola: 4137398 markings, 5139462 edges, 23222 markings/sec, 200 secs
lola: 4257947 markings, 5289244 edges, 24110 markings/sec, 205 secs
lola: 4377894 markings, 5438198 edges, 23989 markings/sec, 210 secs
lola: 4495276 markings, 5584144 edges, 23476 markings/sec, 215 secs
lola: 4615927 markings, 5734045 edges, 24130 markings/sec, 220 secs
lola: 4736668 markings, 5883990 edges, 24148 markings/sec, 225 secs
lola: 4857142 markings, 6033653 edges, 24095 markings/sec, 230 secs
lola: 4977340 markings, 6182940 edges, 24040 markings/sec, 235 secs
lola: 5097523 markings, 6332360 edges, 24037 markings/sec, 240 secs
lola: 5217718 markings, 6481717 edges, 24039 markings/sec, 245 secs
lola: 5338345 markings, 6631486 edges, 24125 markings/sec, 250 secs
lola: 5459175 markings, 6781603 edges, 24166 markings/sec, 255 secs
lola: 5579640 markings, 6931204 edges, 24093 markings/sec, 260 secs
lola: 5699740 markings, 7080561 edges, 24020 markings/sec, 265 secs
lola: 5820253 markings, 7230287 edges, 24103 markings/sec, 270 secs
lola: 5940653 markings, 7379851 edges, 24080 markings/sec, 275 secs
lola: 6060623 markings, 7528886 edges, 23994 markings/sec, 280 secs
lola: 6177177 markings, 7673748 edges, 23311 markings/sec, 285 secs
lola: 6294223 markings, 7819157 edges, 23409 markings/sec, 290 secs
lola: 6410974 markings, 7964124 edges, 23350 markings/sec, 295 secs
lola: 6527992 markings, 8109590 edges, 23404 markings/sec, 300 secs
lola: 6644368 markings, 8254197 edges, 23275 markings/sec, 305 secs
lola: 6760628 markings, 8398557 edges, 23252 markings/sec, 310 secs
lola: 6876979 markings, 8543227 edges, 23270 markings/sec, 315 secs
lola: 6993671 markings, 8688192 edges, 23338 markings/sec, 320 secs
lola: 7110165 markings, 8832882 edges, 23299 markings/sec, 325 secs
lola: 7226176 markings, 8977114 edges, 23202 markings/sec, 330 secs
lola: 7343810 markings, 9123247 edges, 23527 markings/sec, 335 secs
lola: 7462408 markings, 9270525 edges, 23720 markings/sec, 340 secs
lola: 7579835 markings, 9416570 edges, 23485 markings/sec, 345 secs
lola: 7697031 markings, 9562106 edges, 23439 markings/sec, 350 secs
lola: 7813493 markings, 9706785 edges, 23292 markings/sec, 355 secs
lola: 7932354 markings, 9854577 edges, 23772 markings/sec, 360 secs
lola: 8048633 markings, 9998998 edges, 23256 markings/sec, 365 secs
lola: 8164783 markings, 10143258 edges, 23230 markings/sec, 370 secs
lola: 8280853 markings, 10287564 edges, 23214 markings/sec, 375 secs
lola: 8401423 markings, 10437368 edges, 24114 markings/sec, 380 secs
lola: 8521159 markings, 10586123 edges, 23947 markings/sec, 385 secs
lola: 8639009 markings, 10732531 edges, 23570 markings/sec, 390 secs
lola: 8759878 markings, 10882764 edges, 24174 markings/sec, 395 secs
lola: 8880973 markings, 11033191 edges, 24219 markings/sec, 400 secs
lola: 9001967 markings, 11183503 edges, 24199 markings/sec, 405 secs
lola: 9122628 markings, 11333358 edges, 24132 markings/sec, 410 secs
lola: 9243384 markings, 11483343 edges, 24151 markings/sec, 415 secs
lola: 9363896 markings, 11633168 edges, 24102 markings/sec, 420 secs
lola: 9484823 markings, 11783397 edges, 24185 markings/sec, 425 secs
lola: 9605241 markings, 11932980 edges, 24084 markings/sec, 430 secs
lola: 9725125 markings, 12081889 edges, 23977 markings/sec, 435 secs
lola: 9844815 markings, 12230564 edges, 23938 markings/sec, 440 secs
lola: 9964822 markings, 12379787 edges, 24001 markings/sec, 445 secs
lola: 10084749 markings, 12528824 edges, 23985 markings/sec, 450 secs
lola: 10204187 markings, 12677169 edges, 23888 markings/sec, 455 secs
lola: 10320719 markings, 12821880 edges, 23306 markings/sec, 460 secs
lola: 10437468 markings, 12967032 edges, 23350 markings/sec, 465 secs
lola: 10554087 markings, 13111836 edges, 23324 markings/sec, 470 secs
lola: 10670891 markings, 13256963 edges, 23361 markings/sec, 475 secs
lola: 10787022 markings, 13401354 edges, 23226 markings/sec, 480 secs
lola: 10903090 markings, 13545480 edges, 23214 markings/sec, 485 secs
lola: 11019332 markings, 13689971 edges, 23248 markings/sec, 490 secs
lola: 11135590 markings, 13834400 edges, 23252 markings/sec, 495 secs
lola: 11251879 markings, 13978821 edges, 23258 markings/sec, 500 secs
lola: 11367763 markings, 14122944 edges, 23177 markings/sec, 505 secs
lola: 11485384 markings, 14269014 edges, 23524 markings/sec, 510 secs
lola: 11603792 markings, 14416102 edges, 23682 markings/sec, 515 secs
lola: 11720999 markings, 14561779 edges, 23441 markings/sec, 520 secs
lola: 11838048 markings, 14707208 edges, 23410 markings/sec, 525 secs
lola: 11954853 markings, 14852321 edges, 23361 markings/sec, 530 secs
lola: 12073570 markings, 14999861 edges, 23743 markings/sec, 535 secs
lola: 12189990 markings, 15144541 edges, 23284 markings/sec, 540 secs
lola: 12306085 markings, 15288730 edges, 23219 markings/sec, 545 secs
lola: 12422001 markings, 15432822 edges, 23183 markings/sec, 550 secs
lola: 12542143 markings, 15582080 edges, 24028 markings/sec, 555 secs
lola: 12661375 markings, 15730202 edges, 23846 markings/sec, 560 secs
lola: 12775783 markings, 15872420 edges, 22882 markings/sec, 565 secs
lola: 12889444 markings, 16013590 edges, 22732 markings/sec, 570 secs
lola: 13002899 markings, 16154554 edges, 22691 markings/sec, 575 secs
lola: 13117953 markings, 16297542 edges, 23011 markings/sec, 580 secs
lola: 13237851 markings, 16446470 edges, 23980 markings/sec, 585 secs
lola: 13355337 markings, 16592543 edges, 23497 markings/sec, 590 secs
lola: 13473824 markings, 16739997 edges, 23697 markings/sec, 595 secs
lola: 13592877 markings, 16887999 edges, 23811 markings/sec, 600 secs
lola: 13710396 markings, 17034304 edges, 23504 markings/sec, 605 secs
lola: 13830530 markings, 17183624 edges, 24027 markings/sec, 610 secs
lola: 13947856 markings, 17329552 edges, 23465 markings/sec, 615 secs
lola: 14066291 markings, 17476991 edges, 23687 markings/sec, 620 secs
lola: 14185920 markings, 17625646 edges, 23926 markings/sec, 625 secs
lola: 14303991 markings, 17772690 edges, 23614 markings/sec, 630 secs
lola: 14421115 markings, 17918164 edges, 23425 markings/sec, 635 secs
lola: 14539999 markings, 18065818 edges, 23777 markings/sec, 640 secs
lola: 14659889 markings, 18214805 edges, 23978 markings/sec, 645 secs
lola: 14779543 markings, 18363508 edges, 23931 markings/sec, 650 secs
lola: 14898678 markings, 18511491 edges, 23827 markings/sec, 655 secs
lola: 15017782 markings, 18659416 edges, 23821 markings/sec, 660 secs
lola: 15136615 markings, 18807084 edges, 23767 markings/sec, 665 secs
lola: 15255751 markings, 18955123 edges, 23827 markings/sec, 670 secs
lola: 15375142 markings, 19103453 edges, 23878 markings/sec, 675 secs
lola: 15494737 markings, 19251980 edges, 23919 markings/sec, 680 secs
lola: 15614543 markings, 19400793 edges, 23961 markings/sec, 685 secs
lola: 15734349 markings, 19549705 edges, 23961 markings/sec, 690 secs
lola: 15853985 markings, 19698303 edges, 23927 markings/sec, 695 secs
lola: 15973600 markings, 19846866 edges, 23923 markings/sec, 700 secs
lola: 16092938 markings, 19995074 edges, 23868 markings/sec, 705 secs
lola: 16212578 markings, 20143788 edges, 23928 markings/sec, 710 secs
lola: 16332726 markings, 20293057 edges, 24030 markings/sec, 715 secs
lola: 16452471 markings, 20441772 edges, 23949 markings/sec, 720 secs
lola: 16571728 markings, 20589906 edges, 23851 markings/sec, 725 secs
lola: 16690641 markings, 20737709 edges, 23783 markings/sec, 730 secs
lola: 16809519 markings, 20885436 edges, 23776 markings/sec, 735 secs
lola: 16928257 markings, 21032920 edges, 23748 markings/sec, 740 secs
lola: 17047133 markings, 21180585 edges, 23775 markings/sec, 745 secs
lola: 17166442 markings, 21328895 edges, 23862 markings/sec, 750 secs
lola: 17286102 markings, 21477567 edges, 23932 markings/sec, 755 secs
lola: 17405457 markings, 21625851 edges, 23871 markings/sec, 760 secs
lola: 17524668 markings, 21773933 edges, 23842 markings/sec, 765 secs
lola: 17643343 markings, 21921417 edges, 23735 markings/sec, 770 secs
lola: 17762228 markings, 22069129 edges, 23777 markings/sec, 775 secs
lola: 17880885 markings, 22216532 edges, 23731 markings/sec, 780 secs
lola: 17999878 markings, 22364317 edges, 23799 markings/sec, 785 secs
lola: 18119335 markings, 22512820 edges, 23891 markings/sec, 790 secs
lola: 18238807 markings, 22661266 edges, 23894 markings/sec, 795 secs
lola: 18358175 markings, 22809524 edges, 23874 markings/sec, 800 secs
lola: 18477001 markings, 22957119 edges, 23765 markings/sec, 805 secs
lola: 18596282 markings, 23105367 edges, 23856 markings/sec, 810 secs
lola: 18715732 markings, 23253766 edges, 23890 markings/sec, 815 secs
lola: 18834548 markings, 23401355 edges, 23763 markings/sec, 820 secs
lola: 18953180 markings, 23548713 edges, 23726 markings/sec, 825 secs
lola: 19072193 markings, 23696665 edges, 23803 markings/sec, 830 secs
lola: 19191258 markings, 23844608 edges, 23813 markings/sec, 835 secs
lola: 19310021 markings, 23992125 edges, 23753 markings/sec, 840 secs
lola: 19428537 markings, 24139350 edges, 23703 markings/sec, 845 secs
lola: 19547620 markings, 24287407 edges, 23817 markings/sec, 850 secs
lola: 19667036 markings, 24435744 edges, 23883 markings/sec, 855 secs
lola: 19786123 markings, 24583648 edges, 23817 markings/sec, 860 secs
lola: 19905177 markings, 24731523 edges, 23811 markings/sec, 865 secs
lola: 20024711 markings, 24880125 edges, 23907 markings/sec, 870 secs
lola: 20143769 markings, 25028021 edges, 23812 markings/sec, 875 secs
lola: 20262596 markings, 25175643 edges, 23765 markings/sec, 880 secs
lola: 20381471 markings, 25323287 edges, 23775 markings/sec, 885 secs
lola: 20500771 markings, 25471628 edges, 23860 markings/sec, 890 secs
lola: 20619730 markings, 25619430 edges, 23792 markings/sec, 895 secs
lola: 20738436 markings, 25766858 edges, 23741 markings/sec, 900 secs
lola: 20857254 markings, 25914492 edges, 23764 markings/sec, 905 secs
lola: 20976552 markings, 26062822 edges, 23860 markings/sec, 910 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1629120 KB
lola: time consumption: 2653 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 917 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p319)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: Structural Bound: 1
lola: 81983 markings, 235309 edges, 16397 markings/sec, 0 secs
lola: 180482 markings, 518126 edges, 19700 markings/sec, 5 secs
lola: 279015 markings, 800962 edges, 19707 markings/sec, 10 secs
lola: 380515 markings, 1078588 edges, 20300 markings/sec, 15 secs
lola: 496422 markings, 1349445 edges, 23181 markings/sec, 20 secs
lola: 636687 markings, 1604435 edges, 28053 markings/sec, 25 secs
lola: 774052 markings, 1859063 edges, 27473 markings/sec, 30 secs
lola: 914928 markings, 2108813 edges, 28175 markings/sec, 35 secs
lola: 1050516 markings, 2366181 edges, 27118 markings/sec, 40 secs
lola: 1191900 markings, 2616773 edges, 28277 markings/sec, 45 secs
lola: 1329287 markings, 2871502 edges, 27477 markings/sec, 50 secs
lola: 1465335 markings, 3125948 edges, 27210 markings/sec, 55 secs
lola: 1604996 markings, 3373514 edges, 27932 markings/sec, 60 secs
lola: 1740440 markings, 3627841 edges, 27089 markings/sec, 65 secs
lola: 1879890 markings, 3877787 edges, 27890 markings/sec, 70 secs
lola: 2017416 markings, 4130436 edges, 27505 markings/sec, 75 secs
lola: 2152303 markings, 4385029 edges, 26977 markings/sec, 80 secs
lola: 2291790 markings, 4632301 edges, 27897 markings/sec, 85 secs
lola: 2427877 markings, 4884751 edges, 27217 markings/sec, 90 secs
lola: 2565771 markings, 5135045 edges, 27579 markings/sec, 95 secs
lola: 2703991 markings, 5385929 edges, 27644 markings/sec, 100 secs
lola: 2840768 markings, 5640443 edges, 27355 markings/sec, 105 secs
lola: 2979164 markings, 5892748 edges, 27679 markings/sec, 110 secs
lola: 3117701 markings, 6146992 edges, 27707 markings/sec, 115 secs
lola: 3254523 markings, 6400438 edges, 27364 markings/sec, 120 secs
lola: 3391880 markings, 6653588 edges, 27471 markings/sec, 125 secs
lola: 3528657 markings, 6904463 edges, 27355 markings/sec, 130 secs
lola: 3664924 markings, 7155756 edges, 27253 markings/sec, 135 secs
lola: 3800967 markings, 7407197 edges, 27209 markings/sec, 140 secs
lola: 3937681 markings, 7661888 edges, 27343 markings/sec, 145 secs
lola: 4072930 markings, 7911807 edges, 27050 markings/sec, 150 secs
lola: 4206213 markings, 8163557 edges, 26657 markings/sec, 155 secs
lola: 4339626 markings, 8413845 edges, 26683 markings/sec, 160 secs
lola: 4473281 markings, 8664365 edges, 26731 markings/sec, 165 secs
lola: 4606839 markings, 8913248 edges, 26712 markings/sec, 170 secs
lola: 4740888 markings, 9164115 edges, 26810 markings/sec, 175 secs
lola: 4878439 markings, 9440867 edges, 27510 markings/sec, 180 secs
lola: 5030454 markings, 9736585 edges, 30403 markings/sec, 185 secs
lola: 5183377 markings, 10031493 edges, 30585 markings/sec, 190 secs
lola: 5340624 markings, 10327428 edges, 31449 markings/sec, 195 secs
lola: 5503538 markings, 10624109 edges, 32583 markings/sec, 200 secs
lola: 5603002 markings, 10901254 edges, 19893 markings/sec, 205 secs
lola: 5715971 markings, 11175173 edges, 22594 markings/sec, 210 secs
lola: 5828614 markings, 11450495 edges, 22529 markings/sec, 215 secs
lola: 5941149 markings, 11721424 edges, 22507 markings/sec, 220 secs
lola: 6052649 markings, 11991644 edges, 22300 markings/sec, 225 secs
lola: 6164222 markings, 12262760 edges, 22315 markings/sec, 230 secs
lola: 6278059 markings, 12538997 edges, 22767 markings/sec, 235 secs
lola: 6388977 markings, 12810282 edges, 22184 markings/sec, 240 secs
lola: 6500611 markings, 13085395 edges, 22327 markings/sec, 245 secs
lola: 6610483 markings, 13357570 edges, 21974 markings/sec, 250 secs
lola: 6741759 markings, 13643367 edges, 26255 markings/sec, 255 secs
lola: 6894271 markings, 13938125 edges, 30502 markings/sec, 260 secs
lola: 7048477 markings, 14232667 edges, 30841 markings/sec, 265 secs
lola: 7202401 markings, 14527241 edges, 30785 markings/sec, 270 secs
lola: 7361351 markings, 14821091 edges, 31790 markings/sec, 275 secs
lola: 7471611 markings, 15092101 edges, 22052 markings/sec, 280 secs
lola: 7612312 markings, 15347116 edges, 28140 markings/sec, 285 secs
lola: 7754683 markings, 15598621 edges, 28474 markings/sec, 290 secs
lola: 7898911 markings, 15849466 edges, 28846 markings/sec, 295 secs
lola: 8041258 markings, 16101036 edges, 28469 markings/sec, 300 secs
lola: 8183827 markings, 16352491 edges, 28514 markings/sec, 305 secs
lola: 8330010 markings, 16638187 edges, 29237 markings/sec, 310 secs
lola: 8479254 markings, 16930463 edges, 29849 markings/sec, 315 secs
lola: 8632194 markings, 17224697 edges, 30588 markings/sec, 320 secs
lola: 8784509 markings, 17518769 edges, 30463 markings/sec, 325 secs
lola: 8936761 markings, 17812242 edges, 30450 markings/sec, 330 secs
lola: 9042461 markings, 18090259 edges, 21140 markings/sec, 335 secs
lola: 9161161 markings, 18371564 edges, 23740 markings/sec, 340 secs
lola: 9278752 markings, 18649602 edges, 23518 markings/sec, 345 secs
lola: 9395691 markings, 18925988 edges, 23388 markings/sec, 350 secs
lola: 9514582 markings, 19207253 edges, 23778 markings/sec, 355 secs
lola: 9631642 markings, 19485477 edges, 23412 markings/sec, 360 secs
lola: 9749207 markings, 19764189 edges, 23513 markings/sec, 365 secs
lola: 9890200 markings, 20053129 edges, 28199 markings/sec, 370 secs
lola: 10038227 markings, 20344717 edges, 29605 markings/sec, 375 secs
lola: 10191148 markings, 20637422 edges, 30584 markings/sec, 380 secs
lola: 10342755 markings, 20929659 edges, 30321 markings/sec, 385 secs
lola: 10496627 markings, 21222822 edges, 30774 markings/sec, 390 secs
lola: 10610184 markings, 21490982 edges, 22711 markings/sec, 395 secs
lola: 10752790 markings, 21744872 edges, 28521 markings/sec, 400 secs
lola: 10894775 markings, 21995433 edges, 28397 markings/sec, 405 secs
lola: 11038824 markings, 22247173 edges, 28810 markings/sec, 410 secs
lola: 11180992 markings, 22498393 edges, 28434 markings/sec, 415 secs
lola: 11323247 markings, 22749625 edges, 28451 markings/sec, 420 secs
lola: 11473330 markings, 23041618 edges, 30017 markings/sec, 425 secs
lola: 11625379 markings, 23336962 edges, 30410 markings/sec, 430 secs
lola: 11775922 markings, 23631943 edges, 30109 markings/sec, 435 secs
lola: 11930315 markings, 23927802 edges, 30879 markings/sec, 440 secs
lola: 12075410 markings, 24221034 edges, 29019 markings/sec, 445 secs
lola: 12183432 markings, 24500816 edges, 21604 markings/sec, 450 secs
lola: 12302519 markings, 24782920 edges, 23817 markings/sec, 455 secs
lola: 12421448 markings, 25062205 edges, 23786 markings/sec, 460 secs
lola: 12538629 markings, 25339443 edges, 23436 markings/sec, 465 secs
lola: 12658154 markings, 25621482 edges, 23905 markings/sec, 470 secs
lola: 12776081 markings, 25901854 edges, 23585 markings/sec, 475 secs
lola: 12894072 markings, 26181956 edges, 23598 markings/sec, 480 secs
lola: 13044197 markings, 26475236 edges, 30025 markings/sec, 485 secs
lola: 13195426 markings, 26769078 edges, 30246 markings/sec, 490 secs
lola: 13345417 markings, 27062219 edges, 29998 markings/sec, 495 secs
lola: 13498545 markings, 27357055 edges, 30626 markings/sec, 500 secs
lola: 13652422 markings, 27642422 edges, 30775 markings/sec, 505 secs
lola: 13810536 markings, 27907487 edges, 31623 markings/sec, 510 secs
lola: 13966045 markings, 28173936 edges, 31102 markings/sec, 515 secs
lola: 14119914 markings, 28439937 edges, 30774 markings/sec, 520 secs
lola: 14242584 markings, 28716384 edges, 24534 markings/sec, 525 secs
lola: 14415338 markings, 29001303 edges, 34551 markings/sec, 530 secs
lola: 14585596 markings, 29289510 edges, 34052 markings/sec, 535 secs
lola: 14746771 markings, 29587344 edges, 32235 markings/sec, 540 secs
lola: 14898946 markings, 29882005 edges, 30435 markings/sec, 545 secs
lola: 15050633 markings, 30176667 edges, 30337 markings/sec, 550 secs
lola: 15201167 markings, 30471327 edges, 30107 markings/sec, 555 secs
lola: 15347409 markings, 30751925 edges, 29248 markings/sec, 560 secs
lola: 15486673 markings, 31001731 edges, 27853 markings/sec, 565 secs
lola: 15623885 markings, 31248556 edges, 27442 markings/sec, 570 secs
lola: 15762701 markings, 31499416 edges, 27763 markings/sec, 575 secs
lola: 15902603 markings, 31747634 edges, 27980 markings/sec, 580 secs
lola: 16037139 markings, 32003885 edges, 26907 markings/sec, 585 secs
lola: 16176955 markings, 32251795 edges, 27963 markings/sec, 590 secs
lola: 16312794 markings, 32505272 edges, 27168 markings/sec, 595 secs
lola: 16451885 markings, 32754756 edges, 27818 markings/sec, 600 secs
lola: 16589139 markings, 33006403 edges, 27451 markings/sec, 605 secs
lola: 16726887 markings, 33257815 edges, 27550 markings/sec, 610 secs
lola: 16867207 markings, 33506479 edges, 28064 markings/sec, 615 secs
lola: 17005402 markings, 33751804 edges, 27639 markings/sec, 620 secs
lola: 17142737 markings, 34000326 edges, 27467 markings/sec, 625 secs
lola: 17276229 markings, 34255518 edges, 26698 markings/sec, 630 secs
lola: 17411233 markings, 34506723 edges, 27001 markings/sec, 635 secs
lola: 17551027 markings, 34754579 edges, 27959 markings/sec, 640 secs
lola: 17687029 markings, 35004488 edges, 27200 markings/sec, 645 secs
lola: 17825007 markings, 35248454 edges, 27596 markings/sec, 650 secs
lola: 17959900 markings, 35497707 edges, 26979 markings/sec, 655 secs
lola: 18098593 markings, 35743102 edges, 27739 markings/sec, 660 secs
lola: 18235212 markings, 35992156 edges, 27324 markings/sec, 665 secs
lola: 18371337 markings, 36238548 edges, 27225 markings/sec, 670 secs
lola: 18508934 markings, 36485327 edges, 27519 markings/sec, 675 secs
lola: 18645454 markings, 36733315 edges, 27304 markings/sec, 680 secs
lola: 18780072 markings, 36983954 edges, 26924 markings/sec, 685 secs
lola: 18918341 markings, 37229121 edges, 27654 markings/sec, 690 secs
lola: 19051746 markings, 37481200 edges, 26681 markings/sec, 695 secs
lola: 19189913 markings, 37726223 edges, 27633 markings/sec, 700 secs
lola: 19324259 markings, 37977599 edges, 26869 markings/sec, 705 secs
lola: 19462420 markings, 38224643 edges, 27632 markings/sec, 710 secs
lola: 19600395 markings, 38469219 edges, 27595 markings/sec, 715 secs
lola: 19735283 markings, 38720978 edges, 26978 markings/sec, 720 secs
lola: 19870002 markings, 38970012 edges, 26944 markings/sec, 725 secs
lola: 20007824 markings, 39214643 edges, 27564 markings/sec, 730 secs
lola: 20142109 markings, 39461068 edges, 26857 markings/sec, 735 secs
lola: 20278212 markings, 39701760 edges, 27221 markings/sec, 740 secs
lola: 20411150 markings, 39947577 edges, 26588 markings/sec, 745 secs
lola: 20548223 markings, 40190176 edges, 27415 markings/sec, 750 secs
lola: 20683428 markings, 40436409 edges, 27041 markings/sec, 755 secs
lola: 20818556 markings, 40681084 edges, 27026 markings/sec, 760 secs
lola: 20955014 markings, 40926070 edges, 27292 markings/sec, 765 secs
lola: 21090899 markings, 41171866 edges, 27177 markings/sec, 770 secs
lola: 21224038 markings, 41420977 edges, 26628 markings/sec, 775 secs
lola: 21361525 markings, 41664638 edges, 27497 markings/sec, 780 secs
lola: 21493744 markings, 41914681 edges, 26444 markings/sec, 785 secs
lola: 21630899 markings, 42157889 edges, 27431 markings/sec, 790 secs
lola: 21764634 markings, 42406391 edges, 26747 markings/sec, 795 secs
lola: 21901228 markings, 42652484 edges, 27319 markings/sec, 800 secs
lola: 22038902 markings, 42896535 edges, 27535 markings/sec, 805 secs
lola: 22173304 markings, 43145184 edges, 26880 markings/sec, 810 secs
lola: 22306878 markings, 43394247 edges, 26715 markings/sec, 815 secs
lola: 22444212 markings, 43637216 edges, 27467 markings/sec, 820 secs
lola: 22577599 markings, 43883235 edges, 26677 markings/sec, 825 secs
lola: 22712861 markings, 44122440 edges, 27052 markings/sec, 830 secs
lola: 22845777 markings, 44365863 edges, 26583 markings/sec, 835 secs
lola: 22981236 markings, 44607754 edges, 27092 markings/sec, 840 secs
lola: 23115846 markings, 44851260 edges, 26922 markings/sec, 845 secs
lola: 23251312 markings, 45096993 edges, 27093 markings/sec, 850 secs
lola: 23389316 markings, 45345086 edges, 27601 markings/sec, 855 secs
lola: 23525180 markings, 45591648 edges, 27173 markings/sec, 860 secs
lola: 23662596 markings, 45837551 edges, 27483 markings/sec, 865 secs
lola: 23796121 markings, 46087669 edges, 26705 markings/sec, 870 secs
lola: 23931853 markings, 46333480 edges, 27146 markings/sec, 875 secs
lola: 24067218 markings, 46578954 edges, 27073 markings/sec, 880 secs
lola: 24201487 markings, 46825888 edges, 26854 markings/sec, 885 secs
lola: 24335462 markings, 47068629 edges, 26795 markings/sec, 890 secs
lola: 24469960 markings, 47312553 edges, 26900 markings/sec, 895 secs
lola: 24603708 markings, 47558672 edges, 26750 markings/sec, 900 secs
lola: 24736997 markings, 47800119 edges, 26658 markings/sec, 905 secs
lola: 24871573 markings, 48045667 edges, 26915 markings/sec, 910 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1811360 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p1068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1068)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-03b-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: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 23036 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 23096 KB
lola: time consumption: 3570 seconds

BK_STOP 1552275146911

--------------------
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="ASLink-PT-03b"
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-3957"
echo " Executing tool win2018"
echo " Input is ASLink-PT-03b, 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 r011-smll-155225030000019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b 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 ;