fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r268-smll-152749145200047
Last Updated
June 26, 2018

About the Execution of LoLA for ASLink-PT-03b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5670.500 3570760.00 3617402.00 7611.20 1 1 1 ? 1 1 1 ? 1 1 ? 1 1 1 1 1 normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 712K
-rw-r--r-- 1 mcc users 3.7K May 29 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 29 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 28 11:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 28 11:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 28 09:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 07:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.4K May 27 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 27 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 06:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 26 06:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 544K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r268-smll-152749145200047

=====================================================================

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

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-03b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
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(p1169) : MAX(p1251) : MAX(p482) : MAX(p241) : MAX(p1178) : MAX(p978) : MAX(p1244) : MAX(p958) : MAX(p972) : MAX(p1006) : MAX(p267) : MAX(p1250) : MAX(p1636) : MAX(p1569) : MAX(p80) : MAX(p1236)
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(p1169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1169)
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: 19 markings, 18 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(p1251)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1251)
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: 77 markings, 76 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 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p482)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p482)
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: 12 markings, 11 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
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: 108389 markings, 134014 edges, 21678 markings/sec, 0 secs
lola: 227316 markings, 281808 edges, 23785 markings/sec, 5 secs
lola: 346341 markings, 429655 edges, 23805 markings/sec, 10 secs
lola: 462636 markings, 574047 edges, 23259 markings/sec, 15 secs
lola: 578645 markings, 718257 edges, 23202 markings/sec, 20 secs
lola: 695371 markings, 863216 edges, 23345 markings/sec, 25 secs
lola: 812295 markings, 1008391 edges, 23385 markings/sec, 30 secs
lola: 929444 markings, 1154041 edges, 23430 markings/sec, 35 secs
lola: 1046673 markings, 1299629 edges, 23446 markings/sec, 40 secs
lola: 1164055 markings, 1445387 edges, 23476 markings/sec, 45 secs
lola: 1281454 markings, 1591353 edges, 23480 markings/sec, 50 secs
lola: 1394028 markings, 1731130 edges, 22515 markings/sec, 55 secs
lola: 1510821 markings, 1876236 edges, 23359 markings/sec, 60 secs
lola: 1627345 markings, 2021031 edges, 23305 markings/sec, 65 secs
lola: 1743663 markings, 2165438 edges, 23264 markings/sec, 70 secs
lola: 1859022 markings, 2308827 edges, 23072 markings/sec, 75 secs
lola: 1975127 markings, 2453057 edges, 23221 markings/sec, 80 secs
lola: 2091045 markings, 2596975 edges, 23184 markings/sec, 85 secs
lola: 2206559 markings, 2740564 edges, 23103 markings/sec, 90 secs
lola: 2322251 markings, 2884258 edges, 23138 markings/sec, 95 secs
lola: 2438150 markings, 3028260 edges, 23180 markings/sec, 100 secs
lola: 2554165 markings, 3172366 edges, 23203 markings/sec, 105 secs
lola: 2669933 markings, 3316119 edges, 23154 markings/sec, 110 secs
lola: 2785816 markings, 3460180 edges, 23177 markings/sec, 115 secs
lola: 2895859 markings, 3596786 edges, 22009 markings/sec, 120 secs
lola: 3002140 markings, 3728880 edges, 21256 markings/sec, 125 secs
lola: 3118365 markings, 3873239 edges, 23245 markings/sec, 130 secs
lola: 3233862 markings, 4016770 edges, 23099 markings/sec, 135 secs
lola: 3349240 markings, 4160036 edges, 23076 markings/sec, 140 secs
lola: 3464376 markings, 4303168 edges, 23027 markings/sec, 145 secs
lola: 3579306 markings, 4445907 edges, 22986 markings/sec, 150 secs
lola: 3694348 markings, 4588798 edges, 23008 markings/sec, 155 secs
lola: 3809688 markings, 4732143 edges, 23068 markings/sec, 160 secs
lola: 3925317 markings, 4875681 edges, 23126 markings/sec, 165 secs
lola: 4040802 markings, 5019246 edges, 23097 markings/sec, 170 secs
lola: 4156421 markings, 5162850 edges, 23124 markings/sec, 175 secs
lola: 4271725 markings, 5306069 edges, 23061 markings/sec, 180 secs
lola: 4387148 markings, 5449480 edges, 23085 markings/sec, 185 secs
lola: 4502839 markings, 5593158 edges, 23138 markings/sec, 190 secs
lola: 4617814 markings, 5736071 edges, 22995 markings/sec, 195 secs
lola: 4732688 markings, 5878703 edges, 22975 markings/sec, 200 secs
lola: 4843639 markings, 6016610 edges, 22190 markings/sec, 205 secs
lola: 4953602 markings, 6153101 edges, 21993 markings/sec, 210 secs
lola: 5063451 markings, 6289645 edges, 21970 markings/sec, 215 secs
lola: 5177721 markings, 6431518 edges, 22854 markings/sec, 220 secs
lola: 5292779 markings, 6574556 edges, 23012 markings/sec, 225 secs
lola: 5407560 markings, 6717086 edges, 22956 markings/sec, 230 secs
lola: 5522052 markings, 6859385 edges, 22898 markings/sec, 235 secs
lola: 5637043 markings, 7002191 edges, 22998 markings/sec, 240 secs
lola: 5751830 markings, 7144795 edges, 22957 markings/sec, 245 secs
lola: 5868469 markings, 7289756 edges, 23328 markings/sec, 250 secs
lola: 5985337 markings, 7434852 edges, 23374 markings/sec, 255 secs
lola: 6101634 markings, 7579361 edges, 23259 markings/sec, 260 secs
lola: 6212006 markings, 7716467 edges, 22074 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 647676 KB
lola: time consumption: 284 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1178)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1178)
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: 20 markings, 19 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p978)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p978)
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: 65 markings, 64 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1244)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1244)
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: 88 markings, 87 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 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p958)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p958)
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: 113007 markings, 190262 edges, 22601 markings/sec, 30 secs
lola: 243567 markings, 352517 edges, 26112 markings/sec, 35 secs
lola: 380255 markings, 522423 edges, 27338 markings/sec, 40 secs
lola: 517039 markings, 692394 edges, 27357 markings/sec, 45 secs
lola: 647247 markings, 854126 edges, 26042 markings/sec, 50 secs
lola: 777139 markings, 1015529 edges, 25978 markings/sec, 55 secs
lola: 906951 markings, 1176886 edges, 25962 markings/sec, 60 secs
lola: 1036151 markings, 1337416 edges, 25840 markings/sec, 65 secs
lola: 1165582 markings, 1498301 edges, 25886 markings/sec, 70 secs
lola: 1295281 markings, 1659445 edges, 25940 markings/sec, 75 secs
lola: 1424483 markings, 1820013 edges, 25840 markings/sec, 80 secs
lola: 1553137 markings, 1979879 edges, 25731 markings/sec, 85 secs
lola: 1682035 markings, 2140048 edges, 25780 markings/sec, 90 secs
lola: 1809906 markings, 2298957 edges, 25574 markings/sec, 95 secs
lola: 1938977 markings, 2459300 edges, 25814 markings/sec, 100 secs
lola: 2075430 markings, 2628856 edges, 27291 markings/sec, 105 secs
lola: 2211403 markings, 2797837 edges, 27195 markings/sec, 110 secs
lola: 2347319 markings, 2966672 edges, 27183 markings/sec, 115 secs
lola: 2482937 markings, 3135201 edges, 27124 markings/sec, 120 secs
lola: 2618472 markings, 3303674 edges, 27107 markings/sec, 125 secs
lola: 2754518 markings, 3472631 edges, 27209 markings/sec, 130 secs
lola: 2890884 markings, 3642135 edges, 27273 markings/sec, 135 secs
lola: 3028055 markings, 3812627 edges, 27434 markings/sec, 140 secs
lola: 3164833 markings, 3982497 edges, 27356 markings/sec, 145 secs
lola: 3301392 markings, 4152245 edges, 27312 markings/sec, 150 secs
lola: 3430851 markings, 4313134 edges, 25892 markings/sec, 155 secs
lola: 3567344 markings, 4482650 edges, 27299 markings/sec, 160 secs
lola: 3699984 markings, 4647526 edges, 26528 markings/sec, 165 secs
lola: 3836272 markings, 4816936 edges, 27258 markings/sec, 170 secs
lola: 3972416 markings, 4986065 edges, 27229 markings/sec, 175 secs
lola: 4108401 markings, 5155011 edges, 27197 markings/sec, 180 secs
lola: 4244243 markings, 5323876 edges, 27168 markings/sec, 185 secs
lola: 4380147 markings, 5492651 edges, 27181 markings/sec, 190 secs
lola: 4515986 markings, 5661499 edges, 27168 markings/sec, 195 secs
lola: 4651398 markings, 5829806 edges, 27082 markings/sec, 200 secs
lola: 4787270 markings, 5998558 edges, 27174 markings/sec, 205 secs
lola: 4923079 markings, 6167381 edges, 27162 markings/sec, 210 secs
lola: 5058581 markings, 6335795 edges, 27100 markings/sec, 215 secs
lola: 5193889 markings, 6503817 edges, 27062 markings/sec, 220 secs
lola: 5329013 markings, 6671788 edges, 27025 markings/sec, 225 secs
lola: 5464244 markings, 6839870 edges, 27046 markings/sec, 230 secs
lola: 5599689 markings, 7008069 edges, 27089 markings/sec, 235 secs
lola: 5734663 markings, 7175883 edges, 26995 markings/sec, 240 secs
lola: 5869607 markings, 7343589 edges, 26989 markings/sec, 245 secs
lola: 5998436 markings, 7503679 edges, 25766 markings/sec, 250 secs
lola: 6132551 markings, 7670246 edges, 26823 markings/sec, 255 secs
lola: 6260613 markings, 7829345 edges, 25612 markings/sec, 260 secs
lola: 6389163 markings, 7989114 edges, 25710 markings/sec, 265 secs
lola: 6517826 markings, 8148999 edges, 25733 markings/sec, 270 secs
lola: 6647191 markings, 8309773 edges, 25873 markings/sec, 275 secs
lola: 6775821 markings, 8469635 edges, 25726 markings/sec, 280 secs
lola: 6907152 markings, 8632841 edges, 26266 markings/sec, 285 secs
lola: 7043106 markings, 8801791 edges, 27191 markings/sec, 290 secs
lola: 7179340 markings, 8971003 edges, 27247 markings/sec, 295 secs
lola: 7315535 markings, 9140307 edges, 27239 markings/sec, 300 secs
lola: 7451816 markings, 9309627 edges, 27256 markings/sec, 305 secs
lola: 7587962 markings, 9478786 edges, 27229 markings/sec, 310 secs
lola: 7723962 markings, 9647851 edges, 27200 markings/sec, 315 secs
lola: 7859834 markings, 9816619 edges, 27174 markings/sec, 320 secs
lola: 7996094 markings, 9985966 edges, 27252 markings/sec, 325 secs
lola: 8132207 markings, 10155154 edges, 27223 markings/sec, 330 secs
lola: 8267877 markings, 10323630 edges, 27134 markings/sec, 335 secs
lola: 8397512 markings, 10484740 edges, 25927 markings/sec, 340 secs
lola: 8526217 markings, 10644707 edges, 25741 markings/sec, 345 secs
lola: 8654830 markings, 10804509 edges, 25723 markings/sec, 350 secs
lola: 8783784 markings, 10964775 edges, 25791 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 838940 KB
lola: time consumption: 650 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p972)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p972)
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: 93 markings, 92 edges

FORMULA ASLink-PT-03b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1006)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1006)
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: 80 markings, 79 edges

FORMULA ASLink-PT-03b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p267)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p267)
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: 99870 markings, 123479 edges, 19974 markings/sec, 0 secs
lola: 218161 markings, 270378 edges, 23658 markings/sec, 5 secs
lola: 335181 markings, 415691 edges, 23404 markings/sec, 10 secs
lola: 450429 markings, 558960 edges, 23050 markings/sec, 15 secs
lola: 566074 markings, 702567 edges, 23129 markings/sec, 20 secs
lola: 681871 markings, 846468 edges, 23159 markings/sec, 25 secs
lola: 797516 markings, 990127 edges, 23129 markings/sec, 30 secs
lola: 913531 markings, 1134179 edges, 23203 markings/sec, 35 secs
lola: 1029669 markings, 1278546 edges, 23228 markings/sec, 40 secs
lola: 1145826 markings, 1422836 edges, 23231 markings/sec, 45 secs
lola: 1262011 markings, 1567111 edges, 23237 markings/sec, 50 secs
lola: 1378633 markings, 1712046 edges, 23324 markings/sec, 55 secs
lola: 1494941 markings, 1856473 edges, 23262 markings/sec, 60 secs
lola: 1610859 markings, 2000553 edges, 23184 markings/sec, 65 secs
lola: 1726130 markings, 2143733 edges, 23054 markings/sec, 70 secs
lola: 1841428 markings, 2286865 edges, 23060 markings/sec, 75 secs
lola: 1956171 markings, 2429504 edges, 22949 markings/sec, 80 secs
lola: 2067282 markings, 2567431 edges, 22222 markings/sec, 85 secs
lola: 2177341 markings, 2704240 edges, 22012 markings/sec, 90 secs
lola: 2288004 markings, 2841720 edges, 22133 markings/sec, 95 secs
lola: 2398636 markings, 2979103 edges, 22126 markings/sec, 100 secs
lola: 2509542 markings, 3116931 edges, 22181 markings/sec, 105 secs
lola: 2618393 markings, 3252073 edges, 21770 markings/sec, 110 secs
lola: 2726398 markings, 3386294 edges, 21601 markings/sec, 115 secs
lola: 2834496 markings, 3520609 edges, 21620 markings/sec, 120 secs
lola: 2942570 markings, 3654818 edges, 21615 markings/sec, 125 secs
lola: 3052725 markings, 3791683 edges, 22031 markings/sec, 130 secs
lola: 3162736 markings, 3928379 edges, 22002 markings/sec, 135 secs
lola: 3275603 markings, 4068527 edges, 22573 markings/sec, 140 secs
lola: 3389832 markings, 4210488 edges, 22846 markings/sec, 145 secs
lola: 3499601 markings, 4346779 edges, 21954 markings/sec, 150 secs
lola: 3611275 markings, 4485595 edges, 22335 markings/sec, 155 secs
lola: 3720122 markings, 4620742 edges, 21769 markings/sec, 160 secs
lola: 3832581 markings, 4760450 edges, 22492 markings/sec, 165 secs
lola: 3944952 markings, 4900054 edges, 22474 markings/sec, 170 secs
lola: 4056128 markings, 5038167 edges, 22235 markings/sec, 175 secs
lola: 4166651 markings, 5175518 edges, 22105 markings/sec, 180 secs
lola: 4276847 markings, 5312300 edges, 22039 markings/sec, 185 secs
lola: 4387549 markings, 5449886 edges, 22140 markings/sec, 190 secs
lola: 4502359 markings, 5592427 edges, 22962 markings/sec, 195 secs
lola: 4616368 markings, 5734165 edges, 22802 markings/sec, 200 secs
lola: 4730666 markings, 5876089 edges, 22860 markings/sec, 205 secs
lola: 4844609 markings, 6017689 edges, 22789 markings/sec, 210 secs
lola: 4960695 markings, 6161879 edges, 23217 markings/sec, 215 secs
lola: 5075782 markings, 6304818 edges, 23017 markings/sec, 220 secs
lola: 5186705 markings, 6442661 edges, 22185 markings/sec, 225 secs
lola: 5301471 markings, 6585197 edges, 22953 markings/sec, 230 secs
lola: 5417377 markings, 6729262 edges, 23181 markings/sec, 235 secs
lola: 5533374 markings, 6873292 edges, 23199 markings/sec, 240 secs
lola: 5649520 markings, 7017641 edges, 23229 markings/sec, 245 secs
lola: 5765635 markings, 7161874 edges, 23223 markings/sec, 250 secs
lola: 5881814 markings, 7306147 edges, 23236 markings/sec, 255 secs
lola: 5998008 markings, 7450600 edges, 23239 markings/sec, 260 secs
lola: 6113946 markings, 7594572 edges, 23188 markings/sec, 265 secs
lola: 6229647 markings, 7738297 edges, 23140 markings/sec, 270 secs
lola: 6345375 markings, 7882138 edges, 23146 markings/sec, 275 secs
lola: 6460872 markings, 8025564 edges, 23099 markings/sec, 280 secs
lola: 6576184 markings, 8168877 edges, 23062 markings/sec, 285 secs
lola: 6691879 markings, 8312590 edges, 23139 markings/sec, 290 secs
lola: 6807499 markings, 8456176 edges, 23124 markings/sec, 295 secs
lola: 6922740 markings, 8599455 edges, 23048 markings/sec, 300 secs
lola: 7038177 markings, 8742736 edges, 23087 markings/sec, 305 secs
lola: 7153567 markings, 8886182 edges, 23078 markings/sec, 310 secs
lola: 7268709 markings, 9029192 edges, 23028 markings/sec, 315 secs
lola: 7383071 markings, 9171251 edges, 22872 markings/sec, 320 secs
lola: 7498077 markings, 9314174 edges, 23001 markings/sec, 325 secs
lola: 7613012 markings, 9456875 edges, 22987 markings/sec, 330 secs
lola: 7730180 markings, 9602518 edges, 23434 markings/sec, 335 secs
lola: 7848632 markings, 9749650 edges, 23690 markings/sec, 340 secs
lola: 7966805 markings, 9896402 edges, 23635 markings/sec, 345 secs
lola: 8084382 markings, 10042508 edges, 23515 markings/sec, 350 secs
lola: 8201052 markings, 10187449 edges, 23334 markings/sec, 355 secs
lola: 8317263 markings, 10331786 edges, 23242 markings/sec, 360 secs
lola: 8433414 markings, 10476133 edges, 23230 markings/sec, 365 secs
lola: 8549605 markings, 10620432 edges, 23238 markings/sec, 370 secs
lola: 8664677 markings, 10763323 edges, 23014 markings/sec, 375 secs
lola: 8781411 markings, 10908434 edges, 23347 markings/sec, 380 secs
lola: 8898479 markings, 11053799 edges, 23414 markings/sec, 385 secs
lola: 9014726 markings, 11198217 edges, 23249 markings/sec, 390 secs
lola: 9130294 markings, 11341840 edges, 23114 markings/sec, 395 secs
lola: 9245997 markings, 11485469 edges, 23141 markings/sec, 400 secs
lola: 9361656 markings, 11629245 edges, 23132 markings/sec, 405 secs
lola: 9476153 markings, 11771420 edges, 22899 markings/sec, 410 secs
lola: 9593186 markings, 11916759 edges, 23407 markings/sec, 415 secs
lola: 9710392 markings, 12062462 edges, 23441 markings/sec, 420 secs
lola: 9828106 markings, 12208660 edges, 23543 markings/sec, 425 secs
lola: 9943480 markings, 12351944 edges, 23075 markings/sec, 430 secs
lola: 10053759 markings, 12488993 edges, 22056 markings/sec, 435 secs
lola: 10163939 markings, 12625894 edges, 22036 markings/sec, 440 secs
lola: 10274157 markings, 12762746 edges, 22044 markings/sec, 445 secs
lola: 10384453 markings, 12899815 edges, 22059 markings/sec, 450 secs
lola: 10494991 markings, 13037099 edges, 22108 markings/sec, 455 secs
lola: 10605654 markings, 13174602 edges, 22133 markings/sec, 460 secs
lola: 10716222 markings, 13311986 edges, 22114 markings/sec, 465 secs
lola: 10827202 markings, 13449780 edges, 22196 markings/sec, 470 secs
lola: 10937158 markings, 13586444 edges, 21991 markings/sec, 475 secs
lola: 11046288 markings, 13721964 edges, 21826 markings/sec, 480 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1044728 KB
lola: time consumption: 1137 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1250)
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: 79 markings, 78 edges

FORMULA ASLink-PT-03b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 608 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1636)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1636)
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: 9 markings, 8 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 810 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1569)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1569)
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: 25 markings, 24 edges

FORMULA ASLink-PT-03b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p80)
lola: processed formula length: 8
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: 6 markings, 5 edges
lola: ========================================

FORMULA ASLink-PT-03b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2431 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1236)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1236)
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: 86 markings, 85 edges

FORMULA ASLink-PT-03b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
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: 106261 markings, 131386 edges, 21252 markings/sec, 0 secs
lola: 224910 markings, 278806 edges, 23730 markings/sec, 5 secs
lola: 343781 markings, 426436 edges, 23774 markings/sec, 10 secs
lola: 460631 markings, 571531 edges, 23370 markings/sec, 15 secs
lola: 577277 markings, 716588 edges, 23329 markings/sec, 20 secs
lola: 694316 markings, 861928 edges, 23408 markings/sec, 25 secs
lola: 811616 markings, 1007569 edges, 23460 markings/sec, 30 secs
lola: 928900 markings, 1153359 edges, 23457 markings/sec, 35 secs
lola: 1046391 markings, 1299274 edges, 23498 markings/sec, 40 secs
lola: 1163861 markings, 1445144 edges, 23494 markings/sec, 45 secs
lola: 1280392 markings, 1590013 edges, 23306 markings/sec, 50 secs
lola: 1397631 markings, 1735613 edges, 23448 markings/sec, 55 secs
lola: 1514444 markings, 1880688 edges, 23363 markings/sec, 60 secs
lola: 1631182 markings, 2025801 edges, 23348 markings/sec, 65 secs
lola: 1747515 markings, 2170268 edges, 23267 markings/sec, 70 secs
lola: 1862880 markings, 2313616 edges, 23073 markings/sec, 75 secs
lola: 1978328 markings, 2457059 edges, 23090 markings/sec, 80 secs
lola: 2093537 markings, 2600079 edges, 23042 markings/sec, 85 secs
lola: 2208242 markings, 2742658 edges, 22941 markings/sec, 90 secs
lola: 2323300 markings, 2885544 edges, 23012 markings/sec, 95 secs
lola: 2439182 markings, 3029524 edges, 23176 markings/sec, 100 secs
lola: 2556038 markings, 3174699 edges, 23371 markings/sec, 105 secs
lola: 2672840 markings, 3319744 edges, 23360 markings/sec, 110 secs
lola: 2789495 markings, 3464740 edges, 23331 markings/sec, 115 secs
lola: 2906175 markings, 3609683 edges, 23336 markings/sec, 120 secs
lola: 3023082 markings, 3754853 edges, 23381 markings/sec, 125 secs
lola: 3139184 markings, 3899174 edges, 23220 markings/sec, 130 secs
lola: 3253887 markings, 4041618 edges, 22941 markings/sec, 135 secs
lola: 3369894 markings, 4185693 edges, 23201 markings/sec, 140 secs
lola: 3485690 markings, 4329646 edges, 23159 markings/sec, 145 secs
lola: 3601534 markings, 4473479 edges, 23169 markings/sec, 150 secs
lola: 3717185 markings, 4617192 edges, 23130 markings/sec, 155 secs
lola: 3833221 markings, 4761365 edges, 23207 markings/sec, 160 secs
lola: 3949528 markings, 4905743 edges, 23261 markings/sec, 165 secs
lola: 4065788 markings, 5050286 edges, 23252 markings/sec, 170 secs
lola: 4181989 markings, 5194587 edges, 23240 markings/sec, 175 secs
lola: 4293556 markings, 5333247 edges, 22313 markings/sec, 180 secs
lola: 4408075 markings, 5475460 edges, 22904 markings/sec, 185 secs
lola: 4523628 markings, 5618999 edges, 23111 markings/sec, 190 secs
lola: 4638636 markings, 5761908 edges, 23002 markings/sec, 195 secs
lola: 4753502 markings, 5904557 edges, 22973 markings/sec, 200 secs
lola: 4868704 markings, 6047746 edges, 23040 markings/sec, 205 secs
lola: 4983600 markings, 6190407 edges, 22979 markings/sec, 210 secs
lola: 5098457 markings, 6333123 edges, 22971 markings/sec, 215 secs
lola: 5213282 markings, 6475766 edges, 22965 markings/sec, 220 secs
lola: 5328620 markings, 6618992 edges, 23068 markings/sec, 225 secs
lola: 5444244 markings, 6762748 edges, 23125 markings/sec, 230 secs
lola: 5559763 markings, 6906189 edges, 23104 markings/sec, 235 secs
lola: 5675249 markings, 7049670 edges, 23097 markings/sec, 240 secs
lola: 5791678 markings, 7194344 edges, 23286 markings/sec, 245 secs
lola: 5909003 markings, 7340009 edges, 23465 markings/sec, 250 secs
lola: 6025920 markings, 7485332 edges, 23383 markings/sec, 255 secs
lola: 6142548 markings, 7630205 edges, 23326 markings/sec, 260 secs
lola: 6257912 markings, 7773452 edges, 23073 markings/sec, 265 secs
lola: 6372893 markings, 7916373 edges, 22996 markings/sec, 270 secs
lola: 6487700 markings, 8058947 edges, 22961 markings/sec, 275 secs
lola: 6602284 markings, 8201328 edges, 22917 markings/sec, 280 secs
lola: 6716952 markings, 8343745 edges, 22934 markings/sec, 285 secs
lola: 6832211 markings, 8486898 edges, 23052 markings/sec, 290 secs
lola: 6948091 markings, 8630927 edges, 23176 markings/sec, 295 secs
lola: 7064010 markings, 8774870 edges, 23184 markings/sec, 300 secs
lola: 7179477 markings, 8918374 edges, 23093 markings/sec, 305 secs
lola: 7294925 markings, 9061795 edges, 23090 markings/sec, 310 secs
lola: 7410581 markings, 9205373 edges, 23131 markings/sec, 315 secs
lola: 7526611 markings, 9349629 edges, 23206 markings/sec, 320 secs
lola: 7641532 markings, 9492334 edges, 22984 markings/sec, 325 secs
lola: 7756414 markings, 9635100 edges, 22976 markings/sec, 330 secs
lola: 7871575 markings, 9778137 edges, 23032 markings/sec, 335 secs
lola: 7986284 markings, 9920577 edges, 22942 markings/sec, 340 secs
lola: 8100884 markings, 10063028 edges, 22920 markings/sec, 345 secs
lola: 8216013 markings, 10205977 edges, 23026 markings/sec, 350 secs
lola: 8331381 markings, 10349378 edges, 23074 markings/sec, 355 secs
lola: 8446909 markings, 10492861 edges, 23106 markings/sec, 360 secs
lola: 8561959 markings, 10635803 edges, 23010 markings/sec, 365 secs
lola: 8676844 markings, 10778528 edges, 22977 markings/sec, 370 secs
lola: 8792142 markings, 10921706 edges, 23060 markings/sec, 375 secs
lola: 8907885 markings, 11065627 edges, 23149 markings/sec, 380 secs
lola: 9022722 markings, 11208201 edges, 22967 markings/sec, 385 secs
lola: 9137196 markings, 11350415 edges, 22895 markings/sec, 390 secs
lola: 9251921 markings, 11492979 edges, 22945 markings/sec, 395 secs
lola: 9366218 markings, 11634855 edges, 22859 markings/sec, 400 secs
lola: 9480382 markings, 11776764 edges, 22833 markings/sec, 405 secs
lola: 9591903 markings, 11915237 edges, 22304 markings/sec, 410 secs
lola: 9704693 markings, 12055420 edges, 22558 markings/sec, 415 secs
lola: 9818089 markings, 12196216 edges, 22679 markings/sec, 420 secs
lola: 9930875 markings, 12336439 edges, 22557 markings/sec, 425 secs
lola: 10043757 markings, 12476550 edges, 22576 markings/sec, 430 secs
lola: 10156933 markings, 12617240 edges, 22635 markings/sec, 435 secs
lola: 10272001 markings, 12760107 edges, 23014 markings/sec, 440 secs
lola: 10388037 markings, 12904406 edges, 23207 markings/sec, 445 secs
lola: 10503164 markings, 13047375 edges, 23025 markings/sec, 450 secs
lola: 10618387 markings, 13190471 edges, 23045 markings/sec, 455 secs
lola: 10733087 markings, 13332990 edges, 22940 markings/sec, 460 secs
lola: 10846714 markings, 13474082 edges, 22725 markings/sec, 465 secs
lola: 10959787 markings, 13614607 edges, 22615 markings/sec, 470 secs
lola: 11072588 markings, 13754668 edges, 22560 markings/sec, 475 secs
lola: 11185295 markings, 13894784 edges, 22541 markings/sec, 480 secs
lola: 11297860 markings, 14034523 edges, 22513 markings/sec, 485 secs
lola: 11410666 markings, 14174736 edges, 22561 markings/sec, 490 secs
lola: 11524621 markings, 14316220 edges, 22791 markings/sec, 495 secs
lola: 11638369 markings, 14457646 edges, 22750 markings/sec, 500 secs
lola: 11752045 markings, 14598747 edges, 22735 markings/sec, 505 secs
lola: 11865239 markings, 14739469 edges, 22639 markings/sec, 510 secs
lola: 11978778 markings, 14880447 edges, 22708 markings/sec, 515 secs
lola: 12092834 markings, 15022215 edges, 22811 markings/sec, 520 secs
lola: 12206129 markings, 15162898 edges, 22659 markings/sec, 525 secs
lola: 12318876 markings, 15303025 edges, 22549 markings/sec, 530 secs
lola: 12432062 markings, 15443571 edges, 22637 markings/sec, 535 secs
lola: 12544720 markings, 15583590 edges, 22532 markings/sec, 540 secs
lola: 12657365 markings, 15723438 edges, 22529 markings/sec, 545 secs
lola: 12770055 markings, 15863512 edges, 22538 markings/sec, 550 secs
lola: 12883531 markings, 16004434 edges, 22695 markings/sec, 555 secs
lola: 12996864 markings, 16145298 edges, 22667 markings/sec, 560 secs
lola: 13110100 markings, 16285879 edges, 22647 markings/sec, 565 secs
lola: 13224146 markings, 16427638 edges, 22809 markings/sec, 570 secs
lola: 13338573 markings, 16569736 edges, 22885 markings/sec, 575 secs
lola: 13453839 markings, 16712957 edges, 23053 markings/sec, 580 secs
lola: 13568414 markings, 16855334 edges, 22915 markings/sec, 585 secs
lola: 13682612 markings, 16997079 edges, 22840 markings/sec, 590 secs
lola: 13796501 markings, 17138654 edges, 22778 markings/sec, 595 secs
lola: 13910720 markings, 17280469 edges, 22844 markings/sec, 600 secs
lola: 14024236 markings, 17421570 edges, 22703 markings/sec, 605 secs
lola: 14137931 markings, 17562758 edges, 22739 markings/sec, 610 secs
lola: 14251912 markings, 17704407 edges, 22796 markings/sec, 615 secs
lola: 14366238 markings, 17846411 edges, 22865 markings/sec, 620 secs
lola: 14480324 markings, 17988175 edges, 22817 markings/sec, 625 secs
lola: 14594015 markings, 18129358 edges, 22738 markings/sec, 630 secs
lola: 14707691 markings, 18270583 edges, 22735 markings/sec, 635 secs
lola: 14822557 markings, 18413310 edges, 22973 markings/sec, 640 secs
lola: 14939793 markings, 18558906 edges, 23447 markings/sec, 645 secs
lola: 15056424 markings, 18703839 edges, 23326 markings/sec, 650 secs
lola: 15172983 markings, 18848627 edges, 23312 markings/sec, 655 secs
lola: 15289121 markings, 18992847 edges, 23228 markings/sec, 660 secs
lola: 15403851 markings, 19135452 edges, 22946 markings/sec, 665 secs
lola: 15518609 markings, 19277954 edges, 22952 markings/sec, 670 secs
lola: 15633076 markings, 19420213 edges, 22893 markings/sec, 675 secs
lola: 15747329 markings, 19562112 edges, 22851 markings/sec, 680 secs
lola: 15861665 markings, 19704146 edges, 22867 markings/sec, 685 secs
lola: 15976648 markings, 19847028 edges, 22997 markings/sec, 690 secs
lola: 16092121 markings, 19990380 edges, 23095 markings/sec, 695 secs
lola: 16207241 markings, 20133499 edges, 23024 markings/sec, 700 secs
lola: 16322827 markings, 20277037 edges, 23117 markings/sec, 705 secs
lola: 16438442 markings, 20420672 edges, 23123 markings/sec, 710 secs
lola: 16554234 markings, 20564545 edges, 23158 markings/sec, 715 secs
lola: 16670506 markings, 20708939 edges, 23254 markings/sec, 720 secs
lola: 16785621 markings, 20852016 edges, 23023 markings/sec, 725 secs
lola: 16900993 markings, 20995296 edges, 23074 markings/sec, 730 secs
lola: 17016049 markings, 21138234 edges, 23011 markings/sec, 735 secs
lola: 17130854 markings, 21280897 edges, 22961 markings/sec, 740 secs
lola: 17245761 markings, 21423575 edges, 22981 markings/sec, 745 secs
lola: 17360947 markings, 21566737 edges, 23037 markings/sec, 750 secs
lola: 17476570 markings, 21710309 edges, 23125 markings/sec, 755 secs
lola: 17592114 markings, 21853891 edges, 23109 markings/sec, 760 secs
lola: 17707464 markings, 21997196 edges, 23070 markings/sec, 765 secs
lola: 17822373 markings, 22139865 edges, 22982 markings/sec, 770 secs
lola: 17937584 markings, 22283093 edges, 23042 markings/sec, 775 secs
lola: 18053627 markings, 22427193 edges, 23209 markings/sec, 780 secs
lola: 18168407 markings, 22569811 edges, 22956 markings/sec, 785 secs
lola: 18283144 markings, 22712388 edges, 22947 markings/sec, 790 secs
lola: 18398193 markings, 22855193 edges, 23010 markings/sec, 795 secs
lola: 18512577 markings, 22997427 edges, 22877 markings/sec, 800 secs
lola: 18627250 markings, 23139778 edges, 22935 markings/sec, 805 secs
lola: 18741826 markings, 23282235 edges, 22915 markings/sec, 810 secs
lola: 18856943 markings, 23425163 edges, 23023 markings/sec, 815 secs
lola: 18972080 markings, 23568209 edges, 23027 markings/sec, 820 secs
lola: 19086497 markings, 23710351 edges, 22883 markings/sec, 825 secs
lola: 19201035 markings, 23852587 edges, 22908 markings/sec, 830 secs
lola: 19316133 markings, 23995657 edges, 23020 markings/sec, 835 secs
lola: 19434087 markings, 24142180 edges, 23591 markings/sec, 840 secs
lola: 19551961 markings, 24288536 edges, 23575 markings/sec, 845 secs
lola: 19669943 markings, 24435233 edges, 23596 markings/sec, 850 secs
lola: 19787996 markings, 24581865 edges, 23611 markings/sec, 855 secs
lola: 19906228 markings, 24728665 edges, 23646 markings/sec, 860 secs
lola: 20024327 markings, 24875463 edges, 23620 markings/sec, 865 secs
lola: 20142687 markings, 25022507 edges, 23672 markings/sec, 870 secs
lola: 20260682 markings, 25169052 edges, 23599 markings/sec, 875 secs
lola: 20378728 markings, 25315667 edges, 23609 markings/sec, 880 secs
lola: 20496962 markings, 25462638 edges, 23647 markings/sec, 885 secs
lola: 20614597 markings, 25608760 edges, 23527 markings/sec, 890 secs
lola: 20732412 markings, 25755040 edges, 23563 markings/sec, 895 secs
lola: 20850318 markings, 25901626 edges, 23581 markings/sec, 900 secs
lola: 20968252 markings, 26048112 edges, 23587 markings/sec, 905 secs
lola: 21085898 markings, 26194225 edges, 23529 markings/sec, 910 secs
lola: 21203748 markings, 26340670 edges, 23570 markings/sec, 915 secs
lola: 21321292 markings, 26486708 edges, 23509 markings/sec, 920 secs
lola: 21438449 markings, 26632236 edges, 23431 markings/sec, 925 secs
lola: 21555808 markings, 26778050 edges, 23472 markings/sec, 930 secs
lola: 21673309 markings, 26924086 edges, 23500 markings/sec, 935 secs
lola: 21790469 markings, 27069537 edges, 23432 markings/sec, 940 secs
lola: 21907709 markings, 27215204 edges, 23448 markings/sec, 945 secs
lola: 22025220 markings, 27361231 edges, 23502 markings/sec, 950 secs
lola: 22142554 markings, 27506941 edges, 23467 markings/sec, 955 secs
lola: 22262216 markings, 27655568 edges, 23932 markings/sec, 960 secs
lola: 22382014 markings, 27804473 edges, 23960 markings/sec, 965 secs
lola: 22501629 markings, 27953071 edges, 23923 markings/sec, 970 secs
lola: 22620927 markings, 28101238 edges, 23860 markings/sec, 975 secs
lola: 22739733 markings, 28248801 edges, 23761 markings/sec, 980 secs
lola: 22857721 markings, 28395458 edges, 23598 markings/sec, 985 secs
lola: 22975533 markings, 28541783 edges, 23562 markings/sec, 990 secs
lola: 23093271 markings, 28687980 edges, 23548 markings/sec, 995 secs
lola: 23210871 markings, 28834126 edges, 23520 markings/sec, 1000 secs
lola: 23328208 markings, 28979906 edges, 23467 markings/sec, 1005 secs
lola: 23445892 markings, 29126053 edges, 23537 markings/sec, 1010 secs
lola: 23563961 markings, 29272739 edges, 23614 markings/sec, 1015 secs
lola: 23681924 markings, 29419348 edges, 23593 markings/sec, 1020 secs
lola: 23799841 markings, 29565783 edges, 23583 markings/sec, 1025 secs
lola: 23917593 markings, 29712016 edges, 23550 markings/sec, 1030 secs
lola: 24035468 markings, 29858581 edges, 23575 markings/sec, 1035 secs
lola: 24153852 markings, 30005590 edges, 23677 markings/sec, 1040 secs
lola: 24271512 markings, 30151701 edges, 23532 markings/sec, 1045 secs
lola: 24388779 markings, 30297450 edges, 23453 markings/sec, 1050 secs
lola: 24506021 markings, 30443096 edges, 23448 markings/sec, 1055 secs
lola: 24622362 markings, 30587579 edges, 23268 markings/sec, 1060 secs
lola: 24739265 markings, 30732880 edges, 23381 markings/sec, 1065 secs
lola: 24856655 markings, 30878676 edges, 23478 markings/sec, 1070 secs
lola: 24974180 markings, 31024616 edges, 23505 markings/sec, 1075 secs
lola: 25091879 markings, 31170913 edges, 23540 markings/sec, 1080 secs
lola: 25209395 markings, 31316886 edges, 23503 markings/sec, 1085 secs
lola: 25326755 markings, 31462648 edges, 23472 markings/sec, 1090 secs
lola: 25444345 markings, 31608777 edges, 23518 markings/sec, 1095 secs
lola: 25561455 markings, 31754277 edges, 23422 markings/sec, 1100 secs
lola: 25678419 markings, 31899506 edges, 23393 markings/sec, 1105 secs
lola: 25793982 markings, 32043130 edges, 23113 markings/sec, 1110 secs
lola: 25909145 markings, 32186178 edges, 23033 markings/sec, 1115 secs
lola: 26025143 markings, 32330222 edges, 23200 markings/sec, 1120 secs
lola: 26140014 markings, 32473013 edges, 22974 markings/sec, 1125 secs
lola: 26254094 markings, 32614649 edges, 22816 markings/sec, 1130 secs
lola: 26369283 markings, 32757826 edges, 23038 markings/sec, 1135 secs
lola: 26484753 markings, 32901251 edges, 23094 markings/sec, 1140 secs
lola: 26599711 markings, 33044023 edges, 22992 markings/sec, 1145 secs
lola: 26714729 markings, 33186958 edges, 23004 markings/sec, 1150 secs
lola: 26831163 markings, 33331540 edges, 23287 markings/sec, 1155 secs
lola: 26948625 markings, 33477515 edges, 23492 markings/sec, 1160 secs
lola: 27065804 markings, 33623091 edges, 23436 markings/sec, 1165 secs
lola: 27182467 markings, 33767958 edges, 23333 markings/sec, 1170 secs
lola: 27297900 markings, 33911450 edges, 23087 markings/sec, 1175 secs
lola: 27413150 markings, 34054592 edges, 23050 markings/sec, 1180 secs
lola: 27528196 markings, 34197487 edges, 23009 markings/sec, 1185 secs
lola: 27642477 markings, 34339478 edges, 22856 markings/sec, 1190 secs
lola: 27757390 markings, 34482158 edges, 22983 markings/sec, 1195 secs
lola: 27872366 markings, 34625089 edges, 22995 markings/sec, 1200 secs
lola: 27987725 markings, 34768334 edges, 23072 markings/sec, 1205 secs
lola: 28103653 markings, 34912396 edges, 23186 markings/sec, 1210 secs
lola: 28218984 markings, 35055691 edges, 23066 markings/sec, 1215 secs
lola: 28335026 markings, 35199787 edges, 23208 markings/sec, 1220 secs
lola: 28451828 markings, 35344968 edges, 23360 markings/sec, 1225 secs
lola: 28568316 markings, 35489645 edges, 23298 markings/sec, 1230 secs
lola: 28683815 markings, 35633069 edges, 23100 markings/sec, 1235 secs
lola: 28800384 markings, 35777962 edges, 23314 markings/sec, 1240 secs
lola: 28916840 markings, 35922627 edges, 23291 markings/sec, 1245 secs
lola: 29033210 markings, 36067140 edges, 23274 markings/sec, 1250 secs
lola: 29149612 markings, 36211795 edges, 23280 markings/sec, 1255 secs
lola: 29266453 markings, 36356906 edges, 23368 markings/sec, 1260 secs
lola: 29383656 markings, 36502510 edges, 23441 markings/sec, 1265 secs
lola: 29500869 markings, 36648159 edges, 23443 markings/sec, 1270 secs
lola: 29617915 markings, 36793535 edges, 23409 markings/sec, 1275 secs
lola: 29734826 markings, 36938773 edges, 23382 markings/sec, 1280 secs
lola: 29852209 markings, 37084637 edges, 23477 markings/sec, 1285 secs
lola: 29969132 markings, 37229854 edges, 23385 markings/sec, 1290 secs
lola: 30085555 markings, 37374491 edges, 23285 markings/sec, 1295 secs
lola: 30201418 markings, 37518433 edges, 23173 markings/sec, 1300 secs
lola: 30317190 markings, 37662204 edges, 23154 markings/sec, 1305 secs
lola: 30432832 markings, 37805935 edges, 23128 markings/sec, 1310 secs
lola: 30548426 markings, 37949497 edges, 23119 markings/sec, 1315 secs
lola: 30664471 markings, 38093627 edges, 23209 markings/sec, 1320 secs
lola: 30780930 markings, 38238377 edges, 23292 markings/sec, 1325 secs
lola: 30897494 markings, 38383131 edges, 23313 markings/sec, 1330 secs
lola: 31013271 markings, 38526990 edges, 23155 markings/sec, 1335 secs
lola: 31129533 markings, 38671422 edges, 23252 markings/sec, 1340 secs
lola: 31247126 markings, 38817476 edges, 23519 markings/sec, 1345 secs
lola: 31366550 markings, 38965840 edges, 23885 markings/sec, 1350 secs
lola: 31485184 markings, 39113282 edges, 23727 markings/sec, 1355 secs
lola: 31604579 markings, 39261568 edges, 23879 markings/sec, 1360 secs
lola: 31722717 markings, 39408314 edges, 23628 markings/sec, 1365 secs
lola: 31840856 markings, 39555089 edges, 23628 markings/sec, 1370 secs
lola: 31959137 markings, 39702076 edges, 23656 markings/sec, 1375 secs
lola: 32077418 markings, 39848945 edges, 23656 markings/sec, 1380 secs
lola: 32195851 markings, 39996015 edges, 23687 markings/sec, 1385 secs
lola: 32314345 markings, 40143321 edges, 23699 markings/sec, 1390 secs
lola: 32433083 markings, 40290809 edges, 23748 markings/sec, 1395 secs
lola: 32551643 markings, 40438053 edges, 23712 markings/sec, 1400 secs
lola: 32668786 markings, 40583609 edges, 23429 markings/sec, 1405 secs
lola: 32785102 markings, 40728135 edges, 23263 markings/sec, 1410 secs
lola: 32902778 markings, 40874272 edges, 23535 markings/sec, 1415 secs
lola: 33020046 markings, 41019971 edges, 23454 markings/sec, 1420 secs
lola: 33136248 markings, 41164353 edges, 23240 markings/sec, 1425 secs
lola: 33251930 markings, 41307985 edges, 23136 markings/sec, 1430 secs
lola: 33367110 markings, 41451162 edges, 23036 markings/sec, 1435 secs
lola: 33482230 markings, 41594123 edges, 23024 markings/sec, 1440 secs
lola: 33597090 markings, 41736822 edges, 22972 markings/sec, 1445 secs
lola: 33712490 markings, 41880189 edges, 23080 markings/sec, 1450 secs
lola: 33828598 markings, 42024348 edges, 23222 markings/sec, 1455 secs
lola: 33944671 markings, 42168681 edges, 23215 markings/sec, 1460 secs
lola: 34061021 markings, 42313182 edges, 23270 markings/sec, 1465 secs
lola: 34176841 markings, 42456975 edges, 23164 markings/sec, 1470 secs
lola: 34292528 markings, 42600784 edges, 23137 markings/sec, 1475 secs
lola: 34409199 markings, 42745671 edges, 23334 markings/sec, 1480 secs
lola: 34524995 markings, 42889551 edges, 23159 markings/sec, 1485 secs
lola: 34640261 markings, 43032751 edges, 23053 markings/sec, 1490 secs
lola: 34755525 markings, 43175872 edges, 23053 markings/sec, 1495 secs
lola: 34870565 markings, 43318890 edges, 23008 markings/sec, 1500 secs
lola: 34985683 markings, 43461821 edges, 23024 markings/sec, 1505 secs
lola: 35100484 markings, 43604485 edges, 22960 markings/sec, 1510 secs
lola: 35216320 markings, 43748379 edges, 23167 markings/sec, 1515 secs
lola: 35332261 markings, 43892337 edges, 23188 markings/sec, 1520 secs
lola: 35447839 markings, 44036061 edges, 23116 markings/sec, 1525 secs
lola: 35563322 markings, 44179443 edges, 23097 markings/sec, 1530 secs
lola: 35678496 markings, 44322565 edges, 23035 markings/sec, 1535 secs
lola: 35794684 markings, 44466890 edges, 23238 markings/sec, 1540 secs
lola: 35910046 markings, 44610122 edges, 23072 markings/sec, 1545 secs
lola: 36025153 markings, 44753213 edges, 23021 markings/sec, 1550 secs
lola: 36140208 markings, 44896096 edges, 23011 markings/sec, 1555 secs
lola: 36255218 markings, 45039017 edges, 23002 markings/sec, 1560 secs
lola: 36369674 markings, 45181166 edges, 22891 markings/sec, 1565 secs
lola: 36484292 markings, 45323532 edges, 22924 markings/sec, 1570 secs
lola: 36599322 markings, 45466486 edges, 23006 markings/sec, 1575 secs
lola: 36714805 markings, 45609882 edges, 23097 markings/sec, 1580 secs
lola: 36829728 markings, 45752750 edges, 22985 markings/sec, 1585 secs
lola: 36944379 markings, 45895130 edges, 22930 markings/sec, 1590 secs
lola: 37059199 markings, 46037782 edges, 22964 markings/sec, 1595 secs
lola: 37175581 markings, 46182364 edges, 23276 markings/sec, 1600 secs
lola: 37292004 markings, 46326974 edges, 23285 markings/sec, 1605 secs
lola: 37406776 markings, 46469608 edges, 22954 markings/sec, 1610 secs
lola: 37522832 markings, 46613746 edges, 23211 markings/sec, 1615 secs
lola: 37640388 markings, 46759716 edges, 23511 markings/sec, 1620 secs
lola: 37757625 markings, 46905504 edges, 23447 markings/sec, 1625 secs
lola: 37873978 markings, 47049956 edges, 23271 markings/sec, 1630 secs
lola: 37989682 markings, 47193649 edges, 23141 markings/sec, 1635 secs
lola: 38104914 markings, 47336902 edges, 23046 markings/sec, 1640 secs
lola: 38220160 markings, 47480000 edges, 23049 markings/sec, 1645 secs
lola: 38335151 markings, 47622897 edges, 22998 markings/sec, 1650 secs
lola: 38450505 markings, 47766156 edges, 23071 markings/sec, 1655 secs
lola: 38566614 markings, 47910363 edges, 23222 markings/sec, 1660 secs
lola: 38682643 markings, 48054578 edges, 23206 markings/sec, 1665 secs
lola: 38798767 markings, 48198777 edges, 23225 markings/sec, 1670 secs
lola: 38914386 markings, 48342475 edges, 23124 markings/sec, 1675 secs
lola: 39030160 markings, 48486286 edges, 23155 markings/sec, 1680 secs
lola: 39146846 markings, 48631169 edges, 23337 markings/sec, 1685 secs
lola: 39262590 markings, 48775071 edges, 23149 markings/sec, 1690 secs
lola: 39378018 markings, 48918442 edges, 23086 markings/sec, 1695 secs
lola: 39493292 markings, 49061606 edges, 23055 markings/sec, 1700 secs
lola: 39608395 markings, 49204641 edges, 23021 markings/sec, 1705 secs
lola: 39723460 markings, 49347524 edges, 23013 markings/sec, 1710 secs
lola: 39838367 markings, 49490330 edges, 22981 markings/sec, 1715 secs
lola: 39954282 markings, 49634272 edges, 23183 markings/sec, 1720 secs
lola: 40069990 markings, 49778060 edges, 23142 markings/sec, 1725 secs
lola: 40185425 markings, 49921505 edges, 23087 markings/sec, 1730 secs
lola: 40300705 markings, 50064610 edges, 23056 markings/sec, 1735 secs
lola: 40415836 markings, 50207727 edges, 23026 markings/sec, 1740 secs
lola: 40531943 markings, 50351946 edges, 23221 markings/sec, 1745 secs
lola: 40647249 markings, 50495160 edges, 23061 markings/sec, 1750 secs
lola: 40762289 markings, 50638113 edges, 23008 markings/sec, 1755 secs
lola: 40877072 markings, 50780611 edges, 22957 markings/sec, 1760 secs
lola: 40991966 markings, 50923490 edges, 22979 markings/sec, 1765 secs
lola: 41106659 markings, 51065864 edges, 22939 markings/sec, 1770 secs
lola: 41221158 markings, 51208177 edges, 22900 markings/sec, 1775 secs
lola: 41336130 markings, 51350992 edges, 22994 markings/sec, 1780 secs
lola: 41451478 markings, 51494217 edges, 23070 markings/sec, 1785 secs
lola: 41566456 markings, 51637112 edges, 22996 markings/sec, 1790 secs
lola: 41681039 markings, 51779397 edges, 22917 markings/sec, 1795 secs
lola: 41795845 markings, 51922106 edges, 22961 markings/sec, 1800 secs
lola: 41912428 markings, 52066886 edges, 23317 markings/sec, 1805 secs
lola: 42030023 markings, 52212930 edges, 23519 markings/sec, 1810 secs
lola: 42147151 markings, 52358529 edges, 23426 markings/sec, 1815 secs
lola: 42263738 markings, 52503312 edges, 23317 markings/sec, 1820 secs
lola: 42379169 markings, 52646688 edges, 23086 markings/sec, 1825 secs
lola: 42494329 markings, 52789797 edges, 23032 markings/sec, 1830 secs
lola: 42609237 markings, 52932487 edges, 22982 markings/sec, 1835 secs
lola: 42723856 markings, 53074954 edges, 22924 markings/sec, 1840 secs
lola: 42838992 markings, 53217917 edges, 23027 markings/sec, 1845 secs
lola: 42954645 markings, 53361634 edges, 23131 markings/sec, 1850 secs
lola: 43070305 markings, 53505342 edges, 23132 markings/sec, 1855 secs
lola: 43186208 markings, 53649254 edges, 23181 markings/sec, 1860 secs
lola: 43301684 markings, 53792814 edges, 23095 markings/sec, 1865 secs
lola: 43417165 markings, 53936226 edges, 23096 markings/sec, 1870 secs
lola: 43533258 markings, 54080411 edges, 23219 markings/sec, 1875 secs
lola: 43649410 markings, 54224793 edges, 23230 markings/sec, 1880 secs
lola: 43764569 markings, 54367764 edges, 23032 markings/sec, 1885 secs
lola: 43879613 markings, 54510742 edges, 23009 markings/sec, 1890 secs
lola: 43994687 markings, 54653651 edges, 23015 markings/sec, 1895 secs
lola: 44109404 markings, 54796162 edges, 22943 markings/sec, 1900 secs
lola: 44224256 markings, 54938883 edges, 22970 markings/sec, 1905 secs
lola: 44339719 markings, 55082224 edges, 23093 markings/sec, 1910 secs
lola: 44455295 markings, 55225910 edges, 23115 markings/sec, 1915 secs
lola: 44570927 markings, 55369549 edges, 23126 markings/sec, 1920 secs
lola: 44686158 markings, 55512656 edges, 23046 markings/sec, 1925 secs
lola: 44801102 markings, 55655485 edges, 22989 markings/sec, 1930 secs
lola: 44916735 markings, 55799054 edges, 23127 markings/sec, 1935 secs
lola: 45032271 markings, 55942692 edges, 23107 markings/sec, 1940 secs
lola: 45147114 markings, 56085288 edges, 22969 markings/sec, 1945 secs
lola: 45261591 markings, 56227558 edges, 22895 markings/sec, 1950 secs
lola: 45376241 markings, 56369955 edges, 22930 markings/sec, 1955 secs
lola: 45490598 markings, 56511975 edges, 22871 markings/sec, 1960 secs
lola: 45604993 markings, 56654145 edges, 22879 markings/sec, 1965 secs
lola: 45719665 markings, 56796520 edges, 22934 markings/sec, 1970 secs
lola: 45834469 markings, 56939239 edges, 22961 markings/sec, 1975 secs
lola: 45949638 markings, 57082248 edges, 23034 markings/sec, 1980 secs
lola: 46063849 markings, 57224191 edges, 22842 markings/sec, 1985 secs
lola: 46177990 markings, 57365982 edges, 22828 markings/sec, 1990 secs
lola: 46293383 markings, 57509273 edges, 23079 markings/sec, 1995 secs
lola: 46409766 markings, 57653936 edges, 23277 markings/sec, 2000 secs
lola: 46524442 markings, 57796314 edges, 22935 markings/sec, 2005 secs
lola: 46641443 markings, 57941744 edges, 23400 markings/sec, 2010 secs
lola: 46758289 markings, 58086902 edges, 23369 markings/sec, 2015 secs
lola: 46874589 markings, 58231289 edges, 23260 markings/sec, 2020 secs
lola: 46989648 markings, 58374346 edges, 23012 markings/sec, 2025 secs
lola: 47104671 markings, 58517197 edges, 23005 markings/sec, 2030 secs
lola: 47219385 markings, 58659686 edges, 22943 markings/sec, 2035 secs
lola: 47333918 markings, 58801962 edges, 22907 markings/sec, 2040 secs
lola: 47446265 markings, 58941517 edges, 22469 markings/sec, 2045 secs
lola: 47559314 markings, 59082015 edges, 22610 markings/sec, 2050 secs
lola: 47672772 markings, 59222884 edges, 22692 markings/sec, 2055 secs
lola: 47786151 markings, 59363773 edges, 22676 markings/sec, 2060 secs
lola: 47894950 markings, 59498945 edges, 21760 markings/sec, 2065 secs
lola: 48008842 markings, 59640408 edges, 22778 markings/sec, 2070 secs
lola: 48123057 markings, 59782292 edges, 22843 markings/sec, 2075 secs
lola: 48237891 markings, 59924980 edges, 22967 markings/sec, 2080 secs
lola: 48351377 markings, 60065894 edges, 22697 markings/sec, 2085 secs
lola: 48464944 markings, 60207039 edges, 22713 markings/sec, 2090 secs
lola: 48578222 markings, 60347683 edges, 22656 markings/sec, 2095 secs
lola: 48691396 markings, 60488375 edges, 22635 markings/sec, 2100 secs
lola: 48804485 markings, 60628763 edges, 22618 markings/sec, 2105 secs
lola: 48917453 markings, 60769221 edges, 22594 markings/sec, 2110 secs
lola: 49031566 markings, 60910898 edges, 22823 markings/sec, 2115 secs
lola: 49145316 markings, 61052302 edges, 22750 markings/sec, 2120 secs
lola: 49258782 markings, 61193153 edges, 22693 markings/sec, 2125 secs
lola: 49372042 markings, 61333946 edges, 22652 markings/sec, 2130 secs
lola: 49485437 markings, 61474771 edges, 22679 markings/sec, 2135 secs
lola: 49599630 markings, 61616680 edges, 22839 markings/sec, 2140 secs
lola: 49712953 markings, 61757391 edges, 22665 markings/sec, 2145 secs
lola: 49826022 markings, 61897929 edges, 22614 markings/sec, 2150 secs
lola: 49938912 markings, 62038099 edges, 22578 markings/sec, 2155 secs
lola: 50051662 markings, 62178237 edges, 22550 markings/sec, 2160 secs
lola: 50164443 markings, 62318268 edges, 22556 markings/sec, 2165 secs
lola: 50277073 markings, 62458255 edges, 22526 markings/sec, 2170 secs
lola: 50390312 markings, 62598861 edges, 22648 markings/sec, 2175 secs
lola: 50503479 markings, 62739537 edges, 22633 markings/sec, 2180 secs
lola: 50616523 markings, 62879917 edges, 22609 markings/sec, 2185 secs
lola: 50729101 markings, 63019817 edges, 22516 markings/sec, 2190 secs
lola: 50842204 markings, 63160270 edges, 22621 markings/sec, 2195 secs
lola: 50957130 markings, 63303059 edges, 22985 markings/sec, 2200 secs
lola: 51072852 markings, 63446830 edges, 23144 markings/sec, 2205 secs
lola: 51188376 markings, 63590261 edges, 23105 markings/sec, 2210 secs
lola: 51302873 markings, 63732610 edges, 22899 markings/sec, 2215 secs
lola: 51416682 markings, 63873919 edges, 22762 markings/sec, 2220 secs
lola: 51530041 markings, 64014817 edges, 22672 markings/sec, 2225 secs
lola: 51643224 markings, 64155338 edges, 22637 markings/sec, 2230 secs
lola: 51756017 markings, 64295576 edges, 22559 markings/sec, 2235 secs
lola: 51869475 markings, 64436412 edges, 22692 markings/sec, 2240 secs
lola: 51983418 markings, 64578038 edges, 22789 markings/sec, 2245 secs
lola: 52097508 markings, 64719708 edges, 22818 markings/sec, 2250 secs
lola: 52211599 markings, 64861467 edges, 22818 markings/sec, 2255 secs
lola: 52325530 markings, 65003027 edges, 22786 markings/sec, 2260 secs
lola: 52439308 markings, 65144335 edges, 22756 markings/sec, 2265 secs
lola: 52553529 markings, 65286251 edges, 22844 markings/sec, 2270 secs
lola: 52668330 markings, 65428811 edges, 22960 markings/sec, 2275 secs
lola: 52781634 markings, 65569644 edges, 22661 markings/sec, 2280 secs
lola: 52894923 markings, 65710321 edges, 22658 markings/sec, 2285 secs
lola: 53008297 markings, 65851237 edges, 22675 markings/sec, 2290 secs
lola: 53121338 markings, 65991573 edges, 22608 markings/sec, 2295 secs
lola: 53234303 markings, 66132031 edges, 22593 markings/sec, 2300 secs
lola: 53347850 markings, 66272964 edges, 22709 markings/sec, 2305 secs
lola: 53461790 markings, 66414624 edges, 22788 markings/sec, 2310 secs
lola: 53575660 markings, 66556023 edges, 22774 markings/sec, 2315 secs
lola: 53689117 markings, 66697014 edges, 22691 markings/sec, 2320 secs
lola: 53802316 markings, 66837571 edges, 22640 markings/sec, 2325 secs
lola: 53915644 markings, 66978403 edges, 22666 markings/sec, 2330 secs
lola: 54029954 markings, 67120399 edges, 22862 markings/sec, 2335 secs
lola: 54142959 markings, 67260781 edges, 22601 markings/sec, 2340 secs
lola: 54255828 markings, 67401019 edges, 22574 markings/sec, 2345 secs
lola: 54368690 markings, 67541203 edges, 22572 markings/sec, 2350 secs
lola: 54481308 markings, 67681096 edges, 22524 markings/sec, 2355 secs
lola: 54593752 markings, 67820818 edges, 22489 markings/sec, 2360 secs
lola: 54706415 markings, 67960735 edges, 22533 markings/sec, 2365 secs
lola: 54819585 markings, 68101366 edges, 22634 markings/sec, 2370 secs
lola: 54932919 markings, 68242127 edges, 22667 markings/sec, 2375 secs
lola: 55045617 markings, 68382171 edges, 22540 markings/sec, 2380 secs
lola: 55158061 markings, 68521814 edges, 22489 markings/sec, 2385 secs
lola: 55270785 markings, 68661890 edges, 22545 markings/sec, 2390 secs
lola: 55384672 markings, 68803379 edges, 22777 markings/sec, 2395 secs
lola: 55497040 markings, 68942977 edges, 22474 markings/sec, 2400 secs
lola: 55611117 markings, 69084651 edges, 22815 markings/sec, 2405 secs
lola: 55726153 markings, 69227537 edges, 23007 markings/sec, 2410 secs
lola: 55842059 markings, 69371582 edges, 23181 markings/sec, 2415 secs
lola: 55957041 markings, 69514345 edges, 22996 markings/sec, 2420 secs
lola: 56066470 markings, 69650352 edges, 21886 markings/sec, 2425 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown 1 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown 1 1 unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown 1 1 unknown 1 1 1 1 1
lola: memory consumption: 5586620 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 unknown 1 1 unknown 1 1 1 1 1
lola: memory consumption: 5587108 KB
lola: time consumption: 3570 seconds

BK_STOP 1527796261316

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-03b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
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 r268-smll-152749145200047"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;