fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r016-csrt-155225065300291
Last Updated
Apr 15, 2019

About the Execution of LoLA for BART-COL-040

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6861.610 3570377.00 7571240.00 478.10 [undef] Cannot compute

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.r016-csrt-155225065300291.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 BART-COL-040, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065300291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 364K
-rw-r--r-- 1 mcc users 4.5K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_pt

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 207K 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 booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-COL-040-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552512061455

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-COL-040 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ BART-COL-040

{
"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=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 21:21:01 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 2885400,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 87240,
"conflict_clusters": 12303,
"places": 20213,
"places_significant": 7880,
"singleton_clusters": 0,
"transitions": 12280
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1454349819466280336639891517472372610167573926267951513600.000000,
"composed": 2574,
"dead_branches": 2,
"generators": 2624,
"interrupted": true,
"real_computed": 50,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 20213, Transitions: 12280
lola: @ trans TrainDecc
lola: @ trans MissStation
lola: @ trans TooEarly
lola: @ trans TrainStop
lola: @ trans TrainAcc
lola: @ trans TrainStable
lola: @ trans AtStation
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 32493/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 646816
lola: finding significant places
lola: 20213 places, 12280 transitions, 7880 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 GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 512972 fired transitions, 0 secs
lola: 0 generators;204151597 candidates remain ( 0%), 0 secs
lola: 2 tries, 1054165 fired transitions, 5 secs
lola: 0 generators;204151597 candidates remain ( 0%), 5 secs
lola: 2 tries, 1621749 fired transitions, 10 secs
lola: 36 generators;204151561 candidates remain ( 0%), 10 secs
lola: 3 tries, 2185343 fired transitions, 15 secs
lola: 36 generators;204151561 candidates remain ( 0%), 15 secs
lola: 3 tries, 2700243 fired transitions, 20 secs
lola: 238 generators;202618790 candidates remain ( 0%), 20 secs
lola: 4 tries, 3224459 fired transitions, 25 secs
lola: 238 generators;202618790 candidates remain ( 0%), 25 secs
lola: 4 tries, 3744139 fired transitions, 30 secs
lola: 238 generators;202618790 candidates remain ( 0%), 30 secs
lola: 5 tries, 4277590 fired transitions, 35 secs
lola: 436 generators;202598501 candidates remain ( 0%), 35 secs
lola: 5 tries, 4806898 fired transitions, 40 secs
lola: 462 generators;202598475 candidates remain ( 0%), 40 secs
lola: 6 tries, 5344548 fired transitions, 45 secs
lola: 462 generators;202598475 candidates remain ( 0%), 45 secs
lola: 6 tries, 5896251 fired transitions, 50 secs
lola: 494 generators;202598443 candidates remain ( 0%), 50 secs
lola: 7 tries, 6378352 fired transitions, 55 secs
lola: 506 generators;202578499 candidates remain ( 0%), 55 secs
lola: 7 tries, 6662204 fired transitions, 60 secs
lola: 509 generators;202578496 candidates remain ( 0%), 60 secs
lola: 8 tries, 7111687 fired transitions, 65 secs
lola: 513 generators;202538433 candidates remain ( 0%), 65 secs
lola: 8 tries, 7608884 fired transitions, 70 secs
lola: 513 generators;202538433 candidates remain ( 0%), 70 secs
lola: 9 tries, 8131215 fired transitions, 75 secs
lola: 552 generators;202518305 candidates remain ( 0%), 75 secs
lola: 9 tries, 8667957 fired transitions, 80 secs
lola: 749 generators;201593432 candidates remain ( 0%), 80 secs
lola: 10 tries, 9227905 fired transitions, 85 secs
lola: 749 generators;201593432 candidates remain ( 0%), 85 secs
lola: 10 tries, 9797412 fired transitions, 90 secs
lola: 749 generators;201593432 candidates remain ( 0%), 90 secs
lola: 11 tries, 10243760 fired transitions, 95 secs
lola: 972 generators;201573169 candidates remain ( 0%), 95 secs
lola: 11 tries, 10710133 fired transitions, 100 secs
lola: 982 generators;200690868 candidates remain ( 0%), 100 secs
lola: 12 tries, 11249716 fired transitions, 105 secs
lola: 982 generators;200690868 candidates remain ( 0%), 105 secs
lola: 12 tries, 11783536 fired transitions, 110 secs
lola: 982 generators;200690868 candidates remain ( 0%), 110 secs
lola: 13 tries, 12331876 fired transitions, 115 secs
lola: 1060 generators;199710687 candidates remain ( 0%), 115 secs
lola: 13 tries, 12866690 fired transitions, 120 secs
lola: 1255 generators;199690543 candidates remain ( 0%), 120 secs
lola: 14 tries, 13227026 fired transitions, 125 secs
lola: 1449 generators;199171128 candidates remain ( 0%), 125 secs
lola: 14 tries, 13598344 fired transitions, 130 secs
lola: 1449 generators;199171128 candidates remain ( 0%), 130 secs
lola: 15 tries, 14106956 fired transitions, 135 secs
lola: 1678 generators;198772005 candidates remain ( 0%), 135 secs
lola: 15 tries, 14622931 fired transitions, 140 secs
lola: 1678 generators;198772005 candidates remain ( 0%), 140 secs
lola: 16 tries, 15134546 fired transitions, 145 secs
lola: 1715 generators;198771968 candidates remain ( 0%), 145 secs
lola: 16 tries, 15687557 fired transitions, 150 secs
lola: 1735 generators;198771948 candidates remain ( 0%), 150 secs
lola: 17 tries, 16256693 fired transitions, 155 secs
lola: 1736 generators;198752047 candidates remain ( 0%), 155 secs
lola: 17 tries, 16662472 fired transitions, 160 secs
lola: 1736 generators;198752047 candidates remain ( 0%), 160 secs
lola: 18 tries, 17134028 fired transitions, 165 secs
lola: 1792 generators;198712196 candidates remain ( 0%), 165 secs
lola: 18 tries, 17549389 fired transitions, 170 secs
lola: 1792 generators;198712196 candidates remain ( 0%), 170 secs
lola: 18 tries, 17973936 fired transitions, 175 secs
lola: 1830 generators;198692262 candidates remain ( 0%), 175 secs
lola: 19 tries, 18469131 fired transitions, 180 secs
lola: 1862 generators;198692230 candidates remain ( 0%), 180 secs
lola: 20 tries, 19035234 fired transitions, 185 secs
lola: 1901 generators;198672449 candidates remain ( 0%), 185 secs
lola: 20 tries, 19602788 fired transitions, 190 secs
lola: 1901 generators;198672449 candidates remain ( 0%), 190 secs
lola: 21 tries, 20177577 fired transitions, 195 secs
lola: 1907 generators;198672443 candidates remain ( 0%), 195 secs
lola: 21 tries, 20615351 fired transitions, 200 secs
lola: 1931 generators;198672419 candidates remain ( 0%), 200 secs
lola: 22 tries, 21005075 fired transitions, 205 secs
lola: 1946 generators;198194326 candidates remain ( 0%), 205 secs
lola: 22 tries, 21497825 fired transitions, 210 secs
lola: 1947 generators;198174454 candidates remain ( 0%), 210 secs
lola: 23 tries, 22011010 fired transitions, 215 secs
lola: 2139 generators;198154392 candidates remain ( 0%), 215 secs
lola: 23 tries, 22295524 fired transitions, 220 secs
lola: 2142 generators;198154389 candidates remain ( 0%), 220 secs
lola: 23 tries, 22602488 fired transitions, 225 secs
lola: 2152 generators;198154379 candidates remain ( 0%), 225 secs
lola: 24 tries, 23080991 fired transitions, 230 secs
lola: 2187 generators;198134474 candidates remain ( 0%), 230 secs
lola: 24 tries, 23580570 fired transitions, 235 secs
lola: 2215 generators;198114577 candidates remain ( 0%), 235 secs
lola: 25 tries, 24126847 fired transitions, 240 secs
lola: 2243 generators;198114549 candidates remain ( 0%), 240 secs
lola: 25 tries, 24641441 fired transitions, 245 secs
lola: 2261 generators;198094661 candidates remain ( 0%), 245 secs
lola: 26 tries, 25062924 fired transitions, 250 secs
lola: 2290 generators;197855884 candidates remain ( 0%), 250 secs
lola: 26 tries, 25625246 fired transitions, 255 secs
lola: 2290 generators;197855884 candidates remain ( 0%), 255 secs
lola: 27 tries, 26092466 fired transitions, 260 secs
lola: 2305 generators;197855869 candidates remain ( 0%), 260 secs
lola: 27 tries, 26605803 fired transitions, 265 secs
lola: 2340 generators;197855834 candidates remain ( 0%), 265 secs
lola: 28 tries, 27135333 fired transitions, 270 secs
lola: 2341 generators;197855833 candidates remain ( 0%), 270 secs
lola: 28 tries, 27710754 fired transitions, 275 secs
lola: 2362 generators;197418493 candidates remain ( 0%), 275 secs
lola: 29 tries, 28278789 fired transitions, 280 secs
lola: 2362 generators;197418493 candidates remain ( 0%), 280 secs
lola: 29 tries, 28853778 fired transitions, 285 secs
lola: 2376 generators;197418479 candidates remain ( 0%), 285 secs
lola: 30 tries, 29415332 fired transitions, 290 secs
lola: 2377 generators;197418478 candidates remain ( 0%), 290 secs
lola: 30 tries, 29959589 fired transitions, 295 secs
lola: 2433 generators;196030318 candidates remain ( 0%), 295 secs
lola: 31 tries, 30518763 fired transitions, 300 secs
lola: 2433 generators;196030318 candidates remain ( 0%), 300 secs
lola: 32 tries, 31078024 fired transitions, 305 secs
lola: 2624 generators;196010363 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: 32 tries, 31637378 fired transitions, 310 secs
lola: 2624 generators;196010362 candidates remain ( 0%), 310 secs
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 2624 generators (50 in search tree, 2574 by composition)
lola: representing 1.45435E+57 symmetries
lola: 2 dead branches visited in search tree
lola: 33 tries, 32210444 fired transitions, 315 secs || 1 markings, 1 edges, 0 markings/sec, 315 secs
lola: 33 tries, 32797568 fired transitions, 320 secs || 1 markings, 1 edges, 0 markings/sec, 320 secs
lola: 34 tries, 33375306 fired transitions, 325 secs || 1 markings, 1 edges, 0 markings/sec, 325 secs
lola: 34 tries, 33954118 fired transitions, 330 secs || 1 markings, 1 edges, 0 markings/sec, 330 secs
lola: 35 tries, 34524472 fired transitions, 335 secs || 1 markings, 1 edges, 0 markings/sec, 335 secs
lola: 36 tries, 35101889 fired transitions, 340 secs || 1 markings, 1 edges, 0 markings/sec, 340 secs
lola: 36 tries, 35666645 fired transitions, 345 secs || 1 markings, 1 edges, 0 markings/sec, 345 secs
lola: 37 tries, 36244534 fired transitions, 350 secs || 1 markings, 1 edges, 0 markings/sec, 350 secs
lola: 37 tries, 36814215 fired transitions, 355 secs || 1 markings, 1 edges, 0 markings/sec, 355 secs
lola: 38 tries, 37394103 fired transitions, 360 secs || 1 markings, 1 edges, 0 markings/sec, 360 secs
lola: 38 tries, 37969898 fired transitions, 365 secs || 1 markings, 1 edges, 0 markings/sec, 365 secs
lola: 39 tries, 38538060 fired transitions, 370 secs || 1 markings, 1 edges, 0 markings/sec, 370 secs
lola: 40 tries, 39107150 fired transitions, 375 secs || 1 markings, 1 edges, 0 markings/sec, 375 secs
lola: 40 tries, 39680505 fired transitions, 380 secs || 1 markings, 1 edges, 0 markings/sec, 380 secs
lola: 41 tries, 40245217 fired transitions, 385 secs || 1 markings, 1 edges, 0 markings/sec, 385 secs
lola: 41 tries, 40812034 fired transitions, 390 secs || 1 markings, 1 edges, 0 markings/sec, 390 secs
lola: 42 tries, 41396560 fired transitions, 395 secs || 1 markings, 1 edges, 0 markings/sec, 395 secs
lola: 42 tries, 41977769 fired transitions, 400 secs || 1 markings, 1 edges, 0 markings/sec, 400 secs
lola: 43 tries, 42544599 fired transitions, 405 secs || 1 markings, 1 edges, 0 markings/sec, 405 secs
lola: 44 tries, 43114197 fired transitions, 410 secs || 1 markings, 1 edges, 0 markings/sec, 410 secs
lola: 44 tries, 43686936 fired transitions, 415 secs || 1 markings, 1 edges, 0 markings/sec, 415 secs
lola: 45 tries, 44255015 fired transitions, 420 secs || 1 markings, 1 edges, 0 markings/sec, 420 secs
lola: 45 tries, 44820784 fired transitions, 425 secs || 1 markings, 1 edges, 0 markings/sec, 425 secs
lola: 46 tries, 45395257 fired transitions, 430 secs || 1 markings, 1 edges, 0 markings/sec, 430 secs
lola: 46 tries, 45971771 fired transitions, 435 secs || 1 markings, 1 edges, 0 markings/sec, 435 secs
lola: 47 tries, 46548429 fired transitions, 440 secs || 1 markings, 1 edges, 0 markings/sec, 440 secs
lola: 48 tries, 47118964 fired transitions, 445 secs || 1 markings, 1 edges, 0 markings/sec, 445 secs
lola: 48 tries, 47696568 fired transitions, 450 secs || 1 markings, 1 edges, 0 markings/sec, 450 secs
lola: 49 tries, 48273885 fired transitions, 455 secs || 1 markings, 1 edges, 0 markings/sec, 455 secs
lola: 49 tries, 48821518 fired transitions, 460 secs || 1 markings, 1 edges, 0 markings/sec, 460 secs
lola: 50 tries, 49368014 fired transitions, 465 secs || 1 markings, 1 edges, 0 markings/sec, 465 secs
lola: 50 tries, 49910488 fired transitions, 470 secs || 1 markings, 1 edges, 0 markings/sec, 470 secs
lola: 51 tries, 50470930 fired transitions, 475 secs || 1 markings, 1 edges, 0 markings/sec, 475 secs
lola: 52 tries, 51050073 fired transitions, 480 secs || 1 markings, 1 edges, 0 markings/sec, 480 secs
lola: 52 tries, 51639216 fired transitions, 485 secs || 1 markings, 1 edges, 0 markings/sec, 485 secs
lola: 53 tries, 52220025 fired transitions, 490 secs || 1 markings, 1 edges, 0 markings/sec, 490 secs
lola: 53 tries, 52803398 fired transitions, 495 secs || 1 markings, 1 edges, 0 markings/sec, 495 secs
lola: 54 tries, 53398148 fired transitions, 500 secs || 1 markings, 1 edges, 0 markings/sec, 500 secs
lola: 54 tries, 53991734 fired transitions, 505 secs || 1 markings, 1 edges, 0 markings/sec, 505 secs
lola: 55 tries, 54569652 fired transitions, 510 secs || 1 markings, 1 edges, 0 markings/sec, 510 secs
lola: 56 tries, 55146503 fired transitions, 515 secs || 1 markings, 1 edges, 0 markings/sec, 515 secs
lola: 56 tries, 55723687 fired transitions, 520 secs || 1 markings, 1 edges, 0 markings/sec, 520 secs
lola: 57 tries, 56313919 fired transitions, 525 secs || 1 markings, 1 edges, 0 markings/sec, 525 secs
lola: 57 tries, 56896655 fired transitions, 530 secs || 1 markings, 1 edges, 0 markings/sec, 530 secs
lola: 58 tries, 57473300 fired transitions, 535 secs || 1 markings, 1 edges, 0 markings/sec, 535 secs
lola: 59 tries, 58046943 fired transitions, 540 secs || 1 markings, 1 edges, 0 markings/sec, 540 secs
lola: 59 tries, 58622261 fired transitions, 545 secs || 1 markings, 1 edges, 0 markings/sec, 545 secs
lola: 60 tries, 59216112 fired transitions, 550 secs || 1 markings, 1 edges, 0 markings/sec, 550 secs
lola: 60 tries, 59798234 fired transitions, 555 secs || 1 markings, 1 edges, 0 markings/sec, 555 secs
lola: 61 tries, 60399291 fired transitions, 560 secs || 1 markings, 1 edges, 0 markings/sec, 560 secs
lola: 61 tries, 60974496 fired transitions, 565 secs || 1 markings, 1 edges, 0 markings/sec, 565 secs
lola: 62 tries, 61529227 fired transitions, 570 secs || 1 markings, 1 edges, 0 markings/sec, 570 secs
lola: 63 tries, 62068423 fired transitions, 575 secs || 1 markings, 1 edges, 0 markings/sec, 575 secs
lola: 63 tries, 62603343 fired transitions, 580 secs || 1 markings, 1 edges, 0 markings/sec, 580 secs
lola: 64 tries, 63148910 fired transitions, 585 secs || 1 markings, 1 edges, 0 markings/sec, 585 secs
lola: 64 tries, 63719066 fired transitions, 590 secs || 1 markings, 1 edges, 0 markings/sec, 590 secs
lola: 65 tries, 64300999 fired transitions, 595 secs || 1 markings, 1 edges, 0 markings/sec, 595 secs
lola: 65 tries, 64892199 fired transitions, 600 secs || 1 markings, 1 edges, 0 markings/sec, 600 secs
lola: 66 tries, 65462875 fired transitions, 605 secs || 1 markings, 1 edges, 0 markings/sec, 605 secs
lola: 67 tries, 66029947 fired transitions, 610 secs || 1 markings, 1 edges, 0 markings/sec, 610 secs
lola: 67 tries, 66608529 fired transitions, 615 secs || 1 markings, 1 edges, 0 markings/sec, 615 secs
lola: 68 tries, 67159850 fired transitions, 620 secs || 1 markings, 1 edges, 0 markings/sec, 620 secs
lola: 68 tries, 67725110 fired transitions, 625 secs || 1 markings, 1 edges, 0 markings/sec, 625 secs
lola: 69 tries, 68302999 fired transitions, 630 secs || 1 markings, 1 edges, 0 markings/sec, 630 secs
lola: 69 tries, 68877851 fired transitions, 635 secs || 1 markings, 1 edges, 0 markings/sec, 635 secs
lola: 70 tries, 69447844 fired transitions, 640 secs || 1 markings, 1 edges, 0 markings/sec, 640 secs
lola: 71 tries, 70027261 fired transitions, 645 secs || 1 markings, 1 edges, 0 markings/sec, 645 secs
lola: 71 tries, 70601159 fired transitions, 650 secs || 1 markings, 1 edges, 0 markings/sec, 650 secs
lola: 72 tries, 71186785 fired transitions, 655 secs || 1 markings, 1 edges, 0 markings/sec, 655 secs
lola: 72 tries, 71764947 fired transitions, 660 secs || 1 markings, 1 edges, 0 markings/sec, 660 secs
lola: 73 tries, 72340871 fired transitions, 665 secs || 1 markings, 1 edges, 0 markings/sec, 665 secs
lola: 73 tries, 72919562 fired transitions, 670 secs || 1 markings, 1 edges, 0 markings/sec, 670 secs
lola: 74 tries, 73484332 fired transitions, 675 secs || 1 markings, 1 edges, 0 markings/sec, 675 secs
lola: 75 tries, 74050065 fired transitions, 680 secs || 1 markings, 1 edges, 0 markings/sec, 680 secs
lola: 75 tries, 74619325 fired transitions, 685 secs || 1 markings, 1 edges, 0 markings/sec, 685 secs
lola: 76 tries, 75201435 fired transitions, 690 secs || 1 markings, 1 edges, 0 markings/sec, 690 secs
lola: 76 tries, 75788548 fired transitions, 695 secs || 1 markings, 1 edges, 0 markings/sec, 695 secs
lola: 77 tries, 76367324 fired transitions, 700 secs || 1 markings, 1 edges, 0 markings/sec, 700 secs
lola: 77 tries, 76934841 fired transitions, 705 secs || 1 markings, 1 edges, 0 markings/sec, 705 secs
lola: 78 tries, 77502316 fired transitions, 710 secs || 1 markings, 1 edges, 0 markings/sec, 710 secs
lola: 79 tries, 78078737 fired transitions, 715 secs || 1 markings, 1 edges, 0 markings/sec, 715 secs
lola: 79 tries, 78650515 fired transitions, 720 secs || 1 markings, 1 edges, 0 markings/sec, 720 secs
lola: 80 tries, 79221052 fired transitions, 725 secs || 1 markings, 1 edges, 0 markings/sec, 725 secs
lola: 80 tries, 79807700 fired transitions, 730 secs || 1 markings, 1 edges, 0 markings/sec, 730 secs
lola: 81 tries, 80399381 fired transitions, 735 secs || 1 markings, 1 edges, 0 markings/sec, 735 secs
lola: 81 tries, 80942498 fired transitions, 740 secs || 1 markings, 1 edges, 0 markings/sec, 740 secs
lola: 82 tries, 81485796 fired transitions, 745 secs || 1 markings, 1 edges, 0 markings/sec, 745 secs
lola: 83 tries, 82028848 fired transitions, 750 secs || 1 markings, 1 edges, 0 markings/sec, 750 secs
lola: 83 tries, 82587916 fired transitions, 755 secs || 1 markings, 1 edges, 0 markings/sec, 755 secs
lola: 84 tries, 83164790 fired transitions, 760 secs || 1 markings, 1 edges, 0 markings/sec, 760 secs
lola: 84 tries, 83743689 fired transitions, 765 secs || 1 markings, 1 edges, 0 markings/sec, 765 secs
lola: 85 tries, 84322390 fired transitions, 770 secs || 1 markings, 1 edges, 0 markings/sec, 770 secs
lola: 85 tries, 84902361 fired transitions, 775 secs || 1 markings, 1 edges, 0 markings/sec, 775 secs
lola: 86 tries, 85478498 fired transitions, 780 secs || 1 markings, 1 edges, 0 markings/sec, 780 secs
lola: 87 tries, 86056919 fired transitions, 785 secs || 1 markings, 1 edges, 0 markings/sec, 785 secs
lola: 87 tries, 86636391 fired transitions, 790 secs || 1 markings, 1 edges, 0 markings/sec, 790 secs
lola: 88 tries, 87215542 fired transitions, 795 secs || 1 markings, 1 edges, 0 markings/sec, 795 secs
lola: 88 tries, 87794419 fired transitions, 800 secs || 1 markings, 1 edges, 0 markings/sec, 800 secs
lola: 89 tries, 88373184 fired transitions, 805 secs || 1 markings, 1 edges, 0 markings/sec, 805 secs
lola: 89 tries, 88950804 fired transitions, 810 secs || 1 markings, 1 edges, 0 markings/sec, 810 secs
lola: 90 tries, 89529203 fired transitions, 815 secs || 1 markings, 1 edges, 0 markings/sec, 815 secs
lola: 91 tries, 90090552 fired transitions, 820 secs || 1 markings, 1 edges, 0 markings/sec, 820 secs
lola: 91 tries, 90624009 fired transitions, 825 secs || 1 markings, 1 edges, 0 markings/sec, 825 secs
lola: 92 tries, 91181882 fired transitions, 830 secs || 1 markings, 1 edges, 0 markings/sec, 830 secs
lola: 92 tries, 91753910 fired transitions, 835 secs || 1 markings, 1 edges, 0 markings/sec, 835 secs
lola: 93 tries, 92335078 fired transitions, 840 secs || 1 markings, 1 edges, 0 markings/sec, 840 secs
lola: 93 tries, 92912866 fired transitions, 845 secs || 1 markings, 1 edges, 0 markings/sec, 845 secs
lola: 94 tries, 93487388 fired transitions, 850 secs || 1 markings, 1 edges, 0 markings/sec, 850 secs
lola: 95 tries, 94030358 fired transitions, 855 secs || 1 markings, 1 edges, 0 markings/sec, 855 secs
lola: 95 tries, 94573108 fired transitions, 860 secs || 1 markings, 1 edges, 0 markings/sec, 860 secs
lola: 96 tries, 95143125 fired transitions, 865 secs || 1 markings, 1 edges, 0 markings/sec, 865 secs
lola: 96 tries, 95719151 fired transitions, 870 secs || 1 markings, 1 edges, 0 markings/sec, 870 secs
lola: 97 tries, 96295513 fired transitions, 875 secs || 1 markings, 1 edges, 0 markings/sec, 875 secs
lola: 97 tries, 96864853 fired transitions, 880 secs || 1 markings, 1 edges, 0 markings/sec, 880 secs
lola: 98 tries, 97431034 fired transitions, 885 secs || 1 markings, 1 edges, 0 markings/sec, 885 secs
lola: 99 tries, 98018398 fired transitions, 890 secs || 1 markings, 1 edges, 0 markings/sec, 890 secs
lola: 99 tries, 98593388 fired transitions, 895 secs || 1 markings, 1 edges, 0 markings/sec, 895 secs
lola: 100 tries, 99163870 fired transitions, 900 secs || 1 markings, 1 edges, 0 markings/sec, 900 secs
lola: 100 tries, 99739146 fired transitions, 905 secs || 1 markings, 1 edges, 0 markings/sec, 905 secs
lola: 101 tries, 100315614 fired transitions, 910 secs || 1 markings, 1 edges, 0 markings/sec, 910 secs
lola: 101 tries, 100891246 fired transitions, 915 secs || 1 markings, 1 edges, 0 markings/sec, 915 secs
lola: 102 tries, 101468013 fired transitions, 920 secs || 1 markings, 1 edges, 0 markings/sec, 920 secs
lola: 103 tries, 102042647 fired transitions, 925 secs || 1 markings, 1 edges, 0 markings/sec, 925 secs
lola: 103 tries, 102628399 fired transitions, 930 secs || 1 markings, 1 edges, 0 markings/sec, 930 secs
lola: 104 tries, 103222184 fired transitions, 935 secs || 1 markings, 1 edges, 0 markings/sec, 935 secs
lola: 104 tries, 103816810 fired transitions, 940 secs || 1 markings, 1 edges, 0 markings/sec, 940 secs
lola: 105 tries, 104412603 fired transitions, 945 secs || 1 markings, 1 edges, 0 markings/sec, 945 secs
lola: 105 tries, 104988140 fired transitions, 950 secs || 1 markings, 1 edges, 0 markings/sec, 950 secs
lola: 106 tries, 105559753 fired transitions, 955 secs || 1 markings, 1 edges, 0 markings/sec, 955 secs
lola: 107 tries, 106135739 fired transitions, 960 secs || 1 markings, 1 edges, 0 markings/sec, 960 secs
lola: 107 tries, 106710974 fired transitions, 965 secs || 1 markings, 1 edges, 0 markings/sec, 965 secs
lola: 108 tries, 107272812 fired transitions, 970 secs || 1 markings, 1 edges, 0 markings/sec, 970 secs
lola: 108 tries, 107844899 fired transitions, 975 secs || 1 markings, 1 edges, 0 markings/sec, 975 secs
lola: 109 tries, 108423183 fired transitions, 980 secs || 1 markings, 1 edges, 0 markings/sec, 980 secs
lola: 110 tries, 109000986 fired transitions, 985 secs || 1 markings, 1 edges, 0 markings/sec, 985 secs
lola: 110 tries, 109578873 fired transitions, 990 secs || 1 markings, 1 edges, 0 markings/sec, 990 secs
lola: 111 tries, 110152150 fired transitions, 995 secs || 1 markings, 1 edges, 0 markings/sec, 995 secs
lola: 111 tries, 110715833 fired transitions, 1000 secs || 1 markings, 1 edges, 0 markings/sec, 1000 secs
lola: 112 tries, 111292153 fired transitions, 1005 secs || 1 markings, 1 edges, 0 markings/sec, 1005 secs
lola: 112 tries, 111858944 fired transitions, 1010 secs || 1 markings, 1 edges, 0 markings/sec, 1010 secs
lola: 113 tries, 112430285 fired transitions, 1015 secs || 1 markings, 1 edges, 0 markings/sec, 1015 secs
lola: 114 tries, 113000343 fired transitions, 1020 secs || 1 markings, 1 edges, 0 markings/sec, 1020 secs
lola: 114 tries, 113556808 fired transitions, 1025 secs || 1 markings, 1 edges, 0 markings/sec, 1025 secs
lola: 115 tries, 114099288 fired transitions, 1030 secs || 1 markings, 1 edges, 0 markings/sec, 1030 secs
lola: 115 tries, 114641480 fired transitions, 1035 secs || 1 markings, 1 edges, 0 markings/sec, 1035 secs
lola: 116 tries, 115174281 fired transitions, 1040 secs || 1 markings, 1 edges, 0 markings/sec, 1040 secs
lola: 116 tries, 115708767 fired transitions, 1045 secs || 1 markings, 1 edges, 0 markings/sec, 1045 secs
lola: 117 tries, 116243265 fired transitions, 1050 secs || 1 markings, 1 edges, 0 markings/sec, 1050 secs
lola: 117 tries, 116793080 fired transitions, 1055 secs || 1 markings, 1 edges, 0 markings/sec, 1055 secs
lola: 118 tries, 117368482 fired transitions, 1060 secs || 1 markings, 1 edges, 0 markings/sec, 1060 secs
lola: 118 tries, 117935669 fired transitions, 1065 secs || 1 markings, 1 edges, 0 markings/sec, 1065 secs
lola: 119 tries, 118498763 fired transitions, 1070 secs || 1 markings, 1 edges, 0 markings/sec, 1070 secs
lola: 120 tries, 119056616 fired transitions, 1075 secs || 1 markings, 1 edges, 0 markings/sec, 1075 secs
lola: 120 tries, 119645640 fired transitions, 1080 secs || 1 markings, 1 edges, 0 markings/sec, 1080 secs
lola: 121 tries, 120220131 fired transitions, 1085 secs || 1 markings, 1 edges, 0 markings/sec, 1085 secs
lola: 121 tries, 120787203 fired transitions, 1090 secs || 1 markings, 1 edges, 0 markings/sec, 1090 secs
lola: 122 tries, 121353892 fired transitions, 1095 secs || 1 markings, 1 edges, 0 markings/sec, 1095 secs
lola: 122 tries, 121934190 fired transitions, 1100 secs || 1 markings, 1 edges, 0 markings/sec, 1100 secs
lola: 123 tries, 122509481 fired transitions, 1105 secs || 1 markings, 1 edges, 0 markings/sec, 1105 secs
lola: 124 tries, 123096674 fired transitions, 1110 secs || 1 markings, 1 edges, 0 markings/sec, 1110 secs
lola: 124 tries, 123662848 fired transitions, 1115 secs || 1 markings, 1 edges, 0 markings/sec, 1115 secs
lola: 125 tries, 124235206 fired transitions, 1120 secs || 1 markings, 1 edges, 0 markings/sec, 1120 secs
lola: 125 tries, 124805717 fired transitions, 1125 secs || 1 markings, 1 edges, 0 markings/sec, 1125 secs
lola: 126 tries, 125364685 fired transitions, 1130 secs || 1 markings, 1 edges, 0 markings/sec, 1130 secs
lola: 126 tries, 125911755 fired transitions, 1135 secs || 1 markings, 1 edges, 0 markings/sec, 1135 secs
lola: 127 tries, 126484866 fired transitions, 1140 secs || 1 markings, 1 edges, 0 markings/sec, 1140 secs
lola: 128 tries, 127045935 fired transitions, 1145 secs || 1 markings, 1 edges, 0 markings/sec, 1145 secs
lola: 128 tries, 127622745 fired transitions, 1150 secs || 1 markings, 1 edges, 0 markings/sec, 1150 secs
lola: 129 tries, 128193063 fired transitions, 1155 secs || 1 markings, 1 edges, 0 markings/sec, 1155 secs
lola: 129 tries, 128768568 fired transitions, 1160 secs || 1 markings, 1 edges, 0 markings/sec, 1160 secs
lola: 130 tries, 129344858 fired transitions, 1165 secs || 1 markings, 1 edges, 0 markings/sec, 1165 secs
lola: 130 tries, 129921755 fired transitions, 1170 secs || 1 markings, 1 edges, 0 markings/sec, 1170 secs
lola: 131 tries, 130482418 fired transitions, 1175 secs || 1 markings, 1 edges, 0 markings/sec, 1175 secs
lola: 132 tries, 131056246 fired transitions, 1180 secs || 1 markings, 1 edges, 0 markings/sec, 1180 secs
lola: 132 tries, 131631553 fired transitions, 1185 secs || 1 markings, 1 edges, 0 markings/sec, 1185 secs
lola: 133 tries, 132198067 fired transitions, 1190 secs || 1 markings, 1 edges, 0 markings/sec, 1190 secs
lola: 133 tries, 132763855 fired transitions, 1195 secs || 1 markings, 1 edges, 0 markings/sec, 1195 secs
lola: 134 tries, 133327772 fired transitions, 1200 secs || 1 markings, 1 edges, 0 markings/sec, 1200 secs
lola: 134 tries, 133893540 fired transitions, 1205 secs || 1 markings, 1 edges, 0 markings/sec, 1205 secs
lola: 135 tries, 134467161 fired transitions, 1210 secs || 1 markings, 1 edges, 0 markings/sec, 1210 secs
lola: 136 tries, 135031440 fired transitions, 1215 secs || 1 markings, 1 edges, 0 markings/sec, 1215 secs
lola: 136 tries, 135603105 fired transitions, 1220 secs || 1 markings, 1 edges, 0 markings/sec, 1220 secs
lola: 137 tries, 136180754 fired transitions, 1225 secs || 1 markings, 1 edges, 0 markings/sec, 1225 secs
lola: 137 tries, 136749492 fired transitions, 1230 secs || 1 markings, 1 edges, 0 markings/sec, 1230 secs
lola: 138 tries, 137309913 fired transitions, 1235 secs || 1 markings, 1 edges, 0 markings/sec, 1235 secs
lola: 138 tries, 137868159 fired transitions, 1240 secs || 1 markings, 1 edges, 0 markings/sec, 1240 secs
lola: 139 tries, 138438654 fired transitions, 1245 secs || 1 markings, 1 edges, 0 markings/sec, 1245 secs
lola: 140 tries, 139003499 fired transitions, 1250 secs || 1 markings, 1 edges, 0 markings/sec, 1250 secs
lola: 140 tries, 139572620 fired transitions, 1255 secs || 1 markings, 1 edges, 0 markings/sec, 1255 secs
lola: 141 tries, 140150139 fired transitions, 1260 secs || 1 markings, 1 edges, 0 markings/sec, 1260 secs
lola: 141 tries, 140727075 fired transitions, 1265 secs || 1 markings, 1 edges, 0 markings/sec, 1265 secs
lola: 142 tries, 141291081 fired transitions, 1270 secs || 1 markings, 1 edges, 0 markings/sec, 1270 secs
lola: 142 tries, 141832736 fired transitions, 1275 secs || 1 markings, 1 edges, 0 markings/sec, 1275 secs
lola: 143 tries, 142371871 fired transitions, 1280 secs || 1 markings, 1 edges, 0 markings/sec, 1280 secs
lola: 143 tries, 142908456 fired transitions, 1285 secs || 1 markings, 1 edges, 0 markings/sec, 1285 secs
lola: 144 tries, 143480948 fired transitions, 1290 secs || 1 markings, 1 edges, 0 markings/sec, 1290 secs
lola: 145 tries, 144053179 fired transitions, 1295 secs || 1 markings, 1 edges, 0 markings/sec, 1295 secs
lola: 145 tries, 144625121 fired transitions, 1300 secs || 1 markings, 1 edges, 0 markings/sec, 1300 secs
lola: 146 tries, 145191217 fired transitions, 1305 secs || 1 markings, 1 edges, 0 markings/sec, 1305 secs
lola: 146 tries, 145768250 fired transitions, 1310 secs || 1 markings, 1 edges, 0 markings/sec, 1310 secs
lola: 147 tries, 146319785 fired transitions, 1315 secs || 1 markings, 1 edges, 0 markings/sec, 1315 secs
lola: 147 tries, 146880201 fired transitions, 1320 secs || 1 markings, 1 edges, 0 markings/sec, 1320 secs
lola: 148 tries, 147430833 fired transitions, 1325 secs || 1 markings, 1 edges, 0 markings/sec, 1325 secs
lola: 148 tries, 147998001 fired transitions, 1330 secs || 1 markings, 1 edges, 0 markings/sec, 1330 secs
lola: 149 tries, 148568053 fired transitions, 1335 secs || 1 markings, 1 edges, 0 markings/sec, 1335 secs
lola: 150 tries, 149136965 fired transitions, 1340 secs || 1 markings, 1 edges, 0 markings/sec, 1340 secs
lola: 150 tries, 149691015 fired transitions, 1345 secs || 1 markings, 1 edges, 0 markings/sec, 1345 secs
lola: 151 tries, 150264846 fired transitions, 1350 secs || 1 markings, 1 edges, 0 markings/sec, 1350 secs
lola: 151 tries, 150828623 fired transitions, 1355 secs || 1 markings, 1 edges, 0 markings/sec, 1355 secs
lola: 152 tries, 151407474 fired transitions, 1360 secs || 1 markings, 1 edges, 0 markings/sec, 1360 secs
lola: 152 tries, 151987185 fired transitions, 1365 secs || 1 markings, 1 edges, 0 markings/sec, 1365 secs
lola: 153 tries, 152566289 fired transitions, 1370 secs || 1 markings, 1 edges, 0 markings/sec, 1370 secs
lola: 154 tries, 153146537 fired transitions, 1375 secs || 1 markings, 1 edges, 0 markings/sec, 1375 secs
lola: 154 tries, 153724817 fired transitions, 1380 secs || 1 markings, 1 edges, 0 markings/sec, 1380 secs
lola: 155 tries, 154302959 fired transitions, 1385 secs || 1 markings, 1 edges, 0 markings/sec, 1385 secs
lola: 155 tries, 154883385 fired transitions, 1390 secs || 1 markings, 1 edges, 0 markings/sec, 1390 secs
lola: 156 tries, 155461950 fired transitions, 1395 secs || 1 markings, 1 edges, 0 markings/sec, 1395 secs
lola: 157 tries, 156035847 fired transitions, 1400 secs || 1 markings, 1 edges, 0 markings/sec, 1400 secs
lola: 157 tries, 156612437 fired transitions, 1405 secs || 1 markings, 1 edges, 0 markings/sec, 1405 secs
lola: 158 tries, 157176036 fired transitions, 1410 secs || 1 markings, 1 edges, 0 markings/sec, 1410 secs
lola: 158 tries, 157732953 fired transitions, 1415 secs || 1 markings, 1 edges, 0 markings/sec, 1415 secs
lola: 159 tries, 158303352 fired transitions, 1420 secs || 1 markings, 1 edges, 0 markings/sec, 1420 secs
lola: 159 tries, 158879068 fired transitions, 1425 secs || 1 markings, 1 edges, 0 markings/sec, 1425 secs
lola: 160 tries, 159457399 fired transitions, 1430 secs || 1 markings, 1 edges, 0 markings/sec, 1430 secs
lola: 161 tries, 160036108 fired transitions, 1435 secs || 1 markings, 1 edges, 0 markings/sec, 1435 secs
lola: 161 tries, 160612913 fired transitions, 1440 secs || 1 markings, 1 edges, 0 markings/sec, 1440 secs
lola: 162 tries, 161185816 fired transitions, 1445 secs || 1 markings, 1 edges, 0 markings/sec, 1445 secs
lola: 162 tries, 161755484 fired transitions, 1450 secs || 1 markings, 1 edges, 0 markings/sec, 1450 secs
lola: 163 tries, 162323601 fired transitions, 1455 secs || 1 markings, 1 edges, 0 markings/sec, 1455 secs
lola: 163 tries, 162891926 fired transitions, 1460 secs || 1 markings, 1 edges, 0 markings/sec, 1460 secs
lola: 164 tries, 163462892 fired transitions, 1465 secs || 1 markings, 1 edges, 0 markings/sec, 1465 secs
lola: 165 tries, 164042502 fired transitions, 1470 secs || 1 markings, 1 edges, 0 markings/sec, 1470 secs
lola: 165 tries, 164619640 fired transitions, 1475 secs || 1 markings, 1 edges, 0 markings/sec, 1475 secs
lola: 166 tries, 165193679 fired transitions, 1480 secs || 1 markings, 1 edges, 0 markings/sec, 1480 secs
lola: 166 tries, 165771083 fired transitions, 1485 secs || 1 markings, 1 edges, 0 markings/sec, 1485 secs
lola: 167 tries, 166349605 fired transitions, 1490 secs || 1 markings, 1 edges, 0 markings/sec, 1490 secs
lola: 167 tries, 166927413 fired transitions, 1495 secs || 1 markings, 1 edges, 0 markings/sec, 1495 secs
lola: 168 tries, 167498710 fired transitions, 1500 secs || 1 markings, 1 edges, 0 markings/sec, 1500 secs
lola: 169 tries, 168063720 fired transitions, 1505 secs || 1 markings, 1 edges, 0 markings/sec, 1505 secs
lola: 169 tries, 168636727 fired transitions, 1510 secs || 1 markings, 1 edges, 0 markings/sec, 1510 secs
lola: 170 tries, 169211980 fired transitions, 1515 secs || 1 markings, 1 edges, 0 markings/sec, 1515 secs
lola: 170 tries, 169788826 fired transitions, 1520 secs || 1 markings, 1 edges, 0 markings/sec, 1520 secs
lola: 171 tries, 170367042 fired transitions, 1525 secs || 1 markings, 1 edges, 0 markings/sec, 1525 secs
lola: 171 tries, 170944710 fired transitions, 1530 secs || 1 markings, 1 edges, 0 markings/sec, 1530 secs
lola: 172 tries, 171523091 fired transitions, 1535 secs || 1 markings, 1 edges, 0 markings/sec, 1535 secs
lola: 173 tries, 172099997 fired transitions, 1540 secs || 1 markings, 1 edges, 0 markings/sec, 1540 secs
lola: 173 tries, 172635354 fired transitions, 1545 secs || 1 markings, 1 edges, 0 markings/sec, 1545 secs
lola: 174 tries, 173192856 fired transitions, 1550 secs || 1 markings, 1 edges, 0 markings/sec, 1550 secs
lola: 174 tries, 173729234 fired transitions, 1555 secs || 1 markings, 1 edges, 0 markings/sec, 1555 secs
lola: 175 tries, 174283259 fired transitions, 1560 secs || 1 markings, 1 edges, 0 markings/sec, 1560 secs
lola: 175 tries, 174861643 fired transitions, 1565 secs || 1 markings, 1 edges, 0 markings/sec, 1565 secs
lola: 176 tries, 175440629 fired transitions, 1570 secs || 1 markings, 1 edges, 0 markings/sec, 1570 secs
lola: 177 tries, 176024617 fired transitions, 1575 secs || 1 markings, 1 edges, 0 markings/sec, 1575 secs
lola: 177 tries, 176616664 fired transitions, 1580 secs || 1 markings, 1 edges, 0 markings/sec, 1580 secs
lola: 178 tries, 177166540 fired transitions, 1585 secs || 1 markings, 1 edges, 0 markings/sec, 1585 secs
lola: 178 tries, 177711033 fired transitions, 1590 secs || 1 markings, 1 edges, 0 markings/sec, 1590 secs
lola: 179 tries, 178252217 fired transitions, 1595 secs || 1 markings, 1 edges, 0 markings/sec, 1595 secs
lola: 179 tries, 178780231 fired transitions, 1600 secs || 1 markings, 1 edges, 0 markings/sec, 1600 secs
lola: 180 tries, 179315238 fired transitions, 1605 secs || 1 markings, 1 edges, 0 markings/sec, 1605 secs
lola: 180 tries, 179883185 fired transitions, 1610 secs || 1 markings, 1 edges, 0 markings/sec, 1610 secs
lola: 181 tries, 180450141 fired transitions, 1615 secs || 1 markings, 1 edges, 0 markings/sec, 1615 secs
lola: 182 tries, 181028530 fired transitions, 1620 secs || 1 markings, 1 edges, 0 markings/sec, 1620 secs
lola: 182 tries, 181607022 fired transitions, 1625 secs || 1 markings, 1 edges, 0 markings/sec, 1625 secs
lola: 183 tries, 182188781 fired transitions, 1630 secs || 1 markings, 1 edges, 0 markings/sec, 1630 secs
lola: 183 tries, 182778288 fired transitions, 1635 secs || 1 markings, 1 edges, 0 markings/sec, 1635 secs
lola: 184 tries, 183366842 fired transitions, 1640 secs || 1 markings, 1 edges, 0 markings/sec, 1640 secs
lola: 184 tries, 183953642 fired transitions, 1645 secs || 1 markings, 1 edges, 0 markings/sec, 1645 secs
lola: 185 tries, 184546019 fired transitions, 1650 secs || 1 markings, 1 edges, 0 markings/sec, 1650 secs
lola: 186 tries, 185137692 fired transitions, 1655 secs || 1 markings, 1 edges, 0 markings/sec, 1655 secs
lola: 186 tries, 185723264 fired transitions, 1660 secs || 1 markings, 1 edges, 0 markings/sec, 1660 secs
lola: 187 tries, 186307063 fired transitions, 1665 secs || 1 markings, 1 edges, 0 markings/sec, 1665 secs
lola: 187 tries, 186894055 fired transitions, 1670 secs || 1 markings, 1 edges, 0 markings/sec, 1670 secs
lola: 188 tries, 187483309 fired transitions, 1675 secs || 1 markings, 1 edges, 0 markings/sec, 1675 secs
lola: 189 tries, 188069797 fired transitions, 1680 secs || 1 markings, 1 edges, 0 markings/sec, 1680 secs
lola: 189 tries, 188643370 fired transitions, 1685 secs || 1 markings, 1 edges, 0 markings/sec, 1685 secs
lola: 190 tries, 189177693 fired transitions, 1690 secs || 1 markings, 1 edges, 0 markings/sec, 1690 secs
lola: 190 tries, 189711312 fired transitions, 1695 secs || 1 markings, 1 edges, 0 markings/sec, 1695 secs
lola: 191 tries, 190245032 fired transitions, 1700 secs || 1 markings, 1 edges, 0 markings/sec, 1700 secs
lola: 191 tries, 190779396 fired transitions, 1705 secs || 1 markings, 1 edges, 0 markings/sec, 1705 secs
lola: 192 tries, 191316271 fired transitions, 1710 secs || 1 markings, 1 edges, 0 markings/sec, 1710 secs
lola: 192 tries, 191873762 fired transitions, 1715 secs || 1 markings, 1 edges, 0 markings/sec, 1715 secs
lola: 193 tries, 192462404 fired transitions, 1720 secs || 1 markings, 1 edges, 0 markings/sec, 1720 secs
lola: 194 tries, 193050437 fired transitions, 1725 secs || 1 markings, 1 edges, 0 markings/sec, 1725 secs
lola: 194 tries, 193640843 fired transitions, 1730 secs || 1 markings, 1 edges, 0 markings/sec, 1730 secs
lola: 195 tries, 194232987 fired transitions, 1735 secs || 1 markings, 1 edges, 0 markings/sec, 1735 secs
lola: 195 tries, 194819826 fired transitions, 1740 secs || 1 markings, 1 edges, 0 markings/sec, 1740 secs
lola: 196 tries, 195407246 fired transitions, 1745 secs || 1 markings, 1 edges, 0 markings/sec, 1745 secs
lola: 196 tries, 195996021 fired transitions, 1750 secs || 1 markings, 1 edges, 0 markings/sec, 1750 secs
lola: 197 tries, 196580590 fired transitions, 1755 secs || 1 markings, 1 edges, 0 markings/sec, 1755 secs
lola: 198 tries, 197155998 fired transitions, 1760 secs || 1 markings, 1 edges, 0 markings/sec, 1760 secs
lola: 198 tries, 197740364 fired transitions, 1765 secs || 1 markings, 1 edges, 0 markings/sec, 1765 secs
lola: 199 tries, 198327759 fired transitions, 1770 secs || 1 markings, 1 edges, 0 markings/sec, 1770 secs
lola: 199 tries, 198906520 fired transitions, 1775 secs || 1 markings, 1 edges, 0 markings/sec, 1775 secs
lola: 200 tries, 199481358 fired transitions, 1780 secs || 1 markings, 1 edges, 0 markings/sec, 1780 secs
lola: 201 tries, 200053129 fired transitions, 1785 secs || 1 markings, 1 edges, 0 markings/sec, 1785 secs
lola: 201 tries, 200633389 fired transitions, 1790 secs || 1 markings, 1 edges, 0 markings/sec, 1790 secs
lola: 202 tries, 201227923 fired transitions, 1795 secs || 1 markings, 1 edges, 0 markings/sec, 1795 secs
lola: 202 tries, 201822030 fired transitions, 1800 secs || 1 markings, 1 edges, 0 markings/sec, 1800 secs
lola: 203 tries, 202419865 fired transitions, 1805 secs || 1 markings, 1 edges, 0 markings/sec, 1805 secs
lola: 204 tries, 203016994 fired transitions, 1810 secs || 1 markings, 1 edges, 0 markings/sec, 1810 secs
lola: 204 tries, 203613445 fired transitions, 1815 secs || 1 markings, 1 edges, 0 markings/sec, 1815 secs
lola: 205 tries, 204209725 fired transitions, 1820 secs || 1 markings, 1 edges, 0 markings/sec, 1820 secs
lola: 205 tries, 204790946 fired transitions, 1825 secs || 1 markings, 1 edges, 0 markings/sec, 1825 secs
lola: 206 tries, 205380684 fired transitions, 1830 secs || 1 markings, 1 edges, 0 markings/sec, 1830 secs
lola: 206 tries, 205968275 fired transitions, 1835 secs || 1 markings, 1 edges, 0 markings/sec, 1835 secs
lola: 207 tries, 206544039 fired transitions, 1840 secs || 1 markings, 1 edges, 0 markings/sec, 1840 secs
lola: 208 tries, 207113760 fired transitions, 1845 secs || 1 markings, 1 edges, 0 markings/sec, 1845 secs
lola: 208 tries, 207683353 fired transitions, 1850 secs || 1 markings, 1 edges, 0 markings/sec, 1850 secs
lola: 209 tries, 208274411 fired transitions, 1855 secs || 1 markings, 1 edges, 0 markings/sec, 1855 secs
lola: 209 tries, 208868295 fired transitions, 1860 secs || 1 markings, 1 edges, 0 markings/sec, 1860 secs
lola: 210 tries, 209446523 fired transitions, 1865 secs || 1 markings, 1 edges, 0 markings/sec, 1865 secs
lola: 211 tries, 210026131 fired transitions, 1870 secs || 1 markings, 1 edges, 0 markings/sec, 1870 secs
lola: 211 tries, 210607484 fired transitions, 1875 secs || 1 markings, 1 edges, 0 markings/sec, 1875 secs
lola: 212 tries, 211185478 fired transitions, 1880 secs || 1 markings, 1 edges, 0 markings/sec, 1880 secs
lola: 212 tries, 211772048 fired transitions, 1885 secs || 1 markings, 1 edges, 0 markings/sec, 1885 secs
lola: 213 tries, 212308473 fired transitions, 1890 secs || 1 markings, 1 edges, 0 markings/sec, 1890 secs
lola: 213 tries, 212840649 fired transitions, 1895 secs || 1 markings, 1 edges, 0 markings/sec, 1895 secs
lola: 214 tries, 213375365 fired transitions, 1900 secs || 1 markings, 1 edges, 0 markings/sec, 1900 secs
lola: 214 tries, 213938444 fired transitions, 1905 secs || 1 markings, 1 edges, 0 markings/sec, 1905 secs
lola: 215 tries, 214504681 fired transitions, 1910 secs || 1 markings, 1 edges, 0 markings/sec, 1910 secs
lola: 216 tries, 215073623 fired transitions, 1915 secs || 1 markings, 1 edges, 0 markings/sec, 1915 secs
lola: 216 tries, 215644723 fired transitions, 1920 secs || 1 markings, 1 edges, 0 markings/sec, 1920 secs
lola: 217 tries, 216213905 fired transitions, 1925 secs || 1 markings, 1 edges, 0 markings/sec, 1925 secs
lola: 217 tries, 216779689 fired transitions, 1930 secs || 1 markings, 1 edges, 0 markings/sec, 1930 secs
lola: 218 tries, 217330589 fired transitions, 1935 secs || 1 markings, 1 edges, 0 markings/sec, 1935 secs
lola: 218 tries, 217886672 fired transitions, 1940 secs || 1 markings, 1 edges, 0 markings/sec, 1940 secs
lola: 219 tries, 218437193 fired transitions, 1945 secs || 1 markings, 1 edges, 0 markings/sec, 1945 secs
lola: 219 tries, 218989693 fired transitions, 1950 secs || 1 markings, 1 edges, 0 markings/sec, 1950 secs
lola: 220 tries, 219539992 fired transitions, 1955 secs || 1 markings, 1 edges, 0 markings/sec, 1955 secs
lola: 221 tries, 220089667 fired transitions, 1960 secs || 1 markings, 1 edges, 0 markings/sec, 1960 secs
lola: 221 tries, 220641141 fired transitions, 1965 secs || 1 markings, 1 edges, 0 markings/sec, 1965 secs
lola: 222 tries, 221191217 fired transitions, 1970 secs || 1 markings, 1 edges, 0 markings/sec, 1970 secs
lola: 222 tries, 221751028 fired transitions, 1975 secs || 1 markings, 1 edges, 0 markings/sec, 1975 secs
lola: 223 tries, 222311882 fired transitions, 1980 secs || 1 markings, 1 edges, 0 markings/sec, 1980 secs
lola: 223 tries, 222860327 fired transitions, 1985 secs || 1 markings, 1 edges, 0 markings/sec, 1985 secs
lola: 224 tries, 223403443 fired transitions, 1990 secs || 1 markings, 1 edges, 0 markings/sec, 1990 secs
lola: 224 tries, 223946358 fired transitions, 1995 secs || 1 markings, 1 edges, 0 markings/sec, 1995 secs
lola: 225 tries, 224510645 fired transitions, 2000 secs || 1 markings, 1 edges, 0 markings/sec, 2000 secs
lola: 226 tries, 225088970 fired transitions, 2005 secs || 1 markings, 1 edges, 0 markings/sec, 2005 secs
lola: 226 tries, 225667003 fired transitions, 2010 secs || 1 markings, 1 edges, 0 markings/sec, 2010 secs
lola: 227 tries, 226240493 fired transitions, 2015 secs || 1 markings, 1 edges, 0 markings/sec, 2015 secs
lola: 227 tries, 226807202 fired transitions, 2020 secs || 1 markings, 1 edges, 0 markings/sec, 2020 secs
lola: 228 tries, 227381399 fired transitions, 2025 secs || 1 markings, 1 edges, 0 markings/sec, 2025 secs
lola: 228 tries, 227940989 fired transitions, 2030 secs || 1 markings, 1 edges, 0 markings/sec, 2030 secs
lola: 229 tries, 228483513 fired transitions, 2035 secs || 1 markings, 1 edges, 0 markings/sec, 2035 secs
lola: 230 tries, 229026197 fired transitions, 2040 secs || 1 markings, 1 edges, 0 markings/sec, 2040 secs
lola: 230 tries, 229568920 fired transitions, 2045 secs || 1 markings, 1 edges, 0 markings/sec, 2045 secs
lola: 231 tries, 230111594 fired transitions, 2050 secs || 1 markings, 1 edges, 0 markings/sec, 2050 secs
lola: 231 tries, 230661002 fired transitions, 2055 secs || 1 markings, 1 edges, 0 markings/sec, 2055 secs
lola: 232 tries, 231207489 fired transitions, 2060 secs || 1 markings, 1 edges, 0 markings/sec, 2060 secs
lola: 232 tries, 231751629 fired transitions, 2065 secs || 1 markings, 1 edges, 0 markings/sec, 2065 secs
lola: 233 tries, 232297727 fired transitions, 2070 secs || 1 markings, 1 edges, 0 markings/sec, 2070 secs
lola: 233 tries, 232851093 fired transitions, 2075 secs || 1 markings, 1 edges, 0 markings/sec, 2075 secs
lola: 234 tries, 233410656 fired transitions, 2080 secs || 1 markings, 1 edges, 0 markings/sec, 2080 secs
lola: 234 tries, 233970296 fired transitions, 2085 secs || 1 markings, 1 edges, 0 markings/sec, 2085 secs
lola: 235 tries, 234530220 fired transitions, 2090 secs || 1 markings, 1 edges, 0 markings/sec, 2090 secs
lola: 236 tries, 235090539 fired transitions, 2095 secs || 1 markings, 1 edges, 0 markings/sec, 2095 secs
lola: 236 tries, 235670119 fired transitions, 2100 secs || 1 markings, 1 edges, 0 markings/sec, 2100 secs
lola: 237 tries, 236246266 fired transitions, 2105 secs || 1 markings, 1 edges, 0 markings/sec, 2105 secs
lola: 237 tries, 236823466 fired transitions, 2110 secs || 1 markings, 1 edges, 0 markings/sec, 2110 secs
lola: 238 tries, 237401067 fired transitions, 2115 secs || 1 markings, 1 edges, 0 markings/sec, 2115 secs
lola: 238 tries, 237978290 fired transitions, 2120 secs || 1 markings, 1 edges, 0 markings/sec, 2120 secs
lola: 239 tries, 238557236 fired transitions, 2125 secs || 1 markings, 1 edges, 0 markings/sec, 2125 secs
lola: 240 tries, 239136124 fired transitions, 2130 secs || 1 markings, 1 edges, 0 markings/sec, 2130 secs
lola: 240 tries, 239715110 fired transitions, 2135 secs || 1 markings, 1 edges, 0 markings/sec, 2135 secs
lola: 241 tries, 240294777 fired transitions, 2140 secs || 1 markings, 1 edges, 0 markings/sec, 2140 secs
lola: 241 tries, 240871520 fired transitions, 2145 secs || 1 markings, 1 edges, 0 markings/sec, 2145 secs
lola: 242 tries, 241449855 fired transitions, 2150 secs || 1 markings, 1 edges, 0 markings/sec, 2150 secs
lola: 243 tries, 242003914 fired transitions, 2155 secs || 1 markings, 1 edges, 0 markings/sec, 2155 secs
lola: 243 tries, 242563494 fired transitions, 2160 secs || 1 markings, 1 edges, 0 markings/sec, 2160 secs
lola: 244 tries, 243138003 fired transitions, 2165 secs || 1 markings, 1 edges, 0 markings/sec, 2165 secs
lola: 244 tries, 243732593 fired transitions, 2170 secs || 1 markings, 1 edges, 0 markings/sec, 2170 secs
lola: 245 tries, 244288484 fired transitions, 2175 secs || 1 markings, 1 edges, 0 markings/sec, 2175 secs
lola: 245 tries, 244835835 fired transitions, 2180 secs || 1 markings, 1 edges, 0 markings/sec, 2180 secs
lola: 246 tries, 245381773 fired transitions, 2185 secs || 1 markings, 1 edges, 0 markings/sec, 2185 secs
lola: 246 tries, 245925092 fired transitions, 2190 secs || 1 markings, 1 edges, 0 markings/sec, 2190 secs
lola: 247 tries, 246469877 fired transitions, 2195 secs || 1 markings, 1 edges, 0 markings/sec, 2195 secs
lola: 248 tries, 247003633 fired transitions, 2200 secs || 1 markings, 1 edges, 0 markings/sec, 2200 secs
lola: 248 tries, 247537534 fired transitions, 2205 secs || 1 markings, 1 edges, 0 markings/sec, 2205 secs
lola: 249 tries, 248079607 fired transitions, 2210 secs || 1 markings, 1 edges, 0 markings/sec, 2210 secs
lola: 249 tries, 248637960 fired transitions, 2215 secs || 1 markings, 1 edges, 0 markings/sec, 2215 secs
lola: 250 tries, 249205851 fired transitions, 2220 secs || 1 markings, 1 edges, 0 markings/sec, 2220 secs
lola: 250 tries, 249776580 fired transitions, 2225 secs || 1 markings, 1 edges, 0 markings/sec, 2225 secs
lola: 251 tries, 250350602 fired transitions, 2230 secs || 1 markings, 1 edges, 0 markings/sec, 2230 secs
lola: 251 tries, 250923296 fired transitions, 2235 secs || 1 markings, 1 edges, 0 markings/sec, 2235 secs
lola: 252 tries, 251499047 fired transitions, 2240 secs || 1 markings, 1 edges, 0 markings/sec, 2240 secs
lola: 253 tries, 252072683 fired transitions, 2245 secs || 1 markings, 1 edges, 0 markings/sec, 2245 secs
lola: 253 tries, 252627457 fired transitions, 2250 secs || 1 markings, 1 edges, 0 markings/sec, 2250 secs
lola: 254 tries, 253185762 fired transitions, 2255 secs || 1 markings, 1 edges, 0 markings/sec, 2255 secs
lola: 254 tries, 253750261 fired transitions, 2260 secs || 1 markings, 1 edges, 0 markings/sec, 2260 secs
lola: 255 tries, 254323643 fired transitions, 2265 secs || 1 markings, 1 edges, 0 markings/sec, 2265 secs
lola: 255 tries, 254904680 fired transitions, 2270 secs || 1 markings, 1 edges, 0 markings/sec, 2270 secs
lola: 256 tries, 255474578 fired transitions, 2275 secs || 1 markings, 1 edges, 0 markings/sec, 2275 secs
lola: 257 tries, 256049975 fired transitions, 2280 secs || 1 markings, 1 edges, 0 markings/sec, 2280 secs
lola: 257 tries, 256627688 fired transitions, 2285 secs || 1 markings, 1 edges, 0 markings/sec, 2285 secs
lola: 258 tries, 257203367 fired transitions, 2290 secs || 1 markings, 1 edges, 0 markings/sec, 2290 secs
lola: 258 tries, 257766241 fired transitions, 2295 secs || 1 markings, 1 edges, 0 markings/sec, 2295 secs
lola: 259 tries, 258303241 fired transitions, 2300 secs || 1 markings, 1 edges, 0 markings/sec, 2300 secs
lola: 259 tries, 258865998 fired transitions, 2305 secs || 1 markings, 1 edges, 0 markings/sec, 2305 secs
lola: 260 tries, 259426713 fired transitions, 2310 secs || 1 markings, 1 edges, 0 markings/sec, 2310 secs
lola: 260 tries, 259987819 fired transitions, 2315 secs || 1 markings, 1 edges, 0 markings/sec, 2315 secs
lola: 261 tries, 260565166 fired transitions, 2320 secs || 1 markings, 1 edges, 0 markings/sec, 2320 secs
lola: 262 tries, 261143219 fired transitions, 2325 secs || 1 markings, 1 edges, 0 markings/sec, 2325 secs
lola: 262 tries, 261707592 fired transitions, 2330 secs || 1 markings, 1 edges, 0 markings/sec, 2330 secs
lola: 263 tries, 262248887 fired transitions, 2335 secs || 1 markings, 1 edges, 0 markings/sec, 2335 secs
lola: 263 tries, 262787401 fired transitions, 2340 secs || 1 markings, 1 edges, 0 markings/sec, 2340 secs
lola: 264 tries, 263321707 fired transitions, 2345 secs || 1 markings, 1 edges, 0 markings/sec, 2345 secs
lola: 264 tries, 263885167 fired transitions, 2350 secs || 1 markings, 1 edges, 0 markings/sec, 2350 secs
lola: 265 tries, 264456838 fired transitions, 2355 secs || 1 markings, 1 edges, 0 markings/sec, 2355 secs
lola: 266 tries, 265028921 fired transitions, 2360 secs || 1 markings, 1 edges, 0 markings/sec, 2360 secs
lola: 266 tries, 265603510 fired transitions, 2365 secs || 1 markings, 1 edges, 0 markings/sec, 2365 secs
lola: 267 tries, 266167627 fired transitions, 2370 secs || 1 markings, 1 edges, 0 markings/sec, 2370 secs
lola: 267 tries, 266736897 fired transitions, 2375 secs || 1 markings, 1 edges, 0 markings/sec, 2375 secs
lola: 268 tries, 267283525 fired transitions, 2380 secs || 1 markings, 1 edges, 0 markings/sec, 2380 secs
lola: 268 tries, 267830451 fired transitions, 2385 secs || 1 markings, 1 edges, 0 markings/sec, 2385 secs
lola: 269 tries, 268385460 fired transitions, 2390 secs || 1 markings, 1 edges, 0 markings/sec, 2390 secs
lola: 269 tries, 268936295 fired transitions, 2395 secs || 1 markings, 1 edges, 0 markings/sec, 2395 secs
lola: 270 tries, 269485406 fired transitions, 2400 secs || 1 markings, 1 edges, 0 markings/sec, 2400 secs
lola: 271 tries, 270042448 fired transitions, 2405 secs || 1 markings, 1 edges, 0 markings/sec, 2405 secs
lola: 271 tries, 270594173 fired transitions, 2410 secs || 1 markings, 1 edges, 0 markings/sec, 2410 secs
lola: 272 tries, 271146838 fired transitions, 2415 secs || 1 markings, 1 edges, 0 markings/sec, 2415 secs
lola: 272 tries, 271700383 fired transitions, 2420 secs || 1 markings, 1 edges, 0 markings/sec, 2420 secs
lola: 273 tries, 272246922 fired transitions, 2425 secs || 1 markings, 1 edges, 0 markings/sec, 2425 secs
lola: 273 tries, 272790136 fired transitions, 2430 secs || 1 markings, 1 edges, 0 markings/sec, 2430 secs
lola: 274 tries, 273337899 fired transitions, 2435 secs || 1 markings, 1 edges, 0 markings/sec, 2435 secs
lola: 274 tries, 273890175 fired transitions, 2440 secs || 1 markings, 1 edges, 0 markings/sec, 2440 secs
lola: 275 tries, 274431252 fired transitions, 2445 secs || 1 markings, 1 edges, 0 markings/sec, 2445 secs
lola: 275 tries, 274978113 fired transitions, 2450 secs || 1 markings, 1 edges, 0 markings/sec, 2450 secs
lola: 276 tries, 275532266 fired transitions, 2455 secs || 1 markings, 1 edges, 0 markings/sec, 2455 secs
lola: 277 tries, 276091985 fired transitions, 2460 secs || 1 markings, 1 edges, 0 markings/sec, 2460 secs
lola: 277 tries, 276652254 fired transitions, 2465 secs || 1 markings, 1 edges, 0 markings/sec, 2465 secs
lola: 278 tries, 277221130 fired transitions, 2470 secs || 1 markings, 1 edges, 0 markings/sec, 2470 secs
lola: 278 tries, 277801633 fired transitions, 2475 secs || 1 markings, 1 edges, 0 markings/sec, 2475 secs
lola: 279 tries, 278382093 fired transitions, 2480 secs || 1 markings, 1 edges, 0 markings/sec, 2480 secs
lola: 279 tries, 278962630 fired transitions, 2485 secs || 1 markings, 1 edges, 0 markings/sec, 2485 secs
lola: 280 tries, 279542878 fired transitions, 2490 secs || 1 markings, 1 edges, 0 markings/sec, 2490 secs
lola: 281 tries, 280121210 fired transitions, 2495 secs || 1 markings, 1 edges, 0 markings/sec, 2495 secs
lola: 281 tries, 280696584 fired transitions, 2500 secs || 1 markings, 1 edges, 0 markings/sec, 2500 secs
lola: 282 tries, 281254943 fired transitions, 2505 secs || 1 markings, 1 edges, 0 markings/sec, 2505 secs
lola: 282 tries, 281824495 fired transitions, 2510 secs || 1 markings, 1 edges, 0 markings/sec, 2510 secs
lola: 283 tries, 282405784 fired transitions, 2515 secs || 1 markings, 1 edges, 0 markings/sec, 2515 secs
lola: 283 tries, 282984742 fired transitions, 2520 secs || 1 markings, 1 edges, 0 markings/sec, 2520 secs
lola: 284 tries, 283551561 fired transitions, 2525 secs || 1 markings, 1 edges, 0 markings/sec, 2525 secs
lola: 285 tries, 284094269 fired transitions, 2530 secs || 1 markings, 1 edges, 0 markings/sec, 2530 secs
lola: 285 tries, 284637187 fired transitions, 2535 secs || 1 markings, 1 edges, 0 markings/sec, 2535 secs
lola: 286 tries, 285180097 fired transitions, 2540 secs || 1 markings, 1 edges, 0 markings/sec, 2540 secs
lola: 286 tries, 285735910 fired transitions, 2545 secs || 1 markings, 1 edges, 0 markings/sec, 2545 secs
lola: 287 tries, 286295998 fired transitions, 2550 secs || 1 markings, 1 edges, 0 markings/sec, 2550 secs
lola: 287 tries, 286874055 fired transitions, 2555 secs || 1 markings, 1 edges, 0 markings/sec, 2555 secs
lola: 288 tries, 287450658 fired transitions, 2560 secs || 1 markings, 1 edges, 0 markings/sec, 2560 secs
lola: 289 tries, 288026396 fired transitions, 2565 secs || 1 markings, 1 edges, 0 markings/sec, 2565 secs
lola: 289 tries, 288603285 fired transitions, 2570 secs || 1 markings, 1 edges, 0 markings/sec, 2570 secs
lola: 290 tries, 289181568 fired transitions, 2575 secs || 1 markings, 1 edges, 0 markings/sec, 2575 secs
lola: 290 tries, 289727895 fired transitions, 2580 secs || 1 markings, 1 edges, 0 markings/sec, 2580 secs
lola: 291 tries, 290274433 fired transitions, 2585 secs || 1 markings, 1 edges, 0 markings/sec, 2585 secs
lola: 291 tries, 290817401 fired transitions, 2590 secs || 1 markings, 1 edges, 0 markings/sec, 2590 secs
lola: 292 tries, 291359951 fired transitions, 2595 secs || 1 markings, 1 edges, 0 markings/sec, 2595 secs
lola: 292 tries, 291902511 fired transitions, 2600 secs || 1 markings, 1 edges, 0 markings/sec, 2600 secs
lola: 293 tries, 292446822 fired transitions, 2605 secs || 1 markings, 1 edges, 0 markings/sec, 2605 secs
lola: 294 tries, 293000382 fired transitions, 2610 secs || 1 markings, 1 edges, 0 markings/sec, 2610 secs
lola: 294 tries, 293542888 fired transitions, 2615 secs || 1 markings, 1 edges, 0 markings/sec, 2615 secs
lola: 295 tries, 294085956 fired transitions, 2620 secs || 1 markings, 1 edges, 0 markings/sec, 2620 secs
lola: 295 tries, 294650181 fired transitions, 2625 secs || 1 markings, 1 edges, 0 markings/sec, 2625 secs
lola: 296 tries, 295192757 fired transitions, 2630 secs || 1 markings, 1 edges, 0 markings/sec, 2630 secs
lola: 296 tries, 295735481 fired transitions, 2635 secs || 1 markings, 1 edges, 0 markings/sec, 2635 secs
lola: 297 tries, 296278269 fired transitions, 2640 secs || 1 markings, 1 edges, 0 markings/sec, 2640 secs
lola: 297 tries, 296845221 fired transitions, 2645 secs || 1 markings, 1 edges, 0 markings/sec, 2645 secs
lola: 298 tries, 297417547 fired transitions, 2650 secs || 1 markings, 1 edges, 0 markings/sec, 2650 secs
lola: 298 tries, 297993880 fired transitions, 2655 secs || 1 markings, 1 edges, 0 markings/sec, 2655 secs
lola: 299 tries, 298571204 fired transitions, 2660 secs || 1 markings, 1 edges, 0 markings/sec, 2660 secs
lola: 300 tries, 299146043 fired transitions, 2665 secs || 1 markings, 1 edges, 0 markings/sec, 2665 secs
lola: 300 tries, 299699690 fired transitions, 2670 secs || 1 markings, 1 edges, 0 markings/sec, 2670 secs
lola: 301 tries, 300242393 fired transitions, 2675 secs || 1 markings, 1 edges, 0 markings/sec, 2675 secs
lola: 301 tries, 300785318 fired transitions, 2680 secs || 1 markings, 1 edges, 0 markings/sec, 2680 secs
lola: 302 tries, 301331780 fired transitions, 2685 secs || 1 markings, 1 edges, 0 markings/sec, 2685 secs
lola: 302 tries, 301874628 fired transitions, 2690 secs || 1 markings, 1 edges, 0 markings/sec, 2690 secs
lola: 303 tries, 302418425 fired transitions, 2695 secs || 1 markings, 1 edges, 0 markings/sec, 2695 secs
lola: 303 tries, 302961210 fired transitions, 2700 secs || 1 markings, 1 edges, 0 markings/sec, 2700 secs
lola: 304 tries, 303503920 fired transitions, 2705 secs || 1 markings, 1 edges, 0 markings/sec, 2705 secs
lola: 305 tries, 304046416 fired transitions, 2710 secs || 1 markings, 1 edges, 0 markings/sec, 2710 secs
lola: 305 tries, 304589224 fired transitions, 2715 secs || 1 markings, 1 edges, 0 markings/sec, 2715 secs
lola: 306 tries, 305143456 fired transitions, 2720 secs || 1 markings, 1 edges, 0 markings/sec, 2720 secs
lola: 306 tries, 305689459 fired transitions, 2725 secs || 1 markings, 1 edges, 0 markings/sec, 2725 secs
lola: 307 tries, 306244427 fired transitions, 2730 secs || 1 markings, 1 edges, 0 markings/sec, 2730 secs
lola: 307 tries, 306804497 fired transitions, 2735 secs || 1 markings, 1 edges, 0 markings/sec, 2735 secs
lola: 308 tries, 307347277 fired transitions, 2740 secs || 1 markings, 1 edges, 0 markings/sec, 2740 secs
lola: 308 tries, 307890305 fired transitions, 2745 secs || 1 markings, 1 edges, 0 markings/sec, 2745 secs
lola: 309 tries, 308433328 fired transitions, 2750 secs || 1 markings, 1 edges, 0 markings/sec, 2750 secs
lola: 309 tries, 308976300 fired transitions, 2755 secs || 1 markings, 1 edges, 0 markings/sec, 2755 secs
lola: 310 tries, 309538021 fired transitions, 2760 secs || 1 markings, 1 edges, 0 markings/sec, 2760 secs
lola: 311 tries, 310109761 fired transitions, 2765 secs || 1 markings, 1 edges, 0 markings/sec, 2765 secs
lola: 311 tries, 310702878 fired transitions, 2770 secs || 1 markings, 1 edges, 0 markings/sec, 2770 secs
lola: 312 tries, 311253200 fired transitions, 2775 secs || 1 markings, 1 edges, 0 markings/sec, 2775 secs
lola: 312 tries, 311798792 fired transitions, 2780 secs || 1 markings, 1 edges, 0 markings/sec, 2780 secs
lola: 313 tries, 312341658 fired transitions, 2785 secs || 1 markings, 1 edges, 0 markings/sec, 2785 secs
lola: 313 tries, 312893909 fired transitions, 2790 secs || 1 markings, 1 edges, 0 markings/sec, 2790 secs
lola: 314 tries, 313458693 fired transitions, 2795 secs || 1 markings, 1 edges, 0 markings/sec, 2795 secs
lola: 315 tries, 314026501 fired transitions, 2800 secs || 1 markings, 1 edges, 0 markings/sec, 2800 secs
lola: 315 tries, 314569532 fired transitions, 2805 secs || 1 markings, 1 edges, 0 markings/sec, 2805 secs
lola: 316 tries, 315112491 fired transitions, 2810 secs || 1 markings, 1 edges, 0 markings/sec, 2810 secs
lola: 316 tries, 315655054 fired transitions, 2815 secs || 1 markings, 1 edges, 0 markings/sec, 2815 secs
lola: 317 tries, 316205572 fired transitions, 2820 secs || 1 markings, 1 edges, 0 markings/sec, 2820 secs
lola: 317 tries, 316747770 fired transitions, 2825 secs || 1 markings, 1 edges, 0 markings/sec, 2825 secs
lola: 318 tries, 317289925 fired transitions, 2830 secs || 1 markings, 1 edges, 0 markings/sec, 2830 secs
lola: 318 tries, 317832275 fired transitions, 2835 secs || 1 markings, 1 edges, 0 markings/sec, 2835 secs
lola: 319 tries, 318378935 fired transitions, 2840 secs || 1 markings, 1 edges, 0 markings/sec, 2840 secs
lola: 319 tries, 318921703 fired transitions, 2845 secs || 1 markings, 1 edges, 0 markings/sec, 2845 secs
lola: 320 tries, 319469951 fired transitions, 2850 secs || 1 markings, 1 edges, 0 markings/sec, 2850 secs
lola: 321 tries, 320019711 fired transitions, 2855 secs || 1 markings, 1 edges, 0 markings/sec, 2855 secs
lola: 321 tries, 320561800 fired transitions, 2860 secs || 1 markings, 1 edges, 0 markings/sec, 2860 secs
lola: 322 tries, 321136299 fired transitions, 2865 secs || 1 markings, 1 edges, 0 markings/sec, 2865 secs
lola: 322 tries, 321713543 fired transitions, 2870 secs || 1 markings, 1 edges, 0 markings/sec, 2870 secs
lola: 323 tries, 322255550 fired transitions, 2875 secs || 1 markings, 1 edges, 0 markings/sec, 2875 secs
lola: 323 tries, 322797762 fired transitions, 2880 secs || 1 markings, 1 edges, 0 markings/sec, 2880 secs
lola: 324 tries, 323391462 fired transitions, 2885 secs || 1 markings, 1 edges, 0 markings/sec, 2885 secs
lola: 324 tries, 323991156 fired transitions, 2890 secs || 1 markings, 1 edges, 0 markings/sec, 2890 secs
lola: 325 tries, 324592142 fired transitions, 2895 secs || 1 markings, 1 edges, 0 markings/sec, 2895 secs
lola: 326 tries, 325179052 fired transitions, 2900 secs || 1 markings, 1 edges, 0 markings/sec, 2900 secs
lola: 326 tries, 325758134 fired transitions, 2905 secs || 1 markings, 1 edges, 0 markings/sec, 2905 secs
lola: 327 tries, 326333930 fired transitions, 2910 secs || 1 markings, 1 edges, 0 markings/sec, 2910 secs
lola: 327 tries, 326923747 fired transitions, 2915 secs || 1 markings, 1 edges, 0 markings/sec, 2915 secs
lola: 328 tries, 327506830 fired transitions, 2920 secs || 1 markings, 1 edges, 0 markings/sec, 2920 secs
lola: 329 tries, 328068645 fired transitions, 2925 secs || 1 markings, 1 edges, 0 markings/sec, 2925 secs
lola: 329 tries, 328620338 fired transitions, 2930 secs || 1 markings, 1 edges, 0 markings/sec, 2930 secs
lola: 330 tries, 329166558 fired transitions, 2935 secs || 1 markings, 1 edges, 0 markings/sec, 2935 secs
lola: 330 tries, 329709204 fired transitions, 2940 secs || 1 markings, 1 edges, 0 markings/sec, 2940 secs
lola: 331 tries, 330252092 fired transitions, 2945 secs || 1 markings, 1 edges, 0 markings/sec, 2945 secs
lola: 331 tries, 330794406 fired transitions, 2950 secs || 1 markings, 1 edges, 0 markings/sec, 2950 secs
lola: 332 tries, 331354624 fired transitions, 2955 secs || 1 markings, 1 edges, 0 markings/sec, 2955 secs
lola: 332 tries, 331914906 fired transitions, 2960 secs || 1 markings, 1 edges, 0 markings/sec, 2960 secs
lola: 333 tries, 332459244 fired transitions, 2965 secs || 1 markings, 1 edges, 0 markings/sec, 2965 secs
lola: 334 tries, 333017926 fired transitions, 2970 secs || 1 markings, 1 edges, 0 markings/sec, 2970 secs
lola: 334 tries, 333560063 fired transitions, 2975 secs || 1 markings, 1 edges, 0 markings/sec, 2975 secs
lola: 335 tries, 334102972 fired transitions, 2980 secs || 1 markings, 1 edges, 0 markings/sec, 2980 secs
lola: 335 tries, 334650015 fired transitions, 2985 secs || 1 markings, 1 edges, 0 markings/sec, 2985 secs
lola: 336 tries, 335196680 fired transitions, 2990 secs || 1 markings, 1 edges, 0 markings/sec, 2990 secs
lola: 336 tries, 335739343 fired transitions, 2995 secs || 1 markings, 1 edges, 0 markings/sec, 2995 secs
lola: 337 tries, 336282296 fired transitions, 3000 secs || 1 markings, 1 edges, 0 markings/sec, 3000 secs
lola: 337 tries, 336858815 fired transitions, 3005 secs || 1 markings, 1 edges, 0 markings/sec, 3005 secs
lola: 338 tries, 337406044 fired transitions, 3010 secs || 1 markings, 1 edges, 0 markings/sec, 3010 secs
lola: 338 tries, 337948714 fired transitions, 3015 secs || 1 markings, 1 edges, 0 markings/sec, 3015 secs
lola: 339 tries, 338490757 fired transitions, 3020 secs || 1 markings, 1 edges, 0 markings/sec, 3020 secs
lola: 340 tries, 339043271 fired transitions, 3025 secs || 1 markings, 1 edges, 0 markings/sec, 3025 secs
lola: 340 tries, 339640202 fired transitions, 3030 secs || 1 markings, 1 edges, 0 markings/sec, 3030 secs
lola: 341 tries, 340230956 fired transitions, 3035 secs || 1 markings, 1 edges, 0 markings/sec, 3035 secs
lola: 341 tries, 340810460 fired transitions, 3040 secs || 1 markings, 1 edges, 0 markings/sec, 3040 secs
lola: 342 tries, 341388096 fired transitions, 3045 secs || 1 markings, 1 edges, 0 markings/sec, 3045 secs
lola: 342 tries, 341941293 fired transitions, 3050 secs || 1 markings, 1 edges, 0 markings/sec, 3050 secs
lola: 343 tries, 342484292 fired transitions, 3055 secs || 1 markings, 1 edges, 0 markings/sec, 3055 secs
lola: 344 tries, 343027092 fired transitions, 3060 secs || 1 markings, 1 edges, 0 markings/sec, 3060 secs
lola: 344 tries, 343593855 fired transitions, 3065 secs || 1 markings, 1 edges, 0 markings/sec, 3065 secs
lola: 345 tries, 344176397 fired transitions, 3070 secs || 1 markings, 1 edges, 0 markings/sec, 3070 secs
lola: 345 tries, 344730122 fired transitions, 3075 secs || 1 markings, 1 edges, 0 markings/sec, 3075 secs
lola: 346 tries, 345274866 fired transitions, 3080 secs || 1 markings, 1 edges, 0 markings/sec, 3080 secs
lola: 346 tries, 345812431 fired transitions, 3085 secs || 1 markings, 1 edges, 0 markings/sec, 3085 secs
lola: 347 tries, 346338280 fired transitions, 3090 secs || 1 markings, 1 edges, 0 markings/sec, 3090 secs
lola: 347 tries, 346862210 fired transitions, 3095 secs || 1 markings, 1 edges, 0 markings/sec, 3095 secs
lola: 348 tries, 347387270 fired transitions, 3100 secs || 1 markings, 1 edges, 0 markings/sec, 3100 secs
lola: 348 tries, 347916351 fired transitions, 3105 secs || 1 markings, 1 edges, 0 markings/sec, 3105 secs
lola: 349 tries, 348471367 fired transitions, 3110 secs || 1 markings, 1 edges, 0 markings/sec, 3110 secs
lola: 350 tries, 349023273 fired transitions, 3115 secs || 1 markings, 1 edges, 0 markings/sec, 3115 secs
lola: 350 tries, 349571542 fired transitions, 3120 secs || 1 markings, 1 edges, 0 markings/sec, 3120 secs
lola: 351 tries, 350114331 fired transitions, 3125 secs || 1 markings, 1 edges, 0 markings/sec, 3125 secs
lola: 351 tries, 350656821 fired transitions, 3130 secs || 1 markings, 1 edges, 0 markings/sec, 3130 secs
lola: 352 tries, 351213521 fired transitions, 3135 secs || 1 markings, 1 edges, 0 markings/sec, 3135 secs
lola: 352 tries, 351762927 fired transitions, 3140 secs || 1 markings, 1 edges, 0 markings/sec, 3140 secs
lola: 353 tries, 352305220 fired transitions, 3145 secs || 1 markings, 1 edges, 0 markings/sec, 3145 secs
lola: 353 tries, 352848260 fired transitions, 3150 secs || 1 markings, 1 edges, 0 markings/sec, 3150 secs
lola: 354 tries, 353390582 fired transitions, 3155 secs || 1 markings, 1 edges, 0 markings/sec, 3155 secs
lola: 354 tries, 353933671 fired transitions, 3160 secs || 1 markings, 1 edges, 0 markings/sec, 3160 secs
lola: 355 tries, 354479166 fired transitions, 3165 secs || 1 markings, 1 edges, 0 markings/sec, 3165 secs
lola: 356 tries, 355060552 fired transitions, 3170 secs || 1 markings, 1 edges, 0 markings/sec, 3170 secs
lola: 356 tries, 355638367 fired transitions, 3175 secs || 1 markings, 1 edges, 0 markings/sec, 3175 secs
lola: 357 tries, 356215174 fired transitions, 3180 secs || 1 markings, 1 edges, 0 markings/sec, 3180 secs
lola: 357 tries, 356792598 fired transitions, 3185 secs || 1 markings, 1 edges, 0 markings/sec, 3185 secs
lola: 358 tries, 357368414 fired transitions, 3190 secs || 1 markings, 1 edges, 0 markings/sec, 3190 secs
lola: 358 tries, 357940326 fired transitions, 3195 secs || 1 markings, 1 edges, 0 markings/sec, 3195 secs
lola: 359 tries, 358480544 fired transitions, 3200 secs || 1 markings, 1 edges, 0 markings/sec, 3200 secs
lola: 360 tries, 359037087 fired transitions, 3205 secs || 1 markings, 1 edges, 0 markings/sec, 3205 secs
lola: 360 tries, 359619596 fired transitions, 3210 secs || 1 markings, 1 edges, 0 markings/sec, 3210 secs
lola: 361 tries, 360176256 fired transitions, 3215 secs || 1 markings, 1 edges, 0 markings/sec, 3215 secs
lola: 361 tries, 360734470 fired transitions, 3220 secs || 1 markings, 1 edges, 0 markings/sec, 3220 secs
lola: 362 tries, 361292496 fired transitions, 3225 secs || 1 markings, 1 edges, 0 markings/sec, 3225 secs
lola: 362 tries, 361838530 fired transitions, 3230 secs || 1 markings, 1 edges, 0 markings/sec, 3230 secs
lola: 363 tries, 362393214 fired transitions, 3235 secs || 1 markings, 1 edges, 0 markings/sec, 3235 secs
lola: 363 tries, 362951401 fired transitions, 3240 secs || 1 markings, 1 edges, 0 markings/sec, 3240 secs
lola: 364 tries, 363494224 fired transitions, 3245 secs || 1 markings, 1 edges, 0 markings/sec, 3245 secs
lola: 365 tries, 364036238 fired transitions, 3250 secs || 1 markings, 1 edges, 0 markings/sec, 3250 secs
lola: 365 tries, 364587280 fired transitions, 3255 secs || 1 markings, 1 edges, 0 markings/sec, 3255 secs
lola: 366 tries, 365153101 fired transitions, 3260 secs || 1 markings, 1 edges, 0 markings/sec, 3260 secs
lola: 366 tries, 365713360 fired transitions, 3265 secs || 1 markings, 1 edges, 0 markings/sec, 3265 secs
lola: 367 tries, 366277944 fired transitions, 3270 secs || 1 markings, 1 edges, 0 markings/sec, 3270 secs
lola: 367 tries, 366839116 fired transitions, 3275 secs || 1 markings, 1 edges, 0 markings/sec, 3275 secs
lola: 368 tries, 367416510 fired transitions, 3280 secs || 1 markings, 1 edges, 0 markings/sec, 3280 secs
lola: 368 tries, 367998541 fired transitions, 3285 secs || 1 markings, 1 edges, 0 markings/sec, 3285 secs
lola: 369 tries, 368580428 fired transitions, 3290 secs || 1 markings, 1 edges, 0 markings/sec, 3290 secs
lola: 370 tries, 369161065 fired transitions, 3295 secs || 1 markings, 1 edges, 0 markings/sec, 3295 secs
lola: 370 tries, 369736668 fired transitions, 3300 secs || 1 markings, 1 edges, 0 markings/sec, 3300 secs
lola: 371 tries, 370282061 fired transitions, 3305 secs || 1 markings, 1 edges, 0 markings/sec, 3305 secs
lola: 371 tries, 370824576 fired transitions, 3310 secs || 1 markings, 1 edges, 0 markings/sec, 3310 secs
lola: 372 tries, 371367624 fired transitions, 3315 secs || 1 markings, 1 edges, 0 markings/sec, 3315 secs
lola: 372 tries, 371930331 fired transitions, 3320 secs || 1 markings, 1 edges, 0 markings/sec, 3320 secs
lola: 373 tries, 372473338 fired transitions, 3325 secs || 1 markings, 1 edges, 0 markings/sec, 3325 secs
lola: 374 tries, 373015931 fired transitions, 3330 secs || 1 markings, 1 edges, 0 markings/sec, 3330 secs
lola: 374 tries, 373558563 fired transitions, 3335 secs || 1 markings, 1 edges, 0 markings/sec, 3335 secs
lola: 375 tries, 374127119 fired transitions, 3340 secs || 1 markings, 1 edges, 0 markings/sec, 3340 secs
lola: 375 tries, 374703512 fired transitions, 3345 secs || 1 markings, 1 edges, 0 markings/sec, 3345 secs
lola: 376 tries, 375282121 fired transitions, 3350 secs || 1 markings, 1 edges, 0 markings/sec, 3350 secs
lola: 376 tries, 375869781 fired transitions, 3355 secs || 1 markings, 1 edges, 0 markings/sec, 3355 secs
lola: 377 tries, 376420866 fired transitions, 3360 secs || 1 markings, 1 edges, 0 markings/sec, 3360 secs
lola: 377 tries, 376963183 fired transitions, 3365 secs || 1 markings, 1 edges, 0 markings/sec, 3365 secs
lola: 378 tries, 377505865 fired transitions, 3370 secs || 1 markings, 1 edges, 0 markings/sec, 3370 secs
lola: 379 tries, 378048484 fired transitions, 3375 secs || 1 markings, 1 edges, 0 markings/sec, 3375 secs
lola: 379 tries, 378590931 fired transitions, 3380 secs || 1 markings, 1 edges, 0 markings/sec, 3380 secs
lola: 380 tries, 379133635 fired transitions, 3385 secs || 1 markings, 1 edges, 0 markings/sec, 3385 secs
lola: 380 tries, 379677835 fired transitions, 3390 secs || 1 markings, 1 edges, 0 markings/sec, 3390 secs
lola: 381 tries, 380220905 fired transitions, 3395 secs || 1 markings, 1 edges, 0 markings/sec, 3395 secs
lola: 381 tries, 380767402 fired transitions, 3400 secs || 1 markings, 1 edges, 0 markings/sec, 3400 secs
lola: 382 tries, 381315889 fired transitions, 3405 secs || 1 markings, 1 edges, 0 markings/sec, 3405 secs
lola: 382 tries, 381859133 fired transitions, 3410 secs || 1 markings, 1 edges, 0 markings/sec, 3410 secs
lola: 383 tries, 382402282 fired transitions, 3415 secs || 1 markings, 1 edges, 0 markings/sec, 3415 secs
lola: 383 tries, 382951301 fired transitions, 3420 secs || 1 markings, 1 edges, 0 markings/sec, 3420 secs
lola: 384 tries, 383512921 fired transitions, 3425 secs || 1 markings, 1 edges, 0 markings/sec, 3425 secs
lola: 385 tries, 384074549 fired transitions, 3430 secs || 1 markings, 1 edges, 0 markings/sec, 3430 secs
lola: 385 tries, 384636275 fired transitions, 3435 secs || 1 markings, 1 edges, 0 markings/sec, 3435 secs
lola: 386 tries, 385181455 fired transitions, 3440 secs || 1 markings, 1 edges, 0 markings/sec, 3440 secs
lola: 386 tries, 385741233 fired transitions, 3445 secs || 1 markings, 1 edges, 0 markings/sec, 3445 secs
lola: 387 tries, 386284255 fired transitions, 3450 secs || 1 markings, 1 edges, 0 markings/sec, 3450 secs
lola: 387 tries, 386826146 fired transitions, 3455 secs || 1 markings, 1 edges, 0 markings/sec, 3455 secs
lola: 388 tries, 387368470 fired transitions, 3460 secs || 1 markings, 1 edges, 0 markings/sec, 3460 secs
lola: 388 tries, 387941882 fired transitions, 3465 secs || 1 markings, 1 edges, 0 markings/sec, 3465 secs
lola: 389 tries, 388513866 fired transitions, 3470 secs || 1 markings, 1 edges, 0 markings/sec, 3470 secs
lola: 390 tries, 389076323 fired transitions, 3475 secs || 1 markings, 1 edges, 0 markings/sec, 3475 secs
lola: 390 tries, 389636925 fired transitions, 3480 secs || 1 markings, 1 edges, 0 markings/sec, 3480 secs
lola: 391 tries, 390195525 fired transitions, 3485 secs || 1 markings, 1 edges, 0 markings/sec, 3485 secs
lola: 391 tries, 390738681 fired transitions, 3490 secs || 1 markings, 1 edges, 0 markings/sec, 3490 secs
lola: 392 tries, 391281746 fired transitions, 3495 secs || 1 markings, 1 edges, 0 markings/sec, 3495 secs
lola: 392 tries, 391824808 fired transitions, 3500 secs || 1 markings, 1 edges, 0 markings/sec, 3500 secs
lola: 393 tries, 392378763 fired transitions, 3505 secs || 1 markings, 1 edges, 0 markings/sec, 3505 secs
lola: 393 tries, 392921733 fired transitions, 3510 secs || 1 markings, 1 edges, 0 markings/sec, 3510 secs
lola: 394 tries, 393464261 fired transitions, 3515 secs || 1 markings, 1 edges, 0 markings/sec, 3515 secs
lola: 395 tries, 394006799 fired transitions, 3520 secs || 1 markings, 1 edges, 0 markings/sec, 3520 secs
lola: 395 tries, 394562796 fired transitions, 3525 secs || 1 markings, 1 edges, 0 markings/sec, 3525 secs
lola: 396 tries, 395105085 fired transitions, 3530 secs || 1 markings, 1 edges, 0 markings/sec, 3530 secs
lola: 396 tries, 395647501 fired transitions, 3535 secs || 1 markings, 1 edges, 0 markings/sec, 3535 secs
lola: 397 tries, 396190330 fired transitions, 3540 secs || 1 markings, 1 edges, 0 markings/sec, 3540 secs
lola: time limit reached - aborting
lola: memory consumption: 2885400 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552515631832

--------------------
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="BART-COL-040"
export BK_EXAMINATION="GlobalProperties"
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 BART-COL-040, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225065300291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-040.tgz
mv BART-COL-040 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "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 [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;