Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r115-smll-155272315500092.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is PolyORBLF-COL-S02J04T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-155272315500092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.6K Feb 12 09:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 09:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 8 09:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 09:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 00:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 4 12:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 12:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 154K 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 PolyORBLF-COL-S02J04T08-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J04T08-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552833335219

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J04T08 @ 3570 seconds

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-01 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-06 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S02J04T08-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PolyORBLF-COL-S02J04T08

{
"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": "Sun Mar 17 14:35:35 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(p27)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "search",
"value": 2
},
"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": 238
},
"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(p389)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 1
},
"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": 257
},
"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(p332)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 278
},
"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(p257)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 1
},
"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": 306
},
"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": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "MAX(p407 + p408 + p409 + p410 + p411)",
"processed_size": 37,
"rewrites": 0
},
"result":
{
"edges": 91,
"markings": 92,
"produced_by": "search",
"value": 1
},
"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": 340
},
"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": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "MAX(p474 + p475 + p476 + p477 + p478)",
"processed_size": 37,
"rewrites": 0
},
"result":
{
"edges": 27,
"markings": 28,
"produced_by": "search",
"value": 1
},
"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": 382
},
"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": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "MAX(p324 + p325 + p326 + p327 + p328)",
"processed_size": 37,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 5
},
"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": 436
},
"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": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555)",
"processed_size": 58,
"rewrites": 0
},
"result":
{
"edges": 61,
"markings": 62,
"produced_by": "search",
"value": 1
},
"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": 509
},
"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": 16,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 16,
"visible_transitions": 0
},
"processed": "MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380)",
"processed_size": 114,
"rewrites": 0
},
"result":
{
"edges": 47,
"markings": 48,
"produced_by": "search",
"value": 1
},
"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": 679
},
"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": 16,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 16,
"visible_transitions": 0
},
"processed": "MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455)",
"processed_size": 114,
"rewrites": 0
},
"result":
{
"edges": 46,
"markings": 47,
"produced_by": "search",
"value": 1
},
"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": 1018
},
"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": 40,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 40,
"visible_transitions": 0
},
"processed": "MAX(p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p595 + p594 + p593 + p592 + p591)",
"processed_size": 282,
"rewrites": 0
},
"result":
{
"edges": 25,
"markings": 26,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 5870076,
"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": 5732,
"conflict_clusters": 243,
"places": 614,
"places_significant": 564,
"singleton_clusters": 0,
"transitions": 1242
},
"result":
{
"interim_value": "unknown 2 1 1 1 unknown 5 1 1 1 10 1 unknown 1 unknown unknown ",
"preliminary_value": "unknown 2 1 1 1 unknown 5 1 1 1 10 1 unknown 1 unknown 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: 614, Transitions: 1242
lola: @ trans T_2280
lola: @ trans T_2285
lola: @ trans T_2577
lola: @ trans T_1115
lola: @ trans T_2541
lola: @ trans T_1713
lola: @ trans T_1730
lola: @ trans DummyOR1
lola: @ trans T_1098
lola: @ trans T_1124
lola: @ trans GoIdle
lola: @ trans EnterCSPW
lola: @ trans NOPDP
lola: @ trans LeaveCSIS
lola: @ trans NotifyEventJobCompleted
lola: @ trans T_1618
lola: @ trans LeaveCSTCS
lola: @ trans T_1126
lola: @ trans T_1100
lola: @ trans WaitCompleted
lola: @ trans T_1729
lola: @ trans T_2311
lola: @ trans LeaveCSPW
lola: @ trans DummyIS
lola: @ trans T_1444
lola: @ trans NoCheck
lola: @ trans T_1711
lola: @ trans GoCheckSource
lola: @ trans T_1721
lola: @ trans NoMonitoring
lola: @ trans T_1147
lola: @ trans T_1171
lola: @ trans NopAbort
lola: @ trans SetSigAbort
lola: @ trans T_2283
lola: @ trans NeedMonitoring
lola: @ trans T_1170
lola: @ trans T_1123
lola: @ trans IsAbort
lola: @ trans DummyOR2
lola: @ trans LeaveIdle
lola: @ trans T_0383
lola: @ trans WillPerformWork
lola: @ trans T_1114
lola: @ trans T_1146
lola: @ trans NOPEP
lola: @ trans T_2296
lola: @ trans EnterCSIS
lola: @ trans T_1145
lola: @ trans EnterCSTCS
lola: @ trans T_2317
lola: @ trans WaitforBlockedTasks
lola: @ trans GoPerformWork
lola: @ trans T_2294
lola: @ trans NotifyEventSourceAdded
lola: @ trans T_1722
lola: @ trans Run
lola: @ trans T_1094
lola: @ trans IsEvt
lola: @ trans T_1148
lola: @ trans T_1096
lola: @ trans T_1125
lola: @ trans T_2578
lola: @ trans T_0376
lola: @ trans T_2315
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 1856/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 19648
lola: finding significant places
lola: 614 places, 1242 transitions, 564 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(p136) : MAX(p27) : MAX(p474 + p475 + p476 + p477 + p478) : MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380) : MAX(p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p595 + p594 + p593 + p592 + p591) : MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176) : MAX(p324 + p325 + p326 + p327 + p328) : MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455) : MAX(p389) : MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555) : MAX(p332) : MAX(p407 + p408 + p409 + p410 + p411) : MAX(p473) : MAX(p257) : MAX(p50 + p51 + p52 + p49 + p48 + p47 + p46 + p45) : MAX(p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110)
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(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p136)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 137047 markings, 155321 edges, 27409 markings/sec, 30 secs
lola: 272675 markings, 310946 edges, 27126 markings/sec, 35 secs
lola: 407726 markings, 467303 edges, 27010 markings/sec, 40 secs
lola: 542587 markings, 623497 edges, 26972 markings/sec, 45 secs
lola: 677112 markings, 779429 edges, 26905 markings/sec, 50 secs
lola: 811305 markings, 936318 edges, 26839 markings/sec, 55 secs
lola: 945604 markings, 1092515 edges, 26860 markings/sec, 60 secs
lola: 1079528 markings, 1250720 edges, 26785 markings/sec, 65 secs
lola: 1213195 markings, 1407504 edges, 26733 markings/sec, 70 secs
lola: 1346836 markings, 1565222 edges, 26728 markings/sec, 75 secs
lola: 1480273 markings, 1721638 edges, 26687 markings/sec, 80 secs
lola: 1613684 markings, 1877786 edges, 26682 markings/sec, 85 secs
lola: 1746806 markings, 2034420 edges, 26624 markings/sec, 90 secs
lola: 1879779 markings, 2191482 edges, 26595 markings/sec, 95 secs
lola: 2012657 markings, 2348595 edges, 26576 markings/sec, 100 secs
lola: 2145528 markings, 2505384 edges, 26574 markings/sec, 105 secs
lola: 2278221 markings, 2662655 edges, 26539 markings/sec, 110 secs
lola: 2411048 markings, 2819234 edges, 26565 markings/sec, 115 secs
lola: 2543948 markings, 2976790 edges, 26580 markings/sec, 120 secs
lola: 2676309 markings, 3133482 edges, 26472 markings/sec, 125 secs
lola: 2808836 markings, 3290225 edges, 26505 markings/sec, 130 secs
lola: 2941321 markings, 3447445 edges, 26497 markings/sec, 135 secs
lola: 3073715 markings, 3603899 edges, 26479 markings/sec, 140 secs
lola: 3205808 markings, 3760282 edges, 26419 markings/sec, 145 secs
lola: 3338206 markings, 3917384 edges, 26480 markings/sec, 150 secs
lola: 3470386 markings, 4074119 edges, 26436 markings/sec, 155 secs
lola: 3602653 markings, 4230918 edges, 26453 markings/sec, 160 secs
lola: 3734706 markings, 4388085 edges, 26411 markings/sec, 165 secs
lola: 3866864 markings, 4546065 edges, 26432 markings/sec, 170 secs
lola: 3998726 markings, 4702519 edges, 26372 markings/sec, 175 secs
lola: 4131030 markings, 4859123 edges, 26461 markings/sec, 180 secs
lola: 4262842 markings, 5016037 edges, 26362 markings/sec, 185 secs
lola: 4394981 markings, 5172663 edges, 26428 markings/sec, 190 secs
lola: 4526943 markings, 5329787 edges, 26392 markings/sec, 195 secs
lola: 4658849 markings, 5486754 edges, 26381 markings/sec, 200 secs
lola: 4790799 markings, 5643470 edges, 26390 markings/sec, 205 secs
lola: 4922881 markings, 5800747 edges, 26416 markings/sec, 210 secs
lola: 5054706 markings, 5956863 edges, 26365 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 655764 KB
lola: time consumption: 226 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p27)
lola: processed formula length: 8
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: 6 markings, 5 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p389)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p332)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p332)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p473)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 134529 markings, 141250 edges, 26906 markings/sec, 30 secs
lola: 268912 markings, 285843 edges, 26877 markings/sec, 35 secs
lola: 402595 markings, 432069 edges, 26737 markings/sec, 40 secs
lola: 535888 markings, 578845 edges, 26659 markings/sec, 45 secs
lola: 668952 markings, 726615 edges, 26613 markings/sec, 50 secs
lola: 801247 markings, 875158 edges, 26459 markings/sec, 55 secs
lola: 933216 markings, 1023392 edges, 26394 markings/sec, 60 secs
lola: 1065035 markings, 1173064 edges, 26364 markings/sec, 65 secs
lola: 1196479 markings, 1321988 edges, 26289 markings/sec, 70 secs
lola: 1327286 markings, 1471106 edges, 26161 markings/sec, 75 secs
lola: 1458090 markings, 1620600 edges, 26161 markings/sec, 80 secs
lola: 1588979 markings, 1771189 edges, 26178 markings/sec, 85 secs
lola: 1719627 markings, 1922138 edges, 26130 markings/sec, 90 secs
lola: 1849700 markings, 2072252 edges, 26015 markings/sec, 95 secs
lola: 1979342 markings, 2223445 edges, 25928 markings/sec, 100 secs
lola: 2108793 markings, 2374277 edges, 25890 markings/sec, 105 secs
lola: 2238347 markings, 2526750 edges, 25911 markings/sec, 110 secs
lola: 2367037 markings, 2676376 edges, 25738 markings/sec, 115 secs
lola: 2495724 markings, 2827037 edges, 25737 markings/sec, 120 secs
lola: 2624327 markings, 2979024 edges, 25721 markings/sec, 125 secs
lola: 2752885 markings, 3131214 edges, 25712 markings/sec, 130 secs
lola: 2880877 markings, 3282234 edges, 25598 markings/sec, 135 secs
lola: 3008891 markings, 3433835 edges, 25603 markings/sec, 140 secs
lola: 3136402 markings, 3585423 edges, 25502 markings/sec, 145 secs
lola: 3264120 markings, 3736991 edges, 25544 markings/sec, 150 secs
lola: 3391606 markings, 3887733 edges, 25497 markings/sec, 155 secs
lola: 3519398 markings, 4038807 edges, 25558 markings/sec, 160 secs
lola: 3646792 markings, 4190363 edges, 25479 markings/sec, 165 secs
lola: 3773542 markings, 4342950 edges, 25350 markings/sec, 170 secs
lola: 3900213 markings, 4493228 edges, 25334 markings/sec, 175 secs
lola: 4027226 markings, 4642944 edges, 25403 markings/sec, 180 secs
lola: 4153575 markings, 4795402 edges, 25270 markings/sec, 185 secs
lola: 4280202 markings, 4946764 edges, 25325 markings/sec, 190 secs
lola: 4406534 markings, 5097532 edges, 25266 markings/sec, 195 secs
lola: 4532953 markings, 5250814 edges, 25284 markings/sec, 200 secs
lola: 4659387 markings, 5401751 edges, 25287 markings/sec, 205 secs
lola: 4785494 markings, 5551729 edges, 25221 markings/sec, 210 secs
lola: 4911475 markings, 5702740 edges, 25196 markings/sec, 215 secs
lola: 5037241 markings, 5854188 edges, 25153 markings/sec, 220 secs
lola: 5163508 markings, 6004520 edges, 25253 markings/sec, 225 secs
lola: 5289866 markings, 6155881 edges, 25272 markings/sec, 230 secs
lola: 5415380 markings, 6306871 edges, 25103 markings/sec, 235 secs
lola: 5540518 markings, 6457108 edges, 25028 markings/sec, 240 secs
lola: 5665416 markings, 6607438 edges, 24980 markings/sec, 245 secs
lola: 5790811 markings, 6758856 edges, 25079 markings/sec, 250 secs
lola: 5916312 markings, 6910248 edges, 25100 markings/sec, 255 secs
lola: 6041664 markings, 7063928 edges, 25070 markings/sec, 260 secs
lola: 6166976 markings, 7214467 edges, 25062 markings/sec, 265 secs
lola: 6292402 markings, 7366573 edges, 25085 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 2 unknown unknown unknown unknown unknown unknown 1 unknown 10 unknown unknown unknown unknown unknown
lola: memory consumption: 865300 KB
lola: time consumption: 506 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p257)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p407 + p408 + p409 + p410 + p411)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p407 + p408 + p409 + p410 + p411)
lola: processed formula length: 37
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: 92 markings, 91 edges
lola: ========================================
lola: subprocess 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p474 + p475 + p476 + p477 + p478)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p474 + p475 + p476 + p477 + p478)
lola: processed formula length: 37
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: 28 markings, 27 edges
lola: ========================================
lola: subprocess 8 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p324 + p325 + p326 + p327 + p328)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p324 + p325 + p326 + p327 + p328)
lola: processed formula length: 37
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555)
lola: processed formula length: 58
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: 62 markings, 61 edges
lola: ========================================
lola: subprocess 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p50 + p51 + p52 + p49 + p48 + p47 + p46 + p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p50 + p51 + p52 + p49 + p48 + p47 + p46 + p45)
lola: processed formula length: 50
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: 4
lola: 109805 markings, 121698 edges, 21961 markings/sec, 0 secs
lola: 250227 markings, 278644 edges, 28084 markings/sec, 5 secs
lola: 390326 markings, 436149 edges, 28020 markings/sec, 10 secs
lola: 529762 markings, 593086 edges, 27887 markings/sec, 15 secs
lola: 669139 markings, 750000 edges, 27875 markings/sec, 20 secs
lola: 808270 markings, 906960 edges, 27826 markings/sec, 25 secs
lola: 947478 markings, 1064329 edges, 27842 markings/sec, 30 secs
lola: 1085924 markings, 1222039 edges, 27689 markings/sec, 35 secs
lola: 1224260 markings, 1379641 edges, 27667 markings/sec, 40 secs
lola: 1362622 markings, 1537035 edges, 27672 markings/sec, 45 secs
lola: 1500889 markings, 1694192 edges, 27653 markings/sec, 50 secs
lola: 1639535 markings, 1851302 edges, 27729 markings/sec, 55 secs
lola: 1777793 markings, 2008196 edges, 27652 markings/sec, 60 secs
lola: 1916074 markings, 2164785 edges, 27656 markings/sec, 65 secs
lola: 2053905 markings, 2321168 edges, 27566 markings/sec, 70 secs
lola: 2191650 markings, 2478258 edges, 27549 markings/sec, 75 secs
lola: 2329757 markings, 2635112 edges, 27621 markings/sec, 80 secs
lola: 2467702 markings, 2792026 edges, 27589 markings/sec, 85 secs
lola: 2605344 markings, 2949128 edges, 27528 markings/sec, 90 secs
lola: 2742749 markings, 3106187 edges, 27481 markings/sec, 95 secs
lola: 2880255 markings, 3263191 edges, 27501 markings/sec, 100 secs
lola: 3017966 markings, 3420199 edges, 27542 markings/sec, 105 secs
lola: 3155619 markings, 3576893 edges, 27531 markings/sec, 110 secs
lola: 3292909 markings, 3734277 edges, 27458 markings/sec, 115 secs
lola: 3430254 markings, 3891413 edges, 27469 markings/sec, 120 secs
lola: 3567455 markings, 4048752 edges, 27440 markings/sec, 125 secs
lola: 3704638 markings, 4206604 edges, 27437 markings/sec, 130 secs
lola: 3841931 markings, 4363731 edges, 27459 markings/sec, 135 secs
lola: 3979063 markings, 4520602 edges, 27426 markings/sec, 140 secs
lola: 4116038 markings, 4677922 edges, 27395 markings/sec, 145 secs
lola: 4252789 markings, 4835179 edges, 27350 markings/sec, 150 secs
lola: 4389815 markings, 4992527 edges, 27405 markings/sec, 155 secs
lola: 4526961 markings, 5149373 edges, 27429 markings/sec, 160 secs
lola: 4663767 markings, 5306482 edges, 27361 markings/sec, 165 secs
lola: 4800859 markings, 5463784 edges, 27418 markings/sec, 170 secs
lola: 4938012 markings, 5620493 edges, 27431 markings/sec, 175 secs
lola: 5075157 markings, 5777236 edges, 27429 markings/sec, 180 secs
lola: 5212302 markings, 5934339 edges, 27429 markings/sec, 185 secs
lola: 5349044 markings, 6092118 edges, 27348 markings/sec, 190 secs
lola: 5485817 markings, 6249863 edges, 27355 markings/sec, 195 secs
lola: 5622398 markings, 6407172 edges, 27316 markings/sec, 200 secs
lola: 5758851 markings, 6564155 edges, 27291 markings/sec, 205 secs
lola: 5895616 markings, 6721284 edges, 27353 markings/sec, 210 secs
lola: 6032468 markings, 6878362 edges, 27370 markings/sec, 215 secs
lola: 6169160 markings, 7036472 edges, 27338 markings/sec, 220 secs
lola: 6305710 markings, 7194082 edges, 27310 markings/sec, 225 secs
lola: 6442260 markings, 7351662 edges, 27310 markings/sec, 230 secs
lola: 6578629 markings, 7509612 edges, 27274 markings/sec, 235 secs
lola: 6715287 markings, 7666272 edges, 27332 markings/sec, 240 secs
lola: 6851651 markings, 7823670 edges, 27273 markings/sec, 245 secs
lola: 6988218 markings, 7980925 edges, 27313 markings/sec, 250 secs
lola: 7124486 markings, 8137750 edges, 27254 markings/sec, 255 secs
lola: 7260709 markings, 8295310 edges, 27245 markings/sec, 260 secs
lola: 7396953 markings, 8453023 edges, 27249 markings/sec, 265 secs
lola: 7533432 markings, 8610562 edges, 27296 markings/sec, 270 secs
lola: 7669893 markings, 8768237 edges, 27292 markings/sec, 275 secs
lola: 7806199 markings, 8925035 edges, 27261 markings/sec, 280 secs
lola: 7942831 markings, 9082303 edges, 27326 markings/sec, 285 secs
lola: 8079168 markings, 9239741 edges, 27267 markings/sec, 290 secs
lola: 8215569 markings, 9397053 edges, 27280 markings/sec, 295 secs
lola: 8352369 markings, 9554890 edges, 27360 markings/sec, 300 secs
lola: 8488394 markings, 9712484 edges, 27205 markings/sec, 305 secs
lola: 8624774 markings, 9870446 edges, 27276 markings/sec, 310 secs
lola: 8761119 markings, 10028191 edges, 27269 markings/sec, 315 secs
lola: 8896984 markings, 10186493 edges, 27173 markings/sec, 320 secs
lola: 9032988 markings, 10344308 edges, 27201 markings/sec, 325 secs
lola: 9169320 markings, 10502480 edges, 27266 markings/sec, 330 secs
lola: 9305614 markings, 10659804 edges, 27259 markings/sec, 335 secs
lola: 9442174 markings, 10817727 edges, 27312 markings/sec, 340 secs
lola: 9578403 markings, 10975246 edges, 27246 markings/sec, 345 secs
lola: 9714441 markings, 11132630 edges, 27208 markings/sec, 350 secs
lola: 9850480 markings, 11290108 edges, 27208 markings/sec, 355 secs
lola: 9986352 markings, 11448479 edges, 27174 markings/sec, 360 secs
lola: 10122328 markings, 11606118 edges, 27195 markings/sec, 365 secs
lola: 10258333 markings, 11763321 edges, 27201 markings/sec, 370 secs
lola: 10394147 markings, 11920928 edges, 27163 markings/sec, 375 secs
lola: 10530055 markings, 12078415 edges, 27182 markings/sec, 380 secs
lola: 10665801 markings, 12236280 edges, 27149 markings/sec, 385 secs
lola: 10801622 markings, 12394442 edges, 27164 markings/sec, 390 secs
lola: 10937857 markings, 12551803 edges, 27247 markings/sec, 395 secs
lola: 11074215 markings, 12709094 edges, 27272 markings/sec, 400 secs
lola: 11209961 markings, 12867051 edges, 27149 markings/sec, 405 secs
lola: 11346123 markings, 13024491 edges, 27232 markings/sec, 410 secs
lola: 11481824 markings, 13182302 edges, 27140 markings/sec, 415 secs
lola: 11617832 markings, 13339708 edges, 27202 markings/sec, 420 secs
lola: 11753710 markings, 13497094 edges, 27176 markings/sec, 425 secs
lola: 11889623 markings, 13655104 edges, 27183 markings/sec, 430 secs
lola: 12025495 markings, 13812533 edges, 27174 markings/sec, 435 secs
lola: 12161378 markings, 13970431 edges, 27177 markings/sec, 440 secs
lola: 12296936 markings, 14128430 edges, 27112 markings/sec, 445 secs
lola: 12432623 markings, 14285040 edges, 27137 markings/sec, 450 secs
lola: 12568269 markings, 14442783 edges, 27129 markings/sec, 455 secs
lola: 12703837 markings, 14600020 edges, 27114 markings/sec, 460 secs
lola: 12839245 markings, 14757840 edges, 27082 markings/sec, 465 secs
lola: 12974646 markings, 14916031 edges, 27080 markings/sec, 470 secs
lola: 13110490 markings, 15073790 edges, 27169 markings/sec, 475 secs
lola: 13246087 markings, 15230901 edges, 27119 markings/sec, 480 secs
lola: 13381680 markings, 15388471 edges, 27119 markings/sec, 485 secs
lola: 13517607 markings, 15546145 edges, 27185 markings/sec, 490 secs
lola: 13653252 markings, 15704122 edges, 27129 markings/sec, 495 secs
lola: 13788700 markings, 15862664 edges, 27090 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 2 1 unknown unknown unknown 5 unknown 1 1 10 1 unknown 1 unknown unknown
lola: memory consumption: 1697540 KB
lola: time consumption: 1022 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110)
lola: processed formula length: 58
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: 138091 markings, 156183 edges, 27618 markings/sec, 30 secs
lola: 275267 markings, 313298 edges, 27435 markings/sec, 35 secs
lola: 411730 markings, 471043 edges, 27293 markings/sec, 40 secs
lola: 548079 markings, 627584 edges, 27270 markings/sec, 45 secs
lola: 684014 markings, 783866 edges, 27187 markings/sec, 50 secs
lola: 819536 markings, 940938 edges, 27104 markings/sec, 55 secs
lola: 955172 markings, 1097812 edges, 27127 markings/sec, 60 secs
lola: 1090476 markings, 1255567 edges, 27061 markings/sec, 65 secs
lola: 1225341 markings, 1412621 edges, 26973 markings/sec, 70 secs
lola: 1360239 markings, 1569671 edges, 26980 markings/sec, 75 secs
lola: 1495188 markings, 1727248 edges, 26990 markings/sec, 80 secs
lola: 1630180 markings, 1883694 edges, 26998 markings/sec, 85 secs
lola: 1765276 markings, 2039475 edges, 27019 markings/sec, 90 secs
lola: 1900325 markings, 2195680 edges, 27010 markings/sec, 95 secs
lola: 2034704 markings, 2352967 edges, 26876 markings/sec, 100 secs
lola: 2169226 markings, 2509889 edges, 26904 markings/sec, 105 secs
lola: 2303638 markings, 2666378 edges, 26882 markings/sec, 110 secs
lola: 2437922 markings, 2822898 edges, 26857 markings/sec, 115 secs
lola: 2572226 markings, 2979468 edges, 26861 markings/sec, 120 secs
lola: 2706649 markings, 3135955 edges, 26885 markings/sec, 125 secs
lola: 2841070 markings, 3293101 edges, 26884 markings/sec, 130 secs
lola: 2975239 markings, 3450522 edges, 26834 markings/sec, 135 secs
lola: 3109582 markings, 3606666 edges, 26869 markings/sec, 140 secs
lola: 3243693 markings, 3763551 edges, 26822 markings/sec, 145 secs
lola: 3377823 markings, 3920202 edges, 26826 markings/sec, 150 secs
lola: 3511773 markings, 4076108 edges, 26790 markings/sec, 155 secs
lola: 3645651 markings, 4232681 edges, 26776 markings/sec, 160 secs
lola: 3779557 markings, 4389167 edges, 26781 markings/sec, 165 secs
lola: 3913505 markings, 4545365 edges, 26790 markings/sec, 170 secs
lola: 4047269 markings, 4701812 edges, 26753 markings/sec, 175 secs
lola: 4181358 markings, 4857329 edges, 26818 markings/sec, 180 secs
lola: 4315090 markings, 5013066 edges, 26746 markings/sec, 185 secs
lola: 4448420 markings, 5169004 edges, 26666 markings/sec, 190 secs
lola: 4582026 markings, 5325067 edges, 26721 markings/sec, 195 secs
lola: 4715405 markings, 5481409 edges, 26676 markings/sec, 200 secs
lola: 4848648 markings, 5637945 edges, 26649 markings/sec, 205 secs
lola: 4982078 markings, 5794238 edges, 26686 markings/sec, 210 secs
lola: 5115547 markings, 5950360 edges, 26694 markings/sec, 215 secs
lola: 5248776 markings, 6106793 edges, 26646 markings/sec, 220 secs
lola: 5382192 markings, 6262436 edges, 26683 markings/sec, 225 secs
lola: 5515744 markings, 6418291 edges, 26710 markings/sec, 230 secs
lola: 5648967 markings, 6575037 edges, 26645 markings/sec, 235 secs
lola: 5782367 markings, 6730725 edges, 26680 markings/sec, 240 secs
lola: 5915738 markings, 6886565 edges, 26674 markings/sec, 245 secs
lola: 6049177 markings, 7042191 edges, 26688 markings/sec, 250 secs
lola: 6182370 markings, 7198049 edges, 26639 markings/sec, 255 secs
lola: 6315654 markings, 7354103 edges, 26657 markings/sec, 260 secs
lola: 6449119 markings, 7509729 edges, 26693 markings/sec, 265 secs
lola: 6582317 markings, 7665935 edges, 26640 markings/sec, 270 secs
lola: 6715704 markings, 7821766 edges, 26677 markings/sec, 275 secs
lola: 6848753 markings, 7977736 edges, 26610 markings/sec, 280 secs
lola: 6982194 markings, 8133544 edges, 26688 markings/sec, 285 secs
lola: 7115308 markings, 8289678 edges, 26623 markings/sec, 290 secs
lola: 7248308 markings, 8445427 edges, 26600 markings/sec, 295 secs
lola: 7381583 markings, 8600784 edges, 26655 markings/sec, 300 secs
lola: 7514749 markings, 8756472 edges, 26633 markings/sec, 305 secs
lola: 7647991 markings, 8911377 edges, 26648 markings/sec, 310 secs
lola: 7780903 markings, 9067318 edges, 26582 markings/sec, 315 secs
lola: 7914081 markings, 9222988 edges, 26636 markings/sec, 320 secs
lola: 8047410 markings, 9378104 edges, 26666 markings/sec, 325 secs
lola: 8180561 markings, 9533291 edges, 26630 markings/sec, 330 secs
lola: 8313842 markings, 9688834 edges, 26656 markings/sec, 335 secs
lola: 8446965 markings, 9844512 edges, 26625 markings/sec, 340 secs
lola: 8579986 markings, 10000432 edges, 26604 markings/sec, 345 secs
lola: 8713004 markings, 10155586 edges, 26604 markings/sec, 350 secs
lola: 8845987 markings, 10310837 edges, 26597 markings/sec, 355 secs
lola: 8979046 markings, 10466057 edges, 26612 markings/sec, 360 secs
lola: 9112198 markings, 10620872 edges, 26630 markings/sec, 365 secs
lola: 9245312 markings, 10775722 edges, 26623 markings/sec, 370 secs
lola: 9378533 markings, 10930829 edges, 26644 markings/sec, 375 secs
lola: 9511513 markings, 11086016 edges, 26596 markings/sec, 380 secs
lola: 9644778 markings, 11241032 edges, 26653 markings/sec, 385 secs
lola: 9777889 markings, 11396760 edges, 26622 markings/sec, 390 secs
lola: 9910915 markings, 11551783 edges, 26605 markings/sec, 395 secs
lola: 10043834 markings, 11707484 edges, 26584 markings/sec, 400 secs
lola: 10176723 markings, 11862155 edges, 26578 markings/sec, 405 secs
lola: 10309745 markings, 12017945 edges, 26604 markings/sec, 410 secs
lola: 10442657 markings, 12173466 edges, 26582 markings/sec, 415 secs
lola: 10575357 markings, 12328394 edges, 26540 markings/sec, 420 secs
lola: 10708009 markings, 12484138 edges, 26530 markings/sec, 425 secs
lola: 10840445 markings, 12640441 edges, 26487 markings/sec, 430 secs
lola: 10973114 markings, 12795464 edges, 26534 markings/sec, 435 secs
lola: 11105857 markings, 12951452 edges, 26549 markings/sec, 440 secs
lola: 11238279 markings, 13106675 edges, 26484 markings/sec, 445 secs
lola: 11371050 markings, 13262204 edges, 26554 markings/sec, 450 secs
lola: 11503832 markings, 13417531 edges, 26556 markings/sec, 455 secs
lola: 11636679 markings, 13572643 edges, 26569 markings/sec, 460 secs
lola: 11769219 markings, 13728188 edges, 26508 markings/sec, 465 secs
lola: 11901649 markings, 13884020 edges, 26486 markings/sec, 470 secs
lola: 12034491 markings, 14039091 edges, 26568 markings/sec, 475 secs
lola: 12166842 markings, 14195509 edges, 26470 markings/sec, 480 secs
lola: 12299879 markings, 14350564 edges, 26607 markings/sec, 485 secs
lola: 12432249 markings, 14506461 edges, 26474 markings/sec, 490 secs
lola: 12565059 markings, 14661880 edges, 26562 markings/sec, 495 secs
lola: 12697845 markings, 14817188 edges, 26557 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 2 1 unknown unknown unknown 5 unknown 1 1 10 1 unknown 1 unknown unknown
lola: memory consumption: 1587692 KB
lola: time consumption: 1531 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 12 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380)
lola: processed formula length: 114
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: 48 markings, 47 edges
lola: ========================================
lola: subprocess 13 will run for 679 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455)
lola: processed formula length: 114
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: 47 markings, 46 edges
lola: ========================================
lola: subprocess 14 will run for 1018 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p595 + p594 + p593 + p592 + p591)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p595 + p594 + p593 + p592 + p591)
lola: processed formula length: 282
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: 26 markings, 25 edges
lola: ========================================
lola: subprocess 15 will run for 2037 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176)
lola: processed formula length: 282
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: 140860 markings, 152789 edges, 28172 markings/sec, 30 secs
lola: 280665 markings, 305851 edges, 27961 markings/sec, 35 secs
lola: 420137 markings, 459561 edges, 27894 markings/sec, 40 secs
lola: 558519 markings, 614231 edges, 27676 markings/sec, 45 secs
lola: 696171 markings, 767201 edges, 27530 markings/sec, 50 secs
lola: 834867 markings, 921789 edges, 27739 markings/sec, 55 secs
lola: 973680 markings, 1076153 edges, 27763 markings/sec, 60 secs
lola: 1112286 markings, 1231139 edges, 27721 markings/sec, 65 secs
lola: 1250845 markings, 1386098 edges, 27712 markings/sec, 70 secs
lola: 1388499 markings, 1541133 edges, 27531 markings/sec, 75 secs
lola: 1526793 markings, 1696502 edges, 27659 markings/sec, 80 secs
lola: 1665023 markings, 1852141 edges, 27646 markings/sec, 85 secs
lola: 1803383 markings, 2006813 edges, 27672 markings/sec, 90 secs
lola: 1941717 markings, 2161713 edges, 27667 markings/sec, 95 secs
lola: 2079813 markings, 2316396 edges, 27619 markings/sec, 100 secs
lola: 2218120 markings, 2471632 edges, 27661 markings/sec, 105 secs
lola: 2355676 markings, 2627052 edges, 27511 markings/sec, 110 secs
lola: 2493172 markings, 2782387 edges, 27499 markings/sec, 115 secs
lola: 2630870 markings, 2937950 edges, 27540 markings/sec, 120 secs
lola: 2768196 markings, 3092810 edges, 27465 markings/sec, 125 secs
lola: 2905611 markings, 3248321 edges, 27483 markings/sec, 130 secs
lola: 3042644 markings, 3404153 edges, 27407 markings/sec, 135 secs
lola: 3180162 markings, 3559413 edges, 27504 markings/sec, 140 secs
lola: 3317708 markings, 3714953 edges, 27509 markings/sec, 145 secs
lola: 3455316 markings, 3870445 edges, 27522 markings/sec, 150 secs
lola: 3592074 markings, 4027086 edges, 27352 markings/sec, 155 secs
lola: 3729510 markings, 4182832 edges, 27487 markings/sec, 160 secs
lola: 3866703 markings, 4338954 edges, 27439 markings/sec, 165 secs
lola: 4004119 markings, 4494051 edges, 27483 markings/sec, 170 secs
lola: 4141501 markings, 4649537 edges, 27476 markings/sec, 175 secs
lola: 4278325 markings, 4806081 edges, 27365 markings/sec, 180 secs
lola: 4415482 markings, 4961725 edges, 27431 markings/sec, 185 secs
lola: 4553103 markings, 5116674 edges, 27524 markings/sec, 190 secs
lola: 4690380 markings, 5272064 edges, 27455 markings/sec, 195 secs
lola: 4827195 markings, 5428525 edges, 27363 markings/sec, 200 secs
lola: 4964547 markings, 5584359 edges, 27470 markings/sec, 205 secs
lola: 5101506 markings, 5739973 edges, 27392 markings/sec, 210 secs
lola: 5238679 markings, 5895722 edges, 27435 markings/sec, 215 secs
lola: 5375383 markings, 6052320 edges, 27341 markings/sec, 220 secs
lola: 5512161 markings, 6207880 edges, 27356 markings/sec, 225 secs
lola: 5648861 markings, 6364861 edges, 27340 markings/sec, 230 secs
lola: 5785339 markings, 6521056 edges, 27296 markings/sec, 235 secs
lola: 5922254 markings, 6676825 edges, 27383 markings/sec, 240 secs
lola: 6059022 markings, 6833151 edges, 27354 markings/sec, 245 secs
lola: 6195587 markings, 6988996 edges, 27313 markings/sec, 250 secs
lola: 6332380 markings, 7144408 edges, 27359 markings/sec, 255 secs
lola: 6468802 markings, 7300798 edges, 27284 markings/sec, 260 secs
lola: 6605359 markings, 7456686 edges, 27311 markings/sec, 265 secs
lola: 6741741 markings, 7613091 edges, 27276 markings/sec, 270 secs
lola: 6878102 markings, 7768440 edges, 27272 markings/sec, 275 secs
lola: 7014763 markings, 7924098 edges, 27332 markings/sec, 280 secs
lola: 7150677 markings, 8080557 edges, 27183 markings/sec, 285 secs
lola: 7286719 markings, 8236855 edges, 27208 markings/sec, 290 secs
lola: 7423071 markings, 8392963 edges, 27270 markings/sec, 295 secs
lola: 7559106 markings, 8549952 edges, 27207 markings/sec, 300 secs
lola: 7695606 markings, 8706117 edges, 27300 markings/sec, 305 secs
lola: 7832017 markings, 8861704 edges, 27282 markings/sec, 310 secs
lola: 7967782 markings, 9018157 edges, 27153 markings/sec, 315 secs
lola: 8103316 markings, 9174514 edges, 27107 markings/sec, 320 secs
lola: 8239860 markings, 9330549 edges, 27309 markings/sec, 325 secs
lola: 8375992 markings, 9486761 edges, 27226 markings/sec, 330 secs
lola: 8512222 markings, 9642886 edges, 27246 markings/sec, 335 secs
lola: 8648421 markings, 9799201 edges, 27240 markings/sec, 340 secs
lola: 8784277 markings, 9955011 edges, 27171 markings/sec, 345 secs
lola: 8920004 markings, 10111544 edges, 27145 markings/sec, 350 secs
lola: 9056014 markings, 10268066 edges, 27202 markings/sec, 355 secs
lola: 9191959 markings, 10424317 edges, 27189 markings/sec, 360 secs
lola: 9327625 markings, 10581135 edges, 27133 markings/sec, 365 secs
lola: 9463474 markings, 10737806 edges, 27170 markings/sec, 370 secs
lola: 9598976 markings, 10895203 edges, 27100 markings/sec, 375 secs
lola: 9734918 markings, 11052525 edges, 27188 markings/sec, 380 secs
lola: 9870713 markings, 11208747 edges, 27159 markings/sec, 385 secs
lola: 10006459 markings, 11366135 edges, 27149 markings/sec, 390 secs
lola: 10142447 markings, 11522629 edges, 27198 markings/sec, 395 secs
lola: 10278077 markings, 11680034 edges, 27126 markings/sec, 400 secs
lola: 10413386 markings, 11837189 edges, 27062 markings/sec, 405 secs
lola: 10548761 markings, 11994136 edges, 27075 markings/sec, 410 secs
lola: 10683995 markings, 12150719 edges, 27047 markings/sec, 415 secs
lola: 10819513 markings, 12306869 edges, 27104 markings/sec, 420 secs
lola: 10954685 markings, 12463680 edges, 27034 markings/sec, 425 secs
lola: 11089813 markings, 12620638 edges, 27026 markings/sec, 430 secs
lola: 11225124 markings, 12777422 edges, 27062 markings/sec, 435 secs
lola: 11360147 markings, 12934739 edges, 27005 markings/sec, 440 secs
lola: 11495618 markings, 13091367 edges, 27094 markings/sec, 445 secs
lola: 11630588 markings, 13248774 edges, 26994 markings/sec, 450 secs
lola: 11765599 markings, 13406214 edges, 27002 markings/sec, 455 secs
lola: 11900868 markings, 13563444 edges, 27054 markings/sec, 460 secs
lola: 12035826 markings, 13720378 edges, 26992 markings/sec, 465 secs
lola: 12171025 markings, 13878057 edges, 27040 markings/sec, 470 secs
lola: 12305701 markings, 14036175 edges, 26935 markings/sec, 475 secs
lola: 12440632 markings, 14193205 edges, 26986 markings/sec, 480 secs
lola: 12575284 markings, 14351584 edges, 26930 markings/sec, 485 secs
lola: 12709896 markings, 14509093 edges, 26922 markings/sec, 490 secs
lola: 12845014 markings, 14665851 edges, 27024 markings/sec, 495 secs
lola: 12979908 markings, 14823217 edges, 26979 markings/sec, 500 secs
lola: 13114587 markings, 14980832 edges, 26936 markings/sec, 505 secs
lola: 13249246 markings, 15138528 edges, 26932 markings/sec, 510 secs
lola: 13384248 markings, 15296419 edges, 27000 markings/sec, 515 secs
lola: 13519498 markings, 15453541 edges, 27050 markings/sec, 520 secs
lola: 13654633 markings, 15610405 edges, 27027 markings/sec, 525 secs
lola: 13789350 markings, 15768232 edges, 26943 markings/sec, 530 secs
lola: 13923891 markings, 15925888 edges, 26908 markings/sec, 535 secs
lola: 14058710 markings, 16083684 edges, 26964 markings/sec, 540 secs
lola: 14193720 markings, 16240375 edges, 27002 markings/sec, 545 secs
lola: 14327996 markings, 16398293 edges, 26855 markings/sec, 550 secs
lola: 14462688 markings, 16555880 edges, 26938 markings/sec, 555 secs
lola: 14597335 markings, 16713729 edges, 26929 markings/sec, 560 secs
lola: 14731944 markings, 16871868 edges, 26922 markings/sec, 565 secs
lola: 14866221 markings, 17029504 edges, 26855 markings/sec, 570 secs
lola: 15000934 markings, 17186742 edges, 26943 markings/sec, 575 secs
lola: 15135572 markings, 17343580 edges, 26928 markings/sec, 580 secs
lola: 15270185 markings, 17500545 edges, 26923 markings/sec, 585 secs
lola: 15404481 markings, 17658736 edges, 26859 markings/sec, 590 secs
lola: 15539007 markings, 17816953 edges, 26905 markings/sec, 595 secs
lola: 15673402 markings, 17974669 edges, 26879 markings/sec, 600 secs
lola: 15807731 markings, 18132119 edges, 26866 markings/sec, 605 secs
lola: 15942447 markings, 18289134 edges, 26943 markings/sec, 610 secs
lola: 16077374 markings, 18446699 edges, 26985 markings/sec, 615 secs
lola: 16212005 markings, 18604515 edges, 26926 markings/sec, 620 secs
lola: 16346357 markings, 18762461 edges, 26870 markings/sec, 625 secs
lola: 16481031 markings, 18920182 edges, 26935 markings/sec, 630 secs
lola: 16615863 markings, 19077530 edges, 26966 markings/sec, 635 secs
lola: 16750090 markings, 19235935 edges, 26845 markings/sec, 640 secs
lola: 16884385 markings, 19394128 edges, 26859 markings/sec, 645 secs
lola: 17018933 markings, 19551369 edges, 26910 markings/sec, 650 secs
lola: 17153594 markings, 19708826 edges, 26932 markings/sec, 655 secs
lola: 17287925 markings, 19867201 edges, 26866 markings/sec, 660 secs
lola: 17422242 markings, 20024937 edges, 26863 markings/sec, 665 secs
lola: 17556452 markings, 20183114 edges, 26842 markings/sec, 670 secs
lola: 17690462 markings, 20341915 edges, 26802 markings/sec, 675 secs
lola: 17824448 markings, 20500681 edges, 26797 markings/sec, 680 secs
lola: 17958833 markings, 20658062 edges, 26877 markings/sec, 685 secs
lola: 18092960 markings, 20816535 edges, 26825 markings/sec, 690 secs
lola: 18227028 markings, 20974750 edges, 26814 markings/sec, 695 secs
lola: 18360986 markings, 21132912 edges, 26792 markings/sec, 700 secs
lola: 18495133 markings, 21290632 edges, 26829 markings/sec, 705 secs
lola: 18628885 markings, 21449275 edges, 26750 markings/sec, 710 secs
lola: 18762908 markings, 21607912 edges, 26805 markings/sec, 715 secs
lola: 18896976 markings, 21766121 edges, 26814 markings/sec, 720 secs
lola: 19030832 markings, 21924763 edges, 26771 markings/sec, 725 secs
lola: 19165132 markings, 22082707 edges, 26860 markings/sec, 730 secs
lola: 19299378 markings, 22241090 edges, 26849 markings/sec, 735 secs
lola: 19433429 markings, 22399447 edges, 26810 markings/sec, 740 secs
lola: 19567736 markings, 22556739 edges, 26861 markings/sec, 745 secs
lola: 19701626 markings, 22715608 edges, 26778 markings/sec, 750 secs
lola: 19835551 markings, 22873848 edges, 26785 markings/sec, 755 secs
lola: 19969301 markings, 23032062 edges, 26750 markings/sec, 760 secs
lola: 20103267 markings, 23190897 edges, 26793 markings/sec, 765 secs
lola: 20237311 markings, 23348603 edges, 26809 markings/sec, 770 secs
lola: 20371275 markings, 23506788 edges, 26793 markings/sec, 775 secs
lola: 20504952 markings, 23665487 edges, 26735 markings/sec, 780 secs
lola: 20638318 markings, 23823220 edges, 26673 markings/sec, 785 secs
lola: 20771753 markings, 23981330 edges, 26687 markings/sec, 790 secs
lola: 20905267 markings, 24139813 edges, 26703 markings/sec, 795 secs
lola: 21038901 markings, 24297927 edges, 26727 markings/sec, 800 secs
lola: 21172637 markings, 24456312 edges, 26747 markings/sec, 805 secs
lola: 21306227 markings, 24614186 edges, 26718 markings/sec, 810 secs
lola: 21439805 markings, 24771899 edges, 26716 markings/sec, 815 secs
lola: 21573107 markings, 24930941 edges, 26660 markings/sec, 820 secs
lola: 21706608 markings, 25090611 edges, 26700 markings/sec, 825 secs
lola: 21840381 markings, 25248624 edges, 26755 markings/sec, 830 secs
lola: 21973900 markings, 25407295 edges, 26704 markings/sec, 835 secs
lola: 22107526 markings, 25566292 edges, 26725 markings/sec, 840 secs
lola: 22241435 markings, 25725727 edges, 26782 markings/sec, 845 secs
lola: 22375070 markings, 25884255 edges, 26727 markings/sec, 850 secs
lola: 22508597 markings, 26042321 edges, 26705 markings/sec, 855 secs
lola: 22642030 markings, 26200911 edges, 26687 markings/sec, 860 secs
lola: 22775525 markings, 26359957 edges, 26699 markings/sec, 865 secs
lola: 22908968 markings, 26518646 edges, 26689 markings/sec, 870 secs
lola: 23042162 markings, 26677531 edges, 26639 markings/sec, 875 secs
lola: 23175749 markings, 26836406 edges, 26717 markings/sec, 880 secs
lola: 23309451 markings, 26995076 edges, 26740 markings/sec, 885 secs
lola: 23442707 markings, 27153733 edges, 26651 markings/sec, 890 secs
lola: 23575833 markings, 27312510 edges, 26625 markings/sec, 895 secs
lola: 23708876 markings, 27472138 edges, 26609 markings/sec, 900 secs
lola: 23841908 markings, 27630437 edges, 26606 markings/sec, 905 secs
lola: 23975050 markings, 27789900 edges, 26628 markings/sec, 910 secs
lola: 24108576 markings, 27948438 edges, 26705 markings/sec, 915 secs
lola: 24241623 markings, 28107374 edges, 26609 markings/sec, 920 secs
lola: 24374898 markings, 28266106 edges, 26655 markings/sec, 925 secs
lola: 24507575 markings, 28425150 edges, 26535 markings/sec, 930 secs
lola: 24640948 markings, 28583461 edges, 26675 markings/sec, 935 secs
lola: 24774309 markings, 28742439 edges, 26672 markings/sec, 940 secs
lola: 24907250 markings, 28902346 edges, 26588 markings/sec, 945 secs
lola: 25040431 markings, 29061064 edges, 26636 markings/sec, 950 secs
lola: 25173447 markings, 29220604 edges, 26603 markings/sec, 955 secs
lola: 25306823 markings, 29379894 edges, 26675 markings/sec, 960 secs
lola: 25439952 markings, 29538909 edges, 26626 markings/sec, 965 secs
lola: 25573147 markings, 29697979 edges, 26639 markings/sec, 970 secs
lola: 25706321 markings, 29857070 edges, 26635 markings/sec, 975 secs
lola: 25839516 markings, 30015937 edges, 26639 markings/sec, 980 secs
lola: 25973052 markings, 30174934 edges, 26707 markings/sec, 985 secs
lola: 26105885 markings, 30333716 edges, 26567 markings/sec, 990 secs
lola: 26239085 markings, 30492320 edges, 26640 markings/sec, 995 secs
lola: 26371839 markings, 30652172 edges, 26551 markings/sec, 1000 secs
lola: 26504832 markings, 30810898 edges, 26599 markings/sec, 1005 secs
lola: 26637613 markings, 30970281 edges, 26556 markings/sec, 1010 secs
lola: 26770220 markings, 31129411 edges, 26521 markings/sec, 1015 secs
lola: 26903329 markings, 31288762 edges, 26622 markings/sec, 1020 secs
lola: 27036622 markings, 31448070 edges, 26659 markings/sec, 1025 secs
lola: 27170081 markings, 31607449 edges, 26692 markings/sec, 1030 secs
lola: 27302760 markings, 31766693 edges, 26536 markings/sec, 1035 secs
lola: 27435636 markings, 31925454 edges, 26575 markings/sec, 1040 secs
lola: 27568825 markings, 32083841 edges, 26638 markings/sec, 1045 secs
lola: 27701994 markings, 32243231 edges, 26634 markings/sec, 1050 secs
lola: 27835047 markings, 32401903 edges, 26611 markings/sec, 1055 secs
lola: 27968327 markings, 32560521 edges, 26656 markings/sec, 1060 secs
lola: 28101385 markings, 32720126 edges, 26612 markings/sec, 1065 secs
lola: 28234285 markings, 32879362 edges, 26580 markings/sec, 1070 secs
lola: 28366892 markings, 33038646 edges, 26521 markings/sec, 1075 secs
lola: 28499418 markings, 33198000 edges, 26505 markings/sec, 1080 secs
lola: 28632453 markings, 33356574 edges, 26607 markings/sec, 1085 secs
lola: 28764864 markings, 33515649 edges, 26482 markings/sec, 1090 secs
lola: 28897493 markings, 33674893 edges, 26526 markings/sec, 1095 secs
lola: 29029556 markings, 33834126 edges, 26413 markings/sec, 1100 secs
lola: 29162041 markings, 33992525 edges, 26497 markings/sec, 1105 secs
lola: 29294248 markings, 34150984 edges, 26441 markings/sec, 1110 secs
lola: 29426976 markings, 34309601 edges, 26546 markings/sec, 1115 secs
lola: 29559513 markings, 34468691 edges, 26507 markings/sec, 1120 secs
lola: 29691968 markings, 34627323 edges, 26491 markings/sec, 1125 secs
lola: 29824432 markings, 34787176 edges, 26493 markings/sec, 1130 secs
lola: 29956909 markings, 34946920 edges, 26495 markings/sec, 1135 secs
lola: 30088923 markings, 35105875 edges, 26403 markings/sec, 1140 secs
lola: 30221221 markings, 35264649 edges, 26460 markings/sec, 1145 secs
lola: 30353146 markings, 35423036 edges, 26385 markings/sec, 1150 secs
lola: 30485550 markings, 35581711 edges, 26481 markings/sec, 1155 secs
lola: 30617672 markings, 35740837 edges, 26424 markings/sec, 1160 secs
lola: 30749904 markings, 35899197 edges, 26446 markings/sec, 1165 secs
lola: 30882194 markings, 36057672 edges, 26458 markings/sec, 1170 secs
lola: 31014383 markings, 36216781 edges, 26438 markings/sec, 1175 secs
lola: 31146560 markings, 36375507 edges, 26435 markings/sec, 1180 secs
lola: 31278815 markings, 36534335 edges, 26451 markings/sec, 1185 secs
lola: 31411572 markings, 36693320 edges, 26551 markings/sec, 1190 secs
lola: 31544160 markings, 36852072 edges, 26518 markings/sec, 1195 secs
lola: 31676639 markings, 37010727 edges, 26496 markings/sec, 1200 secs
lola: 31809279 markings, 37169913 edges, 26528 markings/sec, 1205 secs
lola: 31942066 markings, 37328638 edges, 26557 markings/sec, 1210 secs
lola: 32074447 markings, 37488016 edges, 26476 markings/sec, 1215 secs
lola: 32206896 markings, 37646621 edges, 26490 markings/sec, 1220 secs
lola: 32339196 markings, 37806175 edges, 26460 markings/sec, 1225 secs
lola: 32472018 markings, 37964581 edges, 26564 markings/sec, 1230 secs
lola: 32604710 markings, 38123561 edges, 26538 markings/sec, 1235 secs
lola: 32736963 markings, 38283036 edges, 26451 markings/sec, 1240 secs
lola: 32869784 markings, 38442345 edges, 26564 markings/sec, 1245 secs
lola: 33002974 markings, 38601709 edges, 26638 markings/sec, 1250 secs
lola: 33135158 markings, 38761210 edges, 26437 markings/sec, 1255 secs
lola: 33267786 markings, 38920837 edges, 26526 markings/sec, 1260 secs
lola: 33400048 markings, 39080067 edges, 26452 markings/sec, 1265 secs
lola: 33532727 markings, 39239528 edges, 26536 markings/sec, 1270 secs
lola: 33665252 markings, 39397954 edges, 26505 markings/sec, 1275 secs
lola: 33797489 markings, 39557321 edges, 26447 markings/sec, 1280 secs
lola: 33929808 markings, 39716967 edges, 26464 markings/sec, 1285 secs
lola: 34062323 markings, 39876834 edges, 26503 markings/sec, 1290 secs
lola: 34194822 markings, 40036371 edges, 26500 markings/sec, 1295 secs
lola: 34327272 markings, 40195613 edges, 26490 markings/sec, 1300 secs
lola: 34460037 markings, 40354713 edges, 26553 markings/sec, 1305 secs
lola: 34592269 markings, 40513743 edges, 26446 markings/sec, 1310 secs
lola: 34724755 markings, 40672695 edges, 26497 markings/sec, 1315 secs
lola: 34857175 markings, 40832574 edges, 26484 markings/sec, 1320 secs
lola: 34989334 markings, 40991846 edges, 26432 markings/sec, 1325 secs
lola: 35121592 markings, 41151712 edges, 26452 markings/sec, 1330 secs
lola: 35253974 markings, 41311207 edges, 26476 markings/sec, 1335 secs
lola: 35386253 markings, 41472106 edges, 26456 markings/sec, 1340 secs
lola: 35518814 markings, 41631917 edges, 26512 markings/sec, 1345 secs
lola: 35650937 markings, 41790612 edges, 26425 markings/sec, 1350 secs
lola: 35783339 markings, 41949699 edges, 26480 markings/sec, 1355 secs
lola: 35915613 markings, 42109286 edges, 26455 markings/sec, 1360 secs
lola: 36048334 markings, 42268392 edges, 26544 markings/sec, 1365 secs
lola: 36180814 markings, 42428211 edges, 26496 markings/sec, 1370 secs
lola: 36313216 markings, 42588509 edges, 26480 markings/sec, 1375 secs
lola: 36445683 markings, 42747214 edges, 26493 markings/sec, 1380 secs
lola: 36578242 markings, 42907230 edges, 26512 markings/sec, 1385 secs
lola: 36711284 markings, 43066918 edges, 26608 markings/sec, 1390 secs
lola: 36844135 markings, 43226639 edges, 26570 markings/sec, 1395 secs
lola: 36976492 markings, 43386248 edges, 26471 markings/sec, 1400 secs
lola: 37108706 markings, 43545819 edges, 26443 markings/sec, 1405 secs
lola: 37240774 markings, 43704893 edges, 26414 markings/sec, 1410 secs
lola: 37372958 markings, 43863979 edges, 26437 markings/sec, 1415 secs
lola: 37505400 markings, 44023120 edges, 26488 markings/sec, 1420 secs
lola: 37638225 markings, 44181691 edges, 26565 markings/sec, 1425 secs
lola: 37770562 markings, 44341500 edges, 26467 markings/sec, 1430 secs
lola: 37903299 markings, 44500861 edges, 26547 markings/sec, 1435 secs
lola: 38035196 markings, 44660153 edges, 26379 markings/sec, 1440 secs
lola: 38167002 markings, 44819666 edges, 26361 markings/sec, 1445 secs
lola: 38299277 markings, 44979551 edges, 26455 markings/sec, 1450 secs
lola: 38431582 markings, 45138300 edges, 26461 markings/sec, 1455 secs
lola: 38564084 markings, 45297789 edges, 26500 markings/sec, 1460 secs
lola: 38696173 markings, 45456169 edges, 26418 markings/sec, 1465 secs
lola: 38828634 markings, 45615270 edges, 26492 markings/sec, 1470 secs
lola: 38960417 markings, 45774625 edges, 26357 markings/sec, 1475 secs
lola: 39092479 markings, 45934126 edges, 26412 markings/sec, 1480 secs
lola: 39224280 markings, 46093576 edges, 26360 markings/sec, 1485 secs
lola: 39356071 markings, 46252670 edges, 26358 markings/sec, 1490 secs
lola: 39488172 markings, 46411930 edges, 26420 markings/sec, 1495 secs
lola: 39619945 markings, 46569870 edges, 26355 markings/sec, 1500 secs
lola: 39752376 markings, 46729155 edges, 26486 markings/sec, 1505 secs
lola: 39884853 markings, 46887509 edges, 26495 markings/sec, 1510 secs
lola: 40017008 markings, 47045555 edges, 26431 markings/sec, 1515 secs
lola: 40149737 markings, 47204180 edges, 26546 markings/sec, 1520 secs
lola: 40282033 markings, 47363723 edges, 26459 markings/sec, 1525 secs
lola: 40414327 markings, 47523260 edges, 26459 markings/sec, 1530 secs
lola: 40546827 markings, 47681030 edges, 26500 markings/sec, 1535 secs
lola: 40679039 markings, 47839020 edges, 26442 markings/sec, 1540 secs
lola: 40811163 markings, 47997692 edges, 26425 markings/sec, 1545 secs
lola: 40943746 markings, 48156769 edges, 26517 markings/sec, 1550 secs
lola: 41075817 markings, 48312842 edges, 26414 markings/sec, 1555 secs
lola: 41207888 markings, 48469964 edges, 26414 markings/sec, 1560 secs
lola: 41340170 markings, 48627875 edges, 26456 markings/sec, 1565 secs
lola: 41472671 markings, 48786223 edges, 26500 markings/sec, 1570 secs
lola: 41604831 markings, 48945316 edges, 26432 markings/sec, 1575 secs
lola: 41736788 markings, 49103519 edges, 26391 markings/sec, 1580 secs
lola: 41868616 markings, 49260913 edges, 26366 markings/sec, 1585 secs
lola: 42000221 markings, 49418726 edges, 26321 markings/sec, 1590 secs
lola: 42131526 markings, 49577105 edges, 26261 markings/sec, 1595 secs
lola: 42263174 markings, 49735585 edges, 26330 markings/sec, 1600 secs
lola: 42394747 markings, 49893401 edges, 26315 markings/sec, 1605 secs
lola: 42526867 markings, 50051524 edges, 26424 markings/sec, 1610 secs
lola: 42658998 markings, 50209750 edges, 26426 markings/sec, 1615 secs
lola: 42790709 markings, 50368323 edges, 26342 markings/sec, 1620 secs
lola: 42923328 markings, 50527297 edges, 26524 markings/sec, 1625 secs
lola: 43055406 markings, 50686814 edges, 26416 markings/sec, 1630 secs
lola: 43186800 markings, 50845042 edges, 26279 markings/sec, 1635 secs
lola: 43318966 markings, 51004621 edges, 26433 markings/sec, 1640 secs
lola: 43451120 markings, 51163801 edges, 26431 markings/sec, 1645 secs
lola: 43582733 markings, 51322833 edges, 26323 markings/sec, 1650 secs
lola: 43714837 markings, 51482193 edges, 26421 markings/sec, 1655 secs
lola: 43846969 markings, 51640019 edges, 26426 markings/sec, 1660 secs
lola: 43978537 markings, 51798324 edges, 26314 markings/sec, 1665 secs
lola: 44111208 markings, 51957563 edges, 26534 markings/sec, 1670 secs
lola: 44242623 markings, 52115779 edges, 26283 markings/sec, 1675 secs
lola: 44375414 markings, 52274919 edges, 26558 markings/sec, 1680 secs
lola: 44507289 markings, 52433602 edges, 26375 markings/sec, 1685 secs
lola: 44638843 markings, 52592992 edges, 26311 markings/sec, 1690 secs
lola: 44771082 markings, 52752161 edges, 26448 markings/sec, 1695 secs
lola: 44902834 markings, 52911577 edges, 26350 markings/sec, 1700 secs
lola: 45034432 markings, 53068194 edges, 26320 markings/sec, 1705 secs
lola: 45166939 markings, 53226771 edges, 26501 markings/sec, 1710 secs
lola: 45298243 markings, 53385225 edges, 26261 markings/sec, 1715 secs
lola: 45429963 markings, 53543605 edges, 26344 markings/sec, 1720 secs
lola: 45561864 markings, 53702235 edges, 26380 markings/sec, 1725 secs
lola: 45693270 markings, 53860138 edges, 26281 markings/sec, 1730 secs
lola: 45824715 markings, 54017366 edges, 26289 markings/sec, 1735 secs
lola: 45956941 markings, 54174985 edges, 26445 markings/sec, 1740 secs
lola: 46088536 markings, 54333875 edges, 26319 markings/sec, 1745 secs
lola: 46220268 markings, 54492396 edges, 26346 markings/sec, 1750 secs
lola: 46351846 markings, 54650377 edges, 26316 markings/sec, 1755 secs
lola: 46484044 markings, 54808442 edges, 26440 markings/sec, 1760 secs
lola: 46615973 markings, 54967975 edges, 26386 markings/sec, 1765 secs
lola: 46748659 markings, 55127070 edges, 26537 markings/sec, 1770 secs
lola: 46880765 markings, 55286279 edges, 26421 markings/sec, 1775 secs
lola: 47013363 markings, 55444789 edges, 26520 markings/sec, 1780 secs
lola: 47145325 markings, 55603322 edges, 26392 markings/sec, 1785 secs
lola: 47276843 markings, 55763490 edges, 26304 markings/sec, 1790 secs
lola: 47408499 markings, 55922473 edges, 26331 markings/sec, 1795 secs
lola: 47540166 markings, 56082082 edges, 26333 markings/sec, 1800 secs
lola: 47672005 markings, 56240754 edges, 26368 markings/sec, 1805 secs
lola: 47803740 markings, 56396622 edges, 26347 markings/sec, 1810 secs
lola: 47936044 markings, 56555442 edges, 26461 markings/sec, 1815 secs
lola: 48067620 markings, 56715105 edges, 26315 markings/sec, 1820 secs
lola: 48199108 markings, 56873094 edges, 26298 markings/sec, 1825 secs
lola: 48331356 markings, 57031497 edges, 26450 markings/sec, 1830 secs
lola: 48463487 markings, 57189965 edges, 26426 markings/sec, 1835 secs
lola: 48594800 markings, 57348295 edges, 26263 markings/sec, 1840 secs
lola: 48727112 markings, 57506235 edges, 26462 markings/sec, 1845 secs
lola: 48858856 markings, 57664462 edges, 26349 markings/sec, 1850 secs
lola: 48990729 markings, 57823872 edges, 26375 markings/sec, 1855 secs
lola: 49122679 markings, 57982744 edges, 26390 markings/sec, 1860 secs
lola: 49254177 markings, 58142552 edges, 26300 markings/sec, 1865 secs
lola: 49385572 markings, 58300387 edges, 26279 markings/sec, 1870 secs
lola: 49517405 markings, 58458398 edges, 26367 markings/sec, 1875 secs
lola: 49649755 markings, 58614788 edges, 26470 markings/sec, 1880 secs
lola: 49781691 markings, 58773627 edges, 26387 markings/sec, 1885 secs
lola: 49913058 markings, 58931972 edges, 26273 markings/sec, 1890 secs
lola: 50044574 markings, 59089836 edges, 26303 markings/sec, 1895 secs
lola: 50176308 markings, 59246731 edges, 26347 markings/sec, 1900 secs
lola: 50307433 markings, 59405370 edges, 26225 markings/sec, 1905 secs
lola: 50439517 markings, 59562922 edges, 26417 markings/sec, 1910 secs
lola: 50570847 markings, 59721589 edges, 26266 markings/sec, 1915 secs
lola: 50702545 markings, 59878926 edges, 26340 markings/sec, 1920 secs
lola: 50834684 markings, 60037079 edges, 26428 markings/sec, 1925 secs
lola: 50966404 markings, 60196530 edges, 26344 markings/sec, 1930 secs
lola: 51098070 markings, 60355919 edges, 26333 markings/sec, 1935 secs
lola: 51229797 markings, 60514769 edges, 26345 markings/sec, 1940 secs
lola: 51361366 markings, 60673701 edges, 26314 markings/sec, 1945 secs
lola: 51492414 markings, 60832334 edges, 26210 markings/sec, 1950 secs
lola: 51623079 markings, 60990846 edges, 26133 markings/sec, 1955 secs
lola: 51754423 markings, 61149104 edges, 26269 markings/sec, 1960 secs
lola: 51886415 markings, 61308657 edges, 26398 markings/sec, 1965 secs
lola: 52018070 markings, 61467597 edges, 26331 markings/sec, 1970 secs
lola: 52150276 markings, 61625662 edges, 26441 markings/sec, 1975 secs
lola: 52281718 markings, 61786077 edges, 26288 markings/sec, 1980 secs
lola: 52413395 markings, 61944754 edges, 26335 markings/sec, 1985 secs
lola: 52544915 markings, 62103150 edges, 26304 markings/sec, 1990 secs
lola: 52676121 markings, 62263573 edges, 26241 markings/sec, 1995 secs
lola: 52807380 markings, 62422962 edges, 26252 markings/sec, 2000 secs
lola: 52938748 markings, 62581855 edges, 26274 markings/sec, 2005 secs
lola: 53070375 markings, 62740251 edges, 26325 markings/sec, 2010 secs
lola: 53201556 markings, 62900698 edges, 26236 markings/sec, 2015 secs
lola: 53332995 markings, 63059922 edges, 26288 markings/sec, 2020 secs
lola: 53464432 markings, 63219186 edges, 26287 markings/sec, 2025 secs
lola: 53595322 markings, 63379069 edges, 26178 markings/sec, 2030 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 2 1 1 1 unknown 5 1 1 1 10 1 unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLAlola:

preliminary result: unknown 2 1 1 1 unknown 5 1 1 1 10 1 unknown 1 unknown unknown lola:

preliminary result: unknown 2 1 1 1 unknown 5 1 1 1 10 1 unknown 1 unknown unknown
lola: memory consumption: 5870076 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 1552836905324

--------------------
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="PolyORBLF-COL-S02J04T08"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S02J04T08, 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 r115-smll-155272315500092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J04T08.tgz
mv PolyORBLF-COL-S02J04T08 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 ;