Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r104-oct2-155272225400111.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 NeighborGrid-PT-d5n4m1t35, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272225400111
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 3.6K Feb 12 02:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 12 02:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 8 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 8 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 350 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 00:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 5 00:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 4 06:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 4 06:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 1 00:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 00:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rwxr-xr-x 1 mcc users 59M 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 NeighborGrid-PT-d5n4m1t35-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552774632613

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NeighborGrid-PT-d5n4m1t35 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ NeighborGrid-PT-d5n4m1t35

{
"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": "Sat Mar 16 22:17:12 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1814564,
"runtime": 3572.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 393216,
"conflict_clusters": 1024,
"places": 1024,
"places_significant": 1023,
"singleton_clusters": 0,
"transitions": 196608
},
"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": 786432.000000,
"composed": 1042,
"dead_branches": 9599,
"generators": 1052,
"interrupted": true,
"real_computed": 10,
"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: 197632/268435456 symbol table entries, 5872 collisions
lola: preprocessing...
lola: Size of bit vector: 32768
lola: finding significant places
lola: 1024 places, 196608 transitions, 1023 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: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 27637 fired transitions, 0 secs
lola: 4 generators; 519722 candidates remain ( 0%), 0 secs
lola: 1 tries, 68032 fired transitions, 5 secs
lola: 1047 generators; 514614 candidates remain ( 0%), 5 secs
lola: 1 tries, 102954 fired transitions, 10 secs
lola: 1052 generators; 8 candidates remain (99%), 10 secs
lola: 1 tries, 145146 fired transitions, 15 secs
lola: 1052 generators; 8 candidates remain (99%), 15 secs
lola: 1 tries, 188045 fired transitions, 20 secs
lola: 1052 generators; 8 candidates remain (99%), 20 secs
lola: 1 tries, 230941 fired transitions, 25 secs
lola: 1052 generators; 8 candidates remain (99%), 25 secs
lola: 1 tries, 273797 fired transitions, 30 secs
lola: 1052 generators; 8 candidates remain (99%), 30 secs
lola: 1 tries, 316700 fired transitions, 35 secs
lola: 1052 generators; 8 candidates remain (99%), 35 secs
lola: 1 tries, 359381 fired transitions, 40 secs
lola: 1052 generators; 8 candidates remain (99%), 40 secs
lola: 1 tries, 402119 fired transitions, 45 secs
lola: 1052 generators; 8 candidates remain (99%), 45 secs
lola: 1 tries, 444761 fired transitions, 50 secs
lola: 1052 generators; 8 candidates remain (99%), 50 secs
lola: 1 tries, 485907 fired transitions, 55 secs
lola: 1052 generators; 8 candidates remain (99%), 55 secs
lola: 1 tries, 527927 fired transitions, 60 secs
lola: 1052 generators; 8 candidates remain (99%), 60 secs
lola: 1 tries, 569521 fired transitions, 65 secs
lola: 1052 generators; 8 candidates remain (99%), 65 secs
lola: 1 tries, 610386 fired transitions, 70 secs
lola: 1052 generators; 8 candidates remain (99%), 70 secs
lola: 1 tries, 651197 fired transitions, 75 secs
lola: 1052 generators; 8 candidates remain (99%), 75 secs
lola: 1 tries, 693197 fired transitions, 80 secs
lola: 1052 generators; 8 candidates remain (99%), 80 secs
lola: 1 tries, 734916 fired transitions, 85 secs
lola: 1052 generators; 8 candidates remain (99%), 85 secs
lola: 1 tries, 777450 fired transitions, 90 secs
lola: 1052 generators; 8 candidates remain (99%), 90 secs
lola: 1 tries, 820007 fired transitions, 95 secs
lola: 1052 generators; 8 candidates remain (99%), 95 secs
lola: 1 tries, 862521 fired transitions, 100 secs
lola: 1052 generators; 8 candidates remain (99%), 100 secs
lola: 1 tries, 903818 fired transitions, 105 secs
lola: 1052 generators; 8 candidates remain (99%), 105 secs
lola: 1 tries, 944877 fired transitions, 110 secs
lola: 1052 generators; 8 candidates remain (99%), 110 secs
lola: 1 tries, 987029 fired transitions, 115 secs
lola: 1052 generators; 8 candidates remain (99%), 115 secs
lola: 2 tries, 1029300 fired transitions, 120 secs
lola: 1052 generators; 8 candidates remain (99%), 120 secs
lola: 2 tries, 1070869 fired transitions, 125 secs
lola: 1052 generators; 8 candidates remain (99%), 125 secs
lola: 2 tries, 1113115 fired transitions, 130 secs
lola: 1052 generators; 8 candidates remain (99%), 130 secs
lola: 2 tries, 1155023 fired transitions, 135 secs
lola: 1052 generators; 8 candidates remain (99%), 135 secs
lola: 2 tries, 1197379 fired transitions, 140 secs
lola: 1052 generators; 8 candidates remain (99%), 140 secs
lola: 2 tries, 1239774 fired transitions, 145 secs
lola: 1052 generators; 8 candidates remain (99%), 145 secs
lola: 2 tries, 1281456 fired transitions, 150 secs
lola: 1052 generators; 8 candidates remain (99%), 150 secs
lola: 2 tries, 1323194 fired transitions, 155 secs
lola: 1052 generators; 8 candidates remain (99%), 155 secs
lola: 2 tries, 1364940 fired transitions, 160 secs
lola: 1052 generators; 8 candidates remain (99%), 160 secs
lola: 2 tries, 1406739 fired transitions, 165 secs
lola: 1052 generators; 8 candidates remain (99%), 165 secs
lola: 2 tries, 1448358 fired transitions, 170 secs
lola: 1052 generators; 8 candidates remain (99%), 170 secs
lola: 2 tries, 1490482 fired transitions, 175 secs
lola: 1052 generators; 8 candidates remain (99%), 175 secs
lola: 2 tries, 1533501 fired transitions, 180 secs
lola: 1052 generators; 8 candidates remain (99%), 180 secs
lola: 2 tries, 1576354 fired transitions, 185 secs
lola: 1052 generators; 8 candidates remain (99%), 185 secs
lola: 2 tries, 1618556 fired transitions, 190 secs
lola: 1052 generators; 8 candidates remain (99%), 190 secs
lola: 2 tries, 1660531 fired transitions, 195 secs
lola: 1052 generators; 8 candidates remain (99%), 195 secs
lola: 2 tries, 1702703 fired transitions, 200 secs
lola: 1052 generators; 8 candidates remain (99%), 200 secs
lola: 2 tries, 1744952 fired transitions, 205 secs
lola: 1052 generators; 8 candidates remain (99%), 205 secs
lola: 2 tries, 1785119 fired transitions, 210 secs
lola: 1052 generators; 8 candidates remain (99%), 210 secs
lola: 2 tries, 1826300 fired transitions, 215 secs
lola: 1052 generators; 8 candidates remain (99%), 215 secs
lola: 2 tries, 1867257 fired transitions, 220 secs
lola: 1052 generators; 8 candidates remain (99%), 220 secs
lola: 2 tries, 1909957 fired transitions, 225 secs
lola: 1052 generators; 8 candidates remain (99%), 225 secs
lola: 2 tries, 1952041 fired transitions, 230 secs
lola: 1052 generators; 8 candidates remain (99%), 230 secs
lola: 2 tries, 1993852 fired transitions, 235 secs
lola: 1052 generators; 8 candidates remain (99%), 235 secs
lola: 3 tries, 2036078 fired transitions, 240 secs
lola: 1052 generators; 8 candidates remain (99%), 240 secs
lola: 3 tries, 2078298 fired transitions, 245 secs
lola: 1052 generators; 8 candidates remain (99%), 245 secs
lola: 3 tries, 2119466 fired transitions, 250 secs
lola: 1052 generators; 8 candidates remain (99%), 250 secs
lola: 3 tries, 2161717 fired transitions, 255 secs
lola: 1052 generators; 8 candidates remain (99%), 255 secs
lola: 3 tries, 2203553 fired transitions, 260 secs
lola: 1052 generators; 8 candidates remain (99%), 260 secs
lola: 3 tries, 2244738 fired transitions, 265 secs
lola: 1052 generators; 8 candidates remain (99%), 265 secs
lola: 3 tries, 2285488 fired transitions, 270 secs
lola: 1052 generators; 8 candidates remain (99%), 270 secs
lola: 3 tries, 2326898 fired transitions, 275 secs
lola: 1052 generators; 8 candidates remain (99%), 275 secs
lola: 3 tries, 2368650 fired transitions, 280 secs
lola: 1052 generators; 8 candidates remain (99%), 280 secs
lola: 3 tries, 2409546 fired transitions, 285 secs
lola: 1052 generators; 8 candidates remain (99%), 285 secs
lola: 3 tries, 2451906 fired transitions, 290 secs
lola: 1052 generators; 8 candidates remain (99%), 290 secs
lola: 3 tries, 2493762 fired transitions, 295 secs
lola: 1052 generators; 8 candidates remain (99%), 295 secs
lola: 3 tries, 2535866 fired transitions, 300 secs
lola: 1052 generators; 8 candidates remain (99%), 300 secs
lola: 3 tries, 2577557 fired transitions, 305 secs
lola: 1052 generators; 8 candidates remain (99%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 1052 generators (10 in search tree, 1042 by composition)
lola: representing 786432 symmetries
lola: 9599 dead branches visited in search tree
lola: 3 tries, 2619863 fired transitions, 310 secs || 33549 markings, 34395 edges, 6710 markings/sec, 310 secs
lola: 3 tries, 2663055 fired transitions, 315 secs || 68676 markings, 72851 edges, 7025 markings/sec, 315 secs
lola: 3 tries, 2706008 fired transitions, 320 secs || 104527 markings, 112107 edges, 7170 markings/sec, 320 secs
lola: 3 tries, 2748992 fired transitions, 325 secs || 140750 markings, 150739 edges, 7245 markings/sec, 325 secs
lola: 3 tries, 2791938 fired transitions, 330 secs || 177714 markings, 188280 edges, 7393 markings/sec, 330 secs
lola: 3 tries, 2834959 fired transitions, 335 secs || 185956 markings, 539857 edges, 1648 markings/sec, 335 secs
lola: 3 tries, 2878005 fired transitions, 340 secs || 189036 markings, 936687 edges, 616 markings/sec, 340 secs
lola: 3 tries, 2921015 fired transitions, 345 secs || 189700 markings, 1358190 edges, 133 markings/sec, 345 secs
lola: 3 tries, 2964068 fired transitions, 350 secs || 193119 markings, 1748160 edges, 684 markings/sec, 350 secs
lola: 4 tries, 3006999 fired transitions, 355 secs || 193725 markings, 2169732 edges, 121 markings/sec, 355 secs
lola: 4 tries, 3050419 fired transitions, 360 secs || 197863 markings, 2548322 edges, 828 markings/sec, 360 secs
lola: 4 tries, 3093425 fired transitions, 365 secs || 198469 markings, 2968557 edges, 121 markings/sec, 365 secs
lola: 4 tries, 3136128 fired transitions, 370 secs || 203326 markings, 3336922 edges, 971 markings/sec, 370 secs
lola: 4 tries, 3178886 fired transitions, 375 secs || 203932 markings, 3757260 edges, 121 markings/sec, 375 secs
lola: 4 tries, 3221671 fired transitions, 380 secs || 204538 markings, 4174111 edges, 121 markings/sec, 380 secs
lola: 4 tries, 3264502 fired transitions, 385 secs || 210114 markings, 4536670 edges, 1115 markings/sec, 385 secs
lola: 4 tries, 3306610 fired transitions, 390 secs || 210720 markings, 4953177 edges, 121 markings/sec, 390 secs
lola: 4 tries, 3348074 fired transitions, 395 secs || 211326 markings, 5366361 edges, 121 markings/sec, 395 secs
lola: 4 tries, 3390080 fired transitions, 400 secs || 211932 markings, 5784423 edges, 121 markings/sec, 400 secs
lola: 4 tries, 3431216 fired transitions, 405 secs || 218227 markings, 6136513 edges, 1259 markings/sec, 405 secs
lola: 4 tries, 3472230 fired transitions, 410 secs || 218833 markings, 6550913 edges, 121 markings/sec, 410 secs
lola: 4 tries, 3513323 fired transitions, 415 secs || 219439 markings, 6966898 edges, 121 markings/sec, 415 secs
lola: 4 tries, 3554422 fired transitions, 420 secs || 220045 markings, 7381658 edges, 121 markings/sec, 420 secs
lola: 4 tries, 3595476 fired transitions, 425 secs || 227059 markings, 7725718 edges, 1403 markings/sec, 425 secs
lola: 4 tries, 3637374 fired transitions, 430 secs || 227665 markings, 8144141 edges, 121 markings/sec, 430 secs
lola: 4 tries, 3679281 fired transitions, 435 secs || 228271 markings, 8563992 edges, 121 markings/sec, 435 secs
lola: 4 tries, 3721396 fired transitions, 440 secs || 229044 markings, 8978691 edges, 155 markings/sec, 440 secs
lola: 4 tries, 3763420 fired transitions, 445 secs || 236610 markings, 9319303 edges, 1513 markings/sec, 445 secs
lola: 4 tries, 3805401 fired transitions, 450 secs || 237216 markings, 9739902 edges, 121 markings/sec, 450 secs
lola: 4 tries, 3848027 fired transitions, 455 secs || 237822 markings, 10154955 edges, 121 markings/sec, 455 secs
lola: 4 tries, 3890543 fired transitions, 460 secs || 238648 markings, 10552227 edges, 165 markings/sec, 460 secs
lola: 4 tries, 3933216 fired transitions, 465 secs || 239337 markings, 10952284 edges, 138 markings/sec, 465 secs
lola: 4 tries, 3975067 fired transitions, 470 secs || 247486 markings, 11274973 edges, 1630 markings/sec, 470 secs
lola: 5 tries, 4016678 fired transitions, 475 secs || 248092 markings, 11690735 edges, 121 markings/sec, 475 secs
lola: 5 tries, 4058832 fired transitions, 480 secs || 248698 markings, 12107862 edges, 121 markings/sec, 480 secs
lola: 5 tries, 4101091 fired transitions, 485 secs || 249526 markings, 12516114 edges, 166 markings/sec, 485 secs
lola: 5 tries, 4143802 fired transitions, 490 secs || 250213 markings, 12916690 edges, 137 markings/sec, 490 secs
lola: 5 tries, 4186148 fired transitions, 495 secs || 253591 markings, 13299524 edges, 676 markings/sec, 495 secs
lola: 5 tries, 4228629 fired transitions, 500 secs || 259687 markings, 13649582 edges, 1219 markings/sec, 500 secs
lola: 5 tries, 4271321 fired transitions, 505 secs || 260293 markings, 14057162 edges, 121 markings/sec, 505 secs
lola: 5 tries, 4313392 fired transitions, 510 secs || 260899 markings, 14468167 edges, 121 markings/sec, 510 secs
lola: 5 tries, 4355989 fired transitions, 515 secs || 261808 markings, 14879147 edges, 182 markings/sec, 515 secs
lola: 5 tries, 4398695 fired transitions, 520 secs || 262414 markings, 15286972 edges, 121 markings/sec, 520 secs
lola: 5 tries, 4441331 fired transitions, 525 secs || 267059 markings, 15657121 edges, 929 markings/sec, 525 secs
lola: 5 tries, 4483393 fired transitions, 530 secs || 272607 markings, 16012454 edges, 1110 markings/sec, 530 secs
lola: 5 tries, 4526113 fired transitions, 535 secs || 273213 markings, 16415219 edges, 121 markings/sec, 535 secs
lola: 5 tries, 4568854 fired transitions, 540 secs || 273819 markings, 16820607 edges, 121 markings/sec, 540 secs
lola: 5 tries, 4611543 fired transitions, 545 secs || 274425 markings, 17219874 edges, 121 markings/sec, 545 secs
lola: 5 tries, 4654219 fired transitions, 550 secs || 275321 markings, 17619140 edges, 179 markings/sec, 550 secs
lola: 5 tries, 4696213 fired transitions, 555 secs || 275940 markings, 18016978 edges, 124 markings/sec, 555 secs
lola: 5 tries, 4737785 fired transitions, 560 secs || 286246 markings, 18296473 edges, 2061 markings/sec, 560 secs
lola: 5 tries, 4778866 fired transitions, 565 secs || 286852 markings, 18694483 edges, 121 markings/sec, 565 secs
lola: 5 tries, 4819121 fired transitions, 570 secs || 287458 markings, 19092816 edges, 121 markings/sec, 570 secs
lola: 5 tries, 4859187 fired transitions, 575 secs || 288064 markings, 19491901 edges, 121 markings/sec, 575 secs
lola: 5 tries, 4899363 fired transitions, 580 secs || 288670 markings, 19885223 edges, 121 markings/sec, 580 secs
lola: 5 tries, 4940356 fired transitions, 585 secs || 289276 markings, 20289784 edges, 121 markings/sec, 585 secs
lola: 5 tries, 4981925 fired transitions, 590 secs || 289882 markings, 20700812 edges, 121 markings/sec, 590 secs
lola: 6 tries, 5024407 fired transitions, 595 secs || 301210 markings, 20980232 edges, 2266 markings/sec, 595 secs
lola: 6 tries, 5066552 fired transitions, 600 secs || 301816 markings, 21383402 edges, 121 markings/sec, 600 secs
lola: 6 tries, 5109182 fired transitions, 605 secs || 302422 markings, 21789844 edges, 121 markings/sec, 605 secs
lola: 6 tries, 5151696 fired transitions, 610 secs || 303028 markings, 22192705 edges, 121 markings/sec, 610 secs
lola: 6 tries, 5193882 fired transitions, 615 secs || 303634 markings, 22589132 edges, 121 markings/sec, 615 secs
lola: 6 tries, 5234969 fired transitions, 620 secs || 304240 markings, 22985949 edges, 121 markings/sec, 620 secs
lola: 6 tries, 5275614 fired transitions, 625 secs || 304846 markings, 23379354 edges, 121 markings/sec, 625 secs
lola: 6 tries, 5316713 fired transitions, 630 secs || 305452 markings, 23765420 edges, 121 markings/sec, 630 secs
lola: 6 tries, 5358970 fired transitions, 635 secs || 317196 markings, 24040942 edges, 2349 markings/sec, 635 secs
lola: 6 tries, 5401645 fired transitions, 640 secs || 317802 markings, 24451359 edges, 121 markings/sec, 640 secs
lola: 6 tries, 5444501 fired transitions, 645 secs || 318408 markings, 24869704 edges, 121 markings/sec, 645 secs
lola: 6 tries, 5487402 fired transitions, 650 secs || 319312 markings, 25282077 edges, 181 markings/sec, 650 secs
lola: 6 tries, 5530283 fired transitions, 655 secs || 319923 markings, 25697749 edges, 122 markings/sec, 655 secs
lola: 6 tries, 5573157 fired transitions, 660 secs || 320529 markings, 26113967 edges, 121 markings/sec, 660 secs
lola: 6 tries, 5616096 fired transitions, 665 secs || 321135 markings, 26526495 edges, 121 markings/sec, 665 secs
lola: 6 tries, 5658698 fired transitions, 670 secs || 321741 markings, 26943732 edges, 121 markings/sec, 670 secs
lola: 6 tries, 5701694 fired transitions, 675 secs || 334204 markings, 27225853 edges, 2493 markings/sec, 675 secs
lola: 6 tries, 5744678 fired transitions, 680 secs || 335015 markings, 27640922 edges, 162 markings/sec, 680 secs
lola: 6 tries, 5787659 fired transitions, 685 secs || 335719 markings, 28057852 edges, 141 markings/sec, 685 secs
lola: 6 tries, 5830493 fired transitions, 690 secs || 336325 markings, 28471695 edges, 121 markings/sec, 690 secs
lola: 6 tries, 5873329 fired transitions, 695 secs || 336931 markings, 28885842 edges, 121 markings/sec, 695 secs
lola: 6 tries, 5916230 fired transitions, 700 secs || 337537 markings, 29299840 edges, 121 markings/sec, 700 secs
lola: 6 tries, 5959049 fired transitions, 705 secs || 338143 markings, 29714168 edges, 121 markings/sec, 705 secs
lola: 7 tries, 6001884 fired transitions, 710 secs || 338749 markings, 30128096 edges, 121 markings/sec, 710 secs
lola: 7 tries, 6044932 fired transitions, 715 secs || 352193 markings, 30395114 edges, 2689 markings/sec, 715 secs
lola: 7 tries, 6087655 fired transitions, 720 secs || 352840 markings, 30817812 edges, 129 markings/sec, 720 secs
lola: 7 tries, 6130520 fired transitions, 725 secs || 353446 markings, 31238580 edges, 121 markings/sec, 725 secs
lola: 7 tries, 6173366 fired transitions, 730 secs || 354052 markings, 31656000 edges, 121 markings/sec, 730 secs
lola: 7 tries, 6216169 fired transitions, 735 secs || 354658 markings, 32071053 edges, 121 markings/sec, 735 secs
lola: 7 tries, 6259098 fired transitions, 740 secs || 355264 markings, 32488205 edges, 121 markings/sec, 740 secs
lola: 7 tries, 6301958 fired transitions, 745 secs || 355870 markings, 32905498 edges, 121 markings/sec, 745 secs
lola: 7 tries, 6344858 fired transitions, 750 secs || 356779 markings, 33320553 edges, 182 markings/sec, 750 secs
lola: 7 tries, 6387794 fired transitions, 755 secs || 357385 markings, 33734577 edges, 121 markings/sec, 755 secs
lola: 7 tries, 6430698 fired transitions, 760 secs || 371286 markings, 33998208 edges, 2780 markings/sec, 760 secs
lola: 7 tries, 6473589 fired transitions, 765 secs || 371892 markings, 34418486 edges, 121 markings/sec, 765 secs
lola: 7 tries, 6516367 fired transitions, 770 secs || 372498 markings, 34836218 edges, 121 markings/sec, 770 secs
lola: 7 tries, 6558914 fired transitions, 775 secs || 373104 markings, 35250705 edges, 121 markings/sec, 775 secs
lola: 7 tries, 6601543 fired transitions, 780 secs || 373710 markings, 35664961 edges, 121 markings/sec, 780 secs
lola: 7 tries, 6644206 fired transitions, 785 secs || 374615 markings, 36073441 edges, 181 markings/sec, 785 secs
lola: 7 tries, 6686805 fired transitions, 790 secs || 375225 markings, 36486063 edges, 122 markings/sec, 790 secs
lola: 7 tries, 6729446 fired transitions, 795 secs || 375831 markings, 36897403 edges, 121 markings/sec, 795 secs
lola: 7 tries, 6771922 fired transitions, 800 secs || 376437 markings, 37307383 edges, 121 markings/sec, 800 secs
lola: 7 tries, 6814589 fired transitions, 805 secs || 383804 markings, 37640733 edges, 1473 markings/sec, 805 secs
lola: 7 tries, 6857247 fired transitions, 810 secs || 391663 markings, 37974416 edges, 1572 markings/sec, 810 secs
lola: 7 tries, 6899757 fired transitions, 815 secs || 392269 markings, 38388244 edges, 121 markings/sec, 815 secs
lola: 7 tries, 6942301 fired transitions, 820 secs || 392875 markings, 38804442 edges, 121 markings/sec, 820 secs
lola: 7 tries, 6984790 fired transitions, 825 secs || 393593 markings, 39214659 edges, 144 markings/sec, 825 secs
lola: 8 tries, 7027427 fired transitions, 830 secs || 394390 markings, 39622685 edges, 159 markings/sec, 830 secs
lola: 8 tries, 7069837 fired transitions, 835 secs || 394996 markings, 40034072 edges, 121 markings/sec, 835 secs
lola: 8 tries, 7112249 fired transitions, 840 secs || 395602 markings, 40446852 edges, 121 markings/sec, 840 secs
lola: 8 tries, 7154811 fired transitions, 845 secs || 396208 markings, 40857722 edges, 121 markings/sec, 845 secs
lola: 8 tries, 7197512 fired transitions, 850 secs || 396814 markings, 41270212 edges, 121 markings/sec, 850 secs
lola: 8 tries, 7240226 fired transitions, 855 secs || 407158 markings, 41571648 edges, 2069 markings/sec, 855 secs
lola: 8 tries, 7282472 fired transitions, 860 secs || 412759 markings, 41925595 edges, 1120 markings/sec, 860 secs
lola: 8 tries, 7324020 fired transitions, 865 secs || 413365 markings, 42336030 edges, 121 markings/sec, 865 secs
lola: 8 tries, 7365941 fired transitions, 870 secs || 413971 markings, 42742829 edges, 121 markings/sec, 870 secs
lola: 8 tries, 7407666 fired transitions, 875 secs || 414816 markings, 43142159 edges, 169 markings/sec, 875 secs
lola: 8 tries, 7449300 fired transitions, 880 secs || 415486 markings, 43551577 edges, 134 markings/sec, 880 secs
lola: 8 tries, 7490892 fired transitions, 885 secs || 416092 markings, 43964354 edges, 121 markings/sec, 885 secs
lola: 8 tries, 7532783 fired transitions, 890 secs || 416698 markings, 44363831 edges, 121 markings/sec, 890 secs
lola: 8 tries, 7574822 fired transitions, 895 secs || 417304 markings, 44773545 edges, 121 markings/sec, 895 secs
lola: 8 tries, 7616839 fired transitions, 900 secs || 417910 markings, 45184641 edges, 121 markings/sec, 900 secs
lola: 8 tries, 7658645 fired transitions, 905 secs || 418516 markings, 45594954 edges, 121 markings/sec, 905 secs
lola: 8 tries, 7700424 fired transitions, 910 secs || 434574 markings, 45828981 edges, 3212 markings/sec, 910 secs
lola: 8 tries, 7742292 fired transitions, 915 secs || 435180 markings, 46245881 edges, 121 markings/sec, 915 secs
lola: 8 tries, 7784114 fired transitions, 920 secs || 435786 markings, 46660313 edges, 121 markings/sec, 920 secs
lola: 8 tries, 7826084 fired transitions, 925 secs || 436392 markings, 47060550 edges, 121 markings/sec, 925 secs
lola: 8 tries, 7868516 fired transitions, 930 secs || 437298 markings, 47462749 edges, 181 markings/sec, 930 secs
lola: 8 tries, 7910235 fired transitions, 935 secs || 437907 markings, 47865899 edges, 122 markings/sec, 935 secs
lola: 8 tries, 7952631 fired transitions, 940 secs || 438513 markings, 48261238 edges, 121 markings/sec, 940 secs
lola: 8 tries, 7994486 fired transitions, 945 secs || 439119 markings, 48656629 edges, 121 markings/sec, 945 secs
lola: 9 tries, 8036802 fired transitions, 950 secs || 439725 markings, 49060842 edges, 121 markings/sec, 950 secs
lola: 9 tries, 8078372 fired transitions, 955 secs || 440331 markings, 49470155 edges, 121 markings/sec, 955 secs
lola: 9 tries, 8120225 fired transitions, 960 secs || 440937 markings, 49880155 edges, 121 markings/sec, 960 secs
lola: 9 tries, 8162481 fired transitions, 965 secs || 457714 markings, 50102162 edges, 3355 markings/sec, 965 secs
lola: 9 tries, 8205144 fired transitions, 970 secs || 458320 markings, 50518691 edges, 121 markings/sec, 970 secs
lola: 9 tries, 8247389 fired transitions, 975 secs || 458926 markings, 50933983 edges, 121 markings/sec, 975 secs
lola: 9 tries, 8290000 fired transitions, 980 secs || 459532 markings, 51347988 edges, 121 markings/sec, 980 secs
lola: 9 tries, 8332673 fired transitions, 985 secs || 460138 markings, 51761204 edges, 121 markings/sec, 985 secs
lola: 9 tries, 8375215 fired transitions, 990 secs || 461016 markings, 52167901 edges, 176 markings/sec, 990 secs
lola: 9 tries, 8417983 fired transitions, 995 secs || 461653 markings, 52585099 edges, 127 markings/sec, 995 secs
lola: 9 tries, 8460882 fired transitions, 1000 secs || 462259 markings, 52996540 edges, 121 markings/sec, 1000 secs
lola: 9 tries, 8503828 fired transitions, 1005 secs || 462865 markings, 53410126 edges, 121 markings/sec, 1005 secs
lola: 9 tries, 8546661 fired transitions, 1010 secs || 463471 markings, 53823206 edges, 121 markings/sec, 1010 secs
lola: 9 tries, 8589145 fired transitions, 1015 secs || 464077 markings, 54232809 edges, 121 markings/sec, 1015 secs
lola: 9 tries, 8631656 fired transitions, 1020 secs || 474998 markings, 54523858 edges, 2184 markings/sec, 1020 secs
lola: 9 tries, 8674442 fired transitions, 1025 secs || 482179 markings, 54864307 edges, 1436 markings/sec, 1025 secs
lola: 9 tries, 8717766 fired transitions, 1030 secs || 482785 markings, 55274881 edges, 121 markings/sec, 1030 secs
lola: 9 tries, 8760617 fired transitions, 1035 secs || 483391 markings, 55692329 edges, 121 markings/sec, 1035 secs
lola: 9 tries, 8803570 fired transitions, 1040 secs || 484300 markings, 56104992 edges, 182 markings/sec, 1040 secs
lola: 9 tries, 8846400 fired transitions, 1045 secs || 484906 markings, 56517881 edges, 121 markings/sec, 1045 secs
lola: 9 tries, 8889312 fired transitions, 1050 secs || 485512 markings, 56934378 edges, 121 markings/sec, 1050 secs
lola: 9 tries, 8932071 fired transitions, 1055 secs || 486118 markings, 57348037 edges, 121 markings/sec, 1055 secs
lola: 9 tries, 8975043 fired transitions, 1060 secs || 486724 markings, 57760777 edges, 121 markings/sec, 1060 secs
lola: 10 tries, 9018096 fired transitions, 1065 secs || 487330 markings, 58174578 edges, 121 markings/sec, 1065 secs
lola: 10 tries, 9061244 fired transitions, 1070 secs || 487936 markings, 58582549 edges, 121 markings/sec, 1070 secs
lola: 10 tries, 9104074 fired transitions, 1075 secs || 488542 markings, 58996319 edges, 121 markings/sec, 1075 secs
lola: 10 tries, 9146883 fired transitions, 1080 secs || 503623 markings, 59241963 edges, 3016 markings/sec, 1080 secs
lola: 10 tries, 9189779 fired transitions, 1085 secs || 507363 markings, 59623483 edges, 748 markings/sec, 1085 secs
lola: 10 tries, 9232680 fired transitions, 1090 secs || 508272 markings, 60035987 edges, 182 markings/sec, 1090 secs
lola: 10 tries, 9275640 fired transitions, 1095 secs || 508878 markings, 60453917 edges, 121 markings/sec, 1095 secs
lola: 10 tries, 9318532 fired transitions, 1100 secs || 509484 markings, 60868861 edges, 121 markings/sec, 1100 secs
lola: 10 tries, 9361483 fired transitions, 1105 secs || 510090 markings, 61282245 edges, 121 markings/sec, 1105 secs
lola: 10 tries, 9404374 fired transitions, 1110 secs || 510696 markings, 61695143 edges, 121 markings/sec, 1110 secs
lola: 10 tries, 9447179 fired transitions, 1115 secs || 511302 markings, 62105907 edges, 121 markings/sec, 1115 secs
lola: 10 tries, 9490180 fired transitions, 1120 secs || 511908 markings, 62511107 edges, 121 markings/sec, 1120 secs
lola: 10 tries, 9533014 fired transitions, 1125 secs || 512514 markings, 62925224 edges, 121 markings/sec, 1125 secs
lola: 10 tries, 9575951 fired transitions, 1130 secs || 513120 markings, 63337498 edges, 121 markings/sec, 1130 secs
lola: 10 tries, 9618969 fired transitions, 1135 secs || 514029 markings, 63748854 edges, 182 markings/sec, 1135 secs
lola: 10 tries, 9661954 fired transitions, 1140 secs || 518124 markings, 64124814 edges, 819 markings/sec, 1140 secs
lola: 10 tries, 9704883 fired transitions, 1145 secs || 533569 markings, 64370873 edges, 3089 markings/sec, 1145 secs
lola: 10 tries, 9747779 fired transitions, 1150 secs || 534175 markings, 64790822 edges, 121 markings/sec, 1150 secs
lola: 10 tries, 9790697 fired transitions, 1155 secs || 534781 markings, 65209590 edges, 121 markings/sec, 1155 secs
lola: 10 tries, 9833631 fired transitions, 1160 secs || 535387 markings, 65627981 edges, 121 markings/sec, 1160 secs
lola: 10 tries, 9876539 fired transitions, 1165 secs || 535993 markings, 66043379 edges, 121 markings/sec, 1165 secs
lola: 10 tries, 9919445 fired transitions, 1170 secs || 536599 markings, 66459486 edges, 121 markings/sec, 1170 secs
lola: 10 tries, 9962387 fired transitions, 1175 secs || 537205 markings, 66874510 edges, 121 markings/sec, 1175 secs
lola: 11 tries, 10005288 fired transitions, 1180 secs || 538114 markings, 67283932 edges, 182 markings/sec, 1180 secs
lola: 11 tries, 10048420 fired transitions, 1185 secs || 538720 markings, 67692095 edges, 121 markings/sec, 1185 secs
lola: 11 tries, 10091329 fired transitions, 1190 secs || 539326 markings, 68108124 edges, 121 markings/sec, 1190 secs
lola: 11 tries, 10134369 fired transitions, 1195 secs || 539932 markings, 68518232 edges, 121 markings/sec, 1195 secs
lola: 11 tries, 10177104 fired transitions, 1200 secs || 540538 markings, 68930413 edges, 121 markings/sec, 1200 secs
lola: 11 tries, 10219599 fired transitions, 1205 secs || 549856 markings, 69237621 edges, 1864 markings/sec, 1205 secs
lola: 11 tries, 10262077 fired transitions, 1210 secs || 560797 markings, 69525766 edges, 2188 markings/sec, 1210 secs
lola: 11 tries, 10304069 fired transitions, 1215 secs || 561403 markings, 69933833 edges, 121 markings/sec, 1215 secs
lola: 11 tries, 10346026 fired transitions, 1220 secs || 562009 markings, 70341346 edges, 121 markings/sec, 1220 secs
lola: 11 tries, 10387862 fired transitions, 1225 secs || 562615 markings, 70743904 edges, 121 markings/sec, 1225 secs
lola: 11 tries, 10429812 fired transitions, 1230 secs || 563221 markings, 71147630 edges, 121 markings/sec, 1230 secs
lola: 11 tries, 10471990 fired transitions, 1235 secs || 563827 markings, 71555411 edges, 121 markings/sec, 1235 secs
lola: 11 tries, 10514871 fired transitions, 1240 secs || 564433 markings, 71971217 edges, 121 markings/sec, 1240 secs
lola: 11 tries, 10557676 fired transitions, 1245 secs || 565327 markings, 72379207 edges, 179 markings/sec, 1245 secs
lola: 11 tries, 10600352 fired transitions, 1250 secs || 565948 markings, 72790724 edges, 124 markings/sec, 1250 secs
lola: 11 tries, 10642345 fired transitions, 1255 secs || 566554 markings, 73196658 edges, 121 markings/sec, 1255 secs
lola: 11 tries, 10684693 fired transitions, 1260 secs || 567160 markings, 73605062 edges, 121 markings/sec, 1260 secs
lola: 11 tries, 10727408 fired transitions, 1265 secs || 567766 markings, 74016821 edges, 121 markings/sec, 1265 secs
lola: 11 tries, 10770118 fired transitions, 1270 secs || 568372 markings, 74430289 edges, 121 markings/sec, 1270 secs
lola: 11 tries, 10812778 fired transitions, 1275 secs || 588744 markings, 74612060 edges, 4074 markings/sec, 1275 secs
lola: 11 tries, 10855074 fired transitions, 1280 secs || 589350 markings, 75025205 edges, 121 markings/sec, 1280 secs
lola: 11 tries, 10897461 fired transitions, 1285 secs || 589956 markings, 75437305 edges, 121 markings/sec, 1285 secs
lola: 11 tries, 10940184 fired transitions, 1290 secs || 590562 markings, 75851780 edges, 121 markings/sec, 1290 secs
lola: 11 tries, 10982981 fired transitions, 1295 secs || 591168 markings, 76265913 edges, 121 markings/sec, 1295 secs
lola: 12 tries, 11025860 fired transitions, 1300 secs || 591774 markings, 76678763 edges, 121 markings/sec, 1300 secs
lola: 12 tries, 11068703 fired transitions, 1305 secs || 592497 markings, 77091453 edges, 145 markings/sec, 1305 secs
lola: 12 tries, 11111437 fired transitions, 1310 secs || 593289 markings, 77501997 edges, 158 markings/sec, 1310 secs
lola: 12 tries, 11153937 fired transitions, 1315 secs || 593895 markings, 77911219 edges, 121 markings/sec, 1315 secs
lola: 12 tries, 11196664 fired transitions, 1320 secs || 594501 markings, 78323088 edges, 121 markings/sec, 1320 secs
lola: 12 tries, 11239376 fired transitions, 1325 secs || 595107 markings, 78735883 edges, 121 markings/sec, 1325 secs
lola: 12 tries, 11282028 fired transitions, 1330 secs || 595713 markings, 79147829 edges, 121 markings/sec, 1330 secs
lola: 12 tries, 11324733 fired transitions, 1335 secs || 596319 markings, 79560992 edges, 121 markings/sec, 1335 secs
lola: 12 tries, 11367149 fired transitions, 1340 secs || 596925 markings, 79972809 edges, 121 markings/sec, 1340 secs
lola: 12 tries, 11409768 fired transitions, 1345 secs || 618016 markings, 80146062 edges, 4218 markings/sec, 1345 secs
lola: 12 tries, 11452423 fired transitions, 1350 secs || 618622 markings, 80563255 edges, 121 markings/sec, 1350 secs
lola: 12 tries, 11495139 fired transitions, 1355 secs || 619228 markings, 80978936 edges, 121 markings/sec, 1355 secs
lola: 12 tries, 11537862 fired transitions, 1360 secs || 619834 markings, 81393054 edges, 121 markings/sec, 1360 secs
lola: 12 tries, 11580575 fired transitions, 1365 secs || 620440 markings, 81806311 edges, 121 markings/sec, 1365 secs
lola: 12 tries, 11623278 fired transitions, 1370 secs || 621349 markings, 82210444 edges, 182 markings/sec, 1370 secs
lola: 12 tries, 11665891 fired transitions, 1375 secs || 621955 markings, 82623646 edges, 121 markings/sec, 1375 secs
lola: 12 tries, 11708562 fired transitions, 1380 secs || 622561 markings, 83034806 edges, 121 markings/sec, 1380 secs
lola: 12 tries, 11751523 fired transitions, 1385 secs || 623167 markings, 83443067 edges, 121 markings/sec, 1385 secs
lola: 12 tries, 11794458 fired transitions, 1390 secs || 623773 markings, 83856140 edges, 121 markings/sec, 1390 secs
lola: 12 tries, 11837361 fired transitions, 1395 secs || 624379 markings, 84265100 edges, 121 markings/sec, 1395 secs
lola: 12 tries, 11880304 fired transitions, 1400 secs || 624985 markings, 84677548 edges, 121 markings/sec, 1400 secs
lola: 12 tries, 11923244 fired transitions, 1405 secs || 625591 markings, 85081256 edges, 121 markings/sec, 1405 secs
lola: 12 tries, 11966099 fired transitions, 1410 secs || 626197 markings, 85480715 edges, 121 markings/sec, 1410 secs
lola: 13 tries, 12008979 fired transitions, 1415 secs || 639632 markings, 85729453 edges, 2687 markings/sec, 1415 secs
lola: 13 tries, 12051989 fired transitions, 1420 secs || 648613 markings, 86026145 edges, 1796 markings/sec, 1420 secs
lola: 13 tries, 12094812 fired transitions, 1425 secs || 649219 markings, 86432746 edges, 121 markings/sec, 1425 secs
lola: 13 tries, 12137404 fired transitions, 1430 secs || 649825 markings, 86836553 edges, 121 markings/sec, 1430 secs
lola: 13 tries, 12180258 fired transitions, 1435 secs || 650431 markings, 87239075 edges, 121 markings/sec, 1435 secs
lola: 13 tries, 12223014 fired transitions, 1440 secs || 651037 markings, 87643608 edges, 121 markings/sec, 1440 secs
lola: 13 tries, 12265688 fired transitions, 1445 secs || 651643 markings, 88049773 edges, 121 markings/sec, 1445 secs
lola: 13 tries, 12308354 fired transitions, 1450 secs || 652249 markings, 88449227 edges, 121 markings/sec, 1450 secs
lola: 13 tries, 12351214 fired transitions, 1455 secs || 652855 markings, 88849462 edges, 121 markings/sec, 1455 secs
lola: 13 tries, 12394200 fired transitions, 1460 secs || 653553 markings, 89252901 edges, 140 markings/sec, 1460 secs
lola: 13 tries, 12436988 fired transitions, 1465 secs || 654370 markings, 89653668 edges, 163 markings/sec, 1465 secs
lola: 13 tries, 12479539 fired transitions, 1470 secs || 654976 markings, 90060623 edges, 121 markings/sec, 1470 secs
lola: 13 tries, 12522085 fired transitions, 1475 secs || 655582 markings, 90468637 edges, 121 markings/sec, 1475 secs
lola: 13 tries, 12564572 fired transitions, 1480 secs || 656188 markings, 90878653 edges, 121 markings/sec, 1480 secs
lola: 13 tries, 12607184 fired transitions, 1485 secs || 656794 markings, 91287085 edges, 121 markings/sec, 1485 secs
lola: 13 tries, 12649630 fired transitions, 1490 secs || 665502 markings, 91606418 edges, 1742 markings/sec, 1490 secs
lola: 13 tries, 12692388 fired transitions, 1495 secs || 679929 markings, 91853479 edges, 2885 markings/sec, 1495 secs
lola: 13 tries, 12734399 fired transitions, 1500 secs || 680535 markings, 92271740 edges, 121 markings/sec, 1500 secs
lola: 13 tries, 12777096 fired transitions, 1505 secs || 681141 markings, 92684523 edges, 121 markings/sec, 1505 secs
lola: 13 tries, 12819335 fired transitions, 1510 secs || 681747 markings, 93096255 edges, 121 markings/sec, 1510 secs
lola: 13 tries, 12862021 fired transitions, 1515 secs || 682353 markings, 93504123 edges, 121 markings/sec, 1515 secs
lola: 13 tries, 12904724 fired transitions, 1520 secs || 682959 markings, 93913641 edges, 121 markings/sec, 1520 secs
lola: 13 tries, 12946894 fired transitions, 1525 secs || 683565 markings, 94324220 edges, 121 markings/sec, 1525 secs
lola: 13 tries, 12989569 fired transitions, 1530 secs || 684171 markings, 94728003 edges, 121 markings/sec, 1530 secs
lola: 14 tries, 13032339 fired transitions, 1535 secs || 684777 markings, 95125790 edges, 121 markings/sec, 1535 secs
lola: 14 tries, 13074650 fired transitions, 1540 secs || 685383 markings, 95524835 edges, 121 markings/sec, 1540 secs
lola: 14 tries, 13117246 fired transitions, 1545 secs || 686254 markings, 95922174 edges, 174 markings/sec, 1545 secs
lola: 14 tries, 13159644 fired transitions, 1550 secs || 686898 markings, 96331309 edges, 129 markings/sec, 1550 secs
lola: 14 tries, 13201633 fired transitions, 1555 secs || 687504 markings, 96741896 edges, 121 markings/sec, 1555 secs
lola: 14 tries, 13244364 fired transitions, 1560 secs || 688110 markings, 97138474 edges, 121 markings/sec, 1560 secs
lola: 14 tries, 13286556 fired transitions, 1565 secs || 688716 markings, 97553572 edges, 121 markings/sec, 1565 secs
lola: 14 tries, 13328595 fired transitions, 1570 secs || 710794 markings, 97718022 edges, 4416 markings/sec, 1570 secs
lola: 14 tries, 13370717 fired transitions, 1575 secs || 712570 markings, 98125505 edges, 355 markings/sec, 1575 secs
lola: 14 tries, 13412537 fired transitions, 1580 secs || 713176 markings, 98540135 edges, 121 markings/sec, 1580 secs
lola: 14 tries, 13454868 fired transitions, 1585 secs || 713782 markings, 98957024 edges, 121 markings/sec, 1585 secs
lola: 14 tries, 13496646 fired transitions, 1590 secs || 714388 markings, 99369240 edges, 121 markings/sec, 1590 secs
lola: 14 tries, 13539089 fired transitions, 1595 secs || 714994 markings, 99782148 edges, 121 markings/sec, 1595 secs
lola: 14 tries, 13580522 fired transitions, 1600 secs || 715600 markings, 100193025 edges, 121 markings/sec, 1600 secs
lola: 14 tries, 13623018 fired transitions, 1605 secs || 716206 markings, 100606387 edges, 121 markings/sec, 1605 secs
lola: 14 tries, 13664953 fired transitions, 1610 secs || 716812 markings, 101011045 edges, 121 markings/sec, 1610 secs
lola: 14 tries, 13707751 fired transitions, 1615 secs || 717418 markings, 101406009 edges, 121 markings/sec, 1615 secs
lola: 14 tries, 13749969 fired transitions, 1620 secs || 718122 markings, 101810050 edges, 141 markings/sec, 1620 secs
lola: 14 tries, 13792704 fired transitions, 1625 secs || 718932 markings, 102205370 edges, 162 markings/sec, 1625 secs
lola: 14 tries, 13835020 fired transitions, 1630 secs || 719539 markings, 102614690 edges, 121 markings/sec, 1630 secs
lola: 14 tries, 13877828 fired transitions, 1635 secs || 720145 markings, 103015171 edges, 121 markings/sec, 1635 secs
lola: 14 tries, 13920387 fired transitions, 1640 secs || 720751 markings, 103414824 edges, 121 markings/sec, 1640 secs
lola: 14 tries, 13962362 fired transitions, 1645 secs || 721357 markings, 103809372 edges, 121 markings/sec, 1645 secs
lola: 15 tries, 14003325 fired transitions, 1650 secs || 740387 markings, 103990927 edges, 3806 markings/sec, 1650 secs
lola: 15 tries, 14044617 fired transitions, 1655 secs || 745627 markings, 104326901 edges, 1048 markings/sec, 1655 secs
lola: 15 tries, 14086466 fired transitions, 1660 secs || 746233 markings, 104735935 edges, 121 markings/sec, 1660 secs
lola: 15 tries, 14128340 fired transitions, 1665 secs || 746839 markings, 105141193 edges, 121 markings/sec, 1665 secs
lola: 15 tries, 14169554 fired transitions, 1670 secs || 747445 markings, 105544911 edges, 121 markings/sec, 1670 secs
lola: 15 tries, 14210103 fired transitions, 1675 secs || 748051 markings, 105943811 edges, 121 markings/sec, 1675 secs
lola: 15 tries, 14252176 fired transitions, 1680 secs || 748958 markings, 106343969 edges, 181 markings/sec, 1680 secs
lola: 15 tries, 14294208 fired transitions, 1685 secs || 749566 markings, 106749978 edges, 122 markings/sec, 1685 secs
lola: 15 tries, 14334281 fired transitions, 1690 secs || 750172 markings, 107132110 edges, 121 markings/sec, 1690 secs
lola: 15 tries, 14374610 fired transitions, 1695 secs || 750778 markings, 107520330 edges, 121 markings/sec, 1695 secs
lola: 15 tries, 14415667 fired transitions, 1700 secs || 751384 markings, 107912978 edges, 121 markings/sec, 1700 secs
lola: 15 tries, 14457213 fired transitions, 1705 secs || 751990 markings, 108310089 edges, 121 markings/sec, 1705 secs
lola: 15 tries, 14496273 fired transitions, 1710 secs || 752596 markings, 108684041 edges, 121 markings/sec, 1710 secs
lola: 15 tries, 14535242 fired transitions, 1715 secs || 752899 markings, 109061009 edges, 61 markings/sec, 1715 secs
lola: 15 tries, 14575243 fired transitions, 1720 secs || 753505 markings, 109442623 edges, 121 markings/sec, 1720 secs
lola: 15 tries, 14613513 fired transitions, 1725 secs || 754111 markings, 109814000 edges, 121 markings/sec, 1725 secs
lola: 15 tries, 14652722 fired transitions, 1730 secs || 754717 markings, 110190643 edges, 121 markings/sec, 1730 secs
lola: 15 tries, 14691478 fired transitions, 1735 secs || 765085 markings, 110447948 edges, 2074 markings/sec, 1735 secs
lola: 15 tries, 14729845 fired transitions, 1740 secs || 779706 markings, 110654999 edges, 2924 markings/sec, 1740 secs
lola: 15 tries, 14768266 fired transitions, 1745 secs || 780312 markings, 111030997 edges, 121 markings/sec, 1745 secs
lola: 15 tries, 14806661 fired transitions, 1750 secs || 780918 markings, 111405500 edges, 121 markings/sec, 1750 secs
lola: 15 tries, 14845135 fired transitions, 1755 secs || 781524 markings, 111779109 edges, 121 markings/sec, 1755 secs
lola: 15 tries, 14883741 fired transitions, 1760 secs || 782130 markings, 112157452 edges, 121 markings/sec, 1760 secs
lola: 15 tries, 14924852 fired transitions, 1765 secs || 782736 markings, 112555056 edges, 121 markings/sec, 1765 secs
lola: 15 tries, 14966002 fired transitions, 1770 secs || 783342 markings, 112955510 edges, 121 markings/sec, 1770 secs
lola: 16 tries, 15006123 fired transitions, 1775 secs || 783948 markings, 113344188 edges, 121 markings/sec, 1775 secs
lola: 16 tries, 15046938 fired transitions, 1780 secs || 784554 markings, 113734776 edges, 121 markings/sec, 1780 secs
lola: 16 tries, 15088129 fired transitions, 1785 secs || 785160 markings, 114133790 edges, 121 markings/sec, 1785 secs
lola: 16 tries, 15129551 fired transitions, 1790 secs || 785766 markings, 114534389 edges, 121 markings/sec, 1790 secs
lola: 16 tries, 15170852 fired transitions, 1795 secs || 786372 markings, 114932061 edges, 121 markings/sec, 1795 secs
lola: 16 tries, 15212748 fired transitions, 1800 secs || 786978 markings, 115333843 edges, 121 markings/sec, 1800 secs
lola: 16 tries, 15254700 fired transitions, 1805 secs || 787639 markings, 115735950 edges, 132 markings/sec, 1805 secs
lola: 16 tries, 15296623 fired transitions, 1810 secs || 788493 markings, 116135796 edges, 171 markings/sec, 1810 secs
lola: 16 tries, 15338906 fired transitions, 1815 secs || 789099 markings, 116543049 edges, 121 markings/sec, 1815 secs
lola: 16 tries, 15380898 fired transitions, 1820 secs || 789705 markings, 116945878 edges, 121 markings/sec, 1820 secs
lola: 16 tries, 15422870 fired transitions, 1825 secs || 808193 markings, 117137092 edges, 3698 markings/sec, 1825 secs
lola: 16 tries, 15464811 fired transitions, 1830 secs || 815413 markings, 117466225 edges, 1444 markings/sec, 1830 secs
lola: 16 tries, 15506801 fired transitions, 1835 secs || 816019 markings, 117874928 edges, 121 markings/sec, 1835 secs
lola: 16 tries, 15548832 fired transitions, 1840 secs || 816625 markings, 118284767 edges, 121 markings/sec, 1840 secs
lola: 16 tries, 15591011 fired transitions, 1845 secs || 817231 markings, 118692067 edges, 121 markings/sec, 1845 secs
lola: 16 tries, 15632988 fired transitions, 1850 secs || 817837 markings, 119097206 edges, 121 markings/sec, 1850 secs
lola: 16 tries, 15674934 fired transitions, 1855 secs || 818746 markings, 119496906 edges, 182 markings/sec, 1855 secs
lola: 16 tries, 15716921 fired transitions, 1860 secs || 819352 markings, 119903177 edges, 121 markings/sec, 1860 secs
lola: 16 tries, 15758768 fired transitions, 1865 secs || 819958 markings, 120304375 edges, 121 markings/sec, 1865 secs
lola: 16 tries, 15800719 fired transitions, 1870 secs || 820564 markings, 120708903 edges, 121 markings/sec, 1870 secs
lola: 16 tries, 15842697 fired transitions, 1875 secs || 821170 markings, 121111497 edges, 121 markings/sec, 1875 secs
lola: 16 tries, 15884693 fired transitions, 1880 secs || 821776 markings, 121515256 edges, 121 markings/sec, 1880 secs
lola: 16 tries, 15926676 fired transitions, 1885 secs || 822382 markings, 121918047 edges, 121 markings/sec, 1885 secs
lola: 16 tries, 15968655 fired transitions, 1890 secs || 822988 markings, 122320807 edges, 121 markings/sec, 1890 secs
lola: 17 tries, 16010479 fired transitions, 1895 secs || 823594 markings, 122723479 edges, 121 markings/sec, 1895 secs
lola: 17 tries, 16052575 fired transitions, 1900 secs || 824200 markings, 123124422 edges, 121 markings/sec, 1900 secs
lola: 17 tries, 16094555 fired transitions, 1905 secs || 824806 markings, 123524592 edges, 121 markings/sec, 1905 secs
lola: 17 tries, 16136521 fired transitions, 1910 secs || 825412 markings, 123926171 edges, 121 markings/sec, 1910 secs
lola: 17 tries, 16178491 fired transitions, 1915 secs || 851528 markings, 124025006 edges, 5223 markings/sec, 1915 secs
lola: 17 tries, 16220405 fired transitions, 1920 secs || 852142 markings, 124434227 edges, 123 markings/sec, 1920 secs
lola: 17 tries, 16262378 fired transitions, 1925 secs || 852748 markings, 124841179 edges, 121 markings/sec, 1925 secs
lola: 17 tries, 16304369 fired transitions, 1930 secs || 853354 markings, 125248790 edges, 121 markings/sec, 1930 secs
lola: 17 tries, 16346340 fired transitions, 1935 secs || 853960 markings, 125652823 edges, 121 markings/sec, 1935 secs
lola: 17 tries, 16388298 fired transitions, 1940 secs || 854566 markings, 126057359 edges, 121 markings/sec, 1940 secs
lola: 17 tries, 16430241 fired transitions, 1945 secs || 855172 markings, 126463155 edges, 121 markings/sec, 1945 secs
lola: 17 tries, 16472211 fired transitions, 1950 secs || 855778 markings, 126866255 edges, 121 markings/sec, 1950 secs
lola: 17 tries, 16514166 fired transitions, 1955 secs || 856384 markings, 127268735 edges, 121 markings/sec, 1955 secs
lola: 17 tries, 16556134 fired transitions, 1960 secs || 856990 markings, 127671867 edges, 121 markings/sec, 1960 secs
lola: 17 tries, 16598100 fired transitions, 1965 secs || 857596 markings, 128076770 edges, 121 markings/sec, 1965 secs
lola: 17 tries, 16640041 fired transitions, 1970 secs || 858202 markings, 128479938 edges, 121 markings/sec, 1970 secs
lola: 17 tries, 16682041 fired transitions, 1975 secs || 858808 markings, 128879789 edges, 121 markings/sec, 1975 secs
lola: 17 tries, 16724033 fired transitions, 1980 secs || 859600 markings, 129279646 edges, 158 markings/sec, 1980 secs
lola: 17 tries, 16766022 fired transitions, 1985 secs || 860323 markings, 129680556 edges, 145 markings/sec, 1985 secs
lola: 17 tries, 16808003 fired transitions, 1990 secs || 860929 markings, 130082510 edges, 121 markings/sec, 1990 secs
lola: 17 tries, 16849997 fired transitions, 1995 secs || 861535 markings, 130483057 edges, 121 markings/sec, 1995 secs
lola: 17 tries, 16891984 fired transitions, 2000 secs || 862141 markings, 130885009 edges, 121 markings/sec, 2000 secs
lola: 17 tries, 16933967 fired transitions, 2005 secs || 881153 markings, 131070310 edges, 3802 markings/sec, 2005 secs
lola: 17 tries, 16975954 fired transitions, 2010 secs || 889287 markings, 131389594 edges, 1627 markings/sec, 2010 secs
lola: 18 tries, 17017876 fired transitions, 2015 secs || 889893 markings, 131796744 edges, 121 markings/sec, 2015 secs
lola: 18 tries, 17060418 fired transitions, 2020 secs || 890499 markings, 132203719 edges, 121 markings/sec, 2020 secs
lola: 18 tries, 17102368 fired transitions, 2025 secs || 891105 markings, 132608038 edges, 121 markings/sec, 2025 secs
lola: 18 tries, 17144344 fired transitions, 2030 secs || 891711 markings, 133013172 edges, 121 markings/sec, 2030 secs
lola: 18 tries, 17186467 fired transitions, 2035 secs || 892317 markings, 133421909 edges, 121 markings/sec, 2035 secs
lola: 18 tries, 17228475 fired transitions, 2040 secs || 893226 markings, 133823215 edges, 182 markings/sec, 2040 secs
lola: 18 tries, 17270400 fired transitions, 2045 secs || 893832 markings, 134224216 edges, 121 markings/sec, 2045 secs
lola: 18 tries, 17312352 fired transitions, 2050 secs || 894438 markings, 134626615 edges, 121 markings/sec, 2050 secs
lola: 18 tries, 17354313 fired transitions, 2055 secs || 895044 markings, 135028590 edges, 121 markings/sec, 2055 secs
lola: 18 tries, 17396274 fired transitions, 2060 secs || 895650 markings, 135430871 edges, 121 markings/sec, 2060 secs
lola: 18 tries, 17438258 fired transitions, 2065 secs || 896256 markings, 135830871 edges, 121 markings/sec, 2065 secs
lola: 18 tries, 17480221 fired transitions, 2070 secs || 896862 markings, 136231909 edges, 121 markings/sec, 2070 secs
lola: 18 tries, 17522185 fired transitions, 2075 secs || 897468 markings, 136628603 edges, 121 markings/sec, 2075 secs
lola: 18 tries, 17564149 fired transitions, 2080 secs || 898074 markings, 137030577 edges, 121 markings/sec, 2080 secs
lola: 18 tries, 17606118 fired transitions, 2085 secs || 898680 markings, 137430905 edges, 121 markings/sec, 2085 secs
lola: 18 tries, 17648082 fired transitions, 2090 secs || 899286 markings, 137830857 edges, 121 markings/sec, 2090 secs
lola: 18 tries, 17690061 fired transitions, 2095 secs || 899892 markings, 138233156 edges, 121 markings/sec, 2095 secs
lola: 18 tries, 17731994 fired transitions, 2100 secs || 924763 markings, 138342943 edges, 4974 markings/sec, 2100 secs
lola: 18 tries, 17774000 fired transitions, 2105 secs || 927757 markings, 138723517 edges, 599 markings/sec, 2105 secs
lola: 18 tries, 17815951 fired transitions, 2110 secs || 928363 markings, 139124900 edges, 121 markings/sec, 2110 secs
lola: 18 tries, 17857959 fired transitions, 2115 secs || 929272 markings, 139528659 edges, 182 markings/sec, 2115 secs
lola: 18 tries, 17899915 fired transitions, 2120 secs || 929878 markings, 139931821 edges, 121 markings/sec, 2120 secs
lola: 18 tries, 17941906 fired transitions, 2125 secs || 930484 markings, 140335643 edges, 121 markings/sec, 2125 secs
lola: 18 tries, 17983781 fired transitions, 2130 secs || 931090 markings, 140740445 edges, 121 markings/sec, 2130 secs
lola: 19 tries, 18025871 fired transitions, 2135 secs || 931696 markings, 141144580 edges, 121 markings/sec, 2135 secs
lola: 19 tries, 18067840 fired transitions, 2140 secs || 932302 markings, 141546254 edges, 121 markings/sec, 2140 secs
lola: 19 tries, 18109838 fired transitions, 2145 secs || 932908 markings, 141949341 edges, 121 markings/sec, 2145 secs
lola: 19 tries, 18151818 fired transitions, 2150 secs || 933514 markings, 142351431 edges, 121 markings/sec, 2150 secs
lola: 19 tries, 18193818 fired transitions, 2155 secs || 934120 markings, 142755071 edges, 121 markings/sec, 2155 secs
lola: 19 tries, 18235633 fired transitions, 2160 secs || 934726 markings, 143155869 edges, 121 markings/sec, 2160 secs
lola: 19 tries, 18277647 fired transitions, 2165 secs || 935332 markings, 143558235 edges, 121 markings/sec, 2165 secs
lola: 19 tries, 18319719 fired transitions, 2170 secs || 935938 markings, 143959500 edges, 121 markings/sec, 2170 secs
lola: 19 tries, 18361937 fired transitions, 2175 secs || 936544 markings, 144365289 edges, 121 markings/sec, 2175 secs
lola: 19 tries, 18403860 fired transitions, 2180 secs || 937150 markings, 144764849 edges, 121 markings/sec, 2180 secs
lola: 19 tries, 18445965 fired transitions, 2185 secs || 937913 markings, 145164741 edges, 153 markings/sec, 2185 secs
lola: 19 tries, 18488913 fired transitions, 2190 secs || 938665 markings, 145573526 edges, 150 markings/sec, 2190 secs
lola: 19 tries, 18531267 fired transitions, 2195 secs || 956235 markings, 145784359 edges, 3514 markings/sec, 2195 secs
lola: 19 tries, 18573292 fired transitions, 2200 secs || 967249 markings, 146071544 edges, 2203 markings/sec, 2200 secs
lola: 19 tries, 18615327 fired transitions, 2205 secs || 967855 markings, 146480204 edges, 121 markings/sec, 2205 secs
lola: 19 tries, 18657333 fired transitions, 2210 secs || 968461 markings, 146887049 edges, 121 markings/sec, 2210 secs
lola: 19 tries, 18699331 fired transitions, 2215 secs || 969067 markings, 147290678 edges, 121 markings/sec, 2215 secs
lola: 19 tries, 18741335 fired transitions, 2220 secs || 969673 markings, 147694188 edges, 121 markings/sec, 2220 secs
lola: 19 tries, 18783361 fired transitions, 2225 secs || 970279 markings, 148097524 edges, 121 markings/sec, 2225 secs
lola: 19 tries, 18825387 fired transitions, 2230 secs || 970885 markings, 148503735 edges, 121 markings/sec, 2230 secs
lola: 19 tries, 18867417 fired transitions, 2235 secs || 971491 markings, 148905544 edges, 121 markings/sec, 2235 secs
lola: 19 tries, 18909431 fired transitions, 2240 secs || 972097 markings, 149309518 edges, 121 markings/sec, 2240 secs
lola: 19 tries, 18951435 fired transitions, 2245 secs || 973006 markings, 149708447 edges, 182 markings/sec, 2245 secs
lola: 19 tries, 18993448 fired transitions, 2250 secs || 973612 markings, 150109230 edges, 121 markings/sec, 2250 secs
lola: 20 tries, 19035473 fired transitions, 2255 secs || 974218 markings, 150502712 edges, 121 markings/sec, 2255 secs
lola: 20 tries, 19077417 fired transitions, 2260 secs || 974824 markings, 150899100 edges, 121 markings/sec, 2260 secs
lola: 20 tries, 19119387 fired transitions, 2265 secs || 975430 markings, 151300721 edges, 121 markings/sec, 2265 secs
lola: 20 tries, 19161398 fired transitions, 2270 secs || 976036 markings, 151703477 edges, 121 markings/sec, 2270 secs
lola: 20 tries, 19203418 fired transitions, 2275 secs || 976642 markings, 152103758 edges, 121 markings/sec, 2275 secs
lola: 20 tries, 19245414 fired transitions, 2280 secs || 977248 markings, 152501179 edges, 121 markings/sec, 2280 secs
lola: 20 tries, 19287201 fired transitions, 2285 secs || 977854 markings, 152901206 edges, 121 markings/sec, 2285 secs
lola: 20 tries, 19329130 fired transitions, 2290 secs || 978460 markings, 153300331 edges, 121 markings/sec, 2290 secs
lola: 20 tries, 19371071 fired transitions, 2295 secs || 1000664 markings, 153447103 edges, 4441 markings/sec, 2295 secs
lola: 20 tries, 19413073 fired transitions, 2300 secs || 1007763 markings, 153773788 edges, 1420 markings/sec, 2300 secs
lola: 20 tries, 19455011 fired transitions, 2305 secs || 1008369 markings, 154180906 edges, 121 markings/sec, 2305 secs
lola: 20 tries, 19496917 fired transitions, 2310 secs || 1008975 markings, 154587902 edges, 121 markings/sec, 2310 secs
lola: 20 tries, 19538838 fired transitions, 2315 secs || 1009581 markings, 154991323 edges, 121 markings/sec, 2315 secs
lola: 20 tries, 19580806 fired transitions, 2320 secs || 1010187 markings, 155394539 edges, 121 markings/sec, 2320 secs
lola: 20 tries, 19622811 fired transitions, 2325 secs || 1010905 markings, 155798255 edges, 144 markings/sec, 2325 secs
lola: 20 tries, 19664771 fired transitions, 2330 secs || 1011702 markings, 156199548 edges, 159 markings/sec, 2330 secs
lola: 20 tries, 19706784 fired transitions, 2335 secs || 1012308 markings, 156602805 edges, 121 markings/sec, 2335 secs
lola: 20 tries, 19748779 fired transitions, 2340 secs || 1012914 markings, 157006415 edges, 121 markings/sec, 2340 secs
lola: 20 tries, 19790814 fired transitions, 2345 secs || 1013520 markings, 157409664 edges, 121 markings/sec, 2345 secs
lola: 20 tries, 19832836 fired transitions, 2350 secs || 1014126 markings, 157812887 edges, 121 markings/sec, 2350 secs
lola: 20 tries, 19874834 fired transitions, 2355 secs || 1014732 markings, 158213776 edges, 121 markings/sec, 2355 secs
lola: 20 tries, 19916766 fired transitions, 2360 secs || 1015338 markings, 158614667 edges, 121 markings/sec, 2360 secs
lola: 20 tries, 19958274 fired transitions, 2365 secs || 1015944 markings, 159009578 edges, 121 markings/sec, 2365 secs
lola: 21 tries, 20000159 fired transitions, 2370 secs || 1016550 markings, 159406258 edges, 121 markings/sec, 2370 secs
lola: 21 tries, 20042151 fired transitions, 2375 secs || 1017156 markings, 159805664 edges, 121 markings/sec, 2375 secs
lola: 21 tries, 20084117 fired transitions, 2380 secs || 1017762 markings, 160204997 edges, 121 markings/sec, 2380 secs
lola: 21 tries, 20126110 fired transitions, 2385 secs || 1018368 markings, 160604940 edges, 121 markings/sec, 2385 secs
lola: 21 tries, 20168100 fired transitions, 2390 secs || 1018974 markings, 161004500 edges, 121 markings/sec, 2390 secs
lola: 21 tries, 20210050 fired transitions, 2395 secs || 1030846 markings, 161273924 edges, 2374 markings/sec, 2395 secs
lola: 21 tries, 20251995 fired transitions, 2400 secs || 1048996 markings, 161469136 edges, 3630 markings/sec, 2400 secs
lola: 21 tries, 20293966 fired transitions, 2405 secs || 1049602 markings, 161874713 edges, 121 markings/sec, 2405 secs
lola: 21 tries, 20335979 fired transitions, 2410 secs || 1050208 markings, 162278964 edges, 121 markings/sec, 2410 secs
lola: 21 tries, 20377978 fired transitions, 2415 secs || 1051103 markings, 162678624 edges, 179 markings/sec, 2415 secs
lola: 21 tries, 20419974 fired transitions, 2420 secs || 1051723 markings, 163080827 edges, 124 markings/sec, 2420 secs
lola: 21 tries, 20461869 fired transitions, 2425 secs || 1052329 markings, 163482804 edges, 121 markings/sec, 2425 secs
lola: 21 tries, 20503864 fired transitions, 2430 secs || 1052935 markings, 163887564 edges, 121 markings/sec, 2430 secs
lola: 21 tries, 20545772 fired transitions, 2435 secs || 1053541 markings, 164289167 edges, 121 markings/sec, 2435 secs
lola: 21 tries, 20587651 fired transitions, 2440 secs || 1054147 markings, 164690179 edges, 121 markings/sec, 2440 secs
lola: 21 tries, 20629510 fired transitions, 2445 secs || 1054753 markings, 165091033 edges, 121 markings/sec, 2445 secs
lola: 21 tries, 20671414 fired transitions, 2450 secs || 1055359 markings, 165492220 edges, 121 markings/sec, 2450 secs
lola: 21 tries, 20713426 fired transitions, 2455 secs || 1055965 markings, 165893223 edges, 121 markings/sec, 2455 secs
lola: 21 tries, 20755387 fired transitions, 2460 secs || 1056571 markings, 166292648 edges, 121 markings/sec, 2460 secs
lola: 21 tries, 20797299 fired transitions, 2465 secs || 1057177 markings, 166692513 edges, 121 markings/sec, 2465 secs
lola: 21 tries, 20839243 fired transitions, 2470 secs || 1057783 markings, 167093647 edges, 121 markings/sec, 2470 secs
lola: 21 tries, 20881128 fired transitions, 2475 secs || 1058389 markings, 167492704 edges, 121 markings/sec, 2475 secs
lola: 21 tries, 20923093 fired transitions, 2480 secs || 1058995 markings, 167893061 edges, 121 markings/sec, 2480 secs
lola: 21 tries, 20965021 fired transitions, 2485 secs || 1059601 markings, 168293214 edges, 121 markings/sec, 2485 secs
lola: 22 tries, 21007020 fired transitions, 2490 secs || 1060207 markings, 168691727 edges, 121 markings/sec, 2490 secs
lola: 22 tries, 21049144 fired transitions, 2495 secs || 1060813 markings, 169094248 edges, 121 markings/sec, 2495 secs
lola: 22 tries, 21091138 fired transitions, 2500 secs || 1076096 markings, 169326359 edges, 3057 markings/sec, 2500 secs
lola: 22 tries, 21133068 fired transitions, 2505 secs || 1091797 markings, 169555157 edges, 3140 markings/sec, 2505 secs
lola: 22 tries, 21175086 fired transitions, 2510 secs || 1092463 markings, 169965707 edges, 133 markings/sec, 2510 secs
lola: 22 tries, 21216994 fired transitions, 2515 secs || 1093069 markings, 170375003 edges, 121 markings/sec, 2515 secs
lola: 22 tries, 21259008 fired transitions, 2520 secs || 1093675 markings, 170782369 edges, 121 markings/sec, 2520 secs
lola: 22 tries, 21301033 fired transitions, 2525 secs || 1094281 markings, 171190634 edges, 121 markings/sec, 2525 secs
lola: 22 tries, 21342957 fired transitions, 2530 secs || 1094887 markings, 171594046 edges, 121 markings/sec, 2530 secs
lola: 22 tries, 21384802 fired transitions, 2535 secs || 1095493 markings, 172001066 edges, 121 markings/sec, 2535 secs
lola: 22 tries, 21426800 fired transitions, 2540 secs || 1096099 markings, 172404910 edges, 121 markings/sec, 2540 secs
lola: 22 tries, 21468691 fired transitions, 2545 secs || 1096705 markings, 172808614 edges, 121 markings/sec, 2545 secs
lola: 22 tries, 21509621 fired transitions, 2550 secs || 1097311 markings, 173202542 edges, 121 markings/sec, 2550 secs
lola: 22 tries, 21550661 fired transitions, 2555 secs || 1097917 markings, 173595367 edges, 121 markings/sec, 2555 secs
lola: 22 tries, 21592482 fired transitions, 2560 secs || 1098523 markings, 173987470 edges, 121 markings/sec, 2560 secs
lola: 22 tries, 21634345 fired transitions, 2565 secs || 1099129 markings, 174376679 edges, 121 markings/sec, 2565 secs
lola: 22 tries, 21676809 fired transitions, 2570 secs || 1099735 markings, 174766400 edges, 121 markings/sec, 2570 secs
lola: 22 tries, 21718668 fired transitions, 2575 secs || 1100341 markings, 175159181 edges, 121 markings/sec, 2575 secs
lola: 22 tries, 21760615 fired transitions, 2580 secs || 1100947 markings, 175549793 edges, 121 markings/sec, 2580 secs
lola: 22 tries, 21802466 fired transitions, 2585 secs || 1101553 markings, 175940809 edges, 121 markings/sec, 2585 secs
lola: 22 tries, 21844287 fired transitions, 2590 secs || 1102159 markings, 176331320 edges, 121 markings/sec, 2590 secs
lola: 22 tries, 21886088 fired transitions, 2595 secs || 1102765 markings, 176723668 edges, 121 markings/sec, 2595 secs
lola: 22 tries, 21927930 fired transitions, 2600 secs || 1103371 markings, 177116182 edges, 121 markings/sec, 2600 secs
lola: 22 tries, 21969765 fired transitions, 2605 secs || 1103977 markings, 177516963 edges, 121 markings/sec, 2605 secs
lola: 23 tries, 22011546 fired transitions, 2610 secs || 1129269 markings, 177589349 edges, 5058 markings/sec, 2610 secs
lola: 23 tries, 22053777 fired transitions, 2615 secs || 1135437 markings, 177916163 edges, 1234 markings/sec, 2615 secs
lola: 23 tries, 22095976 fired transitions, 2620 secs || 1136043 markings, 178313865 edges, 121 markings/sec, 2620 secs
lola: 23 tries, 22138069 fired transitions, 2625 secs || 1136649 markings, 178712240 edges, 121 markings/sec, 2625 secs
lola: 23 tries, 22180186 fired transitions, 2630 secs || 1137255 markings, 179105249 edges, 121 markings/sec, 2630 secs
lola: 23 tries, 22222394 fired transitions, 2635 secs || 1137861 markings, 179497796 edges, 121 markings/sec, 2635 secs
lola: 23 tries, 22264665 fired transitions, 2640 secs || 1138467 markings, 179891229 edges, 121 markings/sec, 2640 secs
lola: 23 tries, 22306872 fired transitions, 2645 secs || 1139073 markings, 180284974 edges, 121 markings/sec, 2645 secs
lola: 23 tries, 22349077 fired transitions, 2650 secs || 1139679 markings, 180675843 edges, 121 markings/sec, 2650 secs
lola: 23 tries, 22391332 fired transitions, 2655 secs || 1140285 markings, 181073872 edges, 121 markings/sec, 2655 secs
lola: 23 tries, 22433655 fired transitions, 2660 secs || 1140891 markings, 181475378 edges, 121 markings/sec, 2660 secs
lola: 23 tries, 22475859 fired transitions, 2665 secs || 1141497 markings, 181875952 edges, 121 markings/sec, 2665 secs
lola: 23 tries, 22518060 fired transitions, 2670 secs || 1142103 markings, 182273918 edges, 121 markings/sec, 2670 secs
lola: 23 tries, 22560477 fired transitions, 2675 secs || 1143008 markings, 182669269 edges, 181 markings/sec, 2675 secs
lola: 23 tries, 22604834 fired transitions, 2680 secs || 1143618 markings, 183069400 edges, 122 markings/sec, 2680 secs
lola: 23 tries, 22650086 fired transitions, 2685 secs || 1144224 markings, 183472619 edges, 121 markings/sec, 2685 secs
lola: 23 tries, 22695252 fired transitions, 2690 secs || 1144830 markings, 183871117 edges, 121 markings/sec, 2690 secs
lola: 23 tries, 22740340 fired transitions, 2695 secs || 1145436 markings, 184270329 edges, 121 markings/sec, 2695 secs
lola: 23 tries, 22785600 fired transitions, 2700 secs || 1146042 markings, 184670064 edges, 121 markings/sec, 2700 secs
lola: 23 tries, 22830698 fired transitions, 2705 secs || 1146648 markings, 185063069 edges, 121 markings/sec, 2705 secs
lola: 23 tries, 22875766 fired transitions, 2710 secs || 1147254 markings, 185463193 edges, 121 markings/sec, 2710 secs
lola: 23 tries, 22920845 fired transitions, 2715 secs || 1147860 markings, 185865425 edges, 121 markings/sec, 2715 secs
lola: 23 tries, 22965815 fired transitions, 2720 secs || 1169193 markings, 186018781 edges, 4267 markings/sec, 2720 secs
lola: 24 tries, 23010063 fired transitions, 2725 secs || 1180039 markings, 186302447 edges, 2169 markings/sec, 2725 secs
lola: 24 tries, 23052094 fired transitions, 2730 secs || 1180645 markings, 186708769 edges, 121 markings/sec, 2730 secs
lola: 24 tries, 23093927 fired transitions, 2735 secs || 1181251 markings, 187113580 edges, 121 markings/sec, 2735 secs
lola: 24 tries, 23135728 fired transitions, 2740 secs || 1181857 markings, 187517139 edges, 121 markings/sec, 2740 secs
lola: 24 tries, 23177543 fired transitions, 2745 secs || 1182463 markings, 187920239 edges, 121 markings/sec, 2745 secs
lola: 24 tries, 23219357 fired transitions, 2750 secs || 1183069 markings, 188324359 edges, 121 markings/sec, 2750 secs
lola: 24 tries, 23261201 fired transitions, 2755 secs || 1183675 markings, 188728375 edges, 121 markings/sec, 2755 secs
lola: 24 tries, 23303007 fired transitions, 2760 secs || 1184281 markings, 189127873 edges, 121 markings/sec, 2760 secs
lola: 24 tries, 23344822 fired transitions, 2765 secs || 1184887 markings, 189529845 edges, 121 markings/sec, 2765 secs
lola: 24 tries, 23386938 fired transitions, 2770 secs || 1185493 markings, 189931001 edges, 121 markings/sec, 2770 secs
lola: 24 tries, 23429415 fired transitions, 2775 secs || 1186145 markings, 190324759 edges, 130 markings/sec, 2775 secs
lola: 24 tries, 23471927 fired transitions, 2780 secs || 1186912 markings, 190715519 edges, 153 markings/sec, 2780 secs
lola: 24 tries, 23514439 fired transitions, 2785 secs || 1187594 markings, 191106918 edges, 136 markings/sec, 2785 secs
lola: 24 tries, 23556829 fired transitions, 2790 secs || 1188194 markings, 191495974 edges, 120 markings/sec, 2790 secs
lola: 24 tries, 23599153 fired transitions, 2795 secs || 1188826 markings, 191894231 edges, 126 markings/sec, 2795 secs
lola: 24 tries, 23641564 fired transitions, 2800 secs || 1189432 markings, 192293287 edges, 121 markings/sec, 2800 secs
lola: 24 tries, 23684095 fired transitions, 2805 secs || 1190038 markings, 192692311 edges, 121 markings/sec, 2805 secs
lola: 24 tries, 23726610 fired transitions, 2810 secs || 1190644 markings, 193091026 edges, 121 markings/sec, 2810 secs
lola: 24 tries, 23769082 fired transitions, 2815 secs || 1191250 markings, 193488080 edges, 121 markings/sec, 2815 secs
lola: 24 tries, 23811517 fired transitions, 2820 secs || 1191856 markings, 193882529 edges, 121 markings/sec, 2820 secs
lola: 24 tries, 23853968 fired transitions, 2825 secs || 1192462 markings, 194273279 edges, 121 markings/sec, 2825 secs
lola: 24 tries, 23896272 fired transitions, 2830 secs || 1198013 markings, 194619216 edges, 1110 markings/sec, 2830 secs
lola: 24 tries, 23938001 fired transitions, 2835 secs || 1225360 markings, 194710782 edges, 5469 markings/sec, 2835 secs
lola: 24 tries, 23979829 fired transitions, 2840 secs || 1225966 markings, 195120525 edges, 121 markings/sec, 2840 secs
lola: 25 tries, 24021775 fired transitions, 2845 secs || 1226572 markings, 195527585 edges, 121 markings/sec, 2845 secs
lola: 25 tries, 24063899 fired transitions, 2850 secs || 1227178 markings, 195934508 edges, 121 markings/sec, 2850 secs
lola: 25 tries, 24106245 fired transitions, 2855 secs || 1227784 markings, 196338259 edges, 121 markings/sec, 2855 secs
lola: 25 tries, 24148783 fired transitions, 2860 secs || 1228390 markings, 196739820 edges, 121 markings/sec, 2860 secs
lola: 25 tries, 24191359 fired transitions, 2865 secs || 1228996 markings, 197142546 edges, 121 markings/sec, 2865 secs
lola: 25 tries, 24233980 fired transitions, 2870 secs || 1229602 markings, 197541266 edges, 121 markings/sec, 2870 secs
lola: 25 tries, 24276561 fired transitions, 2875 secs || 1230208 markings, 197934175 edges, 121 markings/sec, 2875 secs
lola: 25 tries, 24319068 fired transitions, 2880 secs || 1230814 markings, 198332141 edges, 121 markings/sec, 2880 secs
lola: 25 tries, 24361561 fired transitions, 2885 secs || 1231420 markings, 198730339 edges, 121 markings/sec, 2885 secs
lola: 25 tries, 24404118 fired transitions, 2890 secs || 1232026 markings, 199128665 edges, 121 markings/sec, 2890 secs
lola: 25 tries, 24446693 fired transitions, 2895 secs || 1232632 markings, 199522097 edges, 121 markings/sec, 2895 secs
lola: 25 tries, 24488941 fired transitions, 2900 secs || 1233238 markings, 199915342 edges, 121 markings/sec, 2900 secs
lola: 25 tries, 24531270 fired transitions, 2905 secs || 1233844 markings, 200308951 edges, 121 markings/sec, 2905 secs
lola: 25 tries, 24573636 fired transitions, 2910 secs || 1234450 markings, 200702129 edges, 121 markings/sec, 2910 secs
lola: 25 tries, 24616084 fired transitions, 2915 secs || 1235056 markings, 201092275 edges, 121 markings/sec, 2915 secs
lola: 25 tries, 24658496 fired transitions, 2920 secs || 1235662 markings, 201482497 edges, 121 markings/sec, 2920 secs
lola: 25 tries, 24701206 fired transitions, 2925 secs || 1236268 markings, 201872823 edges, 121 markings/sec, 2925 secs
lola: 25 tries, 24743790 fired transitions, 2930 secs || 1236874 markings, 202261737 edges, 121 markings/sec, 2930 secs
lola: 25 tries, 24786023 fired transitions, 2935 secs || 1237480 markings, 202654061 edges, 121 markings/sec, 2935 secs
lola: 25 tries, 24827989 fired transitions, 2940 secs || 1238086 markings, 203046555 edges, 121 markings/sec, 2940 secs
lola: 25 tries, 24869288 fired transitions, 2945 secs || 1238885 markings, 203438889 edges, 160 markings/sec, 2945 secs
lola: 25 tries, 24909666 fired transitions, 2950 secs || 1267348 markings, 203498399 edges, 5693 markings/sec, 2950 secs
lola: 25 tries, 24951374 fired transitions, 2955 secs || 1272309 markings, 203836323 edges, 992 markings/sec, 2955 secs
lola: 25 tries, 24993177 fired transitions, 2960 secs || 1272915 markings, 204227752 edges, 121 markings/sec, 2960 secs
lola: 26 tries, 25035168 fired transitions, 2965 secs || 1273521 markings, 204628454 edges, 121 markings/sec, 2965 secs
lola: 26 tries, 25076946 fired transitions, 2970 secs || 1274127 markings, 205027513 edges, 121 markings/sec, 2970 secs
lola: 26 tries, 25118360 fired transitions, 2975 secs || 1274733 markings, 205426013 edges, 121 markings/sec, 2975 secs
lola: 26 tries, 25160030 fired transitions, 2980 secs || 1275339 markings, 205816088 edges, 121 markings/sec, 2980 secs
lola: 26 tries, 25202021 fired transitions, 2985 secs || 1275945 markings, 206207310 edges, 121 markings/sec, 2985 secs
lola: 26 tries, 25244588 fired transitions, 2990 secs || 1276551 markings, 206587550 edges, 121 markings/sec, 2990 secs
lola: 26 tries, 25286947 fired transitions, 2995 secs || 1277157 markings, 206975558 edges, 121 markings/sec, 2995 secs
lola: 26 tries, 25328874 fired transitions, 3000 secs || 1277763 markings, 207368034 edges, 121 markings/sec, 3000 secs
lola: 26 tries, 25369174 fired transitions, 3005 secs || 1278369 markings, 207762113 edges, 121 markings/sec, 3005 secs
lola: 26 tries, 25410773 fired transitions, 3010 secs || 1278975 markings, 208145821 edges, 121 markings/sec, 3010 secs
lola: 26 tries, 25452197 fired transitions, 3015 secs || 1279581 markings, 208532587 edges, 121 markings/sec, 3015 secs
lola: 26 tries, 25493474 fired transitions, 3020 secs || 1280187 markings, 208928919 edges, 121 markings/sec, 3020 secs
lola: 26 tries, 25534603 fired transitions, 3025 secs || 1280793 markings, 209328841 edges, 121 markings/sec, 3025 secs
lola: 26 tries, 25575694 fired transitions, 3030 secs || 1281399 markings, 209723256 edges, 121 markings/sec, 3030 secs
lola: 26 tries, 25616993 fired transitions, 3035 secs || 1282005 markings, 210115259 edges, 121 markings/sec, 3035 secs
lola: 26 tries, 25657682 fired transitions, 3040 secs || 1282611 markings, 210504622 edges, 121 markings/sec, 3040 secs
lola: 26 tries, 25698554 fired transitions, 3045 secs || 1283217 markings, 210905761 edges, 121 markings/sec, 3045 secs
lola: 26 tries, 25739776 fired transitions, 3050 secs || 1283956 markings, 211297507 edges, 148 markings/sec, 3050 secs
lola: 26 tries, 25781376 fired transitions, 3055 secs || 1284732 markings, 211693456 edges, 155 markings/sec, 3055 secs
lola: 26 tries, 25822066 fired transitions, 3060 secs || 1285338 markings, 212098286 edges, 121 markings/sec, 3060 secs
lola: 26 tries, 25863801 fired transitions, 3065 secs || 1289208 markings, 212472551 edges, 774 markings/sec, 3065 secs
lola: 26 tries, 25905774 fired transitions, 3070 secs || 1319633 markings, 212538162 edges, 6085 markings/sec, 3070 secs
lola: 26 tries, 25947354 fired transitions, 3075 secs || 1320280 markings, 212945930 edges, 129 markings/sec, 3075 secs
lola: 26 tries, 25988666 fired transitions, 3080 secs || 1320886 markings, 213349395 edges, 121 markings/sec, 3080 secs
lola: 27 tries, 26030489 fired transitions, 3085 secs || 1321492 markings, 213746726 edges, 121 markings/sec, 3085 secs
lola: 27 tries, 26071326 fired transitions, 3090 secs || 1322098 markings, 214146827 edges, 121 markings/sec, 3090 secs
lola: 27 tries, 26112695 fired transitions, 3095 secs || 1322704 markings, 214539936 edges, 121 markings/sec, 3095 secs
lola: 27 tries, 26153738 fired transitions, 3100 secs || 1323310 markings, 214929664 edges, 121 markings/sec, 3100 secs
lola: 27 tries, 26194740 fired transitions, 3105 secs || 1323916 markings, 215319408 edges, 121 markings/sec, 3105 secs
lola: 27 tries, 26235609 fired transitions, 3110 secs || 1324522 markings, 215712564 edges, 121 markings/sec, 3110 secs
lola: 27 tries, 26276216 fired transitions, 3115 secs || 1325128 markings, 216114525 edges, 121 markings/sec, 3115 secs
lola: 27 tries, 26317524 fired transitions, 3120 secs || 1325734 markings, 216507097 edges, 121 markings/sec, 3120 secs
lola: 27 tries, 26358372 fired transitions, 3125 secs || 1326340 markings, 216902723 edges, 121 markings/sec, 3125 secs
lola: 27 tries, 26399434 fired transitions, 3130 secs || 1326946 markings, 217288620 edges, 121 markings/sec, 3130 secs
lola: 27 tries, 26440311 fired transitions, 3135 secs || 1327552 markings, 217682943 edges, 121 markings/sec, 3135 secs
lola: 27 tries, 26481167 fired transitions, 3140 secs || 1328158 markings, 218080476 edges, 121 markings/sec, 3140 secs
lola: 27 tries, 26522520 fired transitions, 3145 secs || 1328764 markings, 218478753 edges, 121 markings/sec, 3145 secs
lola: 27 tries, 26563617 fired transitions, 3150 secs || 1329370 markings, 218874514 edges, 121 markings/sec, 3150 secs
lola: 27 tries, 26604858 fired transitions, 3155 secs || 1329976 markings, 219270080 edges, 121 markings/sec, 3155 secs
lola: 27 tries, 26646023 fired transitions, 3160 secs || 1330582 markings, 219671982 edges, 121 markings/sec, 3160 secs
lola: 27 tries, 26687020 fired transitions, 3165 secs || 1331188 markings, 220070869 edges, 121 markings/sec, 3165 secs
lola: 27 tries, 26728906 fired transitions, 3170 secs || 1331794 markings, 220465071 edges, 121 markings/sec, 3170 secs
lola: 27 tries, 26770779 fired transitions, 3175 secs || 1332400 markings, 220860387 edges, 121 markings/sec, 3175 secs
lola: 27 tries, 26810494 fired transitions, 3180 secs || 1333006 markings, 221261391 edges, 121 markings/sec, 3180 secs
lola: 27 tries, 26851603 fired transitions, 3185 secs || 1333612 markings, 221666471 edges, 121 markings/sec, 3185 secs
lola: 27 tries, 26893008 fired transitions, 3190 secs || 1361667 markings, 221746251 edges, 5611 markings/sec, 3190 secs
lola: 27 tries, 26934861 fired transitions, 3195 secs || 1368667 markings, 222074642 edges, 1400 markings/sec, 3195 secs
lola: 27 tries, 26976733 fired transitions, 3200 secs || 1369273 markings, 222475890 edges, 121 markings/sec, 3200 secs
lola: 28 tries, 27018647 fired transitions, 3205 secs || 1369879 markings, 222877667 edges, 121 markings/sec, 3205 secs
lola: 28 tries, 27060631 fired transitions, 3210 secs || 1370485 markings, 223276539 edges, 121 markings/sec, 3210 secs
lola: 28 tries, 27102094 fired transitions, 3215 secs || 1371091 markings, 223671614 edges, 121 markings/sec, 3215 secs
lola: 28 tries, 27143416 fired transitions, 3220 secs || 1371697 markings, 224071532 edges, 121 markings/sec, 3220 secs
lola: 28 tries, 27185282 fired transitions, 3225 secs || 1372303 markings, 224478161 edges, 121 markings/sec, 3225 secs
lola: 28 tries, 27227144 fired transitions, 3230 secs || 1373061 markings, 224876418 edges, 152 markings/sec, 3230 secs
lola: 28 tries, 27269026 fired transitions, 3235 secs || 1373818 markings, 225277887 edges, 151 markings/sec, 3235 secs
lola: 28 tries, 27310870 fired transitions, 3240 secs || 1374424 markings, 225679203 edges, 121 markings/sec, 3240 secs
lola: 28 tries, 27352733 fired transitions, 3245 secs || 1375030 markings, 226082589 edges, 121 markings/sec, 3245 secs
lola: 28 tries, 27394593 fired transitions, 3250 secs || 1375636 markings, 226485535 edges, 121 markings/sec, 3250 secs
lola: 28 tries, 27436476 fired transitions, 3255 secs || 1376242 markings, 226888874 edges, 121 markings/sec, 3255 secs
lola: 28 tries, 27478364 fired transitions, 3260 secs || 1376848 markings, 227291049 edges, 121 markings/sec, 3260 secs
lola: 28 tries, 27520241 fired transitions, 3265 secs || 1377454 markings, 227693775 edges, 121 markings/sec, 3265 secs
lola: 28 tries, 27562118 fired transitions, 3270 secs || 1378060 markings, 228093728 edges, 121 markings/sec, 3270 secs
lola: 28 tries, 27604008 fired transitions, 3275 secs || 1378666 markings, 228492414 edges, 121 markings/sec, 3275 secs
lola: 28 tries, 27645884 fired transitions, 3280 secs || 1379272 markings, 228893984 edges, 121 markings/sec, 3280 secs
lola: 28 tries, 27687777 fired transitions, 3285 secs || 1379878 markings, 229294392 edges, 121 markings/sec, 3285 secs
lola: 28 tries, 27729670 fired transitions, 3290 secs || 1380484 markings, 229697051 edges, 121 markings/sec, 3290 secs
lola: 28 tries, 27771571 fired transitions, 3295 secs || 1381090 markings, 230102018 edges, 121 markings/sec, 3295 secs
lola: 28 tries, 27813469 fired transitions, 3300 secs || 1381696 markings, 230505260 edges, 121 markings/sec, 3300 secs
lola: 28 tries, 27855375 fired transitions, 3305 secs || 1382302 markings, 230911109 edges, 121 markings/sec, 3305 secs
lola: 28 tries, 27897482 fired transitions, 3310 secs || 1398507 markings, 231139708 edges, 3241 markings/sec, 3310 secs
lola: 28 tries, 27939349 fired transitions, 3315 secs || 1418076 markings, 231326437 edges, 3914 markings/sec, 3315 secs
lola: 28 tries, 27981254 fired transitions, 3320 secs || 1418682 markings, 231734502 edges, 121 markings/sec, 3320 secs
lola: 29 tries, 28023496 fired transitions, 3325 secs || 1419288 markings, 232142971 edges, 121 markings/sec, 3325 secs
lola: 29 tries, 28065424 fired transitions, 3330 secs || 1420146 markings, 232545575 edges, 172 markings/sec, 3330 secs
lola: 29 tries, 28107321 fired transitions, 3335 secs || 1420803 markings, 232949609 edges, 131 markings/sec, 3335 secs
lola: 29 tries, 28149144 fired transitions, 3340 secs || 1421409 markings, 233352457 edges, 121 markings/sec, 3340 secs
lola: 29 tries, 28191013 fired transitions, 3345 secs || 1422015 markings, 233757212 edges, 121 markings/sec, 3345 secs
lola: 29 tries, 28232919 fired transitions, 3350 secs || 1422621 markings, 234161182 edges, 121 markings/sec, 3350 secs
lola: 29 tries, 28274822 fired transitions, 3355 secs || 1423227 markings, 234562238 edges, 121 markings/sec, 3355 secs
lola: 29 tries, 28316702 fired transitions, 3360 secs || 1423833 markings, 234964339 edges, 121 markings/sec, 3360 secs
lola: 29 tries, 28358526 fired transitions, 3365 secs || 1424439 markings, 235365328 edges, 121 markings/sec, 3365 secs
lola: 29 tries, 28400438 fired transitions, 3370 secs || 1425045 markings, 235768262 edges, 121 markings/sec, 3370 secs
lola: 29 tries, 28442350 fired transitions, 3375 secs || 1425651 markings, 236169694 edges, 121 markings/sec, 3375 secs
lola: 29 tries, 28484247 fired transitions, 3380 secs || 1426257 markings, 236570251 edges, 121 markings/sec, 3380 secs
lola: 29 tries, 28526129 fired transitions, 3385 secs || 1426863 markings, 236971488 edges, 121 markings/sec, 3385 secs
lola: 29 tries, 28568015 fired transitions, 3390 secs || 1427469 markings, 237371519 edges, 121 markings/sec, 3390 secs
lola: 29 tries, 28609192 fired transitions, 3395 secs || 1428075 markings, 237762535 edges, 121 markings/sec, 3395 secs
lola: 29 tries, 28650304 fired transitions, 3400 secs || 1428681 markings, 238155798 edges, 121 markings/sec, 3400 secs
lola: 29 tries, 28691633 fired transitions, 3405 secs || 1429287 markings, 238548831 edges, 121 markings/sec, 3405 secs
lola: 29 tries, 28733508 fired transitions, 3410 secs || 1429893 markings, 238950249 edges, 121 markings/sec, 3410 secs
lola: 29 tries, 28774824 fired transitions, 3415 secs || 1430499 markings, 239345349 edges, 121 markings/sec, 3415 secs
lola: 29 tries, 28816000 fired transitions, 3420 secs || 1431105 markings, 239741328 edges, 121 markings/sec, 3420 secs
lola: 29 tries, 28857869 fired transitions, 3425 secs || 1431991 markings, 240140972 edges, 177 markings/sec, 3425 secs
lola: 29 tries, 28899740 fired transitions, 3430 secs || 1432620 markings, 240544528 edges, 126 markings/sec, 3430 secs
lola: 29 tries, 28941595 fired transitions, 3435 secs || 1449930 markings, 240757774 edges, 3462 markings/sec, 3435 secs
lola: 29 tries, 28983353 fired transitions, 3440 secs || 1468810 markings, 240951507 edges, 3776 markings/sec, 3440 secs
lola: 30 tries, 29025895 fired transitions, 3445 secs || 1469416 markings, 241361419 edges, 121 markings/sec, 3445 secs
lola: 30 tries, 29067978 fired transitions, 3450 secs || 1470025 markings, 241770488 edges, 122 markings/sec, 3450 secs
lola: 30 tries, 29109865 fired transitions, 3455 secs || 1470931 markings, 242173092 edges, 181 markings/sec, 3455 secs
lola: 30 tries, 29151770 fired transitions, 3460 secs || 1471537 markings, 242579234 edges, 121 markings/sec, 3460 secs
lola: 30 tries, 29193683 fired transitions, 3465 secs || 1472143 markings, 242984688 edges, 121 markings/sec, 3465 secs
lola: 30 tries, 29235585 fired transitions, 3470 secs || 1472749 markings, 243393250 edges, 121 markings/sec, 3470 secs
lola: 30 tries, 29277476 fired transitions, 3475 secs || 1473355 markings, 243798904 edges, 121 markings/sec, 3475 secs
lola: 30 tries, 29319310 fired transitions, 3480 secs || 1473961 markings, 244202422 edges, 121 markings/sec, 3480 secs
lola: 30 tries, 29361157 fired transitions, 3485 secs || 1474567 markings, 244605776 edges, 121 markings/sec, 3485 secs
lola: 30 tries, 29403040 fired transitions, 3490 secs || 1475173 markings, 245008133 edges, 121 markings/sec, 3490 secs
lola: 30 tries, 29444921 fired transitions, 3495 secs || 1475779 markings, 245413775 edges, 121 markings/sec, 3495 secs
lola: 30 tries, 29486756 fired transitions, 3500 secs || 1476385 markings, 245817557 edges, 121 markings/sec, 3500 secs
lola: 30 tries, 29528649 fired transitions, 3505 secs || 1476991 markings, 246221720 edges, 121 markings/sec, 3505 secs
lola: 30 tries, 29570451 fired transitions, 3510 secs || 1477597 markings, 246625696 edges, 121 markings/sec, 3510 secs
lola: 30 tries, 29612343 fired transitions, 3515 secs || 1478203 markings, 247027260 edges, 121 markings/sec, 3515 secs
lola: 30 tries, 29654228 fired transitions, 3520 secs || 1479111 markings, 247423973 edges, 182 markings/sec, 3520 secs
lola: 30 tries, 29696117 fired transitions, 3525 secs || 1479718 markings, 247826049 edges, 121 markings/sec, 3525 secs
lola: 30 tries, 29738028 fired transitions, 3530 secs || 1480324 markings, 248229338 edges, 121 markings/sec, 3530 secs
lola: 30 tries, 29779945 fired transitions, 3535 secs || 1480930 markings, 248633095 edges, 121 markings/sec, 3535 secs
lola: 30 tries, 29821831 fired transitions, 3540 secs || 1481536 markings, 249036454 edges, 121 markings/sec, 3540 secs
lola: 30 tries, 29863688 fired transitions, 3545 secs || 1482142 markings, 249429474 edges, 121 markings/sec, 3545 secs
lola: 30 tries, 29905547 fired transitions, 3550 secs || 1482748 markings, 249832024 edges, 121 markings/sec, 3550 secs
lola: 30 tries, 29947942 fired transitions, 3555 secs || 1483354 markings, 250237503 edges, 121 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1812796 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 1814564 KB
lola: time consumption: 3572 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552778226887

--------------------
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="NeighborGrid-PT-d5n4m1t35"
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 NeighborGrid-PT-d5n4m1t35, 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 r104-oct2-155272225400111"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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