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

About the Execution of LoLA for Diffusion2D-PT-D10N050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5802.210 3571142.00 7237018.00 822.70 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600084.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D10N050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 Diffusion2D-PT-D10N050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552556423315

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Diffusion2D-PT-D10N050 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ Diffusion2D-PT-D10N050

{
"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": "Thu Mar 14 09:40:23 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5725708,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"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": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2758936 fired transitions, 0 secs || 235695 markings, 1594375 edges, 47139 markings/sec, 0 secs
lola: 6 tries, 5585485 fired transitions, 5 secs || 465530 markings, 3137448 edges, 45967 markings/sec, 5 secs
lola: 9 tries, 8416746 fired transitions, 10 secs || 689265 markings, 4636379 edges, 44747 markings/sec, 10 secs
lola: 12 tries, 11239310 fired transitions, 15 secs || 918485 markings, 6176895 edges, 45844 markings/sec, 15 secs
lola: 14 tries, 13900280 fired transitions, 20 secs || 1140931 markings, 7666452 edges, 44489 markings/sec, 20 secs
lola: 17 tries, 16752425 fired transitions, 25 secs || 1358493 markings, 9127547 edges, 43512 markings/sec, 25 secs
lola: 20 tries, 19492823 fired transitions, 30 secs || 1566385 markings, 10520196 edges, 41578 markings/sec, 30 secs
lola: 23 tries, 22388514 fired transitions, 35 secs || 1784904 markings, 11981618 edges, 43704 markings/sec, 35 secs
lola: 26 tries, 25269907 fired transitions, 40 secs || 2008819 markings, 13488946 edges, 44783 markings/sec, 40 secs
lola: 29 tries, 28133512 fired transitions, 45 secs || 2226898 markings, 14949078 edges, 43616 markings/sec, 45 secs
lola: 31 tries, 30989358 fired transitions, 50 secs || 2446321 markings, 16422321 edges, 43885 markings/sec, 50 secs
lola: 34 tries, 33869314 fired transitions, 55 secs || 2659555 markings, 17850562 edges, 42647 markings/sec, 55 secs
lola: 37 tries, 36759183 fired transitions, 60 secs || 2880204 markings, 19325864 edges, 44130 markings/sec, 60 secs
lola: 40 tries, 39638824 fired transitions, 65 secs || 3103027 markings, 20826185 edges, 44565 markings/sec, 65 secs
lola: 43 tries, 42519678 fired transitions, 70 secs || 3327756 markings, 22335028 edges, 44946 markings/sec, 70 secs
lola: 46 tries, 45350449 fired transitions, 75 secs || 3546807 markings, 23801758 edges, 43810 markings/sec, 75 secs
lola: 49 tries, 48264935 fired transitions, 80 secs || 3768866 markings, 25288126 edges, 44412 markings/sec, 80 secs
lola: 52 tries, 51138175 fired transitions, 85 secs || 3990292 markings, 26769349 edges, 44285 markings/sec, 85 secs
lola: 55 tries, 54013929 fired transitions, 90 secs || 4212092 markings, 28252861 edges, 44360 markings/sec, 90 secs
lola: 57 tries, 56947835 fired transitions, 95 secs || 4431780 markings, 29722957 edges, 43938 markings/sec, 95 secs
lola: 60 tries, 59815325 fired transitions, 100 secs || 4649443 markings, 31181250 edges, 43533 markings/sec, 100 secs
lola: 63 tries, 62676256 fired transitions, 105 secs || 4882941 markings, 32752411 edges, 46700 markings/sec, 105 secs
lola: 66 tries, 65571035 fired transitions, 110 secs || 5110591 markings, 34277207 edges, 45530 markings/sec, 110 secs
lola: 69 tries, 68422812 fired transitions, 115 secs || 5337971 markings, 35804084 edges, 45476 markings/sec, 115 secs
lola: 72 tries, 71305190 fired transitions, 120 secs || 5565494 markings, 37326228 edges, 45505 markings/sec, 120 secs
lola: 75 tries, 74212880 fired transitions, 125 secs || 5789383 markings, 38825999 edges, 44778 markings/sec, 125 secs
lola: 77 tries, 76816299 fired transitions, 130 secs || 5995360 markings, 40213289 edges, 41195 markings/sec, 130 secs
lola: 80 tries, 79709652 fired transitions, 135 secs || 6217679 markings, 41704704 edges, 44464 markings/sec, 135 secs
lola: 83 tries, 82604731 fired transitions, 140 secs || 6437673 markings, 43177546 edges, 43999 markings/sec, 140 secs
lola: 86 tries, 85522830 fired transitions, 145 secs || 6658888 markings, 44656960 edges, 44243 markings/sec, 145 secs
lola: 89 tries, 88428244 fired transitions, 150 secs || 6884395 markings, 46167013 edges, 45101 markings/sec, 150 secs
lola: 92 tries, 91324521 fired transitions, 155 secs || 7107451 markings, 47658771 edges, 44611 markings/sec, 155 secs
lola: 95 tries, 94256833 fired transitions, 160 secs || 7324595 markings, 49111501 edges, 43429 markings/sec, 160 secs
lola: 98 tries, 97172358 fired transitions, 165 secs || 7535133 markings, 50523052 edges, 42108 markings/sec, 165 secs
lola: 101 tries, 100080087 fired transitions, 170 secs || 7754500 markings, 51999943 edges, 43873 markings/sec, 170 secs
lola: 103 tries, 102996397 fired transitions, 175 secs || 7971706 markings, 53461778 edges, 43441 markings/sec, 175 secs
lola: 106 tries, 105868065 fired transitions, 180 secs || 8196202 markings, 54968980 edges, 44899 markings/sec, 180 secs
lola: 109 tries, 108746987 fired transitions, 185 secs || 8419802 markings, 56466386 edges, 44720 markings/sec, 185 secs
lola: 112 tries, 111654959 fired transitions, 190 secs || 8637260 markings, 57921232 edges, 43492 markings/sec, 190 secs
lola: 115 tries, 114561293 fired transitions, 195 secs || 8862307 markings, 59426933 edges, 45009 markings/sec, 195 secs
lola: 118 tries, 117476955 fired transitions, 200 secs || 9086097 markings, 60924996 edges, 44758 markings/sec, 200 secs
lola: 121 tries, 120390299 fired transitions, 205 secs || 9307906 markings, 62408019 edges, 44362 markings/sec, 205 secs
lola: 124 tries, 123307376 fired transitions, 210 secs || 9527893 markings, 63881646 edges, 43997 markings/sec, 210 secs
lola: 127 tries, 126221963 fired transitions, 215 secs || 9750173 markings, 65369213 edges, 44456 markings/sec, 215 secs
lola: 130 tries, 129109934 fired transitions, 220 secs || 9969870 markings, 66838046 edges, 43939 markings/sec, 220 secs
lola: 133 tries, 132013080 fired transitions, 225 secs || 10191842 markings, 68324396 edges, 44394 markings/sec, 225 secs
lola: 135 tries, 134927860 fired transitions, 230 secs || 10413553 markings, 69806825 edges, 44342 markings/sec, 230 secs
lola: 138 tries, 137857609 fired transitions, 235 secs || 10632485 markings, 71273853 edges, 43786 markings/sec, 235 secs
lola: 141 tries, 140775747 fired transitions, 240 secs || 10847634 markings, 72713124 edges, 43030 markings/sec, 240 secs
lola: 144 tries, 143691438 fired transitions, 245 secs || 11064789 markings, 74163792 edges, 43431 markings/sec, 245 secs
lola: 147 tries, 146592121 fired transitions, 250 secs || 11279369 markings, 75598984 edges, 42916 markings/sec, 250 secs
lola: 150 tries, 149504917 fired transitions, 255 secs || 11503647 markings, 77109873 edges, 44856 markings/sec, 255 secs
lola: 153 tries, 152413379 fired transitions, 260 secs || 11732315 markings, 78643333 edges, 45734 markings/sec, 260 secs
lola: 156 tries, 155327679 fired transitions, 265 secs || 11956021 markings, 80145758 edges, 44741 markings/sec, 265 secs
lola: 159 tries, 158256633 fired transitions, 270 secs || 12177870 markings, 81631267 edges, 44370 markings/sec, 270 secs
lola: 162 tries, 161170237 fired transitions, 275 secs || 12396402 markings, 83094773 edges, 43706 markings/sec, 275 secs
lola: 165 tries, 164068751 fired transitions, 280 secs || 12615614 markings, 84563525 edges, 43842 markings/sec, 280 secs
lola: 167 tries, 166986307 fired transitions, 285 secs || 12835544 markings, 86046103 edges, 43986 markings/sec, 285 secs
lola: 170 tries, 169889119 fired transitions, 290 secs || 13060150 markings, 87549453 edges, 44921 markings/sec, 290 secs
lola: 173 tries, 172806538 fired transitions, 295 secs || 13277553 markings, 89004948 edges, 43481 markings/sec, 295 secs
lola: 176 tries, 175640279 fired transitions, 300 secs || 13496773 markings, 90470630 edges, 43844 markings/sec, 300 secs
lola: 179 tries, 178519719 fired transitions, 305 secs || 13717570 markings, 91948033 edges, 44159 markings/sec, 305 secs
lola: 182 tries, 181397875 fired transitions, 310 secs || 13936959 markings, 93417371 edges, 43878 markings/sec, 310 secs
lola: 185 tries, 184309409 fired transitions, 315 secs || 14152839 markings, 94860434 edges, 43176 markings/sec, 315 secs
lola: 188 tries, 187228090 fired transitions, 320 secs || 14368768 markings, 96311257 edges, 43186 markings/sec, 320 secs
lola: 191 tries, 190124946 fired transitions, 325 secs || 14583220 markings, 97755140 edges, 42890 markings/sec, 325 secs
lola: 194 tries, 193051047 fired transitions, 330 secs || 14794166 markings, 99176077 edges, 42189 markings/sec, 330 secs
lola: 196 tries, 195961136 fired transitions, 335 secs || 15013099 markings, 100642060 edges, 43787 markings/sec, 335 secs
lola: 199 tries, 198892233 fired transitions, 340 secs || 15232855 markings, 102113941 edges, 43951 markings/sec, 340 secs
lola: 202 tries, 201800314 fired transitions, 345 secs || 15450840 markings, 103572999 edges, 43597 markings/sec, 345 secs
lola: 205 tries, 204720203 fired transitions, 350 secs || 15662640 markings, 104989242 edges, 42360 markings/sec, 350 secs
lola: 208 tries, 207605128 fired transitions, 355 secs || 15877936 markings, 106430936 edges, 43059 markings/sec, 355 secs
lola: 211 tries, 210526073 fired transitions, 360 secs || 16089019 markings, 107843405 edges, 42217 markings/sec, 360 secs
lola: 214 tries, 213454680 fired transitions, 365 secs || 16303587 markings, 109279230 edges, 42914 markings/sec, 365 secs
lola: 217 tries, 216359669 fired transitions, 370 secs || 16520684 markings, 110731343 edges, 43419 markings/sec, 370 secs
lola: 220 tries, 219241626 fired transitions, 375 secs || 16738407 markings, 112189124 edges, 43545 markings/sec, 375 secs
lola: 223 tries, 222082791 fired transitions, 380 secs || 16955140 markings, 113639317 edges, 43347 markings/sec, 380 secs
lola: 225 tries, 224992777 fired transitions, 385 secs || 17171854 markings, 115089337 edges, 43343 markings/sec, 385 secs
lola: 228 tries, 227928426 fired transitions, 390 secs || 17385385 markings, 116518132 edges, 42706 markings/sec, 390 secs
lola: 231 tries, 230844830 fired transitions, 395 secs || 17591159 markings, 117894656 edges, 41155 markings/sec, 395 secs
lola: 234 tries, 233748723 fired transitions, 400 secs || 17799549 markings, 119288883 edges, 41678 markings/sec, 400 secs
lola: 237 tries, 236680688 fired transitions, 405 secs || 18000661 markings, 120634622 edges, 40222 markings/sec, 405 secs
lola: 240 tries, 239562102 fired transitions, 410 secs || 18205334 markings, 122005889 edges, 40935 markings/sec, 410 secs
lola: 243 tries, 242469783 fired transitions, 415 secs || 18419992 markings, 123451793 edges, 42932 markings/sec, 415 secs
lola: 246 tries, 245367657 fired transitions, 420 secs || 18628310 markings, 124854641 edges, 41664 markings/sec, 420 secs
lola: 249 tries, 248267000 fired transitions, 425 secs || 18839955 markings, 126280069 edges, 42329 markings/sec, 425 secs
lola: 252 tries, 251179540 fired transitions, 430 secs || 19057481 markings, 127744629 edges, 43505 markings/sec, 430 secs
lola: 255 tries, 254091049 fired transitions, 435 secs || 19276936 markings, 129217701 edges, 43891 markings/sec, 435 secs
lola: 257 tries, 256935462 fired transitions, 440 secs || 19495059 markings, 130678755 edges, 43625 markings/sec, 440 secs
lola: 260 tries, 259837243 fired transitions, 445 secs || 19711051 markings, 132123830 edges, 43198 markings/sec, 445 secs
lola: 263 tries, 262749724 fired transitions, 450 secs || 19924845 markings, 133553300 edges, 42759 markings/sec, 450 secs
lola: 266 tries, 265639589 fired transitions, 455 secs || 20135029 markings, 134960370 edges, 42037 markings/sec, 455 secs
lola: 269 tries, 268543083 fired transitions, 460 secs || 20351823 markings, 136410703 edges, 43359 markings/sec, 460 secs
lola: 272 tries, 271432905 fired transitions, 465 secs || 20567359 markings, 137853521 edges, 43107 markings/sec, 465 secs
lola: 275 tries, 274331092 fired transitions, 470 secs || 20789469 markings, 139339566 edges, 44422 markings/sec, 470 secs
lola: 278 tries, 277220284 fired transitions, 475 secs || 21008656 markings, 140806987 edges, 43837 markings/sec, 475 secs
lola: 281 tries, 280134443 fired transitions, 480 secs || 21225216 markings, 142256115 edges, 43312 markings/sec, 480 secs
lola: 284 tries, 283067129 fired transitions, 485 secs || 21442994 markings, 143713349 edges, 43556 markings/sec, 485 secs
lola: 286 tries, 285927680 fired transitions, 490 secs || 21659820 markings, 145164705 edges, 43365 markings/sec, 490 secs
lola: 289 tries, 288800828 fired transitions, 495 secs || 21872576 markings, 146587893 edges, 42551 markings/sec, 495 secs
lola: 292 tries, 291723002 fired transitions, 500 secs || 22086640 markings, 148019789 edges, 42813 markings/sec, 500 secs
lola: 295 tries, 294623624 fired transitions, 505 secs || 22290856 markings, 149385950 edges, 40843 markings/sec, 505 secs
lola: 298 tries, 297515155 fired transitions, 510 secs || 22503721 markings, 150810289 edges, 42573 markings/sec, 510 secs
lola: 301 tries, 300401294 fired transitions, 515 secs || 22722772 markings, 152276185 edges, 43810 markings/sec, 515 secs
lola: 304 tries, 303271530 fired transitions, 520 secs || 22940144 markings, 153730913 edges, 43474 markings/sec, 520 secs
lola: 307 tries, 306127344 fired transitions, 525 secs || 23157596 markings, 155184857 edges, 43490 markings/sec, 525 secs
lola: 310 tries, 309010265 fired transitions, 530 secs || 23370787 markings, 156612116 edges, 42638 markings/sec, 530 secs
lola: 312 tries, 311907058 fired transitions, 535 secs || 23589977 markings, 158078988 edges, 43838 markings/sec, 535 secs
lola: 315 tries, 314761820 fired transitions, 540 secs || 23807928 markings, 159537185 edges, 43590 markings/sec, 540 secs
lola: 318 tries, 317667919 fired transitions, 545 secs || 24025842 markings, 160995334 edges, 43583 markings/sec, 545 secs
lola: 321 tries, 320566403 fired transitions, 550 secs || 24237035 markings, 162407982 edges, 42239 markings/sec, 550 secs
lola: 324 tries, 323451781 fired transitions, 555 secs || 24453424 markings, 163855883 edges, 43278 markings/sec, 555 secs
lola: 327 tries, 326323956 fired transitions, 560 secs || 24664182 markings, 165265447 edges, 42152 markings/sec, 560 secs
lola: 330 tries, 329195938 fired transitions, 565 secs || 24875185 markings, 166678454 edges, 42201 markings/sec, 565 secs
lola: 333 tries, 332105841 fired transitions, 570 secs || 25085302 markings, 168082513 edges, 42023 markings/sec, 570 secs
lola: 335 tries, 334997102 fired transitions, 575 secs || 25298317 markings, 169506589 edges, 42603 markings/sec, 575 secs
lola: 338 tries, 337913432 fired transitions, 580 secs || 25509526 markings, 170922284 edges, 42242 markings/sec, 580 secs
lola: 341 tries, 340774320 fired transitions, 585 secs || 25721346 markings, 172339427 edges, 42364 markings/sec, 585 secs
lola: 344 tries, 343683661 fired transitions, 590 secs || 25933055 markings, 173753334 edges, 42342 markings/sec, 590 secs
lola: 347 tries, 346588463 fired transitions, 595 secs || 26144919 markings, 175171782 edges, 42373 markings/sec, 595 secs
lola: 350 tries, 349475544 fired transitions, 600 secs || 26361101 markings, 176618960 edges, 43236 markings/sec, 600 secs
lola: 353 tries, 352352995 fired transitions, 605 secs || 26592875 markings, 178181810 edges, 46355 markings/sec, 605 secs
lola: 356 tries, 355241665 fired transitions, 610 secs || 26819191 markings, 179697056 edges, 45263 markings/sec, 610 secs
lola: 359 tries, 358103429 fired transitions, 615 secs || 27045083 markings, 181216936 edges, 45178 markings/sec, 615 secs
lola: 361 tries, 360988695 fired transitions, 620 secs || 27264107 markings, 182682065 edges, 43805 markings/sec, 620 secs
lola: 364 tries, 363878392 fired transitions, 625 secs || 27480530 markings, 184130530 edges, 43285 markings/sec, 625 secs
lola: 367 tries, 366786402 fired transitions, 630 secs || 27699192 markings, 185600309 edges, 43732 markings/sec, 630 secs
lola: 370 tries, 369694912 fired transitions, 635 secs || 27924603 markings, 187115714 edges, 45082 markings/sec, 635 secs
lola: 373 tries, 372609197 fired transitions, 640 secs || 28146837 markings, 188602379 edges, 44447 markings/sec, 640 secs
lola: 376 tries, 375472875 fired transitions, 645 secs || 28366315 markings, 190072454 edges, 43896 markings/sec, 645 secs
lola: 379 tries, 378354037 fired transitions, 650 secs || 28589567 markings, 191566185 edges, 44650 markings/sec, 650 secs
lola: 382 tries, 381264633 fired transitions, 655 secs || 28812088 markings, 193053939 edges, 44504 markings/sec, 655 secs
lola: 385 tries, 384172677 fired transitions, 660 secs || 29032036 markings, 194526271 edges, 43990 markings/sec, 660 secs
lola: 388 tries, 387086960 fired transitions, 665 secs || 29250684 markings, 195988316 edges, 43730 markings/sec, 665 secs
lola: 390 tries, 389988214 fired transitions, 670 secs || 29473350 markings, 197489544 edges, 44533 markings/sec, 670 secs
lola: 393 tries, 392869110 fired transitions, 675 secs || 29694845 markings, 198980360 edges, 44299 markings/sec, 675 secs
lola: 396 tries, 395759383 fired transitions, 680 secs || 29916632 markings, 200470136 edges, 44357 markings/sec, 680 secs
lola: 399 tries, 398670732 fired transitions, 685 secs || 30135551 markings, 201935244 edges, 43784 markings/sec, 685 secs
lola: 402 tries, 401538100 fired transitions, 690 secs || 30352242 markings, 203385127 edges, 43338 markings/sec, 690 secs
lola: 405 tries, 404430053 fired transitions, 695 secs || 30571644 markings, 204854447 edges, 43880 markings/sec, 695 secs
lola: 408 tries, 407339331 fired transitions, 700 secs || 30789840 markings, 206314195 edges, 43639 markings/sec, 700 secs
lola: 411 tries, 410250248 fired transitions, 705 secs || 31000092 markings, 207722107 edges, 42050 markings/sec, 705 secs
lola: 414 tries, 413149335 fired transitions, 710 secs || 31212834 markings, 209145037 edges, 42548 markings/sec, 710 secs
lola: 417 tries, 416066426 fired transitions, 715 secs || 31432970 markings, 210618531 edges, 44027 markings/sec, 715 secs
lola: 419 tries, 418954879 fired transitions, 720 secs || 31650037 markings, 212070183 edges, 43413 markings/sec, 720 secs
lola: 422 tries, 421872392 fired transitions, 725 secs || 31867674 markings, 213526092 edges, 43527 markings/sec, 725 secs
lola: 425 tries, 424786946 fired transitions, 730 secs || 32081556 markings, 214958710 edges, 42776 markings/sec, 730 secs
lola: 428 tries, 427693964 fired transitions, 735 secs || 32299708 markings, 216417434 edges, 43630 markings/sec, 735 secs
lola: 431 tries, 430615881 fired transitions, 740 secs || 32513494 markings, 217847977 edges, 42757 markings/sec, 740 secs
lola: 434 tries, 433523858 fired transitions, 745 secs || 32721636 markings, 219241469 edges, 41628 markings/sec, 745 secs
lola: 437 tries, 436420652 fired transitions, 750 secs || 32933189 markings, 220656542 edges, 42311 markings/sec, 750 secs
lola: 440 tries, 439340871 fired transitions, 755 secs || 33146270 markings, 222081718 edges, 42616 markings/sec, 755 secs
lola: 443 tries, 442264398 fired transitions, 760 secs || 33353673 markings, 223479370 edges, 41481 markings/sec, 760 secs
lola: 446 tries, 445176972 fired transitions, 765 secs || 33570598 markings, 224938622 edges, 43385 markings/sec, 765 secs
lola: 449 tries, 448094910 fired transitions, 770 secs || 33787912 markings, 226402941 edges, 43463 markings/sec, 770 secs
lola: 452 tries, 451012633 fired transitions, 775 secs || 34006861 markings, 227877210 edges, 43790 markings/sec, 775 secs
lola: 454 tries, 453940459 fired transitions, 780 secs || 34226652 markings, 229355192 edges, 43958 markings/sec, 780 secs
lola: 457 tries, 456856862 fired transitions, 785 secs || 34444856 markings, 230815169 edges, 43641 markings/sec, 785 secs
lola: 460 tries, 459782873 fired transitions, 790 secs || 34658787 markings, 232245949 edges, 42786 markings/sec, 790 secs
lola: 463 tries, 462633771 fired transitions, 795 secs || 34878189 markings, 233714810 edges, 43880 markings/sec, 795 secs
lola: 466 tries, 465558873 fired transitions, 800 secs || 35098161 markings, 235187289 edges, 43994 markings/sec, 800 secs
lola: 469 tries, 468440001 fired transitions, 805 secs || 35309636 markings, 236603129 edges, 42295 markings/sec, 805 secs
lola: 472 tries, 471356836 fired transitions, 810 secs || 35522158 markings, 238023084 edges, 42504 markings/sec, 810 secs
lola: 475 tries, 474205186 fired transitions, 815 secs || 35739883 markings, 239481507 edges, 43545 markings/sec, 815 secs
lola: 478 tries, 477054294 fired transitions, 820 secs || 35955586 markings, 240925568 edges, 43141 markings/sec, 820 secs
lola: 480 tries, 479994255 fired transitions, 825 secs || 36171888 markings, 242373313 edges, 43260 markings/sec, 825 secs
lola: 483 tries, 482854540 fired transitions, 830 secs || 36388164 markings, 243818302 edges, 43255 markings/sec, 830 secs
lola: 486 tries, 485769123 fired transitions, 835 secs || 36601918 markings, 245249998 edges, 42751 markings/sec, 835 secs
lola: 489 tries, 488680589 fired transitions, 840 secs || 36813226 markings, 246663972 edges, 42262 markings/sec, 840 secs
lola: 492 tries, 491587856 fired transitions, 845 secs || 37025179 markings, 248081996 edges, 42391 markings/sec, 845 secs
lola: 495 tries, 494482645 fired transitions, 850 secs || 37237493 markings, 249501218 edges, 42463 markings/sec, 850 secs
lola: 498 tries, 497377634 fired transitions, 855 secs || 37448773 markings, 250915637 edges, 42256 markings/sec, 855 secs
lola: 501 tries, 500281895 fired transitions, 860 secs || 37675232 markings, 252430312 edges, 45292 markings/sec, 860 secs
lola: 504 tries, 503185486 fired transitions, 865 secs || 37893608 markings, 253892546 edges, 43675 markings/sec, 865 secs
lola: 507 tries, 506097552 fired transitions, 870 secs || 38104007 markings, 255300722 edges, 42080 markings/sec, 870 secs
lola: 510 tries, 509000249 fired transitions, 875 secs || 38316415 markings, 256721471 edges, 42482 markings/sec, 875 secs
lola: 512 tries, 511908920 fired transitions, 880 secs || 38535103 markings, 258185298 edges, 43738 markings/sec, 880 secs
lola: 515 tries, 514819161 fired transitions, 885 secs || 38750439 markings, 259626908 edges, 43067 markings/sec, 885 secs
lola: 518 tries, 517718218 fired transitions, 890 secs || 38966875 markings, 261074319 edges, 43287 markings/sec, 890 secs
lola: 521 tries, 520601326 fired transitions, 895 secs || 39182345 markings, 262514187 edges, 43094 markings/sec, 895 secs
lola: 524 tries, 523492340 fired transitions, 900 secs || 39398851 markings, 263964390 edges, 43301 markings/sec, 900 secs
lola: 527 tries, 526414402 fired transitions, 905 secs || 39615198 markings, 265412150 edges, 43269 markings/sec, 905 secs
lola: 530 tries, 529327035 fired transitions, 910 secs || 39828495 markings, 266838861 edges, 42659 markings/sec, 910 secs
lola: 533 tries, 532248746 fired transitions, 915 secs || 40041830 markings, 268266188 edges, 42667 markings/sec, 915 secs
lola: 536 tries, 535160601 fired transitions, 920 secs || 40253279 markings, 269680823 edges, 42290 markings/sec, 920 secs
lola: 539 tries, 538055351 fired transitions, 925 secs || 40470110 markings, 271131637 edges, 43366 markings/sec, 925 secs
lola: 541 tries, 540922983 fired transitions, 930 secs || 40684754 markings, 272567171 edges, 42929 markings/sec, 930 secs
lola: 544 tries, 543805014 fired transitions, 935 secs || 40895961 markings, 273980435 edges, 42241 markings/sec, 935 secs
lola: 547 tries, 546717000 fired transitions, 940 secs || 41107610 markings, 275395995 edges, 42330 markings/sec, 940 secs
lola: 550 tries, 549598521 fired transitions, 945 secs || 41316714 markings, 276794359 edges, 41821 markings/sec, 945 secs
lola: 553 tries, 552503627 fired transitions, 950 secs || 41539986 markings, 278298188 edges, 44654 markings/sec, 950 secs
lola: 556 tries, 555382772 fired transitions, 955 secs || 41761360 markings, 279786661 edges, 44275 markings/sec, 955 secs
lola: 559 tries, 558271724 fired transitions, 960 secs || 41981002 markings, 281265816 edges, 43928 markings/sec, 960 secs
lola: 562 tries, 561149132 fired transitions, 965 secs || 42191091 markings, 282680340 edges, 42018 markings/sec, 965 secs
lola: 565 tries, 564046884 fired transitions, 970 secs || 42412344 markings, 284171486 edges, 44251 markings/sec, 970 secs
lola: 567 tries, 566939418 fired transitions, 975 secs || 42627948 markings, 285622913 edges, 43121 markings/sec, 975 secs
lola: 570 tries, 569850464 fired transitions, 980 secs || 42846412 markings, 287091548 edges, 43693 markings/sec, 980 secs
lola: 573 tries, 572761237 fired transitions, 985 secs || 43059596 markings, 288527708 edges, 42637 markings/sec, 985 secs
lola: 576 tries, 575666054 fired transitions, 990 secs || 43281462 markings, 290016263 edges, 44373 markings/sec, 990 secs
lola: 579 tries, 578554728 fired transitions, 995 secs || 43498832 markings, 291470471 edges, 43474 markings/sec, 995 secs
lola: 582 tries, 581460785 fired transitions, 1000 secs || 43714707 markings, 292914146 edges, 43175 markings/sec, 1000 secs
lola: 585 tries, 584346559 fired transitions, 1005 secs || 43930873 markings, 294362093 edges, 43233 markings/sec, 1005 secs
lola: 588 tries, 587221721 fired transitions, 1010 secs || 44144793 markings, 295792916 edges, 42784 markings/sec, 1010 secs
lola: 591 tries, 590106078 fired transitions, 1015 secs || 44356559 markings, 297210329 edges, 42353 markings/sec, 1015 secs
lola: 594 tries, 593009826 fired transitions, 1020 secs || 44568962 markings, 298631774 edges, 42481 markings/sec, 1020 secs
lola: 596 tries, 595908892 fired transitions, 1025 secs || 44782683 markings, 300061795 edges, 42744 markings/sec, 1025 secs
lola: 599 tries, 598820073 fired transitions, 1030 secs || 44996019 markings, 301489507 edges, 42667 markings/sec, 1030 secs
lola: 602 tries, 601726190 fired transitions, 1035 secs || 45209166 markings, 302915580 edges, 42629 markings/sec, 1035 secs
lola: 605 tries, 604637265 fired transitions, 1040 secs || 45421330 markings, 304335200 edges, 42433 markings/sec, 1040 secs
lola: 608 tries, 607529146 fired transitions, 1045 secs || 45631099 markings, 305739273 edges, 41954 markings/sec, 1045 secs
lola: 611 tries, 610431504 fired transitions, 1050 secs || 45843519 markings, 307159744 edges, 42484 markings/sec, 1050 secs
lola: 614 tries, 613344468 fired transitions, 1055 secs || 46056176 markings, 308583206 edges, 42531 markings/sec, 1055 secs
lola: 617 tries, 616257653 fired transitions, 1060 secs || 46267824 markings, 309998563 edges, 42330 markings/sec, 1060 secs
lola: 620 tries, 619178098 fired transitions, 1065 secs || 46487881 markings, 311470602 edges, 44011 markings/sec, 1065 secs
lola: 623 tries, 622098907 fired transitions, 1070 secs || 46710027 markings, 312957605 edges, 44429 markings/sec, 1070 secs
lola: 626 tries, 625002753 fired transitions, 1075 secs || 46931583 markings, 314439180 edges, 44311 markings/sec, 1075 secs
lola: 628 tries, 627871105 fired transitions, 1080 secs || 47152361 markings, 315916466 edges, 44156 markings/sec, 1080 secs
lola: 631 tries, 630788468 fired transitions, 1085 secs || 47374395 markings, 317402550 edges, 44407 markings/sec, 1085 secs
lola: 634 tries, 633667465 fired transitions, 1090 secs || 47596112 markings, 318887285 edges, 44343 markings/sec, 1090 secs
lola: 637 tries, 636572973 fired transitions, 1095 secs || 47816017 markings, 320357595 edges, 43981 markings/sec, 1095 secs
lola: 640 tries, 639481022 fired transitions, 1100 secs || 48033505 markings, 321812827 edges, 43498 markings/sec, 1100 secs
lola: 643 tries, 642389498 fired transitions, 1105 secs || 48250410 markings, 323264841 edges, 43381 markings/sec, 1105 secs
lola: 646 tries, 645274374 fired transitions, 1110 secs || 48468913 markings, 324727134 edges, 43701 markings/sec, 1110 secs
lola: 649 tries, 648193084 fired transitions, 1115 secs || 48684773 markings, 326170174 edges, 43172 markings/sec, 1115 secs
lola: 652 tries, 651129071 fired transitions, 1120 secs || 48896003 markings, 327584000 edges, 42246 markings/sec, 1120 secs
lola: 655 tries, 654028252 fired transitions, 1125 secs || 49106586 markings, 328991577 edges, 42117 markings/sec, 1125 secs
lola: 657 tries, 656927737 fired transitions, 1130 secs || 49318088 markings, 330407087 edges, 42300 markings/sec, 1130 secs
lola: 660 tries, 659844505 fired transitions, 1135 secs || 49534203 markings, 331852309 edges, 43223 markings/sec, 1135 secs
lola: 662 tries, 661964747 fired transitions, 1140 secs || 49687825 markings, 332882002 edges, 30724 markings/sec, 1140 secs
lola: 665 tries, 664885967 fired transitions, 1145 secs || 49902809 markings, 334319143 edges, 42997 markings/sec, 1145 secs
lola: 668 tries, 667785905 fired transitions, 1150 secs || 50120057 markings, 335770911 edges, 43450 markings/sec, 1150 secs
lola: 671 tries, 670695531 fired transitions, 1155 secs || 50339566 markings, 337240754 edges, 43902 markings/sec, 1155 secs
lola: 674 tries, 673600097 fired transitions, 1160 secs || 50561410 markings, 338724983 edges, 44369 markings/sec, 1160 secs
lola: 677 tries, 676505837 fired transitions, 1165 secs || 50782608 markings, 340206095 edges, 44240 markings/sec, 1165 secs
lola: 680 tries, 679426873 fired transitions, 1170 secs || 51001724 markings, 341671360 edges, 43823 markings/sec, 1170 secs
lola: 683 tries, 682312540 fired transitions, 1175 secs || 51221287 markings, 343140797 edges, 43913 markings/sec, 1175 secs
lola: 686 tries, 685236767 fired transitions, 1180 secs || 51438858 markings, 344597606 edges, 43514 markings/sec, 1180 secs
lola: 689 tries, 688171346 fired transitions, 1185 secs || 51653940 markings, 346036396 edges, 43016 markings/sec, 1185 secs
lola: 692 tries, 691097236 fired transitions, 1190 secs || 51867356 markings, 347464005 edges, 42683 markings/sec, 1190 secs
lola: 695 tries, 694007049 fired transitions, 1195 secs || 52080339 markings, 348889596 edges, 42597 markings/sec, 1195 secs
lola: 697 tries, 696914529 fired transitions, 1200 secs || 52304896 markings, 350390698 edges, 44911 markings/sec, 1200 secs
lola: 700 tries, 699815638 fired transitions, 1205 secs || 52527347 markings, 351878530 edges, 44490 markings/sec, 1205 secs
lola: 703 tries, 702699655 fired transitions, 1210 secs || 52750043 markings, 353368477 edges, 44539 markings/sec, 1210 secs
lola: 706 tries, 705580976 fired transitions, 1215 secs || 52968329 markings, 354828549 edges, 43657 markings/sec, 1215 secs
lola: 709 tries, 708464497 fired transitions, 1220 secs || 53187151 markings, 356293092 edges, 43764 markings/sec, 1220 secs
lola: 712 tries, 711362886 fired transitions, 1225 secs || 53407552 markings, 357768676 edges, 44080 markings/sec, 1225 secs
lola: 715 tries, 714295411 fired transitions, 1230 secs || 53624608 markings, 359219010 edges, 43411 markings/sec, 1230 secs
lola: 718 tries, 717187254 fired transitions, 1235 secs || 53834218 markings, 360622312 edges, 41922 markings/sec, 1235 secs
lola: 721 tries, 720090835 fired transitions, 1240 secs || 54048823 markings, 362059495 edges, 42921 markings/sec, 1240 secs
lola: 724 tries, 723001065 fired transitions, 1245 secs || 54264213 markings, 363499935 edges, 43078 markings/sec, 1245 secs
lola: 726 tries, 725899655 fired transitions, 1250 secs || 54472185 markings, 364891204 edges, 41594 markings/sec, 1250 secs
lola: 729 tries, 728782013 fired transitions, 1255 secs || 54680351 markings, 366283932 edges, 41633 markings/sec, 1255 secs
lola: 732 tries, 731678335 fired transitions, 1260 secs || 54887058 markings, 367666352 edges, 41341 markings/sec, 1260 secs
lola: 735 tries, 734573897 fired transitions, 1265 secs || 55099446 markings, 369087229 edges, 42478 markings/sec, 1265 secs
lola: 738 tries, 737497735 fired transitions, 1270 secs || 55317879 markings, 370547354 edges, 43687 markings/sec, 1270 secs
lola: 741 tries, 740409759 fired transitions, 1275 secs || 55533894 markings, 371994475 edges, 43203 markings/sec, 1275 secs
lola: 744 tries, 743328725 fired transitions, 1280 secs || 55750748 markings, 373443566 edges, 43371 markings/sec, 1280 secs
lola: 747 tries, 746231221 fired transitions, 1285 secs || 55961438 markings, 374853318 edges, 42138 markings/sec, 1285 secs
lola: 750 tries, 749158276 fired transitions, 1290 secs || 56179398 markings, 376311582 edges, 43592 markings/sec, 1290 secs
lola: 753 tries, 752088070 fired transitions, 1295 secs || 56391782 markings, 377731556 edges, 42477 markings/sec, 1295 secs
lola: 755 tries, 754144555 fired transitions, 1300 secs || 56538869 markings, 378714761 edges, 29417 markings/sec, 1300 secs
lola: 757 tries, 756696180 fired transitions, 1305 secs || 56717629 markings, 379911451 edges, 35752 markings/sec, 1305 secs
lola: 760 tries, 759577684 fired transitions, 1310 secs || 56929147 markings, 381325578 edges, 42304 markings/sec, 1310 secs
lola: 763 tries, 762486868 fired transitions, 1315 secs || 57142715 markings, 382753998 edges, 42714 markings/sec, 1315 secs
lola: 766 tries, 765398874 fired transitions, 1320 secs || 57353486 markings, 384164728 edges, 42154 markings/sec, 1320 secs
lola: 769 tries, 768325488 fired transitions, 1325 secs || 57562197 markings, 385562501 edges, 41742 markings/sec, 1325 secs
lola: 772 tries, 771236795 fired transitions, 1330 secs || 57772999 markings, 386975125 edges, 42160 markings/sec, 1330 secs
lola: 774 tries, 773977638 fired transitions, 1335 secs || 57995093 markings, 388472767 edges, 44419 markings/sec, 1335 secs
lola: 777 tries, 776832871 fired transitions, 1340 secs || 58219802 markings, 389978344 edges, 44942 markings/sec, 1340 secs
lola: 780 tries, 779697872 fired transitions, 1345 secs || 58442624 markings, 391476327 edges, 44564 markings/sec, 1345 secs
lola: 783 tries, 782564046 fired transitions, 1350 secs || 58647520 markings, 392847876 edges, 40979 markings/sec, 1350 secs
lola: 786 tries, 785470507 fired transitions, 1355 secs || 58857018 markings, 394249974 edges, 41900 markings/sec, 1355 secs
lola: 789 tries, 788351127 fired transitions, 1360 secs || 59067064 markings, 395661680 edges, 42009 markings/sec, 1360 secs
lola: 791 tries, 790943545 fired transitions, 1365 secs || 59258960 markings, 396953571 edges, 38379 markings/sec, 1365 secs
lola: 794 tries, 793559442 fired transitions, 1370 secs || 59454605 markings, 398263124 edges, 39129 markings/sec, 1370 secs
lola: 797 tries, 796471968 fired transitions, 1375 secs || 59667386 markings, 399686999 edges, 42556 markings/sec, 1375 secs
lola: 800 tries, 799355043 fired transitions, 1380 secs || 59873834 markings, 401067923 edges, 41290 markings/sec, 1380 secs
lola: 803 tries, 802276544 fired transitions, 1385 secs || 60088010 markings, 402501882 edges, 42835 markings/sec, 1385 secs
lola: 806 tries, 805124473 fired transitions, 1390 secs || 60294130 markings, 403880172 edges, 41224 markings/sec, 1390 secs
lola: 809 tries, 808042370 fired transitions, 1395 secs || 60499962 markings, 405257575 edges, 41166 markings/sec, 1395 secs
lola: 811 tries, 810918246 fired transitions, 1400 secs || 60703326 markings, 406620443 edges, 40673 markings/sec, 1400 secs
lola: 814 tries, 813858858 fired transitions, 1405 secs || 60915106 markings, 408046518 edges, 42356 markings/sec, 1405 secs
lola: 817 tries, 816765955 fired transitions, 1410 secs || 61126348 markings, 409469295 edges, 42248 markings/sec, 1410 secs
lola: 820 tries, 819661928 fired transitions, 1415 secs || 61342357 markings, 410919793 edges, 43202 markings/sec, 1415 secs
lola: 823 tries, 822575519 fired transitions, 1420 secs || 61559448 markings, 412372499 edges, 43418 markings/sec, 1420 secs
lola: 826 tries, 825487553 fired transitions, 1425 secs || 61773704 markings, 413806206 edges, 42851 markings/sec, 1425 secs
lola: 829 tries, 828401651 fired transitions, 1430 secs || 61990095 markings, 415254264 edges, 43278 markings/sec, 1430 secs
lola: 832 tries, 831266880 fired transitions, 1435 secs || 62204533 markings, 416689758 edges, 42888 markings/sec, 1435 secs
lola: 835 tries, 834128236 fired transitions, 1440 secs || 62412541 markings, 418082754 edges, 41602 markings/sec, 1440 secs
lola: 837 tries, 836988584 fired transitions, 1445 secs || 62618346 markings, 419458149 edges, 41161 markings/sec, 1445 secs
lola: 840 tries, 839846953 fired transitions, 1450 secs || 62832192 markings, 420890648 edges, 42769 markings/sec, 1450 secs
lola: 843 tries, 842733345 fired transitions, 1455 secs || 63041450 markings, 422291180 edges, 41852 markings/sec, 1455 secs
lola: 846 tries, 845272332 fired transitions, 1460 secs || 63222901 markings, 423503280 edges, 36290 markings/sec, 1460 secs
lola: 847 tries, 846992969 fired transitions, 1465 secs || 63348536 markings, 424345701 edges, 25127 markings/sec, 1465 secs
lola: 850 tries, 849836211 fired transitions, 1470 secs || 63556892 markings, 425739833 edges, 41671 markings/sec, 1470 secs
lola: 853 tries, 852721930 fired transitions, 1475 secs || 63759960 markings, 427098780 edges, 40614 markings/sec, 1475 secs
lola: 856 tries, 855618567 fired transitions, 1480 secs || 63956688 markings, 428415668 edges, 39346 markings/sec, 1480 secs
lola: 859 tries, 858518931 fired transitions, 1485 secs || 64154379 markings, 429737266 edges, 39538 markings/sec, 1485 secs
lola: 862 tries, 861396159 fired transitions, 1490 secs || 64353842 markings, 431070300 edges, 39893 markings/sec, 1490 secs
lola: 865 tries, 864273430 fired transitions, 1495 secs || 64547053 markings, 432363565 edges, 38642 markings/sec, 1495 secs
lola: 868 tries, 867067434 fired transitions, 1500 secs || 64750441 markings, 433732583 edges, 40678 markings/sec, 1500 secs
lola: 870 tries, 869940624 fired transitions, 1505 secs || 64960403 markings, 435145941 edges, 41992 markings/sec, 1505 secs
lola: 873 tries, 872781172 fired transitions, 1510 secs || 65154796 markings, 436456476 edges, 38879 markings/sec, 1510 secs
lola: 876 tries, 875665114 fired transitions, 1515 secs || 65355938 markings, 437809773 edges, 40228 markings/sec, 1515 secs
lola: 879 tries, 878459682 fired transitions, 1520 secs || 65566415 markings, 439227588 edges, 42095 markings/sec, 1520 secs
lola: 882 tries, 881316069 fired transitions, 1525 secs || 65775515 markings, 440629212 edges, 41820 markings/sec, 1525 secs
lola: 884 tries, 883994841 fired transitions, 1530 secs || 65978048 markings, 441983322 edges, 40507 markings/sec, 1530 secs
lola: 886 tries, 885825248 fired transitions, 1535 secs || 66104319 markings, 442827891 edges, 25254 markings/sec, 1535 secs
lola: 888 tries, 887491155 fired transitions, 1540 secs || 66221539 markings, 443613061 edges, 23444 markings/sec, 1540 secs
lola: 889 tries, 888995401 fired transitions, 1545 secs || 66326519 markings, 444315394 edges, 20996 markings/sec, 1545 secs
lola: 891 tries, 890692456 fired transitions, 1550 secs || 66441824 markings, 445087652 edges, 23061 markings/sec, 1550 secs
lola: 894 tries, 893592534 fired transitions, 1555 secs || 66652611 markings, 446498725 edges, 42157 markings/sec, 1555 secs
lola: 897 tries, 896494548 fired transitions, 1560 secs || 66857992 markings, 447872322 edges, 41076 markings/sec, 1560 secs
lola: 900 tries, 899400335 fired transitions, 1565 secs || 67068951 markings, 449283645 edges, 42192 markings/sec, 1565 secs
lola: 903 tries, 902306266 fired transitions, 1570 secs || 67281516 markings, 450707160 edges, 42513 markings/sec, 1570 secs
lola: 906 tries, 905228888 fired transitions, 1575 secs || 67493939 markings, 452128264 edges, 42485 markings/sec, 1575 secs
lola: 909 tries, 908089714 fired transitions, 1580 secs || 67706352 markings, 453549894 edges, 42483 markings/sec, 1580 secs
lola: 912 tries, 911050477 fired transitions, 1585 secs || 67915620 markings, 454949211 edges, 41854 markings/sec, 1585 secs
lola: 914 tries, 913968272 fired transitions, 1590 secs || 68123150 markings, 456337461 edges, 41506 markings/sec, 1590 secs
lola: 917 tries, 916888272 fired transitions, 1595 secs || 68323341 markings, 457676941 edges, 40038 markings/sec, 1595 secs
lola: 920 tries, 919726845 fired transitions, 1600 secs || 68525994 markings, 459033829 edges, 40531 markings/sec, 1600 secs
lola: 923 tries, 922564449 fired transitions, 1605 secs || 68727957 markings, 460383571 edges, 40393 markings/sec, 1605 secs
lola: 926 tries, 925397667 fired transitions, 1610 secs || 68940225 markings, 461805657 edges, 42454 markings/sec, 1610 secs
lola: 929 tries, 928310492 fired transitions, 1615 secs || 69160731 markings, 463279857 edges, 44101 markings/sec, 1615 secs
lola: 932 tries, 931194231 fired transitions, 1620 secs || 69372345 markings, 464696916 edges, 42323 markings/sec, 1620 secs
lola: 935 tries, 934138842 fired transitions, 1625 secs || 69584910 markings, 466117791 edges, 42513 markings/sec, 1625 secs
lola: 938 tries, 937079609 fired transitions, 1630 secs || 69798864 markings, 467550949 edges, 42791 markings/sec, 1630 secs
lola: 941 tries, 940014275 fired transitions, 1635 secs || 70014093 markings, 468990830 edges, 43046 markings/sec, 1635 secs
lola: 943 tries, 942926569 fired transitions, 1640 secs || 70222014 markings, 470382104 edges, 41584 markings/sec, 1640 secs
lola: 946 tries, 945818148 fired transitions, 1645 secs || 70435186 markings, 471807167 edges, 42634 markings/sec, 1645 secs
lola: 949 tries, 948701056 fired transitions, 1650 secs || 70646028 markings, 473218700 edges, 42168 markings/sec, 1650 secs
lola: 952 tries, 951627537 fired transitions, 1655 secs || 70862830 markings, 474669567 edges, 43360 markings/sec, 1655 secs
lola: 955 tries, 954544499 fired transitions, 1660 secs || 71079138 markings, 476117079 edges, 43262 markings/sec, 1660 secs
lola: 958 tries, 957458888 fired transitions, 1665 secs || 71279745 markings, 477460112 edges, 40121 markings/sec, 1665 secs
lola: 961 tries, 960377386 fired transitions, 1670 secs || 71487690 markings, 478851337 edges, 41589 markings/sec, 1670 secs
lola: 964 tries, 963256196 fired transitions, 1675 secs || 71699389 markings, 480264255 edges, 42340 markings/sec, 1675 secs
lola: 967 tries, 966163002 fired transitions, 1680 secs || 71913795 markings, 481699387 edges, 42881 markings/sec, 1680 secs
lola: 970 tries, 969076238 fired transitions, 1685 secs || 72127413 markings, 483128552 edges, 42724 markings/sec, 1685 secs
lola: 972 tries, 971984630 fired transitions, 1690 secs || 72340597 markings, 484554584 edges, 42637 markings/sec, 1690 secs
lola: 975 tries, 974908123 fired transitions, 1695 secs || 72553422 markings, 485980710 edges, 42565 markings/sec, 1695 secs
lola: 978 tries, 977773339 fired transitions, 1700 secs || 72764097 markings, 487386865 edges, 42135 markings/sec, 1700 secs
lola: 981 tries, 980609260 fired transitions, 1705 secs || 72978025 markings, 488829520 edges, 42786 markings/sec, 1705 secs
lola: 984 tries, 983444945 fired transitions, 1710 secs || 73188071 markings, 490243113 edges, 42009 markings/sec, 1710 secs
lola: 987 tries, 986319627 fired transitions, 1715 secs || 73398346 markings, 491660026 edges, 42055 markings/sec, 1715 secs
lola: 990 tries, 989240669 fired transitions, 1720 secs || 73608327 markings, 493073173 edges, 41996 markings/sec, 1720 secs
lola: 993 tries, 992159067 fired transitions, 1725 secs || 73821946 markings, 494512118 edges, 42724 markings/sec, 1725 secs
lola: 996 tries, 995060999 fired transitions, 1730 secs || 74029932 markings, 495912670 edges, 41597 markings/sec, 1730 secs
lola: 998 tries, 997943135 fired transitions, 1735 secs || 74239096 markings, 497319586 edges, 41833 markings/sec, 1735 secs
lola: 1001 tries, 1000878559 fired transitions, 1740 secs || 74447843 markings, 498725599 edges, 41749 markings/sec, 1740 secs
lola: 1004 tries, 1003807737 fired transitions, 1745 secs || 74652863 markings, 500100974 edges, 41004 markings/sec, 1745 secs
lola: 1007 tries, 1006727997 fired transitions, 1750 secs || 74860131 markings, 501489015 edges, 41454 markings/sec, 1750 secs
lola: 1010 tries, 1009640487 fired transitions, 1755 secs || 75064764 markings, 502857552 edges, 40927 markings/sec, 1755 secs
lola: 1013 tries, 1012544903 fired transitions, 1760 secs || 75270824 markings, 504236233 edges, 41212 markings/sec, 1760 secs
lola: 1016 tries, 1015426325 fired transitions, 1765 secs || 75479795 markings, 505634577 edges, 41794 markings/sec, 1765 secs
lola: 1019 tries, 1018340305 fired transitions, 1770 secs || 75683695 markings, 507000314 edges, 40780 markings/sec, 1770 secs
lola: 1022 tries, 1021253895 fired transitions, 1775 secs || 75887519 markings, 508361714 edges, 40765 markings/sec, 1775 secs
lola: 1025 tries, 1024124677 fired transitions, 1780 secs || 76095990 markings, 509758824 edges, 41694 markings/sec, 1780 secs
lola: 1028 tries, 1027047789 fired transitions, 1785 secs || 76306962 markings, 511170097 edges, 42194 markings/sec, 1785 secs
lola: 1030 tries, 1029934793 fired transitions, 1790 secs || 76515597 markings, 512566662 edges, 41727 markings/sec, 1790 secs
lola: 1033 tries, 1032827638 fired transitions, 1795 secs || 76722085 markings, 513947801 edges, 41298 markings/sec, 1795 secs
lola: 1036 tries, 1035758547 fired transitions, 1800 secs || 76927419 markings, 515321148 edges, 41067 markings/sec, 1800 secs
lola: 1039 tries, 1038663014 fired transitions, 1805 secs || 77132598 markings, 516695791 edges, 41036 markings/sec, 1805 secs
lola: 1042 tries, 1041558752 fired transitions, 1810 secs || 77338108 markings, 518069435 edges, 41102 markings/sec, 1810 secs
lola: 1045 tries, 1044476472 fired transitions, 1815 secs || 77542708 markings, 519439022 edges, 40920 markings/sec, 1815 secs
lola: 1048 tries, 1047381071 fired transitions, 1820 secs || 77747467 markings, 520807533 edges, 40952 markings/sec, 1820 secs
lola: 1051 tries, 1050277956 fired transitions, 1825 secs || 77957227 markings, 522211861 edges, 41952 markings/sec, 1825 secs
lola: 1054 tries, 1053184596 fired transitions, 1830 secs || 78172283 markings, 523651244 edges, 43011 markings/sec, 1830 secs
lola: 1057 tries, 1056049845 fired transitions, 1835 secs || 78385940 markings, 525081643 edges, 42731 markings/sec, 1835 secs
lola: 1059 tries, 1058953275 fired transitions, 1840 secs || 78598179 markings, 526501316 edges, 42448 markings/sec, 1840 secs
lola: 1062 tries, 1061858982 fired transitions, 1845 secs || 78808544 markings, 527909187 edges, 42073 markings/sec, 1845 secs
lola: 1065 tries, 1064773097 fired transitions, 1850 secs || 79014506 markings, 529285792 edges, 41192 markings/sec, 1850 secs
lola: 1068 tries, 1067652094 fired transitions, 1855 secs || 79220337 markings, 530663175 edges, 41166 markings/sec, 1855 secs
lola: 1071 tries, 1070567100 fired transitions, 1860 secs || 79428745 markings, 532058921 edges, 41682 markings/sec, 1860 secs
lola: 1074 tries, 1073495138 fired transitions, 1865 secs || 79637646 markings, 533454393 edges, 41780 markings/sec, 1865 secs
lola: 1077 tries, 1076416419 fired transitions, 1870 secs || 79848765 markings, 534868966 edges, 42224 markings/sec, 1870 secs
lola: 1080 tries, 1079332219 fired transitions, 1875 secs || 80052509 markings, 536231964 edges, 40749 markings/sec, 1875 secs
lola: 1083 tries, 1082235483 fired transitions, 1880 secs || 80257714 markings, 537605175 edges, 41041 markings/sec, 1880 secs
lola: 1086 tries, 1085145110 fired transitions, 1885 secs || 80466507 markings, 539001785 edges, 41759 markings/sec, 1885 secs
lola: 1089 tries, 1088025994 fired transitions, 1890 secs || 80676379 markings, 540405892 edges, 41974 markings/sec, 1890 secs
lola: 1091 tries, 1090907433 fired transitions, 1895 secs || 80887939 markings, 541820105 edges, 42312 markings/sec, 1895 secs
lola: 1094 tries, 1093777610 fired transitions, 1900 secs || 81095018 markings, 543204710 edges, 41416 markings/sec, 1900 secs
lola: 1097 tries, 1096673611 fired transitions, 1905 secs || 81290899 markings, 544516691 edges, 39176 markings/sec, 1905 secs
lola: 1100 tries, 1099551198 fired transitions, 1910 secs || 81495079 markings, 545882132 edges, 40836 markings/sec, 1910 secs
lola: 1103 tries, 1102392211 fired transitions, 1915 secs || 81702011 markings, 547266320 edges, 41386 markings/sec, 1915 secs
lola: 1106 tries, 1105238682 fired transitions, 1920 secs || 81920036 markings, 548726248 edges, 43605 markings/sec, 1920 secs
lola: 1109 tries, 1108057598 fired transitions, 1925 secs || 82134943 markings, 550164326 edges, 42981 markings/sec, 1925 secs
lola: 1111 tries, 1110909936 fired transitions, 1930 secs || 82335373 markings, 551504571 edges, 40086 markings/sec, 1930 secs
lola: 1114 tries, 1113786534 fired transitions, 1935 secs || 82545045 markings, 552908348 edges, 41934 markings/sec, 1935 secs
lola: 1117 tries, 1116670236 fired transitions, 1940 secs || 82757589 markings, 554330898 edges, 42509 markings/sec, 1940 secs
lola: 1120 tries, 1119538377 fired transitions, 1945 secs || 82966638 markings, 555729588 edges, 41810 markings/sec, 1945 secs
lola: 1123 tries, 1122420459 fired transitions, 1950 secs || 83175979 markings, 557130051 edges, 41868 markings/sec, 1950 secs
lola: 1126 tries, 1125314399 fired transitions, 1955 secs || 83374936 markings, 558461070 edges, 39791 markings/sec, 1955 secs
lola: 1129 tries, 1128199594 fired transitions, 1960 secs || 83575685 markings, 559803330 edges, 40150 markings/sec, 1960 secs
lola: 1132 tries, 1131082399 fired transitions, 1965 secs || 83783697 markings, 561195784 edges, 41602 markings/sec, 1965 secs
lola: 1134 tries, 1133915296 fired transitions, 1970 secs || 83991094 markings, 562583107 edges, 41479 markings/sec, 1970 secs
lola: 1137 tries, 1136782402 fired transitions, 1975 secs || 84195870 markings, 563953350 edges, 40955 markings/sec, 1975 secs
lola: 1140 tries, 1139682887 fired transitions, 1980 secs || 84401979 markings, 565332356 edges, 41222 markings/sec, 1980 secs
lola: 1143 tries, 1142581623 fired transitions, 1985 secs || 84609072 markings, 566717930 edges, 41419 markings/sec, 1985 secs
lola: 1146 tries, 1145474682 fired transitions, 1990 secs || 84821146 markings, 568136018 edges, 42415 markings/sec, 1990 secs
lola: 1149 tries, 1148354303 fired transitions, 1995 secs || 85028282 markings, 569520787 edges, 41427 markings/sec, 1995 secs
lola: 1152 tries, 1151215590 fired transitions, 2000 secs || 85240232 markings, 570939869 edges, 42390 markings/sec, 2000 secs
lola: 1155 tries, 1154089782 fired transitions, 2005 secs || 85444156 markings, 572305167 edges, 40785 markings/sec, 2005 secs
lola: 1157 tries, 1156916980 fired transitions, 2010 secs || 85652523 markings, 573697387 edges, 41673 markings/sec, 2010 secs
lola: 1160 tries, 1159772334 fired transitions, 2015 secs || 85855605 markings, 575056226 edges, 40616 markings/sec, 2015 secs
lola: 1163 tries, 1162637355 fired transitions, 2020 secs || 86059064 markings, 576418744 edges, 40692 markings/sec, 2020 secs
lola: 1166 tries, 1165537147 fired transitions, 2025 secs || 86260986 markings, 577768039 edges, 40384 markings/sec, 2025 secs
lola: 1169 tries, 1168389760 fired transitions, 2030 secs || 86460564 markings, 579105036 edges, 39916 markings/sec, 2030 secs
lola: 1172 tries, 1171260302 fired transitions, 2035 secs || 86662587 markings, 580455988 edges, 40405 markings/sec, 2035 secs
lola: 1175 tries, 1174154566 fired transitions, 2040 secs || 86862618 markings, 581794165 edges, 40006 markings/sec, 2040 secs
lola: 1178 tries, 1177045497 fired transitions, 2045 secs || 87056118 markings, 583088601 edges, 38700 markings/sec, 2045 secs
lola: 1180 tries, 1179926631 fired transitions, 2050 secs || 87258345 markings, 584439629 edges, 40445 markings/sec, 2050 secs
lola: 1183 tries, 1182738788 fired transitions, 2055 secs || 87457220 markings, 585771657 edges, 39775 markings/sec, 2055 secs
lola: 1186 tries, 1185449089 fired transitions, 2060 secs || 87659655 markings, 587125154 edges, 40487 markings/sec, 2060 secs
lola: 1189 tries, 1188222966 fired transitions, 2065 secs || 87864315 markings, 588495093 edges, 40932 markings/sec, 2065 secs
lola: 1192 tries, 1191026975 fired transitions, 2070 secs || 88068874 markings, 589862231 edges, 40912 markings/sec, 2070 secs
lola: 1194 tries, 1193832819 fired transitions, 2075 secs || 88270247 markings, 591211686 edges, 40275 markings/sec, 2075 secs
lola: 1197 tries, 1196590239 fired transitions, 2080 secs || 88475326 markings, 592580984 edges, 41016 markings/sec, 2080 secs
lola: 1200 tries, 1199312539 fired transitions, 2085 secs || 88681392 markings, 593960710 edges, 41213 markings/sec, 2085 secs
lola: 1203 tries, 1202195314 fired transitions, 2090 secs || 88887115 markings, 595336073 edges, 41145 markings/sec, 2090 secs
lola: 1206 tries, 1205075446 fired transitions, 2095 secs || 89092184 markings, 596708181 edges, 41014 markings/sec, 2095 secs
lola: 1208 tries, 1207966253 fired transitions, 2100 secs || 89304740 markings, 598137097 edges, 42511 markings/sec, 2100 secs
lola: 1211 tries, 1210807716 fired transitions, 2105 secs || 89515975 markings, 599559887 edges, 42247 markings/sec, 2105 secs
lola: 1214 tries, 1213667565 fired transitions, 2110 secs || 89721157 markings, 600941266 edges, 41036 markings/sec, 2110 secs
lola: 1217 tries, 1216564792 fired transitions, 2115 secs || 89921776 markings, 602292311 edges, 40124 markings/sec, 2115 secs
lola: 1220 tries, 1219440884 fired transitions, 2120 secs || 90133151 markings, 603714450 edges, 42275 markings/sec, 2120 secs
lola: 1223 tries, 1222309017 fired transitions, 2125 secs || 90346810 markings, 605153054 edges, 42732 markings/sec, 2125 secs
lola: 1226 tries, 1225217157 fired transitions, 2130 secs || 90552438 markings, 606537975 edges, 41126 markings/sec, 2130 secs
lola: 1229 tries, 1228116545 fired transitions, 2135 secs || 90759829 markings, 607932347 edges, 41478 markings/sec, 2135 secs
lola: 1231 tries, 1230991972 fired transitions, 2140 secs || 90971281 markings, 609357712 edges, 42290 markings/sec, 2140 secs
lola: 1234 tries, 1233903676 fired transitions, 2145 secs || 91180046 markings, 610762664 edges, 41753 markings/sec, 2145 secs
lola: 1237 tries, 1236812454 fired transitions, 2150 secs || 91393734 markings, 612200685 edges, 42738 markings/sec, 2150 secs
lola: 1240 tries, 1239688941 fired transitions, 2155 secs || 91606275 markings, 613631709 edges, 42508 markings/sec, 2155 secs
lola: 1243 tries, 1242601836 fired transitions, 2160 secs || 91816008 markings, 615043640 edges, 41947 markings/sec, 2160 secs
lola: 1246 tries, 1245495078 fired transitions, 2165 secs || 92021494 markings, 616426735 edges, 41097 markings/sec, 2165 secs
lola: 1249 tries, 1248390792 fired transitions, 2170 secs || 92237025 markings, 617871586 edges, 43106 markings/sec, 2170 secs
lola: 1252 tries, 1251307136 fired transitions, 2175 secs || 92447711 markings, 619279984 edges, 42137 markings/sec, 2175 secs
lola: 1255 tries, 1254151035 fired transitions, 2180 secs || 92660908 markings, 620707424 edges, 42639 markings/sec, 2180 secs
lola: 1258 tries, 1257025164 fired transitions, 2185 secs || 92874440 markings, 622136994 edges, 42706 markings/sec, 2185 secs
lola: 1260 tries, 1259922023 fired transitions, 2190 secs || 93084033 markings, 623539785 edges, 41919 markings/sec, 2190 secs
lola: 1263 tries, 1262780781 fired transitions, 2195 secs || 93292630 markings, 624935488 edges, 41719 markings/sec, 2195 secs
lola: 1266 tries, 1265699995 fired transitions, 2200 secs || 93499531 markings, 626319475 edges, 41380 markings/sec, 2200 secs
lola: 1269 tries, 1268600107 fired transitions, 2205 secs || 93711254 markings, 627737028 edges, 42345 markings/sec, 2205 secs
lola: 1272 tries, 1271534802 fired transitions, 2210 secs || 93916324 markings, 629109077 edges, 41014 markings/sec, 2210 secs
lola: 1275 tries, 1274473372 fired transitions, 2215 secs || 94122604 markings, 630487996 edges, 41256 markings/sec, 2215 secs
lola: 1278 tries, 1277392360 fired transitions, 2220 secs || 94327907 markings, 631862727 edges, 41061 markings/sec, 2220 secs
lola: 1281 tries, 1280286031 fired transitions, 2225 secs || 94532982 markings, 633235052 edges, 41015 markings/sec, 2225 secs
lola: 1284 tries, 1283201137 fired transitions, 2230 secs || 94739491 markings, 634616681 edges, 41302 markings/sec, 2230 secs
lola: 1287 tries, 1286105948 fired transitions, 2235 secs || 94945215 markings, 635993476 edges, 41145 markings/sec, 2235 secs
lola: 1290 tries, 1289046787 fired transitions, 2240 secs || 95150064 markings, 637363774 edges, 40970 markings/sec, 2240 secs
lola: 1292 tries, 1291823087 fired transitions, 2245 secs || 95349982 markings, 638701048 edges, 39984 markings/sec, 2245 secs
lola: 1295 tries, 1294741948 fired transitions, 2250 secs || 95561481 markings, 640116792 edges, 42300 markings/sec, 2250 secs
lola: 1298 tries, 1297658595 fired transitions, 2255 secs || 95764473 markings, 641474425 edges, 40598 markings/sec, 2255 secs
lola: 1301 tries, 1300565619 fired transitions, 2260 secs || 95971284 markings, 642858050 edges, 41362 markings/sec, 2260 secs
lola: 1304 tries, 1303461828 fired transitions, 2265 secs || 96178005 markings, 644242503 edges, 41344 markings/sec, 2265 secs
lola: 1307 tries, 1306384628 fired transitions, 2270 secs || 96393183 markings, 645680759 edges, 43036 markings/sec, 2270 secs
lola: 1310 tries, 1309319256 fired transitions, 2275 secs || 96607347 markings, 647113791 edges, 42833 markings/sec, 2275 secs
lola: 1313 tries, 1312279972 fired transitions, 2280 secs || 96820801 markings, 648542865 edges, 42691 markings/sec, 2280 secs
lola: 1316 tries, 1315147297 fired transitions, 2285 secs || 97036633 markings, 649986894 edges, 43166 markings/sec, 2285 secs
lola: 1319 tries, 1318029706 fired transitions, 2290 secs || 97250332 markings, 651417071 edges, 42740 markings/sec, 2290 secs
lola: 1321 tries, 1320962587 fired transitions, 2295 secs || 97456582 markings, 652796338 edges, 41250 markings/sec, 2295 secs
lola: 1324 tries, 1323856873 fired transitions, 2300 secs || 97661948 markings, 654170662 edges, 41073 markings/sec, 2300 secs
lola: 1327 tries, 1326747272 fired transitions, 2305 secs || 97865228 markings, 655531066 edges, 40656 markings/sec, 2305 secs
lola: 1330 tries, 1329604203 fired transitions, 2310 secs || 98064157 markings, 656861510 edges, 39786 markings/sec, 2310 secs
lola: 1333 tries, 1332452727 fired transitions, 2315 secs || 98263080 markings, 658191650 edges, 39785 markings/sec, 2315 secs
lola: 1336 tries, 1335395934 fired transitions, 2320 secs || 98470192 markings, 659576847 edges, 41422 markings/sec, 2320 secs
lola: 1339 tries, 1338314863 fired transitions, 2325 secs || 98675405 markings, 660949215 edges, 41043 markings/sec, 2325 secs
lola: 1342 tries, 1341226665 fired transitions, 2330 secs || 98880870 markings, 662323609 edges, 41093 markings/sec, 2330 secs
lola: 1345 tries, 1344133221 fired transitions, 2335 secs || 99086254 markings, 663697414 edges, 41077 markings/sec, 2335 secs
lola: 1348 tries, 1347017992 fired transitions, 2340 secs || 99295751 markings, 665100044 edges, 41899 markings/sec, 2340 secs
lola: 1350 tries, 1349937321 fired transitions, 2345 secs || 99509032 markings, 666527910 edges, 42656 markings/sec, 2345 secs
lola: 1353 tries, 1352853740 fired transitions, 2350 secs || 99717268 markings, 667921967 edges, 41647 markings/sec, 2350 secs
lola: 1356 tries, 1355752886 fired transitions, 2355 secs || 99925875 markings, 669317574 edges, 41721 markings/sec, 2355 secs
lola: 1359 tries, 1358645150 fired transitions, 2360 secs || 100134867 markings, 670714951 edges, 41798 markings/sec, 2360 secs
lola: 1362 tries, 1361542679 fired transitions, 2365 secs || 100343081 markings, 672109579 edges, 41643 markings/sec, 2365 secs
lola: 1365 tries, 1364447476 fired transitions, 2370 secs || 100546394 markings, 673469180 edges, 40663 markings/sec, 2370 secs
lola: 1368 tries, 1367357320 fired transitions, 2375 secs || 100748986 markings, 674823253 edges, 40518 markings/sec, 2375 secs
lola: 1371 tries, 1370210777 fired transitions, 2380 secs || 100956645 markings, 676214126 edges, 41532 markings/sec, 2380 secs
lola: 1374 tries, 1373123324 fired transitions, 2385 secs || 101171732 markings, 677651948 edges, 43017 markings/sec, 2385 secs
lola: 1377 tries, 1376012551 fired transitions, 2390 secs || 101384755 markings, 679078478 edges, 42605 markings/sec, 2390 secs
lola: 1379 tries, 1378933040 fired transitions, 2395 secs || 101597522 markings, 680502047 edges, 42553 markings/sec, 2395 secs
lola: 1382 tries, 1381828436 fired transitions, 2400 secs || 101803954 markings, 681881810 edges, 41286 markings/sec, 2400 secs
lola: 1385 tries, 1384748760 fired transitions, 2405 secs || 102014933 markings, 683292621 edges, 42196 markings/sec, 2405 secs
lola: 1388 tries, 1387660201 fired transitions, 2410 secs || 102228006 markings, 684718618 edges, 42615 markings/sec, 2410 secs
lola: 1391 tries, 1390591587 fired transitions, 2415 secs || 102440532 markings, 686140394 edges, 42505 markings/sec, 2415 secs
lola: 1394 tries, 1393509563 fired transitions, 2420 secs || 102649521 markings, 687539082 edges, 41798 markings/sec, 2420 secs
lola: 1397 tries, 1396416980 fired transitions, 2425 secs || 102858599 markings, 688938453 edges, 41816 markings/sec, 2425 secs
lola: 1400 tries, 1399306292 fired transitions, 2430 secs || 103068460 markings, 690342092 edges, 41972 markings/sec, 2430 secs
lola: 1403 tries, 1402174633 fired transitions, 2435 secs || 103276858 markings, 691736952 edges, 41680 markings/sec, 2435 secs
lola: 1406 tries, 1405104660 fired transitions, 2440 secs || 103479237 markings, 693089465 edges, 40476 markings/sec, 2440 secs
lola: 1408 tries, 1407994383 fired transitions, 2445 secs || 103687699 markings, 694485876 edges, 41692 markings/sec, 2445 secs
lola: 1411 tries, 1410910817 fired transitions, 2450 secs || 103894149 markings, 695865085 edges, 41290 markings/sec, 2450 secs
lola: 1414 tries, 1413715651 fired transitions, 2455 secs || 104093698 markings, 697201585 edges, 39910 markings/sec, 2455 secs
lola: 1417 tries, 1416596287 fired transitions, 2460 secs || 104308702 markings, 698638401 edges, 43001 markings/sec, 2460 secs
lola: 1420 tries, 1419492687 fired transitions, 2465 secs || 104519255 markings, 700046865 edges, 42111 markings/sec, 2465 secs
lola: 1423 tries, 1422403124 fired transitions, 2470 secs || 104726447 markings, 701434675 edges, 41438 markings/sec, 2470 secs
lola: 1426 tries, 1425310823 fired transitions, 2475 secs || 104932474 markings, 702811338 edges, 41205 markings/sec, 2475 secs
lola: 1429 tries, 1428242947 fired transitions, 2480 secs || 105139373 markings, 704197474 edges, 41380 markings/sec, 2480 secs
lola: 1432 tries, 1431159833 fired transitions, 2485 secs || 105349177 markings, 705600363 edges, 41961 markings/sec, 2485 secs
lola: 1435 tries, 1434065377 fired transitions, 2490 secs || 105552165 markings, 706958163 edges, 40598 markings/sec, 2490 secs
lola: 1437 tries, 1436944106 fired transitions, 2495 secs || 105756572 markings, 708326049 edges, 40881 markings/sec, 2495 secs
lola: 1440 tries, 1439822700 fired transitions, 2500 secs || 105963020 markings, 709706796 edges, 41290 markings/sec, 2500 secs
lola: 1443 tries, 1442745897 fired transitions, 2505 secs || 106170764 markings, 711095519 edges, 41549 markings/sec, 2505 secs
lola: 1446 tries, 1445681813 fired transitions, 2510 secs || 106377652 markings, 712479765 edges, 41378 markings/sec, 2510 secs
lola: 1449 tries, 1448591871 fired transitions, 2515 secs || 106582907 markings, 713853745 edges, 41051 markings/sec, 2515 secs
lola: 1452 tries, 1451506860 fired transitions, 2520 secs || 106793780 markings, 715263897 edges, 42175 markings/sec, 2520 secs
lola: 1455 tries, 1454402204 fired transitions, 2525 secs || 107007500 markings, 716692829 edges, 42744 markings/sec, 2525 secs
lola: 1458 tries, 1457331224 fired transitions, 2530 secs || 107217162 markings, 718096919 edges, 41932 markings/sec, 2530 secs
lola: 1461 tries, 1460249870 fired transitions, 2535 secs || 107428556 markings, 719511138 edges, 42279 markings/sec, 2535 secs
lola: 1464 tries, 1463163127 fired transitions, 2540 secs || 107639219 markings, 720921493 edges, 42133 markings/sec, 2540 secs
lola: 1467 tries, 1466077107 fired transitions, 2545 secs || 107849526 markings, 722327407 edges, 42061 markings/sec, 2545 secs
lola: 1469 tries, 1468937439 fired transitions, 2550 secs || 108062323 markings, 723752049 edges, 42559 markings/sec, 2550 secs
lola: 1472 tries, 1471855299 fired transitions, 2555 secs || 108273835 markings, 725166330 edges, 42302 markings/sec, 2555 secs
lola: 1475 tries, 1474716557 fired transitions, 2560 secs || 108483652 markings, 726569224 edges, 41963 markings/sec, 2560 secs
lola: 1478 tries, 1477596819 fired transitions, 2565 secs || 108698414 markings, 728006768 edges, 42952 markings/sec, 2565 secs
lola: 1481 tries, 1480502865 fired transitions, 2570 secs || 108909016 markings, 729417116 edges, 42120 markings/sec, 2570 secs
lola: 1484 tries, 1483384953 fired transitions, 2575 secs || 109118127 markings, 730816140 edges, 41822 markings/sec, 2575 secs
lola: 1487 tries, 1486173172 fired transitions, 2580 secs || 109328145 markings, 732221344 edges, 42004 markings/sec, 2580 secs
lola: 1490 tries, 1489092906 fired transitions, 2585 secs || 109535564 markings, 733608659 edges, 41484 markings/sec, 2585 secs
lola: 1492 tries, 1491973337 fired transitions, 2590 secs || 109734469 markings, 734938532 edges, 39781 markings/sec, 2590 secs
lola: 1495 tries, 1494789536 fired transitions, 2595 secs || 109931041 markings, 736255169 edges, 39314 markings/sec, 2595 secs
lola: 1498 tries, 1497645475 fired transitions, 2600 secs || 110139509 markings, 737647470 edges, 41694 markings/sec, 2600 secs
lola: 1501 tries, 1500553187 fired transitions, 2605 secs || 110340695 markings, 738994298 edges, 40237 markings/sec, 2605 secs
lola: 1504 tries, 1503448362 fired transitions, 2610 secs || 110546941 markings, 740374708 edges, 41249 markings/sec, 2610 secs
lola: 1507 tries, 1506268439 fired transitions, 2615 secs || 110761051 markings, 741807056 edges, 42822 markings/sec, 2615 secs
lola: 1510 tries, 1509153066 fired transitions, 2620 secs || 110965236 markings, 743173372 edges, 40837 markings/sec, 2620 secs
lola: 1512 tries, 1511991946 fired transitions, 2625 secs || 111165880 markings, 744515681 edges, 40129 markings/sec, 2625 secs
lola: 1515 tries, 1514837779 fired transitions, 2630 secs || 111373526 markings, 745905005 edges, 41529 markings/sec, 2630 secs
lola: 1518 tries, 1517745595 fired transitions, 2635 secs || 111579191 markings, 747280438 edges, 41133 markings/sec, 2635 secs
lola: 1521 tries, 1520661474 fired transitions, 2640 secs || 111792859 markings, 748709282 edges, 42734 markings/sec, 2640 secs
lola: 1524 tries, 1523545302 fired transitions, 2645 secs || 112005763 markings, 750133150 edges, 42581 markings/sec, 2645 secs
lola: 1527 tries, 1526442195 fired transitions, 2650 secs || 112220524 markings, 751571638 edges, 42952 markings/sec, 2650 secs
lola: 1530 tries, 1529345923 fired transitions, 2655 secs || 112434258 markings, 753000639 edges, 42747 markings/sec, 2655 secs
lola: 1533 tries, 1532254921 fired transitions, 2660 secs || 112651143 markings, 754452612 edges, 43377 markings/sec, 2660 secs
lola: 1536 tries, 1535189364 fired transitions, 2665 secs || 112867338 markings, 755899323 edges, 43239 markings/sec, 2665 secs
lola: 1539 tries, 1538119151 fired transitions, 2670 secs || 113083896 markings, 757344988 edges, 43312 markings/sec, 2670 secs
lola: 1542 tries, 1541036318 fired transitions, 2675 secs || 113299562 markings, 758787172 edges, 43133 markings/sec, 2675 secs
lola: 1544 tries, 1543959412 fired transitions, 2680 secs || 113512743 markings, 760213843 edges, 42636 markings/sec, 2680 secs
lola: 1547 tries, 1546885348 fired transitions, 2685 secs || 113729172 markings, 761660609 edges, 43286 markings/sec, 2685 secs
lola: 1550 tries, 1549818054 fired transitions, 2690 secs || 113942954 markings, 763091271 edges, 42756 markings/sec, 2690 secs
lola: 1553 tries, 1552733077 fired transitions, 2695 secs || 114157487 markings, 764526945 edges, 42907 markings/sec, 2695 secs
lola: 1556 tries, 1555564418 fired transitions, 2700 secs || 114378892 markings, 766009231 edges, 44281 markings/sec, 2700 secs
lola: 1559 tries, 1558480856 fired transitions, 2705 secs || 114597030 markings, 767467148 edges, 43628 markings/sec, 2705 secs
lola: 1562 tries, 1561421417 fired transitions, 2710 secs || 114812277 markings, 768909050 edges, 43049 markings/sec, 2710 secs
lola: 1565 tries, 1564278606 fired transitions, 2715 secs || 115023330 markings, 770320176 edges, 42211 markings/sec, 2715 secs
lola: 1568 tries, 1567165495 fired transitions, 2720 secs || 115237887 markings, 771755631 edges, 42911 markings/sec, 2720 secs
lola: 1571 tries, 1570112951 fired transitions, 2725 secs || 115452796 markings, 773193566 edges, 42982 markings/sec, 2725 secs
lola: 1574 tries, 1573056044 fired transitions, 2730 secs || 115665733 markings, 774619092 edges, 42587 markings/sec, 2730 secs
lola: 1577 tries, 1576006271 fired transitions, 2735 secs || 115881306 markings, 776058638 edges, 43115 markings/sec, 2735 secs
lola: 1579 tries, 1578955391 fired transitions, 2740 secs || 116093546 markings, 777480919 edges, 42448 markings/sec, 2740 secs
lola: 1582 tries, 1581900028 fired transitions, 2745 secs || 116312002 markings, 778941163 edges, 43691 markings/sec, 2745 secs
lola: 1585 tries, 1584838434 fired transitions, 2750 secs || 116526362 markings, 780375721 edges, 42872 markings/sec, 2750 secs
lola: 1588 tries, 1587680780 fired transitions, 2755 secs || 116738548 markings, 781793386 edges, 42437 markings/sec, 2755 secs
lola: 1591 tries, 1590640794 fired transitions, 2760 secs || 116946900 markings, 783187110 edges, 41670 markings/sec, 2760 secs
lola: 1594 tries, 1593591340 fired transitions, 2765 secs || 117161105 markings, 784619490 edges, 42841 markings/sec, 2765 secs
lola: 1597 tries, 1596455878 fired transitions, 2770 secs || 117374151 markings, 786045816 edges, 42609 markings/sec, 2770 secs
lola: 1600 tries, 1599414272 fired transitions, 2775 secs || 117585437 markings, 787460389 edges, 42257 markings/sec, 2775 secs
lola: 1603 tries, 1602351233 fired transitions, 2780 secs || 117801699 markings, 788905152 edges, 43252 markings/sec, 2780 secs
lola: 1606 tries, 1605272330 fired transitions, 2785 secs || 118020209 markings, 790368388 edges, 43702 markings/sec, 2785 secs
lola: 1609 tries, 1608190266 fired transitions, 2790 secs || 118234673 markings, 791803416 edges, 42893 markings/sec, 2790 secs
lola: 1612 tries, 1611121762 fired transitions, 2795 secs || 118448175 markings, 793229369 edges, 42700 markings/sec, 2795 secs
lola: 1615 tries, 1614018777 fired transitions, 2800 secs || 118658984 markings, 794640661 edges, 42162 markings/sec, 2800 secs
lola: 1617 tries, 1616907775 fired transitions, 2805 secs || 118872531 markings, 796067596 edges, 42709 markings/sec, 2805 secs
lola: 1620 tries, 1619867457 fired transitions, 2810 secs || 119084445 markings, 797487895 edges, 42383 markings/sec, 2810 secs
lola: 1623 tries, 1622819823 fired transitions, 2815 secs || 119293927 markings, 798887791 edges, 41896 markings/sec, 2815 secs
lola: 1626 tries, 1625745914 fired transitions, 2820 secs || 119504424 markings, 800295660 edges, 42099 markings/sec, 2820 secs
lola: 1629 tries, 1628698569 fired transitions, 2825 secs || 119715104 markings, 801705040 edges, 42136 markings/sec, 2825 secs
lola: 1632 tries, 1631629273 fired transitions, 2830 secs || 119926195 markings, 803117255 edges, 42218 markings/sec, 2830 secs
lola: 1635 tries, 1634557592 fired transitions, 2835 secs || 120132234 markings, 804493684 edges, 41208 markings/sec, 2835 secs
lola: 1638 tries, 1637510523 fired transitions, 2840 secs || 120337671 markings, 805869472 edges, 41087 markings/sec, 2840 secs
lola: 1641 tries, 1640421293 fired transitions, 2845 secs || 120559438 markings, 807361252 edges, 44353 markings/sec, 2845 secs
lola: 1644 tries, 1643344081 fired transitions, 2850 secs || 120792028 markings, 808927601 edges, 46518 markings/sec, 2850 secs
lola: 1647 tries, 1646285161 fired transitions, 2855 secs || 121018842 markings, 810448629 edges, 45363 markings/sec, 2855 secs
lola: 1650 tries, 1649196149 fired transitions, 2860 secs || 121245264 markings, 811970240 edges, 45284 markings/sec, 2860 secs
lola: 1653 tries, 1652086074 fired transitions, 2865 secs || 121469577 markings, 813470054 edges, 44863 markings/sec, 2865 secs
lola: 1656 tries, 1655018478 fired transitions, 2870 secs || 121693511 markings, 814969843 edges, 44787 markings/sec, 2870 secs
lola: 1658 tries, 1657925792 fired transitions, 2875 secs || 121918691 markings, 816484715 edges, 45036 markings/sec, 2875 secs
lola: 1661 tries, 1660817274 fired transitions, 2880 secs || 122145948 markings, 818010205 edges, 45451 markings/sec, 2880 secs
lola: 1664 tries, 1663734074 fired transitions, 2885 secs || 122369893 markings, 819509144 edges, 44789 markings/sec, 2885 secs
lola: 1667 tries, 1666613941 fired transitions, 2890 secs || 122590807 markings, 820987812 edges, 44183 markings/sec, 2890 secs
lola: 1670 tries, 1669553155 fired transitions, 2895 secs || 122815214 markings, 822488984 edges, 44881 markings/sec, 2895 secs
lola: 1673 tries, 1672465062 fired transitions, 2900 secs || 123032182 markings, 823941249 edges, 43394 markings/sec, 2900 secs
lola: 1676 tries, 1675365788 fired transitions, 2905 secs || 123252556 markings, 825416283 edges, 44075 markings/sec, 2905 secs
lola: 1679 tries, 1678261089 fired transitions, 2910 secs || 123473675 markings, 826896380 edges, 44224 markings/sec, 2910 secs
lola: 1682 tries, 1681149386 fired transitions, 2915 secs || 123697599 markings, 828403527 edges, 44785 markings/sec, 2915 secs
lola: 1685 tries, 1684042188 fired transitions, 2920 secs || 123915651 markings, 829872330 edges, 43610 markings/sec, 2920 secs
lola: 1687 tries, 1686943462 fired transitions, 2925 secs || 124138136 markings, 831366402 edges, 44497 markings/sec, 2925 secs
lola: 1690 tries, 1689875108 fired transitions, 2930 secs || 124354679 markings, 832817022 edges, 43309 markings/sec, 2930 secs
lola: 1693 tries, 1692802845 fired transitions, 2935 secs || 124570702 markings, 834263093 edges, 43205 markings/sec, 2935 secs
lola: 1696 tries, 1695683595 fired transitions, 2940 secs || 124785212 markings, 835696915 edges, 42902 markings/sec, 2940 secs
lola: 1699 tries, 1698573846 fired transitions, 2945 secs || 124999345 markings, 837129388 edges, 42827 markings/sec, 2945 secs
lola: 1702 tries, 1701506615 fired transitions, 2950 secs || 125212207 markings, 838555430 edges, 42572 markings/sec, 2950 secs
lola: 1705 tries, 1704410342 fired transitions, 2955 secs || 125414828 markings, 839910569 edges, 40524 markings/sec, 2955 secs
lola: 1708 tries, 1707323160 fired transitions, 2960 secs || 125627518 markings, 841333437 edges, 42538 markings/sec, 2960 secs
lola: 1711 tries, 1710225424 fired transitions, 2965 secs || 125829898 markings, 842688588 edges, 40476 markings/sec, 2965 secs
lola: 1714 tries, 1713106376 fired transitions, 2970 secs || 126032942 markings, 844047202 edges, 40609 markings/sec, 2970 secs
lola: 1717 tries, 1716039482 fired transitions, 2975 secs || 126243649 markings, 845455204 edges, 42141 markings/sec, 2975 secs
lola: 1719 tries, 1718982605 fired transitions, 2980 secs || 126455752 markings, 846875491 edges, 42421 markings/sec, 2980 secs
lola: 1722 tries, 1721905917 fired transitions, 2985 secs || 126660799 markings, 848247479 edges, 41009 markings/sec, 2985 secs
lola: 1725 tries, 1724807508 fired transitions, 2990 secs || 126867214 markings, 849629125 edges, 41283 markings/sec, 2990 secs
lola: 1728 tries, 1727742163 fired transitions, 2995 secs || 127070997 markings, 850991812 edges, 40757 markings/sec, 2995 secs
lola: 1731 tries, 1730642382 fired transitions, 3000 secs || 127271602 markings, 852335232 edges, 40121 markings/sec, 3000 secs
lola: 1734 tries, 1733540030 fired transitions, 3005 secs || 127485636 markings, 853773539 edges, 42807 markings/sec, 3005 secs
lola: 1737 tries, 1736445016 fired transitions, 3010 secs || 127701221 markings, 855224260 edges, 43117 markings/sec, 3010 secs
lola: 1740 tries, 1739365056 fired transitions, 3015 secs || 127914972 markings, 856664903 edges, 42750 markings/sec, 3015 secs
lola: 1743 tries, 1742264405 fired transitions, 3020 secs || 128126742 markings, 858087580 edges, 42354 markings/sec, 3020 secs
lola: 1746 tries, 1745209106 fired transitions, 3025 secs || 128342117 markings, 859541044 edges, 43075 markings/sec, 3025 secs
lola: 1749 tries, 1748140565 fired transitions, 3030 secs || 128566092 markings, 861040927 edges, 44795 markings/sec, 3030 secs
lola: 1752 tries, 1751068593 fired transitions, 3035 secs || 128780379 markings, 862474873 edges, 42857 markings/sec, 3035 secs
lola: 1754 tries, 1753998759 fired transitions, 3040 secs || 128991311 markings, 863886766 edges, 42186 markings/sec, 3040 secs
lola: 1757 tries, 1756921938 fired transitions, 3045 secs || 129205655 markings, 865320469 edges, 42869 markings/sec, 3045 secs
lola: 1760 tries, 1759830871 fired transitions, 3050 secs || 129411993 markings, 866701690 edges, 41268 markings/sec, 3050 secs
lola: 1763 tries, 1762723146 fired transitions, 3055 secs || 129625679 markings, 868131041 edges, 42737 markings/sec, 3055 secs
lola: 1766 tries, 1765656173 fired transitions, 3060 secs || 129839001 markings, 869557795 edges, 42664 markings/sec, 3060 secs
lola: 1769 tries, 1768578828 fired transitions, 3065 secs || 130057284 markings, 871020633 edges, 43657 markings/sec, 3065 secs
lola: 1772 tries, 1771461933 fired transitions, 3070 secs || 130272411 markings, 872459355 edges, 43025 markings/sec, 3070 secs
lola: 1775 tries, 1774359961 fired transitions, 3075 secs || 130485056 markings, 873882240 edges, 42529 markings/sec, 3075 secs
lola: 1778 tries, 1777256136 fired transitions, 3080 secs || 130697834 markings, 875304732 edges, 42556 markings/sec, 3080 secs
lola: 1781 tries, 1780170696 fired transitions, 3085 secs || 130902110 markings, 876671445 edges, 40855 markings/sec, 3085 secs
lola: 1784 tries, 1783089598 fired transitions, 3090 secs || 131105642 markings, 878034991 edges, 40706 markings/sec, 3090 secs
lola: 1786 tries, 1785922154 fired transitions, 3095 secs || 131316683 markings, 879445629 edges, 42208 markings/sec, 3095 secs
lola: 1789 tries, 1788810614 fired transitions, 3100 secs || 131517883 markings, 880792484 edges, 40240 markings/sec, 3100 secs
lola: 1792 tries, 1791723102 fired transitions, 3105 secs || 131729440 markings, 882207232 edges, 42311 markings/sec, 3105 secs
lola: 1795 tries, 1794624090 fired transitions, 3110 secs || 131940682 markings, 883622051 edges, 42248 markings/sec, 3110 secs
lola: 1798 tries, 1797547578 fired transitions, 3115 secs || 132149232 markings, 885017480 edges, 41710 markings/sec, 3115 secs
lola: 1801 tries, 1800463134 fired transitions, 3120 secs || 132360565 markings, 886431400 edges, 42267 markings/sec, 3120 secs
lola: 1804 tries, 1803377829 fired transitions, 3125 secs || 132574656 markings, 887863964 edges, 42818 markings/sec, 3125 secs
lola: 1807 tries, 1806305346 fired transitions, 3130 secs || 132784960 markings, 889270166 edges, 42061 markings/sec, 3130 secs
lola: 1810 tries, 1809189497 fired transitions, 3135 secs || 132995218 markings, 890677424 edges, 42052 markings/sec, 3135 secs
lola: 1812 tries, 1811752061 fired transitions, 3140 secs || 133187327 markings, 891963093 edges, 38422 markings/sec, 3140 secs
lola: 1814 tries, 1813786991 fired transitions, 3145 secs || 133333539 markings, 892939721 edges, 29242 markings/sec, 3145 secs
lola: 1817 tries, 1816676207 fired transitions, 3150 secs || 133541461 markings, 894331466 edges, 41584 markings/sec, 3150 secs
lola: 1820 tries, 1819597293 fired transitions, 3155 secs || 133750671 markings, 895732578 edges, 41842 markings/sec, 3155 secs
lola: 1823 tries, 1822268266 fired transitions, 3160 secs || 133941195 markings, 897007576 edges, 38105 markings/sec, 3160 secs
lola: 1825 tries, 1824770455 fired transitions, 3165 secs || 134123952 markings, 898228421 edges, 36551 markings/sec, 3165 secs
lola: 1828 tries, 1827673390 fired transitions, 3170 secs || 134331340 markings, 899615902 edges, 41478 markings/sec, 3170 secs
lola: 1831 tries, 1830547171 fired transitions, 3175 secs || 134540285 markings, 901015362 edges, 41789 markings/sec, 3175 secs
lola: 1834 tries, 1833441071 fired transitions, 3180 secs || 134753794 markings, 902442029 edges, 42702 markings/sec, 3180 secs
lola: 1837 tries, 1836373761 fired transitions, 3185 secs || 134971054 markings, 903896806 edges, 43452 markings/sec, 3185 secs
lola: 1840 tries, 1839291066 fired transitions, 3190 secs || 135187756 markings, 905344808 edges, 43340 markings/sec, 3190 secs
lola: 1843 tries, 1842217378 fired transitions, 3195 secs || 135402787 markings, 906783389 edges, 43006 markings/sec, 3195 secs
lola: 1846 tries, 1845136868 fired transitions, 3200 secs || 135618141 markings, 908229754 edges, 43071 markings/sec, 3200 secs
lola: 1849 tries, 1848071655 fired transitions, 3205 secs || 135835741 markings, 909695199 edges, 43520 markings/sec, 3205 secs
lola: 1851 tries, 1850985987 fired transitions, 3210 secs || 136053051 markings, 911158364 edges, 43462 markings/sec, 3210 secs
lola: 1854 tries, 1853920882 fired transitions, 3215 secs || 136267523 markings, 912602272 edges, 42894 markings/sec, 3215 secs
lola: 1857 tries, 1856829400 fired transitions, 3220 secs || 136475809 markings, 914004140 edges, 41657 markings/sec, 3220 secs
lola: 1860 tries, 1859741236 fired transitions, 3225 secs || 136686628 markings, 915422631 edges, 42164 markings/sec, 3225 secs
lola: 1863 tries, 1862603372 fired transitions, 3230 secs || 136890590 markings, 916796412 edges, 40792 markings/sec, 3230 secs
lola: 1866 tries, 1865519954 fired transitions, 3235 secs || 137099984 markings, 918205094 edges, 41879 markings/sec, 3235 secs
lola: 1869 tries, 1868335988 fired transitions, 3240 secs || 137315572 markings, 919657769 edges, 43118 markings/sec, 3240 secs
lola: 1872 tries, 1871190030 fired transitions, 3245 secs || 137532939 markings, 921111638 edges, 43473 markings/sec, 3245 secs
lola: 1875 tries, 1874073758 fired transitions, 3250 secs || 137749343 markings, 922560151 edges, 43281 markings/sec, 3250 secs
lola: 1877 tries, 1876962894 fired transitions, 3255 secs || 137957705 markings, 923954150 edges, 41672 markings/sec, 3255 secs
lola: 1880 tries, 1879830171 fired transitions, 3260 secs || 138172782 markings, 925393344 edges, 43015 markings/sec, 3260 secs
lola: 1883 tries, 1882711014 fired transitions, 3265 secs || 138380470 markings, 926784445 edges, 41538 markings/sec, 3265 secs
lola: 1886 tries, 1885577198 fired transitions, 3270 secs || 138586641 markings, 928163555 edges, 41234 markings/sec, 3270 secs
lola: 1889 tries, 1888477590 fired transitions, 3275 secs || 138798346 markings, 929580427 edges, 42341 markings/sec, 3275 secs
lola: 1892 tries, 1891385536 fired transitions, 3280 secs || 139006081 markings, 930969090 edges, 41547 markings/sec, 3280 secs
lola: 1895 tries, 1894285287 fired transitions, 3285 secs || 139208810 markings, 932326825 edges, 40546 markings/sec, 3285 secs
lola: 1898 tries, 1897214387 fired transitions, 3290 secs || 139413862 markings, 933699008 edges, 41010 markings/sec, 3290 secs
lola: 1901 tries, 1900127331 fired transitions, 3295 secs || 139624558 markings, 935108180 edges, 42139 markings/sec, 3295 secs
lola: 1904 tries, 1903038833 fired transitions, 3300 secs || 139834152 markings, 936511415 edges, 41919 markings/sec, 3300 secs
lola: 1906 tries, 1905916977 fired transitions, 3305 secs || 140040147 markings, 937889173 edges, 41199 markings/sec, 3305 secs
lola: 1909 tries, 1908830866 fired transitions, 3310 secs || 140242432 markings, 939242111 edges, 40457 markings/sec, 3310 secs
lola: 1912 tries, 1911743307 fired transitions, 3315 secs || 140435632 markings, 940535608 edges, 38640 markings/sec, 3315 secs
lola: 1915 tries, 1914545784 fired transitions, 3320 secs || 140633422 markings, 941858455 edges, 39558 markings/sec, 3320 secs
lola: 1918 tries, 1917425365 fired transitions, 3325 secs || 140846048 markings, 943281376 edges, 42525 markings/sec, 3325 secs
lola: 1921 tries, 1920317180 fired transitions, 3330 secs || 141058976 markings, 944707161 edges, 42586 markings/sec, 3330 secs
lola: 1924 tries, 1923186912 fired transitions, 3335 secs || 141269283 markings, 946112877 edges, 42061 markings/sec, 3335 secs
lola: 1927 tries, 1926097777 fired transitions, 3340 secs || 141476425 markings, 947500180 edges, 41428 markings/sec, 3340 secs
lola: 1929 tries, 1928985706 fired transitions, 3345 secs || 141690925 markings, 948934143 edges, 42900 markings/sec, 3345 secs
lola: 1932 tries, 1931897816 fired transitions, 3350 secs || 141905069 markings, 950366211 edges, 42829 markings/sec, 3350 secs
lola: 1935 tries, 1934816939 fired transitions, 3355 secs || 142119584 markings, 951801851 edges, 42903 markings/sec, 3355 secs
lola: 1938 tries, 1937765291 fired transitions, 3360 secs || 142333527 markings, 953234487 edges, 42789 markings/sec, 3360 secs
lola: 1941 tries, 1940713761 fired transitions, 3365 secs || 142550388 markings, 954684351 edges, 43372 markings/sec, 3365 secs
lola: 1944 tries, 1943598456 fired transitions, 3370 secs || 142754590 markings, 956051812 edges, 40840 markings/sec, 3370 secs
lola: 1947 tries, 1946512166 fired transitions, 3375 secs || 142959339 markings, 957421421 edges, 40950 markings/sec, 3375 secs
lola: 1950 tries, 1949015111 fired transitions, 3380 secs || 143135182 markings, 958598221 edges, 35169 markings/sec, 3380 secs
lola: 1952 tries, 1951916734 fired transitions, 3385 secs || 143341431 markings, 959976186 edges, 41250 markings/sec, 3385 secs
lola: 1955 tries, 1954858338 fired transitions, 3390 secs || 143547096 markings, 961352979 edges, 41133 markings/sec, 3390 secs
lola: 1958 tries, 1957801561 fired transitions, 3395 secs || 143752734 markings, 962729661 edges, 41128 markings/sec, 3395 secs
lola: 1961 tries, 1960742708 fired transitions, 3400 secs || 143959707 markings, 964114819 edges, 41395 markings/sec, 3400 secs
lola: 1964 tries, 1963686638 fired transitions, 3405 secs || 144158476 markings, 965443854 edges, 39754 markings/sec, 3405 secs
lola: 1967 tries, 1966632245 fired transitions, 3410 secs || 144364588 markings, 966823401 edges, 41222 markings/sec, 3410 secs
lola: 1970 tries, 1969579425 fired transitions, 3415 secs || 144577932 markings, 968250073 edges, 42669 markings/sec, 3415 secs
lola: 1973 tries, 1972517188 fired transitions, 3420 secs || 144800090 markings, 969737081 edges, 44432 markings/sec, 3420 secs
lola: 1976 tries, 1975447384 fired transitions, 3425 secs || 145012567 markings, 971158234 edges, 42495 markings/sec, 3425 secs
lola: 1979 tries, 1978380957 fired transitions, 3430 secs || 145229388 markings, 972609374 edges, 43364 markings/sec, 3430 secs
lola: 1982 tries, 1981310627 fired transitions, 3435 secs || 145444083 markings, 974045120 edges, 42939 markings/sec, 3435 secs
lola: 1985 tries, 1984218575 fired transitions, 3440 secs || 145655992 markings, 975464287 edges, 42382 markings/sec, 3440 secs
lola: 1988 tries, 1987033583 fired transitions, 3445 secs || 145873441 markings, 976917792 edges, 43490 markings/sec, 3445 secs
lola: 1990 tries, 1989874317 fired transitions, 3450 secs || 146090900 markings, 978373574 edges, 43492 markings/sec, 3450 secs
lola: 1993 tries, 1992716755 fired transitions, 3455 secs || 146306295 markings, 979815598 edges, 43079 markings/sec, 3455 secs
lola: 1996 tries, 1995602583 fired transitions, 3460 secs || 146529036 markings, 981303901 edges, 44548 markings/sec, 3460 secs
lola: 1999 tries, 1998509457 fired transitions, 3465 secs || 146749281 markings, 982778785 edges, 44049 markings/sec, 3465 secs
lola: 2002 tries, 2001449148 fired transitions, 3470 secs || 146968294 markings, 984244692 edges, 43803 markings/sec, 3470 secs
lola: 2005 tries, 2004392238 fired transitions, 3475 secs || 147186617 markings, 985704351 edges, 43665 markings/sec, 3475 secs
lola: 2008 tries, 2007281433 fired transitions, 3480 secs || 147405348 markings, 987166680 edges, 43746 markings/sec, 3480 secs
lola: 2011 tries, 2010218670 fired transitions, 3485 secs || 147619397 markings, 988600741 edges, 42810 markings/sec, 3485 secs
lola: 2014 tries, 2013123004 fired transitions, 3490 secs || 147835566 markings, 990046404 edges, 43234 markings/sec, 3490 secs
lola: 2017 tries, 2016043643 fired transitions, 3495 secs || 148053360 markings, 991501060 edges, 43559 markings/sec, 3495 secs
lola: 2019 tries, 2018925011 fired transitions, 3500 secs || 148260678 markings, 992889607 edges, 41464 markings/sec, 3500 secs
lola: 2022 tries, 2021857684 fired transitions, 3505 secs || 148477396 markings, 994339787 edges, 43344 markings/sec, 3505 secs
lola: 2025 tries, 2024793347 fired transitions, 3510 secs || 148687358 markings, 995744349 edges, 41992 markings/sec, 3510 secs
lola: 2028 tries, 2027706782 fired transitions, 3515 secs || 148900418 markings, 997170212 edges, 42612 markings/sec, 3515 secs
lola: 2031 tries, 2030649760 fired transitions, 3520 secs || 149109644 markings, 998568727 edges, 41845 markings/sec, 3520 secs
lola: 2034 tries, 2033572982 fired transitions, 3525 secs || 149318374 markings, 999965869 edges, 41746 markings/sec, 3525 secs
lola: 2037 tries, 2036509691 fired transitions, 3530 secs || 149534033 markings, 1001409170 edges, 43132 markings/sec, 3530 secs
lola: 2040 tries, 2039431347 fired transitions, 3535 secs || 149748162 markings, 1002841454 edges, 42826 markings/sec, 3535 secs
lola: 2043 tries, 2042377738 fired transitions, 3540 secs || 149961989 markings, 1004270765 edges, 42765 markings/sec, 3540 secs
lola: 2046 tries, 2045315860 fired transitions, 3545 secs || 150171531 markings, 1005672308 edges, 41908 markings/sec, 3545 secs
lola: 2049 tries, 2048208182 fired transitions, 3550 secs || 150386829 markings, 1007112344 edges, 43060 markings/sec, 3550 secs
lola: 2052 tries, 2051118445 fired transitions, 3555 secs || 150598432 markings, 1008529917 edges, 42321 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 5725708 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552559994457

--------------------
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="Diffusion2D-PT-D10N050"
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 Diffusion2D-PT-D10N050, 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 r060-ebro-155234654600084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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