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

About the Execution of LoLA for BART-COL-030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6903.140 3570947.00 7548526.00 609.50 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225065300282.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is BART-COL-030, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065300282
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 4.0K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_pt

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 201K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552511483564

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 21:11:23 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 6851660,
"runtime": 3571.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": 65430,
"conflict_clusters": 11753,
"places": 17753,
"places_significant": 5910,
"singleton_clusters": 0,
"transitions": 9210
},
"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": 66364576966170141577407317209202194367861458167458015709396033007581502302584832.000000,
"composed": 2944,
"dead_branches": 2,
"generators": 3011,
"interrupted": true,
"real_computed": 67,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 17753, Transitions: 9210
lola: @ trans TrainDecc
lola: @ trans MissStation
lola: @ trans TooEarly
lola: @ trans TrainStop
lola: @ trans TrainAcc
lola: @ trans TrainStable
lola: @ trans AtStation
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 26963/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 568096
lola: finding significant places
lola: 17753 places, 9210 transitions, 5910 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 556937 fired transitions, 0 secs
lola: 0 generators;157469337 candidates remain ( 0%), 0 secs
lola: 2 tries, 1283159 fired transitions, 5 secs
lola: 175 generators;156955082 candidates remain ( 0%), 5 secs
lola: 2 tries, 1925305 fired transitions, 10 secs
lola: 175 generators;156955082 candidates remain ( 0%), 10 secs
lola: 3 tries, 2500351 fired transitions, 15 secs
lola: 176 generators;156955081 candidates remain ( 0%), 15 secs
lola: 4 tries, 3283311 fired transitions, 20 secs
lola: 206 generators;156105821 candidates remain ( 0%), 20 secs
lola: 4 tries, 3946035 fired transitions, 25 secs
lola: 206 generators;156105821 candidates remain ( 0%), 25 secs
lola: 5 tries, 4551541 fired transitions, 30 secs
lola: 380 generators;156088125 candidates remain ( 0%), 30 secs
lola: 6 tries, 5291976 fired transitions, 35 secs
lola: 380 generators;156088125 candidates remain ( 0%), 35 secs
lola: 7 tries, 6019970 fired transitions, 40 secs
lola: 383 generators;156052933 candidates remain ( 0%), 40 secs
lola: 7 tries, 6631497 fired transitions, 45 secs
lola: 393 generators;156052923 candidates remain ( 0%), 45 secs
lola: 8 tries, 7092197 fired transitions, 50 secs
lola: 540 generators;156035137 candidates remain ( 0%), 50 secs
lola: 8 tries, 7498137 fired transitions, 55 secs
lola: 705 generators;155205856 candidates remain ( 0%), 55 secs
lola: 9 tries, 8114500 fired transitions, 60 secs
lola: 722 generators;155205839 candidates remain ( 0%), 60 secs
lola: 9 tries, 8711329 fired transitions, 65 secs
lola: 751 generators;154431709 candidates remain ( 0%), 65 secs
lola: 10 tries, 9470410 fired transitions, 70 secs
lola: 761 generators;154414269 candidates remain ( 0%), 70 secs
lola: 11 tries, 10021470 fired transitions, 75 secs
lola: 790 generators;153572007 candidates remain ( 0%), 75 secs
lola: 11 tries, 10691614 fired transitions, 80 secs
lola: 935 generators;153554363 candidates remain ( 0%), 80 secs
lola: 12 tries, 11225767 fired transitions, 85 secs
lola: 1079 generators;153098948 candidates remain ( 0%), 85 secs
lola: 1248 generators;152749065 candidates remain ( 0%), 90 secs
lola: 12 tries, 11848642 fired transitions, 90 secs
lola: 1248 generators;152749065 candidates remain ( 0%), 95 secs
lola: 13 tries, 12306717 fired transitions, 95 secs
lola: 1263 generators;152749050 candidates remain ( 0%), 100 secs
lola: 13 tries, 12704082 fired transitions, 100 secs
lola: 1263 generators;152749050 candidates remain ( 0%), 105 secs
lola: 14 tries, 13113113 fired transitions, 105 secs
lola: 1285 generators;152731578 candidates remain ( 0%), 110 secs
lola: 14 tries, 13494805 fired transitions, 110 secs
lola: 1332 generators;152696636 candidates remain ( 0%), 115 secs
lola: 14 tries, 13856844 fired transitions, 115 secs
lola: 1361 generators;152679161 candidates remain ( 0%), 120 secs
lola: 15 tries, 14223101 fired transitions, 120 secs
lola: 1361 generators;152679161 candidates remain ( 0%), 125 secs
lola: 15 tries, 14594184 fired transitions, 125 secs
lola: 1410 generators;152661780 candidates remain ( 0%), 130 secs
lola: 15 tries, 14897317 fired transitions, 130 secs
lola: 1417 generators;152661773 candidates remain ( 0%), 135 secs
lola: 16 tries, 15384281 fired transitions, 135 secs
lola: 16 tries, 15952712 fired transitions, 140 secs
lola: 1425 generators;152242717 candidates remain ( 0%), 140 secs
lola: 17 tries, 16364781 fired transitions, 145 secs
lola: 1567 generators;152225154 candidates remain ( 0%), 145 secs
lola: 17 tries, 16802123 fired transitions, 150 secs
lola: 1601 generators;152207700 candidates remain ( 0%), 150 secs
lola: 1601 generators;152207700 candidates remain ( 0%), 155 secs
lola: 18 tries, 17202138 fired transitions, 155 secs
lola: 1634 generators;152190247 candidates remain ( 0%), 160 secs
lola: 18 tries, 17883981 fired transitions, 160 secs
lola: 1634 generators;152190247 candidates remain ( 0%), 165 secs
lola: 19 tries, 18265371 fired transitions, 165 secs
lola: 1645 generators;152172817 candidates remain ( 0%), 170 secs
lola: 19 tries, 18798966 fired transitions, 170 secs
lola: 1653 generators;152172809 candidates remain ( 0%), 175 secs
lola: 20 tries, 19176407 fired transitions, 175 secs
lola: 1677 generators;152155365 candidates remain ( 0%), 180 secs
lola: 20 tries, 19547126 fired transitions, 180 secs
lola: 1700 generators;151946104 candidates remain ( 0%), 185 secs
lola: 20 tries, 19945609 fired transitions, 185 secs
lola: 1712 generators;151946092 candidates remain ( 0%), 190 secs
lola: 21 tries, 20489711 fired transitions, 190 secs
lola: 1725 generators;151946079 candidates remain ( 0%), 195 secs
lola: 21 tries, 20874621 fired transitions, 195 secs
lola: 1740 generators;151580229 candidates remain ( 0%), 200 secs
lola: 22 tries, 21471821 fired transitions, 200 secs
lola: 1771 generators;151562814 candidates remain ( 0%), 205 secs
lola: 23 tries, 22001186 fired transitions, 205 secs
lola: 1798 generators;150572154 candidates remain ( 0%), 210 secs
lola: 23 tries, 22564356 fired transitions, 210 secs
lola: 1803 generators;150346778 candidates remain ( 0%), 215 secs
lola: 24 tries, 23182353 fired transitions, 215 secs
lola: 1971 generators;150311983 candidates remain ( 0%), 220 secs
lola: 24 tries, 23684025 fired transitions, 220 secs
lola: 1971 generators;150311983 candidates remain ( 0%), 225 secs
lola: 25 tries, 24153467 fired transitions, 225 secs
lola: 2126 generators;149896131 candidates remain ( 0%), 230 secs
lola: 25 tries, 24588577 fired transitions, 230 secs
lola: 2126 generators;149896131 candidates remain ( 0%), 235 secs
lola: 26 tries, 25038410 fired transitions, 235 secs
lola: 2148 generators;149100838 candidates remain ( 0%), 240 secs
lola: 26 tries, 25415985 fired transitions, 240 secs
lola: 2287 generators;149014396 candidates remain ( 0%), 245 secs
lola: 26 tries, 25859787 fired transitions, 245 secs
lola: 2302 generators;148997145 candidates remain ( 0%), 250 secs
lola: 27 tries, 26353913 fired transitions, 250 secs
lola: 2440 generators;148807317 candidates remain ( 0%), 255 secs
lola: 27 tries, 26738913 fired transitions, 255 secs
lola: 2467 generators;148462487 candidates remain ( 0%), 260 secs
lola: 28 tries, 27199002 fired transitions, 260 secs
lola: 2631 generators;147859969 candidates remain ( 0%), 265 secs
lola: 28 tries, 27680686 fired transitions, 265 secs
lola: 2631 generators;147791214 candidates remain ( 0%), 270 secs
lola: 29 tries, 28132436 fired transitions, 270 secs
lola: 2794 generators;147550615 candidates remain ( 0%), 275 secs
lola: 29 tries, 28629291 fired transitions, 275 secs
lola: 2817 generators;147533440 candidates remain ( 0%), 280 secs
lola: 30 tries, 29176167 fired transitions, 280 secs
lola: 2952 generators;147516154 candidates remain ( 0%), 285 secs
lola: 30 tries, 29884278 fired transitions, 285 secs
lola: 2975 generators;147516131 candidates remain ( 0%), 290 secs
lola: 31 tries, 30672585 fired transitions, 290 secs
lola: 2984 generators;147258613 candidates remain ( 0%), 295 secs
lola: 32 tries, 31209589 fired transitions, 295 secs
lola: 2993 generators;147258604 candidates remain ( 0%), 300 secs
lola: 32 tries, 31743574 fired transitions, 300 secs
lola: 3011 generators;147258586 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: 33 tries, 32329467 fired transitions, 305 secs
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 3011 generators (67 in search tree, 2944 by composition)
lola: representing 6.63646E+79 symmetries
lola: 2 dead branches visited in search tree
lola: 34 tries, 33019758 fired transitions, 310 secs || 16427 markings, 23622 edges, 3285 markings/sec, 310 secs
lola: 34 tries, 33619067 fired transitions, 315 secs || 44939 markings, 67508 edges, 5702 markings/sec, 315 secs
lola: 35 tries, 34358906 fired transitions, 320 secs || 81295 markings, 123420 edges, 7271 markings/sec, 320 secs
lola: 36 tries, 35050095 fired transitions, 325 secs || 117560 markings, 179212 edges, 7253 markings/sec, 325 secs
lola: 36 tries, 35782699 fired transitions, 330 secs || 154286 markings, 235827 edges, 7345 markings/sec, 330 secs
lola: 37 tries, 36515157 fired transitions, 335 secs || 191179 markings, 292496 edges, 7379 markings/sec, 335 secs
lola: 38 tries, 37248833 fired transitions, 340 secs || 227869 markings, 348981 edges, 7338 markings/sec, 340 secs
lola: 38 tries, 37979325 fired transitions, 345 secs || 264449 markings, 405222 edges, 7316 markings/sec, 345 secs
lola: 39 tries, 38709182 fired transitions, 350 secs || 300847 markings, 461428 edges, 7280 markings/sec, 350 secs
lola: 40 tries, 39442089 fired transitions, 355 secs || 336441 markings, 516181 edges, 7119 markings/sec, 355 secs
lola: 41 tries, 40179498 fired transitions, 360 secs || 372209 markings, 571267 edges, 7154 markings/sec, 360 secs
lola: 41 tries, 40909902 fired transitions, 365 secs || 408133 markings, 626505 edges, 7185 markings/sec, 365 secs
lola: 42 tries, 41643319 fired transitions, 370 secs || 444230 markings, 682041 edges, 7219 markings/sec, 370 secs
lola: 43 tries, 42364655 fired transitions, 375 secs || 480322 markings, 737577 edges, 7218 markings/sec, 375 secs
lola: 44 tries, 43096012 fired transitions, 380 secs || 516182 markings, 792737 edges, 7172 markings/sec, 380 secs
lola: 44 tries, 43832437 fired transitions, 385 secs || 551499 markings, 846912 edges, 7063 markings/sec, 385 secs
lola: 45 tries, 44553411 fired transitions, 390 secs || 588045 markings, 903324 edges, 7309 markings/sec, 390 secs
lola: 46 tries, 45292839 fired transitions, 395 secs || 623206 markings, 957628 edges, 7032 markings/sec, 395 secs
lola: 47 tries, 46032464 fired transitions, 400 secs || 658502 markings, 1011972 edges, 7059 markings/sec, 400 secs
lola: 47 tries, 46759064 fired transitions, 405 secs || 694354 markings, 1067137 edges, 7170 markings/sec, 405 secs
lola: 48 tries, 47437779 fired transitions, 410 secs || 727447 markings, 1118008 edges, 6619 markings/sec, 410 secs
lola: 49 tries, 48134807 fired transitions, 415 secs || 763847 markings, 1174005 edges, 7280 markings/sec, 415 secs
lola: 49 tries, 48822097 fired transitions, 420 secs || 799156 markings, 1228398 edges, 7062 markings/sec, 420 secs
lola: 50 tries, 49518372 fired transitions, 425 secs || 835059 markings, 1283586 edges, 7181 markings/sec, 425 secs
lola: 51 tries, 50123556 fired transitions, 430 secs || 866571 markings, 1332286 edges, 6302 markings/sec, 430 secs
lola: 51 tries, 50821011 fired transitions, 435 secs || 901518 markings, 1385759 edges, 6989 markings/sec, 435 secs
lola: 52 tries, 51513882 fired transitions, 440 secs || 937814 markings, 1441915 edges, 7259 markings/sec, 440 secs
lola: 53 tries, 52212223 fired transitions, 445 secs || 972912 markings, 1495916 edges, 7020 markings/sec, 445 secs
lola: 53 tries, 52900691 fired transitions, 450 secs || 1007274 markings, 1548783 edges, 6872 markings/sec, 450 secs
lola: 54 tries, 53590774 fired transitions, 455 secs || 1042207 markings, 1602525 edges, 6987 markings/sec, 455 secs
lola: 55 tries, 54305349 fired transitions, 460 secs || 1077892 markings, 1657436 edges, 7137 markings/sec, 460 secs
lola: 56 tries, 55017022 fired transitions, 465 secs || 1114473 markings, 1713734 edges, 7316 markings/sec, 465 secs
lola: 56 tries, 55758323 fired transitions, 470 secs || 1151275 markings, 1770320 edges, 7360 markings/sec, 470 secs
lola: 57 tries, 56498460 fired transitions, 475 secs || 1188161 markings, 1827126 edges, 7377 markings/sec, 475 secs
lola: 58 tries, 57120985 fired transitions, 480 secs || 1219041 markings, 1874513 edges, 6176 markings/sec, 480 secs
lola: 58 tries, 57501196 fired transitions, 485 secs || 1238460 markings, 1904566 edges, 3884 markings/sec, 485 secs
lola: 58 tries, 57889591 fired transitions, 490 secs || 1257801 markings, 1934350 edges, 3868 markings/sec, 490 secs
lola: 59 tries, 58460275 fired transitions, 495 secs || 1284822 markings, 1975901 edges, 5404 markings/sec, 495 secs
lola: 60 tries, 59165461 fired transitions, 500 secs || 1321007 markings, 2031611 edges, 7237 markings/sec, 500 secs
lola: 60 tries, 59884862 fired transitions, 505 secs || 1356851 markings, 2086744 edges, 7169 markings/sec, 505 secs
lola: 61 tries, 60589431 fired transitions, 510 secs || 1393699 markings, 2143473 edges, 7370 markings/sec, 510 secs
lola: 62 tries, 61269003 fired transitions, 515 secs || 1430637 markings, 2200230 edges, 7388 markings/sec, 515 secs
lola: 62 tries, 61992998 fired transitions, 520 secs || 1467147 markings, 2256421 edges, 7302 markings/sec, 520 secs
lola: 63 tries, 62736973 fired transitions, 525 secs || 1504015 markings, 2313002 edges, 7374 markings/sec, 525 secs
lola: 64 tries, 63443350 fired transitions, 530 secs || 1540186 markings, 2368897 edges, 7234 markings/sec, 530 secs
lola: 65 tries, 64181820 fired transitions, 535 secs || 1576577 markings, 2424885 edges, 7278 markings/sec, 535 secs
lola: 65 tries, 64915270 fired transitions, 540 secs || 1612346 markings, 2479968 edges, 7154 markings/sec, 540 secs
lola: 66 tries, 65580320 fired transitions, 545 secs || 1648349 markings, 2535332 edges, 7201 markings/sec, 545 secs
lola: 67 tries, 66297013 fired transitions, 550 secs || 1683989 markings, 2590137 edges, 7128 markings/sec, 550 secs
lola: 67 tries, 66990329 fired transitions, 555 secs || 1719572 markings, 2644909 edges, 7117 markings/sec, 555 secs
lola: 68 tries, 67682896 fired transitions, 560 secs || 1755329 markings, 2699891 edges, 7151 markings/sec, 560 secs
lola: 69 tries, 68376355 fired transitions, 565 secs || 1790948 markings, 2754754 edges, 7124 markings/sec, 565 secs
lola: 70 tries, 69081650 fired transitions, 570 secs || 1828658 markings, 2812637 edges, 7542 markings/sec, 570 secs
lola: 70 tries, 69805850 fired transitions, 575 secs || 1863594 markings, 2866551 edges, 6987 markings/sec, 575 secs
lola: 71 tries, 70511523 fired transitions, 580 secs || 1898544 markings, 2920323 edges, 6990 markings/sec, 580 secs
lola: 72 tries, 71231288 fired transitions, 585 secs || 1933038 markings, 2973394 edges, 6899 markings/sec, 585 secs
lola: 72 tries, 71707485 fired transitions, 590 secs || 1955991 markings, 3008758 edges, 4591 markings/sec, 590 secs
lola: 73 tries, 72229678 fired transitions, 595 secs || 1982976 markings, 3050285 edges, 5397 markings/sec, 595 secs
lola: 73 tries, 72844466 fired transitions, 600 secs || 2014062 markings, 3098055 edges, 6217 markings/sec, 600 secs
lola: 74 tries, 73305464 fired transitions, 605 secs || 2037716 markings, 3134442 edges, 4731 markings/sec, 605 secs
lola: 74 tries, 73746603 fired transitions, 610 secs || 2061572 markings, 3171146 edges, 4771 markings/sec, 610 secs
lola: 75 tries, 74226610 fired transitions, 615 secs || 2085981 markings, 3208696 edges, 4882 markings/sec, 615 secs
lola: 75 tries, 74575459 fired transitions, 620 secs || 2104155 markings, 3236524 edges, 3635 markings/sec, 620 secs
lola: 75 tries, 74947696 fired transitions, 625 secs || 2123463 markings, 3266308 edges, 3862 markings/sec, 625 secs
lola: 76 tries, 75330826 fired transitions, 630 secs || 2143402 markings, 3297213 edges, 3988 markings/sec, 630 secs
lola: 76 tries, 75713794 fired transitions, 635 secs || 2162740 markings, 3326914 edges, 3868 markings/sec, 635 secs
lola: 77 tries, 76103055 fired transitions, 640 secs || 2181877 markings, 3356454 edges, 3827 markings/sec, 640 secs
lola: 77 tries, 76531734 fired transitions, 645 secs || 2202715 markings, 3388524 edges, 4168 markings/sec, 645 secs
lola: 77 tries, 76949957 fired transitions, 650 secs || 2223995 markings, 3421179 edges, 4256 markings/sec, 650 secs
lola: 78 tries, 77343039 fired transitions, 655 secs || 2243905 markings, 3451807 edges, 3982 markings/sec, 655 secs
lola: 78 tries, 77740452 fired transitions, 660 secs || 2263669 markings, 3482196 edges, 3953 markings/sec, 660 secs
lola: 79 tries, 78210499 fired transitions, 665 secs || 2288337 markings, 3520149 edges, 4934 markings/sec, 665 secs
lola: 79 tries, 78583604 fired transitions, 670 secs || 2307454 markings, 3549557 edges, 3823 markings/sec, 670 secs
lola: 79 tries, 78941617 fired transitions, 675 secs || 2325811 markings, 3577814 edges, 3671 markings/sec, 675 secs
lola: 80 tries, 79592335 fired transitions, 680 secs || 2359134 markings, 3629065 edges, 6665 markings/sec, 680 secs
lola: 81 tries, 80299803 fired transitions, 685 secs || 2395968 markings, 3685567 edges, 7367 markings/sec, 685 secs
lola: 82 tries, 81001261 fired transitions, 690 secs || 2432329 markings, 3741804 edges, 7272 markings/sec, 690 secs
lola: 82 tries, 81692138 fired transitions, 695 secs || 2468972 markings, 3798209 edges, 7329 markings/sec, 695 secs
lola: 83 tries, 82384945 fired transitions, 700 secs || 2505446 markings, 3854295 edges, 7295 markings/sec, 700 secs
lola: 84 tries, 83104838 fired transitions, 705 secs || 2542184 markings, 3910820 edges, 7348 markings/sec, 705 secs
lola: 84 tries, 83666438 fired transitions, 710 secs || 2571816 markings, 3956405 edges, 5926 markings/sec, 710 secs
lola: 85 tries, 84038034 fired transitions, 715 secs || 2591117 markings, 3986097 edges, 3860 markings/sec, 715 secs
lola: 85 tries, 84407441 fired transitions, 720 secs || 2610155 markings, 4015389 edges, 3808 markings/sec, 720 secs
lola: 85 tries, 84934375 fired transitions, 725 secs || 2635785 markings, 4054843 edges, 5126 markings/sec, 725 secs
lola: 86 tries, 85496135 fired transitions, 730 secs || 2664029 markings, 4098266 edges, 5649 markings/sec, 730 secs
lola: 86 tries, 85916111 fired transitions, 735 secs || 2685290 markings, 4131039 edges, 4252 markings/sec, 735 secs
lola: 87 tries, 86264219 fired transitions, 740 secs || 2703335 markings, 4158617 edges, 3609 markings/sec, 740 secs
lola: 87 tries, 86606544 fired transitions, 745 secs || 2720309 markings, 4184869 edges, 3395 markings/sec, 745 secs
lola: 87 tries, 86953547 fired transitions, 750 secs || 2737700 markings, 4211846 edges, 3478 markings/sec, 750 secs
lola: 88 tries, 87302395 fired transitions, 755 secs || 2755551 markings, 4239233 edges, 3570 markings/sec, 755 secs
lola: 88 tries, 87659774 fired transitions, 760 secs || 2773385 markings, 4266665 edges, 3567 markings/sec, 760 secs
lola: 89 tries, 88018228 fired transitions, 765 secs || 2791216 markings, 4294084 edges, 3566 markings/sec, 765 secs
lola: 89 tries, 88387131 fired transitions, 770 secs || 2809783 markings, 4322660 edges, 3713 markings/sec, 770 secs
lola: 89 tries, 88754742 fired transitions, 775 secs || 2828190 markings, 4351009 edges, 3681 markings/sec, 775 secs
lola: 90 tries, 89112218 fired transitions, 780 secs || 2845984 markings, 4378364 edges, 3559 markings/sec, 780 secs
lola: 90 tries, 89553757 fired transitions, 785 secs || 2867956 markings, 4412167 edges, 4394 markings/sec, 785 secs
lola: 91 tries, 90107293 fired transitions, 790 secs || 2897453 markings, 4457524 edges, 5899 markings/sec, 790 secs
lola: 91 tries, 90698734 fired transitions, 795 secs || 2927970 markings, 4504529 edges, 6103 markings/sec, 795 secs
lola: 92 tries, 91236222 fired transitions, 800 secs || 2956029 markings, 4547664 edges, 5612 markings/sec, 800 secs
lola: 92 tries, 91807442 fired transitions, 805 secs || 2984646 markings, 4591663 edges, 5723 markings/sec, 805 secs
lola: 93 tries, 92523643 fired transitions, 810 secs || 3020041 markings, 4646236 edges, 7079 markings/sec, 810 secs
lola: 94 tries, 93247569 fired transitions, 815 secs || 3052959 markings, 4696906 edges, 6584 markings/sec, 815 secs
lola: 94 tries, 93995852 fired transitions, 820 secs || 3087024 markings, 4749350 edges, 6813 markings/sec, 820 secs
lola: 95 tries, 94713012 fired transitions, 825 secs || 3121079 markings, 4801681 edges, 6811 markings/sec, 825 secs
lola: 96 tries, 95438294 fired transitions, 830 secs || 3155233 markings, 4854210 edges, 6831 markings/sec, 830 secs
lola: 97 tries, 96162821 fired transitions, 835 secs || 3189439 markings, 4906834 edges, 6841 markings/sec, 835 secs
lola: 97 tries, 96873938 fired transitions, 840 secs || 3223011 markings, 4958502 edges, 6714 markings/sec, 840 secs
lola: 98 tries, 97604852 fired transitions, 845 secs || 3257280 markings, 5011355 edges, 6854 markings/sec, 845 secs
lola: 99 tries, 98321000 fired transitions, 850 secs || 3293575 markings, 5067131 edges, 7259 markings/sec, 850 secs
lola: 100 tries, 99043327 fired transitions, 855 secs || 3327583 markings, 5119434 edges, 6802 markings/sec, 855 secs
lola: 100 tries, 99781946 fired transitions, 860 secs || 3361426 markings, 5171544 edges, 6769 markings/sec, 860 secs
lola: 101 tries, 100500062 fired transitions, 865 secs || 3395712 markings, 5224247 edges, 6857 markings/sec, 865 secs
lola: 102 tries, 101220551 fired transitions, 870 secs || 3428952 markings, 5275414 edges, 6648 markings/sec, 870 secs
lola: 102 tries, 101935722 fired transitions, 875 secs || 3463333 markings, 5328277 edges, 6876 markings/sec, 875 secs
lola: 103 tries, 102647743 fired transitions, 880 secs || 3495314 markings, 5377529 edges, 6396 markings/sec, 880 secs
lola: 104 tries, 103365843 fired transitions, 885 secs || 3528484 markings, 5428562 edges, 6634 markings/sec, 885 secs
lola: 105 tries, 104087851 fired transitions, 890 secs || 3562049 markings, 5480042 edges, 6713 markings/sec, 890 secs
lola: 105 tries, 104813502 fired transitions, 895 secs || 3597228 markings, 5534314 edges, 7036 markings/sec, 895 secs
lola: 106 tries, 105464388 fired transitions, 900 secs || 3628906 markings, 5583047 edges, 6336 markings/sec, 900 secs
lola: 107 tries, 106186765 fired transitions, 905 secs || 3663916 markings, 5636913 edges, 7002 markings/sec, 905 secs
lola: 107 tries, 106922881 fired transitions, 910 secs || 3699199 markings, 5691216 edges, 7057 markings/sec, 910 secs
lola: 108 tries, 107645145 fired transitions, 915 secs || 3736069 markings, 5747969 edges, 7374 markings/sec, 915 secs
lola: 109 tries, 108298574 fired transitions, 920 secs || 3770423 markings, 5800794 edges, 6871 markings/sec, 920 secs
lola: 110 tries, 109027916 fired transitions, 925 secs || 3807351 markings, 5857576 edges, 7386 markings/sec, 925 secs
lola: 110 tries, 109749070 fired transitions, 930 secs || 3844150 markings, 5914137 edges, 7360 markings/sec, 930 secs
lola: 111 tries, 110476668 fired transitions, 935 secs || 3880956 markings, 5970906 edges, 7361 markings/sec, 935 secs
lola: 112 tries, 111207842 fired transitions, 940 secs || 3916475 markings, 6025575 edges, 7104 markings/sec, 940 secs
lola: 112 tries, 111948052 fired transitions, 945 secs || 3953140 markings, 6081958 edges, 7333 markings/sec, 945 secs
lola: 113 tries, 112682179 fired transitions, 950 secs || 3989141 markings, 6137359 edges, 7200 markings/sec, 950 secs
lola: 114 tries, 113418209 fired transitions, 955 secs || 4026097 markings, 6194178 edges, 7391 markings/sec, 955 secs
lola: 115 tries, 114135718 fired transitions, 960 secs || 4061992 markings, 6249457 edges, 7179 markings/sec, 960 secs
lola: 115 tries, 114841376 fired transitions, 965 secs || 4097844 markings, 6304602 edges, 7170 markings/sec, 965 secs
lola: 116 tries, 115540250 fired transitions, 970 secs || 4134034 markings, 6360140 edges, 7238 markings/sec, 970 secs
lola: 117 tries, 116268606 fired transitions, 975 secs || 4170531 markings, 6416615 edges, 7299 markings/sec, 975 secs
lola: 117 tries, 116678624 fired transitions, 980 secs || 4190380 markings, 6447011 edges, 3970 markings/sec, 980 secs
lola: 118 tries, 117338833 fired transitions, 985 secs || 4224313 markings, 6499202 edges, 6787 markings/sec, 985 secs
lola: 119 tries, 118076220 fired transitions, 990 secs || 4260503 markings, 6554876 edges, 7238 markings/sec, 990 secs
lola: 119 tries, 118810495 fired transitions, 995 secs || 4297309 markings, 6611497 edges, 7361 markings/sec, 995 secs
lola: 120 tries, 119555886 fired transitions, 1000 secs || 4332747 markings, 6666113 edges, 7088 markings/sec, 1000 secs
lola: 121 tries, 120302800 fired transitions, 1005 secs || 4367996 markings, 6720327 edges, 7050 markings/sec, 1005 secs
lola: 121 tries, 120916511 fired transitions, 1010 secs || 4400161 markings, 6769735 edges, 6433 markings/sec, 1010 secs
lola: 122 tries, 121586857 fired transitions, 1015 secs || 4434637 markings, 6822859 edges, 6895 markings/sec, 1015 secs
lola: 123 tries, 122325923 fired transitions, 1020 secs || 4469411 markings, 6876476 edges, 6955 markings/sec, 1020 secs
lola: 124 tries, 123061681 fired transitions, 1025 secs || 4504291 markings, 6930022 edges, 6976 markings/sec, 1025 secs
lola: 124 tries, 123781861 fired transitions, 1030 secs || 4540004 markings, 6984952 edges, 7143 markings/sec, 1030 secs
lola: 125 tries, 124513772 fired transitions, 1035 secs || 4576413 markings, 7040958 edges, 7282 markings/sec, 1035 secs
lola: 126 tries, 125241991 fired transitions, 1040 secs || 4612436 markings, 7096376 edges, 7205 markings/sec, 1040 secs
lola: 126 tries, 125926536 fired transitions, 1045 secs || 4647960 markings, 7151029 edges, 7105 markings/sec, 1045 secs
lola: 127 tries, 126416505 fired transitions, 1050 secs || 4673204 markings, 7189963 edges, 5049 markings/sec, 1050 secs
lola: 127 tries, 126785112 fired transitions, 1055 secs || 4692252 markings, 7219075 edges, 3810 markings/sec, 1055 secs
lola: 128 tries, 127335217 fired transitions, 1060 secs || 4720397 markings, 7262546 edges, 5629 markings/sec, 1060 secs
lola: 129 tries, 128071557 fired transitions, 1065 secs || 4758070 markings, 7320497 edges, 7535 markings/sec, 1065 secs
lola: 129 tries, 128617515 fired transitions, 1070 secs || 4786283 markings, 7363917 edges, 5643 markings/sec, 1070 secs
lola: 130 tries, 129345274 fired transitions, 1075 secs || 4822654 markings, 7419888 edges, 7274 markings/sec, 1075 secs
lola: 131 tries, 130084252 fired transitions, 1080 secs || 4859402 markings, 7476399 edges, 7350 markings/sec, 1080 secs
lola: 131 tries, 130842530 fired transitions, 1085 secs || 4895913 markings, 7532632 edges, 7302 markings/sec, 1085 secs
lola: 132 tries, 131593598 fired transitions, 1090 secs || 4933599 markings, 7590568 edges, 7537 markings/sec, 1090 secs
lola: 133 tries, 132324630 fired transitions, 1095 secs || 4971412 markings, 7648605 edges, 7563 markings/sec, 1095 secs
lola: 134 tries, 133064494 fired transitions, 1100 secs || 5009110 markings, 7706781 edges, 7540 markings/sec, 1100 secs
lola: 134 tries, 133780367 fired transitions, 1105 secs || 5044865 markings, 7761788 edges, 7151 markings/sec, 1105 secs
lola: 135 tries, 134216318 fired transitions, 1110 secs || 5066692 markings, 7795367 edges, 4365 markings/sec, 1110 secs
lola: 135 tries, 134931743 fired transitions, 1115 secs || 5104507 markings, 7853573 edges, 7563 markings/sec, 1115 secs
lola: 136 tries, 135673272 fired transitions, 1120 secs || 5142253 markings, 7911624 edges, 7549 markings/sec, 1120 secs
lola: 137 tries, 136402064 fired transitions, 1125 secs || 5180275 markings, 7970166 edges, 7604 markings/sec, 1125 secs
lola: 137 tries, 136895613 fired transitions, 1130 secs || 5205805 markings, 8009388 edges, 5106 markings/sec, 1130 secs
lola: 138 tries, 137366806 fired transitions, 1135 secs || 5228970 markings, 8045037 edges, 4633 markings/sec, 1135 secs
lola: 139 tries, 138085209 fired transitions, 1140 secs || 5268053 markings, 8105091 edges, 7817 markings/sec, 1140 secs
lola: 139 tries, 138816842 fired transitions, 1145 secs || 5304987 markings, 8162092 edges, 7387 markings/sec, 1145 secs
lola: 140 tries, 139518220 fired transitions, 1150 secs || 5339339 markings, 8214903 edges, 6870 markings/sec, 1150 secs
lola: 141 tries, 140194098 fired transitions, 1155 secs || 5373139 markings, 8266939 edges, 6760 markings/sec, 1155 secs
lola: 141 tries, 140885035 fired transitions, 1160 secs || 5408582 markings, 8321546 edges, 7089 markings/sec, 1160 secs
lola: 142 tries, 141577534 fired transitions, 1165 secs || 5444995 markings, 8377494 edges, 7283 markings/sec, 1165 secs
lola: 143 tries, 142292627 fired transitions, 1170 secs || 5482746 markings, 8435569 edges, 7550 markings/sec, 1170 secs
lola: 144 tries, 143039218 fired transitions, 1175 secs || 5520446 markings, 8493543 edges, 7540 markings/sec, 1175 secs
lola: 144 tries, 143732428 fired transitions, 1180 secs || 5557394 markings, 8550462 edges, 7390 markings/sec, 1180 secs
lola: 145 tries, 144290272 fired transitions, 1185 secs || 5585345 markings, 8593433 edges, 5590 markings/sec, 1185 secs
lola: 145 tries, 144983638 fired transitions, 1190 secs || 5620608 markings, 8647708 edges, 7053 markings/sec, 1190 secs
lola: 146 tries, 145719773 fired transitions, 1195 secs || 5656080 markings, 8702285 edges, 7094 markings/sec, 1195 secs
lola: 147 tries, 146407176 fired transitions, 1200 secs || 5690201 markings, 8754772 edges, 6824 markings/sec, 1200 secs
lola: 148 tries, 147095709 fired transitions, 1205 secs || 5725039 markings, 8808348 edges, 6968 markings/sec, 1205 secs
lola: 148 tries, 147774495 fired transitions, 1210 secs || 5758978 markings, 8860583 edges, 6788 markings/sec, 1210 secs
lola: 149 tries, 148454755 fired transitions, 1215 secs || 5793566 markings, 8913776 edges, 6918 markings/sec, 1215 secs
lola: 150 tries, 149178653 fired transitions, 1220 secs || 5830385 markings, 8970304 edges, 7364 markings/sec, 1220 secs
lola: 150 tries, 149848420 fired transitions, 1225 secs || 5862731 markings, 9020246 edges, 6469 markings/sec, 1225 secs
lola: 151 tries, 150567909 fired transitions, 1230 secs || 5899192 markings, 9076311 edges, 7292 markings/sec, 1230 secs
lola: 152 tries, 151287279 fired transitions, 1235 secs || 5936435 markings, 9133606 edges, 7449 markings/sec, 1235 secs
lola: 153 tries, 152005778 fired transitions, 1240 secs || 5973722 markings, 9191022 edges, 7457 markings/sec, 1240 secs
lola: 153 tries, 152727047 fired transitions, 1245 secs || 6012063 markings, 9249965 edges, 7668 markings/sec, 1245 secs
lola: 154 tries, 153444511 fired transitions, 1250 secs || 6049987 markings, 9308314 edges, 7585 markings/sec, 1250 secs
lola: 155 tries, 154149966 fired transitions, 1255 secs || 6087283 markings, 9365689 edges, 7459 markings/sec, 1255 secs
lola: 155 tries, 154830701 fired transitions, 1260 secs || 6122036 markings, 9419248 edges, 6951 markings/sec, 1260 secs
lola: 156 tries, 155514579 fired transitions, 1265 secs || 6156534 markings, 9472316 edges, 6900 markings/sec, 1265 secs
lola: 157 tries, 156256546 fired transitions, 1270 secs || 6193450 markings, 9529110 edges, 7383 markings/sec, 1270 secs
lola: 157 tries, 156889730 fired transitions, 1275 secs || 6224600 markings, 9577010 edges, 6230 markings/sec, 1275 secs
lola: 158 tries, 157479625 fired transitions, 1280 secs || 6255392 markings, 9624474 edges, 6158 markings/sec, 1280 secs
lola: 159 tries, 158225162 fired transitions, 1285 secs || 6292307 markings, 9681222 edges, 7383 markings/sec, 1285 secs
lola: 159 tries, 158926765 fired transitions, 1290 secs || 6330393 markings, 9739860 edges, 7617 markings/sec, 1290 secs
lola: 160 tries, 159637118 fired transitions, 1295 secs || 6365274 markings, 9793434 edges, 6976 markings/sec, 1295 secs
lola: 161 tries, 160343001 fired transitions, 1300 secs || 6400130 markings, 9847122 edges, 6971 markings/sec, 1300 secs
lola: 162 tries, 161050857 fired transitions, 1305 secs || 6436923 markings, 9903781 edges, 7359 markings/sec, 1305 secs
lola: 162 tries, 161668228 fired transitions, 1310 secs || 6468773 markings, 9952756 edges, 6370 markings/sec, 1310 secs
lola: 163 tries, 162091174 fired transitions, 1315 secs || 6491489 markings, 9987686 edges, 4543 markings/sec, 1315 secs
lola: 163 tries, 162530601 fired transitions, 1320 secs || 6514639 markings, 10023298 edges, 4630 markings/sec, 1320 secs
lola: 164 tries, 163230901 fired transitions, 1325 secs || 6550921 markings, 10079136 edges, 7256 markings/sec, 1325 secs
lola: 164 tries, 163929240 fired transitions, 1330 secs || 6587360 markings, 10135293 edges, 7288 markings/sec, 1330 secs
lola: 165 tries, 164628175 fired transitions, 1335 secs || 6624212 markings, 10191881 edges, 7370 markings/sec, 1335 secs
lola: 166 tries, 165340156 fired transitions, 1340 secs || 6661352 markings, 10249008 edges, 7428 markings/sec, 1340 secs
lola: 167 tries, 166046113 fired transitions, 1345 secs || 6699220 markings, 10307434 edges, 7574 markings/sec, 1345 secs
lola: 167 tries, 166757242 fired transitions, 1350 secs || 6735774 markings, 10363572 edges, 7311 markings/sec, 1350 secs
lola: 168 tries, 167468677 fired transitions, 1355 secs || 6771484 markings, 10418518 edges, 7142 markings/sec, 1355 secs
lola: 169 tries, 168176934 fired transitions, 1360 secs || 6806414 markings, 10472245 edges, 6986 markings/sec, 1360 secs
lola: 169 tries, 168879971 fired transitions, 1365 secs || 6841573 markings, 10526405 edges, 7032 markings/sec, 1365 secs
lola: 170 tries, 169585553 fired transitions, 1370 secs || 6877507 markings, 10581627 edges, 7187 markings/sec, 1370 secs
lola: 171 tries, 170336013 fired transitions, 1375 secs || 6915533 markings, 10640190 edges, 7605 markings/sec, 1375 secs
lola: 172 tries, 171042202 fired transitions, 1380 secs || 6951365 markings, 10695150 edges, 7166 markings/sec, 1380 secs
lola: 172 tries, 171753469 fired transitions, 1385 secs || 6987072 markings, 10750276 edges, 7141 markings/sec, 1385 secs
lola: 173 tries, 172501047 fired transitions, 1390 secs || 7022034 markings, 10804096 edges, 6992 markings/sec, 1390 secs
lola: 174 tries, 173245731 fired transitions, 1395 secs || 7059285 markings, 10861348 edges, 7450 markings/sec, 1395 secs
lola: 174 tries, 173987610 fired transitions, 1400 secs || 7096578 markings, 10918713 edges, 7459 markings/sec, 1400 secs
lola: 175 tries, 174695782 fired transitions, 1405 secs || 7133122 markings, 10974940 edges, 7309 markings/sec, 1405 secs
lola: 176 tries, 175423687 fired transitions, 1410 secs || 7170160 markings, 11031920 edges, 7408 markings/sec, 1410 secs
lola: 177 tries, 176150305 fired transitions, 1415 secs || 7207142 markings, 11088857 edges, 7396 markings/sec, 1415 secs
lola: 177 tries, 176841688 fired transitions, 1420 secs || 7244799 markings, 11146820 edges, 7531 markings/sec, 1420 secs
lola: 178 tries, 177570215 fired transitions, 1425 secs || 7280530 markings, 11201861 edges, 7146 markings/sec, 1425 secs
lola: 179 tries, 178315392 fired transitions, 1430 secs || 7316696 markings, 11257428 edges, 7233 markings/sec, 1430 secs
lola: 180 tries, 179043764 fired transitions, 1435 secs || 7352381 markings, 11312328 edges, 7137 markings/sec, 1435 secs
lola: 180 tries, 179739742 fired transitions, 1440 secs || 7388210 markings, 11367475 edges, 7166 markings/sec, 1440 secs
lola: 181 tries, 180440888 fired transitions, 1445 secs || 7424989 markings, 11424034 edges, 7356 markings/sec, 1445 secs
lola: 182 tries, 181182978 fired transitions, 1450 secs || 7462631 markings, 11481947 edges, 7528 markings/sec, 1450 secs
lola: 182 tries, 181925202 fired transitions, 1455 secs || 7500615 markings, 11540457 edges, 7597 markings/sec, 1455 secs
lola: 183 tries, 182668303 fired transitions, 1460 secs || 7538609 markings, 11598900 edges, 7599 markings/sec, 1460 secs
lola: 184 tries, 183406569 fired transitions, 1465 secs || 7574363 markings, 11653909 edges, 7151 markings/sec, 1465 secs
lola: 185 tries, 184063853 fired transitions, 1470 secs || 7608149 markings, 11706034 edges, 6757 markings/sec, 1470 secs
lola: 185 tries, 184718895 fired transitions, 1475 secs || 7642006 markings, 11757976 edges, 6771 markings/sec, 1475 secs
lola: 186 tries, 185432650 fired transitions, 1480 secs || 7676076 markings, 11810444 edges, 6814 markings/sec, 1480 secs
lola: 187 tries, 186151830 fired transitions, 1485 secs || 7713224 markings, 11867576 edges, 7430 markings/sec, 1485 secs
lola: 187 tries, 186862347 fired transitions, 1490 secs || 7750809 markings, 11925403 edges, 7517 markings/sec, 1490 secs
lola: 188 tries, 187587175 fired transitions, 1495 secs || 7788494 markings, 11983370 edges, 7537 markings/sec, 1495 secs
lola: 189 tries, 188302951 fired transitions, 1500 secs || 7825862 markings, 12040898 edges, 7474 markings/sec, 1500 secs
lola: 190 tries, 189036463 fired transitions, 1505 secs || 7862334 markings, 12097011 edges, 7294 markings/sec, 1505 secs
lola: 190 tries, 189776226 fired transitions, 1510 secs || 7898964 markings, 12153411 edges, 7326 markings/sec, 1510 secs
lola: 191 tries, 190506236 fired transitions, 1515 secs || 7936333 markings, 12210863 edges, 7474 markings/sec, 1515 secs
lola: 192 tries, 191232505 fired transitions, 1520 secs || 7974350 markings, 12269340 edges, 7603 markings/sec, 1520 secs
lola: 192 tries, 191952617 fired transitions, 1525 secs || 8012554 markings, 12328120 edges, 7641 markings/sec, 1525 secs
lola: 193 tries, 192678154 fired transitions, 1530 secs || 8050606 markings, 12386695 edges, 7610 markings/sec, 1530 secs
lola: 194 tries, 193291498 fired transitions, 1535 secs || 8081534 markings, 12434261 edges, 6186 markings/sec, 1535 secs
lola: 194 tries, 193826949 fired transitions, 1540 secs || 8106689 markings, 12473073 edges, 5031 markings/sec, 1540 secs
lola: 195 tries, 194550918 fired transitions, 1545 secs || 8142272 markings, 12527825 edges, 7117 markings/sec, 1545 secs
lola: 196 tries, 195268743 fired transitions, 1550 secs || 8177769 markings, 12582434 edges, 7099 markings/sec, 1550 secs
lola: 196 tries, 195987990 fired transitions, 1555 secs || 8212092 markings, 12635290 edges, 6865 markings/sec, 1555 secs
lola: 197 tries, 196713224 fired transitions, 1560 secs || 8248195 markings, 12690788 edges, 7221 markings/sec, 1560 secs
lola: 198 tries, 197442971 fired transitions, 1565 secs || 8284137 markings, 12746110 edges, 7188 markings/sec, 1565 secs
lola: 199 tries, 198167012 fired transitions, 1570 secs || 8320164 markings, 12801502 edges, 7205 markings/sec, 1570 secs
lola: 199 tries, 198898453 fired transitions, 1575 secs || 8356156 markings, 12856775 edges, 7198 markings/sec, 1575 secs
lola: 200 tries, 199623051 fired transitions, 1580 secs || 8391242 markings, 12910898 edges, 7017 markings/sec, 1580 secs
lola: 201 tries, 200334198 fired transitions, 1585 secs || 8425890 markings, 12964312 edges, 6930 markings/sec, 1585 secs
lola: 202 tries, 201047195 fired transitions, 1590 secs || 8460579 markings, 13017558 edges, 6938 markings/sec, 1590 secs
lola: 202 tries, 201782168 fired transitions, 1595 secs || 8494596 markings, 13069959 edges, 6803 markings/sec, 1595 secs
lola: 203 tries, 202496369 fired transitions, 1600 secs || 8530075 markings, 13124519 edges, 7096 markings/sec, 1600 secs
lola: 204 tries, 203219117 fired transitions, 1605 secs || 8565653 markings, 13179211 edges, 7116 markings/sec, 1605 secs
lola: 204 tries, 203925789 fired transitions, 1610 secs || 8600433 markings, 13232812 edges, 6956 markings/sec, 1610 secs
lola: 205 tries, 204625459 fired transitions, 1615 secs || 8635013 markings, 13285969 edges, 6916 markings/sec, 1615 secs
lola: 206 tries, 205340420 fired transitions, 1620 secs || 8669463 markings, 13338922 edges, 6890 markings/sec, 1620 secs
lola: 207 tries, 206040141 fired transitions, 1625 secs || 8703522 markings, 13391348 edges, 6812 markings/sec, 1625 secs
lola: 207 tries, 206740268 fired transitions, 1630 secs || 8737672 markings, 13443928 edges, 6830 markings/sec, 1630 secs
lola: 208 tries, 207440755 fired transitions, 1635 secs || 8771896 markings, 13496514 edges, 6845 markings/sec, 1635 secs
lola: 209 tries, 208174914 fired transitions, 1640 secs || 8808263 markings, 13552555 edges, 7273 markings/sec, 1640 secs
lola: 209 tries, 208758005 fired transitions, 1645 secs || 8836512 markings, 13595950 edges, 5650 markings/sec, 1645 secs
lola: 210 tries, 209267291 fired transitions, 1650 secs || 8861157 markings, 13633887 edges, 4929 markings/sec, 1650 secs
lola: 210 tries, 209779489 fired transitions, 1655 secs || 8884118 markings, 13669214 edges, 4592 markings/sec, 1655 secs
lola: 211 tries, 210281556 fired transitions, 1660 secs || 8908338 markings, 13706336 edges, 4844 markings/sec, 1660 secs
lola: 211 tries, 210677875 fired transitions, 1665 secs || 8927285 markings, 13735623 edges, 3789 markings/sec, 1665 secs
lola: 212 tries, 211270926 fired transitions, 1670 secs || 8954568 markings, 13777602 edges, 5457 markings/sec, 1670 secs
lola: 212 tries, 211953182 fired transitions, 1675 secs || 8987754 markings, 13828672 edges, 6637 markings/sec, 1675 secs
lola: 213 tries, 212329995 fired transitions, 1680 secs || 9006191 markings, 13857050 edges, 3687 markings/sec, 1680 secs
lola: 213 tries, 212710021 fired transitions, 1685 secs || 9024668 markings, 13885466 edges, 3695 markings/sec, 1685 secs
lola: 214 tries, 213093272 fired transitions, 1690 secs || 9043286 markings, 13914067 edges, 3724 markings/sec, 1690 secs
lola: 214 tries, 213486222 fired transitions, 1695 secs || 9062801 markings, 13944094 edges, 3903 markings/sec, 1695 secs
lola: 215 tries, 214088625 fired transitions, 1700 secs || 9093271 markings, 13990994 edges, 6094 markings/sec, 1700 secs
lola: 215 tries, 214572278 fired transitions, 1705 secs || 9117710 markings, 14028616 edges, 4888 markings/sec, 1705 secs
lola: 216 tries, 215257213 fired transitions, 1710 secs || 9150105 markings, 14078405 edges, 6479 markings/sec, 1710 secs
lola: 216 tries, 215975227 fired transitions, 1715 secs || 9186208 markings, 14134034 edges, 7221 markings/sec, 1715 secs
lola: 217 tries, 216693508 fired transitions, 1720 secs || 9221160 markings, 14187817 edges, 6990 markings/sec, 1720 secs
lola: 218 tries, 217434368 fired transitions, 1725 secs || 9255476 markings, 14240577 edges, 6863 markings/sec, 1725 secs
lola: 219 tries, 218111233 fired transitions, 1730 secs || 9287422 markings, 14289697 edges, 6389 markings/sec, 1730 secs
lola: 219 tries, 218475172 fired transitions, 1735 secs || 9304976 markings, 14316704 edges, 3511 markings/sec, 1735 secs
lola: 220 tries, 219157617 fired transitions, 1740 secs || 9338934 markings, 14368970 edges, 6792 markings/sec, 1740 secs
lola: 220 tries, 219796059 fired transitions, 1745 secs || 9370910 markings, 14418188 edges, 6395 markings/sec, 1745 secs
lola: 221 tries, 220506288 fired transitions, 1750 secs || 9407193 markings, 14474004 edges, 7257 markings/sec, 1750 secs
lola: 222 tries, 221076924 fired transitions, 1755 secs || 9434381 markings, 14515799 edges, 5438 markings/sec, 1755 secs
lola: 222 tries, 221793936 fired transitions, 1760 secs || 9468984 markings, 14569078 edges, 6921 markings/sec, 1760 secs
lola: 223 tries, 222502224 fired transitions, 1765 secs || 9503929 markings, 14622819 edges, 6989 markings/sec, 1765 secs
lola: 224 tries, 223230008 fired transitions, 1770 secs || 9538328 markings, 14675751 edges, 6880 markings/sec, 1770 secs
lola: 224 tries, 223939941 fired transitions, 1775 secs || 9573049 markings, 14729161 edges, 6944 markings/sec, 1775 secs
lola: 225 tries, 224587079 fired transitions, 1780 secs || 9605103 markings, 14778473 edges, 6411 markings/sec, 1780 secs
lola: 226 tries, 225318428 fired transitions, 1785 secs || 9641840 markings, 14835018 edges, 7347 markings/sec, 1785 secs
lola: 227 tries, 226014300 fired transitions, 1790 secs || 9677262 markings, 14889507 edges, 7084 markings/sec, 1790 secs
lola: 227 tries, 226670141 fired transitions, 1795 secs || 9712029 markings, 14942983 edges, 6953 markings/sec, 1795 secs
lola: 228 tries, 227318784 fired transitions, 1800 secs || 9743729 markings, 14991788 edges, 6340 markings/sec, 1800 secs
lola: 229 tries, 228042583 fired transitions, 1805 secs || 9779658 markings, 15047064 edges, 7186 markings/sec, 1805 secs
lola: 229 tries, 228761132 fired transitions, 1810 secs || 9815433 markings, 15102095 edges, 7155 markings/sec, 1810 secs
lola: 230 tries, 229480963 fired transitions, 1815 secs || 9850777 markings, 15156552 edges, 7069 markings/sec, 1815 secs
lola: 231 tries, 230201663 fired transitions, 1820 secs || 9886618 markings, 15211627 edges, 7168 markings/sec, 1820 secs
lola: 231 tries, 230932254 fired transitions, 1825 secs || 9922878 markings, 15267391 edges, 7252 markings/sec, 1825 secs
lola: 232 tries, 231656922 fired transitions, 1830 secs || 9959734 markings, 15324098 edges, 7371 markings/sec, 1830 secs
lola: 233 tries, 232387197 fired transitions, 1835 secs || 9996185 markings, 15380361 edges, 7290 markings/sec, 1835 secs
lola: 234 tries, 233103946 fired transitions, 1840 secs || 10032203 markings, 15435622 edges, 7204 markings/sec, 1840 secs
lola: 234 tries, 233822709 fired transitions, 1845 secs || 10068280 markings, 15491120 edges, 7215 markings/sec, 1845 secs
lola: 235 tries, 234539154 fired transitions, 1850 secs || 10104830 markings, 15547393 edges, 7310 markings/sec, 1850 secs
lola: 236 tries, 235247452 fired transitions, 1855 secs || 10140177 markings, 15601773 edges, 7069 markings/sec, 1855 secs
lola: 236 tries, 235949011 fired transitions, 1860 secs || 10175555 markings, 15656173 edges, 7076 markings/sec, 1860 secs
lola: 237 tries, 236640210 fired transitions, 1865 secs || 10210758 markings, 15710344 edges, 7041 markings/sec, 1865 secs
lola: 238 tries, 237331262 fired transitions, 1870 secs || 10246114 markings, 15764738 edges, 7071 markings/sec, 1870 secs
lola: 238 tries, 237903126 fired transitions, 1875 secs || 10276237 markings, 15810959 edges, 6025 markings/sec, 1875 secs
lola: 239 tries, 238642140 fired transitions, 1880 secs || 10311390 markings, 15865353 edges, 7031 markings/sec, 1880 secs
lola: 240 tries, 239382294 fired transitions, 1885 secs || 10346045 markings, 15918498 edges, 6931 markings/sec, 1885 secs
lola: 241 tries, 240120482 fired transitions, 1890 secs || 10380781 markings, 15971932 edges, 6947 markings/sec, 1890 secs
lola: 241 tries, 240854622 fired transitions, 1895 secs || 10416637 markings, 16027105 edges, 7171 markings/sec, 1895 secs
lola: 242 tries, 241545883 fired transitions, 1900 secs || 10451553 markings, 16080835 edges, 6983 markings/sec, 1900 secs
lola: 243 tries, 242267174 fired transitions, 1905 secs || 10488274 markings, 16137336 edges, 7344 markings/sec, 1905 secs
lola: 243 tries, 242991998 fired transitions, 1910 secs || 10525544 markings, 16194719 edges, 7454 markings/sec, 1910 secs
lola: 244 tries, 243739538 fired transitions, 1915 secs || 10561950 markings, 16250735 edges, 7281 markings/sec, 1915 secs
lola: 245 tries, 244488129 fired transitions, 1920 secs || 10597053 markings, 16304746 edges, 7021 markings/sec, 1920 secs
lola: 246 tries, 245231344 fired transitions, 1925 secs || 10632154 markings, 16358691 edges, 7020 markings/sec, 1925 secs
lola: 246 tries, 245954792 fired transitions, 1930 secs || 10667408 markings, 16412931 edges, 7051 markings/sec, 1930 secs
lola: 247 tries, 246683799 fired transitions, 1935 secs || 10702632 markings, 16467114 edges, 7045 markings/sec, 1935 secs
lola: 248 tries, 247391799 fired transitions, 1940 secs || 10737802 markings, 16521247 edges, 7034 markings/sec, 1940 secs
lola: 249 tries, 248104758 fired transitions, 1945 secs || 10773702 markings, 16576507 edges, 7180 markings/sec, 1945 secs
lola: 249 tries, 248780426 fired transitions, 1950 secs || 10808222 markings, 16629565 edges, 6904 markings/sec, 1950 secs
lola: 250 tries, 249523038 fired transitions, 1955 secs || 10844927 markings, 16686033 edges, 7341 markings/sec, 1955 secs
lola: 251 tries, 250271913 fired transitions, 1960 secs || 10879857 markings, 16739821 edges, 6986 markings/sec, 1960 secs
lola: 252 tries, 251014244 fired transitions, 1965 secs || 10915541 markings, 16794675 edges, 7137 markings/sec, 1965 secs
lola: 252 tries, 251747569 fired transitions, 1970 secs || 10950876 markings, 16849052 edges, 7067 markings/sec, 1970 secs
lola: 253 tries, 252346837 fired transitions, 1975 secs || 10980736 markings, 16895043 edges, 5972 markings/sec, 1975 secs
lola: 253 tries, 252965394 fired transitions, 1980 secs || 11011706 markings, 16942677 edges, 6194 markings/sec, 1980 secs
lola: 254 tries, 253679335 fired transitions, 1985 secs || 11048681 markings, 16999530 edges, 7395 markings/sec, 1985 secs
lola: 255 tries, 254398053 fired transitions, 1990 secs || 11085387 markings, 17055975 edges, 7341 markings/sec, 1990 secs
lola: 256 tries, 255107383 fired transitions, 1995 secs || 11121107 markings, 17111002 edges, 7144 markings/sec, 1995 secs
lola: 256 tries, 255833144 fired transitions, 2000 secs || 11156679 markings, 17165689 edges, 7114 markings/sec, 2000 secs
lola: 257 tries, 256562037 fired transitions, 2005 secs || 11192448 markings, 17220763 edges, 7154 markings/sec, 2005 secs
lola: 258 tries, 257287731 fired transitions, 2010 secs || 11228191 markings, 17275707 edges, 7149 markings/sec, 2010 secs
lola: 259 tries, 258009433 fired transitions, 2015 secs || 11265313 markings, 17332822 edges, 7424 markings/sec, 2015 secs
lola: 259 tries, 258734359 fired transitions, 2020 secs || 11302274 markings, 17389678 edges, 7392 markings/sec, 2020 secs
lola: 260 tries, 259423990 fired transitions, 2025 secs || 11337339 markings, 17443629 edges, 7013 markings/sec, 2025 secs
lola: 261 tries, 260124945 fired transitions, 2030 secs || 11375215 markings, 17501808 edges, 7575 markings/sec, 2030 secs
lola: 261 tries, 260827388 fired transitions, 2035 secs || 11411621 markings, 17557938 edges, 7281 markings/sec, 2035 secs
lola: 262 tries, 261519657 fired transitions, 2040 secs || 11447399 markings, 17612983 edges, 7156 markings/sec, 2040 secs
lola: 263 tries, 262221970 fired transitions, 2045 secs || 11483249 markings, 17668165 edges, 7170 markings/sec, 2045 secs
lola: 263 tries, 262941033 fired transitions, 2050 secs || 11519355 markings, 17723729 edges, 7221 markings/sec, 2050 secs
lola: 264 tries, 263440597 fired transitions, 2055 secs || 11545456 markings, 17763912 edges, 5220 markings/sec, 2055 secs
lola: 265 tries, 264163100 fired transitions, 2060 secs || 11582423 markings, 17820732 edges, 7393 markings/sec, 2060 secs
lola: 265 tries, 264885533 fired transitions, 2065 secs || 11619508 markings, 17877801 edges, 7417 markings/sec, 2065 secs
lola: 266 tries, 265381253 fired transitions, 2070 secs || 11645498 markings, 17917664 edges, 5198 markings/sec, 2070 secs
lola: 266 tries, 265784500 fired transitions, 2075 secs || 11666232 markings, 17949680 edges, 4147 markings/sec, 2075 secs
lola: 267 tries, 266512923 fired transitions, 2080 secs || 11701881 markings, 18004578 edges, 7130 markings/sec, 2080 secs
lola: 268 tries, 267243647 fired transitions, 2085 secs || 11737527 markings, 18059368 edges, 7129 markings/sec, 2085 secs
lola: 268 tries, 267973523 fired transitions, 2090 secs || 11772870 markings, 18113772 edges, 7069 markings/sec, 2090 secs
lola: 269 tries, 268692874 fired transitions, 2095 secs || 11809719 markings, 18170456 edges, 7370 markings/sec, 2095 secs
lola: 270 tries, 269400321 fired transitions, 2100 secs || 11846706 markings, 18227368 edges, 7397 markings/sec, 2100 secs
lola: 271 tries, 270096320 fired transitions, 2105 secs || 11883598 markings, 18284099 edges, 7378 markings/sec, 2105 secs
lola: 271 tries, 270796561 fired transitions, 2110 secs || 11920695 markings, 18341065 edges, 7419 markings/sec, 2110 secs
lola: 272 tries, 271499622 fired transitions, 2115 secs || 11957101 markings, 18397207 edges, 7281 markings/sec, 2115 secs
lola: 273 tries, 272196442 fired transitions, 2120 secs || 11991774 markings, 18450620 edges, 6935 markings/sec, 2120 secs
lola: 273 tries, 272906807 fired transitions, 2125 secs || 12027722 markings, 18505885 edges, 7190 markings/sec, 2125 secs
lola: 274 tries, 273614169 fired transitions, 2130 secs || 12061593 markings, 18558003 edges, 6774 markings/sec, 2130 secs
lola: 275 tries, 274302147 fired transitions, 2135 secs || 12097046 markings, 18612510 edges, 7091 markings/sec, 2135 secs
lola: 275 tries, 274976039 fired transitions, 2140 secs || 12131437 markings, 18665415 edges, 6878 markings/sec, 2140 secs
lola: 276 tries, 275713858 fired transitions, 2145 secs || 12167512 markings, 18720920 edges, 7215 markings/sec, 2145 secs
lola: 277 tries, 276405844 fired transitions, 2150 secs || 12204032 markings, 18777168 edges, 7304 markings/sec, 2150 secs
lola: 278 tries, 277100773 fired transitions, 2155 secs || 12240316 markings, 18832989 edges, 7257 markings/sec, 2155 secs
lola: 278 tries, 277823706 fired transitions, 2160 secs || 12276069 markings, 18888045 edges, 7151 markings/sec, 2160 secs
lola: 279 tries, 278522519 fired transitions, 2165 secs || 12312630 markings, 18944215 edges, 7312 markings/sec, 2165 secs
lola: 280 tries, 279234526 fired transitions, 2170 secs || 12347103 markings, 18997292 edges, 6895 markings/sec, 2170 secs
lola: 280 tries, 279932230 fired transitions, 2175 secs || 12381761 markings, 19050570 edges, 6932 markings/sec, 2175 secs
lola: 281 tries, 280332361 fired transitions, 2180 secs || 12401474 markings, 19080939 edges, 3943 markings/sec, 2180 secs
lola: 281 tries, 280785345 fired transitions, 2185 secs || 12424544 markings, 19116445 edges, 4614 markings/sec, 2185 secs
lola: 282 tries, 281155560 fired transitions, 2190 secs || 12443311 markings, 19145311 edges, 3753 markings/sec, 2190 secs
lola: 282 tries, 281548930 fired transitions, 2195 secs || 12462662 markings, 19175310 edges, 3870 markings/sec, 2195 secs
lola: 283 tries, 282238837 fired transitions, 2200 secs || 12496068 markings, 19226573 edges, 6681 markings/sec, 2200 secs
lola: 283 tries, 282997705 fired transitions, 2205 secs || 12532452 markings, 19282480 edges, 7277 markings/sec, 2205 secs
lola: 284 tries, 283703873 fired transitions, 2210 secs || 12567375 markings, 19336189 edges, 6985 markings/sec, 2210 secs
lola: 285 tries, 284402094 fired transitions, 2215 secs || 12603239 markings, 19391343 edges, 7173 markings/sec, 2215 secs
lola: 286 tries, 285097489 fired transitions, 2220 secs || 12640476 markings, 19448647 edges, 7447 markings/sec, 2220 secs
lola: 286 tries, 285835860 fired transitions, 2225 secs || 12678045 markings, 19506471 edges, 7514 markings/sec, 2225 secs
lola: 287 tries, 286407512 fired transitions, 2230 secs || 12708446 markings, 19553217 edges, 6080 markings/sec, 2230 secs
lola: 287 tries, 286793754 fired transitions, 2235 secs || 12727782 markings, 19582974 edges, 3867 markings/sec, 2235 secs
lola: 288 tries, 287195686 fired transitions, 2240 secs || 12748498 markings, 19614897 edges, 4143 markings/sec, 2240 secs
lola: 288 tries, 287869682 fired transitions, 2245 secs || 12781640 markings, 19665890 edges, 6628 markings/sec, 2245 secs
lola: 289 tries, 288374668 fired transitions, 2250 secs || 12805354 markings, 19702394 edges, 4743 markings/sec, 2250 secs
lola: 290 tries, 289053191 fired transitions, 2255 secs || 12838422 markings, 19753215 edges, 6614 markings/sec, 2255 secs
lola: 290 tries, 289720465 fired transitions, 2260 secs || 12869261 markings, 19800649 edges, 6168 markings/sec, 2260 secs
lola: 291 tries, 290245323 fired transitions, 2265 secs || 12896278 markings, 19842206 edges, 5403 markings/sec, 2265 secs
lola: 291 tries, 290641876 fired transitions, 2270 secs || 12916042 markings, 19872611 edges, 3953 markings/sec, 2270 secs
lola: 292 tries, 291330031 fired transitions, 2275 secs || 12951342 markings, 19926912 edges, 7060 markings/sec, 2275 secs
lola: 293 tries, 292030101 fired transitions, 2280 secs || 12986630 markings, 19981213 edges, 7058 markings/sec, 2280 secs
lola: 293 tries, 292731905 fired transitions, 2285 secs || 13021951 markings, 20035522 edges, 7064 markings/sec, 2285 secs
lola: 294 tries, 293436995 fired transitions, 2290 secs || 13054413 markings, 20085589 edges, 6492 markings/sec, 2290 secs
lola: 295 tries, 294142328 fired transitions, 2295 secs || 13086794 markings, 20135380 edges, 6476 markings/sec, 2295 secs
lola: 295 tries, 294884584 fired transitions, 2300 secs || 13120174 markings, 20186737 edges, 6676 markings/sec, 2300 secs
lola: 296 tries, 295656021 fired transitions, 2305 secs || 13153864 markings, 20238568 edges, 6738 markings/sec, 2305 secs
lola: 297 tries, 296430261 fired transitions, 2310 secs || 13186959 markings, 20289513 edges, 6619 markings/sec, 2310 secs
lola: 298 tries, 297204939 fired transitions, 2315 secs || 13220006 markings, 20340378 edges, 6609 markings/sec, 2315 secs
lola: 298 tries, 297979023 fired transitions, 2320 secs || 13253308 markings, 20391609 edges, 6660 markings/sec, 2320 secs
lola: 299 tries, 298749818 fired transitions, 2325 secs || 13286775 markings, 20443045 edges, 6693 markings/sec, 2325 secs
lola: 300 tries, 299519292 fired transitions, 2330 secs || 13319859 markings, 20493987 edges, 6617 markings/sec, 2330 secs
lola: 301 tries, 300229181 fired transitions, 2335 secs || 13354457 markings, 20547207 edges, 6920 markings/sec, 2335 secs
lola: 301 tries, 300723625 fired transitions, 2340 secs || 13378404 markings, 20584048 edges, 4789 markings/sec, 2340 secs
lola: 302 tries, 301434557 fired transitions, 2345 secs || 13413379 markings, 20637876 edges, 6995 markings/sec, 2345 secs
lola: 303 tries, 302145664 fired transitions, 2350 secs || 13448552 markings, 20691966 edges, 7035 markings/sec, 2350 secs
lola: 303 tries, 302853887 fired transitions, 2355 secs || 13483505 markings, 20745760 edges, 6991 markings/sec, 2355 secs
lola: 304 tries, 303564927 fired transitions, 2360 secs || 13518264 markings, 20799248 edges, 6952 markings/sec, 2360 secs
lola: 305 tries, 304264814 fired transitions, 2365 secs || 13552183 markings, 20851404 edges, 6784 markings/sec, 2365 secs
lola: 305 tries, 304965551 fired transitions, 2370 secs || 13586499 markings, 20904343 edges, 6863 markings/sec, 2370 secs
lola: 306 tries, 305680949 fired transitions, 2375 secs || 13620412 markings, 20956394 edges, 6783 markings/sec, 2375 secs
lola: 307 tries, 306406846 fired transitions, 2380 secs || 13654728 markings, 21009220 edges, 6863 markings/sec, 2380 secs
lola: 308 tries, 307122801 fired transitions, 2385 secs || 13689444 markings, 21062631 edges, 6943 markings/sec, 2385 secs
lola: 308 tries, 307657095 fired transitions, 2390 secs || 13714578 markings, 21101291 edges, 5027 markings/sec, 2390 secs
lola: 309 tries, 308387494 fired transitions, 2395 secs || 13749762 markings, 21155425 edges, 7037 markings/sec, 2395 secs
lola: 310 tries, 309121927 fired transitions, 2400 secs || 13784831 markings, 21209419 edges, 7014 markings/sec, 2400 secs
lola: 310 tries, 309848525 fired transitions, 2405 secs || 13819967 markings, 21263436 edges, 7027 markings/sec, 2405 secs
lola: 311 tries, 310578720 fired transitions, 2410 secs || 13854692 markings, 21316866 edges, 6945 markings/sec, 2410 secs
lola: 312 tries, 311293324 fired transitions, 2415 secs || 13888413 markings, 21368742 edges, 6744 markings/sec, 2415 secs
lola: 313 tries, 312007634 fired transitions, 2420 secs || 13922453 markings, 21421114 edges, 6808 markings/sec, 2420 secs
lola: 313 tries, 312736016 fired transitions, 2425 secs || 13956304 markings, 21473214 edges, 6770 markings/sec, 2425 secs
lola: 314 tries, 313471287 fired transitions, 2430 secs || 13990016 markings, 21525098 edges, 6742 markings/sec, 2430 secs
lola: 315 tries, 314201437 fired transitions, 2435 secs || 14024052 markings, 21577417 edges, 6807 markings/sec, 2435 secs
lola: 315 tries, 314647879 fired transitions, 2440 secs || 14045011 markings, 21609673 edges, 4192 markings/sec, 2440 secs
lola: 316 tries, 315031247 fired transitions, 2445 secs || 14062975 markings, 21637308 edges, 3593 markings/sec, 2445 secs
lola: 316 tries, 315484273 fired transitions, 2450 secs || 14083174 markings, 21668373 edges, 4040 markings/sec, 2450 secs
lola: 316 tries, 315976724 fired transitions, 2455 secs || 14105956 markings, 21703422 edges, 4556 markings/sec, 2455 secs
lola: 317 tries, 316567583 fired transitions, 2460 secs || 14135947 markings, 21749561 edges, 5998 markings/sec, 2460 secs
lola: 318 tries, 317150420 fired transitions, 2465 secs || 14164579 markings, 21793660 edges, 5726 markings/sec, 2465 secs
lola: 318 tries, 317845131 fired transitions, 2470 secs || 14200366 markings, 21848704 edges, 7157 markings/sec, 2470 secs
lola: 319 tries, 318285757 fired transitions, 2475 secs || 14221659 markings, 21881475 edges, 4259 markings/sec, 2475 secs
lola: 319 tries, 318853392 fired transitions, 2480 secs || 14249421 markings, 21924145 edges, 5552 markings/sec, 2480 secs
lola: 320 tries, 319541921 fired transitions, 2485 secs || 14284170 markings, 21977604 edges, 6950 markings/sec, 2485 secs
lola: 321 tries, 320150403 fired transitions, 2490 secs || 14315260 markings, 22025451 edges, 6218 markings/sec, 2490 secs
lola: 321 tries, 320771038 fired transitions, 2495 secs || 14347879 markings, 22075664 edges, 6524 markings/sec, 2495 secs
lola: 322 tries, 321159818 fired transitions, 2500 secs || 14367038 markings, 22105101 edges, 3832 markings/sec, 2500 secs
lola: 322 tries, 321551868 fired transitions, 2505 secs || 14386282 markings, 22134601 edges, 3849 markings/sec, 2505 secs
lola: 322 tries, 321942914 fired transitions, 2510 secs || 14405539 markings, 22164369 edges, 3851 markings/sec, 2510 secs
lola: 323 tries, 322328936 fired transitions, 2515 secs || 14424226 markings, 22193107 edges, 3737 markings/sec, 2515 secs
lola: 323 tries, 322707601 fired transitions, 2520 secs || 14442380 markings, 22221083 edges, 3631 markings/sec, 2520 secs
lola: 324 tries, 323086481 fired transitions, 2525 secs || 14460427 markings, 22248801 edges, 3609 markings/sec, 2525 secs
lola: 324 tries, 323466296 fired transitions, 2530 secs || 14478820 markings, 22277095 edges, 3679 markings/sec, 2530 secs
lola: 324 tries, 323986571 fired transitions, 2535 secs || 14504240 markings, 22316311 edges, 5084 markings/sec, 2535 secs
lola: 325 tries, 324683181 fired transitions, 2540 secs || 14539224 markings, 22370029 edges, 6997 markings/sec, 2540 secs
lola: 326 tries, 325400046 fired transitions, 2545 secs || 14574884 markings, 22425037 edges, 7132 markings/sec, 2545 secs
lola: 327 tries, 326100761 fired transitions, 2550 secs || 14609647 markings, 22478412 edges, 6953 markings/sec, 2550 secs
lola: 327 tries, 326803073 fired transitions, 2555 secs || 14645306 markings, 22533238 edges, 7132 markings/sec, 2555 secs
lola: 328 tries, 327511446 fired transitions, 2560 secs || 14681510 markings, 22588990 edges, 7241 markings/sec, 2560 secs
lola: 329 tries, 328210697 fired transitions, 2565 secs || 14714596 markings, 22639862 edges, 6617 markings/sec, 2565 secs
lola: 329 tries, 328911288 fired transitions, 2570 secs || 14748532 markings, 22692097 edges, 6787 markings/sec, 2570 secs
lola: 330 tries, 329611151 fired transitions, 2575 secs || 14782384 markings, 22744271 edges, 6770 markings/sec, 2575 secs
lola: 331 tries, 330310036 fired transitions, 2580 secs || 14816645 markings, 22796870 edges, 6852 markings/sec, 2580 secs
lola: 332 tries, 331006310 fired transitions, 2585 secs || 14852506 markings, 22852058 edges, 7172 markings/sec, 2585 secs
lola: 332 tries, 331692949 fired transitions, 2590 secs || 14888530 markings, 22907456 edges, 7205 markings/sec, 2590 secs
lola: 333 tries, 332371771 fired transitions, 2595 secs || 14924459 markings, 22962744 edges, 7186 markings/sec, 2595 secs
lola: 334 tries, 333051232 fired transitions, 2600 secs || 14959680 markings, 23016947 edges, 7044 markings/sec, 2600 secs
lola: 334 tries, 333766644 fired transitions, 2605 secs || 14994197 markings, 23070073 edges, 6903 markings/sec, 2605 secs
lola: 335 tries, 334362389 fired transitions, 2610 secs || 15023259 markings, 23114911 edges, 5812 markings/sec, 2610 secs
lola: 336 tries, 335067683 fired transitions, 2615 secs || 15057770 markings, 23167927 edges, 6902 markings/sec, 2615 secs
lola: 336 tries, 335734706 fired transitions, 2620 secs || 15090324 markings, 23217990 edges, 6511 markings/sec, 2620 secs
lola: 337 tries, 336435566 fired transitions, 2625 secs || 15125448 markings, 23272027 edges, 7025 markings/sec, 2625 secs
lola: 338 tries, 337136482 fired transitions, 2630 secs || 15160486 markings, 23325965 edges, 7008 markings/sec, 2630 secs
lola: 338 tries, 337838151 fired transitions, 2635 secs || 15195574 markings, 23379870 edges, 7018 markings/sec, 2635 secs
lola: 339 tries, 338553794 fired transitions, 2640 secs || 15229483 markings, 23432064 edges, 6782 markings/sec, 2640 secs
lola: 340 tries, 339285205 fired transitions, 2645 secs || 15263696 markings, 23484703 edges, 6843 markings/sec, 2645 secs
lola: 341 tries, 340018188 fired transitions, 2650 secs || 15297541 markings, 23536913 edges, 6769 markings/sec, 2650 secs
lola: 341 tries, 340732879 fired transitions, 2655 secs || 15331020 markings, 23588349 edges, 6696 markings/sec, 2655 secs
lola: 342 tries, 341443420 fired transitions, 2660 secs || 15365290 markings, 23641007 edges, 6854 markings/sec, 2660 secs
lola: 343 tries, 342166720 fired transitions, 2665 secs || 15400037 markings, 23694459 edges, 6949 markings/sec, 2665 secs
lola: 343 tries, 342890767 fired transitions, 2670 secs || 15434058 markings, 23746808 edges, 6804 markings/sec, 2670 secs
lola: 344 tries, 343608055 fired transitions, 2675 secs || 15468736 markings, 23800174 edges, 6936 markings/sec, 2675 secs
lola: 345 tries, 344323083 fired transitions, 2680 secs || 15503344 markings, 23853449 edges, 6922 markings/sec, 2680 secs
lola: 346 tries, 345034746 fired transitions, 2685 secs || 15537929 markings, 23906636 edges, 6917 markings/sec, 2685 secs
lola: 346 tries, 345765701 fired transitions, 2690 secs || 15572669 markings, 23960076 edges, 6948 markings/sec, 2690 secs
lola: 347 tries, 346501561 fired transitions, 2695 secs || 15607561 markings, 24013795 edges, 6978 markings/sec, 2695 secs
lola: 348 tries, 347234750 fired transitions, 2700 secs || 15642854 markings, 24068052 edges, 7059 markings/sec, 2700 secs
lola: 348 tries, 347965390 fired transitions, 2705 secs || 15677963 markings, 24122069 edges, 7022 markings/sec, 2705 secs
lola: 349 tries, 348699637 fired transitions, 2710 secs || 15713081 markings, 24176170 edges, 7024 markings/sec, 2710 secs
lola: 350 tries, 349436208 fired transitions, 2715 secs || 15748539 markings, 24230649 edges, 7092 markings/sec, 2715 secs
lola: 351 tries, 350182633 fired transitions, 2720 secs || 15783983 markings, 24285207 edges, 7089 markings/sec, 2720 secs
lola: 351 tries, 350933050 fired transitions, 2725 secs || 15818329 markings, 24338073 edges, 6869 markings/sec, 2725 secs
lola: 352 tries, 351681205 fired transitions, 2730 secs || 15852923 markings, 24391323 edges, 6919 markings/sec, 2730 secs
lola: 353 tries, 352381372 fired transitions, 2735 secs || 15886728 markings, 24443302 edges, 6761 markings/sec, 2735 secs
lola: 354 tries, 353090564 fired transitions, 2740 secs || 15920952 markings, 24495961 edges, 6845 markings/sec, 2740 secs
lola: 354 tries, 353798992 fired transitions, 2745 secs || 15956564 markings, 24550726 edges, 7122 markings/sec, 2745 secs
lola: 355 tries, 354464787 fired transitions, 2750 secs || 15990997 markings, 24603756 edges, 6887 markings/sec, 2750 secs
lola: 356 tries, 355219707 fired transitions, 2755 secs || 16025348 markings, 24656604 edges, 6870 markings/sec, 2755 secs
lola: 356 tries, 355934172 fired transitions, 2760 secs || 16060524 markings, 24710745 edges, 7035 markings/sec, 2760 secs
lola: 357 tries, 356620227 fired transitions, 2765 secs || 16094597 markings, 24763239 edges, 6815 markings/sec, 2765 secs
lola: 358 tries, 357305295 fired transitions, 2770 secs || 16128057 markings, 24814684 edges, 6692 markings/sec, 2770 secs
lola: 359 tries, 358016046 fired transitions, 2775 secs || 16162629 markings, 24867775 edges, 6914 markings/sec, 2775 secs
lola: 359 tries, 358731646 fired transitions, 2780 secs || 16197695 markings, 24921779 edges, 7013 markings/sec, 2780 secs
lola: 360 tries, 359434002 fired transitions, 2785 secs || 16232754 markings, 24975673 edges, 7012 markings/sec, 2785 secs
lola: 361 tries, 360136393 fired transitions, 2790 secs || 16267986 markings, 25029879 edges, 7046 markings/sec, 2790 secs
lola: 361 tries, 360845733 fired transitions, 2795 secs || 16303004 markings, 25084063 edges, 7004 markings/sec, 2795 secs
lola: 362 tries, 361550046 fired transitions, 2800 secs || 16338847 markings, 25138985 edges, 7169 markings/sec, 2800 secs
lola: 363 tries, 362283346 fired transitions, 2805 secs || 16373879 markings, 25192813 edges, 7006 markings/sec, 2805 secs
lola: 364 tries, 363016329 fired transitions, 2810 secs || 16410150 markings, 25248617 edges, 7254 markings/sec, 2810 secs
lola: 364 tries, 363757119 fired transitions, 2815 secs || 16445392 markings, 25302876 edges, 7048 markings/sec, 2815 secs
lola: 365 tries, 364500151 fired transitions, 2820 secs || 16481703 markings, 25358717 edges, 7262 markings/sec, 2820 secs
lola: 366 tries, 365238799 fired transitions, 2825 secs || 16517602 markings, 25413980 edges, 7180 markings/sec, 2825 secs
lola: 366 tries, 365976640 fired transitions, 2830 secs || 16554055 markings, 25470059 edges, 7291 markings/sec, 2830 secs
lola: 367 tries, 366706628 fired transitions, 2835 secs || 16589935 markings, 25525260 edges, 7176 markings/sec, 2835 secs
lola: 368 tries, 367438365 fired transitions, 2840 secs || 16625424 markings, 25579909 edges, 7098 markings/sec, 2840 secs
lola: 369 tries, 368115315 fired transitions, 2845 secs || 16656421 markings, 25627528 edges, 6199 markings/sec, 2845 secs
lola: 369 tries, 368811972 fired transitions, 2850 secs || 16691348 markings, 25681306 edges, 6985 markings/sec, 2850 secs
lola: 370 tries, 369396511 fired transitions, 2855 secs || 16719720 markings, 25724908 edges, 5674 markings/sec, 2855 secs
lola: 371 tries, 370102931 fired transitions, 2860 secs || 16755737 markings, 25780323 edges, 7203 markings/sec, 2860 secs
lola: 371 tries, 370813246 fired transitions, 2865 secs || 16792032 markings, 25836158 edges, 7259 markings/sec, 2865 secs
lola: 372 tries, 371494353 fired transitions, 2870 secs || 16829467 markings, 25893754 edges, 7487 markings/sec, 2870 secs
lola: 373 tries, 372178908 fired transitions, 2875 secs || 16866567 markings, 25950888 edges, 7420 markings/sec, 2875 secs
lola: 373 tries, 372891638 fired transitions, 2880 secs || 16902047 markings, 26005445 edges, 7096 markings/sec, 2880 secs
lola: 374 tries, 373613774 fired transitions, 2885 secs || 16936830 markings, 26058957 edges, 6957 markings/sec, 2885 secs
lola: 375 tries, 374171368 fired transitions, 2890 secs || 16964115 markings, 26100983 edges, 5457 markings/sec, 2890 secs
lola: 375 tries, 374882436 fired transitions, 2895 secs || 16998179 markings, 26153337 edges, 6813 markings/sec, 2895 secs
lola: 376 tries, 375579241 fired transitions, 2900 secs || 17034834 markings, 26209782 edges, 7331 markings/sec, 2900 secs
lola: 377 tries, 376281799 fired transitions, 2905 secs || 17071809 markings, 26266679 edges, 7395 markings/sec, 2905 secs
lola: 377 tries, 376981289 fired transitions, 2910 secs || 17107872 markings, 26322106 edges, 7213 markings/sec, 2910 secs
lola: 378 tries, 377668711 fired transitions, 2915 secs || 17143648 markings, 26377202 edges, 7155 markings/sec, 2915 secs
lola: 379 tries, 378354654 fired transitions, 2920 secs || 17177309 markings, 26428968 edges, 6732 markings/sec, 2920 secs
lola: 380 tries, 379033211 fired transitions, 2925 secs || 17211231 markings, 26481155 edges, 6784 markings/sec, 2925 secs
lola: 380 tries, 379714717 fired transitions, 2930 secs || 17245969 markings, 26534708 edges, 6948 markings/sec, 2930 secs
lola: 381 tries, 380392910 fired transitions, 2935 secs || 17282473 markings, 26590799 edges, 7301 markings/sec, 2935 secs
lola: 382 tries, 381105747 fired transitions, 2940 secs || 17318389 markings, 26646010 edges, 7183 markings/sec, 2940 secs
lola: 382 tries, 381834545 fired transitions, 2945 secs || 17354224 markings, 26701235 edges, 7167 markings/sec, 2945 secs
lola: 383 tries, 382566353 fired transitions, 2950 secs || 17390247 markings, 26756584 edges, 7205 markings/sec, 2950 secs
lola: 384 tries, 383290285 fired transitions, 2955 secs || 17426549 markings, 26812479 edges, 7260 markings/sec, 2955 secs
lola: 384 tries, 383871638 fired transitions, 2960 secs || 17454603 markings, 26855626 edges, 5611 markings/sec, 2960 secs
lola: 385 tries, 384584028 fired transitions, 2965 secs || 17490516 markings, 26910852 edges, 7183 markings/sec, 2965 secs
lola: 386 tries, 385298378 fired transitions, 2970 secs || 17525031 markings, 26963950 edges, 6903 markings/sec, 2970 secs
lola: 386 tries, 385780714 fired transitions, 2975 secs || 17548432 markings, 26999958 edges, 4680 markings/sec, 2975 secs
lola: 387 tries, 386206004 fired transitions, 2980 secs || 17570613 markings, 27034087 edges, 4436 markings/sec, 2980 secs
lola: 387 tries, 386686853 fired transitions, 2985 secs || 17594731 markings, 27071213 edges, 4824 markings/sec, 2985 secs
lola: 388 tries, 387389915 fired transitions, 2990 secs || 17630911 markings, 27126844 edges, 7236 markings/sec, 2990 secs
lola: 389 tries, 388054422 fired transitions, 2995 secs || 17665459 markings, 27180004 edges, 6910 markings/sec, 2995 secs
lola: 389 tries, 388773343 fired transitions, 3000 secs || 17701167 markings, 27235009 edges, 7142 markings/sec, 3000 secs
lola: 390 tries, 389426477 fired transitions, 3005 secs || 17733029 markings, 27284001 edges, 6372 markings/sec, 3005 secs
lola: 391 tries, 390066407 fired transitions, 3010 secs || 17763983 markings, 27331610 edges, 6191 markings/sec, 3010 secs
lola: 391 tries, 390780419 fired transitions, 3015 secs || 17796884 markings, 27382259 edges, 6580 markings/sec, 3015 secs
lola: 392 tries, 391496767 fired transitions, 3020 secs || 17832163 markings, 27436547 edges, 7056 markings/sec, 3020 secs
lola: 393 tries, 392217862 fired transitions, 3025 secs || 17868230 markings, 27492034 edges, 7213 markings/sec, 3025 secs
lola: 393 tries, 392909163 fired transitions, 3030 secs || 17905437 markings, 27549235 edges, 7441 markings/sec, 3030 secs
lola: 394 tries, 393602092 fired transitions, 3035 secs || 17942291 markings, 27605931 edges, 7371 markings/sec, 3035 secs
lola: 395 tries, 394294267 fired transitions, 3040 secs || 17978208 markings, 27661268 edges, 7183 markings/sec, 3040 secs
lola: 395 tries, 394991289 fired transitions, 3045 secs || 18013054 markings, 27714826 edges, 6969 markings/sec, 3045 secs
lola: 396 tries, 395689114 fired transitions, 3050 secs || 18048080 markings, 27768732 edges, 7005 markings/sec, 3050 secs
lola: 397 tries, 396381918 fired transitions, 3055 secs || 18083731 markings, 27823585 edges, 7130 markings/sec, 3055 secs
lola: 398 tries, 397069188 fired transitions, 3060 secs || 18120960 markings, 27880866 edges, 7446 markings/sec, 3060 secs
lola: 398 tries, 397765700 fired transitions, 3065 secs || 18157961 markings, 27937848 edges, 7400 markings/sec, 3065 secs
lola: 399 tries, 398459854 fired transitions, 3070 secs || 18195143 markings, 27994986 edges, 7436 markings/sec, 3070 secs
lola: 400 tries, 399157376 fired transitions, 3075 secs || 18232422 markings, 28052348 edges, 7456 markings/sec, 3075 secs
lola: 400 tries, 399893366 fired transitions, 3080 secs || 18267653 markings, 28106656 edges, 7046 markings/sec, 3080 secs
lola: 401 tries, 400624239 fired transitions, 3085 secs || 18302328 markings, 28159906 edges, 6935 markings/sec, 3085 secs
lola: 402 tries, 401337211 fired transitions, 3090 secs || 18337640 markings, 28214224 edges, 7062 markings/sec, 3090 secs
lola: 403 tries, 402074438 fired transitions, 3095 secs || 18372165 markings, 28267336 edges, 6905 markings/sec, 3095 secs
lola: 403 tries, 402811181 fired transitions, 3100 secs || 18407894 markings, 28322330 edges, 7146 markings/sec, 3100 secs
lola: 404 tries, 403545933 fired transitions, 3105 secs || 18443691 markings, 28377382 edges, 7159 markings/sec, 3105 secs
lola: 405 tries, 404254670 fired transitions, 3110 secs || 18479884 markings, 28433108 edges, 7239 markings/sec, 3110 secs
lola: 405 tries, 404944499 fired transitions, 3115 secs || 18516042 markings, 28488693 edges, 7232 markings/sec, 3115 secs
lola: 406 tries, 405633211 fired transitions, 3120 secs || 18551376 markings, 28543072 edges, 7067 markings/sec, 3120 secs
lola: 407 tries, 406326968 fired transitions, 3125 secs || 18586632 markings, 28597355 edges, 7051 markings/sec, 3125 secs
lola: 408 tries, 407033677 fired transitions, 3130 secs || 18622453 markings, 28652396 edges, 7164 markings/sec, 3130 secs
lola: 408 tries, 407748485 fired transitions, 3135 secs || 18658731 markings, 28708257 edges, 7256 markings/sec, 3135 secs
lola: 409 tries, 408485180 fired transitions, 3140 secs || 18694524 markings, 28763297 edges, 7159 markings/sec, 3140 secs
lola: 410 tries, 409214598 fired transitions, 3145 secs || 18731054 markings, 28819546 edges, 7306 markings/sec, 3145 secs
lola: 410 tries, 409941758 fired transitions, 3150 secs || 18767483 markings, 28875558 edges, 7286 markings/sec, 3150 secs
lola: 411 tries, 410672832 fired transitions, 3155 secs || 18804143 markings, 28931950 edges, 7332 markings/sec, 3155 secs
lola: 412 tries, 411403270 fired transitions, 3160 secs || 18839640 markings, 28986564 edges, 7099 markings/sec, 3160 secs
lola: 413 tries, 412086341 fired transitions, 3165 secs || 18873287 markings, 29038330 edges, 6729 markings/sec, 3165 secs
lola: 413 tries, 412786300 fired transitions, 3170 secs || 18908462 markings, 29092456 edges, 7035 markings/sec, 3170 secs
lola: 414 tries, 413480023 fired transitions, 3175 secs || 18944640 markings, 29148254 edges, 7236 markings/sec, 3175 secs
lola: 415 tries, 414180369 fired transitions, 3180 secs || 18980419 markings, 29203196 edges, 7156 markings/sec, 3180 secs
lola: 415 tries, 414873485 fired transitions, 3185 secs || 19016468 markings, 29258635 edges, 7210 markings/sec, 3185 secs
lola: 416 tries, 415583712 fired transitions, 3190 secs || 19052940 markings, 29314633 edges, 7294 markings/sec, 3190 secs
lola: 417 tries, 416292671 fired transitions, 3195 secs || 19088226 markings, 29369061 edges, 7057 markings/sec, 3195 secs
lola: 417 tries, 416987490 fired transitions, 3200 secs || 19122885 markings, 29422368 edges, 6932 markings/sec, 3200 secs
lola: 418 tries, 417680016 fired transitions, 3205 secs || 19157778 markings, 29476041 edges, 6979 markings/sec, 3205 secs
lola: 419 tries, 418400875 fired transitions, 3210 secs || 19193148 markings, 29530456 edges, 7074 markings/sec, 3210 secs
lola: 420 tries, 419086338 fired transitions, 3215 secs || 19229393 markings, 29586249 edges, 7249 markings/sec, 3215 secs
lola: 420 tries, 419774939 fired transitions, 3220 secs || 19265655 markings, 29642037 edges, 7252 markings/sec, 3220 secs
lola: 421 tries, 420465856 fired transitions, 3225 secs || 19301752 markings, 29697662 edges, 7219 markings/sec, 3225 secs
lola: 422 tries, 421162458 fired transitions, 3230 secs || 19336245 markings, 29750638 edges, 6899 markings/sec, 3230 secs
lola: 422 tries, 421891316 fired transitions, 3235 secs || 19371896 markings, 29805494 edges, 7130 markings/sec, 3235 secs
lola: 423 tries, 422623184 fired transitions, 3240 secs || 19407851 markings, 29860804 edges, 7191 markings/sec, 3240 secs
lola: 424 tries, 423359497 fired transitions, 3245 secs || 19443725 markings, 29915996 edges, 7175 markings/sec, 3245 secs
lola: 425 tries, 424088394 fired transitions, 3250 secs || 19480760 markings, 29972973 edges, 7407 markings/sec, 3250 secs
lola: 425 tries, 424784352 fired transitions, 3255 secs || 19516974 markings, 30028712 edges, 7243 markings/sec, 3255 secs
lola: 426 tries, 425470684 fired transitions, 3260 secs || 19553239 markings, 30084492 edges, 7253 markings/sec, 3260 secs
lola: 427 tries, 426162696 fired transitions, 3265 secs || 19589476 markings, 30140231 edges, 7247 markings/sec, 3265 secs
lola: 427 tries, 426850998 fired transitions, 3270 secs || 19625403 markings, 30195631 edges, 7185 markings/sec, 3270 secs
lola: 428 tries, 427540855 fired transitions, 3275 secs || 19660362 markings, 30249318 edges, 6992 markings/sec, 3275 secs
lola: 429 tries, 428225728 fired transitions, 3280 secs || 19694373 markings, 30301650 edges, 6802 markings/sec, 3280 secs
lola: 429 tries, 428928356 fired transitions, 3285 secs || 19729312 markings, 30355442 edges, 6988 markings/sec, 3285 secs
lola: 430 tries, 429630199 fired transitions, 3290 secs || 19765222 markings, 30410653 edges, 7182 markings/sec, 3290 secs
lola: 431 tries, 430323356 fired transitions, 3295 secs || 19801049 markings, 30465753 edges, 7165 markings/sec, 3295 secs
lola: 432 tries, 431025005 fired transitions, 3300 secs || 19837107 markings, 30521254 edges, 7212 markings/sec, 3300 secs
lola: 432 tries, 431737488 fired transitions, 3305 secs || 19874228 markings, 30578254 edges, 7424 markings/sec, 3305 secs
lola: 433 tries, 432438868 fired transitions, 3310 secs || 19909580 markings, 30632776 edges, 7070 markings/sec, 3310 secs
lola: 434 tries, 433077570 fired transitions, 3315 secs || 19942510 markings, 30683423 edges, 6586 markings/sec, 3315 secs
lola: 434 tries, 433782378 fired transitions, 3320 secs || 19978284 markings, 30738533 edges, 7155 markings/sec, 3320 secs
lola: 435 tries, 434486860 fired transitions, 3325 secs || 20013585 markings, 30792862 edges, 7060 markings/sec, 3325 secs
lola: 436 tries, 435190954 fired transitions, 3330 secs || 20049766 markings, 30848435 edges, 7236 markings/sec, 3330 secs
lola: 436 tries, 435891263 fired transitions, 3335 secs || 20085276 markings, 30903115 edges, 7102 markings/sec, 3335 secs
lola: 437 tries, 436607594 fired transitions, 3340 secs || 20121858 markings, 30959344 edges, 7316 markings/sec, 3340 secs
lola: 438 tries, 437364287 fired transitions, 3345 secs || 20159810 markings, 31017817 edges, 7590 markings/sec, 3345 secs
lola: 439 tries, 438087198 fired transitions, 3350 secs || 20196836 markings, 31074742 edges, 7405 markings/sec, 3350 secs
lola: 439 tries, 438845129 fired transitions, 3355 secs || 20233501 markings, 31131222 edges, 7333 markings/sec, 3355 secs
lola: 440 tries, 439548572 fired transitions, 3360 secs || 20268660 markings, 31185325 edges, 7032 markings/sec, 3360 secs
lola: 441 tries, 440253804 fired transitions, 3365 secs || 20304710 markings, 31240705 edges, 7210 markings/sec, 3365 secs
lola: 441 tries, 440956559 fired transitions, 3370 secs || 20340904 markings, 31296376 edges, 7239 markings/sec, 3370 secs
lola: 442 tries, 441618030 fired transitions, 3375 secs || 20374579 markings, 31348185 edges, 6735 markings/sec, 3375 secs
lola: 443 tries, 442354005 fired transitions, 3380 secs || 20410407 markings, 31403306 edges, 7166 markings/sec, 3380 secs
lola: 444 tries, 443074065 fired transitions, 3385 secs || 20447762 markings, 31460799 edges, 7471 markings/sec, 3385 secs
lola: 444 tries, 443769809 fired transitions, 3390 secs || 20482607 markings, 31514434 edges, 6969 markings/sec, 3390 secs
lola: 445 tries, 444421964 fired transitions, 3395 secs || 20515514 markings, 31565037 edges, 6581 markings/sec, 3395 secs
lola: 446 tries, 445126746 fired transitions, 3400 secs || 20550640 markings, 31619111 edges, 7025 markings/sec, 3400 secs
lola: 446 tries, 445838527 fired transitions, 3405 secs || 20586985 markings, 31674993 edges, 7269 markings/sec, 3405 secs
lola: 447 tries, 446532981 fired transitions, 3410 secs || 20622887 markings, 31730224 edges, 7180 markings/sec, 3410 secs
lola: 448 tries, 447234217 fired transitions, 3415 secs || 20658935 markings, 31785778 edges, 7210 markings/sec, 3415 secs
lola: 448 tries, 447935529 fired transitions, 3420 secs || 20695487 markings, 31841876 edges, 7310 markings/sec, 3420 secs
lola: 449 tries, 448642680 fired transitions, 3425 secs || 20731147 markings, 31896814 edges, 7132 markings/sec, 3425 secs
lola: 450 tries, 449343313 fired transitions, 3430 secs || 20765669 markings, 31949923 edges, 6904 markings/sec, 3430 secs
lola: 451 tries, 450052377 fired transitions, 3435 secs || 20800392 markings, 32003414 edges, 6945 markings/sec, 3435 secs
lola: 451 tries, 450737617 fired transitions, 3440 secs || 20834709 markings, 32056141 edges, 6863 markings/sec, 3440 secs
lola: 452 tries, 451439328 fired transitions, 3445 secs || 20870828 markings, 32111831 edges, 7224 markings/sec, 3445 secs
lola: 453 tries, 452186546 fired transitions, 3450 secs || 20908544 markings, 32169778 edges, 7543 markings/sec, 3450 secs
lola: 453 tries, 452920117 fired transitions, 3455 secs || 20945622 markings, 32226896 edges, 7416 markings/sec, 3455 secs
lola: 454 tries, 453619422 fired transitions, 3460 secs || 20981944 markings, 32282705 edges, 7264 markings/sec, 3460 secs
lola: 455 tries, 454312770 fired transitions, 3465 secs || 21016375 markings, 32335656 edges, 6886 markings/sec, 3465 secs
lola: 455 tries, 454907063 fired transitions, 3470 secs || 21046815 markings, 32382511 edges, 6088 markings/sec, 3470 secs
lola: 456 tries, 455324516 fired transitions, 3475 secs || 21067461 markings, 32414255 edges, 4129 markings/sec, 3475 secs
lola: 456 tries, 455826365 fired transitions, 3480 secs || 21092258 markings, 32452432 edges, 4959 markings/sec, 3480 secs
lola: 457 tries, 456527101 fired transitions, 3485 secs || 21127741 markings, 32506995 edges, 7097 markings/sec, 3485 secs
lola: 458 tries, 457160749 fired transitions, 3490 secs || 21160596 markings, 32557557 edges, 6571 markings/sec, 3490 secs
lola: 458 tries, 457898495 fired transitions, 3495 secs || 21198899 markings, 32616516 edges, 7661 markings/sec, 3495 secs
lola: 459 tries, 458591728 fired transitions, 3500 secs || 21235770 markings, 32673342 edges, 7374 markings/sec, 3500 secs
lola: 460 tries, 459239261 fired transitions, 3505 secs || 21269867 markings, 32725710 edges, 6819 markings/sec, 3505 secs
lola: 460 tries, 459930005 fired transitions, 3510 secs || 21305343 markings, 32780309 edges, 7095 markings/sec, 3510 secs
lola: 461 tries, 460556930 fired transitions, 3515 secs || 21336248 markings, 32827803 edges, 6181 markings/sec, 3515 secs
lola: 462 tries, 461252001 fired transitions, 3520 secs || 21370701 markings, 32880814 edges, 6891 markings/sec, 3520 secs
lola: 462 tries, 461939189 fired transitions, 3525 secs || 21406184 markings, 32935499 edges, 7097 markings/sec, 3525 secs
lola: 463 tries, 462392169 fired transitions, 3530 secs || 21429836 markings, 32971813 edges, 4730 markings/sec, 3530 secs
lola: 464 tries, 463091406 fired transitions, 3535 secs || 21465372 markings, 33026478 edges, 7107 markings/sec, 3535 secs
lola: 464 tries, 463810369 fired transitions, 3540 secs || 21501615 markings, 33082343 edges, 7249 markings/sec, 3540 secs
lola: 465 tries, 464455905 fired transitions, 3545 secs || 21535548 markings, 33134480 edges, 6787 markings/sec, 3545 secs
lola: 466 tries, 465119074 fired transitions, 3550 secs || 21567994 markings, 33184466 edges, 6489 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 6851660 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552515054511

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-COL-030"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is BART-COL-030, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225065300282"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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