Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549500479.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is GlobalResAllocation-COL-06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549500479
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 4.6K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 01:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 7 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 03:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 28K 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 GlobalResAllocation-COL-06-UpperBounds-00
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-01
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-02
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-03
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-04
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-05
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-06
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-07
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-08
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-09
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-10
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-11
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-12
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-13
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-14
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552667019405

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ GlobalResAllocation-COL-06 @ 3570 seconds

FORMULA GlobalResAllocation-COL-06-UpperBounds-00 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-01 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-03 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-04 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-06 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-09 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-10 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-11 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-02 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-05 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-08 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GlobalResAllocation-COL-06-UpperBounds-14 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ GlobalResAllocation-COL-06

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 15 16:23:39 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 221
},
"exit":
{
"localtimelimitreached": false
},
"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": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "MAX(p100 + p101 + p96 + p97 + p98 + p99)",
"processed_size": 40,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"exit":
{
"localtimelimitreached": false
},
"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": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "MAX(p100 + p101 + p96 + p97 + p98 + p99)",
"processed_size": 40,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"exit":
{
"localtimelimitreached": false
},
"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": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "MAX(p12 + p13 + p14 + p15 + p16 + p17)",
"processed_size": 38,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 6
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 270
},
"exit":
{
"localtimelimitreached": false
},
"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": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "MAX(p100 + p101 + p96 + p97 + p98 + p99)",
"processed_size": 40,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 291
},
"exit":
{
"localtimelimitreached": false
},
"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": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "MAX(p100 + p101 + p96 + p97 + p98 + p99)",
"processed_size": 40,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 317
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 443
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 554
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 738
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1106
},
"exit":
{
"localtimelimitreached": false
},
"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": 12,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 12,
"visible_transitions": 0
},
"processed": "MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)",
"processed_size": 64,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2210
},
"exit":
{
"localtimelimitreached": false
},
"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": 72,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 72,
"visible_transitions": 0
},
"processed": "MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89)",
"processed_size": 434,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 12
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 5295892,
"runtime": 3570.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 1226388,
"conflict_clusters": 13,
"places": 102,
"places_significant": 78,
"singleton_clusters": 0,
"transitions": 136662
},
"result":
{
"interim_value": "12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown ",
"preliminary_value": "12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown "
},
"task":
{
"type": "compound"
}
}
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 High-Level net
lola: Places: 102, Transitions: 136662
lola: @ trans enter3
lola: @ trans enter2
lola: @ trans release1
lola: @ trans enter1
lola: @ trans exit
lola: @ trans enter4
lola: @ trans release2
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 136764/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3264
lola: finding significant places
lola: 102 places, 136662 transitions, 78 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(p100 + p101 + p96 + p97 + p98 + p99) : MAX(p100 + p101 + p96 + p97 + p98 + p99) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p12 + p13 + p14 + p15 + p16 + p17) : MAX(p100 + p101 + p96 + p97 + p98 + p99) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p100 + p101 + p96 + p97 + p98 + p99) : MAX(p90 + p91 + p92 + p93 + p94 + p95) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p90 + p91 + p92 + p93 + p94 + p95) : MAX(p90 + p91 + p92 + p93 + p94 + p95) : MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89) : MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: processed formula length: 40
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: 12
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: processed formula length: 40
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: 12
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: processed formula length: 38
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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: processed formula length: 40
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: 12
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 4 will run for 291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: processed formula length: 40
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: 12
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: processed formula length: 38
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: 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: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 2 markings, 1 edges, 0 markings/sec, 35 secs
lola: 20 markings, 20 edges, 4 markings/sec, 40 secs
lola: 40 markings, 49 edges, 4 markings/sec, 45 secs
lola: 66 markings, 94 edges, 5 markings/sec, 50 secs
lola: 95 markings, 144 edges, 6 markings/sec, 55 secs
lola: 123 markings, 199 edges, 6 markings/sec, 60 secs
lola: 152 markings, 256 edges, 6 markings/sec, 65 secs
lola: 179 markings, 309 edges, 5 markings/sec, 70 secs
lola: 206 markings, 366 edges, 5 markings/sec, 75 secs
lola: 243 markings, 446 edges, 7 markings/sec, 80 secs
lola: 285 markings, 548 edges, 8 markings/sec, 85 secs
lola: 322 markings, 632 edges, 7 markings/sec, 90 secs
lola: 372 markings, 757 edges, 10 markings/sec, 95 secs
lola: 402 markings, 824 edges, 6 markings/sec, 100 secs
lola: 437 markings, 918 edges, 7 markings/sec, 105 secs
lola: 470 markings, 977 edges, 7 markings/sec, 110 secs
lola: 504 markings, 1048 edges, 7 markings/sec, 115 secs
lola: 545 markings, 1134 edges, 8 markings/sec, 120 secs
lola: 578 markings, 1198 edges, 7 markings/sec, 125 secs
lola: 609 markings, 1257 edges, 6 markings/sec, 130 secs
lola: 644 markings, 1326 edges, 7 markings/sec, 135 secs
lola: 681 markings, 1399 edges, 7 markings/sec, 140 secs
lola: 713 markings, 1466 edges, 6 markings/sec, 145 secs
lola: 752 markings, 1545 edges, 8 markings/sec, 150 secs
lola: 786 markings, 1635 edges, 7 markings/sec, 155 secs
lola: 823 markings, 1728 edges, 7 markings/sec, 160 secs
lola: 862 markings, 1810 edges, 8 markings/sec, 165 secs
lola: 899 markings, 1892 edges, 7 markings/sec, 170 secs
lola: 939 markings, 1977 edges, 8 markings/sec, 175 secs
lola: 980 markings, 2061 edges, 8 markings/sec, 180 secs
lola: 1030 markings, 2213 edges, 10 markings/sec, 185 secs
lola: 1066 markings, 2317 edges, 7 markings/sec, 190 secs
lola: 1109 markings, 2413 edges, 9 markings/sec, 195 secs
lola: 1142 markings, 2475 edges, 7 markings/sec, 200 secs
lola: 1172 markings, 2559 edges, 6 markings/sec, 205 secs
lola: 1209 markings, 2636 edges, 7 markings/sec, 210 secs
lola: 1244 markings, 2707 edges, 7 markings/sec, 215 secs
lola: 1289 markings, 2802 edges, 9 markings/sec, 220 secs
lola: 1328 markings, 2888 edges, 8 markings/sec, 225 secs
lola: 1376 markings, 3003 edges, 10 markings/sec, 230 secs
lola: 1420 markings, 3098 edges, 9 markings/sec, 235 secs
lola: 1464 markings, 3193 edges, 9 markings/sec, 240 secs
lola: 1509 markings, 3297 edges, 9 markings/sec, 245 secs
lola: 1553 markings, 3405 edges, 9 markings/sec, 250 secs
lola: 1589 markings, 3474 edges, 7 markings/sec, 255 secs
lola: 1630 markings, 3560 edges, 8 markings/sec, 260 secs
lola: 1661 markings, 3623 edges, 6 markings/sec, 265 secs
lola: 1697 markings, 3700 edges, 7 markings/sec, 270 secs
lola: 1736 markings, 3784 edges, 8 markings/sec, 275 secs
lola: 1781 markings, 3885 edges, 9 markings/sec, 280 secs
lola: 1825 markings, 3983 edges, 9 markings/sec, 285 secs
lola: 1864 markings, 4085 edges, 8 markings/sec, 290 secs
lola: 1903 markings, 4170 edges, 8 markings/sec, 295 secs
lola: 1945 markings, 4320 edges, 8 markings/sec, 300 secs
lola: 1980 markings, 4404 edges, 7 markings/sec, 305 secs
lola: 2027 markings, 4526 edges, 9 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: 12 12 unknown 6 12 unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5281672 KB
lola: time consumption: 397 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 6 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: processed formula length: 38
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: 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: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 3 markings, 2 edges, 0 markings/sec, 35 secs
lola: 28 markings, 32 edges, 5 markings/sec, 40 secs
lola: 52 markings, 67 edges, 5 markings/sec, 45 secs
lola: 75 markings, 109 edges, 5 markings/sec, 50 secs
lola: 99 markings, 151 edges, 5 markings/sec, 55 secs
lola: 132 markings, 219 edges, 7 markings/sec, 60 secs
lola: 163 markings, 277 edges, 6 markings/sec, 65 secs
lola: 192 markings, 339 edges, 6 markings/sec, 70 secs
lola: 232 markings, 425 edges, 8 markings/sec, 75 secs
lola: 271 markings, 515 edges, 8 markings/sec, 80 secs
lola: 314 markings, 612 edges, 9 markings/sec, 85 secs
lola: 362 markings, 730 edges, 10 markings/sec, 90 secs
lola: 398 markings, 813 edges, 7 markings/sec, 95 secs
lola: 433 markings, 910 edges, 7 markings/sec, 100 secs
lola: 469 markings, 976 edges, 7 markings/sec, 105 secs
lola: 504 markings, 1048 edges, 7 markings/sec, 110 secs
lola: 545 markings, 1134 edges, 8 markings/sec, 115 secs
lola: 578 markings, 1198 edges, 7 markings/sec, 120 secs
lola: 609 markings, 1257 edges, 6 markings/sec, 125 secs
lola: 641 markings, 1320 edges, 6 markings/sec, 130 secs
lola: 676 markings, 1389 edges, 7 markings/sec, 135 secs
lola: 711 markings, 1460 edges, 7 markings/sec, 140 secs
lola: 744 markings, 1527 edges, 7 markings/sec, 145 secs
lola: 780 markings, 1616 edges, 7 markings/sec, 150 secs
lola: 815 markings, 1712 edges, 7 markings/sec, 155 secs
lola: 854 markings, 1791 edges, 8 markings/sec, 160 secs
lola: 895 markings, 1880 edges, 8 markings/sec, 165 secs
lola: 933 markings, 1961 edges, 8 markings/sec, 170 secs
lola: 974 markings, 2052 edges, 8 markings/sec, 175 secs
lola: 1026 markings, 2195 edges, 10 markings/sec, 180 secs
lola: 1066 markings, 2317 edges, 8 markings/sec, 185 secs
lola: 1109 markings, 2413 edges, 9 markings/sec, 190 secs
lola: 1142 markings, 2475 edges, 7 markings/sec, 195 secs
lola: 1172 markings, 2559 edges, 6 markings/sec, 200 secs
lola: 1209 markings, 2636 edges, 7 markings/sec, 205 secs
lola: 1248 markings, 2718 edges, 8 markings/sec, 210 secs
lola: 1289 markings, 2802 edges, 8 markings/sec, 215 secs
lola: 1336 markings, 2909 edges, 9 markings/sec, 220 secs
lola: 1395 markings, 3045 edges, 12 markings/sec, 225 secs
lola: 1440 markings, 3142 edges, 9 markings/sec, 230 secs
lola: 1488 markings, 3249 edges, 10 markings/sec, 235 secs
lola: 1537 markings, 3372 edges, 10 markings/sec, 240 secs
lola: 1578 markings, 3453 edges, 8 markings/sec, 245 secs
lola: 1616 markings, 3536 edges, 8 markings/sec, 250 secs
lola: 1649 markings, 3598 edges, 7 markings/sec, 255 secs
lola: 1690 markings, 3687 edges, 8 markings/sec, 260 secs
lola: 1724 markings, 3756 edges, 7 markings/sec, 265 secs
lola: 1769 markings, 3858 edges, 9 markings/sec, 270 secs
lola: 1817 markings, 3965 edges, 10 markings/sec, 275 secs
lola: 1856 markings, 4060 edges, 8 markings/sec, 280 secs
lola: 1900 markings, 4163 edges, 9 markings/sec, 285 secs
lola: 1939 markings, 4294 edges, 8 markings/sec, 290 secs
lola: 1977 markings, 4398 edges, 8 markings/sec, 295 secs
lola: 2024 markings, 4519 edges, 9 markings/sec, 300 secs
lola: 2072 markings, 4623 edges, 10 markings/sec, 305 secs
lola: 2110 markings, 4708 edges, 8 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: 12 12 unknown 6 12 unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5280880 KB
lola: time consumption: 714 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 7 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: processed formula length: 38
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: 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: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 4 markings, 3 edges, 1 markings/sec, 35 secs
lola: 32 markings, 37 edges, 6 markings/sec, 40 secs
lola: 52 markings, 67 edges, 4 markings/sec, 45 secs
lola: 83 markings, 125 edges, 6 markings/sec, 50 secs
lola: 115 markings, 183 edges, 6 markings/sec, 55 secs
lola: 144 markings, 241 edges, 6 markings/sec, 60 secs
lola: 175 markings, 302 edges, 6 markings/sec, 65 secs
lola: 211 markings, 379 edges, 7 markings/sec, 70 secs
lola: 247 markings, 453 edges, 7 markings/sec, 75 secs
lola: 294 markings, 564 edges, 9 markings/sec, 80 secs
lola: 342 markings, 682 edges, 10 markings/sec, 85 secs
lola: 383 markings, 778 edges, 8 markings/sec, 90 secs
lola: 425 markings, 897 edges, 8 markings/sec, 95 secs
lola: 458 markings, 957 edges, 7 markings/sec, 100 secs
lola: 493 markings, 1022 edges, 7 markings/sec, 105 secs
lola: 537 markings, 1120 edges, 9 markings/sec, 110 secs
lola: 573 markings, 1190 edges, 7 markings/sec, 115 secs
lola: 605 markings, 1250 edges, 6 markings/sec, 120 secs
lola: 641 markings, 1320 edges, 7 markings/sec, 125 secs
lola: 676 markings, 1389 edges, 7 markings/sec, 130 secs
lola: 713 markings, 1466 edges, 7 markings/sec, 135 secs
lola: 752 markings, 1545 edges, 8 markings/sec, 140 secs
lola: 787 markings, 1642 edges, 7 markings/sec, 145 secs
lola: 823 markings, 1728 edges, 7 markings/sec, 150 secs
lola: 870 markings, 1828 edges, 9 markings/sec, 155 secs
lola: 907 markings, 1908 edges, 7 markings/sec, 160 secs
lola: 947 markings, 1993 edges, 8 markings/sec, 165 secs
lola: 993 markings, 2091 edges, 9 markings/sec, 170 secs
lola: 1042 markings, 2255 edges, 10 markings/sec, 175 secs
lola: 1086 markings, 2365 edges, 9 markings/sec, 180 secs
lola: 1127 markings, 2447 edges, 8 markings/sec, 185 secs
lola: 1161 markings, 2522 edges, 7 markings/sec, 190 secs
lola: 1194 markings, 2609 edges, 7 markings/sec, 195 secs
lola: 1233 markings, 2684 edges, 8 markings/sec, 200 secs
lola: 1278 markings, 2782 edges, 9 markings/sec, 205 secs
lola: 1316 markings, 2858 edges, 8 markings/sec, 210 secs
lola: 1368 markings, 2983 edges, 10 markings/sec, 215 secs
lola: 1420 markings, 3098 edges, 10 markings/sec, 220 secs
lola: 1469 markings, 3204 edges, 10 markings/sec, 225 secs
lola: 1512 markings, 3303 edges, 9 markings/sec, 230 secs
lola: 1560 markings, 3417 edges, 10 markings/sec, 235 secs
lola: 1596 markings, 3490 edges, 7 markings/sec, 240 secs
lola: 1633 markings, 3565 edges, 7 markings/sec, 245 secs
lola: 1673 markings, 3652 edges, 8 markings/sec, 250 secs
lola: 1708 markings, 3720 edges, 7 markings/sec, 255 secs
lola: 1752 markings, 3821 edges, 9 markings/sec, 260 secs
lola: 1796 markings, 3918 edges, 9 markings/sec, 265 secs
lola: 1840 markings, 4013 edges, 9 markings/sec, 270 secs
lola: 1884 markings, 4131 edges, 9 markings/sec, 275 secs
lola: 1930 markings, 4265 edges, 9 markings/sec, 280 secs
lola: 1965 markings, 4376 edges, 7 markings/sec, 285 secs
lola: 2008 markings, 4481 edges, 9 markings/sec, 290 secs
lola: 2056 markings, 4589 edges, 10 markings/sec, 295 secs
lola: 2102 markings, 4695 edges, 9 markings/sec, 300 secs
lola: 2136 markings, 4769 edges, 7 markings/sec, 305 secs
lola: 2183 markings, 4889 edges, 9 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: 12 12 unknown 6 12 unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5281036 KB
lola: time consumption: 1031 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 8 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: processed formula length: 38
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: 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: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 3 markings, 2 edges, 0 markings/sec, 35 secs
lola: 32 markings, 37 edges, 6 markings/sec, 40 secs
lola: 52 markings, 67 edges, 4 markings/sec, 45 secs
lola: 83 markings, 125 edges, 6 markings/sec, 50 secs
lola: 115 markings, 183 edges, 6 markings/sec, 55 secs
lola: 146 markings, 246 edges, 6 markings/sec, 60 secs
lola: 175 markings, 302 edges, 6 markings/sec, 65 secs
lola: 211 markings, 379 edges, 7 markings/sec, 70 secs
lola: 246 markings, 452 edges, 7 markings/sec, 75 secs
lola: 291 markings, 558 edges, 9 markings/sec, 80 secs
lola: 338 markings, 671 edges, 9 markings/sec, 85 secs
lola: 379 markings, 769 edges, 8 markings/sec, 90 secs
lola: 422 markings, 885 edges, 9 markings/sec, 95 secs
lola: 458 markings, 957 edges, 7 markings/sec, 100 secs
lola: 488 markings, 1014 edges, 6 markings/sec, 105 secs
lola: 532 markings, 1111 edges, 9 markings/sec, 110 secs
lola: 569 markings, 1181 edges, 7 markings/sec, 115 secs
lola: 596 markings, 1231 edges, 5 markings/sec, 120 secs
lola: 633 markings, 1306 edges, 7 markings/sec, 125 secs
lola: 669 markings, 1375 edges, 7 markings/sec, 130 secs
lola: 702 markings, 1442 edges, 7 markings/sec, 135 secs
lola: 736 markings, 1508 edges, 7 markings/sec, 140 secs
lola: 773 markings, 1591 edges, 7 markings/sec, 145 secs
lola: 811 markings, 1704 edges, 8 markings/sec, 150 secs
lola: 849 markings, 1780 edges, 8 markings/sec, 155 secs
lola: 890 markings, 1868 edges, 8 markings/sec, 160 secs
lola: 926 markings, 1948 edges, 7 markings/sec, 165 secs
lola: 970 markings, 2041 edges, 9 markings/sec, 170 secs
lola: 1019 markings, 2169 edges, 10 markings/sec, 175 secs
lola: 1058 markings, 2299 edges, 8 markings/sec, 180 secs
lola: 1101 markings, 2398 edges, 9 markings/sec, 185 secs
lola: 1138 markings, 2468 edges, 7 markings/sec, 190 secs
lola: 1167 markings, 2538 edges, 6 markings/sec, 195 secs
lola: 1205 markings, 2629 edges, 8 markings/sec, 200 secs
lola: 1240 markings, 2696 edges, 7 markings/sec, 205 secs
lola: 1285 markings, 2796 edges, 9 markings/sec, 210 secs
lola: 1325 markings, 2881 edges, 8 markings/sec, 215 secs
lola: 1376 markings, 3003 edges, 10 markings/sec, 220 secs
lola: 1424 markings, 3107 edges, 10 markings/sec, 225 secs
lola: 1469 markings, 3204 edges, 9 markings/sec, 230 secs
lola: 1515 markings, 3310 edges, 9 markings/sec, 235 secs
lola: 1560 markings, 3417 edges, 9 markings/sec, 240 secs
lola: 1593 markings, 3484 edges, 7 markings/sec, 245 secs
lola: 1633 markings, 3565 edges, 8 markings/sec, 250 secs
lola: 1673 markings, 3652 edges, 8 markings/sec, 255 secs
lola: 1705 markings, 3714 edges, 6 markings/sec, 260 secs
lola: 1750 markings, 3813 edges, 9 markings/sec, 265 secs
lola: 1796 markings, 3918 edges, 9 markings/sec, 270 secs
lola: 1840 markings, 4013 edges, 9 markings/sec, 275 secs
lola: 1884 markings, 4131 edges, 9 markings/sec, 280 secs
lola: 1927 markings, 4254 edges, 9 markings/sec, 285 secs
lola: 1953 markings, 4343 edges, 5 markings/sec, 290 secs
lola: 1996 markings, 4448 edges, 9 markings/sec, 295 secs
lola: 2044 markings, 4565 edges, 10 markings/sec, 300 secs
lola: 2084 markings, 4651 edges, 8 markings/sec, 305 secs
lola: 2121 markings, 4735 edges, 7 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: 12 12 unknown 6 12 unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5281088 KB
lola: time consumption: 1349 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 9 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 738 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1106 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2210 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + ... (shortened)
lola: processed formula length: 434
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 12
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 4 markings, 3 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91 + p92 + p93 + p94 + p95)
lola: processed formula length: 38
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: 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: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 3 markings, 2 edges, 0 markings/sec, 35 secs
lola: 28 markings, 32 edges, 5 markings/sec, 40 secs
lola: 52 markings, 67 edges, 5 markings/sec, 45 secs
lola: 83 markings, 125 edges, 6 markings/sec, 50 secs
lola: 113 markings, 179 edges, 6 markings/sec, 55 secs
lola: 143 markings, 240 edges, 6 markings/sec, 60 secs
lola: 175 markings, 302 edges, 6 markings/sec, 65 secs
lola: 206 markings, 366 edges, 6 markings/sec, 70 secs
lola: 243 markings, 446 edges, 7 markings/sec, 75 secs
lola: 285 markings, 548 edges, 8 markings/sec, 80 secs
lola: 331 markings, 656 edges, 9 markings/sec, 85 secs
lola: 375 markings, 762 edges, 9 markings/sec, 90 secs
lola: 418 markings, 871 edges, 9 markings/sec, 95 secs
lola: 448 markings, 940 edges, 6 markings/sec, 100 secs
lola: 485 markings, 1008 edges, 7 markings/sec, 105 secs
lola: 525 markings, 1097 edges, 8 markings/sec, 110 secs
lola: 564 markings, 1170 edges, 8 markings/sec, 115 secs
lola: 596 markings, 1231 edges, 6 markings/sec, 120 secs
lola: 633 markings, 1306 edges, 7 markings/sec, 125 secs
lola: 669 markings, 1375 edges, 7 markings/sec, 130 secs
lola: 705 markings, 1447 edges, 7 markings/sec, 135 secs
lola: 744 markings, 1527 edges, 8 markings/sec, 140 secs
lola: 776 markings, 1601 edges, 6 markings/sec, 145 secs
lola: 815 markings, 1712 edges, 8 markings/sec, 150 secs
lola: 854 markings, 1791 edges, 8 markings/sec, 155 secs
lola: 895 markings, 1880 edges, 8 markings/sec, 160 secs
lola: 931 markings, 1959 edges, 7 markings/sec, 165 secs
lola: 974 markings, 2052 edges, 9 markings/sec, 170 secs
lola: 1026 markings, 2195 edges, 10 markings/sec, 175 secs
lola: 1066 markings, 2317 edges, 8 markings/sec, 180 secs
lola: 1114 markings, 2422 edges, 10 markings/sec, 185 secs
lola: 1146 markings, 2481 edges, 6 markings/sec, 190 secs
lola: 1181 markings, 2584 edges, 7 markings/sec, 195 secs
lola: 1213 markings, 2643 edges, 6 markings/sec, 200 secs
lola: 1256 markings, 2733 edges, 9 markings/sec, 205 secs
lola: 1298 markings, 2818 edges, 8 markings/sec, 210 secs
lola: 1344 markings, 2929 edges, 9 markings/sec, 215 secs
lola: 1401 markings, 3057 edges, 11 markings/sec, 220 secs
lola: 1449 markings, 3163 edges, 10 markings/sec, 225 secs
lola: 1496 markings, 3268 edges, 9 markings/sec, 230 secs
lola: 1544 markings, 3386 edges, 10 markings/sec, 235 secs
lola: 1581 markings, 3458 edges, 7 markings/sec, 240 secs
lola: 1621 markings, 3546 edges, 8 markings/sec, 245 secs
lola: 1652 markings, 3604 edges, 6 markings/sec, 250 secs
lola: 1690 markings, 3687 edges, 8 markings/sec, 255 secs
lola: 1727 markings, 3763 edges, 7 markings/sec, 260 secs
lola: 1769 markings, 3858 edges, 8 markings/sec, 265 secs
lola: 1817 markings, 3965 edges, 10 markings/sec, 270 secs
lola: 1852 markings, 4047 edges, 7 markings/sec, 275 secs
lola: 1895 markings, 4151 edges, 9 markings/sec, 280 secs
lola: 1934 markings, 4276 edges, 8 markings/sec, 285 secs
lola: 1972 markings, 4388 edges, 8 markings/sec, 290 secs
lola: 2016 markings, 4498 edges, 9 markings/sec, 295 secs
lola: 2060 markings, 4598 edges, 9 markings/sec, 300 secs
lola: 2102 markings, 4695 edges, 8 markings/sec, 305 secs
lola: 2141 markings, 4781 edges, 8 markings/sec, 310 secs
lola: 2184 markings, 4895 edges, 9 markings/sec, 315 secs
lola: 2233 markings, 5041 edges, 10 markings/sec, 320 secs
lola: 2278 markings, 5140 edges, 9 markings/sec, 325 secs
lola: 2326 markings, 5253 edges, 10 markings/sec, 330 secs
lola: 2372 markings, 5356 edges, 9 markings/sec, 335 secs
lola: 2418 markings, 5465 edges, 9 markings/sec, 340 secs
lola: 2466 markings, 5577 edges, 10 markings/sec, 345 secs
lola: 2514 markings, 5695 edges, 10 markings/sec, 350 secs
lola: 2576 markings, 5855 edges, 12 markings/sec, 355 secs
lola: 2606 markings, 5912 edges, 6 markings/sec, 360 secs
lola: 2649 markings, 6023 edges, 9 markings/sec, 365 secs
lola: 2694 markings, 6118 edges, 9 markings/sec, 370 secs
lola: 2737 markings, 6213 edges, 9 markings/sec, 375 secs
lola: 2784 markings, 6329 edges, 9 markings/sec, 380 secs
lola: 2830 markings, 6437 edges, 9 markings/sec, 385 secs
lola: 2887 markings, 6577 edges, 11 markings/sec, 390 secs
lola: 2934 markings, 6689 edges, 9 markings/sec, 395 secs
lola: 2973 markings, 6770 edges, 8 markings/sec, 400 secs
lola: 3017 markings, 6870 edges, 9 markings/sec, 405 secs
lola: 3069 markings, 6994 edges, 10 markings/sec, 410 secs
lola: 3122 markings, 7116 edges, 11 markings/sec, 415 secs
lola: 3157 markings, 7191 edges, 7 markings/sec, 420 secs
lola: 3206 markings, 7314 edges, 10 markings/sec, 425 secs
lola: 3255 markings, 7430 edges, 10 markings/sec, 430 secs
lola: 3304 markings, 7541 edges, 10 markings/sec, 435 secs
lola: 3359 markings, 7705 edges, 11 markings/sec, 440 secs
lola: 3398 markings, 7786 edges, 8 markings/sec, 445 secs
lola: 3441 markings, 7881 edges, 9 markings/sec, 450 secs
lola: 3493 markings, 7994 edges, 10 markings/sec, 455 secs
lola: 3545 markings, 8115 edges, 10 markings/sec, 460 secs
lola: 3600 markings, 8260 edges, 11 markings/sec, 465 secs
lola: 3660 markings, 8399 edges, 12 markings/sec, 470 secs
lola: 3716 markings, 8532 edges, 11 markings/sec, 475 secs
lola: 3779 markings, 8696 edges, 13 markings/sec, 480 secs
lola: 3831 markings, 8827 edges, 10 markings/sec, 485 secs
lola: 3892 markings, 9004 edges, 12 markings/sec, 490 secs
lola: 3942 markings, 9111 edges, 10 markings/sec, 495 secs
lola: 3993 markings, 9271 edges, 10 markings/sec, 500 secs
lola: 4040 markings, 9367 edges, 9 markings/sec, 505 secs
lola: 4090 markings, 9485 edges, 10 markings/sec, 510 secs
lola: 4140 markings, 9605 edges, 10 markings/sec, 515 secs
lola: 4192 markings, 9730 edges, 10 markings/sec, 520 secs
lola: 4246 markings, 9862 edges, 11 markings/sec, 525 secs
lola: 4285 markings, 9948 edges, 8 markings/sec, 530 secs
lola: 4346 markings, 10134 edges, 12 markings/sec, 535 secs
lola: 4397 markings, 10259 edges, 10 markings/sec, 540 secs
lola: 4444 markings, 10369 edges, 9 markings/sec, 545 secs
lola: 4496 markings, 10507 edges, 10 markings/sec, 550 secs
lola: 4543 markings, 10616 edges, 9 markings/sec, 555 secs
lola: 4587 markings, 10713 edges, 9 markings/sec, 560 secs
lola: 4625 markings, 10786 edges, 8 markings/sec, 565 secs
lola: 4662 markings, 10865 edges, 7 markings/sec, 570 secs
lola: 4702 markings, 10957 edges, 8 markings/sec, 575 secs
lola: 4746 markings, 11050 edges, 9 markings/sec, 580 secs
lola: 4794 markings, 11153 edges, 10 markings/sec, 585 secs
lola: 4838 markings, 11248 edges, 9 markings/sec, 590 secs
lola: 4894 markings, 11381 edges, 11 markings/sec, 595 secs
lola: 4942 markings, 11502 edges, 10 markings/sec, 600 secs
lola: 4993 markings, 11620 edges, 10 markings/sec, 605 secs
lola: 5041 markings, 11731 edges, 10 markings/sec, 610 secs
lola: 5079 markings, 11834 edges, 8 markings/sec, 615 secs
lola: 5114 markings, 11907 edges, 7 markings/sec, 620 secs
lola: 5156 markings, 11988 edges, 8 markings/sec, 625 secs
lola: 5190 markings, 12056 edges, 7 markings/sec, 630 secs
lola: 5233 markings, 12156 edges, 9 markings/sec, 635 secs
lola: 5270 markings, 12230 edges, 7 markings/sec, 640 secs
lola: 5311 markings, 12321 edges, 8 markings/sec, 645 secs
lola: 5358 markings, 12437 edges, 9 markings/sec, 650 secs
lola: 5401 markings, 12528 edges, 9 markings/sec, 655 secs
lola: 5435 markings, 12597 edges, 7 markings/sec, 660 secs
lola: 5479 markings, 12692 edges, 9 markings/sec, 665 secs
lola: 5526 markings, 12797 edges, 9 markings/sec, 670 secs
lola: 5577 markings, 12912 edges, 10 markings/sec, 675 secs
lola: 5626 markings, 13038 edges, 10 markings/sec, 680 secs
lola: 5668 markings, 13179 edges, 8 markings/sec, 685 secs
lola: 5719 markings, 13342 edges, 10 markings/sec, 690 secs
lola: 5756 markings, 13430 edges, 7 markings/sec, 695 secs
lola: 5803 markings, 13550 edges, 9 markings/sec, 700 secs
lola: 5847 markings, 13658 edges, 9 markings/sec, 705 secs
lola: 5897 markings, 13800 edges, 10 markings/sec, 710 secs
lola: 5941 markings, 13892 edges, 9 markings/sec, 715 secs
lola: 5985 markings, 14016 edges, 9 markings/sec, 720 secs
lola: 6022 markings, 14134 edges, 7 markings/sec, 725 secs
lola: 6074 markings, 14255 edges, 10 markings/sec, 730 secs
lola: 6128 markings, 14403 edges, 11 markings/sec, 735 secs
lola: 6189 markings, 14544 edges, 12 markings/sec, 740 secs
lola: 6241 markings, 14665 edges, 10 markings/sec, 745 secs
lola: 6303 markings, 14837 edges, 12 markings/sec, 750 secs
lola: 6361 markings, 14975 edges, 12 markings/sec, 755 secs
lola: 6407 markings, 15080 edges, 9 markings/sec, 760 secs
lola: 6452 markings, 15188 edges, 9 markings/sec, 765 secs
lola: 6492 markings, 15285 edges, 8 markings/sec, 770 secs
lola: 6539 markings, 15388 edges, 9 markings/sec, 775 secs
lola: 6604 markings, 15543 edges, 13 markings/sec, 780 secs
lola: 6658 markings, 15677 edges, 11 markings/sec, 785 secs
lola: 6720 markings, 15830 edges, 12 markings/sec, 790 secs
lola: 6766 markings, 15928 edges, 9 markings/sec, 795 secs
lola: 6814 markings, 16039 edges, 10 markings/sec, 800 secs
lola: 6859 markings, 16137 edges, 9 markings/sec, 805 secs
lola: 6902 markings, 16257 edges, 9 markings/sec, 810 secs
lola: 6960 markings, 16394 edges, 12 markings/sec, 815 secs
lola: 7012 markings, 16566 edges, 10 markings/sec, 820 secs
lola: 7048 markings, 16640 edges, 7 markings/sec, 825 secs
lola: 7091 markings, 16736 edges, 9 markings/sec, 830 secs
lola: 7148 markings, 16880 edges, 11 markings/sec, 835 secs
lola: 7191 markings, 16981 edges, 9 markings/sec, 840 secs
lola: 7244 markings, 17119 edges, 11 markings/sec, 845 secs
lola: 7295 markings, 17252 edges, 10 markings/sec, 850 secs
lola: 7343 markings, 17437 edges, 10 markings/sec, 855 secs
lola: 7388 markings, 17585 edges, 9 markings/sec, 860 secs
lola: 7439 markings, 17724 edges, 10 markings/sec, 865 secs
lola: 7477 markings, 17835 edges, 8 markings/sec, 870 secs
lola: 7521 markings, 17940 edges, 9 markings/sec, 875 secs
lola: 7561 markings, 18023 edges, 8 markings/sec, 880 secs
lola: 7605 markings, 18115 edges, 9 markings/sec, 885 secs
lola: 7668 markings, 18265 edges, 13 markings/sec, 890 secs
lola: 7718 markings, 18384 edges, 10 markings/sec, 895 secs
lola: 7761 markings, 18471 edges, 9 markings/sec, 900 secs
lola: 7800 markings, 18554 edges, 8 markings/sec, 905 secs
lola: 7849 markings, 18669 edges, 10 markings/sec, 910 secs
lola: 7896 markings, 18770 edges, 9 markings/sec, 915 secs
lola: 7944 markings, 18887 edges, 10 markings/sec, 920 secs
lola: 7988 markings, 18987 edges, 9 markings/sec, 925 secs
lola: 8042 markings, 19118 edges, 11 markings/sec, 930 secs
lola: 8100 markings, 19256 edges, 12 markings/sec, 935 secs
lola: 8155 markings, 19379 edges, 11 markings/sec, 940 secs
lola: 8206 markings, 19504 edges, 10 markings/sec, 945 secs
lola: 8262 markings, 19638 edges, 11 markings/sec, 950 secs
lola: 8321 markings, 19779 edges, 12 markings/sec, 955 secs
lola: 8373 markings, 19912 edges, 10 markings/sec, 960 secs
lola: 8426 markings, 20067 edges, 11 markings/sec, 965 secs
lola: 8484 markings, 20212 edges, 12 markings/sec, 970 secs
lola: 8536 markings, 20336 edges, 10 markings/sec, 975 secs
lola: 8589 markings, 20465 edges, 11 markings/sec, 980 secs
lola: 8632 markings, 20561 edges, 9 markings/sec, 985 secs
lola: 8688 markings, 20710 edges, 11 markings/sec, 990 secs
lola: 8751 markings, 20884 edges, 13 markings/sec, 995 secs
lola: 8824 markings, 21091 edges, 15 markings/sec, 1000 secs
lola: 8882 markings, 21255 edges, 12 markings/sec, 1005 secs
lola: 8942 markings, 21401 edges, 12 markings/sec, 1010 secs
lola: 9005 markings, 21559 edges, 13 markings/sec, 1015 secs
lola: 9066 markings, 21705 edges, 12 markings/sec, 1020 secs
lola: 9129 markings, 21883 edges, 13 markings/sec, 1025 secs
lola: 9183 markings, 22034 edges, 11 markings/sec, 1030 secs
lola: 9236 markings, 22161 edges, 11 markings/sec, 1035 secs
lola: 9284 markings, 22296 edges, 10 markings/sec, 1040 secs
lola: 9338 markings, 22432 edges, 11 markings/sec, 1045 secs
lola: 9376 markings, 22523 edges, 8 markings/sec, 1050 secs
lola: 9417 markings, 22611 edges, 8 markings/sec, 1055 secs
lola: 9465 markings, 22717 edges, 10 markings/sec, 1060 secs
lola: 9501 markings, 22791 edges, 7 markings/sec, 1065 secs
lola: 9543 markings, 22883 edges, 8 markings/sec, 1070 secs
lola: 9592 markings, 23006 edges, 10 markings/sec, 1075 secs
lola: 9641 markings, 23123 edges, 10 markings/sec, 1080 secs
lola: 9691 markings, 23247 edges, 10 markings/sec, 1085 secs
lola: 9737 markings, 23353 edges, 9 markings/sec, 1090 secs
lola: 9780 markings, 23451 edges, 9 markings/sec, 1095 secs
lola: 9835 markings, 23589 edges, 11 markings/sec, 1100 secs
lola: 9887 markings, 23740 edges, 10 markings/sec, 1105 secs
lola: 9943 markings, 23880 edges, 11 markings/sec, 1110 secs
lola: 10003 markings, 24021 edges, 12 markings/sec, 1115 secs
lola: 10058 markings, 24157 edges, 11 markings/sec, 1120 secs
lola: 10107 markings, 24263 edges, 10 markings/sec, 1125 secs
lola: 10158 markings, 24399 edges, 10 markings/sec, 1130 secs
lola: 10208 markings, 24517 edges, 10 markings/sec, 1135 secs
lola: 10265 markings, 24653 edges, 11 markings/sec, 1140 secs
lola: 10318 markings, 24774 edges, 11 markings/sec, 1145 secs
lola: 10361 markings, 24878 edges, 9 markings/sec, 1150 secs
lola: 10412 markings, 25023 edges, 10 markings/sec, 1155 secs
lola: 10453 markings, 25180 edges, 8 markings/sec, 1160 secs
lola: 10497 markings, 25328 edges, 9 markings/sec, 1165 secs
lola: 10549 markings, 25491 edges, 10 markings/sec, 1170 secs
lola: 10586 markings, 25561 edges, 7 markings/sec, 1175 secs
lola: 10625 markings, 25647 edges, 8 markings/sec, 1180 secs
lola: 10673 markings, 25763 edges, 10 markings/sec, 1185 secs
lola: 10721 markings, 25873 edges, 10 markings/sec, 1190 secs
lola: 10767 markings, 25978 edges, 9 markings/sec, 1195 secs
lola: 10824 markings, 26146 edges, 11 markings/sec, 1200 secs
lola: 10880 markings, 26296 edges, 11 markings/sec, 1205 secs
lola: 10935 markings, 26501 edges, 11 markings/sec, 1210 secs
lola: 10967 markings, 26613 edges, 6 markings/sec, 1215 secs
lola: 11001 markings, 26720 edges, 7 markings/sec, 1220 secs
lola: 11061 markings, 26885 edges, 12 markings/sec, 1225 secs
lola: 11117 markings, 27018 edges, 11 markings/sec, 1230 secs
lola: 11165 markings, 27126 edges, 10 markings/sec, 1235 secs
lola: 11222 markings, 27257 edges, 11 markings/sec, 1240 secs
lola: 11273 markings, 27382 edges, 10 markings/sec, 1245 secs
lola: 11323 markings, 27546 edges, 10 markings/sec, 1250 secs
lola: 11373 markings, 27661 edges, 10 markings/sec, 1255 secs
lola: 11424 markings, 27794 edges, 10 markings/sec, 1260 secs
lola: 11480 markings, 27927 edges, 11 markings/sec, 1265 secs
lola: 11533 markings, 28054 edges, 11 markings/sec, 1270 secs
lola: 11584 markings, 28176 edges, 10 markings/sec, 1275 secs
lola: 11635 markings, 28294 edges, 10 markings/sec, 1280 secs
lola: 11692 markings, 28432 edges, 11 markings/sec, 1285 secs
lola: 11735 markings, 28529 edges, 9 markings/sec, 1290 secs
lola: 11785 markings, 28635 edges, 10 markings/sec, 1295 secs
lola: 11833 markings, 28758 edges, 10 markings/sec, 1300 secs
lola: 11878 markings, 28907 edges, 9 markings/sec, 1305 secs
lola: 11927 markings, 29022 edges, 10 markings/sec, 1310 secs
lola: 11983 markings, 29155 edges, 11 markings/sec, 1315 secs
lola: 12035 markings, 29276 edges, 10 markings/sec, 1320 secs
lola: 12087 markings, 29401 edges, 10 markings/sec, 1325 secs
lola: 12139 markings, 29526 edges, 10 markings/sec, 1330 secs
lola: 12198 markings, 29690 edges, 12 markings/sec, 1335 secs
lola: 12253 markings, 29839 edges, 11 markings/sec, 1340 secs
lola: 12313 markings, 29982 edges, 12 markings/sec, 1345 secs
lola: 12361 markings, 30107 edges, 10 markings/sec, 1350 secs
lola: 12405 markings, 30235 edges, 9 markings/sec, 1355 secs
lola: 12451 markings, 30354 edges, 9 markings/sec, 1360 secs
lola: 12507 markings, 30493 edges, 11 markings/sec, 1365 secs
lola: 12564 markings, 30638 edges, 11 markings/sec, 1370 secs
lola: 12619 markings, 30795 edges, 11 markings/sec, 1375 secs
lola: 12672 markings, 30926 edges, 11 markings/sec, 1380 secs
lola: 12721 markings, 31042 edges, 10 markings/sec, 1385 secs
lola: 12770 markings, 31164 edges, 10 markings/sec, 1390 secs
lola: 12830 markings, 31337 edges, 12 markings/sec, 1395 secs
lola: 12877 markings, 31460 edges, 9 markings/sec, 1400 secs
lola: 12919 markings, 31566 edges, 8 markings/sec, 1405 secs
lola: 12981 markings, 31738 edges, 12 markings/sec, 1410 secs
lola: 13027 markings, 31841 edges, 9 markings/sec, 1415 secs
lola: 13075 markings, 31955 edges, 10 markings/sec, 1420 secs
lola: 13126 markings, 32085 edges, 10 markings/sec, 1425 secs
lola: 13180 markings, 32213 edges, 11 markings/sec, 1430 secs
lola: 13236 markings, 32375 edges, 11 markings/sec, 1435 secs
lola: 13302 markings, 32574 edges, 13 markings/sec, 1440 secs
lola: 13354 markings, 32726 edges, 10 markings/sec, 1445 secs
lola: 13412 markings, 32872 edges, 12 markings/sec, 1450 secs
lola: 13465 markings, 32997 edges, 11 markings/sec, 1455 secs
lola: 13513 markings, 33102 edges, 10 markings/sec, 1460 secs
lola: 13578 markings, 33252 edges, 13 markings/sec, 1465 secs
lola: 13630 markings, 33376 edges, 10 markings/sec, 1470 secs
lola: 13684 markings, 33526 edges, 11 markings/sec, 1475 secs
lola: 13740 markings, 33658 edges, 11 markings/sec, 1480 secs
lola: 13788 markings, 33775 edges, 10 markings/sec, 1485 secs
lola: 13840 markings, 33889 edges, 10 markings/sec, 1490 secs
lola: 13893 markings, 34018 edges, 11 markings/sec, 1495 secs
lola: 13938 markings, 34125 edges, 9 markings/sec, 1500 secs
lola: 14004 markings, 34281 edges, 13 markings/sec, 1505 secs
lola: 14056 markings, 34405 edges, 10 markings/sec, 1510 secs
lola: 14104 markings, 34511 edges, 10 markings/sec, 1515 secs
lola: 14175 markings, 34692 edges, 14 markings/sec, 1520 secs
lola: 14242 markings, 34860 edges, 13 markings/sec, 1525 secs
lola: 14311 markings, 35046 edges, 14 markings/sec, 1530 secs
lola: 14386 markings, 35243 edges, 15 markings/sec, 1535 secs
lola: 14455 markings, 35415 edges, 14 markings/sec, 1540 secs
lola: 14526 markings, 35601 edges, 14 markings/sec, 1545 secs
lola: 14602 markings, 35813 edges, 15 markings/sec, 1550 secs
lola: 14658 markings, 36016 edges, 11 markings/sec, 1555 secs
lola: 14719 markings, 36197 edges, 12 markings/sec, 1560 secs
lola: 14762 markings, 36297 edges, 9 markings/sec, 1565 secs
lola: 14811 markings, 36417 edges, 10 markings/sec, 1570 secs
lola: 14854 markings, 36522 edges, 9 markings/sec, 1575 secs
lola: 14914 markings, 36716 edges, 12 markings/sec, 1580 secs
lola: 14954 markings, 36801 edges, 8 markings/sec, 1585 secs
lola: 15009 markings, 36942 edges, 11 markings/sec, 1590 secs
lola: 15055 markings, 37056 edges, 9 markings/sec, 1595 secs
lola: 15112 markings, 37262 edges, 11 markings/sec, 1600 secs
lola: 15167 markings, 37405 edges, 11 markings/sec, 1605 secs
lola: 15219 markings, 37533 edges, 10 markings/sec, 1610 secs
lola: 15271 markings, 37664 edges, 10 markings/sec, 1615 secs
lola: 15326 markings, 37846 edges, 11 markings/sec, 1620 secs
lola: 15367 markings, 37930 edges, 8 markings/sec, 1625 secs
lola: 15413 markings, 38035 edges, 9 markings/sec, 1630 secs
lola: 15465 markings, 38192 edges, 10 markings/sec, 1635 secs
lola: 15513 markings, 38325 edges, 10 markings/sec, 1640 secs
lola: 15570 markings, 38465 edges, 11 markings/sec, 1645 secs
lola: 15622 markings, 38591 edges, 10 markings/sec, 1650 secs
lola: 15676 markings, 38754 edges, 11 markings/sec, 1655 secs
lola: 15728 markings, 38903 edges, 10 markings/sec, 1660 secs
lola: 15780 markings, 39033 edges, 10 markings/sec, 1665 secs
lola: 15830 markings, 39173 edges, 10 markings/sec, 1670 secs
lola: 15878 markings, 39331 edges, 10 markings/sec, 1675 secs
lola: 15941 markings, 39521 edges, 13 markings/sec, 1680 secs
lola: 15992 markings, 39677 edges, 10 markings/sec, 1685 secs
lola: 16046 markings, 39805 edges, 11 markings/sec, 1690 secs
lola: 16077 markings, 39864 edges, 6 markings/sec, 1695 secs
lola: 16121 markings, 39962 edges, 9 markings/sec, 1700 secs
lola: 16173 markings, 40085 edges, 10 markings/sec, 1705 secs
lola: 16228 markings, 40216 edges, 11 markings/sec, 1710 secs
lola: 16289 markings, 40356 edges, 12 markings/sec, 1715 secs
lola: 16345 markings, 40486 edges, 11 markings/sec, 1720 secs
lola: 16396 markings, 40603 edges, 10 markings/sec, 1725 secs
lola: 16443 markings, 40712 edges, 9 markings/sec, 1730 secs
lola: 16493 markings, 40830 edges, 10 markings/sec, 1735 secs
lola: 16552 markings, 41005 edges, 12 markings/sec, 1740 secs
lola: 16603 markings, 41127 edges, 10 markings/sec, 1745 secs
lola: 16652 markings, 41243 edges, 10 markings/sec, 1750 secs
lola: 16701 markings, 41372 edges, 10 markings/sec, 1755 secs
lola: 16754 markings, 41558 edges, 11 markings/sec, 1760 secs
lola: 16812 markings, 41706 edges, 12 markings/sec, 1765 secs
lola: 16869 markings, 41858 edges, 11 markings/sec, 1770 secs
lola: 16919 markings, 41982 edges, 10 markings/sec, 1775 secs
lola: 16969 markings, 42096 edges, 10 markings/sec, 1780 secs
lola: 17013 markings, 42189 edges, 9 markings/sec, 1785 secs
lola: 17054 markings, 42272 edges, 8 markings/sec, 1790 secs
lola: 17097 markings, 42365 edges, 9 markings/sec, 1795 secs
lola: 17145 markings, 42476 edges, 10 markings/sec, 1800 secs
lola: 17204 markings, 42615 edges, 12 markings/sec, 1805 secs
lola: 17262 markings, 42831 edges, 12 markings/sec, 1810 secs
lola: 17320 markings, 43002 edges, 12 markings/sec, 1815 secs
lola: 17382 markings, 43229 edges, 12 markings/sec, 1820 secs
lola: 17429 markings, 43341 edges, 9 markings/sec, 1825 secs
lola: 17496 markings, 43515 edges, 13 markings/sec, 1830 secs
lola: 17569 markings, 43707 edges, 15 markings/sec, 1835 secs
lola: 17616 markings, 43884 edges, 9 markings/sec, 1840 secs
lola: 17678 markings, 44089 edges, 12 markings/sec, 1845 secs
lola: 17748 markings, 44309 edges, 14 markings/sec, 1850 secs
lola: 17827 markings, 44539 edges, 16 markings/sec, 1855 secs
lola: 17890 markings, 44707 edges, 13 markings/sec, 1860 secs
lola: 17962 markings, 44908 edges, 14 markings/sec, 1865 secs
lola: 18027 markings, 45114 edges, 13 markings/sec, 1870 secs
lola: 18094 markings, 45337 edges, 13 markings/sec, 1875 secs
lola: 18164 markings, 45569 edges, 14 markings/sec, 1880 secs
lola: 18213 markings, 45679 edges, 10 markings/sec, 1885 secs
lola: 18267 markings, 45798 edges, 11 markings/sec, 1890 secs
lola: 18323 markings, 45930 edges, 11 markings/sec, 1895 secs
lola: 18372 markings, 46043 edges, 10 markings/sec, 1900 secs
lola: 18427 markings, 46172 edges, 11 markings/sec, 1905 secs
lola: 18487 markings, 46354 edges, 12 markings/sec, 1910 secs
lola: 18542 markings, 46497 edges, 11 markings/sec, 1915 secs
lola: 18595 markings, 46623 edges, 11 markings/sec, 1920 secs
lola: 18646 markings, 46737 edges, 10 markings/sec, 1925 secs
lola: 18698 markings, 46905 edges, 10 markings/sec, 1930 secs
lola: 18755 markings, 47035 edges, 11 markings/sec, 1935 secs
lola: 18819 markings, 47201 edges, 13 markings/sec, 1940 secs
lola: 18864 markings, 47333 edges, 9 markings/sec, 1945 secs
lola: 18916 markings, 47443 edges, 10 markings/sec, 1950 secs
lola: 18968 markings, 47563 edges, 10 markings/sec, 1955 secs
lola: 19032 markings, 47716 edges, 13 markings/sec, 1960 secs
lola: 19076 markings, 47829 edges, 9 markings/sec, 1965 secs
lola: 19129 markings, 48006 edges, 11 markings/sec, 1970 secs
lola: 19184 markings, 48141 edges, 11 markings/sec, 1975 secs
lola: 19245 markings, 48344 edges, 12 markings/sec, 1980 secs
lola: 19296 markings, 48507 edges, 10 markings/sec, 1985 secs
lola: 19344 markings, 48655 edges, 10 markings/sec, 1990 secs
lola: 19410 markings, 48858 edges, 13 markings/sec, 1995 secs
lola: 19465 markings, 48997 edges, 11 markings/sec, 2000 secs
lola: 19521 markings, 49146 edges, 11 markings/sec, 2005 secs
lola: 19570 markings, 49258 edges, 10 markings/sec, 2010 secs
lola: 19620 markings, 49373 edges, 10 markings/sec, 2015 secs
lola: 19687 markings, 49544 edges, 13 markings/sec, 2020 secs
lola: 19743 markings, 49679 edges, 11 markings/sec, 2025 secs
lola: 19796 markings, 49792 edges, 11 markings/sec, 2030 secs
lola: 19852 markings, 49931 edges, 11 markings/sec, 2035 secs
lola: 19920 markings, 50115 edges, 14 markings/sec, 2040 secs
lola: 19987 markings, 50285 edges, 13 markings/sec, 2045 secs
lola: 20056 markings, 50485 edges, 14 markings/sec, 2050 secs
lola: 20113 markings, 50649 edges, 11 markings/sec, 2055 secs
lola: 20160 markings, 50805 edges, 9 markings/sec, 2060 secs
lola: 20218 markings, 51006 edges, 12 markings/sec, 2065 secs
lola: 20263 markings, 51117 edges, 9 markings/sec, 2070 secs
lola: 20317 markings, 51300 edges, 11 markings/sec, 2075 secs
lola: 20379 markings, 51479 edges, 12 markings/sec, 2080 secs
lola: 20436 markings, 51623 edges, 11 markings/sec, 2085 secs
lola: 20495 markings, 51762 edges, 12 markings/sec, 2090 secs
lola: 20550 markings, 51890 edges, 11 markings/sec, 2095 secs
lola: 20603 markings, 52020 edges, 11 markings/sec, 2100 secs
lola: 20659 markings, 52154 edges, 11 markings/sec, 2105 secs
lola: 20699 markings, 52246 edges, 8 markings/sec, 2110 secs
lola: 20754 markings, 52384 edges, 11 markings/sec, 2115 secs
lola: 20807 markings, 52510 edges, 11 markings/sec, 2120 secs
lola: 20855 markings, 52623 edges, 10 markings/sec, 2125 secs
lola: 20907 markings, 52748 edges, 10 markings/sec, 2130 secs
lola: 20969 markings, 52926 edges, 12 markings/sec, 2135 secs
lola: 21029 markings, 53088 edges, 12 markings/sec, 2140 secs
lola: 21085 markings, 53269 edges, 11 markings/sec, 2145 secs
lola: 21138 markings, 53405 edges, 11 markings/sec, 2150 secs
lola: 21201 markings, 53579 edges, 13 markings/sec, 2155 secs
lola: 21260 markings, 53736 edges, 12 markings/sec, 2160 secs
lola: 21312 markings, 53847 edges, 10 markings/sec, 2165 secs
lola: 21375 markings, 54028 edges, 13 markings/sec, 2170 secs
lola: 21426 markings, 54153 edges, 10 markings/sec, 2175 secs
lola: 21485 markings, 54372 edges, 12 markings/sec, 2180 secs
lola: 21548 markings, 54580 edges, 13 markings/sec, 2185 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown lola:

preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown
lola:
preliminary result: 12 12 12 6 12 12 12 unknown 12 12 12 12 unknown unknown 12 unknown
lola: memory consumption: 5295892 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552670590222

--------------------
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="GlobalResAllocation-COL-06"
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-3954"
echo " Executing tool lola"
echo " Input is GlobalResAllocation-COL-06, 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 r082-csrt-155246549500479"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-06.tgz
mv GlobalResAllocation-COL-06 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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