Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909400075.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is Raft-PT-10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909400075
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 396K
-rw-r--r-- 1 mcc users 2.8K Feb 12 12:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 12:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 8 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 8 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 97 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 335 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 00:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 4 14:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 14:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 11:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 1 11:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 241K 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 Raft-PT-10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552932421220

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

{
"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": "Mon Mar 18 18:07:01 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 10177116,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 3359,
"conflict_clusters": 25,
"places": 508,
"places_significant": 408,
"singleton_clusters": 0,
"transitions": 868
},
"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": 3628800.000000,
"composed": 103,
"dead_branches": 0,
"generators": 117,
"interrupted": false,
"real_computed": 14,
"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: 1376/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 508
lola: finding significant places
lola: 508 places, 868 transitions, 408 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: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 117 generators (14 in search tree, 103 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 128647 fired transitions, 0 secs || 74591 markings, 525591 edges, 14918 markings/sec, 0 secs
lola: 1 tries, 263947 fired transitions, 5 secs || 119870 markings, 1285668 edges, 9056 markings/sec, 5 secs
lola: 1 tries, 399419 fired transitions, 10 secs || 158170 markings, 2029188 edges, 7660 markings/sec, 10 secs
lola: 1 tries, 534831 fired transitions, 15 secs || 205519 markings, 2689384 edges, 9470 markings/sec, 15 secs
lola: 1 tries, 663235 fired transitions, 20 secs || 252375 markings, 3351927 edges, 9371 markings/sec, 20 secs
lola: 1 tries, 799041 fired transitions, 25 secs || 299005 markings, 4005421 edges, 9326 markings/sec, 25 secs
lola: 1 tries, 935517 fired transitions, 30 secs || 345476 markings, 4658512 edges, 9294 markings/sec, 30 secs
lola: 2 tries, 1072033 fired transitions, 35 secs || 391807 markings, 5309735 edges, 9266 markings/sec, 35 secs
lola: 2 tries, 1208507 fired transitions, 40 secs || 437856 markings, 5963066 edges, 9210 markings/sec, 40 secs
lola: 2 tries, 1345011 fired transitions, 45 secs || 483247 markings, 6617765 edges, 9078 markings/sec, 45 secs
lola: 2 tries, 1481433 fired transitions, 50 secs || 529542 markings, 7274544 edges, 9259 markings/sec, 50 secs
lola: 2 tries, 1617793 fired transitions, 55 secs || 575840 markings, 7928062 edges, 9260 markings/sec, 55 secs
lola: 2 tries, 1753871 fired transitions, 60 secs || 619197 markings, 8593917 edges, 8671 markings/sec, 60 secs
lola: 2 tries, 1890279 fired transitions, 65 secs || 662226 markings, 9256421 edges, 8606 markings/sec, 65 secs
lola: 3 tries, 2021057 fired transitions, 70 secs || 702967 markings, 9883290 edges, 8148 markings/sec, 70 secs
lola: 3 tries, 2155903 fired transitions, 75 secs || 746164 markings, 10549298 edges, 8639 markings/sec, 75 secs
lola: 3 tries, 2291263 fired transitions, 80 secs || 789734 markings, 11218641 edges, 8714 markings/sec, 80 secs
lola: 3 tries, 2426805 fired transitions, 85 secs || 833331 markings, 11887195 edges, 8719 markings/sec, 85 secs
lola: 3 tries, 2562389 fired transitions, 90 secs || 876647 markings, 12553364 edges, 8663 markings/sec, 90 secs
lola: 3 tries, 2697891 fired transitions, 95 secs || 920148 markings, 13219636 edges, 8700 markings/sec, 95 secs
lola: 3 tries, 2826725 fired transitions, 100 secs || 962302 markings, 13868543 edges, 8431 markings/sec, 100 secs
lola: 3 tries, 2955443 fired transitions, 105 secs || 1004151 markings, 14514498 edges, 8370 markings/sec, 105 secs
lola: 4 tries, 3085055 fired transitions, 110 secs || 1045839 markings, 15159588 edges, 8338 markings/sec, 110 secs
lola: 4 tries, 3214747 fired transitions, 115 secs || 1087590 markings, 15801951 edges, 8350 markings/sec, 115 secs
lola: 4 tries, 3344869 fired transitions, 120 secs || 1129410 markings, 16445261 edges, 8364 markings/sec, 120 secs
lola: 4 tries, 3480177 fired transitions, 125 secs || 1172488 markings, 17109338 edges, 8616 markings/sec, 125 secs
lola: 4 tries, 3615595 fired transitions, 130 secs || 1215621 markings, 17773437 edges, 8627 markings/sec, 130 secs
lola: 4 tries, 3751135 fired transitions, 135 secs || 1258687 markings, 18437798 edges, 8613 markings/sec, 135 secs
lola: 4 tries, 3886639 fired transitions, 140 secs || 1302094 markings, 19105323 edges, 8681 markings/sec, 140 secs
lola: 5 tries, 4022103 fired transitions, 145 secs || 1345013 markings, 19768018 edges, 8584 markings/sec, 145 secs
lola: 5 tries, 4157869 fired transitions, 150 secs || 1388482 markings, 20434842 edges, 8694 markings/sec, 150 secs
lola: 5 tries, 4293219 fired transitions, 155 secs || 1431680 markings, 21100264 edges, 8640 markings/sec, 155 secs
lola: 5 tries, 4428725 fired transitions, 160 secs || 1474471 markings, 21758436 edges, 8558 markings/sec, 160 secs
lola: 5 tries, 4564194 fired transitions, 165 secs || 1517308 markings, 22422033 edges, 8567 markings/sec, 165 secs
lola: 5 tries, 4699705 fired transitions, 170 secs || 1560788 markings, 23090517 edges, 8696 markings/sec, 170 secs
lola: 5 tries, 4835233 fired transitions, 175 secs || 1604065 markings, 23754192 edges, 8655 markings/sec, 175 secs
lola: 5 tries, 4970699 fired transitions, 180 secs || 1647363 markings, 24417234 edges, 8660 markings/sec, 180 secs
lola: 6 tries, 5106183 fired transitions, 185 secs || 1690311 markings, 25078870 edges, 8590 markings/sec, 185 secs
lola: 6 tries, 5241661 fired transitions, 190 secs || 1733630 markings, 25741940 edges, 8664 markings/sec, 190 secs
lola: 6 tries, 5377179 fired transitions, 195 secs || 1776592 markings, 26406759 edges, 8592 markings/sec, 195 secs
lola: 6 tries, 5512637 fired transitions, 200 secs || 1820104 markings, 27078511 edges, 8702 markings/sec, 200 secs
lola: 6 tries, 5648083 fired transitions, 205 secs || 1863325 markings, 27743220 edges, 8644 markings/sec, 205 secs
lola: 6 tries, 5783603 fired transitions, 210 secs || 1906509 markings, 28404859 edges, 8637 markings/sec, 210 secs
lola: 6 tries, 5919091 fired transitions, 215 secs || 1949475 markings, 29066655 edges, 8593 markings/sec, 215 secs
lola: 7 tries, 6054641 fired transitions, 220 secs || 1992537 markings, 29729738 edges, 8612 markings/sec, 220 secs
lola: 7 tries, 6190105 fired transitions, 225 secs || 2035406 markings, 30392058 edges, 8574 markings/sec, 225 secs
lola: 7 tries, 6325627 fired transitions, 230 secs || 2078443 markings, 31054679 edges, 8607 markings/sec, 230 secs
lola: 7 tries, 6461145 fired transitions, 235 secs || 2121660 markings, 31719829 edges, 8643 markings/sec, 235 secs
lola: 7 tries, 6596625 fired transitions, 240 secs || 2164931 markings, 32390441 edges, 8654 markings/sec, 240 secs
lola: 7 tries, 6732137 fired transitions, 245 secs || 2207879 markings, 33050996 edges, 8590 markings/sec, 245 secs
lola: 7 tries, 6867612 fired transitions, 250 secs || 2250933 markings, 33715248 edges, 8611 markings/sec, 250 secs
lola: 8 tries, 7003134 fired transitions, 255 secs || 2294054 markings, 34378428 edges, 8624 markings/sec, 255 secs
lola: 8 tries, 7138757 fired transitions, 260 secs || 2337173 markings, 35043971 edges, 8624 markings/sec, 260 secs
lola: 8 tries, 7274511 fired transitions, 265 secs || 2380335 markings, 35709159 edges, 8632 markings/sec, 265 secs
lola: 8 tries, 7410173 fired transitions, 270 secs || 2423576 markings, 36376056 edges, 8648 markings/sec, 270 secs
lola: 8 tries, 7532193 fired transitions, 275 secs || 2466220 markings, 37032794 edges, 8529 markings/sec, 275 secs
lola: 8 tries, 7652133 fired transitions, 280 secs || 2507745 markings, 37672346 edges, 8305 markings/sec, 280 secs
lola: 8 tries, 7776843 fired transitions, 285 secs || 2549603 markings, 38313550 edges, 8372 markings/sec, 285 secs
lola: 8 tries, 7908969 fired transitions, 290 secs || 2591557 markings, 38956091 edges, 8391 markings/sec, 290 secs
lola: 9 tries, 8041733 fired transitions, 295 secs || 2633616 markings, 39604467 edges, 8412 markings/sec, 295 secs
lola: 9 tries, 8177323 fired transitions, 300 secs || 2676808 markings, 40269725 edges, 8638 markings/sec, 300 secs
lola: 9 tries, 8312999 fired transitions, 305 secs || 2719662 markings, 40932106 edges, 8571 markings/sec, 305 secs
lola: 9 tries, 8448475 fired transitions, 310 secs || 2762937 markings, 41597652 edges, 8655 markings/sec, 310 secs
lola: 9 tries, 8584087 fired transitions, 315 secs || 2805902 markings, 42261327 edges, 8593 markings/sec, 315 secs
lola: 9 tries, 8719639 fired transitions, 320 secs || 2848926 markings, 42925616 edges, 8605 markings/sec, 320 secs
lola: 9 tries, 8855245 fired transitions, 325 secs || 2891906 markings, 43588968 edges, 8596 markings/sec, 325 secs
lola: 9 tries, 8990849 fired transitions, 330 secs || 2935131 markings, 44251180 edges, 8645 markings/sec, 330 secs
lola: 10 tries, 9126437 fired transitions, 335 secs || 2978251 markings, 44913239 edges, 8624 markings/sec, 335 secs
lola: 10 tries, 9261983 fired transitions, 340 secs || 3021407 markings, 45576691 edges, 8631 markings/sec, 340 secs
lola: 10 tries, 9397571 fired transitions, 345 secs || 3064532 markings, 46239812 edges, 8625 markings/sec, 345 secs
lola: 10 tries, 9533063 fired transitions, 350 secs || 3107599 markings, 46902296 edges, 8613 markings/sec, 350 secs
lola: 10 tries, 9668479 fired transitions, 355 secs || 3150922 markings, 47568148 edges, 8665 markings/sec, 355 secs
lola: 10 tries, 9803963 fired transitions, 360 secs || 3193819 markings, 48230668 edges, 8579 markings/sec, 360 secs
lola: 10 tries, 9939489 fired transitions, 365 secs || 3237238 markings, 48899721 edges, 8684 markings/sec, 365 secs
lola: 11 tries, 10074968 fired transitions, 370 secs || 3280346 markings, 49564836 edges, 8622 markings/sec, 370 secs
lola: 11 tries, 10210499 fired transitions, 375 secs || 3323738 markings, 50231662 edges, 8678 markings/sec, 375 secs
lola: 11 tries, 10345987 fired transitions, 380 secs || 3367062 markings, 50899058 edges, 8665 markings/sec, 380 secs
lola: 11 tries, 10481505 fired transitions, 385 secs || 3410228 markings, 51564472 edges, 8633 markings/sec, 385 secs
lola: 11 tries, 10616991 fired transitions, 390 secs || 3453384 markings, 52229455 edges, 8631 markings/sec, 390 secs
lola: 11 tries, 10752473 fired transitions, 395 secs || 3496753 markings, 52893038 edges, 8674 markings/sec, 395 secs
lola: 11 tries, 10888031 fired transitions, 400 secs || 3539453 markings, 53552260 edges, 8540 markings/sec, 400 secs
lola: 12 tries, 11023525 fired transitions, 405 secs || 3582382 markings, 54211369 edges, 8586 markings/sec, 405 secs
lola: 12 tries, 11159061 fired transitions, 410 secs || 3625403 markings, 54872223 edges, 8604 markings/sec, 410 secs
lola: 12 tries, 11294529 fired transitions, 415 secs || 3668405 markings, 55540299 edges, 8600 markings/sec, 415 secs
lola: 12 tries, 11429973 fired transitions, 420 secs || 3711680 markings, 56206149 edges, 8655 markings/sec, 420 secs
lola: 12 tries, 11565485 fired transitions, 425 secs || 3754918 markings, 56870050 edges, 8648 markings/sec, 425 secs
lola: 12 tries, 11700967 fired transitions, 430 secs || 3797840 markings, 57531659 edges, 8584 markings/sec, 430 secs
lola: 12 tries, 11836501 fired transitions, 435 secs || 3840573 markings, 58192063 edges, 8547 markings/sec, 435 secs
lola: 12 tries, 11972189 fired transitions, 440 secs || 3883647 markings, 58855616 edges, 8615 markings/sec, 440 secs
lola: 13 tries, 12107504 fired transitions, 445 secs || 3926702 markings, 59519066 edges, 8611 markings/sec, 445 secs
lola: 13 tries, 12243021 fired transitions, 450 secs || 3969779 markings, 60178665 edges, 8615 markings/sec, 450 secs
lola: 13 tries, 12378497 fired transitions, 455 secs || 4012599 markings, 60838195 edges, 8564 markings/sec, 455 secs
lola: 13 tries, 12514047 fired transitions, 460 secs || 4055517 markings, 61501434 edges, 8584 markings/sec, 460 secs
lola: 13 tries, 12649297 fired transitions, 465 secs || 4098819 markings, 62167923 edges, 8660 markings/sec, 465 secs
lola: 13 tries, 12780719 fired transitions, 470 secs || 4140702 markings, 62814142 edges, 8377 markings/sec, 470 secs
lola: 13 tries, 12910453 fired transitions, 475 secs || 4182225 markings, 63453153 edges, 8305 markings/sec, 475 secs
lola: 14 tries, 13040099 fired transitions, 480 secs || 4223534 markings, 64089390 edges, 8262 markings/sec, 480 secs
lola: 14 tries, 13170079 fired transitions, 485 secs || 4265188 markings, 64729307 edges, 8331 markings/sec, 485 secs
lola: 14 tries, 13302985 fired transitions, 490 secs || 4307571 markings, 65383496 edges, 8477 markings/sec, 490 secs
lola: 14 tries, 13438525 fired transitions, 495 secs || 4350491 markings, 66043298 edges, 8584 markings/sec, 495 secs
lola: 14 tries, 13574005 fired transitions, 500 secs || 4393266 markings, 66700722 edges, 8555 markings/sec, 500 secs
lola: 14 tries, 13709299 fired transitions, 505 secs || 4435844 markings, 67357946 edges, 8516 markings/sec, 505 secs
lola: 14 tries, 13844525 fired transitions, 510 secs || 4478527 markings, 68016268 edges, 8537 markings/sec, 510 secs
lola: 14 tries, 13979733 fired transitions, 515 secs || 4521133 markings, 68672911 edges, 8521 markings/sec, 515 secs
lola: 15 tries, 14114967 fired transitions, 520 secs || 4564085 markings, 69332780 edges, 8590 markings/sec, 520 secs
lola: 15 tries, 14250187 fired transitions, 525 secs || 4606668 markings, 69986101 edges, 8517 markings/sec, 525 secs
lola: 15 tries, 14385583 fired transitions, 530 secs || 4649380 markings, 70641888 edges, 8542 markings/sec, 530 secs
lola: 15 tries, 14521144 fired transitions, 535 secs || 4691763 markings, 71296112 edges, 8477 markings/sec, 535 secs
lola: 15 tries, 14656777 fired transitions, 540 secs || 4734407 markings, 71952018 edges, 8529 markings/sec, 540 secs
lola: 15 tries, 14792430 fired transitions, 545 secs || 4776729 markings, 72607797 edges, 8464 markings/sec, 545 secs
lola: 15 tries, 14928063 fired transitions, 550 secs || 4819581 markings, 73268939 edges, 8570 markings/sec, 550 secs
lola: 16 tries, 15063593 fired transitions, 555 secs || 4862556 markings, 73928631 edges, 8595 markings/sec, 555 secs
lola: 16 tries, 15199167 fired transitions, 560 secs || 4905237 markings, 74588006 edges, 8536 markings/sec, 560 secs
lola: 16 tries, 15334779 fired transitions, 565 secs || 4948106 markings, 75246431 edges, 8574 markings/sec, 565 secs
lola: 16 tries, 15470435 fired transitions, 570 secs || 4991117 markings, 75906485 edges, 8602 markings/sec, 570 secs
lola: 16 tries, 15606005 fired transitions, 575 secs || 5033853 markings, 76567493 edges, 8547 markings/sec, 575 secs
lola: 16 tries, 15741587 fired transitions, 580 secs || 5076670 markings, 77226966 edges, 8563 markings/sec, 580 secs
lola: 16 tries, 15877185 fired transitions, 585 secs || 5119316 markings, 77886227 edges, 8529 markings/sec, 585 secs
lola: 17 tries, 16012749 fired transitions, 590 secs || 5162151 markings, 78543670 edges, 8567 markings/sec, 590 secs
lola: 17 tries, 16148365 fired transitions, 595 secs || 5205072 markings, 79205900 edges, 8584 markings/sec, 595 secs
lola: 17 tries, 16284011 fired transitions, 600 secs || 5248489 markings, 79870341 edges, 8683 markings/sec, 600 secs
lola: 17 tries, 16419669 fired transitions, 605 secs || 5291227 markings, 80531057 edges, 8548 markings/sec, 605 secs
lola: 17 tries, 16555177 fired transitions, 610 secs || 5334536 markings, 81192295 edges, 8662 markings/sec, 610 secs
lola: 17 tries, 16690818 fired transitions, 615 secs || 5377414 markings, 81853746 edges, 8576 markings/sec, 615 secs
lola: 17 tries, 16826423 fired transitions, 620 secs || 5420146 markings, 82512928 edges, 8546 markings/sec, 620 secs
lola: 17 tries, 16962009 fired transitions, 625 secs || 5462970 markings, 83174345 edges, 8565 markings/sec, 625 secs
lola: 18 tries, 17094225 fired transitions, 630 secs || 5505759 markings, 83835282 edges, 8558 markings/sec, 630 secs
lola: 18 tries, 17214027 fired transitions, 635 secs || 5548669 markings, 84496904 edges, 8582 markings/sec, 635 secs
lola: 18 tries, 17349679 fired transitions, 640 secs || 5591413 markings, 85156558 edges, 8549 markings/sec, 640 secs
lola: 18 tries, 17485147 fired transitions, 645 secs || 5634480 markings, 85816297 edges, 8613 markings/sec, 645 secs
lola: 18 tries, 17620755 fired transitions, 650 secs || 5677410 markings, 86476119 edges, 8586 markings/sec, 650 secs
lola: 18 tries, 17756269 fired transitions, 655 secs || 5720114 markings, 87134778 edges, 8541 markings/sec, 655 secs
lola: 18 tries, 17891897 fired transitions, 660 secs || 5762823 markings, 87791441 edges, 8542 markings/sec, 660 secs
lola: 19 tries, 18027575 fired transitions, 665 secs || 5805393 markings, 88449559 edges, 8514 markings/sec, 665 secs
lola: 19 tries, 18163145 fired transitions, 670 secs || 5848346 markings, 89108467 edges, 8591 markings/sec, 670 secs
lola: 19 tries, 18298751 fired transitions, 675 secs || 5891162 markings, 89768033 edges, 8563 markings/sec, 675 secs
lola: 19 tries, 18434387 fired transitions, 680 secs || 5934287 markings, 90428637 edges, 8625 markings/sec, 680 secs
lola: 19 tries, 18569995 fired transitions, 685 secs || 5977183 markings, 91089393 edges, 8579 markings/sec, 685 secs
lola: 19 tries, 18705571 fired transitions, 690 secs || 6020186 markings, 91749759 edges, 8601 markings/sec, 690 secs
lola: 19 tries, 18841117 fired transitions, 695 secs || 6062871 markings, 92408635 edges, 8537 markings/sec, 695 secs
lola: 19 tries, 18976803 fired transitions, 700 secs || 6105731 markings, 93067906 edges, 8572 markings/sec, 700 secs
lola: 20 tries, 19112389 fired transitions, 705 secs || 6148389 markings, 93726538 edges, 8532 markings/sec, 705 secs
lola: 20 tries, 19248073 fired transitions, 710 secs || 6190565 markings, 94380990 edges, 8435 markings/sec, 710 secs
lola: 20 tries, 19383697 fired transitions, 715 secs || 6233139 markings, 95039160 edges, 8515 markings/sec, 715 secs
lola: 20 tries, 19519277 fired transitions, 720 secs || 6276208 markings, 95698974 edges, 8614 markings/sec, 720 secs
lola: 20 tries, 19654887 fired transitions, 725 secs || 6319283 markings, 96362907 edges, 8615 markings/sec, 725 secs
lola: 20 tries, 19790475 fired transitions, 730 secs || 6362373 markings, 97026111 edges, 8618 markings/sec, 730 secs
lola: 20 tries, 19926035 fired transitions, 735 secs || 6405442 markings, 97686992 edges, 8614 markings/sec, 735 secs
lola: 21 tries, 20061615 fired transitions, 740 secs || 6448831 markings, 98351692 edges, 8678 markings/sec, 740 secs
lola: 21 tries, 20197305 fired transitions, 745 secs || 6491759 markings, 99014113 edges, 8586 markings/sec, 745 secs
lola: 21 tries, 20333933 fired transitions, 750 secs || 6534656 markings, 99675138 edges, 8579 markings/sec, 750 secs
lola: 21 tries, 20470453 fired transitions, 755 secs || 6577209 markings, 100330599 edges, 8511 markings/sec, 755 secs
lola: 21 tries, 20607107 fired transitions, 760 secs || 6619884 markings, 100989153 edges, 8535 markings/sec, 760 secs
lola: 21 tries, 20743739 fired transitions, 765 secs || 6662843 markings, 101651737 edges, 8592 markings/sec, 765 secs
lola: 21 tries, 20880379 fired transitions, 770 secs || 6706166 markings, 102316682 edges, 8665 markings/sec, 770 secs
lola: 22 tries, 21017025 fired transitions, 775 secs || 6748588 markings, 102970962 edges, 8484 markings/sec, 775 secs
lola: 22 tries, 21149699 fired transitions, 780 secs || 6789083 markings, 103595649 edges, 8099 markings/sec, 780 secs
lola: 22 tries, 21282131 fired transitions, 785 secs || 6829579 markings, 104219203 edges, 8099 markings/sec, 785 secs
lola: 22 tries, 21395653 fired transitions, 790 secs || 6870456 markings, 104846941 edges, 8175 markings/sec, 790 secs
lola: 22 tries, 21527845 fired transitions, 795 secs || 6911411 markings, 105473509 edges, 8191 markings/sec, 795 secs
lola: 22 tries, 21660003 fired transitions, 800 secs || 6951931 markings, 106098174 edges, 8104 markings/sec, 800 secs
lola: 22 tries, 21796019 fired transitions, 805 secs || 6994187 markings, 106748333 edges, 8451 markings/sec, 805 secs
lola: 22 tries, 21930993 fired transitions, 810 secs || 7036572 markings, 107402253 edges, 8477 markings/sec, 810 secs
lola: 23 tries, 22066203 fired transitions, 815 secs || 7079270 markings, 108059854 edges, 8540 markings/sec, 815 secs
lola: 23 tries, 22201571 fired transitions, 820 secs || 7122111 markings, 108719146 edges, 8568 markings/sec, 820 secs
lola: 23 tries, 22336925 fired transitions, 825 secs || 7164939 markings, 109376142 edges, 8566 markings/sec, 825 secs
lola: 23 tries, 22472353 fired transitions, 830 secs || 7207649 markings, 110032125 edges, 8542 markings/sec, 830 secs
lola: 23 tries, 22607789 fired transitions, 835 secs || 7250311 markings, 110688630 edges, 8532 markings/sec, 835 secs
lola: 23 tries, 22743054 fired transitions, 840 secs || 7292903 markings, 111343580 edges, 8518 markings/sec, 840 secs
lola: 23 tries, 22878497 fired transitions, 845 secs || 7335999 markings, 112004197 edges, 8619 markings/sec, 845 secs
lola: 24 tries, 23013795 fired transitions, 850 secs || 7379071 markings, 112666941 edges, 8614 markings/sec, 850 secs
lola: 24 tries, 23148469 fired transitions, 855 secs || 7421918 markings, 113326902 edges, 8569 markings/sec, 855 secs
lola: 24 tries, 23283903 fired transitions, 860 secs || 7465126 markings, 113990001 edges, 8642 markings/sec, 860 secs
lola: 24 tries, 23419325 fired transitions, 865 secs || 7508097 markings, 114651231 edges, 8594 markings/sec, 865 secs
lola: 24 tries, 23554689 fired transitions, 870 secs || 7550946 markings, 115309889 edges, 8570 markings/sec, 870 secs
lola: 24 tries, 23690073 fired transitions, 875 secs || 7593521 markings, 115965545 edges, 8515 markings/sec, 875 secs
lola: 24 tries, 23825545 fired transitions, 880 secs || 7636122 markings, 116622198 edges, 8520 markings/sec, 880 secs
lola: 24 tries, 23960940 fired transitions, 885 secs || 7678637 markings, 117276992 edges, 8503 markings/sec, 885 secs
lola: 25 tries, 24096393 fired transitions, 890 secs || 7721291 markings, 117930710 edges, 8531 markings/sec, 890 secs
lola: 25 tries, 24231823 fired transitions, 895 secs || 7763750 markings, 118584745 edges, 8492 markings/sec, 895 secs
lola: 25 tries, 24367191 fired transitions, 900 secs || 7806206 markings, 119239714 edges, 8491 markings/sec, 900 secs
lola: 25 tries, 24502681 fired transitions, 905 secs || 7848930 markings, 119898290 edges, 8545 markings/sec, 905 secs
lola: 25 tries, 24638159 fired transitions, 910 secs || 7891215 markings, 120550597 edges, 8457 markings/sec, 910 secs
lola: 25 tries, 24773627 fired transitions, 915 secs || 7933752 markings, 121205247 edges, 8507 markings/sec, 915 secs
lola: 25 tries, 24909007 fired transitions, 920 secs || 7976589 markings, 121863513 edges, 8567 markings/sec, 920 secs
lola: 26 tries, 25044371 fired transitions, 925 secs || 8019476 markings, 122521978 edges, 8577 markings/sec, 925 secs
lola: 26 tries, 25179873 fired transitions, 930 secs || 8060985 markings, 123160696 edges, 8302 markings/sec, 930 secs
lola: 26 tries, 25315457 fired transitions, 935 secs || 8097851 markings, 123729447 edges, 7373 markings/sec, 935 secs
lola: 26 tries, 25450879 fired transitions, 940 secs || 8141188 markings, 124395386 edges, 8667 markings/sec, 940 secs
lola: 26 tries, 25586249 fired transitions, 945 secs || 8184210 markings, 125057396 edges, 8604 markings/sec, 945 secs
lola: 26 tries, 25721727 fired transitions, 950 secs || 8227305 markings, 125720052 edges, 8619 markings/sec, 950 secs
lola: 26 tries, 25857075 fired transitions, 955 secs || 8270347 markings, 126383434 edges, 8608 markings/sec, 955 secs
lola: 26 tries, 25992409 fired transitions, 960 secs || 8313488 markings, 127047215 edges, 8628 markings/sec, 960 secs
lola: 27 tries, 26127737 fired transitions, 965 secs || 8356260 markings, 127707045 edges, 8554 markings/sec, 965 secs
lola: 27 tries, 26263023 fired transitions, 970 secs || 8399323 markings, 128370943 edges, 8613 markings/sec, 970 secs
lola: 27 tries, 26398427 fired transitions, 975 secs || 8442580 markings, 129035714 edges, 8651 markings/sec, 975 secs
lola: 27 tries, 26533825 fired transitions, 980 secs || 8485758 markings, 129700821 edges, 8636 markings/sec, 980 secs
lola: 27 tries, 26669227 fired transitions, 985 secs || 8528860 markings, 130362667 edges, 8620 markings/sec, 985 secs
lola: 27 tries, 26804647 fired transitions, 990 secs || 8571859 markings, 131022862 edges, 8600 markings/sec, 990 secs
lola: 27 tries, 26940068 fired transitions, 995 secs || 8614834 markings, 131683930 edges, 8595 markings/sec, 995 secs
lola: 28 tries, 27075567 fired transitions, 1000 secs || 8657978 markings, 132346209 edges, 8629 markings/sec, 1000 secs
lola: 28 tries, 27210947 fired transitions, 1005 secs || 8701316 markings, 133011629 edges, 8668 markings/sec, 1005 secs
lola: 28 tries, 27346387 fired transitions, 1010 secs || 8744413 markings, 133676374 edges, 8619 markings/sec, 1010 secs
lola: 28 tries, 27481691 fired transitions, 1015 secs || 8787514 markings, 134339648 edges, 8620 markings/sec, 1015 secs
lola: 28 tries, 27617039 fired transitions, 1020 secs || 8830709 markings, 135002496 edges, 8639 markings/sec, 1020 secs
lola: 28 tries, 27752465 fired transitions, 1025 secs || 8873927 markings, 135669324 edges, 8644 markings/sec, 1025 secs
lola: 28 tries, 27887855 fired transitions, 1030 secs || 8916522 markings, 136327390 edges, 8519 markings/sec, 1030 secs
lola: 29 tries, 28023435 fired transitions, 1035 secs || 8959417 markings, 136982480 edges, 8579 markings/sec, 1035 secs
lola: 29 tries, 28158957 fired transitions, 1040 secs || 9001739 markings, 137635961 edges, 8464 markings/sec, 1040 secs
lola: 29 tries, 28293937 fired transitions, 1045 secs || 9044395 markings, 138293615 edges, 8531 markings/sec, 1045 secs
lola: 29 tries, 28423629 fired transitions, 1050 secs || 9085719 markings, 138933508 edges, 8265 markings/sec, 1050 secs
lola: 29 tries, 28553389 fired transitions, 1055 secs || 9127595 markings, 139577804 edges, 8375 markings/sec, 1055 secs
lola: 29 tries, 28683367 fired transitions, 1060 secs || 9168963 markings, 140214723 edges, 8274 markings/sec, 1060 secs
lola: 29 tries, 28813379 fired transitions, 1065 secs || 9209075 markings, 140833179 edges, 8022 markings/sec, 1065 secs
lola: 29 tries, 28943499 fired transitions, 1070 secs || 9249826 markings, 141455772 edges, 8150 markings/sec, 1070 secs
lola: 30 tries, 29074015 fired transitions, 1075 secs || 9291285 markings, 142091590 edges, 8292 markings/sec, 1075 secs
lola: 30 tries, 29210185 fired transitions, 1080 secs || 9334675 markings, 142756082 edges, 8678 markings/sec, 1080 secs
lola: 30 tries, 29346803 fired transitions, 1085 secs || 9378504 markings, 143427588 edges, 8766 markings/sec, 1085 secs
lola: 30 tries, 29483337 fired transitions, 1090 secs || 9421747 markings, 144093513 edges, 8649 markings/sec, 1090 secs
lola: 30 tries, 29619929 fired transitions, 1095 secs || 9464902 markings, 144760754 edges, 8631 markings/sec, 1095 secs
lola: 30 tries, 29756509 fired transitions, 1100 secs || 9508148 markings, 145426779 edges, 8649 markings/sec, 1100 secs
lola: 30 tries, 29893035 fired transitions, 1105 secs || 9551132 markings, 146087227 edges, 8597 markings/sec, 1105 secs
lola: 31 tries, 30029609 fired transitions, 1110 secs || 9594253 markings, 146751831 edges, 8624 markings/sec, 1110 secs
lola: 31 tries, 30166157 fired transitions, 1115 secs || 9637772 markings, 147422547 edges, 8704 markings/sec, 1115 secs
lola: 31 tries, 30302649 fired transitions, 1120 secs || 9681054 markings, 148089842 edges, 8656 markings/sec, 1120 secs
lola: 31 tries, 30439197 fired transitions, 1125 secs || 9724612 markings, 148758678 edges, 8712 markings/sec, 1125 secs
lola: 31 tries, 30575731 fired transitions, 1130 secs || 9767966 markings, 149426876 edges, 8671 markings/sec, 1130 secs
lola: 31 tries, 30712273 fired transitions, 1135 secs || 9811206 markings, 150091987 edges, 8648 markings/sec, 1135 secs
lola: 31 tries, 30848831 fired transitions, 1140 secs || 9854238 markings, 150754228 edges, 8606 markings/sec, 1140 secs
lola: 31 tries, 30985455 fired transitions, 1145 secs || 9897123 markings, 151417997 edges, 8577 markings/sec, 1145 secs
lola: 32 tries, 31122067 fired transitions, 1150 secs || 9940425 markings, 152082819 edges, 8660 markings/sec, 1150 secs
lola: 32 tries, 31258659 fired transitions, 1155 secs || 9983626 markings, 152745187 edges, 8640 markings/sec, 1155 secs
lola: 32 tries, 31395220 fired transitions, 1160 secs || 10026579 markings, 153406763 edges, 8591 markings/sec, 1160 secs
lola: 32 tries, 31531795 fired transitions, 1165 secs || 10069772 markings, 154071175 edges, 8639 markings/sec, 1165 secs
lola: 32 tries, 31668371 fired transitions, 1170 secs || 10112616 markings, 154730711 edges, 8569 markings/sec, 1170 secs
lola: 32 tries, 31804927 fired transitions, 1175 secs || 10155706 markings, 155390856 edges, 8618 markings/sec, 1175 secs
lola: 32 tries, 31941583 fired transitions, 1180 secs || 10198482 markings, 156048574 edges, 8555 markings/sec, 1180 secs
lola: 33 tries, 32078215 fired transitions, 1185 secs || 10241713 markings, 156713782 edges, 8646 markings/sec, 1185 secs
lola: 33 tries, 32214793 fired transitions, 1190 secs || 10284876 markings, 157377961 edges, 8633 markings/sec, 1190 secs
lola: 33 tries, 32351395 fired transitions, 1195 secs || 10327881 markings, 158040612 edges, 8601 markings/sec, 1195 secs
lola: 33 tries, 32487973 fired transitions, 1200 secs || 10371029 markings, 158703867 edges, 8630 markings/sec, 1200 secs
lola: 33 tries, 32624521 fired transitions, 1205 secs || 10414471 markings, 159368843 edges, 8688 markings/sec, 1205 secs
lola: 33 tries, 32761081 fired transitions, 1210 secs || 10457801 markings, 160035307 edges, 8666 markings/sec, 1210 secs
lola: 33 tries, 32897629 fired transitions, 1215 secs || 10501050 markings, 160701774 edges, 8650 markings/sec, 1215 secs
lola: 34 tries, 33033511 fired transitions, 1220 secs || 10544802 markings, 161374574 edges, 8750 markings/sec, 1220 secs
lola: 34 tries, 33170021 fired transitions, 1225 secs || 10587913 markings, 162038646 edges, 8622 markings/sec, 1225 secs
lola: 34 tries, 33306563 fired transitions, 1230 secs || 10630993 markings, 162701011 edges, 8616 markings/sec, 1230 secs
lola: 34 tries, 33443121 fired transitions, 1235 secs || 10673807 markings, 163361165 edges, 8563 markings/sec, 1235 secs
lola: 34 tries, 33579673 fired transitions, 1240 secs || 10716750 markings, 164021950 edges, 8589 markings/sec, 1240 secs
lola: 34 tries, 33716261 fired transitions, 1245 secs || 10759483 markings, 164679712 edges, 8547 markings/sec, 1245 secs
lola: 34 tries, 33852797 fired transitions, 1250 secs || 10802512 markings, 165344634 edges, 8606 markings/sec, 1250 secs
lola: 34 tries, 33989309 fired transitions, 1255 secs || 10845756 markings, 166010458 edges, 8649 markings/sec, 1255 secs
lola: 35 tries, 34125827 fired transitions, 1260 secs || 10888949 markings, 166675342 edges, 8639 markings/sec, 1260 secs
lola: 35 tries, 34262373 fired transitions, 1265 secs || 10931942 markings, 167337450 edges, 8599 markings/sec, 1265 secs
lola: 35 tries, 34398895 fired transitions, 1270 secs || 10974496 markings, 167995252 edges, 8511 markings/sec, 1270 secs
lola: 35 tries, 34535431 fired transitions, 1275 secs || 11017780 markings, 168658199 edges, 8657 markings/sec, 1275 secs
lola: 35 tries, 34671979 fired transitions, 1280 secs || 11060206 markings, 169310464 edges, 8485 markings/sec, 1280 secs
lola: 35 tries, 34808548 fired transitions, 1285 secs || 11103241 markings, 169968921 edges, 8607 markings/sec, 1285 secs
lola: 35 tries, 34945105 fired transitions, 1290 secs || 11145939 markings, 170626449 edges, 8540 markings/sec, 1290 secs
lola: 36 tries, 35081638 fired transitions, 1295 secs || 11189155 markings, 171288498 edges, 8643 markings/sec, 1295 secs
lola: 36 tries, 35218185 fired transitions, 1300 secs || 11231709 markings, 171944589 edges, 8511 markings/sec, 1300 secs
lola: 36 tries, 35353588 fired transitions, 1305 secs || 11274603 markings, 172605685 edges, 8579 markings/sec, 1305 secs
lola: 36 tries, 35478201 fired transitions, 1310 secs || 11317223 markings, 173262970 edges, 8524 markings/sec, 1310 secs
lola: 36 tries, 35599683 fired transitions, 1315 secs || 11358664 markings, 173903127 edges, 8288 markings/sec, 1315 secs
lola: 36 tries, 35719907 fired transitions, 1320 secs || 11399486 markings, 174535156 edges, 8164 markings/sec, 1320 secs
lola: 36 tries, 35849700 fired transitions, 1325 secs || 11440307 markings, 175163890 edges, 8164 markings/sec, 1325 secs
lola: 36 tries, 35980647 fired transitions, 1330 secs || 11481566 markings, 175799742 edges, 8252 markings/sec, 1330 secs
lola: 37 tries, 36115751 fired transitions, 1335 secs || 11524481 markings, 176459186 edges, 8583 markings/sec, 1335 secs
lola: 37 tries, 36251193 fired transitions, 1340 secs || 11567226 markings, 177118454 edges, 8549 markings/sec, 1340 secs
lola: 37 tries, 36386421 fired transitions, 1345 secs || 11610056 markings, 177777672 edges, 8566 markings/sec, 1345 secs
lola: 37 tries, 36521101 fired transitions, 1350 secs || 11652718 markings, 178435137 edges, 8532 markings/sec, 1350 secs
lola: 37 tries, 36644251 fired transitions, 1355 secs || 11694384 markings, 179074280 edges, 8333 markings/sec, 1355 secs
lola: 37 tries, 36775071 fired transitions, 1360 secs || 11735682 markings, 179709090 edges, 8260 markings/sec, 1360 secs
lola: 37 tries, 36906821 fired transitions, 1365 secs || 11777000 markings, 180341969 edges, 8264 markings/sec, 1365 secs
lola: 38 tries, 37038551 fired transitions, 1370 secs || 11817988 markings, 180973643 edges, 8198 markings/sec, 1370 secs
lola: 38 tries, 37170215 fired transitions, 1375 secs || 11859158 markings, 181606992 edges, 8234 markings/sec, 1375 secs
lola: 38 tries, 37301715 fired transitions, 1380 secs || 11900614 markings, 182244623 edges, 8291 markings/sec, 1380 secs
lola: 38 tries, 37432795 fired transitions, 1385 secs || 11942671 markings, 182884768 edges, 8411 markings/sec, 1385 secs
lola: 38 tries, 37564113 fired transitions, 1390 secs || 11985008 markings, 183532250 edges, 8467 markings/sec, 1390 secs
lola: 38 tries, 37700631 fired transitions, 1395 secs || 12027962 markings, 184196989 edges, 8591 markings/sec, 1395 secs
lola: 38 tries, 37837145 fired transitions, 1400 secs || 12070736 markings, 184853852 edges, 8555 markings/sec, 1400 secs
lola: 38 tries, 37973605 fired transitions, 1405 secs || 12113427 markings, 185509486 edges, 8538 markings/sec, 1405 secs
lola: 39 tries, 38110029 fired transitions, 1410 secs || 12156075 markings, 186165441 edges, 8530 markings/sec, 1410 secs
lola: 39 tries, 38244247 fired transitions, 1415 secs || 12198757 markings, 186825263 edges, 8536 markings/sec, 1415 secs
lola: 39 tries, 38379751 fired transitions, 1420 secs || 12241908 markings, 187487398 edges, 8630 markings/sec, 1420 secs
lola: 39 tries, 38515225 fired transitions, 1425 secs || 12284845 markings, 188147840 edges, 8587 markings/sec, 1425 secs
lola: 39 tries, 38650708 fired transitions, 1430 secs || 12327790 markings, 188807239 edges, 8589 markings/sec, 1430 secs
lola: 39 tries, 38786149 fired transitions, 1435 secs || 12371092 markings, 189469713 edges, 8660 markings/sec, 1435 secs
lola: 39 tries, 38921597 fired transitions, 1440 secs || 12414086 markings, 190129140 edges, 8599 markings/sec, 1440 secs
lola: 40 tries, 39057013 fired transitions, 1445 secs || 12457618 markings, 190792158 edges, 8706 markings/sec, 1445 secs
lola: 40 tries, 39192467 fired transitions, 1450 secs || 12500579 markings, 191452767 edges, 8592 markings/sec, 1450 secs
lola: 40 tries, 39327835 fired transitions, 1455 secs || 12543276 markings, 192110909 edges, 8539 markings/sec, 1455 secs
lola: 40 tries, 39463198 fired transitions, 1460 secs || 12586225 markings, 192770139 edges, 8590 markings/sec, 1460 secs
lola: 40 tries, 39598721 fired transitions, 1465 secs || 12629218 markings, 193428415 edges, 8599 markings/sec, 1465 secs
lola: 40 tries, 39734111 fired transitions, 1470 secs || 12673638 markings, 194106034 edges, 8884 markings/sec, 1470 secs
lola: 40 tries, 39869513 fired transitions, 1475 secs || 12717718 markings, 194786018 edges, 8816 markings/sec, 1475 secs
lola: 41 tries, 40004997 fired transitions, 1480 secs || 12761605 markings, 195463429 edges, 8777 markings/sec, 1480 secs
lola: 41 tries, 40140483 fired transitions, 1485 secs || 12805789 markings, 196143509 edges, 8837 markings/sec, 1485 secs
lola: 41 tries, 40275961 fired transitions, 1490 secs || 12849476 markings, 196813430 edges, 8737 markings/sec, 1490 secs
lola: 41 tries, 40411409 fired transitions, 1495 secs || 12892234 markings, 197472623 edges, 8552 markings/sec, 1495 secs
lola: 41 tries, 40546793 fired transitions, 1500 secs || 12935051 markings, 198134104 edges, 8563 markings/sec, 1500 secs
lola: 41 tries, 40682295 fired transitions, 1505 secs || 12978065 markings, 198793122 edges, 8603 markings/sec, 1505 secs
lola: 41 tries, 40817663 fired transitions, 1510 secs || 13021488 markings, 199460406 edges, 8685 markings/sec, 1510 secs
lola: 41 tries, 40953131 fired transitions, 1515 secs || 13064833 markings, 200125893 edges, 8669 markings/sec, 1515 secs
lola: 42 tries, 41088573 fired transitions, 1520 secs || 13107924 markings, 200791362 edges, 8618 markings/sec, 1520 secs
lola: 42 tries, 41224025 fired transitions, 1525 secs || 13150920 markings, 201452199 edges, 8599 markings/sec, 1525 secs
lola: 42 tries, 41359567 fired transitions, 1530 secs || 13192710 markings, 202094789 edges, 8358 markings/sec, 1530 secs
lola: 42 tries, 41495147 fired transitions, 1535 secs || 13230490 markings, 202676452 edges, 7556 markings/sec, 1535 secs
lola: 42 tries, 41630623 fired transitions, 1540 secs || 13273958 markings, 203344947 edges, 8694 markings/sec, 1540 secs
lola: 42 tries, 41766065 fired transitions, 1545 secs || 13317404 markings, 204012324 edges, 8689 markings/sec, 1545 secs
lola: 42 tries, 41901541 fired transitions, 1550 secs || 13360651 markings, 204677327 edges, 8649 markings/sec, 1550 secs
lola: 43 tries, 42036987 fired transitions, 1555 secs || 13403891 markings, 205340720 edges, 8648 markings/sec, 1555 secs
lola: 43 tries, 42172433 fired transitions, 1560 secs || 13447216 markings, 206006904 edges, 8665 markings/sec, 1560 secs
lola: 43 tries, 42307910 fired transitions, 1565 secs || 13490247 markings, 206669708 edges, 8606 markings/sec, 1565 secs
lola: 43 tries, 42443360 fired transitions, 1570 secs || 13533162 markings, 207332424 edges, 8583 markings/sec, 1570 secs
lola: 43 tries, 42578809 fired transitions, 1575 secs || 13576283 markings, 207997250 edges, 8624 markings/sec, 1575 secs
lola: 43 tries, 42714221 fired transitions, 1580 secs || 13619247 markings, 208661167 edges, 8593 markings/sec, 1580 secs
lola: 43 tries, 42849667 fired transitions, 1585 secs || 13662402 markings, 209324769 edges, 8631 markings/sec, 1585 secs
lola: 43 tries, 42985091 fired transitions, 1590 secs || 13705771 markings, 209992315 edges, 8674 markings/sec, 1590 secs
lola: 44 tries, 43120509 fired transitions, 1595 secs || 13749196 markings, 210660397 edges, 8685 markings/sec, 1595 secs
lola: 44 tries, 43256053 fired transitions, 1600 secs || 13792384 markings, 211326279 edges, 8638 markings/sec, 1600 secs
lola: 44 tries, 43391463 fired transitions, 1605 secs || 13835884 markings, 211997069 edges, 8700 markings/sec, 1605 secs
lola: 44 tries, 43526957 fired transitions, 1610 secs || 13879205 markings, 212666721 edges, 8664 markings/sec, 1610 secs
lola: 44 tries, 43662375 fired transitions, 1615 secs || 13921219 markings, 213339756 edges, 8403 markings/sec, 1615 secs
lola: 44 tries, 43797797 fired transitions, 1620 secs || 13960526 markings, 214018178 edges, 7861 markings/sec, 1620 secs
lola: 44 tries, 43933257 fired transitions, 1625 secs || 13999397 markings, 214694188 edges, 7774 markings/sec, 1625 secs
lola: 45 tries, 44068617 fired transitions, 1630 secs || 14038085 markings, 215365646 edges, 7738 markings/sec, 1630 secs
lola: 45 tries, 44204111 fired transitions, 1635 secs || 14076739 markings, 216035682 edges, 7731 markings/sec, 1635 secs
lola: 45 tries, 44339473 fired transitions, 1640 secs || 14115199 markings, 216702115 edges, 7692 markings/sec, 1640 secs
lola: 45 tries, 44474843 fired transitions, 1645 secs || 14153636 markings, 217369241 edges, 7687 markings/sec, 1645 secs
lola: 45 tries, 44610307 fired transitions, 1650 secs || 14192081 markings, 218035484 edges, 7689 markings/sec, 1650 secs
lola: 45 tries, 44745735 fired transitions, 1655 secs || 14231041 markings, 218704126 edges, 7792 markings/sec, 1655 secs
lola: 45 tries, 44881263 fired transitions, 1660 secs || 14269587 markings, 219372773 edges, 7709 markings/sec, 1660 secs
lola: 46 tries, 45016601 fired transitions, 1665 secs || 14308617 markings, 220043700 edges, 7806 markings/sec, 1665 secs
lola: 46 tries, 45152095 fired transitions, 1670 secs || 14347714 markings, 220713294 edges, 7819 markings/sec, 1670 secs
lola: 46 tries, 45287551 fired transitions, 1675 secs || 14386549 markings, 221385845 edges, 7767 markings/sec, 1675 secs
lola: 46 tries, 45423021 fired transitions, 1680 secs || 14425489 markings, 222058577 edges, 7788 markings/sec, 1680 secs
lola: 46 tries, 45558399 fired transitions, 1685 secs || 14465665 markings, 222730149 edges, 8035 markings/sec, 1685 secs
lola: 46 tries, 45693903 fired transitions, 1690 secs || 14504628 markings, 223405892 edges, 7793 markings/sec, 1690 secs
lola: 46 tries, 45829361 fired transitions, 1695 secs || 14544044 markings, 224080055 edges, 7883 markings/sec, 1695 secs
lola: 46 tries, 45964811 fired transitions, 1700 secs || 14582865 markings, 224757056 edges, 7764 markings/sec, 1700 secs
lola: 47 tries, 46100235 fired transitions, 1705 secs || 14621642 markings, 225432993 edges, 7755 markings/sec, 1705 secs
lola: 47 tries, 46235675 fired transitions, 1710 secs || 14660263 markings, 226106498 edges, 7724 markings/sec, 1710 secs
lola: 47 tries, 46371121 fired transitions, 1715 secs || 14699650 markings, 226780398 edges, 7877 markings/sec, 1715 secs
lola: 47 tries, 46506521 fired transitions, 1720 secs || 14738232 markings, 227453196 edges, 7716 markings/sec, 1720 secs
lola: 47 tries, 46641896 fired transitions, 1725 secs || 14778099 markings, 228127434 edges, 7973 markings/sec, 1725 secs
lola: 47 tries, 46777305 fired transitions, 1730 secs || 14817663 markings, 228797941 edges, 7913 markings/sec, 1730 secs
lola: 47 tries, 46912703 fired transitions, 1735 secs || 14856337 markings, 229469067 edges, 7735 markings/sec, 1735 secs
lola: 48 tries, 47048191 fired transitions, 1740 secs || 14895168 markings, 230138849 edges, 7766 markings/sec, 1740 secs
lola: 48 tries, 47183635 fired transitions, 1745 secs || 14935003 markings, 230811399 edges, 7967 markings/sec, 1745 secs
lola: 48 tries, 47319035 fired transitions, 1750 secs || 14973749 markings, 231480996 edges, 7749 markings/sec, 1750 secs
lola: 48 tries, 47454450 fired transitions, 1755 secs || 15012068 markings, 232148190 edges, 7664 markings/sec, 1755 secs
lola: 48 tries, 47589789 fired transitions, 1760 secs || 15050422 markings, 232813892 edges, 7671 markings/sec, 1760 secs
lola: 48 tries, 47725090 fired transitions, 1765 secs || 15089414 markings, 233481219 edges, 7798 markings/sec, 1765 secs
lola: 48 tries, 47860263 fired transitions, 1770 secs || 15127974 markings, 234150646 edges, 7712 markings/sec, 1770 secs
lola: 48 tries, 47995553 fired transitions, 1775 secs || 15166833 markings, 234819314 edges, 7772 markings/sec, 1775 secs
lola: 49 tries, 48130835 fired transitions, 1780 secs || 15205500 markings, 235486234 edges, 7733 markings/sec, 1780 secs
lola: 49 tries, 48266147 fired transitions, 1785 secs || 15243994 markings, 236150886 edges, 7699 markings/sec, 1785 secs
lola: 49 tries, 48401507 fired transitions, 1790 secs || 15282322 markings, 236814699 edges, 7666 markings/sec, 1790 secs
lola: 49 tries, 48536861 fired transitions, 1795 secs || 15321701 markings, 237484154 edges, 7876 markings/sec, 1795 secs
lola: 49 tries, 48672301 fired transitions, 1800 secs || 15360385 markings, 238150794 edges, 7737 markings/sec, 1800 secs
lola: 49 tries, 48807717 fired transitions, 1805 secs || 15398668 markings, 238814400 edges, 7657 markings/sec, 1805 secs
lola: 49 tries, 48943127 fired transitions, 1810 secs || 15436969 markings, 239476262 edges, 7660 markings/sec, 1810 secs
lola: 50 tries, 49078535 fired transitions, 1815 secs || 15475549 markings, 240144365 edges, 7716 markings/sec, 1815 secs
lola: 50 tries, 49213919 fired transitions, 1820 secs || 15514024 markings, 240812605 edges, 7695 markings/sec, 1820 secs
lola: 50 tries, 49349329 fired transitions, 1825 secs || 15552564 markings, 241482189 edges, 7708 markings/sec, 1825 secs
lola: 50 tries, 49484855 fired transitions, 1830 secs || 15590282 markings, 242137042 edges, 7544 markings/sec, 1830 secs
lola: 50 tries, 49620523 fired transitions, 1835 secs || 15624024 markings, 242727523 edges, 6748 markings/sec, 1835 secs
lola: 50 tries, 49756023 fired transitions, 1840 secs || 15662675 markings, 243400931 edges, 7730 markings/sec, 1840 secs
lola: 50 tries, 49891431 fired transitions, 1845 secs || 15702415 markings, 244073275 edges, 7948 markings/sec, 1845 secs
lola: 51 tries, 50026959 fired transitions, 1850 secs || 15741278 markings, 244745226 edges, 7773 markings/sec, 1850 secs
lola: 51 tries, 50162395 fired transitions, 1855 secs || 15780337 markings, 245417316 edges, 7812 markings/sec, 1855 secs
lola: 51 tries, 50297821 fired transitions, 1860 secs || 15820449 markings, 246089398 edges, 8022 markings/sec, 1860 secs
lola: 51 tries, 50433271 fired transitions, 1865 secs || 15859116 markings, 246760839 edges, 7733 markings/sec, 1865 secs
lola: 51 tries, 50568627 fired transitions, 1870 secs || 15897868 markings, 247428754 edges, 7750 markings/sec, 1870 secs
lola: 51 tries, 50704018 fired transitions, 1875 secs || 15935978 markings, 248093184 edges, 7622 markings/sec, 1875 secs
lola: 51 tries, 50839487 fired transitions, 1880 secs || 15974360 markings, 248758046 edges, 7676 markings/sec, 1880 secs
lola: 51 tries, 50974963 fired transitions, 1885 secs || 16012544 markings, 249424386 edges, 7637 markings/sec, 1885 secs
lola: 52 tries, 51110431 fired transitions, 1890 secs || 16050534 markings, 250089016 edges, 7598 markings/sec, 1890 secs
lola: 52 tries, 51245825 fired transitions, 1895 secs || 16089031 markings, 250752611 edges, 7699 markings/sec, 1895 secs
lola: 52 tries, 51381216 fired transitions, 1900 secs || 16127949 markings, 251421311 edges, 7784 markings/sec, 1900 secs
lola: 52 tries, 51516609 fired transitions, 1905 secs || 16166143 markings, 252086310 edges, 7639 markings/sec, 1905 secs
lola: 52 tries, 51652159 fired transitions, 1910 secs || 16204359 markings, 252750890 edges, 7643 markings/sec, 1910 secs
lola: 52 tries, 51787631 fired transitions, 1915 secs || 16242503 markings, 253413987 edges, 7629 markings/sec, 1915 secs
lola: 52 tries, 51923107 fired transitions, 1920 secs || 16280911 markings, 254077092 edges, 7682 markings/sec, 1920 secs
lola: 53 tries, 52058565 fired transitions, 1925 secs || 16319512 markings, 254745955 edges, 7720 markings/sec, 1925 secs
lola: 53 tries, 52194039 fired transitions, 1930 secs || 16357989 markings, 255414258 edges, 7695 markings/sec, 1930 secs
lola: 53 tries, 52329487 fired transitions, 1935 secs || 16396279 markings, 256078625 edges, 7658 markings/sec, 1935 secs
lola: 53 tries, 52464863 fired transitions, 1940 secs || 16434049 markings, 256740828 edges, 7554 markings/sec, 1940 secs
lola: 53 tries, 52600289 fired transitions, 1945 secs || 16472050 markings, 257400364 edges, 7600 markings/sec, 1945 secs
lola: 53 tries, 52735757 fired transitions, 1950 secs || 16510860 markings, 258061668 edges, 7762 markings/sec, 1950 secs
lola: 53 tries, 52871209 fired transitions, 1955 secs || 16550876 markings, 258733739 edges, 8003 markings/sec, 1955 secs
lola: 54 tries, 53006739 fired transitions, 1960 secs || 16589321 markings, 259403937 edges, 7689 markings/sec, 1960 secs
lola: 54 tries, 53142192 fired transitions, 1965 secs || 16628330 markings, 260072156 edges, 7802 markings/sec, 1965 secs
lola: 54 tries, 53277728 fired transitions, 1970 secs || 16668436 markings, 260738921 edges, 8021 markings/sec, 1970 secs
lola: 54 tries, 53413157 fired transitions, 1975 secs || 16706710 markings, 261404268 edges, 7655 markings/sec, 1975 secs
lola: 54 tries, 53548627 fired transitions, 1980 secs || 16745964 markings, 262068290 edges, 7851 markings/sec, 1980 secs
lola: 54 tries, 53684029 fired transitions, 1985 secs || 16785315 markings, 262741378 edges, 7870 markings/sec, 1985 secs
lola: 54 tries, 53819565 fired transitions, 1990 secs || 16825134 markings, 263409195 edges, 7964 markings/sec, 1990 secs
lola: 54 tries, 53955156 fired transitions, 1995 secs || 16864248 markings, 264074115 edges, 7823 markings/sec, 1995 secs
lola: 55 tries, 54090601 fired transitions, 2000 secs || 16902532 markings, 264735361 edges, 7657 markings/sec, 2000 secs
lola: 55 tries, 54226059 fired transitions, 2005 secs || 16941332 markings, 265401230 edges, 7760 markings/sec, 2005 secs
lola: 55 tries, 54361427 fired transitions, 2010 secs || 16979958 markings, 266071816 edges, 7725 markings/sec, 2010 secs
lola: 55 tries, 54496889 fired transitions, 2015 secs || 17018806 markings, 266742934 edges, 7770 markings/sec, 2015 secs
lola: 55 tries, 54632395 fired transitions, 2020 secs || 17058060 markings, 267420463 edges, 7851 markings/sec, 2020 secs
lola: 55 tries, 54767871 fired transitions, 2025 secs || 17096822 markings, 268097382 edges, 7752 markings/sec, 2025 secs
lola: 55 tries, 54903377 fired transitions, 2030 secs || 17136096 markings, 268771194 edges, 7855 markings/sec, 2030 secs
lola: 56 tries, 55038763 fired transitions, 2035 secs || 17174799 markings, 269443535 edges, 7741 markings/sec, 2035 secs
lola: 56 tries, 55174171 fired transitions, 2040 secs || 17215350 markings, 270112586 edges, 8110 markings/sec, 2040 secs
lola: 56 tries, 55309575 fired transitions, 2045 secs || 17253773 markings, 270780657 edges, 7685 markings/sec, 2045 secs
lola: 56 tries, 55445055 fired transitions, 2050 secs || 17291983 markings, 271446618 edges, 7642 markings/sec, 2050 secs
lola: 56 tries, 55580631 fired transitions, 2055 secs || 17330269 markings, 272109450 edges, 7657 markings/sec, 2055 secs
lola: 56 tries, 55716133 fired transitions, 2060 secs || 17368307 markings, 272773557 edges, 7608 markings/sec, 2060 secs
lola: 56 tries, 55851571 fired transitions, 2065 secs || 17406318 markings, 273434021 edges, 7602 markings/sec, 2065 secs
lola: 56 tries, 55982457 fired transitions, 2070 secs || 17442807 markings, 274074423 edges, 7298 markings/sec, 2070 secs
lola: 57 tries, 56113895 fired transitions, 2075 secs || 17478008 markings, 274682765 edges, 7040 markings/sec, 2075 secs
lola: 57 tries, 56245575 fired transitions, 2080 secs || 17514967 markings, 275317959 edges, 7392 markings/sec, 2080 secs
lola: 57 tries, 56377195 fired transitions, 2085 secs || 17551361 markings, 275951753 edges, 7279 markings/sec, 2085 secs
lola: 57 tries, 56508895 fired transitions, 2090 secs || 17587932 markings, 276584196 edges, 7314 markings/sec, 2090 secs
lola: 57 tries, 56640523 fired transitions, 2095 secs || 17625123 markings, 277218806 edges, 7438 markings/sec, 2095 secs
lola: 57 tries, 56772177 fired transitions, 2100 secs || 17662070 markings, 277853270 edges, 7389 markings/sec, 2100 secs
lola: 57 tries, 56903791 fired transitions, 2105 secs || 17697355 markings, 278464702 edges, 7057 markings/sec, 2105 secs
lola: 58 tries, 57035463 fired transitions, 2110 secs || 17734293 markings, 279099641 edges, 7388 markings/sec, 2110 secs
lola: 58 tries, 57166663 fired transitions, 2115 secs || 17771074 markings, 279735220 edges, 7356 markings/sec, 2115 secs
lola: 58 tries, 57296739 fired transitions, 2120 secs || 17808103 markings, 280372625 edges, 7406 markings/sec, 2120 secs
lola: 58 tries, 57428105 fired transitions, 2125 secs || 17843386 markings, 280976810 edges, 7057 markings/sec, 2125 secs
lola: 58 tries, 57559729 fired transitions, 2130 secs || 17880307 markings, 281611387 edges, 7384 markings/sec, 2130 secs
lola: 58 tries, 57691403 fired transitions, 2135 secs || 17917321 markings, 282246734 edges, 7403 markings/sec, 2135 secs
lola: 58 tries, 57823077 fired transitions, 2140 secs || 17954323 markings, 282881442 edges, 7400 markings/sec, 2140 secs
lola: 58 tries, 57954629 fired transitions, 2145 secs || 17990816 markings, 283514685 edges, 7299 markings/sec, 2145 secs
lola: 59 tries, 58086285 fired transitions, 2150 secs || 18027356 markings, 284148157 edges, 7308 markings/sec, 2150 secs
lola: 59 tries, 58217905 fired transitions, 2155 secs || 18062455 markings, 284756122 edges, 7020 markings/sec, 2155 secs
lola: 59 tries, 58349489 fired transitions, 2160 secs || 18099263 markings, 285389075 edges, 7362 markings/sec, 2160 secs
lola: 59 tries, 58481043 fired transitions, 2165 secs || 18135703 markings, 286021724 edges, 7288 markings/sec, 2165 secs
lola: 59 tries, 58616055 fired transitions, 2170 secs || 18172850 markings, 286665830 edges, 7429 markings/sec, 2170 secs
lola: 59 tries, 58752765 fired transitions, 2175 secs || 18210685 markings, 287314485 edges, 7567 markings/sec, 2175 secs
lola: 59 tries, 58889415 fired transitions, 2180 secs || 18248281 markings, 287965423 edges, 7519 markings/sec, 2180 secs
lola: 60 tries, 59024227 fired transitions, 2185 secs || 18284927 markings, 288605189 edges, 7329 markings/sec, 2185 secs
lola: 60 tries, 59156769 fired transitions, 2190 secs || 18321240 markings, 289233048 edges, 7263 markings/sec, 2190 secs
lola: 60 tries, 59289329 fired transitions, 2195 secs || 18357396 markings, 289861244 edges, 7231 markings/sec, 2195 secs
lola: 60 tries, 59424573 fired transitions, 2200 secs || 18394893 markings, 290501260 edges, 7499 markings/sec, 2200 secs
lola: 60 tries, 59561247 fired transitions, 2205 secs || 18432904 markings, 291149119 edges, 7602 markings/sec, 2205 secs
lola: 60 tries, 59697909 fired transitions, 2210 secs || 18470203 markings, 291798882 edges, 7460 markings/sec, 2210 secs
lola: 60 tries, 59834589 fired transitions, 2215 secs || 18507363 markings, 292447586 edges, 7432 markings/sec, 2215 secs
lola: 60 tries, 59971185 fired transitions, 2220 secs || 18545208 markings, 293094210 edges, 7569 markings/sec, 2220 secs
lola: 61 tries, 60107889 fired transitions, 2225 secs || 18582713 markings, 293744452 edges, 7501 markings/sec, 2225 secs
lola: 61 tries, 60244497 fired transitions, 2230 secs || 18619727 markings, 294393190 edges, 7403 markings/sec, 2230 secs
lola: 61 tries, 60381289 fired transitions, 2235 secs || 18657168 markings, 295043600 edges, 7488 markings/sec, 2235 secs
lola: 61 tries, 60518019 fired transitions, 2240 secs || 18694632 markings, 295691492 edges, 7493 markings/sec, 2240 secs
lola: 61 tries, 60654769 fired transitions, 2245 secs || 18731913 markings, 296339430 edges, 7456 markings/sec, 2245 secs
lola: 61 tries, 60791523 fired transitions, 2250 secs || 18769449 markings, 296987776 edges, 7507 markings/sec, 2250 secs
lola: 61 tries, 60928235 fired transitions, 2255 secs || 18806498 markings, 297635049 edges, 7410 markings/sec, 2255 secs
lola: 62 tries, 61065023 fired transitions, 2260 secs || 18843968 markings, 298282834 edges, 7494 markings/sec, 2260 secs
lola: 62 tries, 61201733 fired transitions, 2265 secs || 18881195 markings, 298929812 edges, 7445 markings/sec, 2265 secs
lola: 62 tries, 61338393 fired transitions, 2270 secs || 18918754 markings, 299574575 edges, 7512 markings/sec, 2270 secs
lola: 62 tries, 61475067 fired transitions, 2275 secs || 18956619 markings, 300228314 edges, 7573 markings/sec, 2275 secs
lola: 62 tries, 61611775 fired transitions, 2280 secs || 18994316 markings, 300886192 edges, 7539 markings/sec, 2280 secs
lola: 62 tries, 61748421 fired transitions, 2285 secs || 19032056 markings, 301542067 edges, 7548 markings/sec, 2285 secs
lola: 62 tries, 61885047 fired transitions, 2290 secs || 19069547 markings, 302195770 edges, 7498 markings/sec, 2290 secs
lola: 63 tries, 62021669 fired transitions, 2295 secs || 19107340 markings, 302847984 edges, 7559 markings/sec, 2295 secs
lola: 63 tries, 62158314 fired transitions, 2300 secs || 19144955 markings, 303501751 edges, 7523 markings/sec, 2300 secs
lola: 63 tries, 62294812 fired transitions, 2305 secs || 19182787 markings, 304154717 edges, 7566 markings/sec, 2305 secs
lola: 63 tries, 62431047 fired transitions, 2310 secs || 19220374 markings, 304805974 edges, 7517 markings/sec, 2310 secs
lola: 63 tries, 62567239 fired transitions, 2315 secs || 19258492 markings, 305462264 edges, 7624 markings/sec, 2315 secs
lola: 63 tries, 62703409 fired transitions, 2320 secs || 19296032 markings, 306119160 edges, 7508 markings/sec, 2320 secs
lola: 63 tries, 62836961 fired transitions, 2325 secs || 19332584 markings, 306756065 edges, 7310 markings/sec, 2325 secs
lola: 63 tries, 62969501 fired transitions, 2330 secs || 19368890 markings, 307385603 edges, 7261 markings/sec, 2330 secs
lola: 64 tries, 63102091 fired transitions, 2335 secs || 19405086 markings, 308013937 edges, 7239 markings/sec, 2335 secs
lola: 64 tries, 63234633 fired transitions, 2340 secs || 19441121 markings, 308641176 edges, 7207 markings/sec, 2340 secs
lola: 64 tries, 63367171 fired transitions, 2345 secs || 19477094 markings, 309267911 edges, 7195 markings/sec, 2345 secs
lola: 64 tries, 63499801 fired transitions, 2350 secs || 19513083 markings, 309893891 edges, 7198 markings/sec, 2350 secs
lola: 64 tries, 63632453 fired transitions, 2355 secs || 19549259 markings, 310519812 edges, 7235 markings/sec, 2355 secs
lola: 64 tries, 63766807 fired transitions, 2360 secs || 19586533 markings, 311157281 edges, 7455 markings/sec, 2360 secs
lola: 64 tries, 63902761 fired transitions, 2365 secs || 19624283 markings, 311805063 edges, 7550 markings/sec, 2365 secs
lola: 65 tries, 64038759 fired transitions, 2370 secs || 19661628 markings, 312456054 edges, 7469 markings/sec, 2370 secs
lola: 65 tries, 64175105 fired transitions, 2375 secs || 19699690 markings, 313104384 edges, 7612 markings/sec, 2375 secs
lola: 65 tries, 64311465 fired transitions, 2380 secs || 19737336 markings, 313757537 edges, 7529 markings/sec, 2380 secs
lola: 65 tries, 64447955 fired transitions, 2385 secs || 19774966 markings, 314409284 edges, 7526 markings/sec, 2385 secs
lola: 65 tries, 64584471 fired transitions, 2390 secs || 19812312 markings, 315059087 edges, 7469 markings/sec, 2390 secs
lola: 65 tries, 64720957 fired transitions, 2395 secs || 19849807 markings, 315706288 edges, 7499 markings/sec, 2395 secs
lola: 65 tries, 64857527 fired transitions, 2400 secs || 19887485 markings, 316355920 edges, 7536 markings/sec, 2400 secs
lola: 65 tries, 64994029 fired transitions, 2405 secs || 19925043 markings, 317005164 edges, 7512 markings/sec, 2405 secs
lola: 66 tries, 65130595 fired transitions, 2410 secs || 19962539 markings, 317655614 edges, 7499 markings/sec, 2410 secs
lola: 66 tries, 65267111 fired transitions, 2415 secs || 20000464 markings, 318314467 edges, 7585 markings/sec, 2415 secs
lola: 66 tries, 65403659 fired transitions, 2420 secs || 20038473 markings, 318972144 edges, 7602 markings/sec, 2420 secs
lola: 66 tries, 65540093 fired transitions, 2425 secs || 20076206 markings, 319629064 edges, 7547 markings/sec, 2425 secs
lola: 66 tries, 65676535 fired transitions, 2430 secs || 20113067 markings, 320265236 edges, 7372 markings/sec, 2430 secs
lola: 66 tries, 65812759 fired transitions, 2435 secs || 20146177 markings, 320840519 edges, 6622 markings/sec, 2435 secs
lola: 66 tries, 65949421 fired transitions, 2440 secs || 20184363 markings, 321500943 edges, 7637 markings/sec, 2440 secs
lola: 67 tries, 66086171 fired transitions, 2445 secs || 20224693 markings, 322169257 edges, 8066 markings/sec, 2445 secs
lola: 67 tries, 66222753 fired transitions, 2450 secs || 20263438 markings, 322837286 edges, 7749 markings/sec, 2450 secs
lola: 67 tries, 66359367 fired transitions, 2455 secs || 20302060 markings, 323506140 edges, 7724 markings/sec, 2455 secs
lola: 67 tries, 66495731 fired transitions, 2460 secs || 20340842 markings, 324172481 edges, 7756 markings/sec, 2460 secs
lola: 67 tries, 66632239 fired transitions, 2465 secs || 20380054 markings, 324835337 edges, 7842 markings/sec, 2465 secs
lola: 67 tries, 66768797 fired transitions, 2470 secs || 20418242 markings, 325503084 edges, 7638 markings/sec, 2470 secs
lola: 67 tries, 66905363 fired transitions, 2475 secs || 20456864 markings, 326170296 edges, 7724 markings/sec, 2475 secs
lola: 68 tries, 67041975 fired transitions, 2480 secs || 20495338 markings, 326834220 edges, 7695 markings/sec, 2480 secs
lola: 68 tries, 67178461 fired transitions, 2485 secs || 20533570 markings, 327497095 edges, 7646 markings/sec, 2485 secs
lola: 68 tries, 67315075 fired transitions, 2490 secs || 20571544 markings, 328159989 edges, 7595 markings/sec, 2490 secs
lola: 68 tries, 67451371 fired transitions, 2495 secs || 20609827 markings, 328824568 edges, 7657 markings/sec, 2495 secs
lola: 68 tries, 67587533 fired transitions, 2500 secs || 20647895 markings, 329488652 edges, 7614 markings/sec, 2500 secs
lola: 68 tries, 67723965 fired transitions, 2505 secs || 20687180 markings, 330152539 edges, 7857 markings/sec, 2505 secs
lola: 68 tries, 67860437 fired transitions, 2510 secs || 20725531 markings, 330816372 edges, 7670 markings/sec, 2510 secs
lola: 68 tries, 67996973 fired transitions, 2515 secs || 20764039 markings, 331482801 edges, 7702 markings/sec, 2515 secs
lola: 69 tries, 68133595 fired transitions, 2520 secs || 20803993 markings, 332143843 edges, 7991 markings/sec, 2520 secs
lola: 69 tries, 68270175 fired transitions, 2525 secs || 20841999 markings, 332804033 edges, 7601 markings/sec, 2525 secs
lola: 69 tries, 68406701 fired transitions, 2530 secs || 20879568 markings, 333456218 edges, 7514 markings/sec, 2530 secs
lola: 69 tries, 68543299 fired transitions, 2535 secs || 20918152 markings, 334109456 edges, 7717 markings/sec, 2535 secs
lola: 69 tries, 68679869 fired transitions, 2540 secs || 20956041 markings, 334769679 edges, 7578 markings/sec, 2540 secs
lola: 69 tries, 68816447 fired transitions, 2545 secs || 20993596 markings, 335428307 edges, 7511 markings/sec, 2545 secs
lola: 69 tries, 68952787 fired transitions, 2550 secs || 21031329 markings, 336084440 edges, 7547 markings/sec, 2550 secs
lola: 70 tries, 69089279 fired transitions, 2555 secs || 21070008 markings, 336740260 edges, 7736 markings/sec, 2555 secs
lola: 70 tries, 69225825 fired transitions, 2560 secs || 21109114 markings, 337403370 edges, 7821 markings/sec, 2560 secs
lola: 70 tries, 69362371 fired transitions, 2565 secs || 21147658 markings, 338066579 edges, 7709 markings/sec, 2565 secs
lola: 70 tries, 69498969 fired transitions, 2570 secs || 21185996 markings, 338734310 edges, 7668 markings/sec, 2570 secs
lola: 70 tries, 69635529 fired transitions, 2575 secs || 21224181 markings, 339397325 edges, 7637 markings/sec, 2575 secs
lola: 70 tries, 69771979 fired transitions, 2580 secs || 21262483 markings, 340062746 edges, 7660 markings/sec, 2580 secs
lola: 70 tries, 69908670 fired transitions, 2585 secs || 21300570 markings, 340725667 edges, 7617 markings/sec, 2585 secs
lola: 71 tries, 70045300 fired transitions, 2590 secs || 21339516 markings, 341384150 edges, 7789 markings/sec, 2590 secs
lola: 71 tries, 70181947 fired transitions, 2595 secs || 21377948 markings, 342047329 edges, 7686 markings/sec, 2595 secs
lola: 71 tries, 70318563 fired transitions, 2600 secs || 21416135 markings, 342713927 edges, 7637 markings/sec, 2600 secs
lola: 71 tries, 70455103 fired transitions, 2605 secs || 21454534 markings, 343381746 edges, 7680 markings/sec, 2605 secs
lola: 71 tries, 70591759 fired transitions, 2610 secs || 21492536 markings, 344060505 edges, 7600 markings/sec, 2610 secs
lola: 71 tries, 70728347 fired transitions, 2615 secs || 21530512 markings, 344732666 edges, 7595 markings/sec, 2615 secs
lola: 71 tries, 70864785 fired transitions, 2620 secs || 21569775 markings, 345398568 edges, 7853 markings/sec, 2620 secs
lola: 72 tries, 71000783 fired transitions, 2625 secs || 21608599 markings, 346063792 edges, 7765 markings/sec, 2625 secs
lola: 72 tries, 71137103 fired transitions, 2630 secs || 21647358 markings, 346728042 edges, 7752 markings/sec, 2630 secs
lola: 72 tries, 71273417 fired transitions, 2635 secs || 21685267 markings, 347389375 edges, 7582 markings/sec, 2635 secs
lola: 72 tries, 71409435 fired transitions, 2640 secs || 21723293 markings, 348053154 edges, 7605 markings/sec, 2640 secs
lola: 72 tries, 71545483 fired transitions, 2645 secs || 21761322 markings, 348713693 edges, 7606 markings/sec, 2645 secs
lola: 72 tries, 71681523 fired transitions, 2650 secs || 21800946 markings, 349375806 edges, 7925 markings/sec, 2650 secs
lola: 72 tries, 71817579 fired transitions, 2655 secs || 21840116 markings, 350046645 edges, 7834 markings/sec, 2655 secs
lola: 72 tries, 71953765 fired transitions, 2660 secs || 21878877 markings, 350720557 edges, 7752 markings/sec, 2660 secs
lola: 73 tries, 72089753 fired transitions, 2665 secs || 21918042 markings, 351393481 edges, 7833 markings/sec, 2665 secs
lola: 73 tries, 72225793 fired transitions, 2670 secs || 21956627 markings, 352065663 edges, 7717 markings/sec, 2670 secs
lola: 73 tries, 72361769 fired transitions, 2675 secs || 21994817 markings, 352731395 edges, 7638 markings/sec, 2675 secs
lola: 73 tries, 72497811 fired transitions, 2680 secs || 22033362 markings, 353399813 edges, 7709 markings/sec, 2680 secs
lola: 73 tries, 72633959 fired transitions, 2685 secs || 22071299 markings, 354059689 edges, 7587 markings/sec, 2685 secs
lola: 73 tries, 72770101 fired transitions, 2690 secs || 22109797 markings, 354731372 edges, 7700 markings/sec, 2690 secs
lola: 73 tries, 72906105 fired transitions, 2695 secs || 22148137 markings, 355399464 edges, 7668 markings/sec, 2695 secs
lola: 74 tries, 73042379 fired transitions, 2700 secs || 22186160 markings, 356064838 edges, 7605 markings/sec, 2700 secs
lola: 74 tries, 73178697 fired transitions, 2705 secs || 22224437 markings, 356728875 edges, 7655 markings/sec, 2705 secs
lola: 74 tries, 73314891 fired transitions, 2710 secs || 22262351 markings, 357391767 edges, 7583 markings/sec, 2710 secs
lola: 74 tries, 73451045 fired transitions, 2715 secs || 22300544 markings, 358053118 edges, 7639 markings/sec, 2715 secs
lola: 74 tries, 73587007 fired transitions, 2720 secs || 22338954 markings, 358714364 edges, 7682 markings/sec, 2720 secs
lola: 74 tries, 73723117 fired transitions, 2725 secs || 22378734 markings, 359386681 edges, 7956 markings/sec, 2725 secs
lola: 74 tries, 73859217 fired transitions, 2730 secs || 22416362 markings, 360042701 edges, 7526 markings/sec, 2730 secs
lola: 74 tries, 73995231 fired transitions, 2735 secs || 22453855 markings, 360698641 edges, 7499 markings/sec, 2735 secs
lola: 75 tries, 74131345 fired transitions, 2740 secs || 22491479 markings, 361355034 edges, 7525 markings/sec, 2740 secs
lola: 75 tries, 74267399 fired transitions, 2745 secs || 22529570 markings, 362010255 edges, 7618 markings/sec, 2745 secs
lola: 75 tries, 74403515 fired transitions, 2750 secs || 22567736 markings, 362661240 edges, 7633 markings/sec, 2750 secs
lola: 75 tries, 74539607 fired transitions, 2755 secs || 22606553 markings, 363324322 edges, 7763 markings/sec, 2755 secs
lola: 75 tries, 74675667 fired transitions, 2760 secs || 22645007 markings, 363992956 edges, 7691 markings/sec, 2760 secs
lola: 75 tries, 74811681 fired transitions, 2765 secs || 22683881 markings, 364667386 edges, 7775 markings/sec, 2765 secs
lola: 75 tries, 74947639 fired transitions, 2770 secs || 22722973 markings, 365344333 edges, 7818 markings/sec, 2770 secs
lola: 76 tries, 75083743 fired transitions, 2775 secs || 22762235 markings, 366014940 edges, 7852 markings/sec, 2775 secs
lola: 76 tries, 75219774 fired transitions, 2780 secs || 22800048 markings, 366675320 edges, 7563 markings/sec, 2780 secs
lola: 76 tries, 75355781 fired transitions, 2785 secs || 22837738 markings, 367330445 edges, 7538 markings/sec, 2785 secs
lola: 76 tries, 75491822 fired transitions, 2790 secs || 22876157 markings, 367988420 edges, 7684 markings/sec, 2790 secs
lola: 76 tries, 75627895 fired transitions, 2795 secs || 22915310 markings, 368649334 edges, 7831 markings/sec, 2795 secs
lola: 76 tries, 75763901 fired transitions, 2800 secs || 22954112 markings, 369318986 edges, 7760 markings/sec, 2800 secs
lola: 76 tries, 75899960 fired transitions, 2805 secs || 22992881 markings, 369986474 edges, 7754 markings/sec, 2805 secs
lola: 77 tries, 76036058 fired transitions, 2810 secs || 23031012 markings, 370649957 edges, 7626 markings/sec, 2810 secs
lola: 77 tries, 76172105 fired transitions, 2815 secs || 23070117 markings, 371311621 edges, 7821 markings/sec, 2815 secs
lola: 77 tries, 76308091 fired transitions, 2820 secs || 23109355 markings, 371978916 edges, 7848 markings/sec, 2820 secs
lola: 77 tries, 76444199 fired transitions, 2825 secs || 23147914 markings, 372647119 edges, 7712 markings/sec, 2825 secs
lola: 77 tries, 76580203 fired transitions, 2830 secs || 23186445 markings, 373315366 edges, 7706 markings/sec, 2830 secs
lola: 77 tries, 76716217 fired transitions, 2835 secs || 23225225 markings, 373981800 edges, 7756 markings/sec, 2835 secs
lola: 77 tries, 76852255 fired transitions, 2840 secs || 23264136 markings, 374645684 edges, 7782 markings/sec, 2840 secs
lola: 77 tries, 76988309 fired transitions, 2845 secs || 23301955 markings, 375303790 edges, 7564 markings/sec, 2845 secs
lola: 78 tries, 77124461 fired transitions, 2850 secs || 23340316 markings, 375963796 edges, 7672 markings/sec, 2850 secs
lola: 78 tries, 77260577 fired transitions, 2855 secs || 23378554 markings, 376630994 edges, 7648 markings/sec, 2855 secs
lola: 78 tries, 77396581 fired transitions, 2860 secs || 23417502 markings, 377296809 edges, 7790 markings/sec, 2860 secs
lola: 78 tries, 77532725 fired transitions, 2865 secs || 23456657 markings, 377964808 edges, 7831 markings/sec, 2865 secs
lola: 78 tries, 77668845 fired transitions, 2870 secs || 23495854 markings, 378626402 edges, 7839 markings/sec, 2870 secs
lola: 78 tries, 77804925 fired transitions, 2875 secs || 23534737 markings, 379293359 edges, 7777 markings/sec, 2875 secs
lola: 78 tries, 77941091 fired transitions, 2880 secs || 23572938 markings, 379956375 edges, 7640 markings/sec, 2880 secs
lola: 79 tries, 78077253 fired transitions, 2885 secs || 23610559 markings, 380614905 edges, 7524 markings/sec, 2885 secs
lola: 79 tries, 78213429 fired transitions, 2890 secs || 23648251 markings, 381270854 edges, 7538 markings/sec, 2890 secs
lola: 79 tries, 78349575 fired transitions, 2895 secs || 23686035 markings, 381925815 edges, 7557 markings/sec, 2895 secs
lola: 79 tries, 78485743 fired transitions, 2900 secs || 23723557 markings, 382579321 edges, 7504 markings/sec, 2900 secs
lola: 79 tries, 78621853 fired transitions, 2905 secs || 23762633 markings, 383243752 edges, 7815 markings/sec, 2905 secs
lola: 79 tries, 78757963 fired transitions, 2910 secs || 23800705 markings, 383904779 edges, 7614 markings/sec, 2910 secs
lola: 79 tries, 78894055 fired transitions, 2915 secs || 23838316 markings, 384564898 edges, 7522 markings/sec, 2915 secs
lola: 80 tries, 79030111 fired transitions, 2920 secs || 23876129 markings, 385226948 edges, 7563 markings/sec, 2920 secs
lola: 80 tries, 79166011 fired transitions, 2925 secs || 23913980 markings, 385886440 edges, 7570 markings/sec, 2925 secs
lola: 80 tries, 79302027 fired transitions, 2930 secs || 23952209 markings, 386545781 edges, 7646 markings/sec, 2930 secs
lola: 80 tries, 79438041 fired transitions, 2935 secs || 23989869 markings, 387203390 edges, 7532 markings/sec, 2935 secs
lola: 80 tries, 79573981 fired transitions, 2940 secs || 24027467 markings, 387861170 edges, 7520 markings/sec, 2940 secs
lola: 80 tries, 79709987 fired transitions, 2945 secs || 24065911 markings, 388521669 edges, 7689 markings/sec, 2945 secs
lola: 80 tries, 79846076 fired transitions, 2950 secs || 24103717 markings, 389180815 edges, 7561 markings/sec, 2950 secs
lola: 80 tries, 79982183 fired transitions, 2955 secs || 24141798 markings, 389838010 edges, 7616 markings/sec, 2955 secs
lola: 81 tries, 80118347 fired transitions, 2960 secs || 24179460 markings, 390495942 edges, 7532 markings/sec, 2960 secs
lola: 81 tries, 80254477 fired transitions, 2965 secs || 24217189 markings, 391151838 edges, 7546 markings/sec, 2965 secs
lola: 81 tries, 80390650 fired transitions, 2970 secs || 24254680 markings, 391808085 edges, 7498 markings/sec, 2970 secs
lola: 81 tries, 80526699 fired transitions, 2975 secs || 24292434 markings, 392463726 edges, 7551 markings/sec, 2975 secs
lola: 81 tries, 80662779 fired transitions, 2980 secs || 24329992 markings, 393117640 edges, 7512 markings/sec, 2980 secs
lola: 81 tries, 80798879 fired transitions, 2985 secs || 24367533 markings, 393770835 edges, 7508 markings/sec, 2985 secs
lola: 81 tries, 80935009 fired transitions, 2990 secs || 24404862 markings, 394424880 edges, 7466 markings/sec, 2990 secs
lola: 82 tries, 81071033 fired transitions, 2995 secs || 24442205 markings, 395077625 edges, 7469 markings/sec, 2995 secs
lola: 82 tries, 81207127 fired transitions, 3000 secs || 24479556 markings, 395729543 edges, 7470 markings/sec, 3000 secs
lola: 82 tries, 81343175 fired transitions, 3005 secs || 24516921 markings, 396380549 edges, 7473 markings/sec, 3005 secs
lola: 82 tries, 81479247 fired transitions, 3010 secs || 24554737 markings, 397032299 edges, 7563 markings/sec, 3010 secs
lola: 82 tries, 81615297 fired transitions, 3015 secs || 24592505 markings, 397691909 edges, 7554 markings/sec, 3015 secs
lola: 82 tries, 81751369 fired transitions, 3020 secs || 24630350 markings, 398347294 edges, 7569 markings/sec, 3020 secs
lola: 82 tries, 81887471 fired transitions, 3025 secs || 24668838 markings, 399011197 edges, 7698 markings/sec, 3025 secs
lola: 83 tries, 82023603 fired transitions, 3030 secs || 24707072 markings, 399678705 edges, 7647 markings/sec, 3030 secs
lola: 83 tries, 82159667 fired transitions, 3035 secs || 24744368 markings, 400353891 edges, 7459 markings/sec, 3035 secs
lola: 83 tries, 82295691 fired transitions, 3040 secs || 24783638 markings, 401006172 edges, 7854 markings/sec, 3040 secs
lola: 83 tries, 82431763 fired transitions, 3045 secs || 24821644 markings, 401676447 edges, 7601 markings/sec, 3045 secs
lola: 83 tries, 82567827 fired transitions, 3050 secs || 24860491 markings, 402338664 edges, 7769 markings/sec, 3050 secs
lola: 83 tries, 82703892 fired transitions, 3055 secs || 24898149 markings, 402998575 edges, 7532 markings/sec, 3055 secs
lola: 83 tries, 82839922 fired transitions, 3060 secs || 24935495 markings, 403661326 edges, 7469 markings/sec, 3060 secs
lola: 83 tries, 82976063 fired transitions, 3065 secs || 24972403 markings, 404332380 edges, 7382 markings/sec, 3065 secs
lola: 84 tries, 83112065 fired transitions, 3070 secs || 25009778 markings, 405004027 edges, 7475 markings/sec, 3070 secs
lola: 84 tries, 83248060 fired transitions, 3075 secs || 25049468 markings, 405658707 edges, 7938 markings/sec, 3075 secs
lola: 84 tries, 83384113 fired transitions, 3080 secs || 25086606 markings, 406325502 edges, 7428 markings/sec, 3080 secs
lola: 84 tries, 83520103 fired transitions, 3085 secs || 25124174 markings, 406990132 edges, 7514 markings/sec, 3085 secs
lola: 84 tries, 83656085 fired transitions, 3090 secs || 25160104 markings, 407656933 edges, 7186 markings/sec, 3090 secs
lola: 84 tries, 83792043 fired transitions, 3095 secs || 25196828 markings, 408314660 edges, 7345 markings/sec, 3095 secs
lola: 84 tries, 83927843 fired transitions, 3100 secs || 25233114 markings, 408971280 edges, 7257 markings/sec, 3100 secs
lola: 85 tries, 84063763 fired transitions, 3105 secs || 25268762 markings, 409632955 edges, 7130 markings/sec, 3105 secs
lola: 85 tries, 84199756 fired transitions, 3110 secs || 25305349 markings, 410285534 edges, 7317 markings/sec, 3110 secs
lola: 85 tries, 84335761 fired transitions, 3115 secs || 25342758 markings, 410949896 edges, 7482 markings/sec, 3115 secs
lola: 85 tries, 84471921 fired transitions, 3120 secs || 25380295 markings, 411615829 edges, 7507 markings/sec, 3120 secs
lola: 85 tries, 84607997 fired transitions, 3125 secs || 25417150 markings, 412283892 edges, 7371 markings/sec, 3125 secs
lola: 85 tries, 84744023 fired transitions, 3130 secs || 25454829 markings, 412947009 edges, 7536 markings/sec, 3130 secs
lola: 85 tries, 84880171 fired transitions, 3135 secs || 25492769 markings, 413612877 edges, 7588 markings/sec, 3135 secs
lola: 86 tries, 85016271 fired transitions, 3140 secs || 25530150 markings, 414277955 edges, 7476 markings/sec, 3140 secs
lola: 86 tries, 85152241 fired transitions, 3145 secs || 25567050 markings, 414938015 edges, 7380 markings/sec, 3145 secs
lola: 86 tries, 85288289 fired transitions, 3150 secs || 25604314 markings, 415600062 edges, 7453 markings/sec, 3150 secs
lola: 86 tries, 85424205 fired transitions, 3155 secs || 25642246 markings, 416262737 edges, 7586 markings/sec, 3155 secs
lola: 86 tries, 85560313 fired transitions, 3160 secs || 25679043 markings, 416931849 edges, 7359 markings/sec, 3160 secs
lola: 86 tries, 85696283 fired transitions, 3165 secs || 25717541 markings, 417587892 edges, 7700 markings/sec, 3165 secs
lola: 86 tries, 85832329 fired transitions, 3170 secs || 25756162 markings, 418246633 edges, 7724 markings/sec, 3170 secs
lola: 86 tries, 85968411 fired transitions, 3175 secs || 25793619 markings, 418913291 edges, 7491 markings/sec, 3175 secs
lola: 87 tries, 86104579 fired transitions, 3180 secs || 25831083 markings, 419576065 edges, 7493 markings/sec, 3180 secs
lola: 87 tries, 86240687 fired transitions, 3185 secs || 25868515 markings, 420239669 edges, 7486 markings/sec, 3185 secs
lola: 87 tries, 86376721 fired transitions, 3190 secs || 25904999 markings, 420896509 edges, 7297 markings/sec, 3190 secs
lola: 87 tries, 86512721 fired transitions, 3195 secs || 25940573 markings, 421559654 edges, 7115 markings/sec, 3195 secs
lola: 87 tries, 86648759 fired transitions, 3200 secs || 25975562 markings, 422218951 edges, 6998 markings/sec, 3200 secs
lola: 87 tries, 86784717 fired transitions, 3205 secs || 26011048 markings, 422878623 edges, 7097 markings/sec, 3205 secs
lola: 87 tries, 86920633 fired transitions, 3210 secs || 26045412 markings, 423538727 edges, 6873 markings/sec, 3210 secs
lola: 88 tries, 87056639 fired transitions, 3215 secs || 26083452 markings, 424200568 edges, 7608 markings/sec, 3215 secs
lola: 88 tries, 87192729 fired transitions, 3220 secs || 26120711 markings, 424865727 edges, 7452 markings/sec, 3220 secs
lola: 88 tries, 87328743 fired transitions, 3225 secs || 26157099 markings, 425530207 edges, 7278 markings/sec, 3225 secs
lola: 88 tries, 87464873 fired transitions, 3230 secs || 26193678 markings, 426195783 edges, 7316 markings/sec, 3230 secs
lola: 88 tries, 87600895 fired transitions, 3235 secs || 26232496 markings, 426870158 edges, 7764 markings/sec, 3235 secs
lola: 88 tries, 87737035 fired transitions, 3240 secs || 26271403 markings, 427544590 edges, 7781 markings/sec, 3240 secs
lola: 88 tries, 87873173 fired transitions, 3245 secs || 26311323 markings, 428217660 edges, 7984 markings/sec, 3245 secs
lola: 89 tries, 88009281 fired transitions, 3250 secs || 26349655 markings, 428887106 edges, 7666 markings/sec, 3250 secs
lola: 89 tries, 88145302 fired transitions, 3255 secs || 26388819 markings, 429562304 edges, 7833 markings/sec, 3255 secs
lola: 89 tries, 88281391 fired transitions, 3260 secs || 26427370 markings, 430235875 edges, 7710 markings/sec, 3260 secs
lola: 89 tries, 88417517 fired transitions, 3265 secs || 26466578 markings, 430909167 edges, 7842 markings/sec, 3265 secs
lola: 89 tries, 88553573 fired transitions, 3270 secs || 26505646 markings, 431582396 edges, 7814 markings/sec, 3270 secs
lola: 89 tries, 88689557 fired transitions, 3275 secs || 26544431 markings, 432256821 edges, 7757 markings/sec, 3275 secs
lola: 89 tries, 88825603 fired transitions, 3280 secs || 26583979 markings, 432927714 edges, 7910 markings/sec, 3280 secs
lola: 89 tries, 88961655 fired transitions, 3285 secs || 26622759 markings, 433600543 edges, 7756 markings/sec, 3285 secs
lola: 90 tries, 89097733 fired transitions, 3290 secs || 26661143 markings, 434270526 edges, 7677 markings/sec, 3290 secs
lola: 90 tries, 89233737 fired transitions, 3295 secs || 26699569 markings, 434941562 edges, 7685 markings/sec, 3295 secs
lola: 90 tries, 89369785 fired transitions, 3300 secs || 26737884 markings, 435610980 edges, 7663 markings/sec, 3300 secs
lola: 90 tries, 89505779 fired transitions, 3305 secs || 26776163 markings, 436279560 edges, 7656 markings/sec, 3305 secs
lola: 90 tries, 89641731 fired transitions, 3310 secs || 26814679 markings, 436944949 edges, 7703 markings/sec, 3310 secs
lola: 90 tries, 89777816 fired transitions, 3315 secs || 26853689 markings, 437615713 edges, 7802 markings/sec, 3315 secs
lola: 90 tries, 89913941 fired transitions, 3320 secs || 26892065 markings, 438282466 edges, 7675 markings/sec, 3320 secs
lola: 91 tries, 90050022 fired transitions, 3325 secs || 26930906 markings, 438954970 edges, 7768 markings/sec, 3325 secs
lola: 91 tries, 90186031 fired transitions, 3330 secs || 26969628 markings, 439628158 edges, 7744 markings/sec, 3330 secs
lola: 91 tries, 90322069 fired transitions, 3335 secs || 27008282 markings, 440300393 edges, 7731 markings/sec, 3335 secs
lola: 91 tries, 90458177 fired transitions, 3340 secs || 27046980 markings, 440970499 edges, 7740 markings/sec, 3340 secs
lola: 91 tries, 90594295 fired transitions, 3345 secs || 27085155 markings, 441636816 edges, 7635 markings/sec, 3345 secs
lola: 91 tries, 90730423 fired transitions, 3350 secs || 27123461 markings, 442297207 edges, 7661 markings/sec, 3350 secs
lola: 91 tries, 90866497 fired transitions, 3355 secs || 27161529 markings, 442957098 edges, 7614 markings/sec, 3355 secs
lola: 92 tries, 91002525 fired transitions, 3360 secs || 27199702 markings, 443624379 edges, 7635 markings/sec, 3360 secs
lola: 92 tries, 91138603 fired transitions, 3365 secs || 27238243 markings, 444292775 edges, 7708 markings/sec, 3365 secs
lola: 92 tries, 91274687 fired transitions, 3370 secs || 27276947 markings, 444958246 edges, 7741 markings/sec, 3370 secs
lola: 92 tries, 91410727 fired transitions, 3375 secs || 27315081 markings, 445625279 edges, 7627 markings/sec, 3375 secs
lola: 92 tries, 91546803 fired transitions, 3380 secs || 27355058 markings, 446291441 edges, 7995 markings/sec, 3380 secs
lola: 92 tries, 91682791 fired transitions, 3385 secs || 27393412 markings, 446958526 edges, 7671 markings/sec, 3385 secs
lola: 92 tries, 91818619 fired transitions, 3390 secs || 27431970 markings, 447627932 edges, 7712 markings/sec, 3390 secs
lola: 92 tries, 91954561 fired transitions, 3395 secs || 27472279 markings, 448296005 edges, 8062 markings/sec, 3395 secs
lola: 93 tries, 92090543 fired transitions, 3400 secs || 27511171 markings, 448963941 edges, 7778 markings/sec, 3400 secs
lola: 93 tries, 92226599 fired transitions, 3405 secs || 27550041 markings, 449627962 edges, 7774 markings/sec, 3405 secs
lola: 93 tries, 92362671 fired transitions, 3410 secs || 27589137 markings, 450292639 edges, 7819 markings/sec, 3410 secs
lola: 93 tries, 92498775 fired transitions, 3415 secs || 27627726 markings, 450957138 edges, 7718 markings/sec, 3415 secs
lola: 93 tries, 92634775 fired transitions, 3420 secs || 27666564 markings, 451623745 edges, 7768 markings/sec, 3420 secs
lola: 93 tries, 92770781 fired transitions, 3425 secs || 27705115 markings, 452291200 edges, 7710 markings/sec, 3425 secs
lola: 93 tries, 92906877 fired transitions, 3430 secs || 27743803 markings, 452964903 edges, 7738 markings/sec, 3430 secs
lola: 94 tries, 93042969 fired transitions, 3435 secs || 27782261 markings, 453638509 edges, 7692 markings/sec, 3435 secs
lola: 94 tries, 93178753 fired transitions, 3440 secs || 27821099 markings, 454308436 edges, 7768 markings/sec, 3440 secs
lola: 94 tries, 93314653 fired transitions, 3445 secs || 27859858 markings, 454976463 edges, 7752 markings/sec, 3445 secs
lola: 94 tries, 93450665 fired transitions, 3450 secs || 27898940 markings, 455644348 edges, 7816 markings/sec, 3450 secs
lola: 94 tries, 93586731 fired transitions, 3455 secs || 27939889 markings, 456308881 edges, 8190 markings/sec, 3455 secs
lola: 94 tries, 93722687 fired transitions, 3460 secs || 27978161 markings, 456976940 edges, 7654 markings/sec, 3460 secs
lola: 94 tries, 93858721 fired transitions, 3465 secs || 28016973 markings, 457647005 edges, 7762 markings/sec, 3465 secs
lola: 94 tries, 93994775 fired transitions, 3470 secs || 28055192 markings, 458314194 edges, 7644 markings/sec, 3470 secs
lola: 95 tries, 94130777 fired transitions, 3475 secs || 28095271 markings, 458977721 edges, 8016 markings/sec, 3475 secs
lola: 95 tries, 94266837 fired transitions, 3480 secs || 28133514 markings, 459642145 edges, 7649 markings/sec, 3480 secs
lola: 95 tries, 94402893 fired transitions, 3485 secs || 28171985 markings, 460308468 edges, 7694 markings/sec, 3485 secs
lola: 95 tries, 94538977 fired transitions, 3490 secs || 28210300 markings, 460974254 edges, 7663 markings/sec, 3490 secs
lola: 95 tries, 94675073 fired transitions, 3495 secs || 28248952 markings, 461642109 edges, 7730 markings/sec, 3495 secs
lola: 95 tries, 94811101 fired transitions, 3500 secs || 28286530 markings, 462298636 edges, 7516 markings/sec, 3500 secs
lola: 95 tries, 94947095 fired transitions, 3505 secs || 28324463 markings, 462953762 edges, 7587 markings/sec, 3505 secs
lola: 96 tries, 95083105 fired transitions, 3510 secs || 28362944 markings, 463619774 edges, 7696 markings/sec, 3510 secs
lola: 96 tries, 95219151 fired transitions, 3515 secs || 28401285 markings, 464288438 edges, 7668 markings/sec, 3515 secs
lola: 96 tries, 95355261 fired transitions, 3520 secs || 28439988 markings, 464956235 edges, 7741 markings/sec, 3520 secs
lola: 96 tries, 95491273 fired transitions, 3525 secs || 28479025 markings, 465623571 edges, 7807 markings/sec, 3525 secs
lola: 96 tries, 95627291 fired transitions, 3530 secs || 28517437 markings, 466286469 edges, 7682 markings/sec, 3530 secs
lola: 96 tries, 95763307 fired transitions, 3535 secs || 28555938 markings, 466954955 edges, 7700 markings/sec, 3535 secs
lola: 96 tries, 95899359 fired transitions, 3540 secs || 28594432 markings, 467624322 edges, 7699 markings/sec, 3540 secs
lola: 97 tries, 96035375 fired transitions, 3545 secs || 28633000 markings, 468292184 edges, 7714 markings/sec, 3545 secs
lola: 97 tries, 96171439 fired transitions, 3550 secs || 28671577 markings, 468956637 edges, 7715 markings/sec, 3550 secs
lola: 97 tries, 96307455 fired transitions, 3555 secs || 28709846 markings, 469621367 edges, 7654 markings/sec, 3555 secs
lola: 97 tries, 96443460 fired transitions, 3560 secs || 28747941 markings, 470284310 edges, 7619 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 10177116 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 1552935992335

--------------------
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="Raft-PT-10"
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-3957"
echo " Executing tool lola"
echo " Input is Raft-PT-10, 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 r137-smll-155284909400075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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