Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.8K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 6 17:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D30N100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552578773195

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 15:52:53 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1981372,
"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": 13688,
"conflict_clusters": 900,
"places": 900,
"places_significant": 899,
"singleton_clusters": 0,
"transitions": 6844
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 7744/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 665416 fired transitions, 0 secs || 57003 markings, 309133 edges, 11401 markings/sec, 0 secs
lola: 2 tries, 1338996 fired transitions, 5 secs || 97256 markings, 629057 edges, 8051 markings/sec, 5 secs
lola: 3 tries, 2020539 fired transitions, 10 secs || 141946 markings, 947326 edges, 8938 markings/sec, 10 secs
lola: 3 tries, 2702695 fired transitions, 15 secs || 180728 markings, 1266389 edges, 7756 markings/sec, 15 secs
lola: 4 tries, 3383117 fired transitions, 20 secs || 223044 markings, 1583497 edges, 8463 markings/sec, 20 secs
lola: 5 tries, 4065422 fired transitions, 25 secs || 264141 markings, 1900340 edges, 8219 markings/sec, 25 secs
lola: 5 tries, 4748441 fired transitions, 30 secs || 306723 markings, 2218239 edges, 8516 markings/sec, 30 secs
lola: 6 tries, 5430476 fired transitions, 35 secs || 348894 markings, 2535170 edges, 8434 markings/sec, 35 secs
lola: 7 tries, 6168507 fired transitions, 40 secs || 389356 markings, 2850471 edges, 8092 markings/sec, 40 secs
lola: 8 tries, 7244978 fired transitions, 45 secs || 429739 markings, 3165108 edges, 8077 markings/sec, 45 secs
lola: 9 tries, 8203499 fired transitions, 50 secs || 474643 markings, 3479804 edges, 8981 markings/sec, 50 secs
lola: 9 tries, 8884967 fired transitions, 55 secs || 514399 markings, 3796526 edges, 7951 markings/sec, 55 secs
lola: 10 tries, 9566341 fired transitions, 60 secs || 556265 markings, 4111524 edges, 8373 markings/sec, 60 secs
lola: 11 tries, 10248189 fired transitions, 65 secs || 596760 markings, 4427314 edges, 8099 markings/sec, 65 secs
lola: 11 tries, 10933594 fired transitions, 70 secs || 638804 markings, 4740396 edges, 8409 markings/sec, 70 secs
lola: 12 tries, 11625407 fired transitions, 75 secs || 681251 markings, 5061151 edges, 8489 markings/sec, 75 secs
lola: 13 tries, 12316213 fired transitions, 80 secs || 722907 markings, 5381577 edges, 8331 markings/sec, 80 secs
lola: 14 tries, 13008237 fired transitions, 85 secs || 765475 markings, 5702117 edges, 8514 markings/sec, 85 secs
lola: 14 tries, 13700202 fired transitions, 90 secs || 807709 markings, 6022547 edges, 8447 markings/sec, 90 secs
lola: 15 tries, 14392133 fired transitions, 95 secs || 849424 markings, 6343180 edges, 8343 markings/sec, 95 secs
lola: 16 tries, 15134717 fired transitions, 100 secs || 891618 markings, 6661461 edges, 8439 markings/sec, 100 secs
lola: 17 tries, 16223666 fired transitions, 105 secs || 936625 markings, 6974826 edges, 9001 markings/sec, 105 secs
lola: 18 tries, 17196405 fired transitions, 110 secs || 974892 markings, 7296297 edges, 7653 markings/sec, 110 secs
lola: 18 tries, 17888088 fired transitions, 115 secs || 1017476 markings, 7616641 edges, 8517 markings/sec, 115 secs
lola: 19 tries, 18574095 fired transitions, 120 secs || 1058610 markings, 7937172 edges, 8227 markings/sec, 120 secs
lola: 20 tries, 19265954 fired transitions, 125 secs || 1101552 markings, 8257264 edges, 8588 markings/sec, 125 secs
lola: 20 tries, 19958803 fired transitions, 130 secs || 1143330 markings, 8576975 edges, 8356 markings/sec, 130 secs
lola: 21 tries, 20649509 fired transitions, 135 secs || 1183749 markings, 8891876 edges, 8084 markings/sec, 135 secs
lola: 22 tries, 21527311 fired transitions, 140 secs || 1225264 markings, 9208957 edges, 8303 markings/sec, 140 secs
lola: 23 tries, 22601633 fired transitions, 145 secs || 1268949 markings, 9529312 edges, 8737 markings/sec, 145 secs
lola: 24 tries, 23440802 fired transitions, 150 secs || 1310509 markings, 9850108 edges, 8312 markings/sec, 150 secs
lola: 25 tries, 24124184 fired transitions, 155 secs || 1353094 markings, 10169720 edges, 8517 markings/sec, 155 secs
lola: 25 tries, 24801277 fired transitions, 160 secs || 1395289 markings, 10488014 edges, 8439 markings/sec, 160 secs
lola: 26 tries, 25490763 fired transitions, 165 secs || 1436667 markings, 10806625 edges, 8276 markings/sec, 165 secs
lola: 27 tries, 26181492 fired transitions, 170 secs || 1479008 markings, 11125142 edges, 8468 markings/sec, 170 secs
lola: 27 tries, 26870254 fired transitions, 175 secs || 1522580 markings, 11443331 edges, 8714 markings/sec, 175 secs
lola: 28 tries, 27877634 fired transitions, 180 secs || 1561322 markings, 11763935 edges, 7748 markings/sec, 180 secs
lola: 29 tries, 28607941 fired transitions, 185 secs || 1604566 markings, 12083227 edges, 8649 markings/sec, 185 secs
lola: 30 tries, 29293886 fired transitions, 190 secs || 1646365 markings, 12403811 edges, 8360 markings/sec, 190 secs
lola: 30 tries, 29979163 fired transitions, 195 secs || 1689652 markings, 12723782 edges, 8657 markings/sec, 195 secs
lola: 31 tries, 30664557 fired transitions, 200 secs || 1731363 markings, 13042652 edges, 8342 markings/sec, 200 secs
lola: 32 tries, 31349550 fired transitions, 205 secs || 1772938 markings, 13358867 edges, 8315 markings/sec, 205 secs
lola: 33 tries, 32056438 fired transitions, 210 secs || 1813628 markings, 13676197 edges, 8138 markings/sec, 210 secs
lola: 34 tries, 33095003 fired transitions, 215 secs || 1855005 markings, 13995092 edges, 8275 markings/sec, 215 secs
lola: 34 tries, 33786514 fired transitions, 220 secs || 1897394 markings, 14313824 edges, 8478 markings/sec, 220 secs
lola: 35 tries, 34473669 fired transitions, 225 secs || 1939991 markings, 14629307 edges, 8519 markings/sec, 225 secs
lola: 36 tries, 35162148 fired transitions, 230 secs || 1979810 markings, 14945515 edges, 7964 markings/sec, 230 secs
lola: 36 tries, 35849822 fired transitions, 235 secs || 2023329 markings, 15260313 edges, 8704 markings/sec, 235 secs
lola: 37 tries, 36532765 fired transitions, 240 secs || 2064514 markings, 15575641 edges, 8237 markings/sec, 240 secs
lola: 38 tries, 37220878 fired transitions, 245 secs || 2105964 markings, 15893806 edges, 8290 markings/sec, 245 secs
lola: 38 tries, 37914412 fired transitions, 250 secs || 2147621 markings, 16211493 edges, 8331 markings/sec, 250 secs
lola: 39 tries, 38607905 fired transitions, 255 secs || 2190804 markings, 16532974 edges, 8637 markings/sec, 255 secs
lola: 40 tries, 39290644 fired transitions, 260 secs || 2232933 markings, 16852924 edges, 8426 markings/sec, 260 secs
lola: 40 tries, 39976182 fired transitions, 265 secs || 2273552 markings, 17171835 edges, 8124 markings/sec, 265 secs
lola: 41 tries, 40659964 fired transitions, 270 secs || 2316024 markings, 17488730 edges, 8494 markings/sec, 270 secs
lola: 42 tries, 41336369 fired transitions, 275 secs || 2357401 markings, 17807192 edges, 8275 markings/sec, 275 secs
lola: 43 tries, 42027801 fired transitions, 280 secs || 2399802 markings, 18126512 edges, 8480 markings/sec, 280 secs
lola: 43 tries, 42719565 fired transitions, 285 secs || 2442009 markings, 18445964 edges, 8441 markings/sec, 285 secs
lola: 44 tries, 43411685 fired transitions, 290 secs || 2482381 markings, 18761028 edges, 8074 markings/sec, 290 secs
lola: 45 tries, 44103904 fired transitions, 295 secs || 2524502 markings, 19079624 edges, 8424 markings/sec, 295 secs
lola: 45 tries, 44792078 fired transitions, 300 secs || 2566441 markings, 19391506 edges, 8388 markings/sec, 300 secs
lola: 46 tries, 45745805 fired transitions, 305 secs || 2608485 markings, 19706986 edges, 8409 markings/sec, 305 secs
lola: 47 tries, 46835497 fired transitions, 310 secs || 2649651 markings, 20020946 edges, 8233 markings/sec, 310 secs
lola: 48 tries, 47577796 fired transitions, 315 secs || 2690641 markings, 20338511 edges, 8198 markings/sec, 315 secs
lola: 49 tries, 48265434 fired transitions, 320 secs || 2732758 markings, 20653346 edges, 8423 markings/sec, 320 secs
lola: 49 tries, 48946371 fired transitions, 325 secs || 2772348 markings, 20973834 edges, 7918 markings/sec, 325 secs
lola: 50 tries, 49997403 fired transitions, 330 secs || 2816880 markings, 21293187 edges, 8906 markings/sec, 330 secs
lola: 51 tries, 50683928 fired transitions, 335 secs || 2858385 markings, 21612106 edges, 8301 markings/sec, 335 secs
lola: 52 tries, 51370347 fired transitions, 340 secs || 2900380 markings, 21927089 edges, 8399 markings/sec, 340 secs
lola: 53 tries, 52050903 fired transitions, 345 secs || 2942253 markings, 22246375 edges, 8375 markings/sec, 345 secs
lola: 53 tries, 52740572 fired transitions, 350 secs || 2986546 markings, 22563680 edges, 8859 markings/sec, 350 secs
lola: 54 tries, 53431869 fired transitions, 355 secs || 3025422 markings, 22883896 edges, 7775 markings/sec, 355 secs
lola: 55 tries, 54195982 fired transitions, 360 secs || 3068244 markings, 23202287 edges, 8564 markings/sec, 360 secs
lola: 56 tries, 55173453 fired transitions, 365 secs || 3110662 markings, 23517154 edges, 8484 markings/sec, 365 secs
lola: 56 tries, 55853853 fired transitions, 370 secs || 3151026 markings, 23834623 edges, 8073 markings/sec, 370 secs
lola: 57 tries, 56541362 fired transitions, 375 secs || 3195414 markings, 24148119 edges, 8878 markings/sec, 375 secs
lola: 58 tries, 57363837 fired transitions, 380 secs || 3233931 markings, 24460860 edges, 7703 markings/sec, 380 secs
lola: 59 tries, 58277979 fired transitions, 385 secs || 3274378 markings, 24776104 edges, 8089 markings/sec, 385 secs
lola: 59 tries, 58962927 fired transitions, 390 secs || 3315944 markings, 25089590 edges, 8313 markings/sec, 390 secs
lola: 60 tries, 59653603 fired transitions, 395 secs || 3357328 markings, 25407255 edges, 8277 markings/sec, 395 secs
lola: 61 tries, 60344498 fired transitions, 400 secs || 3401199 markings, 25725683 edges, 8774 markings/sec, 400 secs
lola: 62 tries, 61036390 fired transitions, 405 secs || 3441907 markings, 26047965 edges, 8142 markings/sec, 405 secs
lola: 62 tries, 61725450 fired transitions, 410 secs || 3485110 markings, 26367863 edges, 8641 markings/sec, 410 secs
lola: 63 tries, 62416242 fired transitions, 415 secs || 3527055 markings, 26688578 edges, 8389 markings/sec, 415 secs
lola: 64 tries, 63171286 fired transitions, 420 secs || 3568025 markings, 27004501 edges, 8194 markings/sec, 420 secs
lola: 65 tries, 64172111 fired transitions, 425 secs || 3609616 markings, 27322402 edges, 8318 markings/sec, 425 secs
lola: 65 tries, 64864530 fired transitions, 430 secs || 3650956 markings, 27640640 edges, 8268 markings/sec, 430 secs
lola: 66 tries, 65556470 fired transitions, 435 secs || 3693782 markings, 27954943 edges, 8565 markings/sec, 435 secs
lola: 67 tries, 66246358 fired transitions, 440 secs || 3734693 markings, 28273146 edges, 8182 markings/sec, 440 secs
lola: 67 tries, 66936255 fired transitions, 445 secs || 3779995 markings, 28588113 edges, 9060 markings/sec, 445 secs
lola: 68 tries, 67623764 fired transitions, 450 secs || 3817422 markings, 28901780 edges, 7485 markings/sec, 450 secs
lola: 69 tries, 68494020 fired transitions, 455 secs || 3859092 markings, 29215659 edges, 8334 markings/sec, 455 secs
lola: 70 tries, 69367904 fired transitions, 460 secs || 3899101 markings, 29532427 edges, 8002 markings/sec, 460 secs
lola: 71 tries, 70044025 fired transitions, 465 secs || 3941309 markings, 29844130 edges, 8442 markings/sec, 465 secs
lola: 71 tries, 70723967 fired transitions, 470 secs || 3983485 markings, 30159583 edges, 8435 markings/sec, 470 secs
lola: 72 tries, 71414743 fired transitions, 475 secs || 4026850 markings, 30476905 edges, 8673 markings/sec, 475 secs
lola: 73 tries, 72107561 fired transitions, 480 secs || 4065537 markings, 30796301 edges, 7737 markings/sec, 480 secs
lola: 73 tries, 72797721 fired transitions, 485 secs || 4107349 markings, 31114024 edges, 8362 markings/sec, 485 secs
lola: 74 tries, 73486315 fired transitions, 490 secs || 4149842 markings, 31422490 edges, 8499 markings/sec, 490 secs
lola: 75 tries, 74177747 fired transitions, 495 secs || 4189679 markings, 31737286 edges, 7967 markings/sec, 495 secs
lola: 75 tries, 74865047 fired transitions, 500 secs || 4232132 markings, 32049355 edges, 8491 markings/sec, 500 secs
lola: 76 tries, 75870282 fired transitions, 505 secs || 4273393 markings, 32368977 edges, 8252 markings/sec, 505 secs
lola: 77 tries, 76949486 fired transitions, 510 secs || 4314268 markings, 32687582 edges, 8175 markings/sec, 510 secs
lola: 78 tries, 77649132 fired transitions, 515 secs || 4356632 markings, 33006349 edges, 8473 markings/sec, 515 secs
lola: 79 tries, 78339113 fired transitions, 520 secs || 4400235 markings, 33326959 edges, 8721 markings/sec, 520 secs
lola: 80 tries, 79031534 fired transitions, 525 secs || 4443137 markings, 33647480 edges, 8580 markings/sec, 525 secs
lola: 80 tries, 79722669 fired transitions, 530 secs || 4483077 markings, 33961150 edges, 7988 markings/sec, 530 secs
lola: 81 tries, 80410462 fired transitions, 535 secs || 4524726 markings, 34275690 edges, 8330 markings/sec, 535 secs
lola: 82 tries, 81092011 fired transitions, 540 secs || 4565556 markings, 34588137 edges, 8166 markings/sec, 540 secs
lola: 82 tries, 81780103 fired transitions, 545 secs || 4607268 markings, 34901749 edges, 8342 markings/sec, 545 secs
lola: 83 tries, 82469805 fired transitions, 550 secs || 4651063 markings, 35213110 edges, 8759 markings/sec, 550 secs
lola: 84 tries, 83256818 fired transitions, 555 secs || 4689080 markings, 35532124 edges, 7603 markings/sec, 555 secs
lola: 85 tries, 84211700 fired transitions, 560 secs || 4732204 markings, 35849691 edges, 8625 markings/sec, 560 secs
lola: 85 tries, 84896180 fired transitions, 565 secs || 4773525 markings, 36164096 edges, 8264 markings/sec, 565 secs
lola: 86 tries, 85580615 fired transitions, 570 secs || 4814899 markings, 36481765 edges, 8275 markings/sec, 570 secs
lola: 87 tries, 86272925 fired transitions, 575 secs || 4856490 markings, 36798899 edges, 8318 markings/sec, 575 secs
lola: 87 tries, 86965663 fired transitions, 580 secs || 4898780 markings, 37117480 edges, 8458 markings/sec, 580 secs
lola: 89 tries, 88020543 fired transitions, 585 secs || 4940535 markings, 37435406 edges, 8351 markings/sec, 585 secs
lola: 89 tries, 88709225 fired transitions, 590 secs || 4981984 markings, 37748404 edges, 8290 markings/sec, 590 secs
lola: 90 tries, 89386679 fired transitions, 595 secs || 5021994 markings, 38059259 edges, 8002 markings/sec, 595 secs
lola: 91 tries, 90075425 fired transitions, 600 secs || 5061793 markings, 38373375 edges, 7960 markings/sec, 600 secs
lola: 91 tries, 90765100 fired transitions, 605 secs || 5104062 markings, 38682965 edges, 8454 markings/sec, 605 secs
lola: 92 tries, 91455974 fired transitions, 610 secs || 5146121 markings, 39001741 edges, 8412 markings/sec, 610 secs
lola: 93 tries, 92146837 fired transitions, 615 secs || 5188366 markings, 39317452 edges, 8449 markings/sec, 615 secs
lola: 93 tries, 92824691 fired transitions, 620 secs || 5227827 markings, 39632296 edges, 7892 markings/sec, 620 secs
lola: 94 tries, 93509332 fired transitions, 625 secs || 5271371 markings, 39951009 edges, 8709 markings/sec, 625 secs
lola: 95 tries, 94310015 fired transitions, 630 secs || 5311374 markings, 40269984 edges, 8001 markings/sec, 630 secs
lola: 96 tries, 95246274 fired transitions, 635 secs || 5353163 markings, 40586274 edges, 8358 markings/sec, 635 secs
lola: 96 tries, 95929111 fired transitions, 640 secs || 5394713 markings, 40905206 edges, 8310 markings/sec, 640 secs
lola: 97 tries, 96613018 fired transitions, 645 secs || 5438881 markings, 41224112 edges, 8834 markings/sec, 645 secs
lola: 98 tries, 97293382 fired transitions, 650 secs || 5480882 markings, 41543060 edges, 8400 markings/sec, 650 secs
lola: 98 tries, 97985816 fired transitions, 655 secs || 5523972 markings, 41858468 edges, 8618 markings/sec, 655 secs
lola: 100 tries, 99042417 fired transitions, 660 secs || 5566666 markings, 42175896 edges, 8539 markings/sec, 660 secs
lola: 100 tries, 99727595 fired transitions, 665 secs || 5604889 markings, 42495339 edges, 7645 markings/sec, 665 secs
lola: 101 tries, 100415415 fired transitions, 670 secs || 5646746 markings, 42811164 edges, 8371 markings/sec, 670 secs
lola: 102 tries, 101106116 fired transitions, 675 secs || 5688593 markings, 43128597 edges, 8369 markings/sec, 675 secs
lola: 102 tries, 101793421 fired transitions, 680 secs || 5730272 markings, 43445499 edges, 8336 markings/sec, 680 secs
lola: 103 tries, 102485306 fired transitions, 685 secs || 5773133 markings, 43762409 edges, 8572 markings/sec, 685 secs
lola: 104 tries, 103176344 fired transitions, 690 secs || 5812390 markings, 44079880 edges, 7851 markings/sec, 690 secs
lola: 104 tries, 103868323 fired transitions, 695 secs || 5855839 markings, 44397133 edges, 8690 markings/sec, 695 secs
lola: 105 tries, 104891441 fired transitions, 700 secs || 5897945 markings, 44713528 edges, 8421 markings/sec, 700 secs
lola: 106 tries, 105616005 fired transitions, 705 secs || 5938985 markings, 45031975 edges, 8208 markings/sec, 705 secs
lola: 107 tries, 106299467 fired transitions, 710 secs || 5981780 markings, 45348468 edges, 8559 markings/sec, 710 secs
lola: 107 tries, 106991181 fired transitions, 715 secs || 6027157 markings, 45664859 edges, 9075 markings/sec, 715 secs
lola: 108 tries, 107684985 fired transitions, 720 secs || 6064705 markings, 45984708 edges, 7510 markings/sec, 720 secs
lola: 109 tries, 108376737 fired transitions, 725 secs || 6105316 markings, 46302088 edges, 8122 markings/sec, 725 secs
lola: 110 tries, 109063701 fired transitions, 730 secs || 6150454 markings, 46619161 edges, 9028 markings/sec, 730 secs
lola: 110 tries, 109756469 fired transitions, 735 secs || 6189140 markings, 46938187 edges, 7737 markings/sec, 735 secs
lola: 111 tries, 110448492 fired transitions, 740 secs || 6230638 markings, 47255526 edges, 8300 markings/sec, 740 secs
lola: 112 tries, 111214990 fired transitions, 745 secs || 6274638 markings, 47572252 edges, 8800 markings/sec, 745 secs
lola: 113 tries, 112193088 fired transitions, 750 secs || 6315827 markings, 47890221 edges, 8238 markings/sec, 750 secs
lola: 113 tries, 112883226 fired transitions, 755 secs || 6355627 markings, 48208109 edges, 7960 markings/sec, 755 secs
lola: 114 tries, 113572429 fired transitions, 760 secs || 6399227 markings, 48524140 edges, 8720 markings/sec, 760 secs
lola: 115 tries, 114264045 fired transitions, 765 secs || 6441653 markings, 48844124 edges, 8485 markings/sec, 765 secs
lola: 115 tries, 114957928 fired transitions, 770 secs || 6483785 markings, 49165196 edges, 8426 markings/sec, 770 secs
lola: 116 tries, 115651100 fired transitions, 775 secs || 6525750 markings, 49485073 edges, 8393 markings/sec, 775 secs
lola: 117 tries, 116342345 fired transitions, 780 secs || 6567487 markings, 49804941 edges, 8347 markings/sec, 780 secs
lola: 118 tries, 117035451 fired transitions, 785 secs || 6612586 markings, 50125265 edges, 9020 markings/sec, 785 secs
lola: 118 tries, 117722616 fired transitions, 790 secs || 6652354 markings, 50447627 edges, 7954 markings/sec, 790 secs
lola: 119 tries, 118415224 fired transitions, 795 secs || 6694081 markings, 50767971 edges, 8345 markings/sec, 795 secs
lola: 120 tries, 119100125 fired transitions, 800 secs || 6736498 markings, 51086444 edges, 8483 markings/sec, 800 secs
lola: 120 tries, 119794765 fired transitions, 805 secs || 6777923 markings, 51404991 edges, 8285 markings/sec, 805 secs
lola: 121 tries, 120487487 fired transitions, 810 secs || 6819658 markings, 51723161 edges, 8347 markings/sec, 810 secs
lola: 122 tries, 121181039 fired transitions, 815 secs || 6863030 markings, 52039902 edges, 8674 markings/sec, 815 secs
lola: 122 tries, 121872949 fired transitions, 820 secs || 6904016 markings, 52357850 edges, 8197 markings/sec, 820 secs
lola: 123 tries, 122567054 fired transitions, 825 secs || 6945031 markings, 52675846 edges, 8203 markings/sec, 825 secs
lola: 124 tries, 123251048 fired transitions, 830 secs || 6985700 markings, 52993392 edges, 8134 markings/sec, 830 secs
lola: 124 tries, 123942024 fired transitions, 835 secs || 7028811 markings, 53310277 edges, 8622 markings/sec, 835 secs
lola: 125 tries, 124633762 fired transitions, 840 secs || 7069250 markings, 53627618 edges, 8088 markings/sec, 840 secs
lola: 126 tries, 125498653 fired transitions, 845 secs || 7114598 markings, 53942295 edges, 9070 markings/sec, 845 secs
lola: 127 tries, 126370793 fired transitions, 850 secs || 7152182 markings, 54255675 edges, 7517 markings/sec, 850 secs
lola: 128 tries, 127057761 fired transitions, 855 secs || 7192668 markings, 54571598 edges, 8097 markings/sec, 855 secs
lola: 128 tries, 127743745 fired transitions, 860 secs || 7235647 markings, 54887640 edges, 8596 markings/sec, 860 secs
lola: 129 tries, 128430434 fired transitions, 865 secs || 7276867 markings, 55202845 edges, 8244 markings/sec, 865 secs
lola: 130 tries, 129115972 fired transitions, 870 secs || 7319773 markings, 55518026 edges, 8581 markings/sec, 870 secs
lola: 130 tries, 129802968 fired transitions, 875 secs || 7360979 markings, 55835285 edges, 8241 markings/sec, 875 secs
lola: 131 tries, 130772704 fired transitions, 880 secs || 7400793 markings, 56150862 edges, 7963 markings/sec, 880 secs
lola: 132 tries, 131541720 fired transitions, 885 secs || 7443376 markings, 56465404 edges, 8517 markings/sec, 885 secs
lola: 133 tries, 132227289 fired transitions, 890 secs || 7485777 markings, 56781830 edges, 8480 markings/sec, 890 secs
lola: 133 tries, 132912445 fired transitions, 895 secs || 7526309 markings, 57097006 edges, 8106 markings/sec, 895 secs
lola: 134 tries, 133597313 fired transitions, 900 secs || 7567838 markings, 57412112 edges, 8306 markings/sec, 900 secs
lola: 135 tries, 134443399 fired transitions, 905 secs || 7609263 markings, 57727453 edges, 8285 markings/sec, 905 secs
lola: 136 tries, 135332782 fired transitions, 910 secs || 7651368 markings, 58044183 edges, 8421 markings/sec, 910 secs
lola: 137 tries, 136013070 fired transitions, 915 secs || 7691315 markings, 58361326 edges, 7989 markings/sec, 915 secs
lola: 137 tries, 136693319 fired transitions, 920 secs || 7734134 markings, 58677611 edges, 8564 markings/sec, 920 secs
lola: 138 tries, 137374628 fired transitions, 925 secs || 7776418 markings, 58994621 edges, 8457 markings/sec, 925 secs
lola: 139 tries, 138067194 fired transitions, 930 secs || 7818136 markings, 59316210 edges, 8344 markings/sec, 930 secs
lola: 139 tries, 138758609 fired transitions, 935 secs || 7859864 markings, 59635575 edges, 8346 markings/sec, 935 secs
lola: 140 tries, 139448637 fired transitions, 940 secs || 7902831 markings, 59954559 edges, 8593 markings/sec, 940 secs
lola: 141 tries, 140129620 fired transitions, 945 secs || 7945417 markings, 60273421 edges, 8517 markings/sec, 945 secs
lola: 141 tries, 140812576 fired transitions, 950 secs || 7992577 markings, 60590618 edges, 9432 markings/sec, 950 secs
lola: 142 tries, 141498958 fired transitions, 955 secs || 8029117 markings, 60911808 edges, 7308 markings/sec, 955 secs
lola: 143 tries, 142185321 fired transitions, 960 secs || 8070902 markings, 61221493 edges, 8357 markings/sec, 960 secs
lola: 143 tries, 142871553 fired transitions, 965 secs || 8111201 markings, 61538605 edges, 8060 markings/sec, 965 secs
lola: 144 tries, 143557436 fired transitions, 970 secs || 8152400 markings, 61854736 edges, 8240 markings/sec, 970 secs
lola: 145 tries, 144231316 fired transitions, 975 secs || 8194785 markings, 62171054 edges, 8477 markings/sec, 975 secs
lola: 145 tries, 144921186 fired transitions, 980 secs || 8236176 markings, 62487739 edges, 8278 markings/sec, 980 secs
lola: 146 tries, 145962386 fired transitions, 985 secs || 8277789 markings, 62803937 edges, 8323 markings/sec, 985 secs
lola: 147 tries, 146660071 fired transitions, 990 secs || 8321314 markings, 63117993 edges, 8705 markings/sec, 990 secs
lola: 148 tries, 147345423 fired transitions, 995 secs || 8359364 markings, 63434200 edges, 7610 markings/sec, 995 secs
lola: 149 tries, 148030828 fired transitions, 1000 secs || 8403069 markings, 63743009 edges, 8741 markings/sec, 1000 secs
lola: 149 tries, 148723786 fired transitions, 1005 secs || 8441439 markings, 64059911 edges, 7674 markings/sec, 1005 secs
lola: 150 tries, 149416582 fired transitions, 1010 secs || 8482347 markings, 64376302 edges, 8182 markings/sec, 1010 secs
lola: 151 tries, 150109782 fired transitions, 1015 secs || 8526008 markings, 64692590 edges, 8732 markings/sec, 1015 secs
lola: 151 tries, 150803283 fired transitions, 1020 secs || 8566945 markings, 65008541 edges, 8187 markings/sec, 1020 secs
lola: 152 tries, 151496875 fired transitions, 1025 secs || 8609311 markings, 65322602 edges, 8473 markings/sec, 1025 secs
lola: 153 tries, 152190580 fired transitions, 1030 secs || 8649877 markings, 65637694 edges, 8113 markings/sec, 1030 secs
lola: 153 tries, 152884030 fired transitions, 1035 secs || 8691446 markings, 65953486 edges, 8314 markings/sec, 1035 secs
lola: 154 tries, 153576995 fired transitions, 1040 secs || 8733905 markings, 66269092 edges, 8492 markings/sec, 1040 secs
lola: 155 tries, 154269029 fired transitions, 1045 secs || 8773578 markings, 66586111 edges, 7935 markings/sec, 1045 secs
lola: 155 tries, 154960409 fired transitions, 1050 secs || 8815195 markings, 66901485 edges, 8323 markings/sec, 1050 secs
lola: 156 tries, 155645377 fired transitions, 1055 secs || 8862267 markings, 67216017 edges, 9414 markings/sec, 1055 secs
lola: 157 tries, 156335163 fired transitions, 1060 secs || 8899765 markings, 67534202 edges, 7500 markings/sec, 1060 secs
lola: 158 tries, 157025892 fired transitions, 1065 secs || 8940002 markings, 67849071 edges, 8047 markings/sec, 1065 secs
lola: 158 tries, 157718898 fired transitions, 1070 secs || 8980618 markings, 68165706 edges, 8123 markings/sec, 1070 secs
lola: 159 tries, 158412112 fired transitions, 1075 secs || 9024786 markings, 68482752 edges, 8834 markings/sec, 1075 secs
lola: 160 tries, 159104007 fired transitions, 1080 secs || 9064682 markings, 68799857 edges, 7979 markings/sec, 1080 secs
lola: 160 tries, 159792836 fired transitions, 1085 secs || 9105385 markings, 69107635 edges, 8141 markings/sec, 1085 secs
lola: 161 tries, 160484357 fired transitions, 1090 secs || 9146757 markings, 69423687 edges, 8274 markings/sec, 1090 secs
lola: 162 tries, 161176354 fired transitions, 1095 secs || 9190112 markings, 69740325 edges, 8671 markings/sec, 1095 secs
lola: 162 tries, 161869397 fired transitions, 1100 secs || 9231170 markings, 70053894 edges, 8212 markings/sec, 1100 secs
lola: 163 tries, 162561770 fired transitions, 1105 secs || 9272523 markings, 70367341 edges, 8271 markings/sec, 1105 secs
lola: 164 tries, 163254552 fired transitions, 1110 secs || 9313875 markings, 70681901 edges, 8270 markings/sec, 1110 secs
lola: 164 tries, 163948107 fired transitions, 1115 secs || 9352194 markings, 71000278 edges, 7664 markings/sec, 1115 secs
lola: 165 tries, 164641588 fired transitions, 1120 secs || 9397714 markings, 71320716 edges, 9104 markings/sec, 1120 secs
lola: 166 tries, 165335044 fired transitions, 1125 secs || 9439085 markings, 71637551 edges, 8274 markings/sec, 1125 secs
lola: 167 tries, 166026133 fired transitions, 1130 secs || 9478910 markings, 71956768 edges, 7965 markings/sec, 1130 secs
lola: 167 tries, 166719165 fired transitions, 1135 secs || 9521528 markings, 72275540 edges, 8524 markings/sec, 1135 secs
lola: 168 tries, 167654056 fired transitions, 1140 secs || 9566142 markings, 72591060 edges, 8923 markings/sec, 1140 secs
lola: 169 tries, 168475106 fired transitions, 1145 secs || 9607488 markings, 72912293 edges, 8269 markings/sec, 1145 secs
lola: 170 tries, 169266065 fired transitions, 1150 secs || 9649720 markings, 73230044 edges, 8446 markings/sec, 1150 secs
lola: 171 tries, 170227766 fired transitions, 1155 secs || 9692320 markings, 73546920 edges, 8520 markings/sec, 1155 secs
lola: 171 tries, 170917691 fired transitions, 1160 secs || 9733188 markings, 73864592 edges, 8174 markings/sec, 1160 secs
lola: 172 tries, 171611050 fired transitions, 1165 secs || 9775519 markings, 74181979 edges, 8466 markings/sec, 1165 secs
lola: 173 tries, 172296168 fired transitions, 1170 secs || 9816618 markings, 74499328 edges, 8220 markings/sec, 1170 secs
lola: 173 tries, 172986880 fired transitions, 1175 secs || 9857690 markings, 74816613 edges, 8214 markings/sec, 1175 secs
lola: 174 tries, 173678819 fired transitions, 1180 secs || 9897687 markings, 75133533 edges, 7999 markings/sec, 1180 secs
lola: 175 tries, 174370456 fired transitions, 1185 secs || 9940221 markings, 75447532 edges, 8507 markings/sec, 1185 secs
lola: 176 tries, 175090374 fired transitions, 1190 secs || 9982549 markings, 75758476 edges, 8466 markings/sec, 1190 secs
lola: 177 tries, 176111633 fired transitions, 1195 secs || 10022072 markings, 76069266 edges, 7905 markings/sec, 1195 secs
lola: 177 tries, 176789167 fired transitions, 1200 secs || 10064604 markings, 76382004 edges, 8506 markings/sec, 1200 secs
lola: 178 tries, 177475358 fired transitions, 1205 secs || 10104487 markings, 76698313 edges, 7977 markings/sec, 1205 secs
lola: 179 tries, 178163340 fired transitions, 1210 secs || 10147554 markings, 77013217 edges, 8613 markings/sec, 1210 secs
lola: 179 tries, 178847824 fired transitions, 1215 secs || 10192433 markings, 77327435 edges, 8976 markings/sec, 1215 secs
lola: 180 tries, 179527283 fired transitions, 1220 secs || 10229459 markings, 77641623 edges, 7405 markings/sec, 1220 secs
lola: 181 tries, 180214642 fired transitions, 1225 secs || 10269385 markings, 77950859 edges, 7985 markings/sec, 1225 secs
lola: 181 tries, 180907774 fired transitions, 1230 secs || 10314980 markings, 78266724 edges, 9119 markings/sec, 1230 secs
lola: 182 tries, 181600389 fired transitions, 1235 secs || 10352901 markings, 78585741 edges, 7584 markings/sec, 1235 secs
lola: 183 tries, 182292599 fired transitions, 1240 secs || 10393387 markings, 78902991 edges, 8097 markings/sec, 1240 secs
lola: 183 tries, 182985034 fired transitions, 1245 secs || 10434352 markings, 79220445 edges, 8193 markings/sec, 1245 secs
lola: 185 tries, 184040902 fired transitions, 1250 secs || 10478851 markings, 79537409 edges, 8900 markings/sec, 1250 secs
lola: 185 tries, 184722916 fired transitions, 1255 secs || 10519067 markings, 79854268 edges, 8043 markings/sec, 1255 secs
lola: 186 tries, 185658487 fired transitions, 1260 secs || 10563040 markings, 80170189 edges, 8795 markings/sec, 1260 secs
lola: 187 tries, 186749302 fired transitions, 1265 secs || 10605546 markings, 80479618 edges, 8501 markings/sec, 1265 secs
lola: 188 tries, 187534716 fired transitions, 1270 secs || 10643758 markings, 80798282 edges, 7642 markings/sec, 1270 secs
lola: 189 tries, 188229201 fired transitions, 1275 secs || 10684256 markings, 81115645 edges, 8100 markings/sec, 1275 secs
lola: 189 tries, 188923225 fired transitions, 1280 secs || 10726517 markings, 81432517 edges, 8452 markings/sec, 1280 secs
lola: 190 tries, 189616528 fired transitions, 1285 secs || 10774563 markings, 81748034 edges, 9609 markings/sec, 1285 secs
lola: 191 tries, 190310212 fired transitions, 1290 secs || 10811776 markings, 82067292 edges, 7443 markings/sec, 1290 secs
lola: 191 tries, 190993847 fired transitions, 1295 secs || 10852053 markings, 82382534 edges, 8055 markings/sec, 1295 secs
lola: 193 tries, 192057718 fired transitions, 1300 secs || 10892334 markings, 82696838 edges, 8056 markings/sec, 1300 secs
lola: 193 tries, 192751345 fired transitions, 1305 secs || 10935218 markings, 83011116 edges, 8577 markings/sec, 1305 secs
lola: 194 tries, 193445474 fired transitions, 1310 secs || 10977197 markings, 83330122 edges, 8396 markings/sec, 1310 secs
lola: 195 tries, 194139574 fired transitions, 1315 secs || 11018803 markings, 83647110 edges, 8321 markings/sec, 1315 secs
lola: 195 tries, 194821553 fired transitions, 1320 secs || 11061433 markings, 83962370 edges, 8526 markings/sec, 1320 secs
lola: 196 tries, 195507929 fired transitions, 1325 secs || 11101966 markings, 84277914 edges, 8107 markings/sec, 1325 secs
lola: 197 tries, 196195208 fired transitions, 1330 secs || 11142575 markings, 84594648 edges, 8122 markings/sec, 1330 secs
lola: 197 tries, 196887442 fired transitions, 1335 secs || 11186045 markings, 84913044 edges, 8694 markings/sec, 1335 secs
lola: 198 tries, 197581195 fired transitions, 1340 secs || 11226884 markings, 85233079 edges, 8168 markings/sec, 1340 secs
lola: 199 tries, 198437028 fired transitions, 1345 secs || 11269456 markings, 85547216 edges, 8514 markings/sec, 1345 secs
lola: 200 tries, 199339814 fired transitions, 1350 secs || 11311989 markings, 85867114 edges, 8507 markings/sec, 1350 secs
lola: 201 tries, 200034296 fired transitions, 1355 secs || 11351477 markings, 86188576 edges, 7898 markings/sec, 1355 secs
lola: 201 tries, 200728420 fired transitions, 1360 secs || 11399271 markings, 86506923 edges, 9559 markings/sec, 1360 secs
lola: 202 tries, 201669698 fired transitions, 1365 secs || 11438481 markings, 86829079 edges, 7842 markings/sec, 1365 secs
lola: 203 tries, 202484796 fired transitions, 1370 secs || 11480311 markings, 87148610 edges, 8366 markings/sec, 1370 secs
lola: 204 tries, 203179474 fired transitions, 1375 secs || 11521908 markings, 87467540 edges, 8319 markings/sec, 1375 secs
lola: 204 tries, 203873215 fired transitions, 1380 secs || 11563739 markings, 87781156 edges, 8366 markings/sec, 1380 secs
lola: 205 tries, 204567021 fired transitions, 1385 secs || 11605031 markings, 88097127 edges, 8258 markings/sec, 1385 secs
lola: 206 tries, 205260939 fired transitions, 1390 secs || 11644843 markings, 88413395 edges, 7962 markings/sec, 1390 secs
lola: 206 tries, 205953912 fired transitions, 1395 secs || 11686759 markings, 88726810 edges, 8383 markings/sec, 1395 secs
lola: 207 tries, 206646672 fired transitions, 1400 secs || 11729458 markings, 89043543 edges, 8540 markings/sec, 1400 secs
lola: 208 tries, 207340058 fired transitions, 1405 secs || 11770778 markings, 89360318 edges, 8264 markings/sec, 1405 secs
lola: 209 tries, 208031042 fired transitions, 1410 secs || 11812695 markings, 89674373 edges, 8383 markings/sec, 1410 secs
lola: 209 tries, 208721958 fired transitions, 1415 secs || 11853325 markings, 89990075 edges, 8126 markings/sec, 1415 secs
lola: 210 tries, 209410969 fired transitions, 1420 secs || 11899247 markings, 90304992 edges, 9184 markings/sec, 1420 secs
lola: 211 tries, 210104863 fired transitions, 1425 secs || 11937260 markings, 90623236 edges, 7603 markings/sec, 1425 secs
lola: 211 tries, 210797936 fired transitions, 1430 secs || 11977749 markings, 90939587 edges, 8098 markings/sec, 1430 secs
lola: 212 tries, 211489274 fired transitions, 1435 secs || 12020737 markings, 91256379 edges, 8598 markings/sec, 1435 secs
lola: 213 tries, 212283596 fired transitions, 1440 secs || 12062134 markings, 91572218 edges, 8279 markings/sec, 1440 secs
lola: 214 tries, 213242388 fired transitions, 1445 secs || 12101436 markings, 91889002 edges, 7860 markings/sec, 1445 secs
lola: 214 tries, 213935337 fired transitions, 1450 secs || 12144316 markings, 92201916 edges, 8576 markings/sec, 1450 secs
lola: 215 tries, 214990022 fired transitions, 1455 secs || 12185811 markings, 92517304 edges, 8299 markings/sec, 1455 secs
lola: 217 tries, 216053902 fired transitions, 1460 secs || 12228343 markings, 92831741 edges, 8506 markings/sec, 1460 secs
lola: 217 tries, 216747475 fired transitions, 1465 secs || 12269863 markings, 93147833 edges, 8304 markings/sec, 1465 secs
lola: 218 tries, 217683856 fired transitions, 1470 secs || 12311386 markings, 93463813 edges, 8305 markings/sec, 1470 secs
lola: 219 tries, 218486546 fired transitions, 1475 secs || 12352847 markings, 93778904 edges, 8292 markings/sec, 1475 secs
lola: 220 tries, 219180752 fired transitions, 1480 secs || 12394343 markings, 94095469 edges, 8299 markings/sec, 1480 secs
lola: 220 tries, 219874237 fired transitions, 1485 secs || 12435048 markings, 94413789 edges, 8141 markings/sec, 1485 secs
lola: 221 tries, 220568088 fired transitions, 1490 secs || 12476414 markings, 94729447 edges, 8273 markings/sec, 1490 secs
lola: 222 tries, 221261219 fired transitions, 1495 secs || 12519212 markings, 95045207 edges, 8560 markings/sec, 1495 secs
lola: 222 tries, 221953523 fired transitions, 1500 secs || 12561368 markings, 95361869 edges, 8431 markings/sec, 1500 secs
lola: 223 tries, 222647304 fired transitions, 1505 secs || 12602756 markings, 95679891 edges, 8278 markings/sec, 1505 secs
lola: 224 tries, 223540840 fired transitions, 1510 secs || 12644381 markings, 95996243 edges, 8325 markings/sec, 1510 secs
lola: 225 tries, 224404556 fired transitions, 1515 secs || 12682770 markings, 96310881 edges, 7678 markings/sec, 1515 secs
lola: 226 tries, 225098273 fired transitions, 1520 secs || 12724159 markings, 96627089 edges, 8278 markings/sec, 1520 secs
lola: 226 tries, 225791563 fired transitions, 1525 secs || 12771797 markings, 96939419 edges, 9528 markings/sec, 1525 secs
lola: 227 tries, 226485252 fired transitions, 1530 secs || 12809442 markings, 97258490 edges, 7529 markings/sec, 1530 secs
lola: 228 tries, 227280470 fired transitions, 1535 secs || 12851914 markings, 97574193 edges, 8494 markings/sec, 1535 secs
lola: 229 tries, 228238475 fired transitions, 1540 secs || 12892726 markings, 97889928 edges, 8162 markings/sec, 1540 secs
lola: 229 tries, 228932546 fired transitions, 1545 secs || 12934471 markings, 98205960 edges, 8349 markings/sec, 1545 secs
lola: 230 tries, 229626900 fired transitions, 1550 secs || 12981423 markings, 98521348 edges, 9390 markings/sec, 1550 secs
lola: 231 tries, 230320762 fired transitions, 1555 secs || 13017397 markings, 98842804 edges, 7195 markings/sec, 1555 secs
lola: 232 tries, 231014401 fired transitions, 1560 secs || 13060308 markings, 99158415 edges, 8582 markings/sec, 1560 secs
lola: 232 tries, 231708398 fired transitions, 1565 secs || 13100760 markings, 99474889 edges, 8090 markings/sec, 1565 secs
lola: 233 tries, 232401898 fired transitions, 1570 secs || 13143760 markings, 99791033 edges, 8600 markings/sec, 1570 secs
lola: 234 tries, 233094844 fired transitions, 1575 secs || 13183419 markings, 100108962 edges, 7932 markings/sec, 1575 secs
lola: 234 tries, 233787659 fired transitions, 1580 secs || 13226676 markings, 100429376 edges, 8651 markings/sec, 1580 secs
lola: 235 tries, 234482042 fired transitions, 1585 secs || 13268406 markings, 100748759 edges, 8346 markings/sec, 1585 secs
lola: 236 tries, 235176496 fired transitions, 1590 secs || 13311374 markings, 101067166 edges, 8594 markings/sec, 1590 secs
lola: 236 tries, 235869012 fired transitions, 1595 secs || 13353417 markings, 101384069 edges, 8409 markings/sec, 1595 secs
lola: 237 tries, 236563366 fired transitions, 1600 secs || 13393009 markings, 101704392 edges, 7918 markings/sec, 1600 secs
lola: 238 tries, 237257363 fired transitions, 1605 secs || 13433533 markings, 102025523 edges, 8105 markings/sec, 1605 secs
lola: 238 tries, 237950469 fired transitions, 1610 secs || 13479907 markings, 102344713 edges, 9275 markings/sec, 1610 secs
lola: 239 tries, 238642357 fired transitions, 1615 secs || 13521023 markings, 102660548 edges, 8223 markings/sec, 1615 secs
lola: 240 tries, 239335637 fired transitions, 1620 secs || 13561845 markings, 102979260 edges, 8164 markings/sec, 1620 secs
lola: 241 tries, 240029411 fired transitions, 1625 secs || 13604834 markings, 103297154 edges, 8598 markings/sec, 1625 secs
lola: 241 tries, 240703718 fired transitions, 1630 secs || 13646404 markings, 103613994 edges, 8314 markings/sec, 1630 secs
lola: 242 tries, 241398008 fired transitions, 1635 secs || 13688143 markings, 103931977 edges, 8348 markings/sec, 1635 secs
lola: 243 tries, 242090806 fired transitions, 1640 secs || 13729802 markings, 104249944 edges, 8332 markings/sec, 1640 secs
lola: 243 tries, 242784259 fired transitions, 1645 secs || 13771461 markings, 104562076 edges, 8332 markings/sec, 1645 secs
lola: 244 tries, 243474747 fired transitions, 1650 secs || 13812209 markings, 104878101 edges, 8150 markings/sec, 1650 secs
lola: 245 tries, 244162256 fired transitions, 1655 secs || 13853369 markings, 105191758 edges, 8232 markings/sec, 1655 secs
lola: 245 tries, 244849935 fired transitions, 1660 secs || 13894348 markings, 105506722 edges, 8196 markings/sec, 1660 secs
lola: 246 tries, 245537187 fired transitions, 1665 secs || 13935495 markings, 105820057 edges, 8229 markings/sec, 1665 secs
lola: 247 tries, 246356388 fired transitions, 1670 secs || 13977424 markings, 106134631 edges, 8386 markings/sec, 1670 secs
lola: 248 tries, 247281264 fired transitions, 1675 secs || 14018405 markings, 106445145 edges, 8196 markings/sec, 1675 secs
lola: 248 tries, 247969118 fired transitions, 1680 secs || 14058531 markings, 106759168 edges, 8025 markings/sec, 1680 secs
lola: 250 tries, 249025102 fired transitions, 1685 secs || 14100888 markings, 107071051 edges, 8471 markings/sec, 1685 secs
lola: 250 tries, 249714192 fired transitions, 1690 secs || 14140162 markings, 107385303 edges, 7855 markings/sec, 1690 secs
lola: 251 tries, 250393683 fired transitions, 1695 secs || 14183971 markings, 107692695 edges, 8762 markings/sec, 1695 secs
lola: 252 tries, 251079325 fired transitions, 1700 secs || 14223672 markings, 108008298 edges, 7940 markings/sec, 1700 secs
lola: 252 tries, 251764592 fired transitions, 1705 secs || 14264481 markings, 108321405 edges, 8162 markings/sec, 1705 secs
lola: 253 tries, 252448564 fired transitions, 1710 secs || 14306542 markings, 108634412 edges, 8412 markings/sec, 1710 secs
lola: 254 tries, 253130922 fired transitions, 1715 secs || 14347929 markings, 108948126 edges, 8277 markings/sec, 1715 secs
lola: 254 tries, 253815166 fired transitions, 1720 secs || 14387402 markings, 109260459 edges, 7895 markings/sec, 1720 secs
lola: 255 tries, 254498675 fired transitions, 1725 secs || 14429592 markings, 109567812 edges, 8438 markings/sec, 1725 secs
lola: 256 tries, 255184747 fired transitions, 1730 secs || 14471136 markings, 109880765 edges, 8309 markings/sec, 1730 secs
lola: 256 tries, 255871722 fired transitions, 1735 secs || 14512403 markings, 110195887 edges, 8253 markings/sec, 1735 secs
lola: 257 tries, 256555266 fired transitions, 1740 secs || 14550883 markings, 110502805 edges, 7696 markings/sec, 1740 secs
lola: 258 tries, 257237170 fired transitions, 1745 secs || 14590965 markings, 110811208 edges, 8016 markings/sec, 1745 secs
lola: 258 tries, 257917051 fired transitions, 1750 secs || 14631464 markings, 111123271 edges, 8100 markings/sec, 1750 secs
lola: 259 tries, 258584978 fired transitions, 1755 secs || 14674591 markings, 111436169 edges, 8625 markings/sec, 1755 secs
lola: 260 tries, 259258638 fired transitions, 1760 secs || 14716617 markings, 111747283 edges, 8405 markings/sec, 1760 secs
lola: 260 tries, 259933342 fired transitions, 1765 secs || 14755846 markings, 112060230 edges, 7846 markings/sec, 1765 secs
lola: 261 tries, 260595851 fired transitions, 1770 secs || 14797924 markings, 112373983 edges, 8416 markings/sec, 1770 secs
lola: 262 tries, 261287962 fired transitions, 1775 secs || 14842681 markings, 112686261 edges, 8951 markings/sec, 1775 secs
lola: 262 tries, 261981903 fired transitions, 1780 secs || 14880689 markings, 113005151 edges, 7602 markings/sec, 1780 secs
lola: 263 tries, 262675978 fired transitions, 1785 secs || 14921174 markings, 113320822 edges, 8097 markings/sec, 1785 secs
lola: 264 tries, 263361500 fired transitions, 1790 secs || 14961612 markings, 113637888 edges, 8088 markings/sec, 1790 secs
lola: 265 tries, 264053058 fired transitions, 1795 secs || 15004541 markings, 113953873 edges, 8586 markings/sec, 1795 secs
lola: 265 tries, 264742152 fired transitions, 1800 secs || 15050018 markings, 114265670 edges, 9095 markings/sec, 1800 secs
lola: 266 tries, 265431799 fired transitions, 1805 secs || 15088224 markings, 114585080 edges, 7641 markings/sec, 1805 secs
lola: 267 tries, 266122531 fired transitions, 1810 secs || 15128710 markings, 114901548 edges, 8097 markings/sec, 1810 secs
lola: 267 tries, 266815663 fired transitions, 1815 secs || 15170307 markings, 115218004 edges, 8319 markings/sec, 1815 secs
lola: 268 tries, 267805470 fired transitions, 1820 secs || 15212057 markings, 115533039 edges, 8350 markings/sec, 1820 secs
lola: 269 tries, 268569224 fired transitions, 1825 secs || 15251684 markings, 115851161 edges, 7925 markings/sec, 1825 secs
lola: 270 tries, 269414611 fired transitions, 1830 secs || 15297918 markings, 116168625 edges, 9247 markings/sec, 1830 secs
lola: 271 tries, 270320385 fired transitions, 1835 secs || 15339429 markings, 116485312 edges, 8302 markings/sec, 1835 secs
lola: 272 tries, 271012911 fired transitions, 1840 secs || 15378617 markings, 116796208 edges, 7838 markings/sec, 1840 secs
lola: 272 tries, 271697232 fired transitions, 1845 secs || 15420304 markings, 117106501 edges, 8337 markings/sec, 1845 secs
lola: 273 tries, 272384940 fired transitions, 1850 secs || 15458813 markings, 117418829 edges, 7702 markings/sec, 1850 secs
lola: 274 tries, 273066992 fired transitions, 1855 secs || 15499155 markings, 117731959 edges, 8068 markings/sec, 1855 secs
lola: 274 tries, 273747042 fired transitions, 1860 secs || 15544928 markings, 118047357 edges, 9155 markings/sec, 1860 secs
lola: 275 tries, 274435669 fired transitions, 1865 secs || 15586367 markings, 118361702 edges, 8288 markings/sec, 1865 secs
lola: 276 tries, 275195346 fired transitions, 1870 secs || 15625533 markings, 118674301 edges, 7833 markings/sec, 1870 secs
lola: 277 tries, 276183282 fired transitions, 1875 secs || 15667838 markings, 118991273 edges, 8461 markings/sec, 1875 secs
lola: 277 tries, 276875829 fired transitions, 1880 secs || 15707212 markings, 119311295 edges, 7875 markings/sec, 1880 secs
lola: 278 tries, 277566129 fired transitions, 1885 secs || 15750724 markings, 119623053 edges, 8702 markings/sec, 1885 secs
lola: 279 tries, 278410464 fired transitions, 1890 secs || 15795573 markings, 119941868 edges, 8970 markings/sec, 1890 secs
lola: 280 tries, 279316911 fired transitions, 1895 secs || 15835771 markings, 120263319 edges, 8040 markings/sec, 1895 secs
lola: 281 tries, 280010029 fired transitions, 1900 secs || 15878278 markings, 120581903 edges, 8501 markings/sec, 1900 secs
lola: 281 tries, 280699446 fired transitions, 1905 secs || 15919639 markings, 120899649 edges, 8272 markings/sec, 1905 secs
lola: 282 tries, 281390519 fired transitions, 1910 secs || 15960966 markings, 121215621 edges, 8265 markings/sec, 1910 secs
lola: 283 tries, 282080564 fired transitions, 1915 secs || 16003301 markings, 121530670 edges, 8467 markings/sec, 1915 secs
lola: 283 tries, 282770574 fired transitions, 1920 secs || 16046033 markings, 121846492 edges, 8546 markings/sec, 1920 secs
lola: 284 tries, 283725450 fired transitions, 1925 secs || 16086524 markings, 122164186 edges, 8098 markings/sec, 1925 secs
lola: 285 tries, 284822742 fired transitions, 1930 secs || 16127757 markings, 122481374 edges, 8247 markings/sec, 1930 secs
lola: 286 tries, 285579065 fired transitions, 1935 secs || 16168168 markings, 122797499 edges, 8082 markings/sec, 1935 secs
lola: 287 tries, 286270900 fired transitions, 1940 secs || 16211165 markings, 123113490 edges, 8599 markings/sec, 1940 secs
lola: 287 tries, 286959805 fired transitions, 1945 secs || 16250651 markings, 123427274 edges, 7897 markings/sec, 1945 secs
lola: 288 tries, 287642712 fired transitions, 1950 secs || 16296657 markings, 123741526 edges, 9201 markings/sec, 1950 secs
lola: 289 tries, 288334410 fired transitions, 1955 secs || 16334537 markings, 124059096 edges, 7576 markings/sec, 1955 secs
lola: 290 tries, 289040248 fired transitions, 1960 secs || 16375023 markings, 124375465 edges, 8097 markings/sec, 1960 secs
lola: 291 tries, 290081487 fired transitions, 1965 secs || 16418014 markings, 124692004 edges, 8598 markings/sec, 1965 secs
lola: 291 tries, 290775039 fired transitions, 1970 secs || 16459380 markings, 125007905 edges, 8273 markings/sec, 1970 secs
lola: 292 tries, 291465615 fired transitions, 1975 secs || 16502178 markings, 125323607 edges, 8560 markings/sec, 1975 secs
lola: 293 tries, 292157063 fired transitions, 1980 secs || 16543380 markings, 125640536 edges, 8240 markings/sec, 1980 secs
lola: 293 tries, 292846962 fired transitions, 1985 secs || 16583234 markings, 125956912 edges, 7971 markings/sec, 1985 secs
lola: 294 tries, 293537444 fired transitions, 1990 secs || 16626104 markings, 126272071 edges, 8574 markings/sec, 1990 secs
lola: 295 tries, 294229594 fired transitions, 1995 secs || 16668479 markings, 126588289 edges, 8475 markings/sec, 1995 secs
lola: 295 tries, 294921569 fired transitions, 2000 secs || 16709136 markings, 126904609 edges, 8131 markings/sec, 2000 secs
lola: 296 tries, 295613209 fired transitions, 2005 secs || 16750261 markings, 127216283 edges, 8225 markings/sec, 2005 secs
lola: 297 tries, 296304342 fired transitions, 2010 secs || 16791557 markings, 127530739 edges, 8259 markings/sec, 2010 secs
lola: 297 tries, 296992689 fired transitions, 2015 secs || 16833696 markings, 127847321 edges, 8428 markings/sec, 2015 secs
lola: 298 tries, 297683004 fired transitions, 2020 secs || 16873533 markings, 128162630 edges, 7967 markings/sec, 2020 secs
lola: 299 tries, 298375838 fired transitions, 2025 secs || 16916104 markings, 128477065 edges, 8514 markings/sec, 2025 secs
lola: 300 tries, 299066997 fired transitions, 2030 secs || 16958240 markings, 128792330 edges, 8427 markings/sec, 2030 secs
lola: 300 tries, 299759404 fired transitions, 2035 secs || 16999456 markings, 129109796 edges, 8243 markings/sec, 2035 secs
lola: 301 tries, 300451543 fired transitions, 2040 secs || 17040989 markings, 129425322 edges, 8307 markings/sec, 2040 secs
lola: 302 tries, 301144144 fired transitions, 2045 secs || 17083282 markings, 129740405 edges, 8459 markings/sec, 2045 secs
lola: 302 tries, 301834812 fired transitions, 2050 secs || 17122220 markings, 130057229 edges, 7788 markings/sec, 2050 secs
lola: 303 tries, 302526136 fired transitions, 2055 secs || 17169759 markings, 130363687 edges, 9508 markings/sec, 2055 secs
lola: 304 tries, 303217487 fired transitions, 2060 secs || 17205795 markings, 130683110 edges, 7207 markings/sec, 2060 secs
lola: 304 tries, 303909466 fired transitions, 2065 secs || 17248534 markings, 130997961 edges, 8548 markings/sec, 2065 secs
lola: 305 tries, 304595447 fired transitions, 2070 secs || 17288959 markings, 131314179 edges, 8085 markings/sec, 2070 secs
lola: 306 tries, 305287740 fired transitions, 2075 secs || 17331860 markings, 131629231 edges, 8580 markings/sec, 2075 secs
lola: 306 tries, 305980316 fired transitions, 2080 secs || 17378838 markings, 131943622 edges, 9396 markings/sec, 2080 secs
lola: 307 tries, 306673682 fired transitions, 2085 secs || 17413524 markings, 132264415 edges, 6937 markings/sec, 2085 secs
lola: 308 tries, 307365818 fired transitions, 2090 secs || 17456085 markings, 132579100 edges, 8512 markings/sec, 2090 secs
lola: 309 tries, 308079359 fired transitions, 2095 secs || 17496510 markings, 132895123 edges, 8085 markings/sec, 2095 secs
lola: 310 tries, 309111232 fired transitions, 2100 secs || 17539366 markings, 133208693 edges, 8571 markings/sec, 2100 secs
lola: 310 tries, 309801097 fired transitions, 2105 secs || 17578992 markings, 133525031 edges, 7925 markings/sec, 2105 secs
lola: 311 tries, 310492795 fired transitions, 2110 secs || 17621839 markings, 133841234 edges, 8569 markings/sec, 2110 secs
lola: 312 tries, 311291226 fired transitions, 2115 secs || 17663144 markings, 134157518 edges, 8261 markings/sec, 2115 secs
lola: 313 tries, 312239647 fired transitions, 2120 secs || 17705990 markings, 134472207 edges, 8569 markings/sec, 2120 secs
lola: 313 tries, 312932601 fired transitions, 2125 secs || 17745511 markings, 134788794 edges, 7904 markings/sec, 2125 secs
lola: 314 tries, 313624981 fired transitions, 2130 secs || 17787112 markings, 135104553 edges, 8320 markings/sec, 2130 secs
lola: 315 tries, 314314725 fired transitions, 2135 secs || 17827182 markings, 135421063 edges, 8014 markings/sec, 2135 secs
lola: 315 tries, 314999717 fired transitions, 2140 secs || 17871790 markings, 135735460 edges, 8922 markings/sec, 2140 secs
lola: 317 tries, 316054491 fired transitions, 2145 secs || 17911589 markings, 136050193 edges, 7960 markings/sec, 2145 secs
lola: 317 tries, 316740569 fired transitions, 2150 secs || 17953885 markings, 136359786 edges, 8459 markings/sec, 2150 secs
lola: 318 tries, 317427888 fired transitions, 2155 secs || 17994609 markings, 136673570 edges, 8145 markings/sec, 2155 secs
lola: 319 tries, 318177312 fired transitions, 2160 secs || 18034515 markings, 136986346 edges, 7981 markings/sec, 2160 secs
lola: 320 tries, 319167777 fired transitions, 2165 secs || 18074427 markings, 137299775 edges, 7982 markings/sec, 2165 secs
lola: 320 tries, 319851873 fired transitions, 2170 secs || 18123458 markings, 137611840 edges, 9806 markings/sec, 2170 secs
lola: 321 tries, 320535810 fired transitions, 2175 secs || 18160139 markings, 137928896 edges, 7336 markings/sec, 2175 secs
lola: 322 tries, 321220458 fired transitions, 2180 secs || 18200558 markings, 138244601 edges, 8084 markings/sec, 2180 secs
lola: 322 tries, 321904962 fired transitions, 2185 secs || 18240913 markings, 138559050 edges, 8071 markings/sec, 2185 secs
lola: 323 tries, 322592049 fired transitions, 2190 secs || 18283660 markings, 138871828 edges, 8549 markings/sec, 2190 secs
lola: 324 tries, 323279384 fired transitions, 2195 secs || 18323052 markings, 139187231 edges, 7878 markings/sec, 2195 secs
lola: 324 tries, 323966648 fired transitions, 2200 secs || 18363765 markings, 139503333 edges, 8143 markings/sec, 2200 secs
lola: 325 tries, 324653854 fired transitions, 2205 secs || 18415445 markings, 139816971 edges, 10336 markings/sec, 2205 secs
lola: 326 tries, 325341604 fired transitions, 2210 secs || 18450946 markings, 140137817 edges, 7100 markings/sec, 2210 secs
lola: 327 tries, 326024657 fired transitions, 2215 secs || 18493960 markings, 140452604 edges, 8603 markings/sec, 2215 secs
lola: 327 tries, 326694010 fired transitions, 2220 secs || 18533642 markings, 140768273 edges, 7936 markings/sec, 2220 secs
lola: 328 tries, 327378256 fired transitions, 2225 secs || 18574263 markings, 141077405 edges, 8124 markings/sec, 2225 secs
lola: 329 tries, 328099232 fired transitions, 2230 secs || 18616403 markings, 141390759 edges, 8428 markings/sec, 2230 secs
lola: 330 tries, 329118167 fired transitions, 2235 secs || 18655917 markings, 141705866 edges, 7903 markings/sec, 2235 secs
lola: 330 tries, 329802717 fired transitions, 2240 secs || 18697609 markings, 142020310 edges, 8338 markings/sec, 2240 secs
lola: 331 tries, 330488310 fired transitions, 2245 secs || 18742773 markings, 142332948 edges, 9033 markings/sec, 2245 secs
lola: 332 tries, 331172198 fired transitions, 2250 secs || 18780612 markings, 142648738 edges, 7568 markings/sec, 2250 secs
lola: 332 tries, 331856629 fired transitions, 2255 secs || 18825580 markings, 142962496 edges, 8994 markings/sec, 2255 secs
lola: 333 tries, 332546845 fired transitions, 2260 secs || 18863150 markings, 143279493 edges, 7514 markings/sec, 2260 secs
lola: 334 tries, 333238716 fired transitions, 2265 secs || 18903636 markings, 143596157 edges, 8097 markings/sec, 2265 secs
lola: 334 tries, 333931985 fired transitions, 2270 secs || 18947546 markings, 143912540 edges, 8782 markings/sec, 2270 secs
lola: 335 tries, 334624646 fired transitions, 2275 secs || 18986921 markings, 144229868 edges, 7875 markings/sec, 2275 secs
lola: 336 tries, 335316638 fired transitions, 2280 secs || 19030673 markings, 144545984 edges, 8750 markings/sec, 2280 secs
lola: 337 tries, 336005562 fired transitions, 2285 secs || 19071868 markings, 144862502 edges, 8239 markings/sec, 2285 secs
lola: 337 tries, 336694982 fired transitions, 2290 secs || 19113328 markings, 145176508 edges, 8292 markings/sec, 2290 secs
lola: 338 tries, 337389136 fired transitions, 2295 secs || 19155113 markings, 145493453 edges, 8357 markings/sec, 2295 secs
lola: 339 tries, 338082761 fired transitions, 2300 secs || 19195782 markings, 145810185 edges, 8134 markings/sec, 2300 secs
lola: 339 tries, 338774769 fired transitions, 2305 secs || 19237292 markings, 146126125 edges, 8302 markings/sec, 2305 secs
lola: 340 tries, 339466765 fired transitions, 2310 secs || 19284820 markings, 146440272 edges, 9506 markings/sec, 2310 secs
lola: 341 tries, 340156935 fired transitions, 2315 secs || 19321684 markings, 146758686 edges, 7373 markings/sec, 2315 secs
lola: 341 tries, 340847730 fired transitions, 2320 secs || 19362170 markings, 147074373 edges, 8097 markings/sec, 2320 secs
lola: 342 tries, 341857673 fired transitions, 2325 secs || 19402595 markings, 147390624 edges, 8085 markings/sec, 2325 secs
lola: 343 tries, 342958433 fired transitions, 2330 secs || 19445982 markings, 147706756 edges, 8677 markings/sec, 2330 secs
lola: 344 tries, 343666587 fired transitions, 2335 secs || 19486650 markings, 148023357 edges, 8134 markings/sec, 2335 secs
lola: 345 tries, 344571213 fired transitions, 2340 secs || 19528160 markings, 148338864 edges, 8302 markings/sec, 2340 secs
lola: 346 tries, 345421975 fired transitions, 2345 secs || 19569442 markings, 148655148 edges, 8256 markings/sec, 2345 secs
lola: 347 tries, 346112703 fired transitions, 2350 secs || 19612540 markings, 148971823 edges, 8620 markings/sec, 2350 secs
lola: 347 tries, 346803043 fired transitions, 2355 secs || 19654232 markings, 149287766 edges, 8338 markings/sec, 2355 secs
lola: 348 tries, 347486603 fired transitions, 2360 secs || 19695705 markings, 149601897 edges, 8295 markings/sec, 2360 secs
lola: 349 tries, 348180285 fired transitions, 2365 secs || 19736839 markings, 149917225 edges, 8227 markings/sec, 2365 secs
lola: 349 tries, 348864927 fired transitions, 2370 secs || 19775107 markings, 150233447 edges, 7654 markings/sec, 2370 secs
lola: 350 tries, 349556110 fired transitions, 2375 secs || 19819944 markings, 150547297 edges, 8967 markings/sec, 2375 secs
lola: 351 tries, 350238957 fired transitions, 2380 secs || 19861438 markings, 150863243 edges, 8299 markings/sec, 2380 secs
lola: 351 tries, 350933244 fired transitions, 2385 secs || 19900933 markings, 151179905 edges, 7899 markings/sec, 2385 secs
lola: 352 tries, 351624647 fired transitions, 2390 secs || 19943063 markings, 151495486 edges, 8426 markings/sec, 2390 secs
lola: 353 tries, 352502822 fired transitions, 2395 secs || 19982010 markings, 151811772 edges, 7789 markings/sec, 2395 secs
lola: 354 tries, 353372489 fired transitions, 2400 secs || 20027726 markings, 152128158 edges, 9143 markings/sec, 2400 secs
lola: 355 tries, 354102885 fired transitions, 2405 secs || 20068999 markings, 152444142 edges, 8255 markings/sec, 2405 secs
lola: 356 tries, 355129694 fired transitions, 2410 secs || 20108388 markings, 152758680 edges, 7878 markings/sec, 2410 secs
lola: 356 tries, 355823389 fired transitions, 2415 secs || 20150449 markings, 153073608 edges, 8412 markings/sec, 2415 secs
lola: 357 tries, 356817359 fired transitions, 2420 secs || 20189812 markings, 153387570 edges, 7873 markings/sec, 2420 secs
lola: 358 tries, 357578603 fired transitions, 2425 secs || 20235246 markings, 153703440 edges, 9087 markings/sec, 2425 secs
lola: 359 tries, 358271012 fired transitions, 2430 secs || 20276448 markings, 154021086 edges, 8240 markings/sec, 2430 secs
lola: 359 tries, 358962865 fired transitions, 2435 secs || 20318197 markings, 154337082 edges, 8350 markings/sec, 2435 secs
lola: 360 tries, 359656529 fired transitions, 2440 secs || 20359397 markings, 154653011 edges, 8240 markings/sec, 2440 secs
lola: 361 tries, 360349944 fired transitions, 2445 secs || 20397996 markings, 154970177 edges, 7720 markings/sec, 2445 secs
lola: 362 tries, 361042157 fired transitions, 2450 secs || 20443539 markings, 155285240 edges, 9109 markings/sec, 2450 secs
lola: 362 tries, 361734913 fired transitions, 2455 secs || 20484893 markings, 155603004 edges, 8271 markings/sec, 2455 secs
lola: 363 tries, 362427732 fired transitions, 2460 secs || 20525497 markings, 155919507 edges, 8121 markings/sec, 2460 secs
lola: 364 tries, 363116758 fired transitions, 2465 secs || 20567074 markings, 156234555 edges, 8315 markings/sec, 2465 secs
lola: 364 tries, 363808301 fired transitions, 2470 secs || 20608060 markings, 156546990 edges, 8197 markings/sec, 2470 secs
lola: 365 tries, 364494463 fired transitions, 2475 secs || 20648904 markings, 156862664 edges, 8169 markings/sec, 2475 secs
lola: 366 tries, 365178929 fired transitions, 2480 secs || 20691970 markings, 157178529 edges, 8613 markings/sec, 2480 secs
lola: 366 tries, 365871924 fired transitions, 2485 secs || 20737462 markings, 157492863 edges, 9098 markings/sec, 2485 secs
lola: 367 tries, 366563923 fired transitions, 2490 secs || 20775904 markings, 157812192 edges, 7688 markings/sec, 2490 secs
lola: 368 tries, 367256391 fired transitions, 2495 secs || 20814996 markings, 158127389 edges, 7818 markings/sec, 2495 secs
lola: 368 tries, 367941259 fired transitions, 2500 secs || 20858888 markings, 158441585 edges, 8778 markings/sec, 2500 secs
lola: 369 tries, 368627379 fired transitions, 2505 secs || 20896604 markings, 158758433 edges, 7543 markings/sec, 2505 secs
lola: 370 tries, 369313643 fired transitions, 2510 secs || 20941387 markings, 159072887 edges, 8957 markings/sec, 2510 secs
lola: 371 tries, 370005474 fired transitions, 2515 secs || 20981790 markings, 159387029 edges, 8081 markings/sec, 2515 secs
lola: 371 tries, 370697168 fired transitions, 2520 secs || 21028279 markings, 159702723 edges, 9298 markings/sec, 2520 secs
lola: 372 tries, 371389702 fired transitions, 2525 secs || 21066871 markings, 160025383 edges, 7718 markings/sec, 2525 secs
lola: 373 tries, 372081900 fired transitions, 2530 secs || 21106697 markings, 160345275 edges, 7965 markings/sec, 2530 secs
lola: 373 tries, 372772394 fired transitions, 2535 secs || 21150677 markings, 160662859 edges, 8796 markings/sec, 2535 secs
lola: 374 tries, 373463183 fired transitions, 2540 secs || 21188719 markings, 160982600 edges, 7608 markings/sec, 2540 secs
lola: 375 tries, 374154118 fired transitions, 2545 secs || 21233710 markings, 161300238 edges, 8998 markings/sec, 2545 secs
lola: 375 tries, 374843960 fired transitions, 2550 secs || 21274606 markings, 161619420 edges, 8179 markings/sec, 2550 secs
lola: 376 tries, 375838475 fired transitions, 2555 secs || 21316819 markings, 161939675 edges, 8443 markings/sec, 2555 secs
lola: 377 tries, 376923610 fired transitions, 2560 secs || 21360744 markings, 162258592 edges, 8785 markings/sec, 2560 secs
lola: 378 tries, 377643060 fired transitions, 2565 secs || 21402954 markings, 162579042 edges, 8442 markings/sec, 2565 secs
lola: 379 tries, 378335109 fired transitions, 2570 secs || 21443977 markings, 162897489 edges, 8205 markings/sec, 2570 secs
lola: 380 tries, 379017081 fired transitions, 2575 secs || 21486014 markings, 163213810 edges, 8407 markings/sec, 2575 secs
lola: 380 tries, 379703795 fired transitions, 2580 secs || 21527219 markings, 163531332 edges, 8241 markings/sec, 2580 secs
lola: 381 tries, 380392694 fired transitions, 2585 secs || 21569682 markings, 163848445 edges, 8493 markings/sec, 2585 secs
lola: 382 tries, 381119561 fired transitions, 2590 secs || 21612783 markings, 164163044 edges, 8620 markings/sec, 2590 secs
lola: 383 tries, 382220536 fired transitions, 2595 secs || 21651173 markings, 164481096 edges, 7678 markings/sec, 2595 secs
lola: 384 tries, 383201863 fired transitions, 2600 secs || 21694209 markings, 164795994 edges, 8607 markings/sec, 2600 secs
lola: 384 tries, 383888224 fired transitions, 2605 secs || 21735455 markings, 165111544 edges, 8249 markings/sec, 2605 secs
lola: 385 tries, 384578327 fired transitions, 2610 secs || 21776843 markings, 165428412 edges, 8278 markings/sec, 2610 secs
lola: 386 tries, 385263639 fired transitions, 2615 secs || 21818052 markings, 165742917 edges, 8242 markings/sec, 2615 secs
lola: 386 tries, 385946259 fired transitions, 2620 secs || 21859029 markings, 166044225 edges, 8195 markings/sec, 2620 secs
lola: 387 tries, 386627137 fired transitions, 2625 secs || 21897175 markings, 166352970 edges, 7629 markings/sec, 2625 secs
lola: 388 tries, 387308580 fired transitions, 2630 secs || 21936671 markings, 166657674 edges, 7899 markings/sec, 2630 secs
lola: 388 tries, 387989439 fired transitions, 2635 secs || 21978864 markings, 166965158 edges, 8439 markings/sec, 2635 secs
lola: 389 tries, 388671200 fired transitions, 2640 secs || 22019497 markings, 167272662 edges, 8127 markings/sec, 2640 secs
lola: 390 tries, 389355254 fired transitions, 2645 secs || 22059174 markings, 167581175 edges, 7935 markings/sec, 2645 secs
lola: 391 tries, 390039422 fired transitions, 2650 secs || 22100841 markings, 167893316 edges, 8333 markings/sec, 2650 secs
lola: 391 tries, 390714627 fired transitions, 2655 secs || 22141672 markings, 168203475 edges, 8166 markings/sec, 2655 secs
lola: 392 tries, 391391781 fired transitions, 2660 secs || 22183137 markings, 168512938 edges, 8293 markings/sec, 2660 secs
lola: 393 tries, 392069407 fired transitions, 2665 secs || 22225057 markings, 168820557 edges, 8384 markings/sec, 2665 secs
lola: 393 tries, 392748206 fired transitions, 2670 secs || 22263094 markings, 169132278 edges, 7607 markings/sec, 2670 secs
lola: 394 tries, 393426092 fired transitions, 2675 secs || 22303058 markings, 169443368 edges, 7993 markings/sec, 2675 secs
lola: 395 tries, 394161352 fired transitions, 2680 secs || 22343606 markings, 169755452 edges, 8110 markings/sec, 2680 secs
lola: 396 tries, 395151836 fired transitions, 2685 secs || 22386537 markings, 170063478 edges, 8586 markings/sec, 2685 secs
lola: 396 tries, 395820033 fired transitions, 2690 secs || 22425501 markings, 170371087 edges, 7793 markings/sec, 2690 secs
lola: 397 tries, 396498797 fired transitions, 2695 secs || 22466389 markings, 170676913 edges, 8178 markings/sec, 2695 secs
lola: 398 tries, 397282064 fired transitions, 2700 secs || 22506842 markings, 170983463 edges, 8091 markings/sec, 2700 secs
lola: 399 tries, 398226276 fired transitions, 2705 secs || 22548916 markings, 171287681 edges, 8415 markings/sec, 2705 secs
lola: 399 tries, 398906219 fired transitions, 2710 secs || 22586739 markings, 171593879 edges, 7565 markings/sec, 2710 secs
lola: 400 tries, 399588551 fired transitions, 2715 secs || 22626981 markings, 171905561 edges, 8048 markings/sec, 2715 secs
lola: 401 tries, 400268876 fired transitions, 2720 secs || 22666751 markings, 172214049 edges, 7954 markings/sec, 2720 secs
lola: 401 tries, 400946479 fired transitions, 2725 secs || 22708687 markings, 172519173 edges, 8387 markings/sec, 2725 secs
lola: 402 tries, 401628413 fired transitions, 2730 secs || 22749151 markings, 172821904 edges, 8093 markings/sec, 2730 secs
lola: 403 tries, 402307309 fired transitions, 2735 secs || 22790259 markings, 173132212 edges, 8222 markings/sec, 2735 secs
lola: 403 tries, 402992156 fired transitions, 2740 secs || 22830834 markings, 173442765 edges, 8115 markings/sec, 2740 secs
lola: 404 tries, 403677167 fired transitions, 2745 secs || 22869398 markings, 173755214 edges, 7713 markings/sec, 2745 secs
lola: 405 tries, 404358736 fired transitions, 2750 secs || 22912874 markings, 174066190 edges, 8695 markings/sec, 2750 secs
lola: 406 tries, 405042928 fired transitions, 2755 secs || 22954723 markings, 174379214 edges, 8370 markings/sec, 2755 secs
lola: 406 tries, 405735286 fired transitions, 2760 secs || 22996266 markings, 174694885 edges, 8309 markings/sec, 2760 secs
lola: 407 tries, 406679891 fired transitions, 2765 secs || 23035583 markings, 175010875 edges, 7863 markings/sec, 2765 secs
lola: 408 tries, 407778610 fired transitions, 2770 secs || 23076044 markings, 175326204 edges, 8092 markings/sec, 2770 secs
lola: 409 tries, 408544306 fired transitions, 2775 secs || 23119875 markings, 175640040 edges, 8766 markings/sec, 2775 secs
lola: 410 tries, 409233392 fired transitions, 2780 secs || 23167434 markings, 175946875 edges, 9512 markings/sec, 2780 secs
lola: 410 tries, 409920616 fired transitions, 2785 secs || 23200743 markings, 176259074 edges, 6662 markings/sec, 2785 secs
lola: 411 tries, 410605123 fired transitions, 2790 secs || 23243238 markings, 176571732 edges, 8499 markings/sec, 2790 secs
lola: 412 tries, 411292537 fired transitions, 2795 secs || 23283625 markings, 176886037 edges, 8077 markings/sec, 2795 secs
lola: 412 tries, 411976314 fired transitions, 2800 secs || 23326410 markings, 177200394 edges, 8557 markings/sec, 2800 secs
lola: 413 tries, 412667807 fired transitions, 2805 secs || 23366123 markings, 177517052 edges, 7943 markings/sec, 2805 secs
lola: 414 tries, 413349901 fired transitions, 2810 secs || 23414934 markings, 177830234 edges, 9762 markings/sec, 2810 secs
lola: 415 tries, 414058640 fired transitions, 2815 secs || 23449811 markings, 178149681 edges, 6975 markings/sec, 2815 secs
lola: 416 tries, 415132125 fired transitions, 2820 secs || 23491592 markings, 178462597 edges, 8356 markings/sec, 2820 secs
lola: 417 tries, 416137381 fired transitions, 2825 secs || 23531806 markings, 178776562 edges, 8043 markings/sec, 2825 secs
lola: 417 tries, 416814998 fired transitions, 2830 secs || 23574255 markings, 179087215 edges, 8490 markings/sec, 2830 secs
lola: 418 tries, 417496600 fired transitions, 2835 secs || 23613497 markings, 179399278 edges, 7848 markings/sec, 2835 secs
lola: 419 tries, 418188887 fired transitions, 2840 secs || 23654235 markings, 179716738 edges, 8148 markings/sec, 2840 secs
lola: 419 tries, 418880069 fired transitions, 2845 secs || 23697961 markings, 180030039 edges, 8745 markings/sec, 2845 secs
lola: 420 tries, 419568181 fired transitions, 2850 secs || 23738817 markings, 180340792 edges, 8171 markings/sec, 2850 secs
lola: 421 tries, 420406898 fired transitions, 2855 secs || 23777249 markings, 180652187 edges, 7686 markings/sec, 2855 secs
lola: 422 tries, 421310622 fired transitions, 2860 secs || 23817487 markings, 180958102 edges, 8048 markings/sec, 2860 secs
lola: 423 tries, 422001679 fired transitions, 2865 secs || 23861267 markings, 181272790 edges, 8756 markings/sec, 2865 secs
lola: 423 tries, 422693415 fired transitions, 2870 secs || 23901360 markings, 181588877 edges, 8019 markings/sec, 2870 secs
lola: 424 tries, 423385784 fired transitions, 2875 secs || 23942688 markings, 181905512 edges, 8266 markings/sec, 2875 secs
lola: 425 tries, 424078563 fired transitions, 2880 secs || 23986068 markings, 182222701 edges, 8676 markings/sec, 2880 secs
lola: 425 tries, 424767964 fired transitions, 2885 secs || 24027715 markings, 182539188 edges, 8329 markings/sec, 2885 secs
lola: 426 tries, 425458537 fired transitions, 2890 secs || 24067425 markings, 182854533 edges, 7942 markings/sec, 2890 secs
lola: 427 tries, 426151050 fired transitions, 2895 secs || 24108572 markings, 183170054 edges, 8229 markings/sec, 2895 secs
lola: 427 tries, 426841555 fired transitions, 2900 secs || 24152407 markings, 183484671 edges, 8767 markings/sec, 2900 secs
lola: 428 tries, 427533967 fired transitions, 2905 secs || 24192431 markings, 183801110 edges, 8005 markings/sec, 2905 secs
lola: 429 tries, 428351142 fired transitions, 2910 secs || 24233878 markings, 184117690 edges, 8289 markings/sec, 2910 secs
lola: 430 tries, 429279526 fired transitions, 2915 secs || 24282540 markings, 184432992 edges, 9732 markings/sec, 2915 secs
lola: 430 tries, 429970841 fired transitions, 2920 secs || 24319676 markings, 184756093 edges, 7427 markings/sec, 2920 secs
lola: 431 tries, 430663652 fired transitions, 2925 secs || 24359513 markings, 185076443 edges, 7967 markings/sec, 2925 secs
lola: 432 tries, 431357176 fired transitions, 2930 secs || 24403481 markings, 185393871 edges, 8794 markings/sec, 2930 secs
lola: 433 tries, 432077737 fired transitions, 2935 secs || 24441718 markings, 185709630 edges, 7647 markings/sec, 2935 secs
lola: 434 tries, 433109150 fired transitions, 2940 secs || 24485981 markings, 186024355 edges, 8853 markings/sec, 2940 secs
lola: 434 tries, 433802727 fired transitions, 2945 secs || 24526749 markings, 186343013 edges, 8154 markings/sec, 2945 secs
lola: 435 tries, 434495291 fired transitions, 2950 secs || 24568953 markings, 186661743 edges, 8441 markings/sec, 2950 secs
lola: 436 tries, 435187938 fired transitions, 2955 secs || 24618216 markings, 186978335 edges, 9853 markings/sec, 2955 secs
lola: 436 tries, 435881259 fired transitions, 2960 secs || 24654148 markings, 187300477 edges, 7186 markings/sec, 2960 secs
lola: 437 tries, 436574038 fired transitions, 2965 secs || 24695612 markings, 187616537 edges, 8293 markings/sec, 2965 secs
lola: 438 tries, 437267032 fired transitions, 2970 secs || 24740109 markings, 187933128 edges, 8899 markings/sec, 2970 secs
lola: 438 tries, 437958614 fired transitions, 2975 secs || 24780988 markings, 188250926 edges, 8176 markings/sec, 2975 secs
lola: 439 tries, 438650328 fired transitions, 2980 secs || 24819564 markings, 188569301 edges, 7715 markings/sec, 2980 secs
lola: 440 tries, 439333119 fired transitions, 2985 secs || 24861805 markings, 188886001 edges, 8448 markings/sec, 2985 secs
lola: 441 tries, 440025942 fired transitions, 2990 secs || 24904834 markings, 189202746 edges, 8606 markings/sec, 2990 secs
lola: 441 tries, 440719916 fired transitions, 2995 secs || 24944777 markings, 189519465 edges, 7989 markings/sec, 2995 secs
lola: 442 tries, 441411677 fired transitions, 3000 secs || 24987623 markings, 189836242 edges, 8569 markings/sec, 3000 secs
lola: 443 tries, 442103494 fired transitions, 3005 secs || 25028429 markings, 190153077 edges, 8161 markings/sec, 3005 secs
lola: 443 tries, 442794106 fired transitions, 3010 secs || 25070447 markings, 190469600 edges, 8404 markings/sec, 3010 secs
lola: 444 tries, 443484525 fired transitions, 3015 secs || 25113166 markings, 190785133 edges, 8544 markings/sec, 3015 secs
lola: 445 tries, 444175284 fired transitions, 3020 secs || 25154014 markings, 191102640 edges, 8170 markings/sec, 3020 secs
lola: 445 tries, 444865801 fired transitions, 3025 secs || 25196450 markings, 191417642 edges, 8487 markings/sec, 3025 secs
lola: 446 tries, 445558280 fired transitions, 3030 secs || 25241123 markings, 191732577 edges, 8935 markings/sec, 3030 secs
lola: 447 tries, 446252030 fired transitions, 3035 secs || 25278646 markings, 192050645 edges, 7505 markings/sec, 3035 secs
lola: 447 tries, 446941457 fired transitions, 3040 secs || 25319116 markings, 192366514 edges, 8094 markings/sec, 3040 secs
lola: 448 tries, 447629058 fired transitions, 3045 secs || 25364067 markings, 192680935 edges, 8990 markings/sec, 3045 secs
lola: 449 tries, 448494584 fired transitions, 3050 secs || 25402419 markings, 192997384 edges, 7670 markings/sec, 3050 secs
lola: 450 tries, 449362185 fired transitions, 3055 secs || 25442822 markings, 193312136 edges, 8081 markings/sec, 3055 secs
lola: 451 tries, 450054363 fired transitions, 3060 secs || 25485417 markings, 193627597 edges, 8519 markings/sec, 3060 secs
lola: 451 tries, 450745933 fired transitions, 3065 secs || 25528632 markings, 193942967 edges, 8643 markings/sec, 3065 secs
lola: 452 tries, 451432887 fired transitions, 3070 secs || 25567673 markings, 194257262 edges, 7808 markings/sec, 3070 secs
lola: 453 tries, 452118496 fired transitions, 3075 secs || 25611239 markings, 194570021 edges, 8713 markings/sec, 3075 secs
lola: 453 tries, 452804346 fired transitions, 3080 secs || 25654235 markings, 194883629 edges, 8599 markings/sec, 3080 secs
lola: 454 tries, 453491300 fired transitions, 3085 secs || 25692282 markings, 195200056 edges, 7609 markings/sec, 3085 secs
lola: 455 tries, 454172326 fired transitions, 3090 secs || 25732740 markings, 195515311 edges, 8092 markings/sec, 3090 secs
lola: 455 tries, 454861491 fired transitions, 3095 secs || 25772671 markings, 195827258 edges, 7986 markings/sec, 3095 secs
lola: 456 tries, 455547747 fired transitions, 3100 secs || 25822078 markings, 196133624 edges, 9881 markings/sec, 3100 secs
lola: 457 tries, 456236349 fired transitions, 3105 secs || 25856372 markings, 196448123 edges, 6859 markings/sec, 3105 secs
lola: 457 tries, 456922941 fired transitions, 3110 secs || 25898321 markings, 196757012 edges, 8390 markings/sec, 3110 secs
lola: 458 tries, 457613917 fired transitions, 3115 secs || 25938224 markings, 197067270 edges, 7981 markings/sec, 3115 secs
lola: 459 tries, 458297619 fired transitions, 3120 secs || 25981120 markings, 197382338 edges, 8579 markings/sec, 3120 secs
lola: 459 tries, 458990236 fired transitions, 3125 secs || 26021614 markings, 197698713 edges, 8099 markings/sec, 3125 secs
lola: 460 tries, 459673539 fired transitions, 3130 secs || 26063686 markings, 198013596 edges, 8414 markings/sec, 3130 secs
lola: 461 tries, 460362710 fired transitions, 3135 secs || 26101929 markings, 198319658 edges, 7649 markings/sec, 3135 secs
lola: 462 tries, 461050832 fired transitions, 3140 secs || 26142681 markings, 198628422 edges, 8150 markings/sec, 3140 secs
lola: 462 tries, 461743306 fired transitions, 3145 secs || 26186252 markings, 198941285 edges, 8714 markings/sec, 3145 secs
lola: 463 tries, 462434035 fired transitions, 3150 secs || 26225887 markings, 199251108 edges, 7927 markings/sec, 3150 secs
lola: 464 tries, 463124869 fired transitions, 3155 secs || 26266161 markings, 199563441 edges, 8055 markings/sec, 3155 secs
lola: 464 tries, 463816026 fired transitions, 3160 secs || 26307527 markings, 199877229 edges, 8273 markings/sec, 3160 secs
lola: 465 tries, 464509485 fired transitions, 3165 secs || 26348754 markings, 200190835 edges, 8245 markings/sec, 3165 secs
lola: 466 tries, 465201649 fired transitions, 3170 secs || 26390064 markings, 200503367 edges, 8262 markings/sec, 3170 secs
lola: 466 tries, 465894728 fired transitions, 3175 secs || 26435645 markings, 200816521 edges, 9116 markings/sec, 3175 secs
lola: 467 tries, 466587418 fired transitions, 3180 secs || 26474083 markings, 201132312 edges, 7688 markings/sec, 3180 secs
lola: 468 tries, 467280472 fired transitions, 3185 secs || 26513304 markings, 201447853 edges, 7844 markings/sec, 3185 secs
lola: 468 tries, 467972634 fired transitions, 3190 secs || 26556991 markings, 201760144 edges, 8737 markings/sec, 3190 secs
lola: 469 tries, 468666086 fired transitions, 3195 secs || 26594523 markings, 202074619 edges, 7506 markings/sec, 3195 secs
lola: 470 tries, 469359382 fired transitions, 3200 secs || 26638992 markings, 202386939 edges, 8894 markings/sec, 3200 secs
lola: 471 tries, 470052913 fired transitions, 3205 secs || 26683195 markings, 202695270 edges, 8841 markings/sec, 3205 secs
lola: 471 tries, 470746399 fired transitions, 3210 secs || 26721178 markings, 203010015 edges, 7597 markings/sec, 3210 secs
lola: 472 tries, 471439156 fired transitions, 3215 secs || 26759874 markings, 203320254 edges, 7739 markings/sec, 3215 secs
lola: 473 tries, 472129254 fired transitions, 3220 secs || 26800051 markings, 203627019 edges, 8035 markings/sec, 3220 secs
lola: 473 tries, 472821780 fired transitions, 3225 secs || 26840328 markings, 203938062 edges, 8055 markings/sec, 3225 secs
lola: 474 tries, 473515966 fired transitions, 3230 secs || 26884899 markings, 204251475 edges, 8914 markings/sec, 3230 secs
lola: 475 tries, 474207834 fired transitions, 3235 secs || 26925487 markings, 204566362 edges, 8118 markings/sec, 3235 secs
lola: 475 tries, 474900378 fired transitions, 3240 secs || 26967258 markings, 204882486 edges, 8354 markings/sec, 3240 secs
lola: 476 tries, 475593456 fired transitions, 3245 secs || 27007625 markings, 205194367 edges, 8073 markings/sec, 3245 secs
lola: 477 tries, 476286183 fired transitions, 3250 secs || 27049043 markings, 205508216 edges, 8284 markings/sec, 3250 secs
lola: 477 tries, 476977902 fired transitions, 3255 secs || 27090161 markings, 205823217 edges, 8224 markings/sec, 3255 secs
lola: 479 tries, 478037213 fired transitions, 3260 secs || 27128459 markings, 206139911 edges, 7660 markings/sec, 3260 secs
lola: 479 tries, 478730326 fired transitions, 3265 secs || 27174018 markings, 206453381 edges, 9112 markings/sec, 3265 secs
lola: 480 tries, 479423736 fired transitions, 3270 secs || 27215138 markings, 206768967 edges, 8224 markings/sec, 3270 secs
lola: 481 tries, 480116211 fired transitions, 3275 secs || 27256894 markings, 207085220 edges, 8351 markings/sec, 3275 secs
lola: 481 tries, 480809224 fired transitions, 3280 secs || 27298019 markings, 207401318 edges, 8225 markings/sec, 3280 secs
lola: 482 tries, 481500252 fired transitions, 3285 secs || 27339479 markings, 207715381 edges, 8292 markings/sec, 3285 secs
lola: 483 tries, 482193603 fired transitions, 3290 secs || 27380600 markings, 208028695 edges, 8224 markings/sec, 3290 secs
lola: 483 tries, 482886330 fired transitions, 3295 secs || 27419085 markings, 208344835 edges, 7697 markings/sec, 3295 secs
lola: 484 tries, 483577072 fired transitions, 3300 secs || 27464347 markings, 208658433 edges, 9052 markings/sec, 3300 secs
lola: 485 tries, 484269125 fired transitions, 3305 secs || 27505690 markings, 208974521 edges, 8269 markings/sec, 3305 secs
lola: 485 tries, 484955769 fired transitions, 3310 secs || 27547496 markings, 209290876 edges, 8361 markings/sec, 3310 secs
lola: 486 tries, 485649222 fired transitions, 3315 secs || 27588776 markings, 209608657 edges, 8256 markings/sec, 3315 secs
lola: 487 tries, 486341624 fired transitions, 3320 secs || 27630563 markings, 209924624 edges, 8357 markings/sec, 3320 secs
lola: 488 tries, 487035347 fired transitions, 3325 secs || 27670105 markings, 210240301 edges, 7908 markings/sec, 3325 secs
lola: 488 tries, 487724427 fired transitions, 3330 secs || 27711889 markings, 210553144 edges, 8357 markings/sec, 3330 secs
lola: 489 tries, 488418106 fired transitions, 3335 secs || 27750817 markings, 210869076 edges, 7786 markings/sec, 3335 secs
lola: 490 tries, 489174296 fired transitions, 3340 secs || 27794010 markings, 211182834 edges, 8639 markings/sec, 3340 secs
lola: 491 tries, 490173919 fired transitions, 3345 secs || 27834495 markings, 211499004 edges, 8097 markings/sec, 3345 secs
lola: 491 tries, 490865310 fired transitions, 3350 secs || 27874049 markings, 211809410 edges, 7911 markings/sec, 3350 secs
lola: 492 tries, 491553262 fired transitions, 3355 secs || 27919403 markings, 212124843 edges, 9071 markings/sec, 3355 secs
lola: 493 tries, 492243503 fired transitions, 3360 secs || 27960207 markings, 212434892 edges, 8161 markings/sec, 3360 secs
lola: 493 tries, 492935404 fired transitions, 3365 secs || 28001578 markings, 212753235 edges, 8274 markings/sec, 3365 secs
lola: 494 tries, 493628195 fired transitions, 3370 secs || 28041196 markings, 213071886 edges, 7924 markings/sec, 3370 secs
lola: 495 tries, 494317104 fired transitions, 3375 secs || 28084246 markings, 213384860 edges, 8610 markings/sec, 3375 secs
lola: 496 tries, 495004962 fired transitions, 3380 secs || 28124236 markings, 213698770 edges, 7998 markings/sec, 3380 secs
lola: 496 tries, 495692101 fired transitions, 3385 secs || 28165200 markings, 214012470 edges, 8193 markings/sec, 3385 secs
lola: 497 tries, 496370980 fired transitions, 3390 secs || 28207610 markings, 214326693 edges, 8482 markings/sec, 3390 secs
lola: 498 tries, 497059934 fired transitions, 3395 secs || 28256103 markings, 214641496 edges, 9699 markings/sec, 3395 secs
lola: 498 tries, 497748551 fired transitions, 3400 secs || 28292895 markings, 214959584 edges, 7358 markings/sec, 3400 secs
lola: 499 tries, 498437086 fired transitions, 3405 secs || 28334375 markings, 215274190 edges, 8296 markings/sec, 3405 secs
lola: 500 tries, 499113085 fired transitions, 3410 secs || 28375766 markings, 215586890 edges, 8278 markings/sec, 3410 secs
lola: 500 tries, 499800564 fired transitions, 3415 secs || 28417894 markings, 215897935 edges, 8426 markings/sec, 3415 secs
lola: 501 tries, 500489374 fired transitions, 3420 secs || 28456709 markings, 216209029 edges, 7763 markings/sec, 3420 secs
lola: 502 tries, 501176670 fired transitions, 3425 secs || 28498389 markings, 216524215 edges, 8336 markings/sec, 3425 secs
lola: 502 tries, 501868520 fired transitions, 3430 secs || 28540465 markings, 216840571 edges, 8415 markings/sec, 3430 secs
lola: 503 tries, 502558654 fired transitions, 3435 secs || 28581778 markings, 217156911 edges, 8263 markings/sec, 3435 secs
lola: 504 tries, 503396666 fired transitions, 3440 secs || 28622540 markings, 217473273 edges, 8152 markings/sec, 3440 secs
lola: 505 tries, 504309612 fired transitions, 3445 secs || 28663824 markings, 217788525 edges, 8257 markings/sec, 3445 secs
lola: 506 tries, 505003568 fired transitions, 3450 secs || 28705137 markings, 218105021 edges, 8263 markings/sec, 3450 secs
lola: 507 tries, 506061352 fired transitions, 3455 secs || 28746421 markings, 218420140 edges, 8257 markings/sec, 3455 secs
lola: 507 tries, 506752625 fired transitions, 3460 secs || 28788913 markings, 218736323 edges, 8498 markings/sec, 3460 secs
lola: 508 tries, 507442626 fired transitions, 3465 secs || 28829905 markings, 219051584 edges, 8198 markings/sec, 3465 secs
lola: 509 tries, 508135000 fired transitions, 3470 secs || 28874168 markings, 219366303 edges, 8853 markings/sec, 3470 secs
lola: 509 tries, 508827841 fired transitions, 3475 secs || 28913056 markings, 219684099 edges, 7778 markings/sec, 3475 secs
lola: 510 tries, 509519657 fired transitions, 3480 secs || 28955602 markings, 219998996 edges, 8509 markings/sec, 3480 secs
lola: 511 tries, 510211419 fired transitions, 3485 secs || 29001243 markings, 220313307 edges, 9128 markings/sec, 3485 secs
lola: 511 tries, 510903735 fired transitions, 3490 secs || 29039029 markings, 220630125 edges, 7557 markings/sec, 3490 secs
lola: 512 tries, 511593627 fired transitions, 3495 secs || 29079351 markings, 220945292 edges, 8064 markings/sec, 3495 secs
lola: 513 tries, 512452516 fired transitions, 3500 secs || 29119627 markings, 221260896 edges, 8055 markings/sec, 3500 secs
lola: 514 tries, 513341812 fired transitions, 3505 secs || 29163098 markings, 221575760 edges, 8694 markings/sec, 3505 secs
lola: 515 tries, 514030797 fired transitions, 3510 secs || 29204295 markings, 221890555 edges, 8239 markings/sec, 3510 secs
lola: 515 tries, 514716195 fired transitions, 3515 secs || 29243588 markings, 222203524 edges, 7859 markings/sec, 3515 secs
lola: 516 tries, 515398383 fired transitions, 3520 secs || 29290959 markings, 222512591 edges, 9474 markings/sec, 3520 secs
lola: 517 tries, 516084208 fired transitions, 3525 secs || 29326281 markings, 222828068 edges, 7064 markings/sec, 3525 secs
lola: 517 tries, 516769173 fired transitions, 3530 secs || 29368351 markings, 223139127 edges, 8414 markings/sec, 3530 secs
lola: 518 tries, 517719808 fired transitions, 3535 secs || 29408495 markings, 223450880 edges, 8029 markings/sec, 3535 secs
lola: 519 tries, 518509200 fired transitions, 3540 secs || 29451697 markings, 223762433 edges, 8640 markings/sec, 3540 secs
lola: 520 tries, 519193052 fired transitions, 3545 secs || 29492233 markings, 224076167 edges, 8107 markings/sec, 3545 secs
lola: 520 tries, 519878575 fired transitions, 3550 secs || 29531172 markings, 224388483 edges, 7788 markings/sec, 3550 secs
lola: 521 tries, 520568483 fired transitions, 3555 secs || 29574470 markings, 224701618 edges, 8660 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1981372 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 1552582343584

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D30N100, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-ebro-155234654800174"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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