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

About the Execution of LoLA for DLCround-PT-07b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12784.810 3594851.00 7309244.00 789.40 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405000390.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCround-PT-07b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405000390
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.1K Feb 10 06:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 06:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 04:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 04:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 2 22:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 22:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 30 12:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 30 12:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 963K 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 DLCround-PT-07b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552454392195

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-07b @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ DLCround-PT-07b

{
"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 05:19:52 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 12772700,
"runtime": 3570.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 11073,
"conflict_clusters": 2351,
"places": 2703,
"places_significant": 2571,
"singleton_clusters": 0,
"transitions": 4071
},
"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": 4096.000000,
"composed": 0,
"dead_branches": 0,
"generators": 12,
"interrupted": false,
"real_computed": 12,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 6774/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2703
lola: finding significant places
lola: 2703 places, 4071 transitions, 2571 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 12 generators (12 in search tree, 0 by composition)
lola: representing 4096 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1901190 fired transitions, 0 secs || 149815 markings, 167373 edges, 29963 markings/sec, 0 secs
lola: 4 tries, 3732740 fired transitions, 5 secs || 297350 markings, 331807 edges, 29507 markings/sec, 5 secs
lola: 6 tries, 5580777 fired transitions, 10 secs || 443675 markings, 495151 edges, 29265 markings/sec, 10 secs
lola: 8 tries, 7438960 fired transitions, 15 secs || 589569 markings, 658085 edges, 29179 markings/sec, 15 secs
lola: 10 tries, 9299519 fired transitions, 20 secs || 734264 markings, 818979 edges, 28939 markings/sec, 20 secs
lola: 12 tries, 11317721 fired transitions, 25 secs || 888652 markings, 991932 edges, 30878 markings/sec, 25 secs
lola: 14 tries, 13438278 fired transitions, 30 secs || 1048852 markings, 1170306 edges, 32040 markings/sec, 30 secs
lola: 16 tries, 15667683 fired transitions, 35 secs || 1214121 markings, 1354186 edges, 33054 markings/sec, 35 secs
lola: 19 tries, 18059711 fired transitions, 40 secs || 1393753 markings, 1557625 edges, 35926 markings/sec, 40 secs
lola: 21 tries, 20297188 fired transitions, 45 secs || 1564107 markings, 1749623 edges, 34071 markings/sec, 45 secs
lola: 23 tries, 22159353 fired transitions, 50 secs || 1716083 markings, 1922238 edges, 30395 markings/sec, 50 secs
lola: 24 tries, 23994726 fired transitions, 55 secs || 1869013 markings, 2095249 edges, 30586 markings/sec, 55 secs
lola: 26 tries, 25894247 fired transitions, 60 secs || 2019260 markings, 2264446 edges, 30049 markings/sec, 60 secs
lola: 28 tries, 27790113 fired transitions, 65 secs || 2171508 markings, 2436641 edges, 30450 markings/sec, 65 secs
lola: 30 tries, 29671250 fired transitions, 70 secs || 2319873 markings, 2604716 edges, 29673 markings/sec, 70 secs
lola: 32 tries, 31603780 fired transitions, 75 secs || 2469011 markings, 2773999 edges, 29828 markings/sec, 75 secs
lola: 34 tries, 33499889 fired transitions, 80 secs || 2620073 markings, 2945937 edges, 30212 markings/sec, 80 secs
lola: 36 tries, 35397293 fired transitions, 85 secs || 2769207 markings, 3114791 edges, 29827 markings/sec, 85 secs
lola: 37 tries, 36793623 fired transitions, 90 secs || 2877434 markings, 3239246 edges, 21645 markings/sec, 90 secs
lola: 39 tries, 38145025 fired transitions, 95 secs || 2983030 markings, 3362349 edges, 21119 markings/sec, 95 secs
lola: 40 tries, 39473524 fired transitions, 100 secs || 3089200 markings, 3489345 edges, 21234 markings/sec, 100 secs
lola: 41 tries, 40804027 fired transitions, 105 secs || 3192315 markings, 3608529 edges, 20623 markings/sec, 105 secs
lola: 43 tries, 42603822 fired transitions, 110 secs || 3335478 markings, 3771514 edges, 28633 markings/sec, 110 secs
lola: 45 tries, 44492469 fired transitions, 115 secs || 3484703 markings, 3941683 edges, 29845 markings/sec, 115 secs
lola: 47 tries, 46368772 fired transitions, 120 secs || 3633586 markings, 4109975 edges, 29777 markings/sec, 120 secs
lola: 48 tries, 47885368 fired transitions, 125 secs || 3749090 markings, 4242940 edges, 23101 markings/sec, 125 secs
lola: 50 tries, 49460379 fired transitions, 130 secs || 3871992 markings, 4383926 edges, 24580 markings/sec, 130 secs
lola: 51 tries, 50711305 fired transitions, 135 secs || 3971194 markings, 4501962 edges, 19840 markings/sec, 135 secs
lola: 52 tries, 51956892 fired transitions, 140 secs || 4071085 markings, 4621315 edges, 19978 markings/sec, 140 secs
lola: 54 tries, 53228807 fired transitions, 145 secs || 4169574 markings, 4735294 edges, 19698 markings/sec, 145 secs
lola: 55 tries, 54728294 fired transitions, 150 secs || 4283808 markings, 4866794 edges, 22847 markings/sec, 150 secs
lola: 57 tries, 56190345 fired transitions, 155 secs || 4395194 markings, 4994414 edges, 22277 markings/sec, 155 secs
lola: 58 tries, 57542086 fired transitions, 160 secs || 4498520 markings, 5115587 edges, 20665 markings/sec, 160 secs
lola: 59 tries, 58834935 fired transitions, 165 secs || 4601258 markings, 5234122 edges, 20548 markings/sec, 165 secs
lola: 61 tries, 60195493 fired transitions, 170 secs || 4704972 markings, 5353474 edges, 20743 markings/sec, 170 secs
lola: 62 tries, 61532428 fired transitions, 175 secs || 4808765 markings, 5473454 edges, 20759 markings/sec, 175 secs
lola: 63 tries, 62887944 fired transitions, 180 secs || 4913621 markings, 5594888 edges, 20971 markings/sec, 180 secs
lola: 65 tries, 64236289 fired transitions, 185 secs || 5020711 markings, 5722229 edges, 21418 markings/sec, 185 secs
lola: 66 tries, 65772475 fired transitions, 190 secs || 5143264 markings, 5865624 edges, 24511 markings/sec, 190 secs
lola: 68 tries, 67482892 fired transitions, 195 secs || 5280297 markings, 6021154 edges, 27407 markings/sec, 195 secs
lola: 69 tries, 68870645 fired transitions, 200 secs || 5385861 markings, 6142873 edges, 21113 markings/sec, 200 secs
lola: 71 tries, 70234370 fired transitions, 205 secs || 5488932 markings, 6262786 edges, 20614 markings/sec, 205 secs
lola: 72 tries, 71575562 fired transitions, 210 secs || 5592517 markings, 6384219 edges, 20717 markings/sec, 210 secs
lola: 73 tries, 72910965 fired transitions, 215 secs || 5695343 markings, 6504223 edges, 20565 markings/sec, 215 secs
lola: 75 tries, 74243245 fired transitions, 220 secs || 5799911 markings, 6626504 edges, 20914 markings/sec, 220 secs
lola: 76 tries, 75541642 fired transitions, 225 secs || 5900959 markings, 6744976 edges, 20210 markings/sec, 225 secs
lola: 77 tries, 76902503 fired transitions, 230 secs || 6007865 markings, 6870080 edges, 21381 markings/sec, 230 secs
lola: 79 tries, 78250054 fired transitions, 235 secs || 6112683 markings, 6991736 edges, 20964 markings/sec, 235 secs
lola: 80 tries, 79929238 fired transitions, 240 secs || 6242370 markings, 7139655 edges, 25937 markings/sec, 240 secs
lola: 82 tries, 81811820 fired transitions, 245 secs || 6391608 markings, 7309176 edges, 29848 markings/sec, 245 secs
lola: 84 tries, 83323417 fired transitions, 250 secs || 6508267 markings, 7442244 edges, 23332 markings/sec, 250 secs
lola: 85 tries, 84895951 fired transitions, 255 secs || 6632580 markings, 7585431 edges, 24863 markings/sec, 255 secs
lola: 87 tries, 86236571 fired transitions, 260 secs || 6738704 markings, 7713247 edges, 21225 markings/sec, 260 secs
lola: 88 tries, 87552697 fired transitions, 265 secs || 6842638 markings, 7837192 edges, 20787 markings/sec, 265 secs
lola: 89 tries, 88799178 fired transitions, 270 secs || 6937561 markings, 7947801 edges, 18985 markings/sec, 270 secs
lola: 91 tries, 90121993 fired transitions, 275 secs || 7041832 markings, 8070488 edges, 20854 markings/sec, 275 secs
lola: 92 tries, 91710946 fired transitions, 280 secs || 7162658 markings, 8211264 edges, 24165 markings/sec, 280 secs
lola: 94 tries, 93308012 fired transitions, 285 secs || 7292434 markings, 8361974 edges, 25955 markings/sec, 285 secs
lola: 96 tries, 95006900 fired transitions, 290 secs || 7429962 markings, 8520521 edges, 27506 markings/sec, 290 secs
lola: 97 tries, 96772864 fired transitions, 295 secs || 7563783 markings, 8674075 edges, 26764 markings/sec, 295 secs
lola: 99 tries, 98402094 fired transitions, 300 secs || 7693533 markings, 8825346 edges, 25950 markings/sec, 300 secs
lola: 101 tries, 100287749 fired transitions, 305 secs || 7831488 markings, 8982356 edges, 27591 markings/sec, 305 secs
lola: 102 tries, 101588435 fired transitions, 310 secs || 7931866 markings, 9098621 edges, 20076 markings/sec, 310 secs
lola: 104 tries, 103199616 fired transitions, 315 secs || 8058874 markings, 9245596 edges, 25402 markings/sec, 315 secs
lola: 106 tries, 105103886 fired transitions, 320 secs || 8207409 markings, 9414542 edges, 29707 markings/sec, 320 secs
lola: 107 tries, 106549095 fired transitions, 325 secs || 8319869 markings, 9543924 edges, 22492 markings/sec, 325 secs
lola: 108 tries, 107895506 fired transitions, 330 secs || 8426361 markings, 9670127 edges, 21298 markings/sec, 330 secs
lola: 110 tries, 109458749 fired transitions, 335 secs || 8546241 markings, 9807519 edges, 23976 markings/sec, 335 secs
lola: 112 tries, 111034286 fired transitions, 340 secs || 8669389 markings, 9949142 edges, 24630 markings/sec, 340 secs
lola: 113 tries, 112364901 fired transitions, 345 secs || 8773308 markings, 10071011 edges, 20784 markings/sec, 345 secs
lola: 114 tries, 113659722 fired transitions, 350 secs || 8871211 markings, 10184827 edges, 19581 markings/sec, 350 secs
lola: 116 tries, 115015464 fired transitions, 355 secs || 8975273 markings, 10304435 edges, 20812 markings/sec, 355 secs
lola: 117 tries, 116584514 fired transitions, 360 secs || 9100275 markings, 10449451 edges, 25000 markings/sec, 360 secs
lola: 119 tries, 118471662 fired transitions, 365 secs || 9252179 markings, 10621654 edges, 30381 markings/sec, 365 secs
lola: 121 tries, 120362511 fired transitions, 370 secs || 9410944 markings, 10802901 edges, 31753 markings/sec, 370 secs
lola: 123 tries, 122242980 fired transitions, 375 secs || 9568222 markings, 10981844 edges, 31456 markings/sec, 375 secs
lola: 125 tries, 124094629 fired transitions, 380 secs || 9723510 markings, 11159142 edges, 31058 markings/sec, 380 secs
lola: 126 tries, 125576274 fired transitions, 385 secs || 9838591 markings, 11292890 edges, 23016 markings/sec, 385 secs
lola: 128 tries, 127463013 fired transitions, 390 secs || 9995331 markings, 11472244 edges, 31348 markings/sec, 390 secs
lola: 130 tries, 129376325 fired transitions, 395 secs || 10146057 markings, 11644850 edges, 30145 markings/sec, 395 secs
lola: 132 tries, 131253114 fired transitions, 400 secs || 10296889 markings, 11816961 edges, 30166 markings/sec, 400 secs
lola: 134 tries, 133161913 fired transitions, 405 secs || 10447281 markings, 11988554 edges, 30078 markings/sec, 405 secs
lola: 135 tries, 134944421 fired transitions, 410 secs || 10586159 markings, 12146999 edges, 27776 markings/sec, 410 secs
lola: 137 tries, 136198295 fired transitions, 415 secs || 10683055 markings, 12259037 edges, 19379 markings/sec, 415 secs
lola: 138 tries, 137475194 fired transitions, 420 secs || 10783504 markings, 12377458 edges, 20090 markings/sec, 420 secs
lola: 139 tries, 138788280 fired transitions, 425 secs || 10890334 markings, 12503609 edges, 21366 markings/sec, 425 secs
lola: 141 tries, 140594755 fired transitions, 430 secs || 11028655 markings, 12662775 edges, 27664 markings/sec, 430 secs
lola: 143 tries, 142510096 fired transitions, 435 secs || 11178830 markings, 12834275 edges, 30035 markings/sec, 435 secs
lola: 145 tries, 144412952 fired transitions, 440 secs || 11325523 markings, 13001024 edges, 29339 markings/sec, 440 secs
lola: 146 tries, 145798848 fired transitions, 445 secs || 11432288 markings, 13124794 edges, 21353 markings/sec, 445 secs
lola: 148 tries, 147112131 fired transitions, 450 secs || 11533550 markings, 13242156 edges, 20252 markings/sec, 450 secs
lola: 149 tries, 148438724 fired transitions, 455 secs || 11634556 markings, 13360113 edges, 20201 markings/sec, 455 secs
lola: 150 tries, 149797359 fired transitions, 460 secs || 11739443 markings, 13483295 edges, 20977 markings/sec, 460 secs
lola: 152 tries, 151166028 fired transitions, 465 secs || 11845089 markings, 13607470 edges, 21129 markings/sec, 465 secs
lola: 153 tries, 152513599 fired transitions, 470 secs || 11947333 markings, 13727652 edges, 20449 markings/sec, 470 secs
lola: 154 tries, 153916432 fired transitions, 475 secs || 12056299 markings, 13855638 edges, 21793 markings/sec, 475 secs
lola: 156 tries, 155323121 fired transitions, 480 secs || 12164826 markings, 13983008 edges, 21705 markings/sec, 480 secs
lola: 157 tries, 156724148 fired transitions, 485 secs || 12273998 markings, 14111635 edges, 21834 markings/sec, 485 secs
lola: 159 tries, 158126817 fired transitions, 490 secs || 12382484 markings, 14239203 edges, 21697 markings/sec, 490 secs
lola: 160 tries, 159519436 fired transitions, 495 secs || 12490141 markings, 14365690 edges, 21531 markings/sec, 495 secs
lola: 161 tries, 160891147 fired transitions, 500 secs || 12598005 markings, 14493703 edges, 21573 markings/sec, 500 secs
lola: 163 tries, 162236786 fired transitions, 505 secs || 12702678 markings, 14616283 edges, 20935 markings/sec, 505 secs
lola: 164 tries, 163587167 fired transitions, 510 secs || 12806831 markings, 14737982 edges, 20831 markings/sec, 510 secs
lola: 165 tries, 164967144 fired transitions, 515 secs || 12914810 markings, 14864135 edges, 21596 markings/sec, 515 secs
lola: 167 tries, 166369064 fired transitions, 520 secs || 13025258 markings, 14992240 edges, 22090 markings/sec, 520 secs
lola: 168 tries, 167776445 fired transitions, 525 secs || 13136806 markings, 15121944 edges, 22310 markings/sec, 525 secs
lola: 170 tries, 169180495 fired transitions, 530 secs || 13246896 markings, 15249969 edges, 22018 markings/sec, 530 secs
lola: 171 tries, 170579997 fired transitions, 535 secs || 13356918 markings, 15377812 edges, 22004 markings/sec, 535 secs
lola: 172 tries, 171948184 fired transitions, 540 secs || 13465398 markings, 15504938 edges, 21696 markings/sec, 540 secs
lola: 174 tries, 173332000 fired transitions, 545 secs || 13574251 markings, 15629297 edges, 21771 markings/sec, 545 secs
lola: 175 tries, 174689276 fired transitions, 550 secs || 13681091 markings, 15752894 edges, 21368 markings/sec, 550 secs
lola: 177 tries, 176074416 fired transitions, 555 secs || 13787997 markings, 15875560 edges, 21381 markings/sec, 555 secs
lola: 178 tries, 177459706 fired transitions, 560 secs || 13893516 markings, 15996802 edges, 21104 markings/sec, 560 secs
lola: 179 tries, 178837931 fired transitions, 565 secs || 13999737 markings, 16119765 edges, 21244 markings/sec, 565 secs
lola: 181 tries, 180216763 fired transitions, 570 secs || 14104857 markings, 16242126 edges, 21024 markings/sec, 570 secs
lola: 182 tries, 181587287 fired transitions, 575 secs || 14209009 markings, 16362937 edges, 20830 markings/sec, 575 secs
lola: 183 tries, 182953002 fired transitions, 580 secs || 14312195 markings, 16483204 edges, 20637 markings/sec, 580 secs
lola: 185 tries, 184208644 fired transitions, 585 secs || 14406828 markings, 16593221 edges, 18927 markings/sec, 585 secs
lola: 186 tries, 185506924 fired transitions, 590 secs || 14504181 markings, 16706832 edges, 19471 markings/sec, 590 secs
lola: 187 tries, 186876408 fired transitions, 595 secs || 14608132 markings, 16828485 edges, 20790 markings/sec, 595 secs
lola: 189 tries, 188271561 fired transitions, 600 secs || 14713772 markings, 16951861 edges, 21128 markings/sec, 600 secs
lola: 190 tries, 189665092 fired transitions, 605 secs || 14819940 markings, 17076333 edges, 21234 markings/sec, 605 secs
lola: 192 tries, 191046819 fired transitions, 610 secs || 14924917 markings, 17199305 edges, 20995 markings/sec, 610 secs
lola: 193 tries, 192686957 fired transitions, 615 secs || 15047783 markings, 17341264 edges, 24573 markings/sec, 615 secs
lola: 195 tries, 194217508 fired transitions, 620 secs || 15164486 markings, 17477814 edges, 23341 markings/sec, 620 secs
lola: 196 tries, 195571573 fired transitions, 625 secs || 15268163 markings, 17599711 edges, 20735 markings/sec, 625 secs
lola: 197 tries, 196928984 fired transitions, 630 secs || 15370934 markings, 17720315 edges, 20554 markings/sec, 630 secs
lola: 199 tries, 198232641 fired transitions, 635 secs || 15470111 markings, 17835802 edges, 19835 markings/sec, 635 secs
lola: 200 tries, 199563508 fired transitions, 640 secs || 15570171 markings, 17952003 edges, 20012 markings/sec, 640 secs
lola: 202 tries, 201100992 fired transitions, 645 secs || 15680480 markings, 18079893 edges, 22062 markings/sec, 645 secs
lola: 203 tries, 202444090 fired transitions, 650 secs || 15783456 markings, 18200034 edges, 20595 markings/sec, 650 secs
lola: 204 tries, 203759257 fired transitions, 655 secs || 15883724 markings, 18317046 edges, 20054 markings/sec, 655 secs
lola: 206 tries, 205125172 fired transitions, 660 secs || 15986880 markings, 18436463 edges, 20631 markings/sec, 660 secs
lola: 207 tries, 206450277 fired transitions, 665 secs || 16087213 markings, 18552834 edges, 20067 markings/sec, 665 secs
lola: 208 tries, 207771049 fired transitions, 670 secs || 16186014 markings, 18667429 edges, 19760 markings/sec, 670 secs
lola: 210 tries, 209143009 fired transitions, 675 secs || 16290478 markings, 18787066 edges, 20893 markings/sec, 675 secs
lola: 211 tries, 210539591 fired transitions, 680 secs || 16395473 markings, 18908307 edges, 20999 markings/sec, 680 secs
lola: 212 tries, 211948229 fired transitions, 685 secs || 16497914 markings, 19027725 edges, 20488 markings/sec, 685 secs
lola: 214 tries, 213298455 fired transitions, 690 secs || 16599072 markings, 19146709 edges, 20232 markings/sec, 690 secs
lola: 215 tries, 214651268 fired transitions, 695 secs || 16699694 markings, 19263787 edges, 20124 markings/sec, 695 secs
lola: 217 tries, 216001072 fired transitions, 700 secs || 16801598 markings, 19382258 edges, 20381 markings/sec, 700 secs
lola: 218 tries, 217354479 fired transitions, 705 secs || 16902693 markings, 19499254 edges, 20219 markings/sec, 705 secs
lola: 219 tries, 218706424 fired transitions, 710 secs || 17004921 markings, 19618462 edges, 20446 markings/sec, 710 secs
lola: 221 tries, 220062925 fired transitions, 715 secs || 17107936 markings, 19739018 edges, 20603 markings/sec, 715 secs
lola: 222 tries, 221414061 fired transitions, 720 secs || 17208820 markings, 19857113 edges, 20177 markings/sec, 720 secs
lola: 223 tries, 222765978 fired transitions, 725 secs || 17310612 markings, 19975865 edges, 20358 markings/sec, 725 secs
lola: 225 tries, 224120522 fired transitions, 730 secs || 17414861 markings, 20098604 edges, 20850 markings/sec, 730 secs
lola: 226 tries, 225475292 fired transitions, 735 secs || 17524404 markings, 20230412 edges, 21909 markings/sec, 735 secs
lola: 227 tries, 226826961 fired transitions, 740 secs || 17630582 markings, 20356886 edges, 21236 markings/sec, 740 secs
lola: 229 tries, 228220183 fired transitions, 745 secs || 17737082 markings, 20482718 edges, 21300 markings/sec, 745 secs
lola: 230 tries, 229631855 fired transitions, 750 secs || 17850219 markings, 20618603 edges, 22627 markings/sec, 750 secs
lola: 232 tries, 231075612 fired transitions, 755 secs || 17959654 markings, 20747822 edges, 21887 markings/sec, 755 secs
lola: 233 tries, 232529762 fired transitions, 760 secs || 18066883 markings, 20873020 edges, 21446 markings/sec, 760 secs
lola: 234 tries, 233940760 fired transitions, 765 secs || 18171192 markings, 20994332 edges, 20862 markings/sec, 765 secs
lola: 236 tries, 235321300 fired transitions, 770 secs || 18274860 markings, 21115137 edges, 20734 markings/sec, 770 secs
lola: 237 tries, 236774077 fired transitions, 775 secs || 18381595 markings, 21240035 edges, 21347 markings/sec, 775 secs
lola: 239 tries, 238145757 fired transitions, 780 secs || 18484665 markings, 21361724 edges, 20614 markings/sec, 780 secs
lola: 240 tries, 239515820 fired transitions, 785 secs || 18586027 markings, 21479715 edges, 20272 markings/sec, 785 secs
lola: 241 tries, 240839468 fired transitions, 790 secs || 18684723 markings, 21595165 edges, 19739 markings/sec, 790 secs
lola: 243 tries, 242194635 fired transitions, 795 secs || 18786253 markings, 21713960 edges, 20306 markings/sec, 795 secs
lola: 244 tries, 243531868 fired transitions, 800 secs || 18888394 markings, 21835382 edges, 20428 markings/sec, 800 secs
lola: 245 tries, 244897458 fired transitions, 805 secs || 18991560 markings, 21956235 edges, 20633 markings/sec, 805 secs
lola: 247 tries, 246280970 fired transitions, 810 secs || 19096046 markings, 22077754 edges, 20897 markings/sec, 810 secs
lola: 248 tries, 247659076 fired transitions, 815 secs || 19203578 markings, 22204562 edges, 21506 markings/sec, 815 secs
lola: 250 tries, 249016360 fired transitions, 820 secs || 19309573 markings, 22329096 edges, 21199 markings/sec, 820 secs
lola: 251 tries, 250365478 fired transitions, 825 secs || 19413961 markings, 22450337 edges, 20878 markings/sec, 825 secs
lola: 252 tries, 251715203 fired transitions, 830 secs || 19519717 markings, 22573474 edges, 21151 markings/sec, 830 secs
lola: 254 tries, 253067930 fired transitions, 835 secs || 19623938 markings, 22694058 edges, 20844 markings/sec, 835 secs
lola: 255 tries, 254422271 fired transitions, 840 secs || 19728889 markings, 22816608 edges, 20990 markings/sec, 840 secs
lola: 256 tries, 255774086 fired transitions, 845 secs || 19834116 markings, 22939580 edges, 21045 markings/sec, 845 secs
lola: 258 tries, 257130994 fired transitions, 850 secs || 19939227 markings, 23060282 edges, 21022 markings/sec, 850 secs
lola: 259 tries, 258483316 fired transitions, 855 secs || 20044085 markings, 23180852 edges, 20972 markings/sec, 855 secs
lola: 260 tries, 259838424 fired transitions, 860 secs || 20148692 markings, 23302145 edges, 20921 markings/sec, 860 secs
lola: 262 tries, 261195819 fired transitions, 865 secs || 20253351 markings, 23423932 edges, 20932 markings/sec, 865 secs
lola: 263 tries, 262545748 fired transitions, 870 secs || 20358942 markings, 23548976 edges, 21118 markings/sec, 870 secs
lola: 264 tries, 263898435 fired transitions, 875 secs || 20463462 markings, 23671719 edges, 20904 markings/sec, 875 secs
lola: 266 tries, 265255225 fired transitions, 880 secs || 20569985 markings, 23797178 edges, 21305 markings/sec, 880 secs
lola: 267 tries, 266607793 fired transitions, 885 secs || 20675336 markings, 23921251 edges, 21070 markings/sec, 885 secs
lola: 268 tries, 267962384 fired transitions, 890 secs || 20780133 markings, 24044086 edges, 20959 markings/sec, 890 secs
lola: 270 tries, 269316270 fired transitions, 895 secs || 20883584 markings, 24163982 edges, 20690 markings/sec, 895 secs
lola: 271 tries, 270670376 fired transitions, 900 secs || 20986539 markings, 24283809 edges, 20591 markings/sec, 900 secs
lola: 273 tries, 272022251 fired transitions, 905 secs || 21090345 markings, 24405573 edges, 20761 markings/sec, 905 secs
lola: 274 tries, 273379483 fired transitions, 910 secs || 21193357 markings, 24526224 edges, 20602 markings/sec, 910 secs
lola: 275 tries, 274736248 fired transitions, 915 secs || 21296279 markings, 24645951 edges, 20584 markings/sec, 915 secs
lola: 277 tries, 276090008 fired transitions, 920 secs || 21400210 markings, 24766372 edges, 20786 markings/sec, 920 secs
lola: 278 tries, 277446783 fired transitions, 925 secs || 21503491 markings, 24885563 edges, 20656 markings/sec, 925 secs
lola: 279 tries, 278796252 fired transitions, 930 secs || 21608061 markings, 25008783 edges, 20914 markings/sec, 930 secs
lola: 281 tries, 280155195 fired transitions, 935 secs || 21710908 markings, 25128570 edges, 20569 markings/sec, 935 secs
lola: 282 tries, 281512341 fired transitions, 940 secs || 21815023 markings, 25250017 edges, 20823 markings/sec, 940 secs
lola: 283 tries, 282869661 fired transitions, 945 secs || 21919049 markings, 25371610 edges, 20805 markings/sec, 945 secs
lola: 285 tries, 284227675 fired transitions, 950 secs || 22024790 markings, 25498202 edges, 21148 markings/sec, 950 secs
lola: 286 tries, 285579762 fired transitions, 955 secs || 22126272 markings, 25617817 edges, 20296 markings/sec, 955 secs
lola: 287 tries, 286932975 fired transitions, 960 secs || 22229090 markings, 25737592 edges, 20564 markings/sec, 960 secs
lola: 289 tries, 288291308 fired transitions, 965 secs || 22336607 markings, 25866230 edges, 21503 markings/sec, 965 secs
lola: 290 tries, 289647889 fired transitions, 970 secs || 22439090 markings, 25986883 edges, 20497 markings/sec, 970 secs
lola: 292 tries, 291004231 fired transitions, 975 secs || 22547563 markings, 26113574 edges, 21695 markings/sec, 975 secs
lola: 293 tries, 292356551 fired transitions, 980 secs || 22655547 markings, 26238553 edges, 21597 markings/sec, 980 secs
lola: 294 tries, 293704249 fired transitions, 985 secs || 22762920 markings, 26363490 edges, 21475 markings/sec, 985 secs
lola: 296 tries, 295064765 fired transitions, 990 secs || 22872093 markings, 26491632 edges, 21835 markings/sec, 990 secs
lola: 297 tries, 296417205 fired transitions, 995 secs || 22978354 markings, 26614976 edges, 21252 markings/sec, 995 secs
lola: 298 tries, 297766207 fired transitions, 1000 secs || 23084026 markings, 26738913 edges, 21134 markings/sec, 1000 secs
lola: 300 tries, 299118737 fired transitions, 1005 secs || 23184522 markings, 26856306 edges, 20099 markings/sec, 1005 secs
lola: 301 tries, 300493285 fired transitions, 1010 secs || 23286344 markings, 26975648 edges, 20364 markings/sec, 1010 secs
lola: 302 tries, 301888935 fired transitions, 1015 secs || 23391159 markings, 27098702 edges, 20963 markings/sec, 1015 secs
lola: 304 tries, 303282953 fired transitions, 1020 secs || 23498565 markings, 27224354 edges, 21481 markings/sec, 1020 secs
lola: 305 tries, 304683345 fired transitions, 1025 secs || 23606875 markings, 27352037 edges, 21662 markings/sec, 1025 secs
lola: 307 tries, 306070859 fired transitions, 1030 secs || 23717439 markings, 27482392 edges, 22113 markings/sec, 1030 secs
lola: 308 tries, 307426314 fired transitions, 1035 secs || 23818312 markings, 27600740 edges, 20175 markings/sec, 1035 secs
lola: 309 tries, 308814008 fired transitions, 1040 secs || 23922072 markings, 27723659 edges, 20752 markings/sec, 1040 secs
lola: 311 tries, 310126511 fired transitions, 1045 secs || 24019441 markings, 27837419 edges, 19474 markings/sec, 1045 secs
lola: 312 tries, 311475184 fired transitions, 1050 secs || 24120869 markings, 27958045 edges, 20286 markings/sec, 1050 secs
lola: 313 tries, 312827331 fired transitions, 1055 secs || 24225068 markings, 28081480 edges, 20840 markings/sec, 1055 secs
lola: 315 tries, 314173674 fired transitions, 1060 secs || 24329628 markings, 28205747 edges, 20912 markings/sec, 1060 secs
lola: 316 tries, 315522861 fired transitions, 1065 secs || 24432120 markings, 28326197 edges, 20498 markings/sec, 1065 secs
lola: 317 tries, 316833997 fired transitions, 1070 secs || 24532519 markings, 28445163 edges, 20080 markings/sec, 1070 secs
lola: 319 tries, 318142862 fired transitions, 1075 secs || 24633877 markings, 28563976 edges, 20272 markings/sec, 1075 secs
lola: 320 tries, 319494968 fired transitions, 1080 secs || 24738914 markings, 28687648 edges, 21007 markings/sec, 1080 secs
lola: 321 tries, 320837636 fired transitions, 1085 secs || 24841547 markings, 28808338 edges, 20527 markings/sec, 1085 secs
lola: 323 tries, 322153297 fired transitions, 1090 secs || 24941764 markings, 28926655 edges, 20043 markings/sec, 1090 secs
lola: 324 tries, 323476349 fired transitions, 1095 secs || 25043430 markings, 29045764 edges, 20333 markings/sec, 1095 secs
lola: 325 tries, 324825280 fired transitions, 1100 secs || 25146981 markings, 29166785 edges, 20710 markings/sec, 1100 secs
lola: 327 tries, 326164998 fired transitions, 1105 secs || 25249578 markings, 29286142 edges, 20519 markings/sec, 1105 secs
lola: 328 tries, 327515711 fired transitions, 1110 secs || 25351584 markings, 29405165 edges, 20401 markings/sec, 1110 secs
lola: 329 tries, 328838310 fired transitions, 1115 secs || 25451434 markings, 29521146 edges, 19970 markings/sec, 1115 secs
lola: 331 tries, 330168983 fired transitions, 1120 secs || 25549771 markings, 29634895 edges, 19667 markings/sec, 1120 secs
lola: 332 tries, 331535795 fired transitions, 1125 secs || 25650742 markings, 29753180 edges, 20194 markings/sec, 1125 secs
lola: 333 tries, 332919962 fired transitions, 1130 secs || 25756239 markings, 29877495 edges, 21099 markings/sec, 1130 secs
lola: 335 tries, 334278778 fired transitions, 1135 secs || 25856683 markings, 29995712 edges, 20089 markings/sec, 1135 secs
lola: 336 tries, 335644700 fired transitions, 1140 secs || 25958430 markings, 30115306 edges, 20349 markings/sec, 1140 secs
lola: 338 tries, 337031665 fired transitions, 1145 secs || 26063255 markings, 30238505 edges, 20965 markings/sec, 1145 secs
lola: 339 tries, 338426294 fired transitions, 1150 secs || 26168107 markings, 30360320 edges, 20970 markings/sec, 1150 secs
lola: 340 tries, 339814483 fired transitions, 1155 secs || 26272565 markings, 30483995 edges, 20892 markings/sec, 1155 secs
lola: 342 tries, 341660853 fired transitions, 1160 secs || 26423055 markings, 30657782 edges, 30098 markings/sec, 1160 secs
lola: 344 tries, 343558653 fired transitions, 1165 secs || 26578324 markings, 30835320 edges, 31054 markings/sec, 1165 secs
lola: 346 tries, 345439374 fired transitions, 1170 secs || 26733410 markings, 31011407 edges, 31017 markings/sec, 1170 secs
lola: 348 tries, 347325912 fired transitions, 1175 secs || 26888838 markings, 31188508 edges, 31086 markings/sec, 1175 secs
lola: 350 tries, 349215695 fired transitions, 1180 secs || 27045648 markings, 31367568 edges, 31362 markings/sec, 1180 secs
lola: 352 tries, 351084752 fired transitions, 1185 secs || 27199462 markings, 31542206 edges, 30763 markings/sec, 1185 secs
lola: 353 tries, 352766538 fired transitions, 1190 secs || 27334220 markings, 31697100 edges, 26952 markings/sec, 1190 secs
lola: 355 tries, 354182432 fired transitions, 1195 secs || 27445386 markings, 31828124 edges, 22233 markings/sec, 1195 secs
lola: 356 tries, 355555263 fired transitions, 1200 secs || 27551072 markings, 31952214 edges, 21137 markings/sec, 1200 secs
lola: 357 tries, 356959729 fired transitions, 1205 secs || 27662289 markings, 32085424 edges, 22243 markings/sec, 1205 secs
lola: 359 tries, 358420511 fired transitions, 1210 secs || 27772021 markings, 32214175 edges, 21946 markings/sec, 1210 secs
lola: 360 tries, 359773222 fired transitions, 1215 secs || 27874914 markings, 32333213 edges, 20579 markings/sec, 1215 secs
lola: 362 tries, 361122546 fired transitions, 1220 secs || 27978402 markings, 32454713 edges, 20698 markings/sec, 1220 secs
lola: 363 tries, 362471997 fired transitions, 1225 secs || 28083498 markings, 32578395 edges, 21019 markings/sec, 1225 secs
lola: 364 tries, 363827187 fired transitions, 1230 secs || 28190900 markings, 32707738 edges, 21480 markings/sec, 1230 secs
lola: 366 tries, 365180320 fired transitions, 1235 secs || 28296332 markings, 32832879 edges, 21086 markings/sec, 1235 secs
lola: 367 tries, 366534162 fired transitions, 1240 secs || 28401191 markings, 32956858 edges, 20972 markings/sec, 1240 secs
lola: 368 tries, 367886946 fired transitions, 1245 secs || 28503894 markings, 33075187 edges, 20541 markings/sec, 1245 secs
lola: 370 tries, 369236769 fired transitions, 1250 secs || 28608307 markings, 33195969 edges, 20883 markings/sec, 1250 secs
lola: 371 tries, 370593537 fired transitions, 1255 secs || 28709920 markings, 33313416 edges, 20323 markings/sec, 1255 secs
lola: 372 tries, 371940157 fired transitions, 1260 secs || 28813315 markings, 33431177 edges, 20679 markings/sec, 1260 secs
lola: 374 tries, 373291549 fired transitions, 1265 secs || 28921273 markings, 33554947 edges, 21592 markings/sec, 1265 secs
lola: 375 tries, 374642200 fired transitions, 1270 secs || 29028143 markings, 33678564 edges, 21374 markings/sec, 1270 secs
lola: 376 tries, 375983167 fired transitions, 1275 secs || 29132343 markings, 33799072 edges, 20840 markings/sec, 1275 secs
lola: 378 tries, 377326665 fired transitions, 1280 secs || 29234742 markings, 33917600 edges, 20480 markings/sec, 1280 secs
lola: 379 tries, 378674147 fired transitions, 1285 secs || 29336168 markings, 34034794 edges, 20285 markings/sec, 1285 secs
lola: 381 tries, 380026512 fired transitions, 1290 secs || 29438917 markings, 34153871 edges, 20550 markings/sec, 1290 secs
lola: 382 tries, 381376445 fired transitions, 1295 secs || 29542806 markings, 34274487 edges, 20778 markings/sec, 1295 secs
lola: 383 tries, 382731529 fired transitions, 1300 secs || 29645650 markings, 34393461 edges, 20569 markings/sec, 1300 secs
lola: 385 tries, 384085655 fired transitions, 1305 secs || 29747447 markings, 34510414 edges, 20359 markings/sec, 1305 secs
lola: 386 tries, 385437505 fired transitions, 1310 secs || 29849615 markings, 34628262 edges, 20434 markings/sec, 1310 secs
lola: 387 tries, 386793062 fired transitions, 1315 secs || 29953244 markings, 34749862 edges, 20726 markings/sec, 1315 secs
lola: 389 tries, 388150814 fired transitions, 1320 secs || 30056679 markings, 34871200 edges, 20687 markings/sec, 1320 secs
lola: 390 tries, 389501622 fired transitions, 1325 secs || 30159847 markings, 34992043 edges, 20634 markings/sec, 1325 secs
lola: 391 tries, 390857465 fired transitions, 1330 secs || 30265201 markings, 35116297 edges, 21071 markings/sec, 1330 secs
lola: 393 tries, 392212819 fired transitions, 1335 secs || 30372471 markings, 35242524 edges, 21454 markings/sec, 1335 secs
lola: 394 tries, 393564658 fired transitions, 1340 secs || 30477340 markings, 35365827 edges, 20974 markings/sec, 1340 secs
lola: 395 tries, 394921207 fired transitions, 1345 secs || 30581172 markings, 35486657 edges, 20766 markings/sec, 1345 secs
lola: 397 tries, 396275055 fired transitions, 1350 secs || 30688056 markings, 35614142 edges, 21377 markings/sec, 1350 secs
lola: 398 tries, 397626048 fired transitions, 1355 secs || 30794322 markings, 35740588 edges, 21253 markings/sec, 1355 secs
lola: 400 tries, 399062532 fired transitions, 1360 secs || 30906266 markings, 35870658 edges, 22389 markings/sec, 1360 secs
lola: 401 tries, 400925158 fired transitions, 1365 secs || 31048477 markings, 36033305 edges, 28442 markings/sec, 1365 secs
lola: 403 tries, 402236795 fired transitions, 1370 secs || 31150280 markings, 36154019 edges, 20361 markings/sec, 1370 secs
lola: 404 tries, 403544875 fired transitions, 1375 secs || 31254871 markings, 36279265 edges, 20918 markings/sec, 1375 secs
lola: 405 tries, 404965686 fired transitions, 1380 secs || 31365510 markings, 36410843 edges, 22128 markings/sec, 1380 secs
lola: 407 tries, 406336910 fired transitions, 1385 secs || 31470868 markings, 36532943 edges, 21072 markings/sec, 1385 secs
lola: 408 tries, 407690899 fired transitions, 1390 secs || 31575506 markings, 36655308 edges, 20928 markings/sec, 1390 secs
lola: 410 tries, 409042364 fired transitions, 1395 secs || 31682093 markings, 36780762 edges, 21317 markings/sec, 1395 secs
lola: 411 tries, 410391948 fired transitions, 1400 secs || 31788474 markings, 36904980 edges, 21276 markings/sec, 1400 secs
lola: 412 tries, 411740003 fired transitions, 1405 secs || 31893133 markings, 37026939 edges, 20932 markings/sec, 1405 secs
lola: 414 tries, 413056486 fired transitions, 1410 secs || 31994273 markings, 37143564 edges, 20228 markings/sec, 1410 secs
lola: 415 tries, 414389616 fired transitions, 1415 secs || 32096102 markings, 37260727 edges, 20366 markings/sec, 1415 secs
lola: 416 tries, 415731250 fired transitions, 1420 secs || 32199319 markings, 37379604 edges, 20643 markings/sec, 1420 secs
lola: 418 tries, 417077095 fired transitions, 1425 secs || 32302041 markings, 37498612 edges, 20544 markings/sec, 1425 secs
lola: 419 tries, 418421611 fired transitions, 1430 secs || 32404615 markings, 37616531 edges, 20515 markings/sec, 1430 secs
lola: 420 tries, 419775039 fired transitions, 1435 secs || 32506596 markings, 37732689 edges, 20396 markings/sec, 1435 secs
lola: 422 tries, 421124094 fired transitions, 1440 secs || 32608199 markings, 37849624 edges, 20321 markings/sec, 1440 secs
lola: 423 tries, 422477352 fired transitions, 1445 secs || 32713447 markings, 37973056 edges, 21050 markings/sec, 1445 secs
lola: 424 tries, 423846288 fired transitions, 1450 secs || 32822124 markings, 38099705 edges, 21735 markings/sec, 1450 secs
lola: 426 tries, 425229415 fired transitions, 1455 secs || 32928039 markings, 38222562 edges, 21183 markings/sec, 1455 secs
lola: 427 tries, 426566429 fired transitions, 1460 secs || 33029487 markings, 38340056 edges, 20290 markings/sec, 1460 secs
lola: 428 tries, 427889407 fired transitions, 1465 secs || 33129564 markings, 38457061 edges, 20015 markings/sec, 1465 secs
lola: 430 tries, 429201670 fired transitions, 1470 secs || 33229664 markings, 38573764 edges, 20020 markings/sec, 1470 secs
lola: 431 tries, 430540511 fired transitions, 1475 secs || 33330033 markings, 38690106 edges, 20074 markings/sec, 1475 secs
lola: 432 tries, 431877906 fired transitions, 1480 secs || 33431536 markings, 38806483 edges, 20301 markings/sec, 1480 secs
lola: 434 tries, 433214121 fired transitions, 1485 secs || 33533048 markings, 38923574 edges, 20302 markings/sec, 1485 secs
lola: 435 tries, 434540280 fired transitions, 1490 secs || 33631674 markings, 39036212 edges, 19725 markings/sec, 1490 secs
lola: 436 tries, 435862118 fired transitions, 1495 secs || 33730640 markings, 39150140 edges, 19793 markings/sec, 1495 secs
lola: 438 tries, 437192274 fired transitions, 1500 secs || 33830121 markings, 39265589 edges, 19896 markings/sec, 1500 secs
lola: 439 tries, 438518656 fired transitions, 1505 secs || 33930284 markings, 39381998 edges, 20033 markings/sec, 1505 secs
lola: 440 tries, 439856984 fired transitions, 1510 secs || 34031539 markings, 39500130 edges, 20251 markings/sec, 1510 secs
lola: 442 tries, 441634601 fired transitions, 1515 secs || 34166584 markings, 39655582 edges, 27009 markings/sec, 1515 secs
lola: 444 tries, 443274485 fired transitions, 1520 secs || 34294896 markings, 39802653 edges, 25662 markings/sec, 1520 secs
lola: 445 tries, 444584422 fired transitions, 1525 secs || 34396101 markings, 39921381 edges, 20241 markings/sec, 1525 secs
lola: 446 tries, 445882262 fired transitions, 1530 secs || 34497353 markings, 40039938 edges, 20250 markings/sec, 1530 secs
lola: 448 tries, 447172214 fired transitions, 1535 secs || 34596287 markings, 40155620 edges, 19787 markings/sec, 1535 secs
lola: 449 tries, 448474352 fired transitions, 1540 secs || 34695409 markings, 40271651 edges, 19824 markings/sec, 1540 secs
lola: 450 tries, 449744478 fired transitions, 1545 secs || 34792936 markings, 40385394 edges, 19505 markings/sec, 1545 secs
lola: 452 tries, 451008391 fired transitions, 1550 secs || 34889016 markings, 40497756 edges, 19216 markings/sec, 1550 secs
lola: 453 tries, 452286139 fired transitions, 1555 secs || 34987273 markings, 40612816 edges, 19651 markings/sec, 1555 secs
lola: 454 tries, 453590343 fired transitions, 1560 secs || 35086613 markings, 40728472 edges, 19868 markings/sec, 1560 secs
lola: 456 tries, 455316790 fired transitions, 1565 secs || 35222985 markings, 40884620 edges, 27274 markings/sec, 1565 secs
lola: 457 tries, 456915455 fired transitions, 1570 secs || 35344964 markings, 41024823 edges, 24396 markings/sec, 1570 secs
lola: 459 tries, 458216506 fired transitions, 1575 secs || 35446451 markings, 41144997 edges, 20297 markings/sec, 1575 secs
lola: 460 tries, 459500419 fired transitions, 1580 secs || 35545750 markings, 41263051 edges, 19860 markings/sec, 1580 secs
lola: 461 tries, 460760948 fired transitions, 1585 secs || 35641819 markings, 41374617 edges, 19214 markings/sec, 1585 secs
lola: 463 tries, 462027637 fired transitions, 1590 secs || 35739024 markings, 41488894 edges, 19441 markings/sec, 1590 secs
lola: 464 tries, 463282492 fired transitions, 1595 secs || 35834894 markings, 41600820 edges, 19174 markings/sec, 1595 secs
lola: 465 tries, 464547144 fired transitions, 1600 secs || 35930097 markings, 41710381 edges, 19041 markings/sec, 1600 secs
lola: 466 tries, 465809192 fired transitions, 1605 secs || 36024945 markings, 41818931 edges, 18970 markings/sec, 1605 secs
lola: 468 tries, 467099004 fired transitions, 1610 secs || 36122386 markings, 41930352 edges, 19488 markings/sec, 1610 secs
lola: 469 tries, 468383349 fired transitions, 1615 secs || 36221051 markings, 42043777 edges, 19733 markings/sec, 1615 secs
lola: 470 tries, 469674472 fired transitions, 1620 secs || 36319361 markings, 42157578 edges, 19662 markings/sec, 1620 secs
lola: 471 tries, 470958749 fired transitions, 1625 secs || 36416424 markings, 42271562 edges, 19413 markings/sec, 1625 secs
lola: 473 tries, 472220761 fired transitions, 1630 secs || 36513125 markings, 42385224 edges, 19340 markings/sec, 1630 secs
lola: 474 tries, 473504583 fired transitions, 1635 secs || 36609553 markings, 42497695 edges, 19286 markings/sec, 1635 secs
lola: 475 tries, 474742450 fired transitions, 1640 secs || 36704916 markings, 42612029 edges, 19073 markings/sec, 1640 secs
lola: 476 tries, 475940913 fired transitions, 1645 secs || 36797528 markings, 42723812 edges, 18522 markings/sec, 1645 secs
lola: 478 tries, 477191867 fired transitions, 1650 secs || 36894288 markings, 42840506 edges, 19352 markings/sec, 1650 secs
lola: 479 tries, 478465798 fired transitions, 1655 secs || 36993210 markings, 42959716 edges, 19784 markings/sec, 1655 secs
lola: 480 tries, 479742707 fired transitions, 1660 secs || 37091291 markings, 43078099 edges, 19616 markings/sec, 1660 secs
lola: 482 tries, 481021818 fired transitions, 1665 secs || 37193715 markings, 43202090 edges, 20485 markings/sec, 1665 secs
lola: 483 tries, 482304841 fired transitions, 1670 secs || 37296999 markings, 43326386 edges, 20657 markings/sec, 1670 secs
lola: 484 tries, 483586344 fired transitions, 1675 secs || 37397313 markings, 43443365 edges, 20063 markings/sec, 1675 secs
lola: 485 tries, 484875272 fired transitions, 1680 secs || 37499240 markings, 43565689 edges, 20385 markings/sec, 1680 secs
lola: 487 tries, 486150732 fired transitions, 1685 secs || 37600194 markings, 43686458 edges, 20191 markings/sec, 1685 secs
lola: 488 tries, 487429145 fired transitions, 1690 secs || 37700704 markings, 43806725 edges, 20102 markings/sec, 1690 secs
lola: 489 tries, 488712413 fired transitions, 1695 secs || 37800838 markings, 43924986 edges, 20027 markings/sec, 1695 secs
lola: 490 tries, 489999331 fired transitions, 1700 secs || 37901069 markings, 44042287 edges, 20046 markings/sec, 1700 secs
lola: 492 tries, 491264788 fired transitions, 1705 secs || 37998575 markings, 44155944 edges, 19501 markings/sec, 1705 secs
lola: 493 tries, 492546604 fired transitions, 1710 secs || 38098316 markings, 44272932 edges, 19948 markings/sec, 1710 secs
lola: 494 tries, 493830988 fired transitions, 1715 secs || 38197310 markings, 44388744 edges, 19799 markings/sec, 1715 secs
lola: 496 tries, 495114341 fired transitions, 1720 secs || 38298584 markings, 44508256 edges, 20255 markings/sec, 1720 secs
lola: 497 tries, 496383928 fired transitions, 1725 secs || 38396871 markings, 44622442 edges, 19657 markings/sec, 1725 secs
lola: 498 tries, 497642124 fired transitions, 1730 secs || 38493899 markings, 44736064 edges, 19406 markings/sec, 1730 secs
lola: 499 tries, 498902624 fired transitions, 1735 secs || 38591863 markings, 44851382 edges, 19593 markings/sec, 1735 secs
lola: 501 tries, 500169347 fired transitions, 1740 secs || 38689338 markings, 44965656 edges, 19495 markings/sec, 1740 secs
lola: 502 tries, 501426135 fired transitions, 1745 secs || 38786917 markings, 45081103 edges, 19516 markings/sec, 1745 secs
lola: 503 tries, 502675977 fired transitions, 1750 secs || 38883874 markings, 45194668 edges, 19391 markings/sec, 1750 secs
lola: 504 tries, 503926563 fired transitions, 1755 secs || 38981914 markings, 45310609 edges, 19608 markings/sec, 1755 secs
lola: 506 tries, 505176178 fired transitions, 1760 secs || 39079049 markings, 45425245 edges, 19427 markings/sec, 1760 secs
lola: 507 tries, 506436120 fired transitions, 1765 secs || 39175897 markings, 45538451 edges, 19370 markings/sec, 1765 secs
lola: 508 tries, 507695842 fired transitions, 1770 secs || 39276800 markings, 45657495 edges, 20181 markings/sec, 1770 secs
lola: 509 tries, 508944806 fired transitions, 1775 secs || 39376965 markings, 45775998 edges, 20033 markings/sec, 1775 secs
lola: 511 tries, 510204965 fired transitions, 1780 secs || 39476624 markings, 45893732 edges, 19932 markings/sec, 1780 secs
lola: 512 tries, 511463113 fired transitions, 1785 secs || 39575798 markings, 46010104 edges, 19835 markings/sec, 1785 secs
lola: 513 tries, 512708995 fired transitions, 1790 secs || 39675760 markings, 46128191 edges, 19992 markings/sec, 1790 secs
lola: 514 tries, 513957751 fired transitions, 1795 secs || 39773406 markings, 46242609 edges, 19529 markings/sec, 1795 secs
lola: 516 tries, 515198079 fired transitions, 1800 secs || 39869613 markings, 46356892 edges, 19241 markings/sec, 1800 secs
lola: 517 tries, 516438025 fired transitions, 1805 secs || 39966735 markings, 46472306 edges, 19424 markings/sec, 1805 secs
lola: 518 tries, 517682625 fired transitions, 1810 secs || 40063129 markings, 46585940 edges, 19279 markings/sec, 1810 secs
lola: 519 tries, 518937304 fired transitions, 1815 secs || 40159624 markings, 46698630 edges, 19299 markings/sec, 1815 secs
lola: 521 tries, 520194776 fired transitions, 1820 secs || 40258333 markings, 46815376 edges, 19742 markings/sec, 1820 secs
lola: 522 tries, 521461806 fired transitions, 1825 secs || 40359601 markings, 46935214 edges, 20254 markings/sec, 1825 secs
lola: 523 tries, 522721211 fired transitions, 1830 secs || 40460174 markings, 47052706 edges, 20115 markings/sec, 1830 secs
lola: 524 tries, 523972587 fired transitions, 1835 secs || 40556520 markings, 47165561 edges, 19269 markings/sec, 1835 secs
lola: 526 tries, 525228179 fired transitions, 1840 secs || 40653667 markings, 47279387 edges, 19429 markings/sec, 1840 secs
lola: 527 tries, 526478807 fired transitions, 1845 secs || 40750923 markings, 47393237 edges, 19451 markings/sec, 1845 secs
lola: 528 tries, 527733348 fired transitions, 1850 secs || 40846372 markings, 47504745 edges, 19090 markings/sec, 1850 secs
lola: 529 tries, 528996969 fired transitions, 1855 secs || 40943676 markings, 47618808 edges, 19461 markings/sec, 1855 secs
lola: 531 tries, 530429233 fired transitions, 1860 secs || 41054039 markings, 47747226 edges, 22073 markings/sec, 1860 secs
lola: 533 tries, 532365420 fired transitions, 1865 secs || 41198878 markings, 47911269 edges, 28968 markings/sec, 1865 secs
lola: 535 tries, 534309810 fired transitions, 1870 secs || 41347450 markings, 48081115 edges, 29714 markings/sec, 1870 secs
lola: 537 tries, 536251577 fired transitions, 1875 secs || 41494417 markings, 48248015 edges, 29393 markings/sec, 1875 secs
lola: 539 tries, 538181350 fired transitions, 1880 secs || 41643328 markings, 48418302 edges, 29782 markings/sec, 1880 secs
lola: 541 tries, 540132228 fired transitions, 1885 secs || 41791426 markings, 48588177 edges, 29620 markings/sec, 1885 secs
lola: 543 tries, 542076122 fired transitions, 1890 secs || 41939694 markings, 48757606 edges, 29654 markings/sec, 1890 secs
lola: 545 tries, 544012141 fired transitions, 1895 secs || 42089210 markings, 48927935 edges, 29903 markings/sec, 1895 secs
lola: 546 tries, 545949976 fired transitions, 1900 secs || 42237885 markings, 49098120 edges, 29735 markings/sec, 1900 secs
lola: 548 tries, 547602078 fired transitions, 1905 secs || 42360386 markings, 49238174 edges, 24500 markings/sec, 1905 secs
lola: 550 tries, 549295281 fired transitions, 1910 secs || 42477588 markings, 49371640 edges, 23440 markings/sec, 1910 secs
lola: 552 tries, 551312187 fired transitions, 1915 secs || 42608011 markings, 49519624 edges, 26085 markings/sec, 1915 secs
lola: 554 tries, 553316594 fired transitions, 1920 secs || 42734325 markings, 49661307 edges, 25263 markings/sec, 1920 secs
lola: 556 tries, 555334285 fired transitions, 1925 secs || 42860866 markings, 49803718 edges, 25308 markings/sec, 1925 secs
lola: 558 tries, 557343825 fired transitions, 1930 secs || 42990570 markings, 49950174 edges, 25941 markings/sec, 1930 secs
lola: 560 tries, 559109813 fired transitions, 1935 secs || 43112973 markings, 50089933 edges, 24481 markings/sec, 1935 secs
lola: 562 tries, 561017072 fired transitions, 1940 secs || 43259077 markings, 50255683 edges, 29221 markings/sec, 1940 secs
lola: 563 tries, 562982558 fired transitions, 1945 secs || 43387335 markings, 50399707 edges, 25652 markings/sec, 1945 secs
lola: 565 tries, 564971616 fired transitions, 1950 secs || 43515092 markings, 50543512 edges, 25551 markings/sec, 1950 secs
lola: 567 tries, 566997668 fired transitions, 1955 secs || 43638990 markings, 50683326 edges, 24780 markings/sec, 1955 secs
lola: 570 tries, 569022987 fired transitions, 1960 secs || 43764532 markings, 50824911 edges, 25108 markings/sec, 1960 secs
lola: 572 tries, 571000636 fired transitions, 1965 secs || 43894270 markings, 50971425 edges, 25948 markings/sec, 1965 secs
lola: 573 tries, 572995690 fired transitions, 1970 secs || 44026613 markings, 51121421 edges, 26469 markings/sec, 1970 secs
lola: 575 tries, 574965242 fired transitions, 1975 secs || 44155712 markings, 51267036 edges, 25820 markings/sec, 1975 secs
lola: 577 tries, 576935583 fired transitions, 1980 secs || 44285499 markings, 51413282 edges, 25957 markings/sec, 1980 secs
lola: 579 tries, 578912331 fired transitions, 1985 secs || 44419806 markings, 51566334 edges, 26861 markings/sec, 1985 secs
lola: 581 tries, 580933840 fired transitions, 1990 secs || 44545854 markings, 51708801 edges, 25210 markings/sec, 1990 secs
lola: 583 tries, 582931879 fired transitions, 1995 secs || 44677604 markings, 51858481 edges, 26350 markings/sec, 1995 secs
lola: 585 tries, 584934019 fired transitions, 2000 secs || 44810137 markings, 52007837 edges, 26507 markings/sec, 2000 secs
lola: 587 tries, 586943627 fired transitions, 2005 secs || 44946386 markings, 52165265 edges, 27250 markings/sec, 2005 secs
lola: 589 tries, 588940119 fired transitions, 2010 secs || 45076972 markings, 52313306 edges, 26117 markings/sec, 2010 secs
lola: 591 tries, 590909677 fired transitions, 2015 secs || 45208600 markings, 52462114 edges, 26326 markings/sec, 2015 secs
lola: 593 tries, 592801353 fired transitions, 2020 secs || 45349562 markings, 52623568 edges, 28192 markings/sec, 2020 secs
lola: 595 tries, 594650019 fired transitions, 2025 secs || 45498965 markings, 52794426 edges, 29881 markings/sec, 2025 secs
lola: 597 tries, 596501550 fired transitions, 2030 secs || 45647896 markings, 52964331 edges, 29786 markings/sec, 2030 secs
lola: 599 tries, 598344583 fired transitions, 2035 secs || 45798495 markings, 53136776 edges, 30120 markings/sec, 2035 secs
lola: 601 tries, 600208249 fired transitions, 2040 secs || 45945801 markings, 53304149 edges, 29461 markings/sec, 2040 secs
lola: 603 tries, 602165588 fired transitions, 2045 secs || 46089404 markings, 53468889 edges, 28721 markings/sec, 2045 secs
lola: 605 tries, 604104300 fired transitions, 2050 secs || 46234856 markings, 53634172 edges, 29090 markings/sec, 2050 secs
lola: 607 tries, 606064938 fired transitions, 2055 secs || 46376584 markings, 53795257 edges, 28346 markings/sec, 2055 secs
lola: 609 tries, 608004632 fired transitions, 2060 secs || 46519973 markings, 53958820 edges, 28678 markings/sec, 2060 secs
lola: 610 tries, 609945914 fired transitions, 2065 secs || 46664319 markings, 54123471 edges, 28869 markings/sec, 2065 secs
lola: 612 tries, 611881616 fired transitions, 2070 secs || 46807713 markings, 54285857 edges, 28679 markings/sec, 2070 secs
lola: 614 tries, 613837814 fired transitions, 2075 secs || 46952459 markings, 54451487 edges, 28949 markings/sec, 2075 secs
lola: 616 tries, 615778711 fired transitions, 2080 secs || 47096500 markings, 54616229 edges, 28808 markings/sec, 2080 secs
lola: 618 tries, 617698544 fired transitions, 2085 secs || 47244740 markings, 54786122 edges, 29648 markings/sec, 2085 secs
lola: 620 tries, 619617371 fired transitions, 2090 secs || 47391073 markings, 54953168 edges, 29267 markings/sec, 2090 secs
lola: 622 tries, 621532781 fired transitions, 2095 secs || 47538315 markings, 55121776 edges, 29448 markings/sec, 2095 secs
lola: 624 tries, 623455273 fired transitions, 2100 secs || 47685612 markings, 55290766 edges, 29459 markings/sec, 2100 secs
lola: 626 tries, 625347094 fired transitions, 2105 secs || 47833064 markings, 55457524 edges, 29490 markings/sec, 2105 secs
lola: 628 tries, 627264450 fired transitions, 2110 secs || 47978981 markings, 55623981 edges, 29183 markings/sec, 2110 secs
lola: 630 tries, 629204439 fired transitions, 2115 secs || 48126549 markings, 55792823 edges, 29514 markings/sec, 2115 secs
lola: 632 tries, 631136947 fired transitions, 2120 secs || 48271752 markings, 55957900 edges, 29041 markings/sec, 2120 secs
lola: 634 tries, 633072945 fired transitions, 2125 secs || 48413079 markings, 56118892 edges, 28265 markings/sec, 2125 secs
lola: 635 tries, 634995924 fired transitions, 2130 secs || 48556937 markings, 56282701 edges, 28772 markings/sec, 2130 secs
lola: 638 tries, 637006191 fired transitions, 2135 secs || 48705806 markings, 56453060 edges, 29774 markings/sec, 2135 secs
lola: 639 tries, 638936559 fired transitions, 2140 secs || 48854809 markings, 56624454 edges, 29801 markings/sec, 2140 secs
lola: 641 tries, 640872850 fired transitions, 2145 secs || 48999321 markings, 56789999 edges, 28902 markings/sec, 2145 secs
lola: 643 tries, 642824992 fired transitions, 2150 secs || 49143547 markings, 56954834 edges, 28845 markings/sec, 2150 secs
lola: 645 tries, 644813669 fired transitions, 2155 secs || 49290266 markings, 57121380 edges, 29344 markings/sec, 2155 secs
lola: 647 tries, 646904580 fired transitions, 2160 secs || 49446105 markings, 57299049 edges, 31168 markings/sec, 2160 secs
lola: 649 tries, 648827149 fired transitions, 2165 secs || 49584730 markings, 57456635 edges, 27725 markings/sec, 2165 secs
lola: 651 tries, 650887133 fired transitions, 2170 secs || 49736925 markings, 57630466 edges, 30439 markings/sec, 2170 secs
lola: 653 tries, 652862396 fired transitions, 2175 secs || 49883321 markings, 57798084 edges, 29279 markings/sec, 2175 secs
lola: 655 tries, 654822662 fired transitions, 2180 secs || 50023593 markings, 57958424 edges, 28054 markings/sec, 2180 secs
lola: 657 tries, 656747663 fired transitions, 2185 secs || 50169163 markings, 58124699 edges, 29114 markings/sec, 2185 secs
lola: 659 tries, 658841186 fired transitions, 2190 secs || 50322194 markings, 58298680 edges, 30606 markings/sec, 2190 secs
lola: 661 tries, 660809390 fired transitions, 2195 secs || 50468247 markings, 58464874 edges, 29211 markings/sec, 2195 secs
lola: 663 tries, 662723088 fired transitions, 2200 secs || 50615186 markings, 58632036 edges, 29388 markings/sec, 2200 secs
lola: 665 tries, 664784271 fired transitions, 2205 secs || 50769901 markings, 58808009 edges, 30943 markings/sec, 2205 secs
lola: 667 tries, 666725389 fired transitions, 2210 secs || 50913545 markings, 58972423 edges, 28729 markings/sec, 2210 secs
lola: 669 tries, 668660483 fired transitions, 2215 secs || 51059076 markings, 59138909 edges, 29106 markings/sec, 2215 secs
lola: 671 tries, 670593179 fired transitions, 2220 secs || 51205942 markings, 59307551 edges, 29373 markings/sec, 2220 secs
lola: 673 tries, 672622355 fired transitions, 2225 secs || 51353096 markings, 59474607 edges, 29431 markings/sec, 2225 secs
lola: 675 tries, 674660913 fired transitions, 2230 secs || 51503452 markings, 59647005 edges, 30071 markings/sec, 2230 secs
lola: 677 tries, 676925948 fired transitions, 2235 secs || 51669161 markings, 59834993 edges, 33142 markings/sec, 2235 secs
lola: 679 tries, 678974122 fired transitions, 2240 secs || 51817660 markings, 60003118 edges, 29700 markings/sec, 2240 secs
lola: 681 tries, 680932946 fired transitions, 2245 secs || 51962616 markings, 60167126 edges, 28991 markings/sec, 2245 secs
lola: 683 tries, 682871910 fired transitions, 2250 secs || 52104001 markings, 60328863 edges, 28277 markings/sec, 2250 secs
lola: 685 tries, 684794747 fired transitions, 2255 secs || 52248879 markings, 60494100 edges, 28976 markings/sec, 2255 secs
lola: 687 tries, 686714094 fired transitions, 2260 secs || 52399185 markings, 60667260 edges, 30061 markings/sec, 2260 secs
lola: 689 tries, 688627868 fired transitions, 2265 secs || 52547107 markings, 60836209 edges, 29584 markings/sec, 2265 secs
lola: 691 tries, 690564640 fired transitions, 2270 secs || 52696950 markings, 61007131 edges, 29969 markings/sec, 2270 secs
lola: 693 tries, 692489440 fired transitions, 2275 secs || 52844838 markings, 61176590 edges, 29578 markings/sec, 2275 secs
lola: 695 tries, 694377106 fired transitions, 2280 secs || 52986840 markings, 61338642 edges, 28400 markings/sec, 2280 secs
lola: 697 tries, 696294780 fired transitions, 2285 secs || 53132986 markings, 61506704 edges, 29229 markings/sec, 2285 secs
lola: 699 tries, 698407697 fired transitions, 2290 secs || 53289469 markings, 61684889 edges, 31297 markings/sec, 2290 secs
lola: 701 tries, 700372789 fired transitions, 2295 secs || 53436769 markings, 61854156 edges, 29460 markings/sec, 2295 secs
lola: 703 tries, 702439092 fired transitions, 2300 secs || 53591796 markings, 62031697 edges, 31005 markings/sec, 2300 secs
lola: 705 tries, 704614459 fired transitions, 2305 secs || 53752211 markings, 62213161 edges, 32083 markings/sec, 2305 secs
lola: 707 tries, 706553399 fired transitions, 2310 secs || 53898663 markings, 62379684 edges, 29290 markings/sec, 2310 secs
lola: 709 tries, 708494357 fired transitions, 2315 secs || 54047439 markings, 62551066 edges, 29755 markings/sec, 2315 secs
lola: 711 tries, 710401798 fired transitions, 2320 secs || 54193112 markings, 62716936 edges, 29135 markings/sec, 2320 secs
lola: 713 tries, 712332092 fired transitions, 2325 secs || 54339518 markings, 62884164 edges, 29281 markings/sec, 2325 secs
lola: 715 tries, 714263543 fired transitions, 2330 secs || 54483509 markings, 63048900 edges, 28798 markings/sec, 2330 secs
lola: 717 tries, 716186634 fired transitions, 2335 secs || 54630979 markings, 63217814 edges, 29494 markings/sec, 2335 secs
lola: 719 tries, 718103656 fired transitions, 2340 secs || 54776405 markings, 63383422 edges, 29085 markings/sec, 2340 secs
lola: 721 tries, 720042322 fired transitions, 2345 secs || 54926668 markings, 63555682 edges, 30053 markings/sec, 2345 secs
lola: 722 tries, 721961558 fired transitions, 2350 secs || 55075431 markings, 63726136 edges, 29753 markings/sec, 2350 secs
lola: 724 tries, 723924011 fired transitions, 2355 secs || 55223136 markings, 63895380 edges, 29541 markings/sec, 2355 secs
lola: 726 tries, 725856372 fired transitions, 2360 secs || 55370819 markings, 64064764 edges, 29537 markings/sec, 2360 secs
lola: 728 tries, 727758283 fired transitions, 2365 secs || 55513339 markings, 64227916 edges, 28504 markings/sec, 2365 secs
lola: 730 tries, 729696441 fired transitions, 2370 secs || 55657622 markings, 64393181 edges, 28857 markings/sec, 2370 secs
lola: 732 tries, 731648182 fired transitions, 2375 secs || 55805228 markings, 64562919 edges, 29521 markings/sec, 2375 secs
lola: 734 tries, 733585622 fired transitions, 2380 secs || 55951165 markings, 64728450 edges, 29187 markings/sec, 2380 secs
lola: 736 tries, 735554236 fired transitions, 2385 secs || 56097365 markings, 64895308 edges, 29240 markings/sec, 2385 secs
lola: 738 tries, 737481980 fired transitions, 2390 secs || 56241509 markings, 65059805 edges, 28829 markings/sec, 2390 secs
lola: 740 tries, 739443220 fired transitions, 2395 secs || 56390244 markings, 65228442 edges, 29747 markings/sec, 2395 secs
lola: 742 tries, 741351850 fired transitions, 2400 secs || 56536313 markings, 65394725 edges, 29214 markings/sec, 2400 secs
lola: 744 tries, 743271510 fired transitions, 2405 secs || 56682311 markings, 65560976 edges, 29200 markings/sec, 2405 secs
lola: 746 tries, 745242954 fired transitions, 2410 secs || 56819310 markings, 65717159 edges, 27400 markings/sec, 2410 secs
lola: 747 tries, 746558380 fired transitions, 2415 secs || 56920308 markings, 65835144 edges, 20200 markings/sec, 2415 secs
lola: 749 tries, 748242085 fired transitions, 2420 secs || 57049307 markings, 65984971 edges, 25800 markings/sec, 2420 secs
lola: 751 tries, 750220494 fired transitions, 2425 secs || 57196686 markings, 66153650 edges, 29476 markings/sec, 2425 secs
lola: 752 tries, 751778410 fired transitions, 2430 secs || 57314295 markings, 66290798 edges, 23522 markings/sec, 2430 secs
lola: 754 tries, 753074622 fired transitions, 2435 secs || 57415130 markings, 66411837 edges, 20167 markings/sec, 2435 secs
lola: 755 tries, 754844252 fired transitions, 2440 secs || 57550209 markings, 66567552 edges, 27016 markings/sec, 2440 secs
lola: 757 tries, 756153643 fired transitions, 2445 secs || 57648295 markings, 66679763 edges, 19617 markings/sec, 2445 secs
lola: 758 tries, 757421698 fired transitions, 2450 secs || 57745687 markings, 66795263 edges, 19478 markings/sec, 2450 secs
lola: 759 tries, 758663221 fired transitions, 2455 secs || 57842682 markings, 66910238 edges, 19399 markings/sec, 2455 secs
lola: 760 tries, 759912034 fired transitions, 2460 secs || 57937167 markings, 67019538 edges, 18897 markings/sec, 2460 secs
lola: 762 tries, 761172057 fired transitions, 2465 secs || 58033544 markings, 67130958 edges, 19275 markings/sec, 2465 secs
lola: 763 tries, 762420752 fired transitions, 2470 secs || 58132171 markings, 67247478 edges, 19725 markings/sec, 2470 secs
lola: 765 tries, 764252169 fired transitions, 2475 secs || 58258626 markings, 67391813 edges, 25291 markings/sec, 2475 secs
lola: 766 tries, 765735835 fired transitions, 2480 secs || 58364218 markings, 67513478 edges, 21118 markings/sec, 2480 secs
lola: 768 tries, 767120244 fired transitions, 2485 secs || 58465905 markings, 67630836 edges, 20337 markings/sec, 2485 secs
lola: 769 tries, 768487743 fired transitions, 2490 secs || 58570429 markings, 67752411 edges, 20905 markings/sec, 2490 secs
lola: 771 tries, 770417090 fired transitions, 2495 secs || 58717254 markings, 67920449 edges, 29365 markings/sec, 2495 secs
lola: 773 tries, 772341203 fired transitions, 2500 secs || 58865502 markings, 68090694 edges, 29650 markings/sec, 2500 secs
lola: 775 tries, 774307990 fired transitions, 2505 secs || 59008176 markings, 68254092 edges, 28535 markings/sec, 2505 secs
lola: 777 tries, 776307968 fired transitions, 2510 secs || 59157460 markings, 68424019 edges, 29857 markings/sec, 2510 secs
lola: 779 tries, 778249796 fired transitions, 2515 secs || 59299304 markings, 68585977 edges, 28369 markings/sec, 2515 secs
lola: 781 tries, 780229102 fired transitions, 2520 secs || 59448187 markings, 68755450 edges, 29777 markings/sec, 2520 secs
lola: 783 tries, 782171005 fired transitions, 2525 secs || 59592213 markings, 68920495 edges, 28805 markings/sec, 2525 secs
lola: 785 tries, 784139402 fired transitions, 2530 secs || 59740005 markings, 69089383 edges, 29558 markings/sec, 2530 secs
lola: 787 tries, 786073626 fired transitions, 2535 secs || 59885849 markings, 69255042 edges, 29169 markings/sec, 2535 secs
lola: 788 tries, 787996919 fired transitions, 2540 secs || 60031997 markings, 69421301 edges, 29230 markings/sec, 2540 secs
lola: 790 tries, 789965676 fired transitions, 2545 secs || 60181842 markings, 69591463 edges, 29969 markings/sec, 2545 secs
lola: 792 tries, 791886098 fired transitions, 2550 secs || 60327213 markings, 69757586 edges, 29074 markings/sec, 2550 secs
lola: 794 tries, 793786593 fired transitions, 2555 secs || 60471348 markings, 69920155 edges, 28827 markings/sec, 2555 secs
lola: 796 tries, 795706478 fired transitions, 2560 secs || 60614447 markings, 70083869 edges, 28620 markings/sec, 2560 secs
lola: 798 tries, 797625643 fired transitions, 2565 secs || 60757149 markings, 70245662 edges, 28540 markings/sec, 2565 secs
lola: 800 tries, 799390024 fired transitions, 2570 secs || 60883460 markings, 70389976 edges, 25262 markings/sec, 2570 secs
lola: 801 tries, 800803380 fired transitions, 2575 secs || 60986824 markings, 70511696 edges, 20673 markings/sec, 2575 secs
lola: 803 tries, 802391278 fired transitions, 2580 secs || 61102359 markings, 70644063 edges, 23107 markings/sec, 2580 secs
lola: 805 tries, 804190883 fired transitions, 2585 secs || 61230789 markings, 70791833 edges, 25686 markings/sec, 2585 secs
lola: 807 tries, 806128308 fired transitions, 2590 secs || 61380367 markings, 70963823 edges, 29916 markings/sec, 2590 secs
lola: 809 tries, 808050550 fired transitions, 2595 secs || 61526718 markings, 71131180 edges, 29270 markings/sec, 2595 secs
lola: 810 tries, 809983144 fired transitions, 2600 secs || 61668474 markings, 71292566 edges, 28351 markings/sec, 2600 secs
lola: 812 tries, 811910481 fired transitions, 2605 secs || 61813915 markings, 71459412 edges, 29088 markings/sec, 2605 secs
lola: 814 tries, 813818608 fired transitions, 2610 secs || 61959511 markings, 71625154 edges, 29119 markings/sec, 2610 secs
lola: 816 tries, 815743350 fired transitions, 2615 secs || 62107915 markings, 71795422 edges, 29681 markings/sec, 2615 secs
lola: 818 tries, 817657824 fired transitions, 2620 secs || 62254125 markings, 71962004 edges, 29242 markings/sec, 2620 secs
lola: 820 tries, 819572140 fired transitions, 2625 secs || 62400561 markings, 72129927 edges, 29287 markings/sec, 2625 secs
lola: 822 tries, 821521375 fired transitions, 2630 secs || 62545727 markings, 72295998 edges, 29033 markings/sec, 2630 secs
lola: 824 tries, 823113495 fired transitions, 2635 secs || 62662955 markings, 72430943 edges, 23446 markings/sec, 2635 secs
lola: 825 tries, 824652580 fired transitions, 2640 secs || 62780819 markings, 72568464 edges, 23573 markings/sec, 2640 secs
lola: 827 tries, 826573108 fired transitions, 2645 secs || 62925886 markings, 72733069 edges, 29013 markings/sec, 2645 secs
lola: 828 tries, 827998748 fired transitions, 2650 secs || 63029384 markings, 72851915 edges, 20700 markings/sec, 2650 secs
lola: 830 tries, 829632070 fired transitions, 2655 secs || 63142361 markings, 72980906 edges, 22595 markings/sec, 2655 secs
lola: 832 tries, 831614787 fired transitions, 2660 secs || 63274893 markings, 73131631 edges, 26506 markings/sec, 2660 secs
lola: 834 tries, 833542740 fired transitions, 2665 secs || 63421700 markings, 73300104 edges, 29361 markings/sec, 2665 secs
lola: 836 tries, 835651980 fired transitions, 2670 secs || 63573793 markings, 73473286 edges, 30419 markings/sec, 2670 secs
lola: 838 tries, 837591366 fired transitions, 2675 secs || 63720064 markings, 73640468 edges, 29254 markings/sec, 2675 secs
lola: 840 tries, 839540700 fired transitions, 2680 secs || 63867779 markings, 73810588 edges, 29543 markings/sec, 2680 secs
lola: 842 tries, 841464724 fired transitions, 2685 secs || 64013268 markings, 73976643 edges, 29098 markings/sec, 2685 secs
lola: 843 tries, 842961573 fired transitions, 2690 secs || 64119902 markings, 74097642 edges, 21327 markings/sec, 2690 secs
lola: 845 tries, 844862438 fired transitions, 2695 secs || 64260966 markings, 74257955 edges, 28213 markings/sec, 2695 secs
lola: 847 tries, 846777911 fired transitions, 2700 secs || 64407052 markings, 74424289 edges, 29217 markings/sec, 2700 secs
lola: 849 tries, 848720057 fired transitions, 2705 secs || 64554701 markings, 74593821 edges, 29530 markings/sec, 2705 secs
lola: 851 tries, 850654579 fired transitions, 2710 secs || 64697931 markings, 74757652 edges, 28646 markings/sec, 2710 secs
lola: 853 tries, 852622236 fired transitions, 2715 secs || 64847662 markings, 74930220 edges, 29946 markings/sec, 2715 secs
lola: 855 tries, 854608905 fired transitions, 2720 secs || 64993773 markings, 75096974 edges, 29222 markings/sec, 2720 secs
lola: 857 tries, 856688064 fired transitions, 2725 secs || 65145757 markings, 75269596 edges, 30397 markings/sec, 2725 secs
lola: 859 tries, 858624930 fired transitions, 2730 secs || 65288891 markings, 75432675 edges, 28627 markings/sec, 2730 secs
lola: 861 tries, 860539716 fired transitions, 2735 secs || 65436113 markings, 75600415 edges, 29444 markings/sec, 2735 secs
lola: 863 tries, 862460925 fired transitions, 2740 secs || 65582543 markings, 75767979 edges, 29286 markings/sec, 2740 secs
lola: 865 tries, 864383267 fired transitions, 2745 secs || 65729477 markings, 75937180 edges, 29387 markings/sec, 2745 secs
lola: 867 tries, 866376482 fired transitions, 2750 secs || 65877711 markings, 76105498 edges, 29647 markings/sec, 2750 secs
lola: 869 tries, 868291458 fired transitions, 2755 secs || 66022691 markings, 76270464 edges, 28996 markings/sec, 2755 secs
lola: 871 tries, 870273273 fired transitions, 2760 secs || 66168790 markings, 76436018 edges, 29220 markings/sec, 2760 secs
lola: 873 tries, 872196952 fired transitions, 2765 secs || 66313804 markings, 76601872 edges, 29003 markings/sec, 2765 secs
lola: 875 tries, 874185662 fired transitions, 2770 secs || 66458541 markings, 76766758 edges, 28947 markings/sec, 2770 secs
lola: 877 tries, 876251971 fired transitions, 2775 secs || 66609268 markings, 76938030 edges, 30145 markings/sec, 2775 secs
lola: 879 tries, 878287614 fired transitions, 2780 secs || 66758983 markings, 77107289 edges, 29943 markings/sec, 2780 secs
lola: 881 tries, 880198979 fired transitions, 2785 secs || 66906585 markings, 77276459 edges, 29520 markings/sec, 2785 secs
lola: 883 tries, 882135470 fired transitions, 2790 secs || 67053085 markings, 77443736 edges, 29300 markings/sec, 2790 secs
lola: 885 tries, 884060167 fired transitions, 2795 secs || 67196541 markings, 77607760 edges, 28691 markings/sec, 2795 secs
lola: 886 tries, 885972844 fired transitions, 2800 secs || 67339919 markings, 77771080 edges, 28676 markings/sec, 2800 secs
lola: 888 tries, 887851422 fired transitions, 2805 secs || 67485082 markings, 77936505 edges, 29033 markings/sec, 2805 secs
lola: 890 tries, 889863077 fired transitions, 2810 secs || 67636724 markings, 78109846 edges, 30328 markings/sec, 2810 secs
lola: 892 tries, 891735794 fired transitions, 2815 secs || 67782661 markings, 78276370 edges, 29187 markings/sec, 2815 secs
lola: 894 tries, 893636994 fired transitions, 2820 secs || 67928299 markings, 78443059 edges, 29128 markings/sec, 2820 secs
lola: 896 tries, 895599674 fired transitions, 2825 secs || 68053249 markings, 78582560 edges, 24990 markings/sec, 2825 secs
lola: 898 tries, 897557828 fired transitions, 2830 secs || 68179304 markings, 78725695 edges, 25211 markings/sec, 2830 secs
lola: 900 tries, 899422224 fired transitions, 2835 secs || 68325959 markings, 78894486 edges, 29331 markings/sec, 2835 secs
lola: 902 tries, 901301789 fired transitions, 2840 secs || 68471722 markings, 79061333 edges, 29153 markings/sec, 2840 secs
lola: 904 tries, 903212588 fired transitions, 2845 secs || 68602647 markings, 79209716 edges, 26185 markings/sec, 2845 secs
lola: 905 tries, 904955719 fired transitions, 2850 secs || 68732133 markings, 79358823 edges, 25897 markings/sec, 2850 secs
lola: 907 tries, 906274239 fired transitions, 2855 secs || 68834133 markings, 79479325 edges, 20400 markings/sec, 2855 secs
lola: 908 tries, 907592691 fired transitions, 2860 secs || 68935395 markings, 79596794 edges, 20252 markings/sec, 2860 secs
lola: 910 tries, 909142764 fired transitions, 2865 secs || 69052310 markings, 79734237 edges, 23383 markings/sec, 2865 secs
lola: 911 tries, 910901988 fired transitions, 2870 secs || 69183797 markings, 79884235 edges, 26297 markings/sec, 2870 secs
lola: 913 tries, 912489667 fired transitions, 2875 secs || 69306134 markings, 80025986 edges, 24467 markings/sec, 2875 secs
lola: 915 tries, 914408551 fired transitions, 2880 secs || 69452410 markings, 80193490 edges, 29255 markings/sec, 2880 secs
lola: 917 tries, 916322667 fired transitions, 2885 secs || 69599523 markings, 80361959 edges, 29423 markings/sec, 2885 secs
lola: 919 tries, 918248749 fired transitions, 2890 secs || 69746099 markings, 80530242 edges, 29315 markings/sec, 2890 secs
lola: 921 tries, 920162813 fired transitions, 2895 secs || 69893842 markings, 80699788 edges, 29549 markings/sec, 2895 secs
lola: 923 tries, 922074795 fired transitions, 2900 secs || 70039688 markings, 80866526 edges, 29169 markings/sec, 2900 secs
lola: 925 tries, 924000729 fired transitions, 2905 secs || 70185322 markings, 81033870 edges, 29127 markings/sec, 2905 secs
lola: 926 tries, 925948033 fired transitions, 2910 secs || 70319535 markings, 81186371 edges, 26843 markings/sec, 2910 secs
lola: 928 tries, 927935660 fired transitions, 2915 secs || 70446505 markings, 81329488 edges, 25394 markings/sec, 2915 secs
lola: 930 tries, 929882958 fired transitions, 2920 secs || 70575612 markings, 81477227 edges, 25821 markings/sec, 2920 secs
lola: 932 tries, 931202796 fired transitions, 2925 secs || 70680403 markings, 81600539 edges, 20958 markings/sec, 2925 secs
lola: 933 tries, 932526943 fired transitions, 2930 secs || 70784589 markings, 81724146 edges, 20837 markings/sec, 2930 secs
lola: 934 tries, 933945729 fired transitions, 2935 secs || 70895853 markings, 81855451 edges, 22253 markings/sec, 2935 secs
lola: 936 tries, 935891863 fired transitions, 2940 secs || 71043295 markings, 82024985 edges, 29488 markings/sec, 2940 secs
lola: 938 tries, 937745634 fired transitions, 2945 secs || 71186733 markings, 82191262 edges, 28688 markings/sec, 2945 secs
lola: 940 tries, 939069043 fired transitions, 2950 secs || 71285388 markings, 82305177 edges, 19731 markings/sec, 2950 secs
lola: 941 tries, 940387275 fired transitions, 2955 secs || 71383619 markings, 82418593 edges, 19646 markings/sec, 2955 secs
lola: 942 tries, 941712585 fired transitions, 2960 secs || 71480759 markings, 82530775 edges, 19428 markings/sec, 2960 secs
lola: 944 tries, 943016257 fired transitions, 2965 secs || 71579133 markings, 82645125 edges, 19675 markings/sec, 2965 secs
lola: 945 tries, 944337076 fired transitions, 2970 secs || 71678030 markings, 82760214 edges, 19779 markings/sec, 2970 secs
lola: 946 tries, 945656694 fired transitions, 2975 secs || 71777974 markings, 82876111 edges, 19989 markings/sec, 2975 secs
lola: 947 tries, 946979919 fired transitions, 2980 secs || 71879942 markings, 82996259 edges, 20394 markings/sec, 2980 secs
lola: 949 tries, 948301072 fired transitions, 2985 secs || 71981733 markings, 83115290 edges, 20358 markings/sec, 2985 secs
lola: 950 tries, 949619944 fired transitions, 2990 secs || 72083736 markings, 83234242 edges, 20401 markings/sec, 2990 secs
lola: 951 tries, 950941944 fired transitions, 2995 secs || 72188204 markings, 83356156 edges, 20894 markings/sec, 2995 secs
lola: 953 tries, 952262490 fired transitions, 3000 secs || 72293539 markings, 83480220 edges, 21067 markings/sec, 3000 secs
lola: 954 tries, 953584034 fired transitions, 3005 secs || 72398782 markings, 83605469 edges, 21049 markings/sec, 3005 secs
lola: 955 tries, 954905129 fired transitions, 3010 secs || 72502546 markings, 83727413 edges, 20753 markings/sec, 3010 secs
lola: 957 tries, 956210964 fired transitions, 3015 secs || 72605106 markings, 83847643 edges, 20512 markings/sec, 3015 secs
lola: 958 tries, 957439856 fired transitions, 3020 secs || 72698625 markings, 83955948 edges, 18704 markings/sec, 3020 secs
lola: 959 tries, 958744111 fired transitions, 3025 secs || 72802663 markings, 84077913 edges, 20808 markings/sec, 3025 secs
lola: 961 tries, 960067020 fired transitions, 3030 secs || 72903864 markings, 84194852 edges, 20240 markings/sec, 3030 secs
lola: 962 tries, 961388452 fired transitions, 3035 secs || 73006086 markings, 84316059 edges, 20444 markings/sec, 3035 secs
lola: 963 tries, 962708923 fired transitions, 3040 secs || 73105274 markings, 84431616 edges, 19838 markings/sec, 3040 secs
lola: 965 tries, 964027472 fired transitions, 3045 secs || 73208074 markings, 84552458 edges, 20560 markings/sec, 3045 secs
lola: 966 tries, 965871532 fired transitions, 3050 secs || 73346503 markings, 84711839 edges, 27686 markings/sec, 3050 secs
lola: 968 tries, 967807350 fired transitions, 3055 secs || 73494068 markings, 84881036 edges, 29513 markings/sec, 3055 secs
lola: 970 tries, 969725917 fired transitions, 3060 secs || 73642180 markings, 85049905 edges, 29622 markings/sec, 3060 secs
lola: 972 tries, 971636802 fired transitions, 3065 secs || 73790131 markings, 85218789 edges, 29590 markings/sec, 3065 secs
lola: 974 tries, 973564958 fired transitions, 3070 secs || 73936417 markings, 85386179 edges, 29257 markings/sec, 3070 secs
lola: 976 tries, 975484190 fired transitions, 3075 secs || 74083990 markings, 85555199 edges, 29515 markings/sec, 3075 secs
lola: 978 tries, 977410533 fired transitions, 3080 secs || 74230507 markings, 85723289 edges, 29303 markings/sec, 3080 secs
lola: 980 tries, 979316802 fired transitions, 3085 secs || 74375490 markings, 85888097 edges, 28997 markings/sec, 3085 secs
lola: 982 tries, 981220519 fired transitions, 3090 secs || 74521961 markings, 86055133 edges, 29294 markings/sec, 3090 secs
lola: 984 tries, 983135785 fired transitions, 3095 secs || 74669472 markings, 86223314 edges, 29502 markings/sec, 3095 secs
lola: 986 tries, 985053347 fired transitions, 3100 secs || 74816534 markings, 86391121 edges, 29412 markings/sec, 3100 secs
lola: 987 tries, 986977762 fired transitions, 3105 secs || 74965503 markings, 86562597 edges, 29794 markings/sec, 3105 secs
lola: 989 tries, 988919732 fired transitions, 3110 secs || 75116553 markings, 86737325 edges, 30210 markings/sec, 3110 secs
lola: 991 tries, 990843304 fired transitions, 3115 secs || 75262849 markings, 86905405 edges, 29259 markings/sec, 3115 secs
lola: 993 tries, 992752558 fired transitions, 3120 secs || 75405658 markings, 87068391 edges, 28562 markings/sec, 3120 secs
lola: 995 tries, 994654263 fired transitions, 3125 secs || 75550706 markings, 87233375 edges, 29010 markings/sec, 3125 secs
lola: 997 tries, 996176684 fired transitions, 3130 secs || 75665667 markings, 87365564 edges, 22992 markings/sec, 3130 secs
lola: 998 tries, 997497633 fired transitions, 3135 secs || 75765716 markings, 87481551 edges, 20010 markings/sec, 3135 secs
lola: 1000 tries, 999235930 fired transitions, 3140 secs || 75900188 markings, 87636698 edges, 26894 markings/sec, 3140 secs
lola: 1001 tries, 1000969196 fired transitions, 3145 secs || 76032979 markings, 87789151 edges, 26558 markings/sec, 3145 secs
lola: 1003 tries, 1002489420 fired transitions, 3150 secs || 76150235 markings, 87926392 edges, 23451 markings/sec, 3150 secs
lola: 1005 tries, 1004426560 fired transitions, 3155 secs || 76294775 markings, 88092144 edges, 28908 markings/sec, 3155 secs
lola: 1007 tries, 1006339454 fired transitions, 3160 secs || 76432605 markings, 88249987 edges, 27566 markings/sec, 3160 secs
lola: 1009 tries, 1008265059 fired transitions, 3165 secs || 76579248 markings, 88417768 edges, 29329 markings/sec, 3165 secs
lola: 1011 tries, 1010180424 fired transitions, 3170 secs || 76724561 markings, 88583681 edges, 29063 markings/sec, 3170 secs
lola: 1013 tries, 1012038894 fired transitions, 3175 secs || 76873059 markings, 88753909 edges, 29700 markings/sec, 3175 secs
lola: 1014 tries, 1013856418 fired transitions, 3180 secs || 77022965 markings, 88926447 edges, 29981 markings/sec, 3180 secs
lola: 1016 tries, 1015741891 fired transitions, 3185 secs || 77161090 markings, 89082515 edges, 27625 markings/sec, 3185 secs
lola: 1018 tries, 1017653601 fired transitions, 3190 secs || 77309715 markings, 89253979 edges, 29725 markings/sec, 3190 secs
lola: 1020 tries, 1019590114 fired transitions, 3195 secs || 77456856 markings, 89423453 edges, 29428 markings/sec, 3195 secs
lola: 1022 tries, 1021520740 fired transitions, 3200 secs || 77605105 markings, 89594142 edges, 29650 markings/sec, 3200 secs
lola: 1024 tries, 1023458381 fired transitions, 3205 secs || 77752228 markings, 89763549 edges, 29425 markings/sec, 3205 secs
lola: 1026 tries, 1025380380 fired transitions, 3210 secs || 77900537 markings, 89933358 edges, 29662 markings/sec, 3210 secs
lola: 1028 tries, 1027318944 fired transitions, 3215 secs || 78048296 markings, 90103376 edges, 29552 markings/sec, 3215 secs
lola: 1030 tries, 1029255640 fired transitions, 3220 secs || 78196289 markings, 90273660 edges, 29599 markings/sec, 3220 secs
lola: 1032 tries, 1031171825 fired transitions, 3225 secs || 78342171 markings, 90440593 edges, 29176 markings/sec, 3225 secs
lola: 1034 tries, 1033081742 fired transitions, 3230 secs || 78487435 markings, 90606365 edges, 29053 markings/sec, 3230 secs
lola: 1036 tries, 1035017273 fired transitions, 3235 secs || 78635490 markings, 90776879 edges, 29611 markings/sec, 3235 secs
lola: 1037 tries, 1036975655 fired transitions, 3240 secs || 78782128 markings, 90944350 edges, 29328 markings/sec, 3240 secs
lola: 1039 tries, 1038903615 fired transitions, 3245 secs || 78927741 markings, 91111471 edges, 29123 markings/sec, 3245 secs
lola: 1041 tries, 1040830910 fired transitions, 3250 secs || 79074779 markings, 91280181 edges, 29408 markings/sec, 3250 secs
lola: 1043 tries, 1042752001 fired transitions, 3255 secs || 79221704 markings, 91448315 edges, 29385 markings/sec, 3255 secs
lola: 1045 tries, 1044669315 fired transitions, 3260 secs || 79367389 markings, 91615207 edges, 29137 markings/sec, 3260 secs
lola: 1047 tries, 1046585801 fired transitions, 3265 secs || 79513799 markings, 91781359 edges, 29282 markings/sec, 3265 secs
lola: 1049 tries, 1048508279 fired transitions, 3270 secs || 79659525 markings, 91947833 edges, 29145 markings/sec, 3270 secs
lola: 1051 tries, 1050430484 fired transitions, 3275 secs || 79806885 markings, 92117221 edges, 29472 markings/sec, 3275 secs
lola: 1053 tries, 1052360545 fired transitions, 3280 secs || 79955964 markings, 92288717 edges, 29816 markings/sec, 3280 secs
lola: 1055 tries, 1054280803 fired transitions, 3285 secs || 80102401 markings, 92456690 edges, 29287 markings/sec, 3285 secs
lola: 1056 tries, 1055702284 fired transitions, 3290 secs || 80210925 markings, 92581873 edges, 21705 markings/sec, 3290 secs
lola: 1058 tries, 1057025688 fired transitions, 3295 secs || 80312913 markings, 92702580 edges, 20398 markings/sec, 3295 secs
lola: 1059 tries, 1058348614 fired transitions, 3300 secs || 80412650 markings, 92817472 edges, 19947 markings/sec, 3300 secs
lola: 1060 tries, 1059670420 fired transitions, 3305 secs || 80513960 markings, 92935654 edges, 20262 markings/sec, 3305 secs
lola: 1061 tries, 1060993465 fired transitions, 3310 secs || 80614750 markings, 93052704 edges, 20158 markings/sec, 3310 secs
lola: 1063 tries, 1062312777 fired transitions, 3315 secs || 80716313 markings, 93172362 edges, 20313 markings/sec, 3315 secs
lola: 1064 tries, 1063633486 fired transitions, 3320 secs || 80817686 markings, 93291088 edges, 20275 markings/sec, 3320 secs
lola: 1065 tries, 1064954128 fired transitions, 3325 secs || 80922476 markings, 93417453 edges, 20958 markings/sec, 3325 secs
lola: 1067 tries, 1066276329 fired transitions, 3330 secs || 81023638 markings, 93537679 edges, 20232 markings/sec, 3330 secs
lola: 1068 tries, 1067598262 fired transitions, 3335 secs || 81123282 markings, 93655180 edges, 19929 markings/sec, 3335 secs
lola: 1069 tries, 1068917263 fired transitions, 3340 secs || 81221380 markings, 93770064 edges, 19620 markings/sec, 3340 secs
lola: 1071 tries, 1070232343 fired transitions, 3345 secs || 81323193 markings, 93891792 edges, 20363 markings/sec, 3345 secs
lola: 1072 tries, 1071555327 fired transitions, 3350 secs || 81422096 markings, 94007311 edges, 19781 markings/sec, 3350 secs
lola: 1073 tries, 1072874784 fired transitions, 3355 secs || 81521275 markings, 94124248 edges, 19836 markings/sec, 3355 secs
lola: 1075 tries, 1074197186 fired transitions, 3360 secs || 81620502 markings, 94240967 edges, 19845 markings/sec, 3360 secs
lola: 1076 tries, 1075514891 fired transitions, 3365 secs || 81721198 markings, 94358754 edges, 20139 markings/sec, 3365 secs
lola: 1077 tries, 1076837256 fired transitions, 3370 secs || 81821001 markings, 94475171 edges, 19961 markings/sec, 3370 secs
lola: 1079 tries, 1078159218 fired transitions, 3375 secs || 81922787 markings, 94594274 edges, 20357 markings/sec, 3375 secs
lola: 1080 tries, 1079482835 fired transitions, 3380 secs || 82024206 markings, 94712491 edges, 20284 markings/sec, 3380 secs
lola: 1081 tries, 1080804068 fired transitions, 3385 secs || 82126423 markings, 94832879 edges, 20443 markings/sec, 3385 secs
lola: 1083 tries, 1082124599 fired transitions, 3390 secs || 82228751 markings, 94951389 edges, 20466 markings/sec, 3390 secs
lola: 1084 tries, 1083444460 fired transitions, 3395 secs || 82331943 markings, 95070728 edges, 20638 markings/sec, 3395 secs
lola: 1085 tries, 1084767032 fired transitions, 3400 secs || 82434460 markings, 95189723 edges, 20503 markings/sec, 3400 secs
lola: 1087 tries, 1086087665 fired transitions, 3405 secs || 82537186 markings, 95309648 edges, 20545 markings/sec, 3405 secs
lola: 1088 tries, 1087422640 fired transitions, 3410 secs || 82638345 markings, 95426196 edges, 20232 markings/sec, 3410 secs
lola: 1090 tries, 1089015377 fired transitions, 3415 secs || 82756861 markings, 95563650 edges, 23703 markings/sec, 3415 secs
lola: 1091 tries, 1090921799 fired transitions, 3420 secs || 82902720 markings, 95730475 edges, 29172 markings/sec, 3420 secs
lola: 1093 tries, 1092846018 fired transitions, 3425 secs || 83049103 markings, 95898284 edges, 29277 markings/sec, 3425 secs
lola: 1095 tries, 1094769980 fired transitions, 3430 secs || 83195827 markings, 96066271 edges, 29345 markings/sec, 3430 secs
lola: 1097 tries, 1096700367 fired transitions, 3435 secs || 83344579 markings, 96238106 edges, 29750 markings/sec, 3435 secs
lola: 1099 tries, 1098635101 fired transitions, 3440 secs || 83489794 markings, 96404932 edges, 29043 markings/sec, 3440 secs
lola: 1101 tries, 1100560963 fired transitions, 3445 secs || 83636928 markings, 96574269 edges, 29427 markings/sec, 3445 secs
lola: 1103 tries, 1102466797 fired transitions, 3450 secs || 83785231 markings, 96744718 edges, 29661 markings/sec, 3450 secs
lola: 1105 tries, 1104315350 fired transitions, 3455 secs || 83931252 markings, 96911594 edges, 29204 markings/sec, 3455 secs
lola: 1107 tries, 1106045832 fired transitions, 3460 secs || 84063657 markings, 97063649 edges, 26481 markings/sec, 3460 secs
lola: 1108 tries, 1107963028 fired transitions, 3465 secs || 84209002 markings, 97230838 edges, 29069 markings/sec, 3465 secs
lola: 1110 tries, 1109891118 fired transitions, 3470 secs || 84357875 markings, 97402449 edges, 29775 markings/sec, 3470 secs
lola: 1112 tries, 1111825084 fired transitions, 3475 secs || 84505406 markings, 97572250 edges, 29506 markings/sec, 3475 secs
lola: 1114 tries, 1113766819 fired transitions, 3480 secs || 84653765 markings, 97743221 edges, 29672 markings/sec, 3480 secs
lola: 1116 tries, 1115689631 fired transitions, 3485 secs || 84800523 markings, 97911851 edges, 29352 markings/sec, 3485 secs
lola: 1118 tries, 1117615910 fired transitions, 3490 secs || 84947891 markings, 98080384 edges, 29474 markings/sec, 3490 secs
lola: 1120 tries, 1119537613 fired transitions, 3495 secs || 85093734 markings, 98247440 edges, 29169 markings/sec, 3495 secs
lola: 1122 tries, 1121457380 fired transitions, 3500 secs || 85238312 markings, 98412499 edges, 28916 markings/sec, 3500 secs
lola: 1124 tries, 1123397357 fired transitions, 3505 secs || 85386264 markings, 98582468 edges, 29590 markings/sec, 3505 secs
lola: 1126 tries, 1125265846 fired transitions, 3510 secs || 85512687 markings, 98727347 edges, 25285 markings/sec, 3510 secs
lola: 1128 tries, 1127131853 fired transitions, 3515 secs || 85637811 markings, 98869328 edges, 25025 markings/sec, 3515 secs
lola: 1130 tries, 1129092590 fired transitions, 3520 secs || 85777220 markings, 99030387 edges, 27882 markings/sec, 3520 secs
lola: 1132 tries, 1131065856 fired transitions, 3525 secs || 85923353 markings, 99198329 edges, 29227 markings/sec, 3525 secs
lola: 1134 tries, 1133038417 fired transitions, 3530 secs || 86069610 markings, 99365736 edges, 29251 markings/sec, 3530 secs
lola: 1136 tries, 1135008452 fired transitions, 3535 secs || 86217821 markings, 99535030 edges, 29642 markings/sec, 3535 secs
lola: 1137 tries, 1136990229 fired transitions, 3540 secs || 86366532 markings, 99706529 edges, 29742 markings/sec, 3540 secs
lola: 1139 tries, 1138933464 fired transitions, 3545 secs || 86514337 markings, 99876133 edges, 29561 markings/sec, 3545 secs
lola: 1141 tries, 1140865852 fired transitions, 3550 secs || 86661407 markings, 100045281 edges, 29414 markings/sec, 3550 secs
lola: 1143 tries, 1142783260 fired transitions, 3555 secs || 86806496 markings, 100211489 edges, 29018 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 12772064 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: memory consumption: 12772700 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552457987046

--------------------
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="DLCround-PT-07b"
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 DLCround-PT-07b, 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 r049-oct2-155234405000390"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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