About the Execution of LoLA for RwMutex-PT-r2000w0010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7771.600 | 3571182.00 | 7502203.00 | 562.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2019-input.r148-ebro-155286404100363.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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-3954
Executing tool lola
Input is RwMutex-PT-r2000w0010, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-ebro-155286404100363
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 3.1K Feb 12 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 12 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 8 17:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 17:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 01:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 4 17:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 17:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 1 13:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 13:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 11 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 3.9M 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 RwMutex-PT-r2000w0010-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553003762446
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RwMutex-PT-r2000w0010 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ RwMutex-PT-r2000w0010
{
"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": "Tue Mar 19 13:56:02 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7715860,
"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": 52040,
"conflict_clusters": 2011,
"places": 6020,
"places_significant": 2010,
"singleton_clusters": 0,
"transitions": 4020
},
"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": inf,
"composed": 290379,
"dead_branches": 2,
"generators": 290533,
"interrupted": true,
"real_computed": 154,
"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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 10040/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 192640
lola: finding significant places
lola: 6020 places, 4020 transitions, 2010 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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 25950 fired transitions, 0 secs
lola: 1754 generators;18097369 candidates remain ( 0%), 0 secs
lola: 1 tries, 51876 fired transitions, 5 secs
lola: 4006 generators;18087079 candidates remain ( 0%), 5 secs
lola: 1 tries, 77132 fired transitions, 10 secs
lola: 7999 generators;18075048 candidates remain ( 0%), 10 secs
lola: 1 tries, 102148 fired transitions, 15 secs
lola: 13981 generators;18061028 candidates remain ( 0%), 15 secs
lola: 1 tries, 127610 fired transitions, 20 secs
lola: 19459 generators;18043493 candidates remain ( 0%), 20 secs
lola: 1 tries, 153036 fired transitions, 25 secs
lola: 21943 generators;18032971 candidates remain ( 0%), 25 secs
lola: 1 tries, 178502 fired transitions, 30 secs
lola: 27904 generators;18018972 candidates remain ( 0%), 30 secs
lola: 1 tries, 203910 fired transitions, 35 secs
lola: 31873 generators;18002946 candidates remain ( 0%), 35 secs
lola: 1 tries, 229346 fired transitions, 40 secs
lola: 37819 generators;17988962 candidates remain ( 0%), 40 secs
lola: 1 tries, 254679 fired transitions, 45 secs
lola: 41778 generators;17972946 candidates remain ( 0%), 45 secs
lola: 1 tries, 279942 fired transitions, 50 secs
lola: 45733 generators;17960953 candidates remain ( 0%), 50 secs
lola: 1 tries, 304998 fired transitions, 55 secs
lola: 51658 generators;17942971 candidates remain ( 0%), 55 secs
lola: 1 tries, 329264 fired transitions, 60 secs
lola: 57574 generators;17924998 candidates remain ( 0%), 60 secs
lola: 1 tries, 354116 fired transitions, 65 secs
lola: 61513 generators;17913021 candidates remain ( 0%), 65 secs
lola: 1 tries, 378858 fired transitions, 70 secs
lola: 65448 generators;17901048 candidates remain ( 0%), 70 secs
lola: 1 tries, 403504 fired transitions, 75 secs
lola: 71343 generators;17887115 candidates remain ( 0%), 75 secs
lola: 1 tries, 428136 fired transitions, 80 secs
lola: 77229 generators;17865153 candidates remain ( 0%), 80 secs
lola: 1 tries, 452668 fired transitions, 85 secs
lola: 81148 generators;17853196 candidates remain ( 0%), 85 secs
lola: 1 tries, 477145 fired transitions, 90 secs
lola: 85063 generators;17841243 candidates remain ( 0%), 90 secs
lola: 1 tries, 501517 fired transitions, 95 secs
lola: 88974 generators;17829294 candidates remain ( 0%), 95 secs
lola: 1 tries, 525818 fired transitions, 100 secs
lola: 92881 generators;17817349 candidates remain ( 0%), 100 secs
lola: 1 tries, 550136 fired transitions, 105 secs
lola: 100683 generators;17793471 candidates remain ( 0%), 105 secs
lola: 1 tries, 574414 fired transitions, 110 secs
lola: 104578 generators;17781538 candidates remain ( 0%), 110 secs
lola: 1 tries, 598665 fired transitions, 115 secs
lola: 108469 generators;17769609 candidates remain ( 0%), 115 secs
lola: 1 tries, 622876 fired transitions, 120 secs
lola: 112356 generators;17757684 candidates remain ( 0%), 120 secs
lola: 1 tries, 647116 fired transitions, 125 secs
lola: 116239 generators;17745763 candidates remain ( 0%), 125 secs
lola: 1 tries, 671292 fired transitions, 130 secs
lola: 123993 generators;17721933 candidates remain ( 0%), 130 secs
lola: 1 tries, 695384 fired transitions, 135 secs
lola: 127864 generators;17710024 candidates remain ( 0%), 135 secs
lola: 1 tries, 719377 fired transitions, 140 secs
lola: 131731 generators;17698119 candidates remain ( 0%), 140 secs
lola: 1 tries, 743294 fired transitions, 145 secs
lola: 135594 generators;17686218 candidates remain ( 0%), 145 secs
lola: 1 tries, 767204 fired transitions, 150 secs
lola: 143308 generators;17662428 candidates remain ( 0%), 150 secs
lola: 1 tries, 791070 fired transitions, 155 secs
lola: 147159 generators;17650539 candidates remain ( 0%), 155 secs
lola: 1 tries, 814788 fired transitions, 160 secs
lola: 151006 generators;17638654 candidates remain ( 0%), 160 secs
lola: 1 tries, 838238 fired transitions, 165 secs
lola: 154849 generators;17626773 candidates remain ( 0%), 165 secs
lola: 1 tries, 861588 fired transitions, 170 secs
lola: 162523 generators;17603023 candidates remain ( 0%), 170 secs
lola: 1 tries, 884906 fired transitions, 175 secs
lola: 166354 generators;17591154 candidates remain ( 0%), 175 secs
lola: 1 tries, 908248 fired transitions, 180 secs
lola: 170181 generators;17579289 candidates remain ( 0%), 180 secs
lola: 1 tries, 931628 fired transitions, 185 secs
lola: 174004 generators;17567428 candidates remain ( 0%), 185 secs
lola: 1 tries, 954978 fired transitions, 190 secs
lola: 181638 generators;17547737 candidates remain ( 1%), 190 secs
lola: 1 tries, 978268 fired transitions, 195 secs
lola: 185449 generators;17531869 candidates remain ( 1%), 195 secs
lola: 2 tries, 1000673 fired transitions, 200 secs
lola: 189256 generators;17520024 candidates remain ( 1%), 200 secs
lola: 2 tries, 1023638 fired transitions, 205 secs
lola: 193059 generators;17508183 candidates remain ( 1%), 205 secs
lola: 2 tries, 1046826 fired transitions, 210 secs
lola: 200653 generators;17484513 candidates remain ( 1%), 210 secs
lola: 2 tries, 1070065 fired transitions, 215 secs
lola: 204444 generators;17472684 candidates remain ( 1%), 215 secs
lola: 2 tries, 1093272 fired transitions, 220 secs
lola: 208231 generators;17460859 candidates remain ( 1%), 220 secs
lola: 2 tries, 1116448 fired transitions, 225 secs
lola: 212014 generators;17449038 candidates remain ( 1%), 225 secs
lola: 2 tries, 1139484 fired transitions, 230 secs
lola: 219568 generators;17425408 candidates remain ( 1%), 230 secs
lola: 2 tries, 1162480 fired transitions, 235 secs
lola: 223339 generators;17413599 candidates remain ( 1%), 235 secs
lola: 2 tries, 1185496 fired transitions, 240 secs
lola: 227106 generators;17401794 candidates remain ( 1%), 240 secs
lola: 2 tries, 1208412 fired transitions, 245 secs
lola: 230869 generators;17389993 candidates remain ( 1%), 245 secs
lola: 2 tries, 1231250 fired transitions, 250 secs
lola: 238383 generators;17366403 candidates remain ( 1%), 250 secs
lola: 2 tries, 1254070 fired transitions, 255 secs
lola: 242134 generators;17354614 candidates remain ( 1%), 255 secs
lola: 2 tries, 1276786 fired transitions, 260 secs
lola: 245881 generators;17342829 candidates remain ( 1%), 260 secs
lola: 2 tries, 1299603 fired transitions, 265 secs
lola: 249624 generators;17331048 candidates remain ( 1%), 265 secs
lola: 2 tries, 1322398 fired transitions, 270 secs
lola: 257098 generators;17307498 candidates remain ( 1%), 270 secs
lola: 2 tries, 1345046 fired transitions, 275 secs
lola: 260829 generators;17295729 candidates remain ( 1%), 275 secs
lola: 2 tries, 1367644 fired transitions, 280 secs
lola: 264556 generators;17283964 candidates remain ( 1%), 280 secs
lola: 2 tries, 1390414 fired transitions, 285 secs
lola: 271998 generators;17264465 candidates remain ( 1%), 285 secs
lola: 2 tries, 1413123 fired transitions, 290 secs
lola: 275713 generators;17248693 candidates remain ( 1%), 290 secs
lola: 2 tries, 1435856 fired transitions, 295 secs
lola: 279424 generators;17236944 candidates remain ( 1%), 295 secs
lola: 2 tries, 1458546 fired transitions, 300 secs
lola: 286834 generators;17221496 candidates remain ( 1%), 300 secs
lola: 2 tries, 1481178 fired transitions, 305 secs
lola: 290533 generators;17201721 candidates remain ( 1%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 290533 generators (154 in search tree, 290379 by composition)
lola: representing 8.55502E+496 symmetries
lola: 2 dead branches visited in search tree
lola: 2 tries, 1503906 fired transitions, 310 secs || 99 markings, 99 edges, 20 markings/sec, 310 secs
lola: 2 tries, 1526576 fired transitions, 315 secs || 201 markings, 201 edges, 20 markings/sec, 315 secs
lola: 2 tries, 1549316 fired transitions, 320 secs || 304 markings, 304 edges, 21 markings/sec, 320 secs
lola: 2 tries, 1571940 fired transitions, 325 secs || 406 markings, 406 edges, 20 markings/sec, 325 secs
lola: 2 tries, 1594510 fired transitions, 330 secs || 509 markings, 509 edges, 21 markings/sec, 330 secs
lola: 2 tries, 1616964 fired transitions, 335 secs || 610 markings, 610 edges, 20 markings/sec, 335 secs
lola: 2 tries, 1639506 fired transitions, 340 secs || 711 markings, 711 edges, 20 markings/sec, 340 secs
lola: 2 tries, 1661944 fired transitions, 345 secs || 813 markings, 813 edges, 20 markings/sec, 345 secs
lola: 2 tries, 1684382 fired transitions, 350 secs || 915 markings, 915 edges, 20 markings/sec, 350 secs
lola: 2 tries, 1706780 fired transitions, 355 secs || 1018 markings, 1018 edges, 21 markings/sec, 355 secs
lola: 2 tries, 1729230 fired transitions, 360 secs || 1120 markings, 1120 edges, 20 markings/sec, 360 secs
lola: 2 tries, 1751620 fired transitions, 365 secs || 1222 markings, 1222 edges, 20 markings/sec, 365 secs
lola: 2 tries, 1773920 fired transitions, 370 secs || 1325 markings, 1325 edges, 21 markings/sec, 370 secs
lola: 2 tries, 1796130 fired transitions, 375 secs || 1427 markings, 1427 edges, 20 markings/sec, 375 secs
lola: 2 tries, 1818402 fired transitions, 380 secs || 1527 markings, 1527 edges, 20 markings/sec, 380 secs
lola: 2 tries, 1840656 fired transitions, 385 secs || 1628 markings, 1628 edges, 20 markings/sec, 385 secs
lola: 2 tries, 1862777 fired transitions, 390 secs || 1731 markings, 1731 edges, 21 markings/sec, 390 secs
lola: 2 tries, 1884904 fired transitions, 395 secs || 1835 markings, 1835 edges, 21 markings/sec, 395 secs
lola: 2 tries, 1906952 fired transitions, 400 secs || 1939 markings, 1939 edges, 21 markings/sec, 400 secs
lola: 2 tries, 1929026 fired transitions, 405 secs || 2041 markings, 2041 edges, 20 markings/sec, 405 secs
lola: 2 tries, 1951028 fired transitions, 410 secs || 2142 markings, 2142 edges, 20 markings/sec, 410 secs
lola: 2 tries, 1973050 fired transitions, 415 secs || 2243 markings, 2243 edges, 20 markings/sec, 415 secs
lola: 2 tries, 1995042 fired transitions, 420 secs || 2344 markings, 2344 edges, 20 markings/sec, 420 secs
lola: 3 tries, 2017006 fired transitions, 425 secs || 2443 markings, 2443 edges, 20 markings/sec, 425 secs
lola: 3 tries, 2038884 fired transitions, 430 secs || 2547 markings, 2547 edges, 21 markings/sec, 430 secs
lola: 3 tries, 2060792 fired transitions, 435 secs || 2646 markings, 2646 edges, 20 markings/sec, 435 secs
lola: 3 tries, 2082820 fired transitions, 440 secs || 2745 markings, 2745 edges, 20 markings/sec, 440 secs
lola: 3 tries, 2104730 fired transitions, 445 secs || 2848 markings, 2848 edges, 21 markings/sec, 445 secs
lola: 3 tries, 2126650 fired transitions, 450 secs || 2952 markings, 2952 edges, 21 markings/sec, 450 secs
lola: 3 tries, 2148584 fired transitions, 455 secs || 3055 markings, 3055 edges, 21 markings/sec, 455 secs
lola: 3 tries, 2170408 fired transitions, 460 secs || 3159 markings, 3159 edges, 21 markings/sec, 460 secs
lola: 3 tries, 2192160 fired transitions, 465 secs || 3259 markings, 3259 edges, 20 markings/sec, 465 secs
lola: 3 tries, 2213876 fired transitions, 470 secs || 3359 markings, 3359 edges, 20 markings/sec, 470 secs
lola: 3 tries, 2235290 fired transitions, 475 secs || 3462 markings, 3462 edges, 21 markings/sec, 475 secs
lola: 3 tries, 2256492 fired transitions, 480 secs || 3565 markings, 3565 edges, 21 markings/sec, 480 secs
lola: 3 tries, 2278153 fired transitions, 485 secs || 3667 markings, 3667 edges, 20 markings/sec, 485 secs
lola: 3 tries, 2299774 fired transitions, 490 secs || 3766 markings, 3766 edges, 20 markings/sec, 490 secs
lola: 3 tries, 2321470 fired transitions, 495 secs || 3865 markings, 3865 edges, 20 markings/sec, 495 secs
lola: 3 tries, 2343148 fired transitions, 500 secs || 3965 markings, 3965 edges, 20 markings/sec, 500 secs
lola: 3 tries, 2364730 fired transitions, 505 secs || 4065 markings, 4065 edges, 20 markings/sec, 505 secs
lola: 3 tries, 2386268 fired transitions, 510 secs || 4164 markings, 4164 edges, 20 markings/sec, 510 secs
lola: 3 tries, 2407836 fired transitions, 515 secs || 4263 markings, 4263 edges, 20 markings/sec, 515 secs
lola: 3 tries, 2429310 fired transitions, 520 secs || 4363 markings, 4363 edges, 20 markings/sec, 520 secs
lola: 3 tries, 2450737 fired transitions, 525 secs || 4462 markings, 4462 edges, 20 markings/sec, 525 secs
lola: 3 tries, 2472056 fired transitions, 530 secs || 4561 markings, 4561 edges, 20 markings/sec, 530 secs
lola: 3 tries, 2493388 fired transitions, 535 secs || 4659 markings, 4659 edges, 20 markings/sec, 535 secs
lola: 3 tries, 2514672 fired transitions, 540 secs || 4758 markings, 4758 edges, 20 markings/sec, 540 secs
lola: 3 tries, 2535974 fired transitions, 545 secs || 4856 markings, 4856 edges, 20 markings/sec, 545 secs
lola: 3 tries, 2557224 fired transitions, 550 secs || 4959 markings, 4959 edges, 21 markings/sec, 550 secs
lola: 3 tries, 2578438 fired transitions, 555 secs || 5063 markings, 5063 edges, 21 markings/sec, 555 secs
lola: 3 tries, 2599594 fired transitions, 560 secs || 5166 markings, 5166 edges, 21 markings/sec, 560 secs
lola: 3 tries, 2620736 fired transitions, 565 secs || 5268 markings, 5268 edges, 20 markings/sec, 565 secs
lola: 3 tries, 2641824 fired transitions, 570 secs || 5371 markings, 5371 edges, 21 markings/sec, 570 secs
lola: 3 tries, 2662906 fired transitions, 575 secs || 5474 markings, 5474 edges, 21 markings/sec, 575 secs
lola: 3 tries, 2683924 fired transitions, 580 secs || 5576 markings, 5576 edges, 20 markings/sec, 580 secs
lola: 3 tries, 2704919 fired transitions, 585 secs || 5674 markings, 5674 edges, 20 markings/sec, 585 secs
lola: 3 tries, 2725838 fired transitions, 590 secs || 5772 markings, 5772 edges, 20 markings/sec, 590 secs
lola: 3 tries, 2746752 fired transitions, 595 secs || 5869 markings, 5869 edges, 19 markings/sec, 595 secs
lola: 3 tries, 2767680 fired transitions, 600 secs || 5966 markings, 5966 edges, 19 markings/sec, 600 secs
lola: 3 tries, 2788620 fired transitions, 605 secs || 6062 markings, 6062 edges, 19 markings/sec, 605 secs
lola: 3 tries, 2809578 fired transitions, 610 secs || 6157 markings, 6157 edges, 19 markings/sec, 610 secs
lola: 3 tries, 2830472 fired transitions, 615 secs || 6252 markings, 6252 edges, 19 markings/sec, 615 secs
lola: 3 tries, 2851256 fired transitions, 620 secs || 6348 markings, 6348 edges, 19 markings/sec, 620 secs
lola: 3 tries, 2872134 fired transitions, 625 secs || 6446 markings, 6446 edges, 20 markings/sec, 625 secs
lola: 3 tries, 2893064 fired transitions, 630 secs || 6547 markings, 6547 edges, 20 markings/sec, 630 secs
lola: 3 tries, 2914064 fired transitions, 635 secs || 6652 markings, 6652 edges, 21 markings/sec, 635 secs
lola: 3 tries, 2935080 fired transitions, 640 secs || 6757 markings, 6757 edges, 21 markings/sec, 640 secs
lola: 3 tries, 2956072 fired transitions, 645 secs || 6861 markings, 6861 edges, 21 markings/sec, 645 secs
lola: 3 tries, 2976906 fired transitions, 650 secs || 6966 markings, 6966 edges, 21 markings/sec, 650 secs
lola: 3 tries, 2997848 fired transitions, 655 secs || 7071 markings, 7071 edges, 21 markings/sec, 655 secs
lola: 4 tries, 3018780 fired transitions, 660 secs || 7176 markings, 7176 edges, 21 markings/sec, 660 secs
lola: 4 tries, 3039718 fired transitions, 665 secs || 7281 markings, 7281 edges, 21 markings/sec, 665 secs
lola: 4 tries, 3060697 fired transitions, 670 secs || 7385 markings, 7385 edges, 21 markings/sec, 670 secs
lola: 4 tries, 3081568 fired transitions, 675 secs || 7490 markings, 7490 edges, 21 markings/sec, 675 secs
lola: 4 tries, 3102476 fired transitions, 680 secs || 7587 markings, 7587 edges, 19 markings/sec, 680 secs
lola: 4 tries, 3123272 fired transitions, 685 secs || 7685 markings, 7685 edges, 20 markings/sec, 685 secs
lola: 4 tries, 3144104 fired transitions, 690 secs || 7784 markings, 7784 edges, 20 markings/sec, 690 secs
lola: 4 tries, 3164886 fired transitions, 695 secs || 7890 markings, 7890 edges, 21 markings/sec, 695 secs
lola: 4 tries, 3185584 fired transitions, 700 secs || 7999 markings, 7999 edges, 22 markings/sec, 700 secs
lola: 4 tries, 3206308 fired transitions, 705 secs || 8107 markings, 8107 edges, 22 markings/sec, 705 secs
lola: 4 tries, 3227018 fired transitions, 710 secs || 8215 markings, 8215 edges, 22 markings/sec, 710 secs
lola: 4 tries, 3247568 fired transitions, 715 secs || 8321 markings, 8321 edges, 21 markings/sec, 715 secs
lola: 4 tries, 3268320 fired transitions, 720 secs || 8429 markings, 8429 edges, 22 markings/sec, 720 secs
lola: 4 tries, 3288652 fired transitions, 725 secs || 8538 markings, 8538 edges, 22 markings/sec, 725 secs
lola: 4 tries, 3309311 fired transitions, 730 secs || 8642 markings, 8642 edges, 21 markings/sec, 730 secs
lola: 4 tries, 3330060 fired transitions, 735 secs || 8749 markings, 8749 edges, 21 markings/sec, 735 secs
lola: 4 tries, 3350564 fired transitions, 740 secs || 8857 markings, 8857 edges, 22 markings/sec, 740 secs
lola: 4 tries, 3371214 fired transitions, 745 secs || 8961 markings, 8961 edges, 21 markings/sec, 745 secs
lola: 4 tries, 3391858 fired transitions, 750 secs || 9070 markings, 9070 edges, 22 markings/sec, 750 secs
lola: 4 tries, 3412519 fired transitions, 755 secs || 9171 markings, 9171 edges, 20 markings/sec, 755 secs
lola: 4 tries, 3433094 fired transitions, 760 secs || 9276 markings, 9276 edges, 21 markings/sec, 760 secs
lola: 4 tries, 3453429 fired transitions, 765 secs || 9384 markings, 9384 edges, 22 markings/sec, 765 secs
lola: 4 tries, 3473600 fired transitions, 770 secs || 9494 markings, 9494 edges, 22 markings/sec, 770 secs
lola: 4 tries, 3494102 fired transitions, 775 secs || 9604 markings, 9604 edges, 22 markings/sec, 775 secs
lola: 4 tries, 3514652 fired transitions, 780 secs || 9712 markings, 9712 edges, 22 markings/sec, 780 secs
lola: 4 tries, 3535182 fired transitions, 785 secs || 9820 markings, 9820 edges, 22 markings/sec, 785 secs
lola: 4 tries, 3555784 fired transitions, 790 secs || 9929 markings, 9929 edges, 22 markings/sec, 790 secs
lola: 4 tries, 3575888 fired transitions, 795 secs || 10037 markings, 10037 edges, 22 markings/sec, 795 secs
lola: 4 tries, 3595916 fired transitions, 800 secs || 10145 markings, 10145 edges, 22 markings/sec, 800 secs
lola: 4 tries, 3616323 fired transitions, 805 secs || 10253 markings, 10253 edges, 22 markings/sec, 805 secs
lola: 4 tries, 3636723 fired transitions, 810 secs || 10361 markings, 10361 edges, 22 markings/sec, 810 secs
lola: 4 tries, 3657176 fired transitions, 815 secs || 10469 markings, 10469 edges, 22 markings/sec, 815 secs
lola: 4 tries, 3677480 fired transitions, 820 secs || 10576 markings, 10576 edges, 21 markings/sec, 820 secs
lola: 4 tries, 3697390 fired transitions, 825 secs || 10685 markings, 10685 edges, 22 markings/sec, 825 secs
lola: 4 tries, 3717354 fired transitions, 830 secs || 10793 markings, 10793 edges, 22 markings/sec, 830 secs
lola: 4 tries, 3737762 fired transitions, 835 secs || 10901 markings, 10901 edges, 22 markings/sec, 835 secs
lola: 4 tries, 3758134 fired transitions, 840 secs || 11010 markings, 11010 edges, 22 markings/sec, 840 secs
lola: 4 tries, 3778544 fired transitions, 845 secs || 11119 markings, 11119 edges, 22 markings/sec, 845 secs
lola: 4 tries, 3798888 fired transitions, 850 secs || 11227 markings, 11227 edges, 22 markings/sec, 850 secs
lola: 4 tries, 3819212 fired transitions, 855 secs || 11334 markings, 11334 edges, 21 markings/sec, 855 secs
lola: 4 tries, 3839482 fired transitions, 860 secs || 11440 markings, 11440 edges, 21 markings/sec, 860 secs
lola: 4 tries, 3859826 fired transitions, 865 secs || 11549 markings, 11549 edges, 22 markings/sec, 865 secs
lola: 4 tries, 3880079 fired transitions, 870 secs || 11657 markings, 11657 edges, 22 markings/sec, 870 secs
lola: 4 tries, 3900348 fired transitions, 875 secs || 11766 markings, 11766 edges, 22 markings/sec, 875 secs
lola: 4 tries, 3920590 fired transitions, 880 secs || 11875 markings, 11875 edges, 22 markings/sec, 880 secs
lola: 4 tries, 3940808 fired transitions, 885 secs || 11983 markings, 11983 edges, 22 markings/sec, 885 secs
lola: 4 tries, 3961014 fired transitions, 890 secs || 12092 markings, 12092 edges, 22 markings/sec, 890 secs
lola: 4 tries, 3981286 fired transitions, 895 secs || 12195 markings, 12195 edges, 21 markings/sec, 895 secs
lola: 5 tries, 4001378 fired transitions, 900 secs || 12297 markings, 12297 edges, 20 markings/sec, 900 secs
lola: 5 tries, 4021550 fired transitions, 905 secs || 12400 markings, 12400 edges, 21 markings/sec, 905 secs
lola: 5 tries, 4041661 fired transitions, 910 secs || 12502 markings, 12502 edges, 20 markings/sec, 910 secs
lola: 5 tries, 4061672 fired transitions, 915 secs || 12605 markings, 12605 edges, 21 markings/sec, 915 secs
lola: 5 tries, 4081712 fired transitions, 920 secs || 12708 markings, 12708 edges, 21 markings/sec, 920 secs
lola: 5 tries, 4101804 fired transitions, 925 secs || 12811 markings, 12811 edges, 21 markings/sec, 925 secs
lola: 5 tries, 4121830 fired transitions, 930 secs || 12914 markings, 12914 edges, 21 markings/sec, 930 secs
lola: 5 tries, 4141892 fired transitions, 935 secs || 13016 markings, 13016 edges, 20 markings/sec, 935 secs
lola: 5 tries, 4161982 fired transitions, 940 secs || 13119 markings, 13119 edges, 21 markings/sec, 940 secs
lola: 5 tries, 4182058 fired transitions, 945 secs || 13222 markings, 13222 edges, 21 markings/sec, 945 secs
lola: 5 tries, 4202112 fired transitions, 950 secs || 13323 markings, 13323 edges, 20 markings/sec, 950 secs
lola: 5 tries, 4222158 fired transitions, 955 secs || 13426 markings, 13426 edges, 21 markings/sec, 955 secs
lola: 5 tries, 4242162 fired transitions, 960 secs || 13527 markings, 13527 edges, 20 markings/sec, 960 secs
lola: 5 tries, 4262172 fired transitions, 965 secs || 13629 markings, 13629 edges, 20 markings/sec, 965 secs
lola: 5 tries, 4282158 fired transitions, 970 secs || 13732 markings, 13732 edges, 21 markings/sec, 970 secs
lola: 5 tries, 4302098 fired transitions, 975 secs || 13834 markings, 13834 edges, 20 markings/sec, 975 secs
lola: 5 tries, 4321988 fired transitions, 980 secs || 13945 markings, 13945 edges, 22 markings/sec, 980 secs
lola: 5 tries, 4341806 fired transitions, 985 secs || 14063 markings, 14063 edges, 24 markings/sec, 985 secs
lola: 5 tries, 4361546 fired transitions, 990 secs || 14179 markings, 14179 edges, 23 markings/sec, 990 secs
lola: 5 tries, 4381228 fired transitions, 995 secs || 14293 markings, 14293 edges, 23 markings/sec, 995 secs
lola: 5 tries, 4400916 fired transitions, 1000 secs || 14409 markings, 14409 edges, 23 markings/sec, 1000 secs
lola: 5 tries, 4420342 fired transitions, 1005 secs || 14526 markings, 14526 edges, 23 markings/sec, 1005 secs
lola: 5 tries, 4439632 fired transitions, 1010 secs || 14643 markings, 14643 edges, 23 markings/sec, 1010 secs
lola: 5 tries, 4459501 fired transitions, 1015 secs || 14761 markings, 14761 edges, 24 markings/sec, 1015 secs
lola: 5 tries, 4479358 fired transitions, 1020 secs || 14878 markings, 14878 edges, 23 markings/sec, 1020 secs
lola: 5 tries, 4499194 fired transitions, 1025 secs || 14996 markings, 14996 edges, 24 markings/sec, 1025 secs
lola: 5 tries, 4519008 fired transitions, 1030 secs || 15114 markings, 15114 edges, 24 markings/sec, 1030 secs
lola: 5 tries, 4538806 fired transitions, 1035 secs || 15232 markings, 15232 edges, 24 markings/sec, 1035 secs
lola: 5 tries, 4558656 fired transitions, 1040 secs || 15350 markings, 15350 edges, 24 markings/sec, 1040 secs
lola: 5 tries, 4578484 fired transitions, 1045 secs || 15468 markings, 15468 edges, 24 markings/sec, 1045 secs
lola: 5 tries, 4598306 fired transitions, 1050 secs || 15585 markings, 15585 edges, 23 markings/sec, 1050 secs
lola: 5 tries, 4618106 fired transitions, 1055 secs || 15688 markings, 15688 edges, 21 markings/sec, 1055 secs
lola: 5 tries, 4637896 fired transitions, 1060 secs || 15788 markings, 15788 edges, 20 markings/sec, 1060 secs
lola: 5 tries, 4657630 fired transitions, 1065 secs || 15904 markings, 15904 edges, 23 markings/sec, 1065 secs
lola: 5 tries, 4677370 fired transitions, 1070 secs || 16022 markings, 16022 edges, 24 markings/sec, 1070 secs
lola: 5 tries, 4697078 fired transitions, 1075 secs || 16140 markings, 16140 edges, 24 markings/sec, 1075 secs
lola: 5 tries, 4716780 fired transitions, 1080 secs || 16251 markings, 16251 edges, 22 markings/sec, 1080 secs
lola: 5 tries, 4736438 fired transitions, 1085 secs || 16363 markings, 16363 edges, 22 markings/sec, 1085 secs
lola: 5 tries, 4756182 fired transitions, 1090 secs || 16475 markings, 16475 edges, 22 markings/sec, 1090 secs
lola: 5 tries, 4775900 fired transitions, 1095 secs || 16588 markings, 16588 edges, 23 markings/sec, 1095 secs
lola: 5 tries, 4795234 fired transitions, 1100 secs || 16700 markings, 16700 edges, 22 markings/sec, 1100 secs
lola: 5 tries, 4814930 fired transitions, 1105 secs || 16805 markings, 16805 edges, 21 markings/sec, 1105 secs
lola: 5 tries, 4834534 fired transitions, 1110 secs || 16911 markings, 16911 edges, 21 markings/sec, 1110 secs
lola: 5 tries, 4853806 fired transitions, 1115 secs || 17017 markings, 17017 edges, 21 markings/sec, 1115 secs
lola: 5 tries, 4873452 fired transitions, 1120 secs || 17123 markings, 17123 edges, 21 markings/sec, 1120 secs
lola: 5 tries, 4893176 fired transitions, 1125 secs || 17229 markings, 17229 edges, 21 markings/sec, 1125 secs
lola: 5 tries, 4912814 fired transitions, 1130 secs || 17335 markings, 17335 edges, 21 markings/sec, 1130 secs
lola: 5 tries, 4932422 fired transitions, 1135 secs || 17440 markings, 17440 edges, 21 markings/sec, 1135 secs
lola: 5 tries, 4951826 fired transitions, 1140 secs || 17546 markings, 17546 edges, 21 markings/sec, 1140 secs
lola: 5 tries, 4971418 fired transitions, 1145 secs || 17652 markings, 17652 edges, 21 markings/sec, 1145 secs
lola: 5 tries, 4990844 fired transitions, 1150 secs || 17758 markings, 17758 edges, 21 markings/sec, 1150 secs
lola: 6 tries, 5010344 fired transitions, 1155 secs || 17864 markings, 17864 edges, 21 markings/sec, 1155 secs
lola: 6 tries, 5029894 fired transitions, 1160 secs || 17970 markings, 17970 edges, 21 markings/sec, 1160 secs
lola: 6 tries, 5049494 fired transitions, 1165 secs || 18076 markings, 18076 edges, 21 markings/sec, 1165 secs
lola: 6 tries, 5068760 fired transitions, 1170 secs || 18183 markings, 18183 edges, 21 markings/sec, 1170 secs
lola: 6 tries, 5088106 fired transitions, 1175 secs || 18289 markings, 18289 edges, 21 markings/sec, 1175 secs
lola: 6 tries, 5107354 fired transitions, 1180 secs || 18395 markings, 18395 edges, 21 markings/sec, 1180 secs
lola: 6 tries, 5126884 fired transitions, 1185 secs || 18501 markings, 18501 edges, 21 markings/sec, 1185 secs
lola: 6 tries, 5146288 fired transitions, 1190 secs || 18607 markings, 18607 edges, 21 markings/sec, 1190 secs
lola: 6 tries, 5165795 fired transitions, 1195 secs || 18714 markings, 18714 edges, 21 markings/sec, 1195 secs
lola: 6 tries, 5185288 fired transitions, 1200 secs || 18820 markings, 18820 edges, 21 markings/sec, 1200 secs
lola: 6 tries, 5204546 fired transitions, 1205 secs || 18926 markings, 18926 edges, 21 markings/sec, 1205 secs
lola: 6 tries, 5223960 fired transitions, 1210 secs || 19032 markings, 19032 edges, 21 markings/sec, 1210 secs
lola: 6 tries, 5242825 fired transitions, 1215 secs || 19138 markings, 19138 edges, 21 markings/sec, 1215 secs
lola: 6 tries, 5262160 fired transitions, 1220 secs || 19244 markings, 19244 edges, 21 markings/sec, 1220 secs
lola: 6 tries, 5281574 fired transitions, 1225 secs || 19351 markings, 19351 edges, 21 markings/sec, 1225 secs
lola: 6 tries, 5300942 fired transitions, 1230 secs || 19457 markings, 19457 edges, 21 markings/sec, 1230 secs
lola: 6 tries, 5320029 fired transitions, 1235 secs || 19559 markings, 19559 edges, 20 markings/sec, 1235 secs
lola: 6 tries, 5339454 fired transitions, 1240 secs || 19665 markings, 19665 edges, 21 markings/sec, 1240 secs
lola: 6 tries, 5358790 fired transitions, 1245 secs || 19771 markings, 19771 edges, 21 markings/sec, 1245 secs
lola: 6 tries, 5378194 fired transitions, 1250 secs || 19877 markings, 19877 edges, 21 markings/sec, 1250 secs
lola: 6 tries, 5397270 fired transitions, 1255 secs || 19985 markings, 19985 edges, 22 markings/sec, 1255 secs
lola: 6 tries, 5416558 fired transitions, 1260 secs || 20096 markings, 20096 edges, 22 markings/sec, 1260 secs
lola: 6 tries, 5435948 fired transitions, 1265 secs || 20207 markings, 20207 edges, 22 markings/sec, 1265 secs
lola: 6 tries, 5455214 fired transitions, 1270 secs || 20319 markings, 20319 edges, 22 markings/sec, 1270 secs
lola: 6 tries, 5474586 fired transitions, 1275 secs || 20430 markings, 20430 edges, 22 markings/sec, 1275 secs
lola: 6 tries, 5493902 fired transitions, 1280 secs || 20541 markings, 20541 edges, 22 markings/sec, 1280 secs
lola: 6 tries, 5513184 fired transitions, 1285 secs || 20650 markings, 20650 edges, 22 markings/sec, 1285 secs
lola: 6 tries, 5532530 fired transitions, 1290 secs || 20763 markings, 20763 edges, 23 markings/sec, 1290 secs
lola: 6 tries, 5551590 fired transitions, 1295 secs || 20876 markings, 20876 edges, 23 markings/sec, 1295 secs
lola: 6 tries, 5570912 fired transitions, 1300 secs || 20989 markings, 20989 edges, 23 markings/sec, 1300 secs
lola: 6 tries, 5590134 fired transitions, 1305 secs || 21102 markings, 21102 edges, 23 markings/sec, 1305 secs
lola: 6 tries, 5609434 fired transitions, 1310 secs || 21213 markings, 21213 edges, 22 markings/sec, 1310 secs
lola: 6 tries, 5628712 fired transitions, 1315 secs || 21322 markings, 21322 edges, 22 markings/sec, 1315 secs
lola: 6 tries, 5647948 fired transitions, 1320 secs || 21430 markings, 21430 edges, 22 markings/sec, 1320 secs
lola: 6 tries, 5667180 fired transitions, 1325 secs || 21539 markings, 21539 edges, 22 markings/sec, 1325 secs
lola: 6 tries, 5686414 fired transitions, 1330 secs || 21648 markings, 21648 edges, 22 markings/sec, 1330 secs
lola: 6 tries, 5705464 fired transitions, 1335 secs || 21757 markings, 21757 edges, 22 markings/sec, 1335 secs
lola: 6 tries, 5724756 fired transitions, 1340 secs || 21863 markings, 21863 edges, 21 markings/sec, 1340 secs
lola: 6 tries, 5743998 fired transitions, 1345 secs || 21973 markings, 21973 edges, 22 markings/sec, 1345 secs
lola: 6 tries, 5763200 fired transitions, 1350 secs || 22087 markings, 22087 edges, 23 markings/sec, 1350 secs
lola: 6 tries, 5782380 fired transitions, 1355 secs || 22200 markings, 22200 edges, 23 markings/sec, 1355 secs
lola: 6 tries, 5801604 fired transitions, 1360 secs || 22313 markings, 22313 edges, 23 markings/sec, 1360 secs
lola: 6 tries, 5820798 fired transitions, 1365 secs || 22427 markings, 22427 edges, 23 markings/sec, 1365 secs
lola: 6 tries, 5840032 fired transitions, 1370 secs || 22540 markings, 22540 edges, 23 markings/sec, 1370 secs
lola: 6 tries, 5859033 fired transitions, 1375 secs || 22654 markings, 22654 edges, 23 markings/sec, 1375 secs
lola: 6 tries, 5878190 fired transitions, 1380 secs || 22767 markings, 22767 edges, 23 markings/sec, 1380 secs
lola: 6 tries, 5897360 fired transitions, 1385 secs || 22876 markings, 22876 edges, 22 markings/sec, 1385 secs
lola: 6 tries, 5916504 fired transitions, 1390 secs || 22980 markings, 22980 edges, 21 markings/sec, 1390 secs
lola: 6 tries, 5935564 fired transitions, 1395 secs || 23083 markings, 23083 edges, 21 markings/sec, 1395 secs
lola: 6 tries, 5954526 fired transitions, 1400 secs || 23187 markings, 23187 edges, 21 markings/sec, 1400 secs
lola: 6 tries, 5973614 fired transitions, 1405 secs || 23290 markings, 23290 edges, 21 markings/sec, 1405 secs
lola: 6 tries, 5992444 fired transitions, 1410 secs || 23394 markings, 23394 edges, 21 markings/sec, 1410 secs
lola: 7 tries, 6011565 fired transitions, 1415 secs || 23498 markings, 23498 edges, 21 markings/sec, 1415 secs
lola: 7 tries, 6030528 fired transitions, 1420 secs || 23604 markings, 23604 edges, 21 markings/sec, 1420 secs
lola: 7 tries, 6049672 fired transitions, 1425 secs || 23718 markings, 23718 edges, 23 markings/sec, 1425 secs
lola: 7 tries, 6068786 fired transitions, 1430 secs || 23831 markings, 23831 edges, 23 markings/sec, 1430 secs
lola: 7 tries, 6087831 fired transitions, 1435 secs || 23945 markings, 23945 edges, 23 markings/sec, 1435 secs
lola: 7 tries, 6106872 fired transitions, 1440 secs || 24058 markings, 24058 edges, 23 markings/sec, 1440 secs
lola: 7 tries, 6125904 fired transitions, 1445 secs || 24172 markings, 24172 edges, 23 markings/sec, 1445 secs
lola: 7 tries, 6144952 fired transitions, 1450 secs || 24285 markings, 24285 edges, 23 markings/sec, 1450 secs
lola: 7 tries, 6163982 fired transitions, 1455 secs || 24398 markings, 24398 edges, 23 markings/sec, 1455 secs
lola: 7 tries, 6183062 fired transitions, 1460 secs || 24509 markings, 24509 edges, 22 markings/sec, 1460 secs
lola: 7 tries, 6202040 fired transitions, 1465 secs || 24610 markings, 24610 edges, 20 markings/sec, 1465 secs
lola: 7 tries, 6221054 fired transitions, 1470 secs || 24718 markings, 24718 edges, 22 markings/sec, 1470 secs
lola: 7 tries, 6239874 fired transitions, 1475 secs || 24825 markings, 24825 edges, 21 markings/sec, 1475 secs
lola: 7 tries, 6258894 fired transitions, 1480 secs || 24932 markings, 24932 edges, 21 markings/sec, 1480 secs
lola: 7 tries, 6277902 fired transitions, 1485 secs || 25040 markings, 25040 edges, 22 markings/sec, 1485 secs
lola: 7 tries, 6296710 fired transitions, 1490 secs || 25147 markings, 25147 edges, 21 markings/sec, 1490 secs
lola: 7 tries, 6315684 fired transitions, 1495 secs || 25254 markings, 25254 edges, 21 markings/sec, 1495 secs
lola: 7 tries, 6334624 fired transitions, 1500 secs || 25361 markings, 25361 edges, 21 markings/sec, 1500 secs
lola: 7 tries, 6353608 fired transitions, 1505 secs || 25468 markings, 25468 edges, 21 markings/sec, 1505 secs
lola: 7 tries, 6372522 fired transitions, 1510 secs || 25574 markings, 25574 edges, 21 markings/sec, 1510 secs
lola: 7 tries, 6391164 fired transitions, 1515 secs || 25672 markings, 25672 edges, 20 markings/sec, 1515 secs
lola: 7 tries, 6409598 fired transitions, 1520 secs || 25779 markings, 25779 edges, 21 markings/sec, 1520 secs
lola: 7 tries, 6428534 fired transitions, 1525 secs || 25886 markings, 25886 edges, 21 markings/sec, 1525 secs
lola: 7 tries, 6447266 fired transitions, 1530 secs || 25993 markings, 25993 edges, 21 markings/sec, 1530 secs
lola: 7 tries, 6466212 fired transitions, 1535 secs || 26100 markings, 26100 edges, 21 markings/sec, 1535 secs
lola: 7 tries, 6485138 fired transitions, 1540 secs || 26207 markings, 26207 edges, 21 markings/sec, 1540 secs
lola: 7 tries, 6504038 fired transitions, 1545 secs || 26314 markings, 26314 edges, 21 markings/sec, 1545 secs
lola: 7 tries, 6522928 fired transitions, 1550 secs || 26421 markings, 26421 edges, 21 markings/sec, 1550 secs
lola: 7 tries, 6541630 fired transitions, 1555 secs || 26528 markings, 26528 edges, 21 markings/sec, 1555 secs
lola: 7 tries, 6560451 fired transitions, 1560 secs || 26635 markings, 26635 edges, 21 markings/sec, 1560 secs
lola: 7 tries, 6579234 fired transitions, 1565 secs || 26741 markings, 26741 edges, 21 markings/sec, 1565 secs
lola: 7 tries, 6598058 fired transitions, 1570 secs || 26848 markings, 26848 edges, 21 markings/sec, 1570 secs
lola: 7 tries, 6616932 fired transitions, 1575 secs || 26955 markings, 26955 edges, 21 markings/sec, 1575 secs
lola: 7 tries, 6635810 fired transitions, 1580 secs || 27062 markings, 27062 edges, 21 markings/sec, 1580 secs
lola: 7 tries, 6654698 fired transitions, 1585 secs || 27168 markings, 27168 edges, 21 markings/sec, 1585 secs
lola: 7 tries, 6673530 fired transitions, 1590 secs || 27269 markings, 27269 edges, 20 markings/sec, 1590 secs
lola: 7 tries, 6692392 fired transitions, 1595 secs || 27370 markings, 27370 edges, 20 markings/sec, 1595 secs
lola: 7 tries, 6711184 fired transitions, 1600 secs || 27475 markings, 27475 edges, 21 markings/sec, 1600 secs
lola: 7 tries, 6729921 fired transitions, 1605 secs || 27582 markings, 27582 edges, 21 markings/sec, 1605 secs
lola: 7 tries, 6748802 fired transitions, 1610 secs || 27689 markings, 27689 edges, 21 markings/sec, 1610 secs
lola: 7 tries, 6767662 fired transitions, 1615 secs || 27795 markings, 27795 edges, 21 markings/sec, 1615 secs
lola: 7 tries, 6786458 fired transitions, 1620 secs || 27896 markings, 27896 edges, 20 markings/sec, 1620 secs
lola: 7 tries, 6805194 fired transitions, 1625 secs || 28003 markings, 28003 edges, 21 markings/sec, 1625 secs
lola: 7 tries, 6823990 fired transitions, 1630 secs || 28110 markings, 28110 edges, 21 markings/sec, 1630 secs
lola: 7 tries, 6842750 fired transitions, 1635 secs || 28218 markings, 28218 edges, 22 markings/sec, 1635 secs
lola: 7 tries, 6861494 fired transitions, 1640 secs || 28325 markings, 28325 edges, 21 markings/sec, 1640 secs
lola: 7 tries, 6880224 fired transitions, 1645 secs || 28432 markings, 28432 edges, 21 markings/sec, 1645 secs
lola: 7 tries, 6899048 fired transitions, 1650 secs || 28540 markings, 28540 edges, 22 markings/sec, 1650 secs
lola: 7 tries, 6917792 fired transitions, 1655 secs || 28643 markings, 28643 edges, 21 markings/sec, 1655 secs
lola: 7 tries, 6936514 fired transitions, 1660 secs || 28744 markings, 28744 edges, 20 markings/sec, 1660 secs
lola: 7 tries, 6955330 fired transitions, 1665 secs || 28846 markings, 28846 edges, 20 markings/sec, 1665 secs
lola: 7 tries, 6973990 fired transitions, 1670 secs || 28947 markings, 28947 edges, 20 markings/sec, 1670 secs
lola: 7 tries, 6992593 fired transitions, 1675 secs || 29044 markings, 29044 edges, 19 markings/sec, 1675 secs
lola: 8 tries, 7011334 fired transitions, 1680 secs || 29148 markings, 29148 edges, 21 markings/sec, 1680 secs
lola: 8 tries, 7030102 fired transitions, 1685 secs || 29253 markings, 29253 edges, 21 markings/sec, 1685 secs
lola: 8 tries, 7048846 fired transitions, 1690 secs || 29365 markings, 29365 edges, 22 markings/sec, 1690 secs
lola: 8 tries, 7067513 fired transitions, 1695 secs || 29478 markings, 29478 edges, 23 markings/sec, 1695 secs
lola: 8 tries, 7086212 fired transitions, 1700 secs || 29590 markings, 29590 edges, 22 markings/sec, 1700 secs
lola: 8 tries, 7104650 fired transitions, 1705 secs || 29703 markings, 29703 edges, 23 markings/sec, 1705 secs
lola: 8 tries, 7123300 fired transitions, 1710 secs || 29815 markings, 29815 edges, 22 markings/sec, 1710 secs
lola: 8 tries, 7141982 fired transitions, 1715 secs || 29928 markings, 29928 edges, 23 markings/sec, 1715 secs
lola: 8 tries, 7160684 fired transitions, 1720 secs || 30030 markings, 30030 edges, 20 markings/sec, 1720 secs
lola: 8 tries, 7179372 fired transitions, 1725 secs || 30136 markings, 30136 edges, 21 markings/sec, 1725 secs
lola: 8 tries, 7198048 fired transitions, 1730 secs || 30241 markings, 30241 edges, 21 markings/sec, 1730 secs
lola: 8 tries, 7216680 fired transitions, 1735 secs || 30346 markings, 30346 edges, 21 markings/sec, 1735 secs
lola: 8 tries, 7235322 fired transitions, 1740 secs || 30454 markings, 30454 edges, 22 markings/sec, 1740 secs
lola: 8 tries, 7253804 fired transitions, 1745 secs || 30562 markings, 30562 edges, 22 markings/sec, 1745 secs
lola: 8 tries, 7272158 fired transitions, 1750 secs || 30669 markings, 30669 edges, 21 markings/sec, 1750 secs
lola: 8 tries, 7290810 fired transitions, 1755 secs || 30773 markings, 30773 edges, 21 markings/sec, 1755 secs
lola: 8 tries, 7309486 fired transitions, 1760 secs || 30878 markings, 30878 edges, 21 markings/sec, 1760 secs
lola: 8 tries, 7327854 fired transitions, 1765 secs || 30981 markings, 30981 edges, 21 markings/sec, 1765 secs
lola: 8 tries, 7346148 fired transitions, 1770 secs || 31089 markings, 31089 edges, 22 markings/sec, 1770 secs
lola: 8 tries, 7364668 fired transitions, 1775 secs || 31197 markings, 31197 edges, 22 markings/sec, 1775 secs
lola: 8 tries, 7382940 fired transitions, 1780 secs || 31302 markings, 31302 edges, 21 markings/sec, 1780 secs
lola: 8 tries, 7401316 fired transitions, 1785 secs || 31403 markings, 31403 edges, 20 markings/sec, 1785 secs
lola: 8 tries, 7419612 fired transitions, 1790 secs || 31506 markings, 31506 edges, 21 markings/sec, 1790 secs
lola: 8 tries, 7437906 fired transitions, 1795 secs || 31609 markings, 31609 edges, 21 markings/sec, 1795 secs
lola: 8 tries, 7456182 fired transitions, 1800 secs || 31713 markings, 31713 edges, 21 markings/sec, 1800 secs
lola: 8 tries, 7474590 fired transitions, 1805 secs || 31819 markings, 31819 edges, 21 markings/sec, 1805 secs
lola: 8 tries, 7492964 fired transitions, 1810 secs || 31926 markings, 31926 edges, 21 markings/sec, 1810 secs
lola: 8 tries, 7511284 fired transitions, 1815 secs || 32032 markings, 32032 edges, 21 markings/sec, 1815 secs
lola: 8 tries, 7529622 fired transitions, 1820 secs || 32140 markings, 32140 edges, 22 markings/sec, 1820 secs
lola: 8 tries, 7547898 fired transitions, 1825 secs || 32247 markings, 32247 edges, 21 markings/sec, 1825 secs
lola: 8 tries, 7566264 fired transitions, 1830 secs || 32354 markings, 32354 edges, 21 markings/sec, 1830 secs
lola: 8 tries, 7584540 fired transitions, 1835 secs || 32457 markings, 32457 edges, 21 markings/sec, 1835 secs
lola: 8 tries, 7602842 fired transitions, 1840 secs || 32563 markings, 32563 edges, 21 markings/sec, 1840 secs
lola: 8 tries, 7621124 fired transitions, 1845 secs || 32663 markings, 32663 edges, 20 markings/sec, 1845 secs
lola: 8 tries, 7639426 fired transitions, 1850 secs || 32769 markings, 32769 edges, 21 markings/sec, 1850 secs
lola: 8 tries, 7657761 fired transitions, 1855 secs || 32876 markings, 32876 edges, 21 markings/sec, 1855 secs
lola: 8 tries, 7676036 fired transitions, 1860 secs || 32982 markings, 32982 edges, 21 markings/sec, 1860 secs
lola: 8 tries, 7694306 fired transitions, 1865 secs || 33086 markings, 33086 edges, 21 markings/sec, 1865 secs
lola: 8 tries, 7712698 fired transitions, 1870 secs || 33191 markings, 33191 edges, 21 markings/sec, 1870 secs
lola: 8 tries, 7731024 fired transitions, 1875 secs || 33298 markings, 33298 edges, 21 markings/sec, 1875 secs
lola: 8 tries, 7749270 fired transitions, 1880 secs || 33405 markings, 33405 edges, 21 markings/sec, 1880 secs
lola: 8 tries, 7767552 fired transitions, 1885 secs || 33512 markings, 33512 edges, 21 markings/sec, 1885 secs
lola: 8 tries, 7785734 fired transitions, 1890 secs || 33619 markings, 33619 edges, 21 markings/sec, 1890 secs
lola: 8 tries, 7804132 fired transitions, 1895 secs || 33726 markings, 33726 edges, 21 markings/sec, 1895 secs
lola: 8 tries, 7822572 fired transitions, 1900 secs || 33833 markings, 33833 edges, 21 markings/sec, 1900 secs
lola: 8 tries, 7840979 fired transitions, 1905 secs || 33941 markings, 33941 edges, 22 markings/sec, 1905 secs
lola: 8 tries, 7859528 fired transitions, 1910 secs || 34050 markings, 34050 edges, 22 markings/sec, 1910 secs
lola: 8 tries, 7877986 fired transitions, 1915 secs || 34158 markings, 34158 edges, 22 markings/sec, 1915 secs
lola: 8 tries, 7896458 fired transitions, 1920 secs || 34266 markings, 34266 edges, 22 markings/sec, 1920 secs
lola: 8 tries, 7914938 fired transitions, 1925 secs || 34374 markings, 34374 edges, 22 markings/sec, 1925 secs
lola: 8 tries, 7933386 fired transitions, 1930 secs || 34482 markings, 34482 edges, 22 markings/sec, 1930 secs
lola: 8 tries, 7951880 fired transitions, 1935 secs || 34590 markings, 34590 edges, 22 markings/sec, 1935 secs
lola: 8 tries, 7970340 fired transitions, 1940 secs || 34698 markings, 34698 edges, 22 markings/sec, 1940 secs
lola: 8 tries, 7988792 fired transitions, 1945 secs || 34806 markings, 34806 edges, 22 markings/sec, 1945 secs
lola: 9 tries, 8007030 fired transitions, 1950 secs || 34914 markings, 34914 edges, 22 markings/sec, 1950 secs
lola: 9 tries, 8025514 fired transitions, 1955 secs || 35022 markings, 35022 edges, 22 markings/sec, 1955 secs
lola: 9 tries, 8043922 fired transitions, 1960 secs || 35129 markings, 35129 edges, 21 markings/sec, 1960 secs
lola: 9 tries, 8062340 fired transitions, 1965 secs || 35235 markings, 35235 edges, 21 markings/sec, 1965 secs
lola: 9 tries, 8080772 fired transitions, 1970 secs || 35342 markings, 35342 edges, 21 markings/sec, 1970 secs
lola: 9 tries, 8099154 fired transitions, 1975 secs || 35448 markings, 35448 edges, 21 markings/sec, 1975 secs
lola: 9 tries, 8117498 fired transitions, 1980 secs || 35555 markings, 35555 edges, 21 markings/sec, 1980 secs
lola: 9 tries, 8135808 fired transitions, 1985 secs || 35662 markings, 35662 edges, 21 markings/sec, 1985 secs
lola: 9 tries, 8154244 fired transitions, 1990 secs || 35772 markings, 35772 edges, 22 markings/sec, 1990 secs
lola: 9 tries, 8172652 fired transitions, 1995 secs || 35880 markings, 35880 edges, 22 markings/sec, 1995 secs
lola: 9 tries, 8191094 fired transitions, 2000 secs || 35988 markings, 35988 edges, 22 markings/sec, 2000 secs
lola: 9 tries, 8209412 fired transitions, 2005 secs || 36096 markings, 36096 edges, 22 markings/sec, 2005 secs
lola: 9 tries, 8227838 fired transitions, 2010 secs || 36205 markings, 36205 edges, 22 markings/sec, 2010 secs
lola: 9 tries, 8246136 fired transitions, 2015 secs || 36313 markings, 36313 edges, 22 markings/sec, 2015 secs
lola: 9 tries, 8264516 fired transitions, 2020 secs || 36421 markings, 36421 edges, 22 markings/sec, 2020 secs
lola: 9 tries, 8282842 fired transitions, 2025 secs || 36528 markings, 36528 edges, 21 markings/sec, 2025 secs
lola: 9 tries, 8301239 fired transitions, 2030 secs || 36634 markings, 36634 edges, 21 markings/sec, 2030 secs
lola: 9 tries, 8319632 fired transitions, 2035 secs || 36741 markings, 36741 edges, 21 markings/sec, 2035 secs
lola: 9 tries, 8337982 fired transitions, 2040 secs || 36847 markings, 36847 edges, 21 markings/sec, 2040 secs
lola: 9 tries, 8355976 fired transitions, 2045 secs || 36954 markings, 36954 edges, 21 markings/sec, 2045 secs
lola: 9 tries, 8374328 fired transitions, 2050 secs || 37059 markings, 37059 edges, 21 markings/sec, 2050 secs
lola: 9 tries, 8392686 fired transitions, 2055 secs || 37161 markings, 37161 edges, 20 markings/sec, 2055 secs
lola: 9 tries, 8411055 fired transitions, 2060 secs || 37264 markings, 37264 edges, 21 markings/sec, 2060 secs
lola: 9 tries, 8429390 fired transitions, 2065 secs || 37365 markings, 37365 edges, 20 markings/sec, 2065 secs
lola: 9 tries, 8447746 fired transitions, 2070 secs || 37469 markings, 37469 edges, 21 markings/sec, 2070 secs
lola: 9 tries, 8466074 fired transitions, 2075 secs || 37568 markings, 37568 edges, 20 markings/sec, 2075 secs
lola: 9 tries, 8484396 fired transitions, 2080 secs || 37676 markings, 37676 edges, 22 markings/sec, 2080 secs
lola: 9 tries, 8502752 fired transitions, 2085 secs || 37786 markings, 37786 edges, 22 markings/sec, 2085 secs
lola: 9 tries, 8521094 fired transitions, 2090 secs || 37895 markings, 37895 edges, 22 markings/sec, 2090 secs
lola: 9 tries, 8539404 fired transitions, 2095 secs || 38004 markings, 38004 edges, 22 markings/sec, 2095 secs
lola: 9 tries, 8557744 fired transitions, 2100 secs || 38113 markings, 38113 edges, 22 markings/sec, 2100 secs
lola: 9 tries, 8576002 fired transitions, 2105 secs || 38223 markings, 38223 edges, 22 markings/sec, 2105 secs
lola: 9 tries, 8594304 fired transitions, 2110 secs || 38332 markings, 38332 edges, 22 markings/sec, 2110 secs
lola: 9 tries, 8612658 fired transitions, 2115 secs || 38441 markings, 38441 edges, 22 markings/sec, 2115 secs
lola: 9 tries, 8630978 fired transitions, 2120 secs || 38550 markings, 38550 edges, 22 markings/sec, 2120 secs
lola: 9 tries, 8649250 fired transitions, 2125 secs || 38659 markings, 38659 edges, 22 markings/sec, 2125 secs
lola: 9 tries, 8667500 fired transitions, 2130 secs || 38769 markings, 38769 edges, 22 markings/sec, 2130 secs
lola: 9 tries, 8685786 fired transitions, 2135 secs || 38875 markings, 38875 edges, 21 markings/sec, 2135 secs
lola: 9 tries, 8704080 fired transitions, 2140 secs || 38984 markings, 38984 edges, 22 markings/sec, 2140 secs
lola: 9 tries, 8722346 fired transitions, 2145 secs || 39093 markings, 39093 edges, 22 markings/sec, 2145 secs
lola: 9 tries, 8740594 fired transitions, 2150 secs || 39200 markings, 39200 edges, 21 markings/sec, 2150 secs
lola: 9 tries, 8758866 fired transitions, 2155 secs || 39309 markings, 39309 edges, 22 markings/sec, 2155 secs
lola: 9 tries, 8777008 fired transitions, 2160 secs || 39416 markings, 39416 edges, 21 markings/sec, 2160 secs
lola: 9 tries, 8795182 fired transitions, 2165 secs || 39519 markings, 39519 edges, 21 markings/sec, 2165 secs
lola: 9 tries, 8813334 fired transitions, 2170 secs || 39624 markings, 39624 edges, 21 markings/sec, 2170 secs
lola: 9 tries, 8831550 fired transitions, 2175 secs || 39729 markings, 39729 edges, 21 markings/sec, 2175 secs
lola: 9 tries, 8849752 fired transitions, 2180 secs || 39834 markings, 39834 edges, 21 markings/sec, 2180 secs
lola: 9 tries, 8867652 fired transitions, 2185 secs || 39940 markings, 39940 edges, 21 markings/sec, 2185 secs
lola: 9 tries, 8885848 fired transitions, 2190 secs || 40045 markings, 40045 edges, 21 markings/sec, 2190 secs
lola: 9 tries, 8903918 fired transitions, 2195 secs || 40150 markings, 40150 edges, 21 markings/sec, 2195 secs
lola: 9 tries, 8921995 fired transitions, 2200 secs || 40255 markings, 40255 edges, 21 markings/sec, 2200 secs
lola: 9 tries, 8940154 fired transitions, 2205 secs || 40354 markings, 40354 edges, 20 markings/sec, 2205 secs
lola: 9 tries, 8958362 fired transitions, 2210 secs || 40459 markings, 40459 edges, 21 markings/sec, 2210 secs
lola: 9 tries, 8976570 fired transitions, 2215 secs || 40565 markings, 40565 edges, 21 markings/sec, 2215 secs
lola: 9 tries, 8994736 fired transitions, 2220 secs || 40670 markings, 40670 edges, 21 markings/sec, 2220 secs
lola: 10 tries, 9012920 fired transitions, 2225 secs || 40776 markings, 40776 edges, 21 markings/sec, 2225 secs
lola: 10 tries, 9031075 fired transitions, 2230 secs || 40882 markings, 40882 edges, 21 markings/sec, 2230 secs
lola: 10 tries, 9049224 fired transitions, 2235 secs || 40987 markings, 40987 edges, 21 markings/sec, 2235 secs
lola: 10 tries, 9067408 fired transitions, 2240 secs || 41093 markings, 41093 edges, 21 markings/sec, 2240 secs
lola: 10 tries, 9085640 fired transitions, 2245 secs || 41198 markings, 41198 edges, 21 markings/sec, 2245 secs
lola: 10 tries, 9103848 fired transitions, 2250 secs || 41304 markings, 41304 edges, 21 markings/sec, 2250 secs
lola: 10 tries, 9121980 fired transitions, 2255 secs || 41409 markings, 41409 edges, 21 markings/sec, 2255 secs
lola: 10 tries, 9140128 fired transitions, 2260 secs || 41515 markings, 41515 edges, 21 markings/sec, 2260 secs
lola: 10 tries, 9158332 fired transitions, 2265 secs || 41620 markings, 41620 edges, 21 markings/sec, 2265 secs
lola: 10 tries, 9176490 fired transitions, 2270 secs || 41725 markings, 41725 edges, 21 markings/sec, 2270 secs
lola: 10 tries, 9194648 fired transitions, 2275 secs || 41831 markings, 41831 edges, 21 markings/sec, 2275 secs
lola: 10 tries, 9212844 fired transitions, 2280 secs || 41936 markings, 41936 edges, 21 markings/sec, 2280 secs
lola: 10 tries, 9230992 fired transitions, 2285 secs || 42042 markings, 42042 edges, 21 markings/sec, 2285 secs
lola: 10 tries, 9249106 fired transitions, 2290 secs || 42147 markings, 42147 edges, 21 markings/sec, 2290 secs
lola: 10 tries, 9267262 fired transitions, 2295 secs || 42252 markings, 42252 edges, 21 markings/sec, 2295 secs
lola: 10 tries, 9285410 fired transitions, 2300 secs || 42358 markings, 42358 edges, 21 markings/sec, 2300 secs
lola: 10 tries, 9303558 fired transitions, 2305 secs || 42463 markings, 42463 edges, 21 markings/sec, 2305 secs
lola: 10 tries, 9321714 fired transitions, 2310 secs || 42568 markings, 42568 edges, 21 markings/sec, 2310 secs
lola: 10 tries, 9339854 fired transitions, 2315 secs || 42672 markings, 42672 edges, 21 markings/sec, 2315 secs
lola: 10 tries, 9357990 fired transitions, 2320 secs || 42777 markings, 42777 edges, 21 markings/sec, 2320 secs
lola: 10 tries, 9376160 fired transitions, 2325 secs || 42882 markings, 42882 edges, 21 markings/sec, 2325 secs
lola: 10 tries, 9394259 fired transitions, 2330 secs || 42988 markings, 42988 edges, 21 markings/sec, 2330 secs
lola: 10 tries, 9412360 fired transitions, 2335 secs || 43093 markings, 43093 edges, 21 markings/sec, 2335 secs
lola: 10 tries, 9430466 fired transitions, 2340 secs || 43198 markings, 43198 edges, 21 markings/sec, 2340 secs
lola: 10 tries, 9448518 fired transitions, 2345 secs || 43304 markings, 43304 edges, 21 markings/sec, 2345 secs
lola: 10 tries, 9466656 fired transitions, 2350 secs || 43409 markings, 43409 edges, 21 markings/sec, 2350 secs
lola: 10 tries, 9484782 fired transitions, 2355 secs || 43515 markings, 43515 edges, 21 markings/sec, 2355 secs
lola: 10 tries, 9502876 fired transitions, 2360 secs || 43620 markings, 43620 edges, 21 markings/sec, 2360 secs
lola: 10 tries, 9520964 fired transitions, 2365 secs || 43725 markings, 43725 edges, 21 markings/sec, 2365 secs
lola: 10 tries, 9539026 fired transitions, 2370 secs || 43831 markings, 43831 edges, 21 markings/sec, 2370 secs
lola: 10 tries, 9557104 fired transitions, 2375 secs || 43936 markings, 43936 edges, 21 markings/sec, 2375 secs
lola: 10 tries, 9575236 fired transitions, 2380 secs || 44042 markings, 44042 edges, 21 markings/sec, 2380 secs
lola: 10 tries, 9593278 fired transitions, 2385 secs || 44147 markings, 44147 edges, 21 markings/sec, 2385 secs
lola: 10 tries, 9611360 fired transitions, 2390 secs || 44252 markings, 44252 edges, 21 markings/sec, 2390 secs
lola: 10 tries, 9629414 fired transitions, 2395 secs || 44358 markings, 44358 edges, 21 markings/sec, 2395 secs
lola: 10 tries, 9647466 fired transitions, 2400 secs || 44463 markings, 44463 edges, 21 markings/sec, 2400 secs
lola: 10 tries, 9665544 fired transitions, 2405 secs || 44568 markings, 44568 edges, 21 markings/sec, 2405 secs
lola: 10 tries, 9683588 fired transitions, 2410 secs || 44674 markings, 44674 edges, 21 markings/sec, 2410 secs
lola: 10 tries, 9701388 fired transitions, 2415 secs || 44779 markings, 44779 edges, 21 markings/sec, 2415 secs
lola: 10 tries, 9719416 fired transitions, 2420 secs || 44885 markings, 44885 edges, 21 markings/sec, 2420 secs
lola: 10 tries, 9737412 fired transitions, 2425 secs || 44991 markings, 44991 edges, 21 markings/sec, 2425 secs
lola: 10 tries, 9755506 fired transitions, 2430 secs || 45096 markings, 45096 edges, 21 markings/sec, 2430 secs
lola: 10 tries, 9773534 fired transitions, 2435 secs || 45202 markings, 45202 edges, 21 markings/sec, 2435 secs
lola: 10 tries, 9791538 fired transitions, 2440 secs || 45307 markings, 45307 edges, 21 markings/sec, 2440 secs
lola: 10 tries, 9809612 fired transitions, 2445 secs || 45411 markings, 45411 edges, 21 markings/sec, 2445 secs
lola: 10 tries, 9827660 fired transitions, 2450 secs || 45517 markings, 45517 edges, 21 markings/sec, 2450 secs
lola: 10 tries, 9845744 fired transitions, 2455 secs || 45622 markings, 45622 edges, 21 markings/sec, 2455 secs
lola: 10 tries, 9863734 fired transitions, 2460 secs || 45728 markings, 45728 edges, 21 markings/sec, 2460 secs
lola: 10 tries, 9881766 fired transitions, 2465 secs || 45832 markings, 45832 edges, 21 markings/sec, 2465 secs
lola: 10 tries, 9899790 fired transitions, 2470 secs || 45936 markings, 45936 edges, 21 markings/sec, 2470 secs
lola: 10 tries, 9917806 fired transitions, 2475 secs || 46048 markings, 46048 edges, 22 markings/sec, 2475 secs
lola: 10 tries, 9935830 fired transitions, 2480 secs || 46161 markings, 46161 edges, 23 markings/sec, 2480 secs
lola: 10 tries, 9953893 fired transitions, 2485 secs || 46273 markings, 46273 edges, 22 markings/sec, 2485 secs
lola: 10 tries, 9971856 fired transitions, 2490 secs || 46386 markings, 46386 edges, 23 markings/sec, 2490 secs
lola: 10 tries, 9989806 fired transitions, 2495 secs || 46499 markings, 46499 edges, 23 markings/sec, 2495 secs
lola: 11 tries, 10007846 fired transitions, 2500 secs || 46612 markings, 46612 edges, 23 markings/sec, 2500 secs
lola: 11 tries, 10025832 fired transitions, 2505 secs || 46725 markings, 46725 edges, 23 markings/sec, 2505 secs
lola: 11 tries, 10043865 fired transitions, 2510 secs || 46838 markings, 46838 edges, 23 markings/sec, 2510 secs
lola: 11 tries, 10061872 fired transitions, 2515 secs || 46949 markings, 46949 edges, 22 markings/sec, 2515 secs
lola: 11 tries, 10079852 fired transitions, 2520 secs || 47060 markings, 47060 edges, 22 markings/sec, 2520 secs
lola: 11 tries, 10097838 fired transitions, 2525 secs || 47171 markings, 47171 edges, 22 markings/sec, 2525 secs
lola: 11 tries, 10115801 fired transitions, 2530 secs || 47282 markings, 47282 edges, 22 markings/sec, 2530 secs
lola: 11 tries, 10133702 fired transitions, 2535 secs || 47391 markings, 47391 edges, 22 markings/sec, 2535 secs
lola: 11 tries, 10151708 fired transitions, 2540 secs || 47502 markings, 47502 edges, 22 markings/sec, 2540 secs
lola: 11 tries, 10169744 fired transitions, 2545 secs || 47614 markings, 47614 edges, 22 markings/sec, 2545 secs
lola: 11 tries, 10187704 fired transitions, 2550 secs || 47727 markings, 47727 edges, 23 markings/sec, 2550 secs
lola: 11 tries, 10205678 fired transitions, 2555 secs || 47835 markings, 47835 edges, 22 markings/sec, 2555 secs
lola: 11 tries, 10223709 fired transitions, 2560 secs || 47943 markings, 47943 edges, 22 markings/sec, 2560 secs
lola: 11 tries, 10241660 fired transitions, 2565 secs || 48051 markings, 48051 edges, 22 markings/sec, 2565 secs
lola: 11 tries, 10259698 fired transitions, 2570 secs || 48159 markings, 48159 edges, 22 markings/sec, 2570 secs
lola: 11 tries, 10277696 fired transitions, 2575 secs || 48267 markings, 48267 edges, 22 markings/sec, 2575 secs
lola: 11 tries, 10295604 fired transitions, 2580 secs || 48375 markings, 48375 edges, 22 markings/sec, 2580 secs
lola: 11 tries, 10313542 fired transitions, 2585 secs || 48483 markings, 48483 edges, 22 markings/sec, 2585 secs
lola: 11 tries, 10331470 fired transitions, 2590 secs || 48591 markings, 48591 edges, 22 markings/sec, 2590 secs
lola: 11 tries, 10349446 fired transitions, 2595 secs || 48699 markings, 48699 edges, 22 markings/sec, 2595 secs
lola: 11 tries, 10367452 fired transitions, 2600 secs || 48807 markings, 48807 edges, 22 markings/sec, 2600 secs
lola: 11 tries, 10385396 fired transitions, 2605 secs || 48915 markings, 48915 edges, 22 markings/sec, 2605 secs
lola: 11 tries, 10403364 fired transitions, 2610 secs || 49023 markings, 49023 edges, 22 markings/sec, 2610 secs
lola: 11 tries, 10421278 fired transitions, 2615 secs || 49131 markings, 49131 edges, 22 markings/sec, 2615 secs
lola: 11 tries, 10439258 fired transitions, 2620 secs || 49239 markings, 49239 edges, 22 markings/sec, 2620 secs
lola: 11 tries, 10457184 fired transitions, 2625 secs || 49347 markings, 49347 edges, 22 markings/sec, 2625 secs
lola: 11 tries, 10475078 fired transitions, 2630 secs || 49455 markings, 49455 edges, 22 markings/sec, 2630 secs
lola: 11 tries, 10493054 fired transitions, 2635 secs || 49563 markings, 49563 edges, 22 markings/sec, 2635 secs
lola: 11 tries, 10510956 fired transitions, 2640 secs || 49671 markings, 49671 edges, 22 markings/sec, 2640 secs
lola: 11 tries, 10528848 fired transitions, 2645 secs || 49779 markings, 49779 edges, 22 markings/sec, 2645 secs
lola: 11 tries, 10546773 fired transitions, 2650 secs || 49887 markings, 49887 edges, 22 markings/sec, 2650 secs
lola: 11 tries, 10564706 fired transitions, 2655 secs || 49995 markings, 49995 edges, 22 markings/sec, 2655 secs
lola: 11 tries, 10582590 fired transitions, 2660 secs || 50103 markings, 50103 edges, 22 markings/sec, 2660 secs
lola: 11 tries, 10600558 fired transitions, 2665 secs || 50211 markings, 50211 edges, 22 markings/sec, 2665 secs
lola: 11 tries, 10618456 fired transitions, 2670 secs || 50319 markings, 50319 edges, 22 markings/sec, 2670 secs
lola: 11 tries, 10636396 fired transitions, 2675 secs || 50427 markings, 50427 edges, 22 markings/sec, 2675 secs
lola: 11 tries, 10654316 fired transitions, 2680 secs || 50534 markings, 50534 edges, 21 markings/sec, 2680 secs
lola: 11 tries, 10672194 fired transitions, 2685 secs || 50642 markings, 50642 edges, 22 markings/sec, 2685 secs
lola: 11 tries, 10689988 fired transitions, 2690 secs || 50752 markings, 50752 edges, 22 markings/sec, 2690 secs
lola: 11 tries, 10707886 fired transitions, 2695 secs || 50864 markings, 50864 edges, 22 markings/sec, 2695 secs
lola: 11 tries, 10725792 fired transitions, 2700 secs || 50976 markings, 50976 edges, 22 markings/sec, 2700 secs
lola: 11 tries, 10743676 fired transitions, 2705 secs || 51087 markings, 51087 edges, 22 markings/sec, 2705 secs
lola: 11 tries, 10761604 fired transitions, 2710 secs || 51200 markings, 51200 edges, 23 markings/sec, 2710 secs
lola: 11 tries, 10779458 fired transitions, 2715 secs || 51313 markings, 51313 edges, 23 markings/sec, 2715 secs
lola: 11 tries, 10797386 fired transitions, 2720 secs || 51427 markings, 51427 edges, 23 markings/sec, 2720 secs
lola: 11 tries, 10815234 fired transitions, 2725 secs || 51540 markings, 51540 edges, 23 markings/sec, 2725 secs
lola: 11 tries, 10833126 fired transitions, 2730 secs || 51654 markings, 51654 edges, 23 markings/sec, 2730 secs
lola: 11 tries, 10850976 fired transitions, 2735 secs || 51768 markings, 51768 edges, 23 markings/sec, 2735 secs
lola: 11 tries, 10868824 fired transitions, 2740 secs || 51881 markings, 51881 edges, 23 markings/sec, 2740 secs
lola: 11 tries, 10886646 fired transitions, 2745 secs || 51987 markings, 51987 edges, 21 markings/sec, 2745 secs
lola: 11 tries, 10904482 fired transitions, 2750 secs || 52076 markings, 52076 edges, 18 markings/sec, 2750 secs
lola: 11 tries, 10922312 fired transitions, 2755 secs || 52186 markings, 52186 edges, 22 markings/sec, 2755 secs
lola: 11 tries, 10940278 fired transitions, 2760 secs || 52296 markings, 52296 edges, 22 markings/sec, 2760 secs
lola: 11 tries, 10958174 fired transitions, 2765 secs || 52405 markings, 52405 edges, 22 markings/sec, 2765 secs
lola: 11 tries, 10976090 fired transitions, 2770 secs || 52515 markings, 52515 edges, 22 markings/sec, 2770 secs
lola: 11 tries, 10993936 fired transitions, 2775 secs || 52624 markings, 52624 edges, 22 markings/sec, 2775 secs
lola: 12 tries, 11011824 fired transitions, 2780 secs || 52734 markings, 52734 edges, 22 markings/sec, 2780 secs
lola: 12 tries, 11029616 fired transitions, 2785 secs || 52843 markings, 52843 edges, 22 markings/sec, 2785 secs
lola: 12 tries, 11047486 fired transitions, 2790 secs || 52953 markings, 52953 edges, 22 markings/sec, 2790 secs
lola: 12 tries, 11065358 fired transitions, 2795 secs || 53063 markings, 53063 edges, 22 markings/sec, 2795 secs
lola: 12 tries, 11083215 fired transitions, 2800 secs || 53172 markings, 53172 edges, 22 markings/sec, 2800 secs
lola: 12 tries, 11101084 fired transitions, 2805 secs || 53278 markings, 53278 edges, 21 markings/sec, 2805 secs
lola: 12 tries, 11118896 fired transitions, 2810 secs || 53387 markings, 53387 edges, 22 markings/sec, 2810 secs
lola: 12 tries, 11136670 fired transitions, 2815 secs || 53494 markings, 53494 edges, 21 markings/sec, 2815 secs
lola: 12 tries, 11154477 fired transitions, 2820 secs || 53603 markings, 53603 edges, 22 markings/sec, 2820 secs
lola: 12 tries, 11172256 fired transitions, 2825 secs || 53712 markings, 53712 edges, 22 markings/sec, 2825 secs
lola: 12 tries, 11190043 fired transitions, 2830 secs || 53822 markings, 53822 edges, 22 markings/sec, 2830 secs
lola: 12 tries, 11207917 fired transitions, 2835 secs || 53927 markings, 53927 edges, 21 markings/sec, 2835 secs
lola: 12 tries, 11225726 fired transitions, 2840 secs || 54021 markings, 54021 edges, 19 markings/sec, 2840 secs
lola: 12 tries, 11243550 fired transitions, 2845 secs || 54131 markings, 54131 edges, 22 markings/sec, 2845 secs
lola: 12 tries, 11261330 fired transitions, 2850 secs || 54240 markings, 54240 edges, 22 markings/sec, 2850 secs
lola: 12 tries, 11278974 fired transitions, 2855 secs || 54350 markings, 54350 edges, 22 markings/sec, 2855 secs
lola: 12 tries, 11296766 fired transitions, 2860 secs || 54459 markings, 54459 edges, 22 markings/sec, 2860 secs
lola: 12 tries, 11314526 fired transitions, 2865 secs || 54568 markings, 54568 edges, 22 markings/sec, 2865 secs
lola: 12 tries, 11332288 fired transitions, 2870 secs || 54678 markings, 54678 edges, 22 markings/sec, 2870 secs
lola: 12 tries, 11349848 fired transitions, 2875 secs || 54787 markings, 54787 edges, 22 markings/sec, 2875 secs
lola: 12 tries, 11367652 fired transitions, 2880 secs || 54897 markings, 54897 edges, 22 markings/sec, 2880 secs
lola: 12 tries, 11385448 fired transitions, 2885 secs || 55011 markings, 55011 edges, 23 markings/sec, 2885 secs
lola: 12 tries, 11403182 fired transitions, 2890 secs || 55125 markings, 55125 edges, 23 markings/sec, 2890 secs
lola: 12 tries, 11420974 fired transitions, 2895 secs || 55239 markings, 55239 edges, 23 markings/sec, 2895 secs
lola: 12 tries, 11438760 fired transitions, 2900 secs || 55351 markings, 55351 edges, 22 markings/sec, 2900 secs
lola: 12 tries, 11456322 fired transitions, 2905 secs || 55462 markings, 55462 edges, 22 markings/sec, 2905 secs
lola: 12 tries, 11474104 fired transitions, 2910 secs || 55575 markings, 55575 edges, 23 markings/sec, 2910 secs
lola: 12 tries, 11491910 fired transitions, 2915 secs || 55689 markings, 55689 edges, 23 markings/sec, 2915 secs
lola: 12 tries, 11509640 fired transitions, 2920 secs || 55803 markings, 55803 edges, 23 markings/sec, 2920 secs
lola: 12 tries, 11527459 fired transitions, 2925 secs || 55916 markings, 55916 edges, 23 markings/sec, 2925 secs
lola: 12 tries, 11545200 fired transitions, 2930 secs || 56030 markings, 56030 edges, 23 markings/sec, 2930 secs
lola: 12 tries, 11562994 fired transitions, 2935 secs || 56144 markings, 56144 edges, 23 markings/sec, 2935 secs
lola: 12 tries, 11580780 fired transitions, 2940 secs || 56258 markings, 56258 edges, 23 markings/sec, 2940 secs
lola: 12 tries, 11598604 fired transitions, 2945 secs || 56364 markings, 56364 edges, 21 markings/sec, 2945 secs
lola: 12 tries, 11616356 fired transitions, 2950 secs || 56471 markings, 56471 edges, 21 markings/sec, 2950 secs
lola: 12 tries, 11634106 fired transitions, 2955 secs || 56578 markings, 56578 edges, 21 markings/sec, 2955 secs
lola: 12 tries, 11651869 fired transitions, 2960 secs || 56685 markings, 56685 edges, 21 markings/sec, 2960 secs
lola: 12 tries, 11669588 fired transitions, 2965 secs || 56792 markings, 56792 edges, 21 markings/sec, 2965 secs
lola: 12 tries, 11687360 fired transitions, 2970 secs || 56899 markings, 56899 edges, 21 markings/sec, 2970 secs
lola: 12 tries, 11705090 fired transitions, 2975 secs || 57006 markings, 57006 edges, 21 markings/sec, 2975 secs
lola: 12 tries, 11722890 fired transitions, 2980 secs || 57113 markings, 57113 edges, 21 markings/sec, 2980 secs
lola: 12 tries, 11740652 fired transitions, 2985 secs || 57220 markings, 57220 edges, 21 markings/sec, 2985 secs
lola: 12 tries, 11758352 fired transitions, 2990 secs || 57326 markings, 57326 edges, 21 markings/sec, 2990 secs
lola: 12 tries, 11776100 fired transitions, 2995 secs || 57434 markings, 57434 edges, 22 markings/sec, 2995 secs
lola: 12 tries, 11793818 fired transitions, 3000 secs || 57546 markings, 57546 edges, 22 markings/sec, 3000 secs
lola: 12 tries, 11811512 fired transitions, 3005 secs || 57657 markings, 57657 edges, 22 markings/sec, 3005 secs
lola: 12 tries, 11829200 fired transitions, 3010 secs || 57769 markings, 57769 edges, 22 markings/sec, 3010 secs
lola: 12 tries, 11846937 fired transitions, 3015 secs || 57880 markings, 57880 edges, 22 markings/sec, 3015 secs
lola: 12 tries, 11864652 fired transitions, 3020 secs || 57992 markings, 57992 edges, 22 markings/sec, 3020 secs
lola: 12 tries, 11882358 fired transitions, 3025 secs || 58103 markings, 58103 edges, 22 markings/sec, 3025 secs
lola: 12 tries, 11900054 fired transitions, 3030 secs || 58215 markings, 58215 edges, 22 markings/sec, 3030 secs
lola: 12 tries, 11917758 fired transitions, 3035 secs || 58326 markings, 58326 edges, 22 markings/sec, 3035 secs
lola: 12 tries, 11935460 fired transitions, 3040 secs || 58438 markings, 58438 edges, 22 markings/sec, 3040 secs
lola: 12 tries, 11953116 fired transitions, 3045 secs || 58549 markings, 58549 edges, 22 markings/sec, 3045 secs
lola: 12 tries, 11970742 fired transitions, 3050 secs || 58660 markings, 58660 edges, 22 markings/sec, 3050 secs
lola: 12 tries, 11988410 fired transitions, 3055 secs || 58769 markings, 58769 edges, 22 markings/sec, 3055 secs
lola: 13 tries, 12006056 fired transitions, 3060 secs || 58877 markings, 58877 edges, 22 markings/sec, 3060 secs
lola: 13 tries, 12023746 fired transitions, 3065 secs || 58986 markings, 58986 edges, 22 markings/sec, 3065 secs
lola: 13 tries, 12041376 fired transitions, 3070 secs || 59095 markings, 59095 edges, 22 markings/sec, 3070 secs
lola: 13 tries, 12059106 fired transitions, 3075 secs || 59204 markings, 59204 edges, 22 markings/sec, 3075 secs
lola: 13 tries, 12076746 fired transitions, 3080 secs || 59313 markings, 59313 edges, 22 markings/sec, 3080 secs
lola: 13 tries, 12094388 fired transitions, 3085 secs || 59422 markings, 59422 edges, 22 markings/sec, 3085 secs
lola: 13 tries, 12111930 fired transitions, 3090 secs || 59531 markings, 59531 edges, 22 markings/sec, 3090 secs
lola: 13 tries, 12129560 fired transitions, 3095 secs || 59639 markings, 59639 edges, 22 markings/sec, 3095 secs
lola: 13 tries, 12147104 fired transitions, 3100 secs || 59748 markings, 59748 edges, 22 markings/sec, 3100 secs
lola: 13 tries, 12164616 fired transitions, 3105 secs || 59857 markings, 59857 edges, 22 markings/sec, 3105 secs
lola: 13 tries, 12182270 fired transitions, 3110 secs || 59966 markings, 59966 edges, 22 markings/sec, 3110 secs
lola: 13 tries, 12199926 fired transitions, 3115 secs || 60075 markings, 60075 edges, 22 markings/sec, 3115 secs
lola: 13 tries, 12217428 fired transitions, 3120 secs || 60181 markings, 60181 edges, 21 markings/sec, 3120 secs
lola: 13 tries, 12235062 fired transitions, 3125 secs || 60285 markings, 60285 edges, 21 markings/sec, 3125 secs
lola: 13 tries, 12252716 fired transitions, 3130 secs || 60392 markings, 60392 edges, 21 markings/sec, 3130 secs
lola: 13 tries, 12270384 fired transitions, 3135 secs || 60501 markings, 60501 edges, 22 markings/sec, 3135 secs
lola: 13 tries, 12288024 fired transitions, 3140 secs || 60610 markings, 60610 edges, 22 markings/sec, 3140 secs
lola: 13 tries, 12305738 fired transitions, 3145 secs || 60719 markings, 60719 edges, 22 markings/sec, 3145 secs
lola: 13 tries, 12323462 fired transitions, 3150 secs || 60828 markings, 60828 edges, 22 markings/sec, 3150 secs
lola: 13 tries, 12341192 fired transitions, 3155 secs || 60943 markings, 60943 edges, 23 markings/sec, 3155 secs
lola: 13 tries, 12358800 fired transitions, 3160 secs || 61061 markings, 61061 edges, 24 markings/sec, 3160 secs
lola: 13 tries, 12376485 fired transitions, 3165 secs || 61180 markings, 61180 edges, 24 markings/sec, 3165 secs
lola: 13 tries, 12394190 fired transitions, 3170 secs || 61298 markings, 61298 edges, 24 markings/sec, 3170 secs
lola: 13 tries, 12411828 fired transitions, 3175 secs || 61417 markings, 61417 edges, 24 markings/sec, 3175 secs
lola: 13 tries, 12429462 fired transitions, 3180 secs || 61535 markings, 61535 edges, 24 markings/sec, 3180 secs
lola: 13 tries, 12447046 fired transitions, 3185 secs || 61654 markings, 61654 edges, 24 markings/sec, 3185 secs
lola: 13 tries, 12464686 fired transitions, 3190 secs || 61772 markings, 61772 edges, 24 markings/sec, 3190 secs
lola: 13 tries, 12482284 fired transitions, 3195 secs || 61889 markings, 61889 edges, 23 markings/sec, 3195 secs
lola: 13 tries, 12499900 fired transitions, 3200 secs || 62002 markings, 62002 edges, 23 markings/sec, 3200 secs
lola: 13 tries, 12517232 fired transitions, 3205 secs || 62115 markings, 62115 edges, 23 markings/sec, 3205 secs
lola: 13 tries, 12534776 fired transitions, 3210 secs || 62225 markings, 62225 edges, 22 markings/sec, 3210 secs
lola: 13 tries, 12552310 fired transitions, 3215 secs || 62335 markings, 62335 edges, 22 markings/sec, 3215 secs
lola: 13 tries, 12569890 fired transitions, 3220 secs || 62444 markings, 62444 edges, 22 markings/sec, 3220 secs
lola: 13 tries, 12587498 fired transitions, 3225 secs || 62554 markings, 62554 edges, 22 markings/sec, 3225 secs
lola: 13 tries, 12605076 fired transitions, 3230 secs || 62665 markings, 62665 edges, 22 markings/sec, 3230 secs
lola: 13 tries, 12622730 fired transitions, 3235 secs || 62777 markings, 62777 edges, 22 markings/sec, 3235 secs
lola: 13 tries, 12640334 fired transitions, 3240 secs || 62888 markings, 62888 edges, 22 markings/sec, 3240 secs
lola: 13 tries, 12657948 fired transitions, 3245 secs || 62999 markings, 62999 edges, 22 markings/sec, 3245 secs
lola: 13 tries, 12675562 fired transitions, 3250 secs || 63110 markings, 63110 edges, 22 markings/sec, 3250 secs
lola: 13 tries, 12693231 fired transitions, 3255 secs || 63221 markings, 63221 edges, 22 markings/sec, 3255 secs
lola: 13 tries, 12710896 fired transitions, 3260 secs || 63332 markings, 63332 edges, 22 markings/sec, 3260 secs
lola: 13 tries, 12728416 fired transitions, 3265 secs || 63443 markings, 63443 edges, 22 markings/sec, 3265 secs
lola: 13 tries, 12745820 fired transitions, 3270 secs || 63554 markings, 63554 edges, 22 markings/sec, 3270 secs
lola: 13 tries, 12763312 fired transitions, 3275 secs || 63665 markings, 63665 edges, 22 markings/sec, 3275 secs
lola: 13 tries, 12780795 fired transitions, 3280 secs || 63776 markings, 63776 edges, 22 markings/sec, 3280 secs
lola: 13 tries, 12798325 fired transitions, 3285 secs || 63892 markings, 63892 edges, 23 markings/sec, 3285 secs
lola: 13 tries, 12815818 fired transitions, 3290 secs || 64009 markings, 64009 edges, 23 markings/sec, 3290 secs
lola: 13 tries, 12833368 fired transitions, 3295 secs || 64126 markings, 64126 edges, 23 markings/sec, 3295 secs
lola: 13 tries, 12850985 fired transitions, 3300 secs || 64243 markings, 64243 edges, 23 markings/sec, 3300 secs
lola: 13 tries, 12868458 fired transitions, 3305 secs || 64358 markings, 64358 edges, 23 markings/sec, 3305 secs
lola: 13 tries, 12886056 fired transitions, 3310 secs || 64471 markings, 64471 edges, 23 markings/sec, 3310 secs
lola: 13 tries, 12903617 fired transitions, 3315 secs || 64583 markings, 64583 edges, 22 markings/sec, 3315 secs
lola: 13 tries, 12921236 fired transitions, 3320 secs || 64699 markings, 64699 edges, 23 markings/sec, 3320 secs
lola: 13 tries, 12938210 fired transitions, 3325 secs || 64813 markings, 64813 edges, 23 markings/sec, 3325 secs
lola: 13 tries, 12955706 fired transitions, 3330 secs || 64927 markings, 64927 edges, 23 markings/sec, 3330 secs
lola: 13 tries, 12973206 fired transitions, 3335 secs || 65038 markings, 65038 edges, 22 markings/sec, 3335 secs
lola: 13 tries, 12990748 fired transitions, 3340 secs || 65151 markings, 65151 edges, 23 markings/sec, 3340 secs
lola: 14 tries, 13008286 fired transitions, 3345 secs || 65263 markings, 65263 edges, 22 markings/sec, 3345 secs
lola: 14 tries, 13025916 fired transitions, 3350 secs || 65378 markings, 65378 edges, 23 markings/sec, 3350 secs
lola: 14 tries, 13043510 fired transitions, 3355 secs || 65495 markings, 65495 edges, 23 markings/sec, 3355 secs
lola: 14 tries, 13060914 fired transitions, 3360 secs || 65614 markings, 65614 edges, 24 markings/sec, 3360 secs
lola: 14 tries, 13078506 fired transitions, 3365 secs || 65745 markings, 65745 edges, 26 markings/sec, 3365 secs
lola: 14 tries, 13096108 fired transitions, 3370 secs || 65876 markings, 65876 edges, 26 markings/sec, 3370 secs
lola: 14 tries, 13113692 fired transitions, 3375 secs || 66008 markings, 66008 edges, 26 markings/sec, 3375 secs
lola: 14 tries, 13131224 fired transitions, 3380 secs || 66139 markings, 66139 edges, 26 markings/sec, 3380 secs
lola: 14 tries, 13148822 fired transitions, 3385 secs || 66270 markings, 66270 edges, 26 markings/sec, 3385 secs
lola: 14 tries, 13166436 fired transitions, 3390 secs || 66401 markings, 66401 edges, 26 markings/sec, 3390 secs
lola: 14 tries, 13184000 fired transitions, 3395 secs || 66533 markings, 66533 edges, 26 markings/sec, 3395 secs
lola: 14 tries, 13201532 fired transitions, 3400 secs || 66664 markings, 66664 edges, 26 markings/sec, 3400 secs
lola: 14 tries, 13218876 fired transitions, 3405 secs || 66795 markings, 66795 edges, 26 markings/sec, 3405 secs
lola: 14 tries, 13236124 fired transitions, 3410 secs || 66924 markings, 66924 edges, 26 markings/sec, 3410 secs
lola: 14 tries, 13253684 fired transitions, 3415 secs || 67056 markings, 67056 edges, 26 markings/sec, 3415 secs
lola: 14 tries, 13271198 fired transitions, 3420 secs || 67187 markings, 67187 edges, 26 markings/sec, 3420 secs
lola: 14 tries, 13288726 fired transitions, 3425 secs || 67319 markings, 67319 edges, 26 markings/sec, 3425 secs
lola: 14 tries, 13306272 fired transitions, 3430 secs || 67449 markings, 67449 edges, 26 markings/sec, 3430 secs
lola: 14 tries, 13323822 fired transitions, 3435 secs || 67581 markings, 67581 edges, 26 markings/sec, 3435 secs
lola: 14 tries, 13341350 fired transitions, 3440 secs || 67712 markings, 67712 edges, 26 markings/sec, 3440 secs
lola: 14 tries, 13358974 fired transitions, 3445 secs || 67843 markings, 67843 edges, 26 markings/sec, 3445 secs
lola: 14 tries, 13376540 fired transitions, 3450 secs || 67974 markings, 67974 edges, 26 markings/sec, 3450 secs
lola: 14 tries, 13393946 fired transitions, 3455 secs || 68106 markings, 68106 edges, 26 markings/sec, 3455 secs
lola: 14 tries, 13411472 fired transitions, 3460 secs || 68238 markings, 68238 edges, 26 markings/sec, 3460 secs
lola: 14 tries, 13428992 fired transitions, 3465 secs || 68369 markings, 68369 edges, 26 markings/sec, 3465 secs
lola: 14 tries, 13446534 fired transitions, 3470 secs || 68499 markings, 68499 edges, 26 markings/sec, 3470 secs
lola: 14 tries, 13464055 fired transitions, 3475 secs || 68631 markings, 68631 edges, 26 markings/sec, 3475 secs
lola: 14 tries, 13481618 fired transitions, 3480 secs || 68761 markings, 68761 edges, 26 markings/sec, 3480 secs
lola: 14 tries, 13499197 fired transitions, 3485 secs || 68893 markings, 68893 edges, 26 markings/sec, 3485 secs
lola: 14 tries, 13516728 fired transitions, 3490 secs || 69024 markings, 69024 edges, 26 markings/sec, 3490 secs
lola: 14 tries, 13534268 fired transitions, 3495 secs || 69155 markings, 69155 edges, 26 markings/sec, 3495 secs
lola: 14 tries, 13551822 fired transitions, 3500 secs || 69286 markings, 69286 edges, 26 markings/sec, 3500 secs
lola: 14 tries, 13569292 fired transitions, 3505 secs || 69417 markings, 69417 edges, 26 markings/sec, 3505 secs
lola: 14 tries, 13586777 fired transitions, 3510 secs || 69547 markings, 69547 edges, 26 markings/sec, 3510 secs
lola: 14 tries, 13604304 fired transitions, 3515 secs || 69678 markings, 69678 edges, 26 markings/sec, 3515 secs
lola: 14 tries, 13621844 fired transitions, 3520 secs || 69810 markings, 69810 edges, 26 markings/sec, 3520 secs
lola: 14 tries, 13639356 fired transitions, 3525 secs || 69941 markings, 69941 edges, 26 markings/sec, 3525 secs
lola: 14 tries, 13656860 fired transitions, 3530 secs || 70073 markings, 70073 edges, 26 markings/sec, 3530 secs
lola: 14 tries, 13674394 fired transitions, 3535 secs || 70203 markings, 70203 edges, 26 markings/sec, 3535 secs
lola: 14 tries, 13691850 fired transitions, 3540 secs || 70308 markings, 70308 edges, 21 markings/sec, 3540 secs
lola: 14 tries, 13709349 fired transitions, 3545 secs || 70412 markings, 70412 edges, 21 markings/sec, 3545 secs
lola: 14 tries, 13726772 fired transitions, 3550 secs || 70517 markings, 70517 edges, 21 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 7715860 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 1553007333628
--------------------
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="RwMutex-PT-r2000w0010"
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 RwMutex-PT-r2000w0010, 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 r148-ebro-155286404100363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r2000w0010.tgz
mv RwMutex-PT-r2000w0010 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 '
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 ;