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-155246550100848.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 IBMB2S565S3960-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550100848
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 5.6K Feb 11 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 7 05:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 7 05:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.7K Feb 5 00:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K Feb 3 11:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 11:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Jan 31 06:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 31 06:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 127K 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 IBMB2S565S3960-PT-none-UpperBounds-00
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-01
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-02
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-03
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-04
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-05
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-06
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-07
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-08
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-09
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-10
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-11
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-12
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-13
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-14
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552683561634

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ IBMB2S565S3960-PT-none @ 3570 seconds

FORMULA IBMB2S565S3960-PT-none-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-02 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-03 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-04 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-05 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-06 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-07 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-08 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-10 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-13 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-14 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA IBMB2S565S3960-PT-none-UpperBounds-15 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ IBMB2S565S3960-PT-none

{
"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 20:59:21 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(merge.s00002239.input.s00001066)",
"processed_size": 36,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "search",
"value": 1
},
"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": 237
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(merge.s00002240.input.s00001052)",
"processed_size": 36,
"rewrites": 0
},
"result":
{
"edges": 271,
"markings": 272,
"produced_by": "search",
"value": 7
},
"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": 256
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToTask.s00003971.input.s00001052)",
"processed_size": 41,
"rewrites": 0
},
"result":
{
"edges": 131,
"markings": 132,
"produced_by": "search",
"value": 7
},
"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": 277
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToTask.s00003971.input.s00001066)",
"processed_size": 41,
"rewrites": 0
},
"result":
{
"edges": 131,
"markings": 132,
"produced_by": "search",
"value": 7
},
"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": 302
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(fork.s00001298.input.s00001068)",
"processed_size": 35,
"rewrites": 0
},
"result":
{
"edges": 117,
"markings": 118,
"produced_by": "search",
"value": 7
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToTask.s00003964.output.s00001077)",
"processed_size": 42,
"rewrites": 0
},
"result":
{
"edges": 393,
"markings": 394,
"produced_by": "search",
"value": 3
},
"task":
{
"compoundnumber": 6,
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(join.s00002243.input.s00001066)",
"processed_size": 35,
"rewrites": 0
},
"result":
{
"edges": 131,
"markings": 132,
"produced_by": "search",
"value": 7
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 416
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToTask.s00003977.output.s00001077)",
"processed_size": 42,
"rewrites": 0
},
"result":
{
"edges": 405,
"markings": 406,
"produced_by": "search",
"value": 3
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 475
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(decision.s00002055.activated)",
"processed_size": 33,
"rewrites": 0
},
"result":
{
"edges": 106090438,
"markings": 57113812,
"produced_by": "search",
"value": 3
},
"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": 515
},
"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(fork.s00002755.activated.s00001075)",
"processed_size": 39,
"rewrites": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "search",
"value": 1
},
"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": 644
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToProcess.s00003904.output.s00001054)",
"processed_size": 45,
"rewrites": 0
},
"result":
{
"edges": 14,
"markings": 15,
"produced_by": "search",
"value": 2
},
"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": 967
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToTask.s00003975.output.s00001054)",
"processed_size": 42,
"rewrites": 0
},
"result":
{
"edges": 75,
"markings": 76,
"produced_by": "search",
"value": 7
},
"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": 1934
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(callToProcess.s00003880.input.s00001066)",
"processed_size": 44,
"rewrites": 0
},
"result":
{
"edges": 466,
"markings": 467,
"produced_by": "search",
"value": 5
},
"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": 18544,
"runtime": 3570.000000,
"signal": null,
"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": 572,
"conflict_clusters": 171,
"places": 273,
"places_significant": 172,
"singleton_clusters": 0,
"transitions": 179
},
"result":
{
"interim_value": "1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5 ",
"preliminary_value": "1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5 "
},
"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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 452/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8736
lola: finding significant places
lola: 273 places, 179 transitions, 172 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(merge.s00002239.input.s00001066) : MAX(merge.s00001160.activated) : MAX(merge.s00002240.input.s00001052) : MAX(callToTask.s00003971.input.s00001052) : MAX(callToTask.s00003971.input.s00001066) : MAX(fork.s00001298.input.s00001068) : MAX(callToTask.s00003964.output.s00001077) : MAX(join.s00002243.input.s00001066) : MAX(callToTask.s00003977.output.s00001077) : MAX(callToTask.s00003962.input.s00001066) : MAX(decision.s00002055.activated) : MAX(fork.s00002755.activated.s00001075) : MAX(callToTask.s00003970.output.s00001054) : MAX(callToProcess.s00003904.output.s00001054) : MAX(callToTask.s00003975.output.s00001054) : MAX(callToProcess.s00003880.input.s00001066)
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(merge.s00002239.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002239.input.s00001066)
lola: processed formula length: 36
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001160.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001160.activated)
lola: processed formula length: 30
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: 7
lola: 719021 markings, 2311966 edges, 143804 markings/sec, 0 secs
lola: 1322040 markings, 4492393 edges, 120604 markings/sec, 5 secs
lola: 1978179 markings, 6594160 edges, 131228 markings/sec, 10 secs
lola: 2568635 markings, 8633933 edges, 118091 markings/sec, 15 secs
lola: 3158614 markings, 10758551 edges, 117996 markings/sec, 20 secs
lola: 3855333 markings, 13095815 edges, 139344 markings/sec, 25 secs
lola: 4628235 markings, 15254393 edges, 154580 markings/sec, 30 secs
lola: 5372215 markings, 17469397 edges, 148796 markings/sec, 35 secs
lola: 6138669 markings, 19645054 edges, 153291 markings/sec, 40 secs
lola: 7034429 markings, 21936218 edges, 179152 markings/sec, 45 secs
lola: 7639714 markings, 24230259 edges, 121057 markings/sec, 50 secs
lola: 8262988 markings, 26402530 edges, 124655 markings/sec, 55 secs
lola: 9025021 markings, 28577964 edges, 152407 markings/sec, 60 secs
lola: 9728438 markings, 30914692 edges, 140683 markings/sec, 65 secs
lola: 10363133 markings, 33197605 edges, 126939 markings/sec, 70 secs
lola: 11103835 markings, 35438091 edges, 148140 markings/sec, 75 secs
lola: 11688644 markings, 37736406 edges, 116962 markings/sec, 80 secs
lola: 12097645 markings, 40174693 edges, 81800 markings/sec, 85 secs
lola: 12552672 markings, 42429843 edges, 91005 markings/sec, 90 secs
lola: 12977317 markings, 44785801 edges, 84929 markings/sec, 95 secs
lola: 13503367 markings, 47220455 edges, 105210 markings/sec, 100 secs
lola: 14096191 markings, 49538255 edges, 118565 markings/sec, 105 secs
lola: 14707557 markings, 51848032 edges, 122273 markings/sec, 110 secs
lola: 15229719 markings, 54097388 edges, 104432 markings/sec, 115 secs
lola: 15790009 markings, 56221242 edges, 112058 markings/sec, 120 secs
lola: 16373662 markings, 58422545 edges, 116731 markings/sec, 125 secs
lola: 16896754 markings, 60714044 edges, 104618 markings/sec, 130 secs
lola: 17464676 markings, 62885909 edges, 113584 markings/sec, 135 secs
lola: 18090325 markings, 65194957 edges, 125130 markings/sec, 140 secs
lola: 18634579 markings, 67532733 edges, 108851 markings/sec, 145 secs
lola: 19196854 markings, 69887137 edges, 112455 markings/sec, 150 secs
lola: 19781769 markings, 72204686 edges, 116983 markings/sec, 155 secs
lola: 20386708 markings, 74609956 edges, 120988 markings/sec, 160 secs
lola: 20918434 markings, 77003275 edges, 106345 markings/sec, 165 secs
lola: 21438802 markings, 79079224 edges, 104074 markings/sec, 170 secs
lola: 21879563 markings, 81355300 edges, 88152 markings/sec, 175 secs
lola: 22362928 markings, 83514251 edges, 96673 markings/sec, 180 secs
lola: 22941430 markings, 85832865 edges, 115700 markings/sec, 185 secs
lola: 23621144 markings, 88174298 edges, 135943 markings/sec, 190 secs
lola: 24273013 markings, 90593506 edges, 130374 markings/sec, 195 secs
lola: 24769488 markings, 92872985 edges, 99295 markings/sec, 200 secs
lola: 25357540 markings, 95197200 edges, 117610 markings/sec, 205 secs
lola: 25958911 markings, 97506363 edges, 120274 markings/sec, 210 secs
lola: 26550447 markings, 99781821 edges, 118307 markings/sec, 215 secs
lola: 27140100 markings, 102017833 edges, 117931 markings/sec, 220 secs
lola: 27792962 markings, 104397276 edges, 130572 markings/sec, 225 secs
lola: 28520034 markings, 106858130 edges, 145414 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1158476 KB
lola: time consumption: 241 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00002240.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002240.input.s00001052)
lola: processed formula length: 36
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 272 markings, 271 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003971.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003971.input.s00001052)
lola: processed formula length: 41
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003971.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003971.input.s00001066)
lola: processed formula length: 41
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00001298.input.s00001068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(fork.s00001298.input.s00001068)
lola: processed formula length: 35
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 118 markings, 117 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003964.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003964.output.s00001077)
lola: processed formula length: 42
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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 394 markings, 393 edges
lola: ========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(join.s00002243.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(join.s00002243.input.s00001066)
lola: processed formula length: 35
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================
lola: subprocess 8 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003977.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003977.output.s00001077)
lola: processed formula length: 42
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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 406 markings, 405 edges
lola: ========================================
lola: subprocess 9 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003962.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003962.input.s00001066)
lola: processed formula length: 41
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: 7
lola: 1034656 markings, 2441860 edges, 206931 markings/sec, 0 secs
lola: 1940501 markings, 4778518 edges, 181169 markings/sec, 5 secs
lola: 2940260 markings, 7154622 edges, 199952 markings/sec, 10 secs
lola: 3867734 markings, 9453399 edges, 185495 markings/sec, 15 secs
lola: 4739875 markings, 11603895 edges, 174428 markings/sec, 20 secs
lola: 5665774 markings, 13824614 edges, 185180 markings/sec, 25 secs
lola: 6594474 markings, 15991654 edges, 185740 markings/sec, 30 secs
lola: 7503824 markings, 18174247 edges, 181870 markings/sec, 35 secs
lola: 8392474 markings, 20300437 edges, 177730 markings/sec, 40 secs
lola: 9356550 markings, 22575231 edges, 192815 markings/sec, 45 secs
lola: 10236231 markings, 24790536 edges, 175936 markings/sec, 50 secs
lola: 11031525 markings, 27069758 edges, 159059 markings/sec, 55 secs
lola: 11629702 markings, 29341982 edges, 119635 markings/sec, 60 secs
lola: 12350050 markings, 31512294 edges, 144070 markings/sec, 65 secs
lola: 13101827 markings, 33631359 edges, 150355 markings/sec, 70 secs
lola: 13905039 markings, 35655259 edges, 160642 markings/sec, 75 secs
lola: 14588915 markings, 37619871 edges, 136775 markings/sec, 80 secs
lola: 15405706 markings, 39674713 edges, 163358 markings/sec, 85 secs
lola: 16104820 markings, 41685643 edges, 139823 markings/sec, 90 secs
lola: 16968436 markings, 43569411 edges, 172723 markings/sec, 95 secs
lola: 17909821 markings, 45492208 edges, 188277 markings/sec, 100 secs
lola: 18873077 markings, 47668149 edges, 192651 markings/sec, 105 secs
lola: 19609895 markings, 49475041 edges, 147364 markings/sec, 110 secs
lola: 20404589 markings, 51560361 edges, 158939 markings/sec, 115 secs
lola: 21340686 markings, 53643032 edges, 187219 markings/sec, 120 secs
lola: 22296086 markings, 55728444 edges, 191080 markings/sec, 125 secs
lola: 23120795 markings, 57737428 edges, 164942 markings/sec, 130 secs
lola: 24035044 markings, 59760484 edges, 182850 markings/sec, 135 secs
lola: 24913415 markings, 61702151 edges, 175674 markings/sec, 140 secs
lola: 25819937 markings, 63865601 edges, 181304 markings/sec, 145 secs
lola: 26528132 markings, 65901934 edges, 141639 markings/sec, 150 secs
lola: 27171576 markings, 67812612 edges, 128689 markings/sec, 155 secs
lola: 27831429 markings, 69401545 edges, 131971 markings/sec, 160 secs
lola: 28409543 markings, 71218217 edges, 115623 markings/sec, 165 secs
lola: 29013692 markings, 73172876 edges, 120830 markings/sec, 170 secs
lola: 29660402 markings, 75052419 edges, 129342 markings/sec, 175 secs
lola: 30245757 markings, 76792368 edges, 117071 markings/sec, 180 secs
lola: 30896513 markings, 78675925 edges, 130151 markings/sec, 185 secs
lola: 31739448 markings, 80712049 edges, 168587 markings/sec, 190 secs
lola: 32579930 markings, 82719201 edges, 168096 markings/sec, 195 secs
lola: 33490064 markings, 84689439 edges, 182027 markings/sec, 200 secs
lola: 34440770 markings, 86727923 edges, 190141 markings/sec, 205 secs
lola: 35305746 markings, 88796210 edges, 172995 markings/sec, 210 secs
lola: 36097484 markings, 90777683 edges, 158348 markings/sec, 215 secs
lola: 36907919 markings, 92791569 edges, 162087 markings/sec, 220 secs
lola: 37569065 markings, 94876625 edges, 132229 markings/sec, 225 secs
lola: 38256370 markings, 96928750 edges, 137461 markings/sec, 230 secs
lola: 39043268 markings, 99081361 edges, 157380 markings/sec, 235 secs
lola: 39809806 markings, 101082329 edges, 153308 markings/sec, 240 secs
lola: 40480253 markings, 102919748 edges, 134089 markings/sec, 245 secs
lola: 41180466 markings, 104770804 edges, 140043 markings/sec, 250 secs
lola: 41777392 markings, 106459608 edges, 119385 markings/sec, 255 secs
lola: 42410502 markings, 108136519 edges, 126622 markings/sec, 260 secs
lola: 43067295 markings, 109828078 edges, 131359 markings/sec, 265 secs
lola: 43675335 markings, 111541537 edges, 121608 markings/sec, 270 secs
lola: 44391214 markings, 113324632 edges, 143176 markings/sec, 275 secs
lola: 44993589 markings, 115077187 edges, 120475 markings/sec, 280 secs
lola: 45762394 markings, 117022379 edges, 153761 markings/sec, 285 secs
lola: 46494629 markings, 119103224 edges, 146447 markings/sec, 290 secs
lola: 47334456 markings, 121229708 edges, 167965 markings/sec, 295 secs
lola: 48028397 markings, 123217507 edges, 138788 markings/sec, 300 secs
lola: 48802390 markings, 125241710 edges, 154799 markings/sec, 305 secs
lola: 49764862 markings, 127542617 edges, 192494 markings/sec, 310 secs
lola: 50416048 markings, 129364269 edges, 130237 markings/sec, 315 secs
lola: 51233839 markings, 131232845 edges, 163558 markings/sec, 320 secs
lola: 51996664 markings, 133075100 edges, 152565 markings/sec, 325 secs
lola: 52772387 markings, 135017077 edges, 155145 markings/sec, 330 secs
lola: 53500425 markings, 136856545 edges, 145608 markings/sec, 335 secs
lola: 54207190 markings, 138613078 edges, 141353 markings/sec, 340 secs
lola: 54960433 markings, 140398086 edges, 150649 markings/sec, 345 secs
lola: 55573884 markings, 142423777 edges, 122690 markings/sec, 350 secs
lola: 56111551 markings, 144431355 edges, 107533 markings/sec, 355 secs
lola: 56797026 markings, 146459982 edges, 137095 markings/sec, 360 secs
lola: 57520494 markings, 148507248 edges, 144694 markings/sec, 365 secs
lola: 58303879 markings, 150489788 edges, 156677 markings/sec, 370 secs
lola: 58947214 markings, 152327152 edges, 128667 markings/sec, 375 secs
lola: 59766970 markings, 154413836 edges, 163951 markings/sec, 380 secs
lola: 60426959 markings, 156303675 edges, 131998 markings/sec, 385 secs
lola: 61268946 markings, 158252843 edges, 168397 markings/sec, 390 secs
lola: 62263931 markings, 160294513 edges, 198997 markings/sec, 395 secs
lola: 63184863 markings, 162289130 edges, 184186 markings/sec, 400 secs
lola: 63971919 markings, 164162170 edges, 157411 markings/sec, 405 secs
lola: 64711677 markings, 166187575 edges, 147952 markings/sec, 410 secs
lola: 65555383 markings, 168147420 edges, 168741 markings/sec, 415 secs
lola: 66572401 markings, 170326976 edges, 203404 markings/sec, 420 secs
lola: 67400065 markings, 172349335 edges, 165533 markings/sec, 425 secs
lola: 68292839 markings, 174320552 edges, 178555 markings/sec, 430 secs
lola: 69160107 markings, 176242852 edges, 173454 markings/sec, 435 secs
lola: 70153853 markings, 178438004 edges, 198749 markings/sec, 440 secs
lola: 71066076 markings, 180756724 edges, 182445 markings/sec, 445 secs
lola: 71804820 markings, 182756394 edges, 147749 markings/sec, 450 secs
lola: 72573899 markings, 184793278 edges, 153816 markings/sec, 455 secs
lola: 73486642 markings, 186883759 edges, 182549 markings/sec, 460 secs
lola: 74356292 markings, 188902631 edges, 173930 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2985844 KB
lola: time consumption: 717 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 10 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(decision.s00002055.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(decision.s00002055.activated)
lola: processed formula length: 33
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: 3
lola: 1226511 markings, 2110634 edges, 245302 markings/sec, 0 secs
lola: 2331403 markings, 4149604 edges, 220978 markings/sec, 5 secs
lola: 3251569 markings, 5951544 edges, 184033 markings/sec, 10 secs
lola: 4411172 markings, 7945754 edges, 231921 markings/sec, 15 secs
lola: 5668519 markings, 9969198 edges, 251469 markings/sec, 20 secs
lola: 6786797 markings, 11832750 edges, 223656 markings/sec, 25 secs
lola: 7755743 markings, 13594579 edges, 193789 markings/sec, 30 secs
lola: 8913970 markings, 15570411 edges, 231645 markings/sec, 35 secs
lola: 9922444 markings, 17441235 edges, 201695 markings/sec, 40 secs
lola: 10735853 markings, 19051425 edges, 162682 markings/sec, 45 secs
lola: 11861672 markings, 20994683 edges, 225164 markings/sec, 50 secs
lola: 12954884 markings, 23012418 edges, 218642 markings/sec, 55 secs
lola: 13858123 markings, 24771412 edges, 180648 markings/sec, 60 secs
lola: 15081085 markings, 26767962 edges, 244592 markings/sec, 65 secs
lola: 16455523 markings, 28990577 edges, 274888 markings/sec, 70 secs
lola: 17674521 markings, 31122274 edges, 243800 markings/sec, 75 secs
lola: 18687220 markings, 32974821 edges, 202540 markings/sec, 80 secs
lola: 19738260 markings, 34949975 edges, 210208 markings/sec, 85 secs
lola: 20860489 markings, 36951788 edges, 224446 markings/sec, 90 secs
lola: 22033574 markings, 39007753 edges, 234617 markings/sec, 95 secs
lola: 23118086 markings, 40992832 edges, 216902 markings/sec, 100 secs
lola: 24254684 markings, 42986652 edges, 227320 markings/sec, 105 secs
lola: 25385485 markings, 44964479 edges, 226160 markings/sec, 110 secs
lola: 26525315 markings, 46945038 edges, 227966 markings/sec, 115 secs
lola: 27755271 markings, 49080680 edges, 245991 markings/sec, 120 secs
lola: 28763962 markings, 50909160 edges, 201738 markings/sec, 125 secs
lola: 29756795 markings, 52931520 edges, 198567 markings/sec, 130 secs
lola: 30630225 markings, 54727630 edges, 174686 markings/sec, 135 secs
lola: 31548724 markings, 56387090 edges, 183700 markings/sec, 140 secs
lola: 32432831 markings, 58444567 edges, 176821 markings/sec, 145 secs
lola: 33414628 markings, 60490864 edges, 196359 markings/sec, 150 secs
lola: 34350941 markings, 62422934 edges, 187263 markings/sec, 155 secs
lola: 35564024 markings, 64532439 edges, 242617 markings/sec, 160 secs
lola: 36856969 markings, 66702757 edges, 258589 markings/sec, 165 secs
lola: 37906441 markings, 68740580 edges, 209894 markings/sec, 170 secs
lola: 39080833 markings, 70935624 edges, 234878 markings/sec, 175 secs
lola: 40290011 markings, 73086051 edges, 241836 markings/sec, 180 secs
lola: 41465903 markings, 75189337 edges, 235178 markings/sec, 185 secs
lola: 42638217 markings, 77247939 edges, 234463 markings/sec, 190 secs
lola: 43844911 markings, 79398079 edges, 241339 markings/sec, 195 secs
lola: 44998536 markings, 81475202 edges, 230725 markings/sec, 200 secs
lola: 45752619 markings, 83291558 edges, 150817 markings/sec, 205 secs
lola: 46355988 markings, 84703104 edges, 120674 markings/sec, 210 secs
lola: 46925600 markings, 86400662 edges, 113922 markings/sec, 215 secs
lola: 47475235 markings, 87870902 edges, 109927 markings/sec, 220 secs
lola: 48175229 markings, 89458191 edges, 139999 markings/sec, 225 secs
lola: 49194039 markings, 91351129 edges, 203762 markings/sec, 230 secs
lola: 50156003 markings, 93270217 edges, 192393 markings/sec, 235 secs
lola: 51167224 markings, 95096882 edges, 202244 markings/sec, 240 secs
lola: 51932179 markings, 96734231 edges, 152991 markings/sec, 245 secs
lola: 52783221 markings, 98332647 edges, 170208 markings/sec, 250 secs
lola: 53799275 markings, 100045254 edges, 203211 markings/sec, 255 secs
lola: 55051282 markings, 102238487 edges, 250401 markings/sec, 260 secs
lola: 56226226 markings, 104362122 edges, 234989 markings/sec, 265 secs
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 57113812 markings, 106090438 edges
lola: ========================================
lola: subprocess 11 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00002755.activated.s00001075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(fork.s00002755.activated.s00001075)
lola: processed formula length: 39
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003970.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003970.output.s00001054)
lola: processed formula length: 42
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: 7
lola: 944729 markings, 2123523 edges, 188946 markings/sec, 0 secs
lola: 1913608 markings, 4255329 edges, 193776 markings/sec, 5 secs
lola: 2939121 markings, 6370927 edges, 205103 markings/sec, 10 secs
lola: 3838515 markings, 8414530 edges, 179879 markings/sec, 15 secs
lola: 4554339 markings, 10139750 edges, 143165 markings/sec, 20 secs
lola: 5362850 markings, 12069433 edges, 161702 markings/sec, 25 secs
lola: 6277258 markings, 14075635 edges, 182882 markings/sec, 30 secs
lola: 7235729 markings, 16036557 edges, 191694 markings/sec, 35 secs
lola: 8124875 markings, 17787902 edges, 177829 markings/sec, 40 secs
lola: 8894204 markings, 19635135 edges, 153866 markings/sec, 45 secs
lola: 9795270 markings, 21597105 edges, 180213 markings/sec, 50 secs
lola: 10721990 markings, 23490096 edges, 185344 markings/sec, 55 secs
lola: 11559701 markings, 25248225 edges, 167542 markings/sec, 60 secs
lola: 12426539 markings, 27262123 edges, 173368 markings/sec, 65 secs
lola: 13365111 markings, 29245342 edges, 187714 markings/sec, 70 secs
lola: 14230978 markings, 31018904 edges, 173173 markings/sec, 75 secs
lola: 14993228 markings, 33068961 edges, 152450 markings/sec, 80 secs
lola: 15619069 markings, 35036397 edges, 125168 markings/sec, 85 secs
lola: 16183624 markings, 37022174 edges, 112911 markings/sec, 90 secs
lola: 16705390 markings, 38980643 edges, 104353 markings/sec, 95 secs
lola: 17625395 markings, 41181932 edges, 184001 markings/sec, 100 secs
lola: 18485808 markings, 43241645 edges, 172083 markings/sec, 105 secs
lola: 19209585 markings, 45115153 edges, 144755 markings/sec, 110 secs
lola: 20129338 markings, 47255744 edges, 183951 markings/sec, 115 secs
lola: 20928392 markings, 49241367 edges, 159811 markings/sec, 120 secs
lola: 21675764 markings, 51121410 edges, 149474 markings/sec, 125 secs
lola: 22588339 markings, 53281700 edges, 182515 markings/sec, 130 secs
lola: 23372687 markings, 55307762 edges, 156870 markings/sec, 135 secs
lola: 24322277 markings, 57388998 edges, 189918 markings/sec, 140 secs
lola: 25513258 markings, 59698059 edges, 238196 markings/sec, 145 secs
lola: 26667244 markings, 62072365 edges, 230797 markings/sec, 150 secs
lola: 27613596 markings, 64222005 edges, 189270 markings/sec, 155 secs
lola: 28589363 markings, 66446971 edges, 195153 markings/sec, 160 secs
lola: 29724372 markings, 68725429 edges, 227002 markings/sec, 165 secs
lola: 30775437 markings, 71025175 edges, 210213 markings/sec, 170 secs
lola: 31870099 markings, 73306431 edges, 218932 markings/sec, 175 secs
lola: 32807680 markings, 75250672 edges, 187516 markings/sec, 180 secs
lola: 33852734 markings, 77386298 edges, 209011 markings/sec, 185 secs
lola: 34843669 markings, 79392407 edges, 198187 markings/sec, 190 secs
lola: 35682001 markings, 81351776 edges, 167666 markings/sec, 195 secs
lola: 36495812 markings, 83307663 edges, 162762 markings/sec, 200 secs
lola: 37246364 markings, 84925700 edges, 150110 markings/sec, 205 secs
lola: 37967142 markings, 86807518 edges, 144156 markings/sec, 210 secs
lola: 38811531 markings, 88923873 edges, 168878 markings/sec, 215 secs
lola: 39544768 markings, 90695818 edges, 146647 markings/sec, 220 secs
lola: 40390560 markings, 92582636 edges, 169158 markings/sec, 225 secs
lola: 41437085 markings, 94500671 edges, 209305 markings/sec, 230 secs
lola: 42442208 markings, 96482211 edges, 201025 markings/sec, 235 secs
lola: 43329644 markings, 98564054 edges, 177487 markings/sec, 240 secs
lola: 44379362 markings, 100703031 edges, 209944 markings/sec, 245 secs
lola: 45426198 markings, 102835886 edges, 209367 markings/sec, 250 secs
lola: 46457712 markings, 104938117 edges, 206303 markings/sec, 255 secs
lola: 47370043 markings, 106871929 edges, 182466 markings/sec, 260 secs
lola: 48007308 markings, 108419131 edges, 127453 markings/sec, 265 secs
lola: 48551059 markings, 109988784 edges, 108750 markings/sec, 270 secs
lola: 49144975 markings, 111559835 edges, 118783 markings/sec, 275 secs
lola: 49908099 markings, 113324925 edges, 152625 markings/sec, 280 secs
lola: 50745572 markings, 115299016 edges, 167495 markings/sec, 285 secs
lola: 51726378 markings, 117316416 edges, 196161 markings/sec, 290 secs
lola: 52472577 markings, 119152200 edges, 149240 markings/sec, 295 secs
lola: 53407314 markings, 120774556 edges, 186947 markings/sec, 300 secs
lola: 54418594 markings, 122715789 edges, 202256 markings/sec, 305 secs
lola: 55306358 markings, 124793619 edges, 177553 markings/sec, 310 secs
lola: 56275028 markings, 126830843 edges, 193734 markings/sec, 315 secs
lola: 57168911 markings, 128645525 edges, 178777 markings/sec, 320 secs
lola: 57968775 markings, 130705063 edges, 159973 markings/sec, 325 secs
lola: 58732909 markings, 132803641 edges, 152827 markings/sec, 330 secs
lola: 59300497 markings, 134633087 edges, 113518 markings/sec, 335 secs
lola: 60060331 markings, 136592572 edges, 151967 markings/sec, 340 secs
lola: 60889742 markings, 138616186 edges, 165882 markings/sec, 345 secs
lola: 61530019 markings, 140317309 edges, 128055 markings/sec, 350 secs
lola: 62342303 markings, 142208670 edges, 162457 markings/sec, 355 secs
lola: 63101310 markings, 144035276 edges, 151801 markings/sec, 360 secs
lola: 63796360 markings, 145753023 edges, 139010 markings/sec, 365 secs
lola: 64414142 markings, 147348831 edges, 123556 markings/sec, 370 secs
lola: 65174281 markings, 149142857 edges, 152028 markings/sec, 375 secs
lola: 65919726 markings, 150915113 edges, 149089 markings/sec, 380 secs
lola: 66471942 markings, 152403992 edges, 110443 markings/sec, 385 secs
lola: 67248303 markings, 154198504 edges, 155272 markings/sec, 390 secs
lola: 67970204 markings, 155971832 edges, 144380 markings/sec, 395 secs
lola: 68615520 markings, 157619832 edges, 129063 markings/sec, 400 secs
lola: 69250509 markings, 159204138 edges, 126998 markings/sec, 405 secs
lola: 70099689 markings, 161207812 edges, 169836 markings/sec, 410 secs
lola: 70885326 markings, 163085383 edges, 157127 markings/sec, 415 secs
lola: 71493926 markings, 164711056 edges, 121720 markings/sec, 420 secs
lola: 72399713 markings, 166863373 edges, 181157 markings/sec, 425 secs
lola: 73217366 markings, 168777457 edges, 163531 markings/sec, 430 secs
lola: 73831652 markings, 170442339 edges, 122857 markings/sec, 435 secs
lola: 74702715 markings, 172483450 edges, 174213 markings/sec, 440 secs
lola: 75558592 markings, 174512936 edges, 171175 markings/sec, 445 secs
lola: 76197556 markings, 176238776 edges, 127793 markings/sec, 450 secs
lola: 76964929 markings, 178102261 edges, 153475 markings/sec, 455 secs
lola: 77759688 markings, 179940949 edges, 158952 markings/sec, 460 secs
lola: 78610432 markings, 182000514 edges, 170149 markings/sec, 465 secs
lola: 79630982 markings, 184171918 edges, 204110 markings/sec, 470 secs
lola: 80535839 markings, 186055800 edges, 180971 markings/sec, 475 secs
lola: 81358011 markings, 187870301 edges, 164434 markings/sec, 480 secs
lola: 82103263 markings, 189668176 edges, 149050 markings/sec, 485 secs
lola: 82858299 markings, 191552344 edges, 151007 markings/sec, 490 secs
lola: 83879502 markings, 193705180 edges, 204241 markings/sec, 495 secs
lola: 84768619 markings, 195595359 edges, 177823 markings/sec, 500 secs
lola: 85630522 markings, 197593985 edges, 172381 markings/sec, 505 secs
lola: 86321463 markings, 199632604 edges, 138188 markings/sec, 510 secs
lola: 86974831 markings, 201761479 edges, 130674 markings/sec, 515 secs
lola: 87402120 markings, 203490361 edges, 85458 markings/sec, 520 secs
lola: 88197947 markings, 205571631 edges, 159165 markings/sec, 525 secs
lola: 89014923 markings, 207584718 edges, 163395 markings/sec, 530 secs
lola: 89696046 markings, 209342837 edges, 136225 markings/sec, 535 secs
lola: 90514772 markings, 211267508 edges, 163745 markings/sec, 540 secs
lola: 91228364 markings, 213023792 edges, 142718 markings/sec, 545 secs
lola: 91886071 markings, 214717797 edges, 131541 markings/sec, 550 secs
lola: 92513987 markings, 216260867 edges, 125583 markings/sec, 555 secs
lola: 93326655 markings, 218195304 edges, 162534 markings/sec, 560 secs
lola: 94111300 markings, 220037762 edges, 156929 markings/sec, 565 secs
lola: 94712557 markings, 221668798 edges, 120251 markings/sec, 570 secs
lola: 95886215 markings, 223970073 edges, 234732 markings/sec, 575 secs
lola: 97074874 markings, 226256891 edges, 237732 markings/sec, 580 secs
lola: 98064477 markings, 228460406 edges, 197921 markings/sec, 585 secs
lola: 98998201 markings, 230617560 edges, 186745 markings/sec, 590 secs
lola: 99999419 markings, 232772850 edges, 200244 markings/sec, 595 secs
lola: 101111507 markings, 235047916 edges, 222418 markings/sec, 600 secs
lola: 102059149 markings, 237137048 edges, 189528 markings/sec, 605 secs
lola: 103016144 markings, 239125193 edges, 191399 markings/sec, 610 secs
lola: 103946880 markings, 241053203 edges, 186147 markings/sec, 615 secs
lola: 104996754 markings, 243183079 edges, 209975 markings/sec, 620 secs
lola: 106015912 markings, 245276083 edges, 203832 markings/sec, 625 secs
lola: 106892515 markings, 247369924 edges, 175321 markings/sec, 630 secs
lola: 107700450 markings, 249319056 edges, 161587 markings/sec, 635 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown unknown unknown unknown
lola: memory consumption: 4239348 KB
lola: time consumption: 1636 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 13 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003904.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003904.output.s00001054)
lola: processed formula length: 45
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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 15 markings, 14 edges
lola: ========================================
lola: subprocess 14 will run for 967 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003975.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003975.output.s00001054)
lola: processed formula length: 42
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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 76 markings, 75 edges
lola: ========================================
lola: subprocess 15 will run for 1934 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003880.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003880.input.s00001066)
lola: processed formula length: 44
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 467 markings, 466 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001160.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001160.activated)
lola: processed formula length: 30
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: 7
lola: 748466 markings, 2406087 edges, 149693 markings/sec, 0 secs
lola: 1409528 markings, 4764938 edges, 132212 markings/sec, 5 secs
lola: 2116844 markings, 7096129 edges, 141463 markings/sec, 10 secs
lola: 2775913 markings, 9304512 edges, 131814 markings/sec, 15 secs
lola: 3380486 markings, 11592149 edges, 120915 markings/sec, 20 secs
lola: 4055267 markings, 13781529 edges, 134956 markings/sec, 25 secs
lola: 4825455 markings, 15868866 edges, 154038 markings/sec, 30 secs
lola: 5555625 markings, 17991194 edges, 146034 markings/sec, 35 secs
lola: 6235683 markings, 19892992 edges, 136012 markings/sec, 40 secs
lola: 7022643 markings, 21899951 edges, 157392 markings/sec, 45 secs
lola: 7549523 markings, 23880885 edges, 105376 markings/sec, 50 secs
lola: 8144253 markings, 25991704 edges, 118946 markings/sec, 55 secs
lola: 8836084 markings, 28019130 edges, 138366 markings/sec, 60 secs
lola: 9521666 markings, 30166393 edges, 137116 markings/sec, 65 secs
lola: 10125201 markings, 32375501 edges, 120707 markings/sec, 70 secs
lola: 10787106 markings, 34463371 edges, 132381 markings/sec, 75 secs
lola: 11498405 markings, 36589103 edges, 142260 markings/sec, 80 secs
lola: 11864116 markings, 38765867 edges, 73142 markings/sec, 85 secs
lola: 12239910 markings, 41015432 edges, 75159 markings/sec, 90 secs
lola: 12699699 markings, 43280661 edges, 91958 markings/sec, 95 secs
lola: 13144227 markings, 45626252 edges, 88906 markings/sec, 100 secs
lola: 13671645 markings, 47942901 edges, 105484 markings/sec, 105 secs
lola: 14249929 markings, 50163042 edges, 115657 markings/sec, 110 secs
lola: 14841273 markings, 52339686 edges, 118269 markings/sec, 115 secs
lola: 15329805 markings, 54525358 edges, 97706 markings/sec, 120 secs
lola: 15871767 markings, 56583610 edges, 108392 markings/sec, 125 secs
lola: 16451147 markings, 58705296 edges, 115876 markings/sec, 130 secs
lola: 16951587 markings, 60946557 edges, 100088 markings/sec, 135 secs
lola: 17506311 markings, 63061187 edges, 110945 markings/sec, 140 secs
lola: 18110187 markings, 65272442 edges, 120775 markings/sec, 145 secs
lola: 18603075 markings, 67420343 edges, 98578 markings/sec, 150 secs
lola: 19107843 markings, 69513880 edges, 100954 markings/sec, 155 secs
lola: 19598179 markings, 71531709 edges, 98067 markings/sec, 160 secs
lola: 20169996 markings, 73667600 edges, 114363 markings/sec, 165 secs
lola: 20696131 markings, 75982544 edges, 105227 markings/sec, 170 secs
lola: 21200008 markings, 78112226 edges, 100775 markings/sec, 175 secs
lola: 21647839 markings, 80250224 edges, 89566 markings/sec, 180 secs
lola: 22125765 markings, 82459021 edges, 95585 markings/sec, 185 secs
lola: 22589913 markings, 84559763 edges, 92830 markings/sec, 190 secs
lola: 23227048 markings, 86823357 edges, 127427 markings/sec, 195 secs
lola: 23904142 markings, 89167464 edges, 135419 markings/sec, 200 secs
lola: 24422922 markings, 91381953 edges, 103756 markings/sec, 205 secs
lola: 24969577 markings, 93703527 edges, 109331 markings/sec, 210 secs
lola: 25545262 markings, 95920577 edges, 115137 markings/sec, 215 secs
lola: 26121226 markings, 98130982 edges, 115193 markings/sec, 220 secs
lola: 26674096 markings, 100255722 edges, 110574 markings/sec, 225 secs
lola: 27275001 markings, 102457579 edges, 120181 markings/sec, 230 secs
lola: 27893942 markings, 104782021 edges, 123788 markings/sec, 235 secs
lola: 28595554 markings, 107115938 edges, 140322 markings/sec, 240 secs
lola: 29131820 markings, 108977828 edges, 107253 markings/sec, 245 secs
lola: 29618039 markings, 110909975 edges, 97244 markings/sec, 250 secs
lola: 30264214 markings, 113059276 edges, 129235 markings/sec, 255 secs
lola: 30865677 markings, 115219572 edges, 120293 markings/sec, 260 secs
lola: 31483578 markings, 117448005 edges, 123580 markings/sec, 265 secs
lola: 32026133 markings, 119312288 edges, 108511 markings/sec, 270 secs
lola: 32571791 markings, 120898307 edges, 109132 markings/sec, 275 secs
lola: 33158124 markings, 122560499 edges, 117267 markings/sec, 280 secs
lola: 33599433 markings, 124627123 edges, 88262 markings/sec, 285 secs
lola: 34065246 markings, 126594700 edges, 93163 markings/sec, 290 secs
lola: 34599178 markings, 128564344 edges, 106786 markings/sec, 295 secs
lola: 35136918 markings, 130386027 edges, 107548 markings/sec, 300 secs
lola: 35633869 markings, 132218030 edges, 99390 markings/sec, 305 secs
lola: 36150741 markings, 134086994 edges, 103374 markings/sec, 310 secs
lola: 36689851 markings, 135944346 edges, 107822 markings/sec, 315 secs
lola: 37203542 markings, 138057302 edges, 102738 markings/sec, 320 secs
lola: 37725043 markings, 140137031 edges, 104300 markings/sec, 325 secs
lola: 38459750 markings, 142171202 edges, 146941 markings/sec, 330 secs
lola: 39211814 markings, 144234538 edges, 150413 markings/sec, 335 secs
lola: 39990544 markings, 146342749 edges, 155746 markings/sec, 340 secs
lola: 40836521 markings, 148569411 edges, 169195 markings/sec, 345 secs
lola: 41523685 markings, 150862713 edges, 137433 markings/sec, 350 secs
lola: 42170548 markings, 153140912 edges, 129373 markings/sec, 355 secs
lola: 42912573 markings, 155376215 edges, 148405 markings/sec, 360 secs
lola: 43640083 markings, 157591091 edges, 145502 markings/sec, 365 secs
lola: 44084836 markings, 159966053 edges, 88951 markings/sec, 370 secs
lola: 44582792 markings, 162120777 edges, 99591 markings/sec, 375 secs
lola: 45004026 markings, 164123486 edges, 84247 markings/sec, 380 secs
lola: 45480427 markings, 166191590 edges, 95280 markings/sec, 385 secs
lola: 45955428 markings, 168290308 edges, 95000 markings/sec, 390 secs
lola: 46574920 markings, 170586274 edges, 123898 markings/sec, 395 secs
lola: 47131662 markings, 172752183 edges, 111348 markings/sec, 400 secs
lola: 47636242 markings, 174914591 edges, 100916 markings/sec, 405 secs
lola: 48199156 markings, 177026663 edges, 112583 markings/sec, 410 secs
lola: 48763132 markings, 179132228 edges, 112795 markings/sec, 415 secs
lola: 49214137 markings, 181147809 edges, 90201 markings/sec, 420 secs
lola: 49697915 markings, 182956701 edges, 96756 markings/sec, 425 secs
lola: 50152227 markings, 184698914 edges, 90862 markings/sec, 430 secs
lola: 50623432 markings, 186591856 edges, 94241 markings/sec, 435 secs
lola: 51035371 markings, 188371014 edges, 82388 markings/sec, 440 secs
lola: 51492091 markings, 190077993 edges, 91344 markings/sec, 445 secs
lola: 51975301 markings, 191858364 edges, 96642 markings/sec, 450 secs
lola: 52483331 markings, 194046132 edges, 101606 markings/sec, 455 secs
lola: 53036305 markings, 196157778 edges, 110595 markings/sec, 460 secs
lola: 53574467 markings, 198232334 edges, 107632 markings/sec, 465 secs
lola: 54122498 markings, 200503989 edges, 109606 markings/sec, 470 secs
lola: 54696402 markings, 202775249 edges, 114781 markings/sec, 475 secs
lola: 55307228 markings, 205070666 edges, 122165 markings/sec, 480 secs
lola: 55871396 markings, 207453438 edges, 112834 markings/sec, 485 secs
lola: 56493789 markings, 209850807 edges, 124479 markings/sec, 490 secs
lola: 57115802 markings, 212194038 edges, 124403 markings/sec, 495 secs
lola: 57738448 markings, 214470365 edges, 124529 markings/sec, 500 secs
lola: 58412010 markings, 216796803 edges, 134712 markings/sec, 505 secs
lola: 59062103 markings, 219074955 edges, 130019 markings/sec, 510 secs
lola: 59798644 markings, 221206591 edges, 147308 markings/sec, 515 secs
lola: 60570788 markings, 223395854 edges, 154429 markings/sec, 520 secs
lola: 61271180 markings, 225539035 edges, 140078 markings/sec, 525 secs
lola: 61866625 markings, 227696067 edges, 119089 markings/sec, 530 secs
lola: 62503387 markings, 230037814 edges, 127352 markings/sec, 535 secs
lola: 63099990 markings, 232080188 edges, 119321 markings/sec, 540 secs
lola: 63872755 markings, 234161152 edges, 154553 markings/sec, 545 secs
lola: 64620067 markings, 236227899 edges, 149462 markings/sec, 550 secs
lola: 65069312 markings, 238601211 edges, 89849 markings/sec, 555 secs
lola: 65469669 markings, 241003456 edges, 80071 markings/sec, 560 secs
lola: 65949745 markings, 243375244 edges, 96015 markings/sec, 565 secs
lola: 66380821 markings, 245721321 edges, 86215 markings/sec, 570 secs
lola: 66904345 markings, 248034373 edges, 104705 markings/sec, 575 secs
lola: 67481508 markings, 250249460 edges, 115433 markings/sec, 580 secs
lola: 68056201 markings, 252406887 edges, 114939 markings/sec, 585 secs
lola: 68524011 markings, 254422050 edges, 93562 markings/sec, 590 secs
lola: 69006279 markings, 256399202 edges, 96454 markings/sec, 595 secs
lola: 69516607 markings, 258268970 edges, 102066 markings/sec, 600 secs
lola: 70010321 markings, 260196122 edges, 98743 markings/sec, 605 secs
lola: 70493521 markings, 262261536 edges, 96640 markings/sec, 610 secs
lola: 70999470 markings, 264176610 edges, 101190 markings/sec, 615 secs
lola: 71561934 markings, 266236667 edges, 112493 markings/sec, 620 secs
lola: 72098074 markings, 268562956 edges, 107228 markings/sec, 625 secs
lola: 72675902 markings, 270934592 edges, 115566 markings/sec, 630 secs
lola: 73243565 markings, 273215684 edges, 113533 markings/sec, 635 secs
lola: 73876103 markings, 275651129 edges, 126508 markings/sec, 640 secs
lola: 74401160 markings, 278052346 edges, 105011 markings/sec, 645 secs
lola: 74957130 markings, 280238811 edges, 111194 markings/sec, 650 secs
lola: 75407351 markings, 282590111 edges, 90044 markings/sec, 655 secs
lola: 75901936 markings, 284801734 edges, 98917 markings/sec, 660 secs
lola: 76493357 markings, 287173350 edges, 118284 markings/sec, 665 secs
lola: 77173390 markings, 289515871 edges, 136007 markings/sec, 670 secs
lola: 77819491 markings, 291914864 edges, 129220 markings/sec, 675 secs
lola: 78305479 markings, 294152639 edges, 97198 markings/sec, 680 secs
lola: 78883436 markings, 296436638 edges, 115591 markings/sec, 685 secs
lola: 79480938 markings, 298732970 edges, 119500 markings/sec, 690 secs
lola: 80071780 markings, 300994126 edges, 118168 markings/sec, 695 secs
lola: 80643610 markings, 303196822 edges, 114366 markings/sec, 700 secs
lola: 81291390 markings, 305511217 edges, 129556 markings/sec, 705 secs
lola: 81984444 markings, 307906263 edges, 138611 markings/sec, 710 secs
lola: 82525990 markings, 309983729 edges, 108309 markings/sec, 715 secs
lola: 83181566 markings, 312020439 edges, 131115 markings/sec, 720 secs
lola: 83775567 markings, 314043238 edges, 118800 markings/sec, 725 secs
lola: 84408502 markings, 316023740 edges, 126587 markings/sec, 730 secs
lola: 85021369 markings, 317978270 edges, 122573 markings/sec, 735 secs
lola: 85565126 markings, 319931710 edges, 108751 markings/sec, 740 secs
lola: 86103763 markings, 321632931 edges, 107727 markings/sec, 745 secs
lola: 86649802 markings, 323155696 edges, 109208 markings/sec, 750 secs
lola: 87216525 markings, 324744795 edges, 113345 markings/sec, 755 secs
lola: 87870504 markings, 326341590 edges, 130796 markings/sec, 760 secs
lola: 88343149 markings, 328374462 edges, 94529 markings/sec, 765 secs
lola: 88777139 markings, 330368660 edges, 86798 markings/sec, 770 secs
lola: 89287457 markings, 332418537 edges, 102064 markings/sec, 775 secs
lola: 89885616 markings, 334510900 edges, 119632 markings/sec, 780 secs
lola: 90508714 markings, 336557486 edges, 124620 markings/sec, 785 secs
lola: 91031507 markings, 338333327 edges, 104559 markings/sec, 790 secs
lola: 91551288 markings, 340109078 edges, 103956 markings/sec, 795 secs
lola: 92152449 markings, 342015524 edges, 120232 markings/sec, 800 secs
lola: 92695520 markings, 344001858 edges, 108614 markings/sec, 805 secs
lola: 93415961 markings, 346017797 edges, 144088 markings/sec, 810 secs
lola: 94397651 markings, 348117281 edges, 196338 markings/sec, 815 secs
lola: 95360411 markings, 350176368 edges, 192552 markings/sec, 820 secs
lola: 96389803 markings, 352383718 edges, 205878 markings/sec, 825 secs
lola: 97329318 markings, 354496354 edges, 187903 markings/sec, 830 secs
lola: 98016402 markings, 356575429 edges, 137417 markings/sec, 835 secs
lola: 98725234 markings, 358675238 edges, 141766 markings/sec, 840 secs
lola: 99527906 markings, 360744659 edges, 160534 markings/sec, 845 secs
lola: 99956473 markings, 362481753 edges, 85713 markings/sec, 850 secs
lola: 100428903 markings, 364199785 edges, 94486 markings/sec, 855 secs
lola: 100960770 markings, 365860041 edges, 106373 markings/sec, 860 secs
lola: 101576022 markings, 367776365 edges, 123050 markings/sec, 865 secs
lola: 102202166 markings, 369733399 edges, 125229 markings/sec, 870 secs
lola: 102819064 markings, 371659606 edges, 123380 markings/sec, 875 secs
lola: 103437113 markings, 373500058 edges, 123610 markings/sec, 880 secs
lola: 104079317 markings, 375340858 edges, 128441 markings/sec, 885 secs
lola: 104710233 markings, 377154348 edges, 126183 markings/sec, 890 secs
lola: 105325548 markings, 378927020 edges, 123063 markings/sec, 895 secs
lola: 106000202 markings, 380885916 edges, 134931 markings/sec, 900 secs
lola: 106744325 markings, 383007536 edges, 148825 markings/sec, 905 secs
lola: 107527095 markings, 385239264 edges, 156554 markings/sec, 910 secs
lola: 108207607 markings, 387212432 edges, 136102 markings/sec, 915 secs
lola: 108799867 markings, 389006465 edges, 118452 markings/sec, 920 secs
lola: 109410472 markings, 390777433 edges, 122121 markings/sec, 925 secs
lola: 110031908 markings, 392572489 edges, 124287 markings/sec, 930 secs
lola: 110764618 markings, 394693398 edges, 146542 markings/sec, 935 secs
lola: 111445776 markings, 396635696 edges, 136232 markings/sec, 940 secs
lola: 112084079 markings, 398486797 edges, 127661 markings/sec, 945 secs
lola: 112669032 markings, 400271966 edges, 116991 markings/sec, 950 secs
lola: 113329860 markings, 402178222 edges, 132166 markings/sec, 955 secs
lola: 113976374 markings, 404051582 edges, 129303 markings/sec, 960 secs
lola: 114637022 markings, 405935897 edges, 132130 markings/sec, 965 secs
lola: 115326031 markings, 407931004 edges, 137802 markings/sec, 970 secs
lola: 116200094 markings, 409935609 edges, 174813 markings/sec, 975 secs
lola: 117163041 markings, 412049686 edges, 192589 markings/sec, 980 secs
lola: 117734182 markings, 414137882 edges, 114228 markings/sec, 985 secs
lola: 118361520 markings, 416295018 edges, 125468 markings/sec, 990 secs
lola: 118959783 markings, 418464294 edges, 119653 markings/sec, 995 secs
lola: 119575264 markings, 420321066 edges, 123096 markings/sec, 1000 secs
lola: 120248742 markings, 422271246 edges, 134696 markings/sec, 1005 secs
lola: 120935481 markings, 424208201 edges, 137348 markings/sec, 1010 secs
lola: 121544578 markings, 426439760 edges, 121819 markings/sec, 1015 secs
lola: 122140416 markings, 428567769 edges, 119168 markings/sec, 1020 secs
lola: 122842530 markings, 430635663 edges, 140423 markings/sec, 1025 secs
lola: 123416466 markings, 432715183 edges, 114787 markings/sec, 1030 secs
lola: 123789671 markings, 435006522 edges, 74641 markings/sec, 1035 secs
lola: 124194982 markings, 437132454 edges, 81062 markings/sec, 1040 secs
lola: 124613495 markings, 439332522 edges, 83703 markings/sec, 1045 secs
lola: 125035979 markings, 441489863 edges, 84497 markings/sec, 1050 secs
lola: 125541961 markings, 443751972 edges, 101196 markings/sec, 1055 secs
lola: 126089071 markings, 445837316 edges, 109422 markings/sec, 1060 secs
lola: 126644049 markings, 447894027 edges, 110996 markings/sec, 1065 secs
lola: 127132086 markings, 450012944 edges, 97607 markings/sec, 1070 secs
lola: 127658830 markings, 452024186 edges, 105349 markings/sec, 1075 secs
lola: 128186078 markings, 454047127 edges, 105450 markings/sec, 1080 secs
lola: 128700749 markings, 456154375 edges, 102934 markings/sec, 1085 secs
lola: 129177482 markings, 458211645 edges, 95347 markings/sec, 1090 secs
lola: 129740556 markings, 460244611 edges, 112615 markings/sec, 1095 secs
lola: 130302132 markings, 462355878 edges, 112315 markings/sec, 1100 secs
lola: 130833120 markings, 464576502 edges, 106198 markings/sec, 1105 secs
lola: 131344811 markings, 466787150 edges, 102338 markings/sec, 1110 secs
lola: 131912148 markings, 469001286 edges, 113467 markings/sec, 1115 secs
lola: 132474363 markings, 471279767 edges, 112443 markings/sec, 1120 secs
lola: 132986556 markings, 473570101 edges, 102439 markings/sec, 1125 secs
lola: 133505960 markings, 475641171 edges, 103881 markings/sec, 1130 secs
lola: 133944625 markings, 477908036 edges, 87733 markings/sec, 1135 secs
lola: 134423404 markings, 480048667 edges, 95756 markings/sec, 1140 secs
lola: 134992711 markings, 482343929 edges, 113861 markings/sec, 1145 secs
lola: 135666783 markings, 484667539 edges, 134814 markings/sec, 1150 secs
lola: 136310931 markings, 487051091 edges, 128830 markings/sec, 1155 secs
lola: 136785674 markings, 489213199 edges, 94949 markings/sec, 1160 secs
lola: 137334282 markings, 491408555 edges, 109722 markings/sec, 1165 secs
lola: 137907029 markings, 493607569 edges, 114549 markings/sec, 1170 secs
lola: 138461385 markings, 495740316 edges, 110871 markings/sec, 1175 secs
lola: 139008915 markings, 497842899 edges, 109506 markings/sec, 1180 secs
lola: 139629397 markings, 499999020 edges, 124096 markings/sec, 1185 secs
lola: 140232713 markings, 502246503 edges, 120663 markings/sec, 1190 secs
lola: 140809024 markings, 504356227 edges, 115262 markings/sec, 1195 secs
lola: 141383950 markings, 506360914 edges, 114985 markings/sec, 1200 secs
lola: 141953565 markings, 508419143 edges, 113923 markings/sec, 1205 secs
lola: 142560969 markings, 510496972 edges, 121481 markings/sec, 1210 secs
lola: 143114743 markings, 512545470 edges, 110755 markings/sec, 1215 secs
lola: 143661900 markings, 514203038 edges, 109431 markings/sec, 1220 secs
lola: 144256236 markings, 515863668 edges, 118867 markings/sec, 1225 secs
lola: 144701946 markings, 517838159 edges, 89142 markings/sec, 1230 secs
lola: 145137740 markings, 519817542 edges, 87159 markings/sec, 1235 secs
lola: 145694156 markings, 521885393 edges, 111283 markings/sec, 1240 secs
lola: 146272648 markings, 523870727 edges, 115698 markings/sec, 1245 secs
lola: 146755121 markings, 525681827 edges, 96495 markings/sec, 1250 secs
lola: 147296636 markings, 527656842 edges, 108303 markings/sec, 1255 secs
lola: 147953776 markings, 529665754 edges, 131428 markings/sec, 1260 secs
lola: 148865114 markings, 531748008 edges, 182268 markings/sec, 1265 secs
lola: 149802896 markings, 533896343 edges, 187556 markings/sec, 1270 secs
lola: 150539759 markings, 536022771 edges, 147373 markings/sec, 1275 secs
lola: 151107142 markings, 537955641 edges, 113477 markings/sec, 1280 secs
lola: 151733639 markings, 540022618 edges, 125299 markings/sec, 1285 secs
lola: 152403373 markings, 542121578 edges, 133947 markings/sec, 1290 secs
lola: 153061110 markings, 544091837 edges, 131547 markings/sec, 1295 secs
lola: 153779673 markings, 546219082 edges, 143713 markings/sec, 1300 secs
lola: 154404712 markings, 548132221 edges, 125008 markings/sec, 1305 secs
lola: 155086479 markings, 550168483 edges, 136353 markings/sec, 1310 secs
lola: 155730343 markings, 552135284 edges, 128773 markings/sec, 1315 secs
lola: 156414516 markings, 554181635 edges, 136835 markings/sec, 1320 secs
lola: 157225468 markings, 556254351 edges, 162190 markings/sec, 1325 secs
lola: 157829710 markings, 558567389 edges, 120848 markings/sec, 1330 secs
lola: 158523350 markings, 560769705 edges, 138728 markings/sec, 1335 secs
lola: 159252255 markings, 562957344 edges, 145781 markings/sec, 1340 secs
lola: 159705378 markings, 565195942 edges, 90625 markings/sec, 1345 secs
lola: 160088521 markings, 567463952 edges, 76629 markings/sec, 1350 secs
lola: 160531841 markings, 569711802 edges, 88664 markings/sec, 1355 secs
lola: 160949779 markings, 571988365 edges, 83588 markings/sec, 1360 secs
lola: 161436700 markings, 574258194 edges, 97384 markings/sec, 1365 secs
lola: 161957747 markings, 576483315 edges, 104209 markings/sec, 1370 secs
lola: 162570042 markings, 578676896 edges, 122459 markings/sec, 1375 secs
lola: 163106874 markings, 580849892 edges, 107366 markings/sec, 1380 secs
lola: 163594615 markings, 582965095 edges, 97548 markings/sec, 1385 secs
lola: 164173652 markings, 585057445 edges, 115807 markings/sec, 1390 secs
lola: 164724487 markings, 587187121 edges, 110167 markings/sec, 1395 secs
lola: 165221661 markings, 589378987 edges, 99435 markings/sec, 1400 secs
lola: 165794741 markings, 591487723 edges, 114616 markings/sec, 1405 secs
lola: 166383844 markings, 593664718 edges, 117821 markings/sec, 1410 secs
lola: 166922572 markings, 595950951 edges, 107746 markings/sec, 1415 secs
lola: 167449738 markings, 598214417 edges, 105433 markings/sec, 1420 secs
lola: 168020403 markings, 600448716 edges, 114133 markings/sec, 1425 secs
lola: 168586404 markings, 602717478 edges, 113200 markings/sec, 1430 secs
lola: 169055883 markings, 604843629 edges, 93896 markings/sec, 1435 secs
lola: 169543476 markings, 606705925 edges, 97519 markings/sec, 1440 secs
lola: 169922080 markings, 608716924 edges, 75721 markings/sec, 1445 secs
lola: 170358266 markings, 610719077 edges, 87237 markings/sec, 1450 secs
lola: 170789167 markings, 612662667 edges, 86180 markings/sec, 1455 secs
lola: 171362649 markings, 614695793 edges, 114696 markings/sec, 1460 secs
lola: 172020651 markings, 616973354 edges, 131600 markings/sec, 1465 secs
lola: 172580953 markings, 619261454 edges, 112060 markings/sec, 1470 secs
lola: 173110078 markings, 621579760 edges, 105825 markings/sec, 1475 secs
lola: 173698699 markings, 623843144 edges, 117724 markings/sec, 1480 secs
lola: 174277945 markings, 626068971 edges, 115849 markings/sec, 1485 secs
lola: 174860612 markings, 628302589 edges, 116533 markings/sec, 1490 secs
lola: 175463332 markings, 630522487 edges, 120544 markings/sec, 1495 secs
lola: 176087070 markings, 632861816 edges, 124748 markings/sec, 1500 secs
lola: 176772162 markings, 635195090 edges, 137018 markings/sec, 1505 secs
lola: 177293288 markings, 637177932 edges, 104225 markings/sec, 1510 secs
lola: 177911344 markings, 639378943 edges, 123611 markings/sec, 1515 secs
lola: 178531939 markings, 641517698 edges, 124119 markings/sec, 1520 secs
lola: 179120409 markings, 643710223 edges, 117694 markings/sec, 1525 secs
lola: 179670439 markings, 645428191 edges, 110006 markings/sec, 1530 secs
lola: 180275358 markings, 647148251 edges, 120984 markings/sec, 1535 secs
lola: 180728000 markings, 649211990 edges, 90528 markings/sec, 1540 secs
lola: 181194457 markings, 651269516 edges, 93291 markings/sec, 1545 secs
lola: 181764113 markings, 653381509 edges, 113931 markings/sec, 1550 secs
lola: 182299801 markings, 655319635 edges, 107138 markings/sec, 1555 secs
lola: 182813085 markings, 657172557 edges, 102657 markings/sec, 1560 secs
lola: 183356734 markings, 659198648 edges, 108730 markings/sec, 1565 secs
lola: 184129953 markings, 661256291 edges, 154644 markings/sec, 1570 secs
lola: 184942760 markings, 663145588 edges, 162561 markings/sec, 1575 secs
lola: 185776621 markings, 665086702 edges, 166772 markings/sec, 1580 secs
lola: 186407099 markings, 667010687 edges, 126096 markings/sec, 1585 secs
lola: 186945393 markings, 668940644 edges, 107659 markings/sec, 1590 secs
lola: 187594441 markings, 671113697 edges, 129810 markings/sec, 1595 secs
lola: 188216993 markings, 673056904 edges, 124510 markings/sec, 1600 secs
lola: 188871261 markings, 675056023 edges, 130854 markings/sec, 1605 secs
lola: 189506205 markings, 676986136 edges, 126989 markings/sec, 1610 secs
lola: 190102747 markings, 678842007 edges, 119308 markings/sec, 1615 secs
lola: 190786346 markings, 680931166 edges, 136720 markings/sec, 1620 secs
lola: 191363296 markings, 682732497 edges, 115390 markings/sec, 1625 secs
lola: 191990422 markings, 684600926 edges, 125425 markings/sec, 1630 secs
lola: 192625452 markings, 686507272 edges, 127006 markings/sec, 1635 secs
lola: 192940662 markings, 688442939 edges, 63042 markings/sec, 1640 secs
lola: 193246766 markings, 690250937 edges, 61221 markings/sec, 1645 secs
lola: 193627015 markings, 692090519 edges, 76050 markings/sec, 1650 secs
lola: 193970388 markings, 693959897 edges, 68675 markings/sec, 1655 secs
lola: 194345784 markings, 696103180 edges, 75079 markings/sec, 1660 secs
lola: 194668293 markings, 698415754 edges, 64502 markings/sec, 1665 secs
lola: 195095214 markings, 700793649 edges, 85384 markings/sec, 1670 secs
lola: 195453572 markings, 703145653 edges, 71672 markings/sec, 1675 secs
lola: 195812839 markings, 705473821 edges, 71853 markings/sec, 1680 secs
lola: 196180964 markings, 707832870 edges, 73625 markings/sec, 1685 secs
lola: 196541840 markings, 710208633 edges, 72175 markings/sec, 1690 secs
lola: 196877113 markings, 712520328 edges, 67055 markings/sec, 1695 secs
lola: 197192202 markings, 714420461 edges, 63018 markings/sec, 1700 secs
lola: 197482623 markings, 716622090 edges, 58084 markings/sec, 1705 secs
lola: 197805101 markings, 718902094 edges, 64496 markings/sec, 1710 secs
lola: 198104845 markings, 720958686 edges, 59949 markings/sec, 1715 secs
lola: 198422773 markings, 723137746 edges, 63586 markings/sec, 1720 secs
lola: 198940834 markings, 725387388 edges, 103612 markings/sec, 1725 secs
lola: 199500418 markings, 727642655 edges, 111917 markings/sec, 1730 secs
lola: 199885422 markings, 729871823 edges, 77001 markings/sec, 1735 secs
lola: 200155106 markings, 731806679 edges, 53937 markings/sec, 1740 secs
lola: 200434852 markings, 733876674 edges, 55949 markings/sec, 1745 secs
lola: 200774327 markings, 736207721 edges, 67895 markings/sec, 1750 secs
lola: 201139320 markings, 738496913 edges, 72999 markings/sec, 1755 secs
lola: 201504722 markings, 740797189 edges, 73080 markings/sec, 1760 secs
lola: 201849698 markings, 742950995 edges, 68995 markings/sec, 1765 secs
lola: 202193167 markings, 745144066 edges, 68694 markings/sec, 1770 secs
lola: 202534653 markings, 747261078 edges, 68297 markings/sec, 1775 secs
lola: 202871959 markings, 749381782 edges, 67461 markings/sec, 1780 secs
lola: 203218340 markings, 751604113 edges, 69276 markings/sec, 1785 secs
lola: 203579225 markings, 753864701 edges, 72177 markings/sec, 1790 secs
lola: 203927882 markings, 756061214 edges, 69731 markings/sec, 1795 secs
lola: 204231973 markings, 757977321 edges, 60818 markings/sec, 1800 secs
lola: 204511115 markings, 759762455 edges, 55828 markings/sec, 1805 secs
lola: 204946054 markings, 761701951 edges, 86988 markings/sec, 1810 secs
lola: 205281854 markings, 763704898 edges, 67160 markings/sec, 1815 secs
lola: 205674426 markings, 765777056 edges, 78514 markings/sec, 1820 secs
lola: 206011067 markings, 767857978 edges, 67328 markings/sec, 1825 secs
lola: 206342647 markings, 769846980 edges, 66316 markings/sec, 1830 secs
lola: 206706233 markings, 771579176 edges, 72717 markings/sec, 1835 secs
lola: 207034700 markings, 773311683 edges, 65693 markings/sec, 1840 secs
lola: 207390135 markings, 775288729 edges, 71087 markings/sec, 1845 secs
lola: 207675028 markings, 777379936 edges, 56979 markings/sec, 1850 secs
lola: 208057861 markings, 779565636 edges, 76567 markings/sec, 1855 secs
lola: 208405004 markings, 781761163 edges, 69429 markings/sec, 1860 secs
lola: 208783107 markings, 783775100 edges, 75621 markings/sec, 1865 secs
lola: 209054743 markings, 785491905 edges, 54327 markings/sec, 1870 secs
lola: 209401864 markings, 787308287 edges, 69424 markings/sec, 1875 secs
lola: 209716566 markings, 789286534 edges, 62940 markings/sec, 1880 secs
lola: 210222348 markings, 791389493 edges, 101156 markings/sec, 1885 secs
lola: 210919483 markings, 793455176 edges, 139427 markings/sec, 1890 secs
lola: 211637642 markings, 795583469 edges, 143632 markings/sec, 1895 secs
lola: 212099532 markings, 797863643 edges, 92378 markings/sec, 1900 secs
lola: 212479677 markings, 800115075 edges, 76029 markings/sec, 1905 secs
lola: 212768852 markings, 802082736 edges, 57835 markings/sec, 1910 secs
lola: 213150087 markings, 804473079 edges, 76247 markings/sec, 1915 secs
lola: 213539024 markings, 806753689 edges, 77787 markings/sec, 1920 secs
lola: 213941169 markings, 808945287 edges, 80429 markings/sec, 1925 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5
lola: memory consumption: 18544 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 1552687131863

--------------------
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="IBMB2S565S3960-PT-none"
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 IBMB2S565S3960-PT-none, 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-155246550100848"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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