About the Execution of LoLA for ASLink-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4305.430 | 3570108.00 | 3628648.00 | 10498.60 | 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
Formatting '/data/fkordon/mcc2019-input.r005-smll-155225008900092.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is ASLink-PT-05b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008900092
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 952K
-rw-r--r-- 1 mcc users 3.1K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 795K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-05b-UpperBounds-00
FORMULA_NAME ASLink-PT-05b-UpperBounds-01
FORMULA_NAME ASLink-PT-05b-UpperBounds-02
FORMULA_NAME ASLink-PT-05b-UpperBounds-03
FORMULA_NAME ASLink-PT-05b-UpperBounds-04
FORMULA_NAME ASLink-PT-05b-UpperBounds-05
FORMULA_NAME ASLink-PT-05b-UpperBounds-06
FORMULA_NAME ASLink-PT-05b-UpperBounds-07
FORMULA_NAME ASLink-PT-05b-UpperBounds-08
FORMULA_NAME ASLink-PT-05b-UpperBounds-09
FORMULA_NAME ASLink-PT-05b-UpperBounds-10
FORMULA_NAME ASLink-PT-05b-UpperBounds-11
FORMULA_NAME ASLink-PT-05b-UpperBounds-12
FORMULA_NAME ASLink-PT-05b-UpperBounds-13
FORMULA_NAME ASLink-PT-05b-UpperBounds-14
FORMULA_NAME ASLink-PT-05b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552563034716
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-05b @ 3570 seconds
FORMULA ASLink-PT-05b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ ASLink-PT-05b
{
"exit":
{
"memory": 60660,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p1463)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5470/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2430
lola: finding significant places
lola: 2430 places, 3040 transitions, 2192 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p1005) : MAX(p1594) : MAX(p992) : MAX(p372) : MAX(p1463) : MAX(p1060) : MAX(p2330) : MAX(p1101) : MAX(p1747) : MAX(p2261) : MAX(p1857) : MAX(p732) : MAX(p1630) : MAX(p1563) : MAX(p160) : MAX(p830)
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(p1005)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1005)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 266 markings, 265 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1594)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1594)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 147 markings, 146 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p992)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p992)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 276 markings, 275 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p372)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 23 markings, 22 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1463)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1463)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 47180 markings, 115565 edges, 9436 markings/sec, 0 secs
lola: 109600 markings, 266176 edges, 12484 markings/sec, 5 secs
lola: 169798 markings, 418087 edges, 12040 markings/sec, 10 secs
lola: 253395 markings, 575346 edges, 16719 markings/sec, 15 secs
lola: 345865 markings, 735041 edges, 18494 markings/sec, 20 secs
lola: 439929 markings, 899266 edges, 18813 markings/sec, 25 secs
lola: 538014 markings, 1060381 edges, 19617 markings/sec, 30 secs
lola: 631853 markings, 1225681 edges, 18768 markings/sec, 35 secs
lola: 722789 markings, 1393207 edges, 18187 markings/sec, 40 secs
lola: 809683 markings, 1565964 edges, 17379 markings/sec, 45 secs
lola: 893989 markings, 1741105 edges, 16861 markings/sec, 50 secs
lola: 979223 markings, 1914930 edges, 17047 markings/sec, 55 secs
lola: 1064733 markings, 2088483 edges, 17102 markings/sec, 60 secs
lola: 1148005 markings, 2264344 edges, 16654 markings/sec, 65 secs
lola: 1220482 markings, 2429713 edges, 14495 markings/sec, 70 secs
lola: 1272643 markings, 2568632 edges, 10432 markings/sec, 75 secs
lola: 1326837 markings, 2710490 edges, 10839 markings/sec, 80 secs
lola: 1394178 markings, 2856831 edges, 13468 markings/sec, 85 secs
lola: 1466734 markings, 3009019 edges, 14511 markings/sec, 90 secs
lola: 1523336 markings, 3159313 edges, 11320 markings/sec, 95 secs
lola: 1571729 markings, 3311601 edges, 9679 markings/sec, 100 secs
lola: 1623996 markings, 3462360 edges, 10453 markings/sec, 105 secs
lola: 1692150 markings, 3612014 edges, 13631 markings/sec, 110 secs
lola: 1759520 markings, 3767566 edges, 13474 markings/sec, 115 secs
lola: 1813813 markings, 3920340 edges, 10859 markings/sec, 120 secs
lola: 1862176 markings, 4072766 edges, 9673 markings/sec, 125 secs
lola: 1915675 markings, 4223262 edges, 10700 markings/sec, 130 secs
lola: 1985265 markings, 4373985 edges, 13918 markings/sec, 135 secs
lola: 2050673 markings, 4529083 edges, 13082 markings/sec, 140 secs
lola: 2107671 markings, 4675105 edges, 11400 markings/sec, 145 secs
lola: 2160845 markings, 4816923 edges, 10635 markings/sec, 150 secs
lola: 2220998 markings, 4960600 edges, 12031 markings/sec, 155 secs
lola: 2296414 markings, 5113799 edges, 15083 markings/sec, 160 secs
lola: 2359454 markings, 5261822 edges, 12608 markings/sec, 165 secs
lola: 2408537 markings, 5414819 edges, 9817 markings/sec, 170 secs
lola: 2456730 markings, 5566881 edges, 9639 markings/sec, 175 secs
lola: 2516469 markings, 5714467 edges, 11948 markings/sec, 180 secs
lola: 2591593 markings, 5870970 edges, 15025 markings/sec, 185 secs
lola: 2649672 markings, 6023794 edges, 11616 markings/sec, 190 secs
lola: 2698099 markings, 6176450 edges, 9685 markings/sec, 195 secs
lola: 2746339 markings, 6328637 edges, 9648 markings/sec, 200 secs
lola: 2807296 markings, 6476111 edges, 12191 markings/sec, 205 secs
lola: 2881334 markings, 6633228 edges, 14808 markings/sec, 210 secs
lola: 2947671 markings, 6788989 edges, 13267 markings/sec, 215 secs
lola: 3033403 markings, 6958366 edges, 17146 markings/sec, 220 secs
lola: 3116783 markings, 7129872 edges, 16676 markings/sec, 225 secs
lola: 3200968 markings, 7300939 edges, 16837 markings/sec, 230 secs
lola: 3286150 markings, 7470717 edges, 17036 markings/sec, 235 secs
lola: 3370549 markings, 7641481 edges, 16880 markings/sec, 240 secs
lola: 3452901 markings, 7814439 edges, 16470 markings/sec, 245 secs
lola: 3533486 markings, 7987522 edges, 16117 markings/sec, 250 secs
lola: 3589089 markings, 8130540 edges, 11121 markings/sec, 255 secs
lola: 3642180 markings, 8272005 edges, 10618 markings/sec, 260 secs
lola: 3700545 markings, 8411903 edges, 11673 markings/sec, 265 secs
lola: 3772004 markings, 8558553 edges, 14292 markings/sec, 270 secs
lola: 3840472 markings, 8708771 edges, 13694 markings/sec, 275 secs
lola: 3893182 markings, 8860466 edges, 10542 markings/sec, 280 secs
lola: 3941528 markings, 9012908 edges, 9669 markings/sec, 285 secs
lola: 3993422 markings, 9163780 edges, 10379 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 334656 KB
lola: time consumption: 306 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1060)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1060)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 727 markings, 726 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2330)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2330)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 38 markings, 37 edges
lola: ========================================
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1101)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 24 markings, 23 edges
lola: ========================================
lola: subprocess 8 will run for 407 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1747)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 123 markings, 122 edges
lola: ========================================
lola: subprocess 9 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2261)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 239 markings, 238 edges
lola: ========================================
lola: subprocess 10 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1857)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1857)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 118354 markings, 191001 edges, 23671 markings/sec, 0 secs
lola: 269423 markings, 404300 edges, 30214 markings/sec, 5 secs
lola: 428929 markings, 613958 edges, 31901 markings/sec, 10 secs
lola: 612034 markings, 811964 edges, 36621 markings/sec, 15 secs
lola: 785080 markings, 1014059 edges, 34609 markings/sec, 20 secs
lola: 925123 markings, 1230307 edges, 28009 markings/sec, 25 secs
lola: 1092024 markings, 1435072 edges, 33380 markings/sec, 30 secs
lola: 1274339 markings, 1632820 edges, 36463 markings/sec, 35 secs
lola: 1414101 markings, 1848829 edges, 27952 markings/sec, 40 secs
lola: 1570718 markings, 2057604 edges, 31323 markings/sec, 45 secs
lola: 1761641 markings, 2251412 edges, 38185 markings/sec, 50 secs
lola: 1902756 markings, 2466896 edges, 28223 markings/sec, 55 secs
lola: 2048451 markings, 2680334 edges, 29139 markings/sec, 60 secs
lola: 2212154 markings, 2886393 edges, 32741 markings/sec, 65 secs
lola: 2368383 markings, 3095453 edges, 31246 markings/sec, 70 secs
lola: 2536336 markings, 3299876 edges, 33591 markings/sec, 75 secs
lola: 2690500 markings, 3509722 edges, 30833 markings/sec, 80 secs
lola: 2867771 markings, 3709333 edges, 35454 markings/sec, 85 secs
lola: 3059411 markings, 3902843 edges, 38328 markings/sec, 90 secs
lola: 3250943 markings, 4096543 edges, 38306 markings/sec, 95 secs
lola: 3441552 markings, 4289524 edges, 38122 markings/sec, 100 secs
lola: 3632486 markings, 4482467 edges, 38187 markings/sec, 105 secs
lola: 3822597 markings, 4674933 edges, 38022 markings/sec, 110 secs
lola: 4013782 markings, 4868241 edges, 38237 markings/sec, 115 secs
lola: 4204394 markings, 5061129 edges, 38122 markings/sec, 120 secs
lola: 4395246 markings, 5254248 edges, 38170 markings/sec, 125 secs
lola: 4575304 markings, 5452309 edges, 36012 markings/sec, 130 secs
lola: 4714750 markings, 5667251 edges, 27889 markings/sec, 135 secs
lola: 4854575 markings, 5882754 edges, 27965 markings/sec, 140 secs
lola: 4993987 markings, 6098119 edges, 27882 markings/sec, 145 secs
lola: 5132955 markings, 6312600 edges, 27794 markings/sec, 150 secs
lola: 5271671 markings, 6526648 edges, 27743 markings/sec, 155 secs
lola: 5410315 markings, 6740588 edges, 27729 markings/sec, 160 secs
lola: 5550208 markings, 6956651 edges, 27979 markings/sec, 165 secs
lola: 5690893 markings, 7173875 edges, 28137 markings/sec, 170 secs
lola: 5831503 markings, 7390856 edges, 28122 markings/sec, 175 secs
lola: 5972243 markings, 7608020 edges, 28148 markings/sec, 180 secs
lola: 6113104 markings, 7825449 edges, 28172 markings/sec, 185 secs
lola: 6254425 markings, 8043740 edges, 28264 markings/sec, 190 secs
lola: 6420931 markings, 8251112 edges, 33301 markings/sec, 195 secs
lola: 6614193 markings, 8446870 edges, 38652 markings/sec, 200 secs
lola: 6807435 markings, 8642700 edges, 38648 markings/sec, 205 secs
lola: 6999575 markings, 8837782 edges, 38428 markings/sec, 210 secs
lola: 7191293 markings, 9032098 edges, 38344 markings/sec, 215 secs
lola: 7382446 markings, 9226151 edges, 38231 markings/sec, 220 secs
lola: 7574198 markings, 9420624 edges, 38350 markings/sec, 225 secs
lola: 7765853 markings, 9615071 edges, 38331 markings/sec, 230 secs
lola: 7958198 markings, 9810274 edges, 38469 markings/sec, 235 secs
lola: 8139801 markings, 10010567 edges, 36321 markings/sec, 240 secs
lola: 8280624 markings, 10228003 edges, 28165 markings/sec, 245 secs
lola: 8421872 markings, 10446075 edges, 28250 markings/sec, 250 secs
lola: 8562639 markings, 10663902 edges, 28153 markings/sec, 255 secs
lola: 8703035 markings, 10881057 edges, 28079 markings/sec, 260 secs
lola: 8843134 markings, 11097653 edges, 28020 markings/sec, 265 secs
lola: 8983254 markings, 11314247 edges, 28024 markings/sec, 270 secs
lola: 9123061 markings, 11530484 edges, 27961 markings/sec, 275 secs
lola: 9263044 markings, 11747138 edges, 27997 markings/sec, 280 secs
lola: 9403034 markings, 11963537 edges, 27998 markings/sec, 285 secs
lola: 9543179 markings, 12180188 edges, 28029 markings/sec, 290 secs
lola: 9683479 markings, 12397092 edges, 28060 markings/sec, 295 secs
lola: 9824103 markings, 12614687 edges, 28125 markings/sec, 300 secs
lola: 9992049 markings, 12820847 edges, 33589 markings/sec, 305 secs
lola: 10185107 markings, 13016321 edges, 38612 markings/sec, 310 secs
lola: 10377872 markings, 13211788 edges, 38553 markings/sec, 315 secs
lola: 10569692 markings, 13406532 edges, 38364 markings/sec, 320 secs
lola: 10761599 markings, 13601025 edges, 38381 markings/sec, 325 secs
lola: 10953103 markings, 13795444 edges, 38301 markings/sec, 330 secs
lola: 11145088 markings, 13990077 edges, 38397 markings/sec, 335 secs
lola: 11336918 markings, 14184777 edges, 38366 markings/sec, 340 secs
lola: 11529282 markings, 14379910 edges, 38473 markings/sec, 345 secs
lola: 11708941 markings, 14580929 edges, 35932 markings/sec, 350 secs
lola: 11849601 markings, 14798126 edges, 28132 markings/sec, 355 secs
lola: 11990775 markings, 15016106 edges, 28235 markings/sec, 360 secs
lola: 12131576 markings, 15233922 edges, 28160 markings/sec, 365 secs
lola: 12271819 markings, 15450926 edges, 28049 markings/sec, 370 secs
lola: 12411975 markings, 15667581 edges, 28031 markings/sec, 375 secs
lola: 12552218 markings, 15884391 edges, 28049 markings/sec, 380 secs
lola: 12692215 markings, 16100857 edges, 27999 markings/sec, 385 secs
lola: 12831051 markings, 16315723 edges, 27767 markings/sec, 390 secs
lola: 12970474 markings, 16531294 edges, 27885 markings/sec, 395 secs
lola: 13110674 markings, 16748058 edges, 28040 markings/sec, 400 secs
lola: 13250971 markings, 16964941 edges, 28059 markings/sec, 405 secs
lola: 13391703 markings, 17182652 edges, 28146 markings/sec, 410 secs
lola: 13560448 markings, 17388963 edges, 33749 markings/sec, 415 secs
lola: 13752421 markings, 17584360 edges, 38395 markings/sec, 420 secs
lola: 13914976 markings, 17793593 edges, 32511 markings/sec, 425 secs
lola: 14055204 markings, 18010932 edges, 28046 markings/sec, 430 secs
lola: 14195737 markings, 18228739 edges, 28107 markings/sec, 435 secs
lola: 14382713 markings, 18424799 edges, 37395 markings/sec, 440 secs
lola: 14573857 markings, 18620015 edges, 38229 markings/sec, 445 secs
lola: 14715853 markings, 18837481 edges, 28399 markings/sec, 450 secs
lola: 14855499 markings, 19054382 edges, 27929 markings/sec, 455 secs
lola: 15004972 markings, 19258518 edges, 29895 markings/sec, 460 secs
lola: 15183642 markings, 19441024 edges, 35734 markings/sec, 465 secs
lola: 15362266 markings, 19642397 edges, 35725 markings/sec, 470 secs
lola: 15502241 markings, 19859884 edges, 27995 markings/sec, 475 secs
lola: 15642016 markings, 20076982 edges, 27955 markings/sec, 480 secs
lola: 15798523 markings, 20289287 edges, 31301 markings/sec, 485 secs
lola: 15965800 markings, 20497195 edges, 33455 markings/sec, 490 secs
lola: 16126514 markings, 20707949 edges, 32143 markings/sec, 495 secs
lola: 16320320 markings, 20903523 edges, 38761 markings/sec, 500 secs
lola: 16514048 markings, 21099397 edges, 38746 markings/sec, 505 secs
lola: 16707058 markings, 21294784 edges, 38602 markings/sec, 510 secs
lola: 16899894 markings, 21489685 edges, 38567 markings/sec, 515 secs
lola: 17092267 markings, 21684466 edges, 38475 markings/sec, 520 secs
lola: 17284990 markings, 21879236 edges, 38545 markings/sec, 525 secs
lola: 17477162 markings, 22073782 edges, 38434 markings/sec, 530 secs
lola: 17669957 markings, 22268719 edges, 38559 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1914536 KB
lola: time consumption: 853 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p732)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p732)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 21 markings, 20 edges
lola: ========================================
lola: subprocess 12 will run for 679 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1630)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1630)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 18 markings, 17 edges
lola: ========================================
lola: subprocess 13 will run for 905 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1563)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1563)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 24 markings, 23 edges
lola: ========================================
lola: subprocess 14 will run for 1357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p160)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 385 markings, 384 edges
lola: ========================================
lola: subprocess 15 will run for 2713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p830)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p830)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 60121 markings, 125293 edges, 12024 markings/sec, 0 secs
lola: 131013 markings, 281623 edges, 14178 markings/sec, 5 secs
lola: 228822 markings, 444686 edges, 19562 markings/sec, 10 secs
lola: 348207 markings, 614239 edges, 23877 markings/sec, 15 secs
lola: 462867 markings, 786196 edges, 22932 markings/sec, 20 secs
lola: 580971 markings, 957961 edges, 23621 markings/sec, 25 secs
lola: 704768 markings, 1128234 edges, 24759 markings/sec, 30 secs
lola: 826051 markings, 1300007 edges, 24257 markings/sec, 35 secs
lola: 940927 markings, 1472113 edges, 22975 markings/sec, 40 secs
lola: 1050786 markings, 1643908 edges, 21972 markings/sec, 45 secs
lola: 1138439 markings, 1809403 edges, 17531 markings/sec, 50 secs
lola: 1222617 markings, 1978118 edges, 16836 markings/sec, 55 secs
lola: 1306756 markings, 2147012 edges, 16828 markings/sec, 60 secs
lola: 1393350 markings, 2313692 edges, 17319 markings/sec, 65 secs
lola: 1477934 markings, 2482031 edges, 16917 markings/sec, 70 secs
lola: 1561202 markings, 2651427 edges, 16654 markings/sec, 75 secs
lola: 1632935 markings, 2809154 edges, 14347 markings/sec, 80 secs
lola: 1689744 markings, 2948038 edges, 11362 markings/sec, 85 secs
lola: 1762111 markings, 3093134 edges, 14473 markings/sec, 90 secs
lola: 1850462 markings, 3248930 edges, 17670 markings/sec, 95 secs
lola: 1905741 markings, 3399971 edges, 11056 markings/sec, 100 secs
lola: 1956344 markings, 3550030 edges, 10121 markings/sec, 105 secs
lola: 2039792 markings, 3706164 edges, 16690 markings/sec, 110 secs
lola: 2114336 markings, 3864774 edges, 14909 markings/sec, 115 secs
lola: 2165129 markings, 4015368 edges, 10159 markings/sec, 120 secs
lola: 2217831 markings, 4165454 edges, 10540 markings/sec, 125 secs
lola: 2309970 markings, 4326053 edges, 18428 markings/sec, 130 secs
lola: 2375418 markings, 4476976 edges, 13090 markings/sec, 135 secs
lola: 2432291 markings, 4615977 edges, 11375 markings/sec, 140 secs
lola: 2502357 markings, 4760478 edges, 14013 markings/sec, 145 secs
lola: 2590726 markings, 4916823 edges, 17674 markings/sec, 150 secs
lola: 2648100 markings, 5068206 edges, 11475 markings/sec, 155 secs
lola: 2698851 markings, 5218484 edges, 10150 markings/sec, 160 secs
lola: 2777057 markings, 5373352 edges, 15641 markings/sec, 165 secs
lola: 2854289 markings, 5533630 edges, 15446 markings/sec, 170 secs
lola: 2907015 markings, 5684865 edges, 10545 markings/sec, 175 secs
lola: 2957559 markings, 5835039 edges, 10109 markings/sec, 180 secs
lola: 3046325 markings, 5993979 edges, 17753 markings/sec, 185 secs
lola: 3121212 markings, 6152314 edges, 14977 markings/sec, 190 secs
lola: 3208188 markings, 6318362 edges, 17395 markings/sec, 195 secs
lola: 3291398 markings, 6487216 edges, 16642 markings/sec, 200 secs
lola: 3375397 markings, 6655749 edges, 16800 markings/sec, 205 secs
lola: 3461730 markings, 6822079 edges, 17267 markings/sec, 210 secs
lola: 3545557 markings, 6990740 edges, 16765 markings/sec, 215 secs
lola: 3629141 markings, 7159659 edges, 16717 markings/sec, 220 secs
lola: 3697036 markings, 7312296 edges, 13579 markings/sec, 225 secs
lola: 3753771 markings, 7451009 edges, 11347 markings/sec, 230 secs
lola: 3825653 markings, 7595897 edges, 14376 markings/sec, 235 secs
lola: 3917212 markings, 7753153 edges, 18312 markings/sec, 240 secs
lola: 3975564 markings, 7903353 edges, 11670 markings/sec, 245 secs
lola: 4026309 markings, 8053401 edges, 10149 markings/sec, 250 secs
lola: 4091392 markings, 8204665 edges, 13017 markings/sec, 255 secs
lola: 4180653 markings, 8366806 edges, 17852 markings/sec, 260 secs
lola: 4240422 markings, 8519605 edges, 11954 markings/sec, 265 secs
lola: 4291917 markings, 8672419 edges, 10299 markings/sec, 270 secs
lola: 4353265 markings, 8825433 edges, 12270 markings/sec, 275 secs
lola: 4445399 markings, 8989231 edges, 18427 markings/sec, 280 secs
lola: 4496596 markings, 9142168 edges, 10239 markings/sec, 285 secs
lola: 4532984 markings, 9290288 edges, 7278 markings/sec, 290 secs
lola: 4656744 markings, 9460711 edges, 24752 markings/sec, 295 secs
lola: 4780532 markings, 9631684 edges, 24758 markings/sec, 300 secs
lola: 4876545 markings, 9799087 edges, 19203 markings/sec, 305 secs
lola: 4964273 markings, 9966800 edges, 17546 markings/sec, 310 secs
lola: 5030545 markings, 10116073 edges, 13254 markings/sec, 315 secs
lola: 5087689 markings, 10256031 edges, 11429 markings/sec, 320 secs
lola: 5166774 markings, 10405301 edges, 15817 markings/sec, 325 secs
lola: 5258157 markings, 10564570 edges, 18277 markings/sec, 330 secs
lola: 5345841 markings, 10732011 edges, 17537 markings/sec, 335 secs
lola: 5384396 markings, 10878865 edges, 7711 markings/sec, 340 secs
lola: 5508808 markings, 11049232 edges, 24882 markings/sec, 345 secs
lola: 5604886 markings, 11216259 edges, 19216 markings/sec, 350 secs
lola: 5651513 markings, 11370249 edges, 9325 markings/sec, 355 secs
lola: 5778557 markings, 11537321 edges, 25409 markings/sec, 360 secs
lola: 5900247 markings, 11704347 edges, 24338 markings/sec, 365 secs
lola: 6004267 markings, 11867952 edges, 20804 markings/sec, 370 secs
lola: 6099552 markings, 12034031 edges, 19057 markings/sec, 375 secs
lola: 6182897 markings, 12191610 edges, 16669 markings/sec, 380 secs
lola: 6263750 markings, 12354732 edges, 16171 markings/sec, 385 secs
lola: 6340507 markings, 12520555 edges, 15351 markings/sec, 390 secs
lola: 6400607 markings, 12682267 edges, 12020 markings/sec, 395 secs
lola: 6457587 markings, 12821082 edges, 11396 markings/sec, 400 secs
lola: 6516998 markings, 12960882 edges, 11882 markings/sec, 405 secs
lola: 6641248 markings, 13131464 edges, 24850 markings/sec, 410 secs
lola: 6737093 markings, 13298622 edges, 19169 markings/sec, 415 secs
lola: 6783004 markings, 13452149 edges, 9182 markings/sec, 420 secs
lola: 6825330 markings, 13594740 edges, 8465 markings/sec, 425 secs
lola: 6881810 markings, 13732598 edges, 11296 markings/sec, 430 secs
lola: 6968916 markings, 13883106 edges, 17421 markings/sec, 435 secs
lola: 7083320 markings, 14052229 edges, 22881 markings/sec, 440 secs
lola: 7168527 markings, 14218187 edges, 17041 markings/sec, 445 secs
lola: 7197707 markings, 14362301 edges, 5836 markings/sec, 450 secs
lola: 7248446 markings, 14503354 edges, 10148 markings/sec, 455 secs
lola: 7304569 markings, 14640240 edges, 11225 markings/sec, 460 secs
lola: 7378804 markings, 14785002 edges, 14847 markings/sec, 465 secs
lola: 7462944 markings, 14938208 edges, 16828 markings/sec, 470 secs
lola: 7555121 markings, 15098134 edges, 18435 markings/sec, 475 secs
lola: 7659894 markings, 15269677 edges, 20955 markings/sec, 480 secs
lola: 7753343 markings, 15437944 edges, 18690 markings/sec, 485 secs
lola: 7835862 markings, 15599021 edges, 16504 markings/sec, 490 secs
lola: 7914712 markings, 15762446 edges, 15770 markings/sec, 495 secs
lola: 7989684 markings, 15929299 edges, 14994 markings/sec, 500 secs
lola: 8037542 markings, 16073586 edges, 9572 markings/sec, 505 secs
lola: 8094053 markings, 16211530 edges, 11302 markings/sec, 510 secs
lola: 8195937 markings, 16369358 edges, 20377 markings/sec, 515 secs
lola: 8318949 markings, 16540336 edges, 24602 markings/sec, 520 secs
lola: 8426001 markings, 16708523 edges, 21410 markings/sec, 525 secs
lola: 8514284 markings, 16875991 edges, 17657 markings/sec, 530 secs
lola: 8592203 markings, 17037137 edges, 15584 markings/sec, 535 secs
lola: 8649626 markings, 17177351 edges, 11485 markings/sec, 540 secs
lola: 8715426 markings, 17320655 edges, 13160 markings/sec, 545 secs
lola: 8810186 markings, 17479512 edges, 18952 markings/sec, 550 secs
lola: 8895438 markings, 17639201 edges, 17050 markings/sec, 555 secs
lola: 8948318 markings, 17795640 edges, 10576 markings/sec, 560 secs
lola: 8987018 markings, 17938765 edges, 7740 markings/sec, 565 secs
lola: 9043402 markings, 18076236 edges, 11277 markings/sec, 570 secs
lola: 9119828 markings, 18221800 edges, 15285 markings/sec, 575 secs
lola: 9239354 markings, 18391914 edges, 23905 markings/sec, 580 secs
lola: 9327714 markings, 18558584 edges, 17672 markings/sec, 585 secs
lola: 9390025 markings, 18702727 edges, 12462 markings/sec, 590 secs
lola: 9446938 markings, 18842007 edges, 11383 markings/sec, 595 secs
lola: 9533524 markings, 18994599 edges, 17317 markings/sec, 600 secs
lola: 9621843 markings, 19152242 edges, 17664 markings/sec, 605 secs
lola: 9700521 markings, 19316748 edges, 15736 markings/sec, 610 secs
lola: 9729349 markings, 19461211 edges, 5766 markings/sec, 615 secs
lola: 9783154 markings, 19600419 edges, 10761 markings/sec, 620 secs
lola: 9839063 markings, 19736942 edges, 11182 markings/sec, 625 secs
lola: 9915890 markings, 19882820 edges, 15365 markings/sec, 630 secs
lola: 9997351 markings, 20031330 edges, 16292 markings/sec, 635 secs
lola: 10086032 markings, 20184469 edges, 17736 markings/sec, 640 secs
lola: 10185646 markings, 20347905 edges, 19923 markings/sec, 645 secs
lola: 10272821 markings, 20509528 edges, 17435 markings/sec, 650 secs
lola: 10389205 markings, 20682600 edges, 23277 markings/sec, 655 secs
lola: 10507274 markings, 20856165 edges, 23614 markings/sec, 660 secs
lola: 10597762 markings, 21026602 edges, 18098 markings/sec, 665 secs
lola: 10682035 markings, 21197245 edges, 16855 markings/sec, 670 secs
lola: 10743250 markings, 21355876 edges, 12243 markings/sec, 675 secs
lola: 10794518 markings, 21507690 edges, 10254 markings/sec, 680 secs
lola: 10860801 markings, 21660707 edges, 13257 markings/sec, 685 secs
lola: 10950057 markings, 21824274 edges, 17851 markings/sec, 690 secs
lola: 11032906 markings, 21990481 edges, 16570 markings/sec, 695 secs
lola: 11079643 markings, 22154088 edges, 9347 markings/sec, 700 secs
lola: 11167331 markings, 22318208 edges, 17538 markings/sec, 705 secs
lola: 11273295 markings, 22489324 edges, 21193 markings/sec, 710 secs
lola: 11351682 markings, 22659000 edges, 15677 markings/sec, 715 secs
lola: 11404586 markings, 22820182 edges, 10581 markings/sec, 720 secs
lola: 11523602 markings, 22987259 edges, 23803 markings/sec, 725 secs
lola: 11636325 markings, 23156695 edges, 22545 markings/sec, 730 secs
lola: 11732632 markings, 23322993 edges, 19261 markings/sec, 735 secs
lola: 11822444 markings, 23491712 edges, 17962 markings/sec, 740 secs
lola: 11902769 markings, 23653463 edges, 16065 markings/sec, 745 secs
lola: 11978615 markings, 23819299 edges, 15169 markings/sec, 750 secs
lola: 12051963 markings, 23987467 edges, 14670 markings/sec, 755 secs
lola: 12110195 markings, 24156570 edges, 11646 markings/sec, 760 secs
lola: 12160320 markings, 24307530 edges, 10025 markings/sec, 765 secs
lola: 12210822 markings, 24457208 edges, 10100 markings/sec, 770 secs
lola: 12310593 markings, 24621859 edges, 19954 markings/sec, 775 secs
lola: 12412887 markings, 24792206 edges, 20459 markings/sec, 780 secs
lola: 12485247 markings, 24961044 edges, 14472 markings/sec, 785 secs
lola: 12511473 markings, 25115834 edges, 5245 markings/sec, 790 secs
lola: 12557214 markings, 25268655 edges, 9148 markings/sec, 795 secs
lola: 12607531 markings, 25417617 edges, 10063 markings/sec, 800 secs
lola: 12695428 markings, 25577988 edges, 17579 markings/sec, 805 secs
lola: 12803398 markings, 25749177 edges, 21594 markings/sec, 810 secs
lola: 12885641 markings, 25918745 edges, 16449 markings/sec, 815 secs
lola: 12911822 markings, 26073311 edges, 5236 markings/sec, 820 secs
lola: 12953360 markings, 26226691 edges, 8308 markings/sec, 825 secs
lola: 13003256 markings, 26374970 edges, 9979 markings/sec, 830 secs
lola: 13060778 markings, 26523867 edges, 11504 markings/sec, 835 secs
lola: 13140962 markings, 26675849 edges, 16037 markings/sec, 840 secs
lola: 13220693 markings, 26826998 edges, 15946 markings/sec, 845 secs
lola: 13313528 markings, 26990316 edges, 18567 markings/sec, 850 secs
lola: 13406334 markings, 27158712 edges, 18561 markings/sec, 855 secs
lola: 13487563 markings, 27321226 edges, 16246 markings/sec, 860 secs
lola: 13564516 markings, 27485293 edges, 15391 markings/sec, 865 secs
lola: 13637318 markings, 27652237 edges, 14560 markings/sec, 870 secs
lola: 13708648 markings, 27822600 edges, 14266 markings/sec, 875 secs
lola: 13750696 markings, 27977481 edges, 8410 markings/sec, 880 secs
lola: 13801132 markings, 28126870 edges, 10087 markings/sec, 885 secs
lola: 13878599 markings, 28284236 edges, 15493 markings/sec, 890 secs
lola: 13995134 markings, 28457589 edges, 23307 markings/sec, 895 secs
lola: 14110841 markings, 28631147 edges, 23141 markings/sec, 900 secs
lola: 14196131 markings, 28801410 edges, 17058 markings/sec, 905 secs
lola: 14280034 markings, 28972306 edges, 16781 markings/sec, 910 secs
lola: 14337047 markings, 29127622 edges, 11403 markings/sec, 915 secs
lola: 14388230 markings, 29279047 edges, 10237 markings/sec, 920 secs
lola: 14458884 markings, 29432015 edges, 14131 markings/sec, 925 secs
lola: 14545895 markings, 29595687 edges, 17402 markings/sec, 930 secs
lola: 14630343 markings, 29764224 edges, 16890 markings/sec, 935 secs
lola: 14669318 markings, 29924493 edges, 7795 markings/sec, 940 secs
lola: 14705348 markings, 30078326 edges, 7206 markings/sec, 945 secs
lola: 14755413 markings, 30227197 edges, 10013 markings/sec, 950 secs
lola: 14809843 markings, 30377194 edges, 10886 markings/sec, 955 secs
lola: 14929217 markings, 30549836 edges, 23875 markings/sec, 960 secs
lola: 15021670 markings, 30719272 edges, 18491 markings/sec, 965 secs
lola: 15086903 markings, 30880301 edges, 13047 markings/sec, 970 secs
lola: 15138075 markings, 31031725 edges, 10234 markings/sec, 975 secs
lola: 15199696 markings, 31183738 edges, 12324 markings/sec, 980 secs
lola: 15290672 markings, 31346340 edges, 18195 markings/sec, 985 secs
lola: 15371070 markings, 31509616 edges, 16080 markings/sec, 990 secs
lola: 15426417 markings, 31674445 edges, 11069 markings/sec, 995 secs
lola: 15454491 markings, 31829239 edges, 5615 markings/sec, 1000 secs
lola: 15504752 markings, 31977801 edges, 10052 markings/sec, 1005 secs
lola: 15554555 markings, 32125627 edges, 9961 markings/sec, 1010 secs
lola: 15625897 markings, 32275982 edges, 14268 markings/sec, 1015 secs
lola: 15704499 markings, 32427594 edges, 15720 markings/sec, 1020 secs
lola: 15787522 markings, 32582120 edges, 16605 markings/sec, 1025 secs
lola: 15882756 markings, 32748330 edges, 19047 markings/sec, 1030 secs
lola: 15962621 markings, 32912796 edges, 15973 markings/sec, 1035 secs
lola: 16078468 markings, 33084204 edges, 23169 markings/sec, 1040 secs
lola: 16198655 markings, 33257608 edges, 24037 markings/sec, 1045 secs
lola: 16294805 markings, 33428175 edges, 19230 markings/sec, 1050 secs
lola: 16379057 markings, 33598618 edges, 16850 markings/sec, 1055 secs
lola: 16447751 markings, 33762429 edges, 13739 markings/sec, 1060 secs
lola: 16499074 markings, 33914476 edges, 10265 markings/sec, 1065 secs
lola: 16557302 markings, 34066707 edges, 11646 markings/sec, 1070 secs
lola: 16651822 markings, 34230162 edges, 18904 markings/sec, 1075 secs
lola: 16729152 markings, 34391949 edges, 15466 markings/sec, 1080 secs
lola: 16790820 markings, 34558984 edges, 12334 markings/sec, 1085 secs
lola: 16851748 markings, 34718843 edges, 12186 markings/sec, 1090 secs
lola: 16967094 markings, 34891871 edges, 23069 markings/sec, 1095 secs
lola: 17052775 markings, 35061909 edges, 17136 markings/sec, 1100 secs
lola: 17088543 markings, 35221606 edges, 7154 markings/sec, 1105 secs
lola: 17214090 markings, 35390195 edges, 25109 markings/sec, 1110 secs
lola: 17329228 markings, 35559389 edges, 23028 markings/sec, 1115 secs
lola: 17428394 markings, 35725919 edges, 19833 markings/sec, 1120 secs
lola: 17521195 markings, 35894570 edges, 18560 markings/sec, 1125 secs
lola: 17601385 markings, 36055658 edges, 16038 markings/sec, 1130 secs
lola: 17677443 markings, 36217897 edges, 15212 markings/sec, 1135 secs
lola: 17749629 markings, 36383015 edges, 14437 markings/sec, 1140 secs
lola: 17820324 markings, 36551256 edges, 14139 markings/sec, 1145 secs
lola: 17861569 markings, 36704774 edges, 8249 markings/sec, 1150 secs
lola: 17911642 markings, 36852631 edges, 10015 markings/sec, 1155 secs
lola: 17984567 markings, 37007894 edges, 14585 markings/sec, 1160 secs
lola: 18099645 markings, 37180711 edges, 23016 markings/sec, 1165 secs
lola: 18184780 markings, 37350535 edges, 17027 markings/sec, 1170 secs
lola: 18219867 markings, 37509600 edges, 7017 markings/sec, 1175 secs
lola: 18257722 markings, 37662792 edges, 7571 markings/sec, 1180 secs
lola: 18308038 markings, 37811961 edges, 10063 markings/sec, 1185 secs
lola: 18368316 markings, 37963953 edges, 12056 markings/sec, 1190 secs
lola: 18485242 markings, 38136175 edges, 23385 markings/sec, 1195 secs
lola: 18576402 markings, 38305455 edges, 18232 markings/sec, 1200 secs
lola: 18620203 markings, 38466740 edges, 8760 markings/sec, 1205 secs
lola: 18653506 markings, 38620451 edges, 6661 markings/sec, 1210 secs
lola: 18703484 markings, 38768867 edges, 9996 markings/sec, 1215 secs
lola: 18753634 markings, 38917205 edges, 10030 markings/sec, 1220 secs
lola: 18830030 markings, 39068380 edges, 15279 markings/sec, 1225 secs
lola: 18910148 markings, 39219888 edges, 16024 markings/sec, 1230 secs
lola: 18996288 markings, 39377604 edges, 17228 markings/sec, 1235 secs
lola: 19090693 markings, 39544780 edges, 18881 markings/sec, 1240 secs
lola: 19176023 markings, 39710205 edges, 17066 markings/sec, 1245 secs
lola: 19254458 markings, 39872923 edges, 15687 markings/sec, 1250 secs
lola: 19329343 markings, 40039264 edges, 14977 markings/sec, 1255 secs
lola: 19401233 markings, 40208081 edges, 14378 markings/sec, 1260 secs
lola: 19450027 markings, 40368868 edges, 9759 markings/sec, 1265 secs
lola: 19500078 markings, 40516611 edges, 10010 markings/sec, 1270 secs
lola: 19549922 markings, 40664668 edges, 9969 markings/sec, 1275 secs
lola: 19666188 markings, 40835956 edges, 23253 markings/sec, 1280 secs
lola: 19785646 markings, 41007948 edges, 23892 markings/sec, 1285 secs
lola: 19880646 markings, 41176711 edges, 19000 markings/sec, 1290 secs
lola: 19964113 markings, 41345400 edges, 16693 markings/sec, 1295 secs
lola: 20032630 markings, 41507648 edges, 13703 markings/sec, 1300 secs
lola: 20083212 markings, 41657706 edges, 10116 markings/sec, 1305 secs
lola: 20139151 markings, 41807741 edges, 11188 markings/sec, 1310 secs
lola: 20231219 markings, 41967822 edges, 18414 markings/sec, 1315 secs
lola: 20308626 markings, 42127666 edges, 15481 markings/sec, 1320 secs
lola: 20374455 markings, 42293259 edges, 13166 markings/sec, 1325 secs
lola: 20400034 markings, 42446658 edges, 5116 markings/sec, 1330 secs
lola: 20447295 markings, 42596166 edges, 9452 markings/sec, 1335 secs
lola: 20496841 markings, 42742919 edges, 9909 markings/sec, 1340 secs
lola: 20591334 markings, 42907795 edges, 18899 markings/sec, 1345 secs
lola: 20695219 markings, 43076654 edges, 20777 markings/sec, 1350 secs
lola: 20778149 markings, 43248824 edges, 16586 markings/sec, 1355 secs
lola: 20831554 markings, 43405320 edges, 10681 markings/sec, 1360 secs
lola: 20883918 markings, 43560365 edges, 10473 markings/sec, 1365 secs
lola: 20970143 markings, 43721509 edges, 17245 markings/sec, 1370 secs
lola: 21055204 markings, 43888936 edges, 17012 markings/sec, 1375 secs
lola: 21134720 markings, 44062472 edges, 15903 markings/sec, 1380 secs
lola: 21161484 markings, 44221173 edges, 5353 markings/sec, 1385 secs
lola: 21206952 markings, 44377543 edges, 9094 markings/sec, 1390 secs
lola: 21258168 markings, 44529502 edges, 10243 markings/sec, 1395 secs
lola: 21322989 markings, 44683032 edges, 12964 markings/sec, 1400 secs
lola: 21405258 markings, 44838964 edges, 16454 markings/sec, 1405 secs
lola: 21484309 markings, 44994231 edges, 15810 markings/sec, 1410 secs
lola: 21583199 markings, 45164810 edges, 19778 markings/sec, 1415 secs
lola: 21672252 markings, 45336991 edges, 17811 markings/sec, 1420 secs
lola: 21745973 markings, 45505225 edges, 14744 markings/sec, 1425 secs
lola: 21834995 markings, 45679015 edges, 17804 markings/sec, 1430 secs
lola: 21922178 markings, 45854409 edges, 17437 markings/sec, 1435 secs
lola: 21991779 markings, 46027846 edges, 13920 markings/sec, 1440 secs
lola: 22017717 markings, 46191309 edges, 5188 markings/sec, 1445 secs
lola: 22103213 markings, 46352807 edges, 17099 markings/sec, 1450 secs
lola: 22185355 markings, 46518887 edges, 16428 markings/sec, 1455 secs
lola: 22263213 markings, 46687937 edges, 15572 markings/sec, 1460 secs
lola: 22341207 markings, 46856662 edges, 15599 markings/sec, 1465 secs
lola: 22421930 markings, 47024003 edges, 16145 markings/sec, 1470 secs
lola: 22497217 markings, 47194813 edges, 15057 markings/sec, 1475 secs
lola: 22571096 markings, 47368838 edges, 14776 markings/sec, 1480 secs
lola: 22649239 markings, 47537524 edges, 15629 markings/sec, 1485 secs
lola: 22728813 markings, 47705824 edges, 15915 markings/sec, 1490 secs
lola: 22805277 markings, 47877417 edges, 15293 markings/sec, 1495 secs
lola: 22877333 markings, 48052377 edges, 14411 markings/sec, 1500 secs
lola: 22929420 markings, 48211686 edges, 10417 markings/sec, 1505 secs
lola: 22998759 markings, 48358414 edges, 13868 markings/sec, 1510 secs
lola: 23067928 markings, 48504600 edges, 13834 markings/sec, 1515 secs
lola: 23158422 markings, 48663710 edges, 18099 markings/sec, 1520 secs
lola: 23241333 markings, 48819707 edges, 16582 markings/sec, 1525 secs
lola: 23307561 markings, 48975527 edges, 13246 markings/sec, 1530 secs
lola: 23371601 markings, 49130130 edges, 12808 markings/sec, 1535 secs
lola: 23435604 markings, 49284537 edges, 12801 markings/sec, 1540 secs
lola: 23528377 markings, 49453098 edges, 18555 markings/sec, 1545 secs
lola: 23601679 markings, 49612295 edges, 14660 markings/sec, 1550 secs
lola: 23665921 markings, 49767462 edges, 12848 markings/sec, 1555 secs
lola: 23727255 markings, 49913151 edges, 12267 markings/sec, 1560 secs
lola: 23791623 markings, 50068448 edges, 12874 markings/sec, 1565 secs
lola: 23887256 markings, 50241400 edges, 19127 markings/sec, 1570 secs
lola: 23940953 markings, 50402016 edges, 10739 markings/sec, 1575 secs
lola: 24072172 markings, 50582499 edges, 26244 markings/sec, 1580 secs
lola: 24200524 markings, 50764963 edges, 25670 markings/sec, 1585 secs
lola: 24326276 markings, 50944903 edges, 25150 markings/sec, 1590 secs
lola: 24451624 markings, 51123113 edges, 25070 markings/sec, 1595 secs
lola: 24574963 markings, 51300259 edges, 24668 markings/sec, 1600 secs
lola: 24693550 markings, 51479599 edges, 23717 markings/sec, 1605 secs
lola: 24813585 markings, 51658772 edges, 24007 markings/sec, 1610 secs
lola: 24906531 markings, 51831337 edges, 18589 markings/sec, 1615 secs
lola: 24994505 markings, 52006582 edges, 17595 markings/sec, 1620 secs
lola: 25082254 markings, 52182147 edges, 17550 markings/sec, 1625 secs
lola: 25171901 markings, 52355782 edges, 17929 markings/sec, 1630 secs
lola: 25259665 markings, 52531104 edges, 17553 markings/sec, 1635 secs
lola: 25346315 markings, 52707155 edges, 17330 markings/sec, 1640 secs
lola: 25418379 markings, 52867736 edges, 14413 markings/sec, 1645 secs
lola: 25477175 markings, 53011659 edges, 11759 markings/sec, 1650 secs
lola: 25561125 markings, 53166599 edges, 16790 markings/sec, 1655 secs
lola: 25645247 markings, 53326229 edges, 16824 markings/sec, 1660 secs
lola: 25698174 markings, 53482688 edges, 10585 markings/sec, 1665 secs
lola: 25756254 markings, 53639135 edges, 11616 markings/sec, 1670 secs
lola: 25848552 markings, 53805691 edges, 18460 markings/sec, 1675 secs
lola: 25912608 markings, 53965175 edges, 12811 markings/sec, 1680 secs
lola: 25965162 markings, 54121190 edges, 10511 markings/sec, 1685 secs
lola: 26034529 markings, 54278485 edges, 13873 markings/sec, 1690 secs
lola: 26121841 markings, 54445798 edges, 17462 markings/sec, 1695 secs
lola: 26184700 markings, 54594216 edges, 12572 markings/sec, 1700 secs
lola: 26245355 markings, 54738825 edges, 12131 markings/sec, 1705 secs
lola: 26342408 markings, 54902543 edges, 19411 markings/sec, 1710 secs
lola: 26408975 markings, 55057441 edges, 13313 markings/sec, 1715 secs
lola: 26461541 markings, 55213492 edges, 10513 markings/sec, 1720 secs
lola: 26529757 markings, 55370955 edges, 13643 markings/sec, 1725 secs
lola: 26616206 markings, 55538637 edges, 17290 markings/sec, 1730 secs
lola: 26675595 markings, 55697218 edges, 11878 markings/sec, 1735 secs
lola: 26728091 markings, 55853165 edges, 10499 markings/sec, 1740 secs
lola: 26812535 markings, 56015351 edges, 16889 markings/sec, 1745 secs
lola: 26892553 markings, 56181606 edges, 16004 markings/sec, 1750 secs
lola: 26983214 markings, 56353684 edges, 18132 markings/sec, 1755 secs
lola: 27069961 markings, 56529126 edges, 17349 markings/sec, 1760 secs
lola: 27157120 markings, 56704376 edges, 17432 markings/sec, 1765 secs
lola: 27247025 markings, 56876988 edges, 17981 markings/sec, 1770 secs
lola: 27333488 markings, 57052585 edges, 17293 markings/sec, 1775 secs
lola: 27419631 markings, 57228352 edges, 17229 markings/sec, 1780 secs
lola: 27486423 markings, 57380890 edges, 13358 markings/sec, 1785 secs
lola: 27545329 markings, 57524483 edges, 11781 markings/sec, 1790 secs
lola: 27629850 markings, 57679433 edges, 16904 markings/sec, 1795 secs
lola: 27717613 markings, 57839934 edges, 17553 markings/sec, 1800 secs
lola: 27771534 markings, 57996660 edges, 10784 markings/sec, 1805 secs
lola: 27823922 markings, 58152106 edges, 10478 markings/sec, 1810 secs
lola: 27908244 markings, 58312855 edges, 16864 markings/sec, 1815 secs
lola: 27989701 markings, 58478947 edges, 16291 markings/sec, 1820 secs
lola: 28043947 markings, 58635769 edges, 10849 markings/sec, 1825 secs
lola: 28096582 markings, 58791202 edges, 10527 markings/sec, 1830 secs
lola: 28179257 markings, 58951467 edges, 16535 markings/sec, 1835 secs
lola: 28261544 markings, 59117599 edges, 16457 markings/sec, 1840 secs
lola: 28291375 markings, 59269628 edges, 5966 markings/sec, 1845 secs
lola: 28326250 markings, 59423125 edges, 6975 markings/sec, 1850 secs
lola: 28416361 markings, 59594528 edges, 18022 markings/sec, 1855 secs
lola: 28503619 markings, 59768850 edges, 17452 markings/sec, 1860 secs
lola: 28591483 markings, 59943053 edges, 17573 markings/sec, 1865 secs
lola: 28639124 markings, 60112316 edges, 9528 markings/sec, 1870 secs
lola: 28665803 markings, 60270815 edges, 5336 markings/sec, 1875 secs
lola: 28716140 markings, 60429544 edges, 10067 markings/sec, 1880 secs
lola: 28786136 markings, 60576186 edges, 13999 markings/sec, 1885 secs
lola: 28854692 markings, 60721802 edges, 13711 markings/sec, 1890 secs
lola: 28943112 markings, 60879337 edges, 17684 markings/sec, 1895 secs
lola: 29027742 markings, 61035398 edges, 16926 markings/sec, 1900 secs
lola: 29092820 markings, 61190869 edges, 13016 markings/sec, 1905 secs
lola: 29156719 markings, 61344921 edges, 12780 markings/sec, 1910 secs
lola: 29221097 markings, 61498722 edges, 12876 markings/sec, 1915 secs
lola: 29314539 markings, 61666835 edges, 18688 markings/sec, 1920 secs
lola: 29387107 markings, 61825308 edges, 14514 markings/sec, 1925 secs
lola: 29451619 markings, 61979925 edges, 12902 markings/sec, 1930 secs
lola: 29515182 markings, 62133663 edges, 12713 markings/sec, 1935 secs
lola: 29578720 markings, 62287240 edges, 12708 markings/sec, 1940 secs
lola: 29673650 markings, 62455978 edges, 18986 markings/sec, 1945 secs
lola: 29727936 markings, 62611909 edges, 10857 markings/sec, 1950 secs
lola: 29849953 markings, 62785870 edges, 24403 markings/sec, 1955 secs
lola: 29977552 markings, 62963498 edges, 25520 markings/sec, 1960 secs
lola: 30097065 markings, 63141182 edges, 23903 markings/sec, 1965 secs
lola: 30215104 markings, 63319377 edges, 23608 markings/sec, 1970 secs
lola: 30305537 markings, 63490735 edges, 18087 markings/sec, 1975 secs
lola: 30394034 markings, 63665106 edges, 17699 markings/sec, 1980 secs
lola: 30481672 markings, 63839702 edges, 17528 markings/sec, 1985 secs
lola: 30555329 markings, 64001797 edges, 14731 markings/sec, 1990 secs
lola: 30614049 markings, 64145519 edges, 11744 markings/sec, 1995 secs
lola: 30687311 markings, 64294960 edges, 14652 markings/sec, 2000 secs
lola: 30781400 markings, 64457308 edges, 18818 markings/sec, 2005 secs
lola: 30841802 markings, 64613580 edges, 12080 markings/sec, 2010 secs
lola: 30894350 markings, 64769228 edges, 10510 markings/sec, 2015 secs
lola: 30965103 markings, 64926238 edges, 14151 markings/sec, 2020 secs
lola: 31054870 markings, 65094101 edges, 17953 markings/sec, 2025 secs
lola: 31114103 markings, 65252143 edges, 11847 markings/sec, 2030 secs
lola: 31166757 markings, 65407711 edges, 10531 markings/sec, 2035 secs
lola: 31236392 markings, 65564553 edges, 13927 markings/sec, 2040 secs
lola: 31327112 markings, 65732362 edges, 18144 markings/sec, 2045 secs
lola: 31412018 markings, 65898804 edges, 16981 markings/sec, 2050 secs
lola: 31500772 markings, 66071713 edges, 17751 markings/sec, 2055 secs
lola: 31587440 markings, 66246335 edges, 17334 markings/sec, 2060 secs
lola: 31668944 markings, 66417122 edges, 16301 markings/sec, 2065 secs
lola: 31725750 markings, 66555654 edges, 11361 markings/sec, 2070 secs
lola: 31789031 markings, 66700881 edges, 12656 markings/sec, 2075 secs
lola: 31888607 markings, 66864750 edges, 19915 markings/sec, 2080 secs
lola: 31955161 markings, 67018418 edges, 13311 markings/sec, 2085 secs
lola: 32007802 markings, 67173907 edges, 10528 markings/sec, 2090 secs
lola: 32066773 markings, 67329354 edges, 11794 markings/sec, 2095 secs
lola: 32162863 markings, 67496294 edges, 19218 markings/sec, 2100 secs
lola: 32226966 markings, 67655099 edges, 12821 markings/sec, 2105 secs
lola: 32279401 markings, 67810735 edges, 10487 markings/sec, 2110 secs
lola: 32337308 markings, 67966283 edges, 11581 markings/sec, 2115 secs
lola: 32433281 markings, 68132790 edges, 19195 markings/sec, 2120 secs
lola: 32489327 markings, 68290067 edges, 11209 markings/sec, 2125 secs
lola: 32518589 markings, 68438682 edges, 5852 markings/sec, 2130 secs
lola: 32574220 markings, 68598765 edges, 11126 markings/sec, 2135 secs
lola: 32663307 markings, 68770619 edges, 17817 markings/sec, 2140 secs
lola: 32749082 markings, 68945458 edges, 17155 markings/sec, 2145 secs
lola: 32834861 markings, 69119646 edges, 17156 markings/sec, 2150 secs
lola: 32864210 markings, 69283164 edges, 5870 markings/sec, 2155 secs
lola: 32890455 markings, 69441495 edges, 5249 markings/sec, 2160 secs
lola: 32953341 markings, 69593689 edges, 12577 markings/sec, 2165 secs
lola: 33023280 markings, 69739510 edges, 13988 markings/sec, 2170 secs
lola: 33092196 markings, 69884547 edges, 13783 markings/sec, 2175 secs
lola: 33188252 markings, 70046594 edges, 19211 markings/sec, 2180 secs
lola: 33263912 markings, 70199339 edges, 15132 markings/sec, 2185 secs
lola: 33327582 markings, 70353187 edges, 12734 markings/sec, 2190 secs
lola: 33391721 markings, 70506009 edges, 12828 markings/sec, 2195 secs
lola: 33455714 markings, 70659309 edges, 12799 markings/sec, 2200 secs
lola: 33548978 markings, 70827429 edges, 18653 markings/sec, 2205 secs
lola: 33620494 markings, 70984613 edges, 14303 markings/sec, 2210 secs
lola: 33683604 markings, 71138013 edges, 12622 markings/sec, 2215 secs
lola: 33747617 markings, 71290710 edges, 12803 markings/sec, 2220 secs
lola: 33820210 markings, 71447617 edges, 14519 markings/sec, 2225 secs
lola: 33906830 markings, 71612413 edges, 17324 markings/sec, 2230 secs
lola: 33951706 markings, 71765712 edges, 8975 markings/sec, 2235 secs
lola: 33998696 markings, 71925336 edges, 9398 markings/sec, 2240 secs
lola: 34069000 markings, 72090139 edges, 14061 markings/sec, 2245 secs
lola: 34138680 markings, 72258541 edges, 13936 markings/sec, 2250 secs
lola: 34261437 markings, 72437633 edges, 24551 markings/sec, 2255 secs
lola: 34383318 markings, 72619108 edges, 24376 markings/sec, 2260 secs
lola: 34504930 markings, 72801595 edges, 24322 markings/sec, 2265 secs
lola: 34624193 markings, 72982719 edges, 23853 markings/sec, 2270 secs
lola: 34742631 markings, 73162849 edges, 23688 markings/sec, 2275 secs
lola: 34857541 markings, 73345324 edges, 22982 markings/sec, 2280 secs
lola: 34976351 markings, 73527705 edges, 23762 markings/sec, 2285 secs
lola: 35071790 markings, 73705034 edges, 19088 markings/sec, 2290 secs
lola: 35157666 markings, 73883473 edges, 17175 markings/sec, 2295 secs
lola: 35242178 markings, 74063130 edges, 16902 markings/sec, 2300 secs
lola: 35327578 markings, 74241700 edges, 17080 markings/sec, 2305 secs
lola: 35413076 markings, 74420260 edges, 17100 markings/sec, 2310 secs
lola: 35496512 markings, 74600653 edges, 16687 markings/sec, 2315 secs
lola: 35575984 markings, 74779684 edges, 15894 markings/sec, 2320 secs
lola: 35630670 markings, 74938016 edges, 10937 markings/sec, 2325 secs
lola: 35686699 markings, 75095565 edges, 11206 markings/sec, 2330 secs
lola: 35781608 markings, 75263129 edges, 18982 markings/sec, 2335 secs
lola: 35844234 markings, 75427625 edges, 12525 markings/sec, 2340 secs
lola: 35892244 markings, 75595136 edges, 9602 markings/sec, 2345 secs
lola: 35949540 markings, 75760912 edges, 11459 markings/sec, 2350 secs
lola: 36039410 markings, 75932725 edges, 17974 markings/sec, 2355 secs
lola: 36097364 markings, 76101615 edges, 11591 markings/sec, 2360 secs
lola: 36145399 markings, 76269360 edges, 9607 markings/sec, 2365 secs
lola: 36205883 markings, 76434814 edges, 12097 markings/sec, 2370 secs
lola: 36292697 markings, 76607599 edges, 17363 markings/sec, 2375 secs
lola: 36353450 markings, 76770927 edges, 12151 markings/sec, 2380 secs
lola: 36406523 markings, 76928461 edges, 10615 markings/sec, 2385 secs
lola: 36481400 markings, 77087925 edges, 14975 markings/sec, 2390 secs
lola: 36564731 markings, 77256438 edges, 16666 markings/sec, 2395 secs
lola: 36617064 markings, 77424695 edges, 10467 markings/sec, 2400 secs
lola: 36664928 markings, 77591818 edges, 9573 markings/sec, 2405 secs
lola: 36744997 markings, 77758103 edges, 16014 markings/sec, 2410 secs
lola: 36819781 markings, 77930934 edges, 14957 markings/sec, 2415 secs
lola: 36867892 markings, 78094188 edges, 9622 markings/sec, 2420 secs
lola: 36914433 markings, 78256388 edges, 9308 markings/sec, 2425 secs
lola: 36991890 markings, 78417001 edges, 15491 markings/sec, 2430 secs
lola: 37063700 markings, 78582674 edges, 14362 markings/sec, 2435 secs
lola: 37147394 markings, 78751308 edges, 16739 markings/sec, 2440 secs
lola: 37229338 markings, 78922017 edges, 16389 markings/sec, 2445 secs
lola: 37310418 markings, 79093518 edges, 16216 markings/sec, 2450 secs
lola: 37392593 markings, 79263972 edges, 16435 markings/sec, 2455 secs
lola: 37474192 markings, 79434751 edges, 16320 markings/sec, 2460 secs
lola: 37553833 markings, 79607241 edges, 15928 markings/sec, 2465 secs
lola: 37630514 markings, 79778880 edges, 15336 markings/sec, 2470 secs
lola: 37682554 markings, 79930484 edges, 10408 markings/sec, 2475 secs
lola: 37733943 markings, 80082808 edges, 10278 markings/sec, 2480 secs
lola: 37813619 markings, 80238698 edges, 15935 markings/sec, 2485 secs
lola: 37894488 markings, 80401536 edges, 16174 markings/sec, 2490 secs
lola: 37945879 markings, 80564599 edges, 10278 markings/sec, 2495 secs
lola: 37992528 markings, 80726555 edges, 9330 markings/sec, 2500 secs
lola: 38054449 markings, 80886400 edges, 12384 markings/sec, 2505 secs
lola: 38142449 markings, 81054288 edges, 17600 markings/sec, 2510 secs
lola: 38199055 markings, 81217646 edges, 11321 markings/sec, 2515 secs
lola: 38245512 markings, 81380230 edges, 9291 markings/sec, 2520 secs
lola: 38292183 markings, 81542086 edges, 9334 markings/sec, 2525 secs
lola: 38379565 markings, 81704008 edges, 17476 markings/sec, 2530 secs
lola: 38449429 markings, 81870216 edges, 13973 markings/sec, 2535 secs
lola: 38474951 markings, 82030180 edges, 5104 markings/sec, 2540 secs
lola: 38555013 markings, 82194199 edges, 16012 markings/sec, 2545 secs
lola: 38671669 markings, 82367067 edges, 23331 markings/sec, 2550 secs
lola: 38782831 markings, 82540177 edges, 22232 markings/sec, 2555 secs
lola: 38867465 markings, 82710742 edges, 16927 markings/sec, 2560 secs
lola: 38950397 markings, 82881783 edges, 16586 markings/sec, 2565 secs
lola: 39004269 markings, 83035614 edges, 10774 markings/sec, 2570 secs
lola: 39055765 markings, 83188080 edges, 10299 markings/sec, 2575 secs
lola: 39132758 markings, 83342931 edges, 15399 markings/sec, 2580 secs
lola: 39218412 markings, 83507323 edges, 17131 markings/sec, 2585 secs
lola: 39302771 markings, 83677678 edges, 16872 markings/sec, 2590 secs
lola: 39335608 markings, 83836376 edges, 6567 markings/sec, 2595 secs
lola: 39447249 markings, 84005568 edges, 22328 markings/sec, 2600 secs
lola: 39545178 markings, 84175846 edges, 19586 markings/sec, 2605 secs
lola: 39605817 markings, 84343082 edges, 12128 markings/sec, 2610 secs
lola: 39687492 markings, 84506795 edges, 16335 markings/sec, 2615 secs
lola: 39804683 markings, 84674415 edges, 23438 markings/sec, 2620 secs
lola: 39911762 markings, 84842389 edges, 21416 markings/sec, 2625 secs
lola: 40006465 markings, 85009363 edges, 18941 markings/sec, 2630 secs
lola: 40093005 markings, 85175485 edges, 17308 markings/sec, 2635 secs
lola: 40171892 markings, 85338157 edges, 15777 markings/sec, 2640 secs
lola: 40247000 markings, 85504395 edges, 15022 markings/sec, 2645 secs
lola: 40319166 markings, 85673338 edges, 14433 markings/sec, 2650 secs
lola: 40370593 markings, 85837197 edges, 10285 markings/sec, 2655 secs
lola: 40421323 markings, 85987754 edges, 10146 markings/sec, 2660 secs
lola: 40472227 markings, 86138082 edges, 10181 markings/sec, 2665 secs
lola: 40588682 markings, 86308695 edges, 23291 markings/sec, 2670 secs
lola: 40684089 markings, 86478659 edges, 19081 markings/sec, 2675 secs
lola: 40739462 markings, 86644087 edges, 11075 markings/sec, 2680 secs
lola: 40768162 markings, 86800149 edges, 5740 markings/sec, 2685 secs
lola: 40818812 markings, 86950279 edges, 10130 markings/sec, 2690 secs
lola: 40869228 markings, 87099702 edges, 10083 markings/sec, 2695 secs
lola: 40977436 markings, 87266999 edges, 21642 markings/sec, 2700 secs
lola: 41076033 markings, 87436555 edges, 19719 markings/sec, 2705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown
lola: memory consumption: 2885336 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p1463)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1463)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown
lola: memory consumption: 60660 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 60660 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 1 unknown
rslt: finished
BK_STOP 1552566604824
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-05b"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is ASLink-PT-05b, 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 r005-smll-155225008900092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;