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 ;