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-155234654700156.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-D30N010, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700156
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.5K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:55 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.3K 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.4K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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-D30N010-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552574107384

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

{
"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 14:35:07 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1708900,
"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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 645933 fired transitions, 0 secs || 43595 markings, 313233 edges, 8719 markings/sec, 0 secs
lola: 2 tries, 1332303 fired transitions, 5 secs || 86119 markings, 635523 edges, 8505 markings/sec, 5 secs
lola: 3 tries, 2019183 fired transitions, 10 secs || 129034 markings, 957090 edges, 8583 markings/sec, 10 secs
lola: 3 tries, 2696004 fired transitions, 15 secs || 170868 markings, 1277835 edges, 8367 markings/sec, 15 secs
lola: 4 tries, 3380836 fired transitions, 20 secs || 212789 markings, 1598552 edges, 8384 markings/sec, 20 secs
lola: 5 tries, 4067624 fired transitions, 25 secs || 256160 markings, 1914786 edges, 8674 markings/sec, 25 secs
lola: 5 tries, 4758719 fired transitions, 30 secs || 296440 markings, 2231541 edges, 8056 markings/sec, 30 secs
lola: 6 tries, 5450233 fired transitions, 35 secs || 337244 markings, 2543254 edges, 8161 markings/sec, 35 secs
lola: 7 tries, 6143863 fired transitions, 40 secs || 378017 markings, 2856290 edges, 8155 markings/sec, 40 secs
lola: 7 tries, 6823001 fired transitions, 45 secs || 421751 markings, 3168832 edges, 8747 markings/sec, 45 secs
lola: 8 tries, 7488625 fired transitions, 50 secs || 460954 markings, 3487480 edges, 7841 markings/sec, 50 secs
lola: 9 tries, 8172850 fired transitions, 55 secs || 503131 markings, 3808723 edges, 8435 markings/sec, 55 secs
lola: 9 tries, 8854926 fired transitions, 60 secs || 545764 markings, 4128221 edges, 8527 markings/sec, 60 secs
lola: 10 tries, 9504956 fired transitions, 65 secs || 587376 markings, 4442235 edges, 8322 markings/sec, 65 secs
lola: 11 tries, 10177051 fired transitions, 70 secs || 629645 markings, 4765499 edges, 8454 markings/sec, 70 secs
lola: 11 tries, 10748817 fired transitions, 75 secs || 664956 markings, 5039786 edges, 7062 markings/sec, 75 secs
lola: 12 tries, 11438015 fired transitions, 80 secs || 707289 markings, 5361815 edges, 8467 markings/sec, 80 secs
lola: 13 tries, 12131613 fired transitions, 85 secs || 750463 markings, 5683297 edges, 8635 markings/sec, 85 secs
lola: 13 tries, 12803994 fired transitions, 90 secs || 792483 markings, 6004416 edges, 8404 markings/sec, 90 secs
lola: 14 tries, 13492680 fired transitions, 95 secs || 834728 markings, 6324744 edges, 8449 markings/sec, 95 secs
lola: 15 tries, 14176464 fired transitions, 100 secs || 875925 markings, 6637379 edges, 8239 markings/sec, 100 secs
lola: 15 tries, 14840068 fired transitions, 105 secs || 917464 markings, 6949229 edges, 8308 markings/sec, 105 secs
lola: 16 tries, 15514982 fired transitions, 110 secs || 958298 markings, 7263164 edges, 8167 markings/sec, 110 secs
lola: 17 tries, 16198307 fired transitions, 115 secs || 999974 markings, 7580520 edges, 8335 markings/sec, 115 secs
lola: 17 tries, 16885949 fired transitions, 120 secs || 1041198 markings, 7895244 edges, 8245 markings/sec, 120 secs
lola: 18 tries, 17572343 fired transitions, 125 secs || 1083053 markings, 8210263 edges, 8371 markings/sec, 125 secs
lola: 19 tries, 18259219 fired transitions, 130 secs || 1125358 markings, 8530964 edges, 8461 markings/sec, 130 secs
lola: 19 tries, 18945619 fired transitions, 135 secs || 1167885 markings, 8849705 edges, 8505 markings/sec, 135 secs
lola: 20 tries, 19623615 fired transitions, 140 secs || 1210079 markings, 9169348 edges, 8439 markings/sec, 140 secs
lola: 21 tries, 20308741 fired transitions, 145 secs || 1252172 markings, 9488143 edges, 8419 markings/sec, 145 secs
lola: 21 tries, 20991687 fired transitions, 150 secs || 1293788 markings, 9804690 edges, 8323 markings/sec, 150 secs
lola: 22 tries, 21677716 fired transitions, 155 secs || 1333992 markings, 10121658 edges, 8041 markings/sec, 155 secs
lola: 23 tries, 22361851 fired transitions, 160 secs || 1375600 markings, 10439005 edges, 8322 markings/sec, 160 secs
lola: 24 tries, 23047637 fired transitions, 165 secs || 1418815 markings, 10758184 edges, 8643 markings/sec, 165 secs
lola: 24 tries, 23733978 fired transitions, 170 secs || 1459441 markings, 11076602 edges, 8125 markings/sec, 170 secs
lola: 25 tries, 24419739 fired transitions, 175 secs || 1502766 markings, 11396656 edges, 8665 markings/sec, 175 secs
lola: 26 tries, 25105136 fired transitions, 180 secs || 1544956 markings, 11715903 edges, 8438 markings/sec, 180 secs
lola: 26 tries, 25792232 fired transitions, 185 secs || 1585318 markings, 12030073 edges, 8072 markings/sec, 185 secs
lola: 27 tries, 26473762 fired transitions, 190 secs || 1626292 markings, 12340795 edges, 8195 markings/sec, 190 secs
lola: 28 tries, 27158203 fired transitions, 195 secs || 1666135 markings, 12649361 edges, 7969 markings/sec, 195 secs
lola: 28 tries, 27843723 fired transitions, 200 secs || 1708727 markings, 12967530 edges, 8518 markings/sec, 200 secs
lola: 29 tries, 28529272 fired transitions, 205 secs || 1751157 markings, 13284161 edges, 8486 markings/sec, 205 secs
lola: 30 tries, 29208754 fired transitions, 210 secs || 1790957 markings, 13597019 edges, 7960 markings/sec, 210 secs
lola: 30 tries, 29890230 fired transitions, 215 secs || 1827379 markings, 13875108 edges, 7284 markings/sec, 215 secs
lola: 31 tries, 30296788 fired transitions, 220 secs || 1848168 markings, 14038430 edges, 4158 markings/sec, 220 secs
lola: 31 tries, 30640461 fired transitions, 225 secs || 1866773 markings, 14177452 edges, 3721 markings/sec, 225 secs
lola: 32 tries, 31150406 fired transitions, 230 secs || 1893508 markings, 14379377 edges, 5347 markings/sec, 230 secs
lola: 32 tries, 31829850 fired transitions, 235 secs || 1929106 markings, 14649013 edges, 7120 markings/sec, 235 secs
lola: 33 tries, 32279020 fired transitions, 240 secs || 1953262 markings, 14832760 edges, 4831 markings/sec, 240 secs
lola: 33 tries, 32954213 fired transitions, 245 secs || 1991058 markings, 15106549 edges, 7559 markings/sec, 245 secs
lola: 34 tries, 33639337 fired transitions, 250 secs || 2024746 markings, 15382256 edges, 6738 markings/sec, 250 secs
lola: 35 tries, 34223330 fired transitions, 255 secs || 2057097 markings, 15619111 edges, 6470 markings/sec, 255 secs
lola: 35 tries, 34600824 fired transitions, 260 secs || 2076421 markings, 15769235 edges, 3865 markings/sec, 260 secs
lola: 36 tries, 35031622 fired transitions, 265 secs || 2099025 markings, 15942675 edges, 4521 markings/sec, 265 secs
lola: 36 tries, 35718180 fired transitions, 270 secs || 2134824 markings, 16211548 edges, 7160 markings/sec, 270 secs
lola: 37 tries, 36404740 fired transitions, 275 secs || 2170385 markings, 16483481 edges, 7112 markings/sec, 275 secs
lola: 38 tries, 37088834 fired transitions, 280 secs || 2208093 markings, 16755167 edges, 7542 markings/sec, 280 secs
lola: 38 tries, 37780379 fired transitions, 285 secs || 2242893 markings, 17033967 edges, 6960 markings/sec, 285 secs
lola: 39 tries, 38462947 fired transitions, 290 secs || 2278298 markings, 17310080 edges, 7081 markings/sec, 290 secs
lola: 40 tries, 39138381 fired transitions, 295 secs || 2313944 markings, 17573795 edges, 7129 markings/sec, 295 secs
lola: 40 tries, 39818084 fired transitions, 300 secs || 2348647 markings, 17838802 edges, 6941 markings/sec, 300 secs
lola: 41 tries, 40495508 fired transitions, 305 secs || 2383689 markings, 18101268 edges, 7008 markings/sec, 305 secs
lola: 42 tries, 41155889 fired transitions, 310 secs || 2417975 markings, 18368644 edges, 6857 markings/sec, 310 secs
lola: 42 tries, 41840589 fired transitions, 315 secs || 2453855 markings, 18636260 edges, 7176 markings/sec, 315 secs
lola: 43 tries, 42451710 fired transitions, 320 secs || 2485756 markings, 18875712 edges, 6380 markings/sec, 320 secs
lola: 43 tries, 42856413 fired transitions, 325 secs || 2506527 markings, 19041745 edges, 4154 markings/sec, 325 secs
lola: 44 tries, 43430309 fired transitions, 330 secs || 2537838 markings, 19261500 edges, 6262 markings/sec, 330 secs
lola: 45 tries, 44115583 fired transitions, 335 secs || 2570041 markings, 19523589 edges, 6441 markings/sec, 335 secs
lola: 45 tries, 44801027 fired transitions, 340 secs || 2603801 markings, 19782590 edges, 6752 markings/sec, 340 secs
lola: 46 tries, 45212473 fired transitions, 345 secs || 2626221 markings, 19940693 edges, 4484 markings/sec, 345 secs
lola: 46 tries, 45649013 fired transitions, 350 secs || 2652094 markings, 20123941 edges, 5175 markings/sec, 350 secs
lola: 47 tries, 46323188 fired transitions, 355 secs || 2687276 markings, 20409580 edges, 7036 markings/sec, 355 secs
lola: 47 tries, 46999694 fired transitions, 360 secs || 2722240 markings, 20675904 edges, 6993 markings/sec, 360 secs
lola: 48 tries, 47675612 fired transitions, 365 secs || 2758173 markings, 20943437 edges, 7187 markings/sec, 365 secs
lola: 49 tries, 48333841 fired transitions, 370 secs || 2794178 markings, 21220906 edges, 7201 markings/sec, 370 secs
lola: 50 tries, 49018663 fired transitions, 375 secs || 2831095 markings, 21501192 edges, 7383 markings/sec, 375 secs
lola: 50 tries, 49707161 fired transitions, 380 secs || 2864017 markings, 21755583 edges, 6584 markings/sec, 380 secs
lola: 51 tries, 50394247 fired transitions, 385 secs || 2897147 markings, 22013063 edges, 6626 markings/sec, 385 secs
lola: 52 tries, 51074112 fired transitions, 390 secs || 2933619 markings, 22288186 edges, 7294 markings/sec, 390 secs
lola: 52 tries, 51762580 fired transitions, 395 secs || 2969273 markings, 22557811 edges, 7131 markings/sec, 395 secs
lola: 53 tries, 52442196 fired transitions, 400 secs || 3005693 markings, 22828563 edges, 7284 markings/sec, 400 secs
lola: 54 tries, 53120468 fired transitions, 405 secs || 3041869 markings, 23092166 edges, 7235 markings/sec, 405 secs
lola: 54 tries, 53810518 fired transitions, 410 secs || 3074794 markings, 23358718 edges, 6585 markings/sec, 410 secs
lola: 55 tries, 54486731 fired transitions, 415 secs || 3109998 markings, 23621892 edges, 7041 markings/sec, 415 secs
lola: 56 tries, 55167468 fired transitions, 420 secs || 3144075 markings, 23882329 edges, 6815 markings/sec, 420 secs
lola: 56 tries, 55861844 fired transitions, 425 secs || 3178243 markings, 24143590 edges, 6834 markings/sec, 425 secs
lola: 57 tries, 56554470 fired transitions, 430 secs || 3215065 markings, 24410048 edges, 7364 markings/sec, 430 secs
lola: 58 tries, 57247936 fired transitions, 435 secs || 3248522 markings, 24678285 edges, 6691 markings/sec, 435 secs
lola: 58 tries, 57940324 fired transitions, 440 secs || 3284035 markings, 24941910 edges, 7103 markings/sec, 440 secs
lola: 59 tries, 58625837 fired transitions, 445 secs || 3317144 markings, 25195314 edges, 6622 markings/sec, 445 secs
lola: 60 tries, 59244780 fired transitions, 450 secs || 3347984 markings, 25436745 edges, 6168 markings/sec, 450 secs
lola: 60 tries, 59591811 fired transitions, 455 secs || 3368097 markings, 25574918 edges, 4023 markings/sec, 455 secs
lola: 60 tries, 59939493 fired transitions, 460 secs || 3385349 markings, 25713992 edges, 3450 markings/sec, 460 secs
lola: 61 tries, 60609043 fired transitions, 465 secs || 3421013 markings, 25984283 edges, 7133 markings/sec, 465 secs
lola: 62 tries, 61294253 fired transitions, 470 secs || 3454926 markings, 26238946 edges, 6783 markings/sec, 470 secs
lola: 62 tries, 61972941 fired transitions, 475 secs || 3492669 markings, 26518029 edges, 7549 markings/sec, 475 secs
lola: 63 tries, 62638530 fired transitions, 480 secs || 3528012 markings, 26799347 edges, 7069 markings/sec, 480 secs
lola: 64 tries, 63316734 fired transitions, 485 secs || 3562220 markings, 27062612 edges, 6842 markings/sec, 485 secs
lola: 64 tries, 63990442 fired transitions, 490 secs || 3598951 markings, 27330615 edges, 7346 markings/sec, 490 secs
lola: 65 tries, 64682584 fired transitions, 495 secs || 3635709 markings, 27618837 edges, 7352 markings/sec, 495 secs
lola: 66 tries, 65365149 fired transitions, 500 secs || 3671009 markings, 27888659 edges, 7060 markings/sec, 500 secs
lola: 67 tries, 66044144 fired transitions, 505 secs || 3706295 markings, 28146699 edges, 7057 markings/sec, 505 secs
lola: 67 tries, 66728857 fired transitions, 510 secs || 3738870 markings, 28408922 edges, 6515 markings/sec, 510 secs
lola: 68 tries, 67412466 fired transitions, 515 secs || 3774493 markings, 28676746 edges, 7125 markings/sec, 515 secs
lola: 69 tries, 68086075 fired transitions, 520 secs || 3810424 markings, 28943665 edges, 7186 markings/sec, 520 secs
lola: 69 tries, 68770634 fired transitions, 525 secs || 3846519 markings, 29218671 edges, 7219 markings/sec, 525 secs
lola: 70 tries, 69448861 fired transitions, 530 secs || 3882111 markings, 29486049 edges, 7118 markings/sec, 530 secs
lola: 71 tries, 70130879 fired transitions, 535 secs || 3915389 markings, 29747835 edges, 6656 markings/sec, 535 secs
lola: 71 tries, 70809794 fired transitions, 540 secs || 3951708 markings, 30021008 edges, 7264 markings/sec, 540 secs
lola: 72 tries, 71487739 fired transitions, 545 secs || 3988239 markings, 30298193 edges, 7306 markings/sec, 545 secs
lola: 73 tries, 72160632 fired transitions, 550 secs || 4023129 markings, 30564222 edges, 6978 markings/sec, 550 secs
lola: 73 tries, 72834210 fired transitions, 555 secs || 4058614 markings, 30823445 edges, 7097 markings/sec, 555 secs
lola: 74 tries, 73497656 fired transitions, 560 secs || 4096366 markings, 31102919 edges, 7550 markings/sec, 560 secs
lola: 75 tries, 74163891 fired transitions, 565 secs || 4131804 markings, 31386630 edges, 7088 markings/sec, 565 secs
lola: 75 tries, 74845251 fired transitions, 570 secs || 4165839 markings, 31650889 edges, 6807 markings/sec, 570 secs
lola: 76 tries, 75511035 fired transitions, 575 secs || 4200380 markings, 31911173 edges, 6908 markings/sec, 575 secs
lola: 77 tries, 76176215 fired transitions, 580 secs || 4237337 markings, 32193651 edges, 7391 markings/sec, 580 secs
lola: 77 tries, 76840656 fired transitions, 585 secs || 4272974 markings, 32463119 edges, 7127 markings/sec, 585 secs
lola: 78 tries, 77508303 fired transitions, 590 secs || 4305172 markings, 32708999 edges, 6440 markings/sec, 590 secs
lola: 79 tries, 78180468 fired transitions, 595 secs || 4339160 markings, 32962876 edges, 6798 markings/sec, 595 secs
lola: 79 tries, 78851494 fired transitions, 600 secs || 4374263 markings, 33226005 edges, 7021 markings/sec, 600 secs
lola: 80 tries, 79490447 fired transitions, 605 secs || 4411153 markings, 33497749 edges, 7378 markings/sec, 605 secs
lola: 81 tries, 80132554 fired transitions, 610 secs || 4444662 markings, 33769664 edges, 6702 markings/sec, 610 secs
lola: 81 tries, 80784664 fired transitions, 615 secs || 4479843 markings, 34038972 edges, 7036 markings/sec, 615 secs
lola: 82 tries, 81437086 fired transitions, 620 secs || 4516780 markings, 34306461 edges, 7387 markings/sec, 620 secs
lola: 83 tries, 82094987 fired transitions, 625 secs || 4553031 markings, 34587693 edges, 7250 markings/sec, 625 secs
lola: 83 tries, 82749192 fired transitions, 630 secs || 4587459 markings, 34851284 edges, 6886 markings/sec, 630 secs
lola: 84 tries, 83404575 fired transitions, 635 secs || 4622366 markings, 35118430 edges, 6981 markings/sec, 635 secs
lola: 85 tries, 84059816 fired transitions, 640 secs || 4657129 markings, 35379442 edges, 6953 markings/sec, 640 secs
lola: 85 tries, 84717901 fired transitions, 645 secs || 4695545 markings, 35669575 edges, 7683 markings/sec, 645 secs
lola: 86 tries, 85373369 fired transitions, 650 secs || 4729258 markings, 35926221 edges, 6743 markings/sec, 650 secs
lola: 87 tries, 86038496 fired transitions, 655 secs || 4762234 markings, 36184425 edges, 6595 markings/sec, 655 secs
lola: 87 tries, 86697769 fired transitions, 660 secs || 4799444 markings, 36455325 edges, 7442 markings/sec, 660 secs
lola: 88 tries, 87378021 fired transitions, 665 secs || 4836387 markings, 36739891 edges, 7389 markings/sec, 665 secs
lola: 89 tries, 88031613 fired transitions, 670 secs || 4875801 markings, 37019708 edges, 7883 markings/sec, 670 secs
lola: 89 tries, 88705039 fired transitions, 675 secs || 4911631 markings, 37313058 edges, 7166 markings/sec, 675 secs
lola: 90 tries, 89354090 fired transitions, 680 secs || 4947101 markings, 37585101 edges, 7094 markings/sec, 680 secs
lola: 91 tries, 90014699 fired transitions, 685 secs || 4981484 markings, 37851536 edges, 6877 markings/sec, 685 secs
lola: 91 tries, 90700658 fired transitions, 690 secs || 5018469 markings, 38125725 edges, 7397 markings/sec, 690 secs
lola: 92 tries, 91365818 fired transitions, 695 secs || 5054657 markings, 38400621 edges, 7238 markings/sec, 695 secs
lola: 92 tries, 91966685 fired transitions, 700 secs || 5089162 markings, 38657961 edges, 6901 markings/sec, 700 secs
lola: 93 tries, 92640643 fired transitions, 705 secs || 5122560 markings, 38917023 edges, 6680 markings/sec, 705 secs
lola: 94 tries, 93324689 fired transitions, 710 secs || 5155754 markings, 39176326 edges, 6639 markings/sec, 710 secs
lola: 94 tries, 93881193 fired transitions, 715 secs || 5187443 markings, 39411334 edges, 6338 markings/sec, 715 secs
lola: 95 tries, 94569170 fired transitions, 720 secs || 5226021 markings, 39704518 edges, 7716 markings/sec, 720 secs
lola: 96 tries, 95249844 fired transitions, 725 secs || 5265100 markings, 39998927 edges, 7816 markings/sec, 725 secs
lola: 96 tries, 95931504 fired transitions, 730 secs || 5302679 markings, 40280517 edges, 7516 markings/sec, 730 secs
lola: 97 tries, 96619091 fired transitions, 735 secs || 5337280 markings, 40537283 edges, 6920 markings/sec, 735 secs
lola: 98 tries, 97308285 fired transitions, 740 secs || 5370315 markings, 40795665 edges, 6607 markings/sec, 740 secs
lola: 98 tries, 97997863 fired transitions, 745 secs || 5402925 markings, 41048014 edges, 6522 markings/sec, 745 secs
lola: 99 tries, 98686977 fired transitions, 750 secs || 5437247 markings, 41309166 edges, 6864 markings/sec, 750 secs
lola: 100 tries, 99375776 fired transitions, 755 secs || 5471758 markings, 41575878 edges, 6902 markings/sec, 755 secs
lola: 101 tries, 100063807 fired transitions, 760 secs || 5508280 markings, 41852140 edges, 7304 markings/sec, 760 secs
lola: 101 tries, 100751688 fired transitions, 765 secs || 5543965 markings, 42126867 edges, 7137 markings/sec, 765 secs
lola: 102 tries, 101440302 fired transitions, 770 secs || 5581223 markings, 42404555 edges, 7452 markings/sec, 770 secs
lola: 103 tries, 102129154 fired transitions, 775 secs || 5617638 markings, 42682550 edges, 7283 markings/sec, 775 secs
lola: 103 tries, 102817104 fired transitions, 780 secs || 5654125 markings, 42960134 edges, 7297 markings/sec, 780 secs
lola: 104 tries, 103505128 fired transitions, 785 secs || 5688438 markings, 43225421 edges, 6863 markings/sec, 785 secs
lola: 105 tries, 104192972 fired transitions, 790 secs || 5724351 markings, 43497046 edges, 7183 markings/sec, 790 secs
lola: 105 tries, 104880733 fired transitions, 795 secs || 5760976 markings, 43771501 edges, 7325 markings/sec, 795 secs
lola: 106 tries, 105569167 fired transitions, 800 secs || 5797908 markings, 44050297 edges, 7386 markings/sec, 800 secs
lola: 107 tries, 106250557 fired transitions, 805 secs || 5833814 markings, 44322297 edges, 7181 markings/sec, 805 secs
lola: 107 tries, 106939273 fired transitions, 810 secs || 5868718 markings, 44585779 edges, 6981 markings/sec, 810 secs
lola: 108 tries, 107628882 fired transitions, 815 secs || 5904825 markings, 44863802 edges, 7221 markings/sec, 815 secs
lola: 109 tries, 108304535 fired transitions, 820 secs || 5941889 markings, 45143819 edges, 7413 markings/sec, 820 secs
lola: 109 tries, 108994883 fired transitions, 825 secs || 5977405 markings, 45420905 edges, 7103 markings/sec, 825 secs
lola: 110 tries, 109676031 fired transitions, 830 secs || 6013962 markings, 45685238 edges, 7311 markings/sec, 830 secs
lola: 111 tries, 110357932 fired transitions, 835 secs || 6051672 markings, 45962334 edges, 7542 markings/sec, 835 secs
lola: 112 tries, 111047756 fired transitions, 840 secs || 6086312 markings, 46243945 edges, 6928 markings/sec, 840 secs
lola: 112 tries, 111738672 fired transitions, 845 secs || 6120686 markings, 46510178 edges, 6875 markings/sec, 845 secs
lola: 113 tries, 112429066 fired transitions, 850 secs || 6156769 markings, 46781157 edges, 7217 markings/sec, 850 secs
lola: 114 tries, 113118331 fired transitions, 855 secs || 6193377 markings, 47059972 edges, 7322 markings/sec, 855 secs
lola: 114 tries, 113805334 fired transitions, 860 secs || 6229155 markings, 47325649 edges, 7156 markings/sec, 860 secs
lola: 115 tries, 114494839 fired transitions, 865 secs || 6262321 markings, 47584118 edges, 6633 markings/sec, 865 secs
lola: 116 tries, 115183863 fired transitions, 870 secs || 6296139 markings, 47842583 edges, 6764 markings/sec, 870 secs
lola: 116 tries, 115864460 fired transitions, 875 secs || 6332011 markings, 48111820 edges, 7174 markings/sec, 875 secs
lola: 117 tries, 116554046 fired transitions, 880 secs || 6367239 markings, 48376777 edges, 7046 markings/sec, 880 secs
lola: 118 tries, 117243359 fired transitions, 885 secs || 6402365 markings, 48649229 edges, 7025 markings/sec, 885 secs
lola: 118 tries, 117931590 fired transitions, 890 secs || 6437825 markings, 48915159 edges, 7092 markings/sec, 890 secs
lola: 119 tries, 118611101 fired transitions, 895 secs || 6471727 markings, 49171781 edges, 6780 markings/sec, 895 secs
lola: 120 tries, 119293285 fired transitions, 900 secs || 6505627 markings, 49434552 edges, 6780 markings/sec, 900 secs
lola: 120 tries, 119975635 fired transitions, 905 secs || 6542572 markings, 49709327 edges, 7389 markings/sec, 905 secs
lola: 121 tries, 120655783 fired transitions, 910 secs || 6576894 markings, 49976356 edges, 6864 markings/sec, 910 secs
lola: 122 tries, 121336171 fired transitions, 915 secs || 6611803 markings, 50239287 edges, 6982 markings/sec, 915 secs
lola: 123 tries, 122019934 fired transitions, 920 secs || 6650123 markings, 50508564 edges, 7664 markings/sec, 920 secs
lola: 123 tries, 122697660 fired transitions, 925 secs || 6684990 markings, 50792267 edges, 6973 markings/sec, 925 secs
lola: 124 tries, 123372666 fired transitions, 930 secs || 6718994 markings, 51053659 edges, 6801 markings/sec, 930 secs
lola: 125 tries, 124031909 fired transitions, 935 secs || 6750722 markings, 51295780 edges, 6346 markings/sec, 935 secs
lola: 125 tries, 124716316 fired transitions, 940 secs || 6785460 markings, 51556929 edges, 6948 markings/sec, 940 secs
lola: 126 tries, 125399023 fired transitions, 945 secs || 6822545 markings, 51832745 edges, 7417 markings/sec, 945 secs
lola: 127 tries, 126082672 fired transitions, 950 secs || 6854166 markings, 52078877 edges, 6324 markings/sec, 950 secs
lola: 127 tries, 126759543 fired transitions, 955 secs || 6888076 markings, 52326246 edges, 6782 markings/sec, 955 secs
lola: 128 tries, 127430584 fired transitions, 960 secs || 6922229 markings, 52590183 edges, 6831 markings/sec, 960 secs
lola: 129 tries, 128106613 fired transitions, 965 secs || 6955954 markings, 52855891 edges, 6745 markings/sec, 965 secs
lola: 129 tries, 128789501 fired transitions, 970 secs || 6991524 markings, 53121082 edges, 7114 markings/sec, 970 secs
lola: 130 tries, 129471788 fired transitions, 975 secs || 7025241 markings, 53378313 edges, 6743 markings/sec, 975 secs
lola: 131 tries, 130140704 fired transitions, 980 secs || 7060192 markings, 53637521 edges, 6990 markings/sec, 980 secs
lola: 131 tries, 130814490 fired transitions, 985 secs || 7097446 markings, 53910103 edges, 7451 markings/sec, 985 secs
lola: 132 tries, 131492272 fired transitions, 990 secs || 7132737 markings, 54191722 edges, 7058 markings/sec, 990 secs
lola: 133 tries, 132169475 fired transitions, 995 secs || 7166266 markings, 54455762 edges, 6706 markings/sec, 995 secs
lola: 133 tries, 132841574 fired transitions, 1000 secs || 7202268 markings, 54724762 edges, 7200 markings/sec, 1000 secs
lola: 134 tries, 133521195 fired transitions, 1005 secs || 7239659 markings, 55001716 edges, 7478 markings/sec, 1005 secs
lola: 135 tries, 134173048 fired transitions, 1010 secs || 7273954 markings, 55271411 edges, 6859 markings/sec, 1010 secs
lola: 135 tries, 134841214 fired transitions, 1015 secs || 7307892 markings, 55529493 edges, 6788 markings/sec, 1015 secs
lola: 136 tries, 135520466 fired transitions, 1020 secs || 7344055 markings, 55791607 edges, 7233 markings/sec, 1020 secs
lola: 137 tries, 136189164 fired transitions, 1025 secs || 7381774 markings, 56067414 edges, 7544 markings/sec, 1025 secs
lola: 137 tries, 136852000 fired transitions, 1030 secs || 7417574 markings, 56340057 edges, 7160 markings/sec, 1030 secs
lola: 138 tries, 137537185 fired transitions, 1035 secs || 7452410 markings, 56619612 edges, 6967 markings/sec, 1035 secs
lola: 139 tries, 138220868 fired transitions, 1040 secs || 7489334 markings, 56901761 edges, 7385 markings/sec, 1040 secs
lola: 139 tries, 138905944 fired transitions, 1045 secs || 7524392 markings, 57163750 edges, 7012 markings/sec, 1045 secs
lola: 140 tries, 139582525 fired transitions, 1050 secs || 7557580 markings, 57429293 edges, 6638 markings/sec, 1050 secs
lola: 141 tries, 140260514 fired transitions, 1055 secs || 7593978 markings, 57695149 edges, 7280 markings/sec, 1055 secs
lola: 141 tries, 140939167 fired transitions, 1060 secs || 7628788 markings, 57970421 edges, 6962 markings/sec, 1060 secs
lola: 142 tries, 141612624 fired transitions, 1065 secs || 7664159 markings, 58232410 edges, 7074 markings/sec, 1065 secs
lola: 143 tries, 142282889 fired transitions, 1070 secs || 7696272 markings, 58484157 edges, 6423 markings/sec, 1070 secs
lola: 143 tries, 142954150 fired transitions, 1075 secs || 7731067 markings, 58740077 edges, 6959 markings/sec, 1075 secs
lola: 144 tries, 143611026 fired transitions, 1080 secs || 7769368 markings, 59030785 edges, 7660 markings/sec, 1080 secs
lola: 145 tries, 144278853 fired transitions, 1085 secs || 7807503 markings, 59322711 edges, 7627 markings/sec, 1085 secs
lola: 145 tries, 144964392 fired transitions, 1090 secs || 7845045 markings, 59614880 edges, 7508 markings/sec, 1090 secs
lola: 146 tries, 145636193 fired transitions, 1095 secs || 7879938 markings, 59873529 edges, 6979 markings/sec, 1095 secs
lola: 147 tries, 146297952 fired transitions, 1100 secs || 7913654 markings, 60130069 edges, 6743 markings/sec, 1100 secs
lola: 147 tries, 146977798 fired transitions, 1105 secs || 7948242 markings, 60387433 edges, 6918 markings/sec, 1105 secs
lola: 148 tries, 147638326 fired transitions, 1110 secs || 7981496 markings, 60645048 edges, 6651 markings/sec, 1110 secs
lola: 149 tries, 148304560 fired transitions, 1115 secs || 8014613 markings, 60904412 edges, 6623 markings/sec, 1115 secs
lola: 149 tries, 148989066 fired transitions, 1120 secs || 8050049 markings, 61174461 edges, 7087 markings/sec, 1120 secs
lola: 150 tries, 149666545 fired transitions, 1125 secs || 8086087 markings, 61445318 edges, 7208 markings/sec, 1125 secs
lola: 151 tries, 150332547 fired transitions, 1130 secs || 8122302 markings, 61712483 edges, 7243 markings/sec, 1130 secs
lola: 152 tries, 151012207 fired transitions, 1135 secs || 8155948 markings, 61981133 edges, 6729 markings/sec, 1135 secs
lola: 152 tries, 151693800 fired transitions, 1140 secs || 8191995 markings, 62249122 edges, 7209 markings/sec, 1140 secs
lola: 153 tries, 152383066 fired transitions, 1145 secs || 8227851 markings, 62514047 edges, 7171 markings/sec, 1145 secs
lola: 154 tries, 153074643 fired transitions, 1150 secs || 8264734 markings, 62785575 edges, 7377 markings/sec, 1150 secs
lola: 154 tries, 153767524 fired transitions, 1155 secs || 8298701 markings, 63059070 edges, 6793 markings/sec, 1155 secs
lola: 155 tries, 154460651 fired transitions, 1160 secs || 8333578 markings, 63327483 edges, 6975 markings/sec, 1160 secs
lola: 156 tries, 155153546 fired transitions, 1165 secs || 8370458 markings, 63596111 edges, 7376 markings/sec, 1165 secs
lola: 156 tries, 155845257 fired transitions, 1170 secs || 8406620 markings, 63875778 edges, 7232 markings/sec, 1170 secs
lola: 157 tries, 156522658 fired transitions, 1175 secs || 8441202 markings, 64142097 edges, 6916 markings/sec, 1175 secs
lola: 158 tries, 157214706 fired transitions, 1180 secs || 8477055 markings, 64412234 edges, 7171 markings/sec, 1180 secs
lola: 158 tries, 157908252 fired transitions, 1185 secs || 8510966 markings, 64674799 edges, 6782 markings/sec, 1185 secs
lola: 159 tries, 158601128 fired transitions, 1190 secs || 8549672 markings, 64964913 edges, 7741 markings/sec, 1190 secs
lola: 160 tries, 159278066 fired transitions, 1195 secs || 8581708 markings, 65209061 edges, 6407 markings/sec, 1195 secs
lola: 160 tries, 159969687 fired transitions, 1200 secs || 8614646 markings, 65458262 edges, 6588 markings/sec, 1200 secs
lola: 161 tries, 160652925 fired transitions, 1205 secs || 8649686 markings, 65719516 edges, 7008 markings/sec, 1205 secs
lola: 162 tries, 161344915 fired transitions, 1210 secs || 8684145 markings, 65992767 edges, 6892 markings/sec, 1210 secs
lola: 163 tries, 162026767 fired transitions, 1215 secs || 8721328 markings, 66270210 edges, 7437 markings/sec, 1215 secs
lola: 163 tries, 162707880 fired transitions, 1220 secs || 8757262 markings, 66544648 edges, 7187 markings/sec, 1220 secs
lola: 164 tries, 163398380 fired transitions, 1225 secs || 8792078 markings, 66803504 edges, 6963 markings/sec, 1225 secs
lola: 165 tries, 164087406 fired transitions, 1230 secs || 8830780 markings, 67081308 edges, 7740 markings/sec, 1230 secs
lola: 165 tries, 164764430 fired transitions, 1235 secs || 8865609 markings, 67366989 edges, 6966 markings/sec, 1235 secs
lola: 166 tries, 165453733 fired transitions, 1240 secs || 8899874 markings, 67633109 edges, 6853 markings/sec, 1240 secs
lola: 167 tries, 166140092 fired transitions, 1245 secs || 8935922 markings, 67901750 edges, 7210 markings/sec, 1245 secs
lola: 167 tries, 166823199 fired transitions, 1250 secs || 8973479 markings, 68188050 edges, 7511 markings/sec, 1250 secs
lola: 168 tries, 167503096 fired transitions, 1255 secs || 9010830 markings, 68461441 edges, 7470 markings/sec, 1255 secs
lola: 169 tries, 168179395 fired transitions, 1260 secs || 9044543 markings, 68721518 edges, 6743 markings/sec, 1260 secs
lola: 169 tries, 168868516 fired transitions, 1265 secs || 9079174 markings, 68987780 edges, 6926 markings/sec, 1265 secs
lola: 170 tries, 169549355 fired transitions, 1270 secs || 9117249 markings, 69264539 edges, 7615 markings/sec, 1270 secs
lola: 171 tries, 170236768 fired transitions, 1275 secs || 9155619 markings, 69552423 edges, 7674 markings/sec, 1275 secs
lola: 171 tries, 170924570 fired transitions, 1280 secs || 9191934 markings, 69842735 edges, 7263 markings/sec, 1280 secs
lola: 172 tries, 171611833 fired transitions, 1285 secs || 9229481 markings, 70126000 edges, 7509 markings/sec, 1285 secs
lola: 173 tries, 172297496 fired transitions, 1290 secs || 9264312 markings, 70392545 edges, 6966 markings/sec, 1290 secs
lola: 173 tries, 172979002 fired transitions, 1295 secs || 9299061 markings, 70668721 edges, 6950 markings/sec, 1295 secs
lola: 174 tries, 173660389 fired transitions, 1300 secs || 9334316 markings, 70930496 edges, 7051 markings/sec, 1300 secs
lola: 175 tries, 174332150 fired transitions, 1305 secs || 9372530 markings, 71225192 edges, 7643 markings/sec, 1305 secs
lola: 176 tries, 175000375 fired transitions, 1310 secs || 9406664 markings, 71481302 edges, 6827 markings/sec, 1310 secs
lola: 176 tries, 175688306 fired transitions, 1315 secs || 9441279 markings, 71740775 edges, 6923 markings/sec, 1315 secs
lola: 177 tries, 176361265 fired transitions, 1320 secs || 9477592 markings, 72019542 edges, 7263 markings/sec, 1320 secs
lola: 178 tries, 177051840 fired transitions, 1325 secs || 9516927 markings, 72314117 edges, 7867 markings/sec, 1325 secs
lola: 178 tries, 177736714 fired transitions, 1330 secs || 9553661 markings, 72600852 edges, 7347 markings/sec, 1330 secs
lola: 179 tries, 178374582 fired transitions, 1335 secs || 9591164 markings, 72879667 edges, 7501 markings/sec, 1335 secs
lola: 180 tries, 179049904 fired transitions, 1340 secs || 9625168 markings, 73133435 edges, 6801 markings/sec, 1340 secs
lola: 180 tries, 179724788 fired transitions, 1345 secs || 9657421 markings, 73382652 edges, 6451 markings/sec, 1345 secs
lola: 181 tries, 180403587 fired transitions, 1350 secs || 9691049 markings, 73641747 edges, 6726 markings/sec, 1350 secs
lola: 182 tries, 181088268 fired transitions, 1355 secs || 9724747 markings, 73899823 edges, 6740 markings/sec, 1355 secs
lola: 182 tries, 181776950 fired transitions, 1360 secs || 9759851 markings, 74156427 edges, 7021 markings/sec, 1360 secs
lola: 183 tries, 182457648 fired transitions, 1365 secs || 9793923 markings, 74419455 edges, 6814 markings/sec, 1365 secs
lola: 184 tries, 183147464 fired transitions, 1370 secs || 9828185 markings, 74681150 edges, 6852 markings/sec, 1370 secs
lola: 184 tries, 183830275 fired transitions, 1375 secs || 9863239 markings, 74948476 edges, 7011 markings/sec, 1375 secs
lola: 185 tries, 184509396 fired transitions, 1380 secs || 9898398 markings, 75218433 edges, 7032 markings/sec, 1380 secs
lola: 186 tries, 185197058 fired transitions, 1385 secs || 9933121 markings, 75480960 edges, 6945 markings/sec, 1385 secs
lola: 186 tries, 185875432 fired transitions, 1390 secs || 9972355 markings, 75758540 edges, 7847 markings/sec, 1390 secs
lola: 187 tries, 186564615 fired transitions, 1395 secs || 10006458 markings, 76035713 edges, 6821 markings/sec, 1395 secs
lola: 188 tries, 187252700 fired transitions, 1400 secs || 10040264 markings, 76292825 edges, 6761 markings/sec, 1400 secs
lola: 188 tries, 187941468 fired transitions, 1405 secs || 10074684 markings, 76556012 edges, 6884 markings/sec, 1405 secs
lola: 189 tries, 188626255 fired transitions, 1410 secs || 10111005 markings, 76832044 edges, 7264 markings/sec, 1410 secs
lola: 190 tries, 189298585 fired transitions, 1415 secs || 10148023 markings, 77110112 edges, 7404 markings/sec, 1415 secs
lola: 190 tries, 189988479 fired transitions, 1420 secs || 10181649 markings, 77366915 edges, 6725 markings/sec, 1420 secs
lola: 191 tries, 190678774 fired transitions, 1425 secs || 10213304 markings, 77614343 edges, 6331 markings/sec, 1425 secs
lola: 192 tries, 191370158 fired transitions, 1430 secs || 10252553 markings, 77886642 edges, 7850 markings/sec, 1430 secs
lola: 193 tries, 192058171 fired transitions, 1435 secs || 10289709 markings, 78163640 edges, 7431 markings/sec, 1435 secs
lola: 193 tries, 192732898 fired transitions, 1440 secs || 10323143 markings, 78430768 edges, 6687 markings/sec, 1440 secs
lola: 194 tries, 193422139 fired transitions, 1445 secs || 10358372 markings, 78709049 edges, 7046 markings/sec, 1445 secs
lola: 195 tries, 194113270 fired transitions, 1450 secs || 10392950 markings, 78967622 edges, 6916 markings/sec, 1450 secs
lola: 195 tries, 194735636 fired transitions, 1455 secs || 10421859 markings, 79197795 edges, 5782 markings/sec, 1455 secs
lola: 196 tries, 195082435 fired transitions, 1460 secs || 10439729 markings, 79333547 edges, 3574 markings/sec, 1460 secs
lola: 196 tries, 195542516 fired transitions, 1465 secs || 10462118 markings, 79502987 edges, 4478 markings/sec, 1465 secs
lola: 197 tries, 196229679 fired transitions, 1470 secs || 10497932 markings, 79775084 edges, 7163 markings/sec, 1470 secs
lola: 197 tries, 196921792 fired transitions, 1475 secs || 10535441 markings, 80054818 edges, 7502 markings/sec, 1475 secs
lola: 198 tries, 197611318 fired transitions, 1480 secs || 10569617 markings, 80313010 edges, 6835 markings/sec, 1480 secs
lola: 199 tries, 198298600 fired transitions, 1485 secs || 10601653 markings, 80568074 edges, 6407 markings/sec, 1485 secs
lola: 199 tries, 198983165 fired transitions, 1490 secs || 10639943 markings, 80847017 edges, 7658 markings/sec, 1490 secs
lola: 200 tries, 199668226 fired transitions, 1495 secs || 10676193 markings, 81128194 edges, 7250 markings/sec, 1495 secs
lola: 201 tries, 200357555 fired transitions, 1500 secs || 10713832 markings, 81419659 edges, 7528 markings/sec, 1500 secs
lola: 202 tries, 201047351 fired transitions, 1505 secs || 10750509 markings, 81690972 edges, 7335 markings/sec, 1505 secs
lola: 202 tries, 201737195 fired transitions, 1510 secs || 10784180 markings, 81944747 edges, 6734 markings/sec, 1510 secs
lola: 203 tries, 202420830 fired transitions, 1515 secs || 10816304 markings, 82193683 edges, 6425 markings/sec, 1515 secs
lola: 204 tries, 203105201 fired transitions, 1520 secs || 10849975 markings, 82440690 edges, 6734 markings/sec, 1520 secs
lola: 204 tries, 203789980 fired transitions, 1525 secs || 10882227 markings, 82690885 edges, 6450 markings/sec, 1525 secs
lola: 205 tries, 204476979 fired transitions, 1530 secs || 10919051 markings, 82953343 edges, 7365 markings/sec, 1530 secs
lola: 206 tries, 205164676 fired transitions, 1535 secs || 10955126 markings, 83231745 edges, 7215 markings/sec, 1535 secs
lola: 206 tries, 205851213 fired transitions, 1540 secs || 10992669 markings, 83509447 edges, 7509 markings/sec, 1540 secs
lola: 207 tries, 206536604 fired transitions, 1545 secs || 11027800 markings, 83794719 edges, 7026 markings/sec, 1545 secs
lola: 208 tries, 207223292 fired transitions, 1550 secs || 11067646 markings, 84073887 edges, 7969 markings/sec, 1550 secs
lola: 208 tries, 207911527 fired transitions, 1555 secs || 11103289 markings, 84348091 edges, 7129 markings/sec, 1555 secs
lola: 209 tries, 208601085 fired transitions, 1560 secs || 11137943 markings, 84633684 edges, 6931 markings/sec, 1560 secs
lola: 210 tries, 209287028 fired transitions, 1565 secs || 11175741 markings, 84922616 edges, 7560 markings/sec, 1565 secs
lola: 210 tries, 209974022 fired transitions, 1570 secs || 11211612 markings, 85185375 edges, 7174 markings/sec, 1570 secs
lola: 211 tries, 210659925 fired transitions, 1575 secs || 11246086 markings, 85449835 edges, 6895 markings/sec, 1575 secs
lola: 212 tries, 211323373 fired transitions, 1580 secs || 11280014 markings, 85712658 edges, 6786 markings/sec, 1580 secs
lola: 212 tries, 211996060 fired transitions, 1585 secs || 11315307 markings, 85986641 edges, 7059 markings/sec, 1585 secs
lola: 213 tries, 212679666 fired transitions, 1590 secs || 11349537 markings, 86244789 edges, 6846 markings/sec, 1590 secs
lola: 214 tries, 213362437 fired transitions, 1595 secs || 11386950 markings, 86530103 edges, 7483 markings/sec, 1595 secs
lola: 215 tries, 214048145 fired transitions, 1600 secs || 11419852 markings, 86784272 edges, 6580 markings/sec, 1600 secs
lola: 215 tries, 214737676 fired transitions, 1605 secs || 11453524 markings, 87036021 edges, 6734 markings/sec, 1605 secs
lola: 216 tries, 215426691 fired transitions, 1610 secs || 11489784 markings, 87308784 edges, 7252 markings/sec, 1610 secs
lola: 217 tries, 216106340 fired transitions, 1615 secs || 11527289 markings, 87588723 edges, 7501 markings/sec, 1615 secs
lola: 217 tries, 216793698 fired transitions, 1620 secs || 11563971 markings, 87874038 edges, 7336 markings/sec, 1620 secs
lola: 218 tries, 217483270 fired transitions, 1625 secs || 11600598 markings, 88147973 edges, 7325 markings/sec, 1625 secs
lola: 219 tries, 218172796 fired transitions, 1630 secs || 11633532 markings, 88396316 edges, 6587 markings/sec, 1630 secs
lola: 219 tries, 218861463 fired transitions, 1635 secs || 11667529 markings, 88646839 edges, 6799 markings/sec, 1635 secs
lola: 220 tries, 219552543 fired transitions, 1640 secs || 11700230 markings, 88903199 edges, 6540 markings/sec, 1640 secs
lola: 221 tries, 220232819 fired transitions, 1645 secs || 11733795 markings, 89154008 edges, 6713 markings/sec, 1645 secs
lola: 221 tries, 220920599 fired transitions, 1650 secs || 11765500 markings, 89406108 edges, 6341 markings/sec, 1650 secs
lola: 222 tries, 221598662 fired transitions, 1655 secs || 11802967 markings, 89684977 edges, 7493 markings/sec, 1655 secs
lola: 223 tries, 222280485 fired transitions, 1660 secs || 11840626 markings, 89969141 edges, 7532 markings/sec, 1660 secs
lola: 223 tries, 222961108 fired transitions, 1665 secs || 11877248 markings, 90254758 edges, 7324 markings/sec, 1665 secs
lola: 224 tries, 223640243 fired transitions, 1670 secs || 11915981 markings, 90539189 edges, 7747 markings/sec, 1670 secs
lola: 225 tries, 224328015 fired transitions, 1675 secs || 11952068 markings, 90815052 edges, 7217 markings/sec, 1675 secs
lola: 226 tries, 225016265 fired transitions, 1680 secs || 11988768 markings, 91102455 edges, 7340 markings/sec, 1680 secs
lola: 226 tries, 225705786 fired transitions, 1685 secs || 12027306 markings, 91387864 edges, 7708 markings/sec, 1685 secs
lola: 227 tries, 226391441 fired transitions, 1690 secs || 12063948 markings, 91675250 edges, 7328 markings/sec, 1690 secs
lola: 228 tries, 227078361 fired transitions, 1695 secs || 12098821 markings, 91935056 edges, 6975 markings/sec, 1695 secs
lola: 228 tries, 227767133 fired transitions, 1700 secs || 12133028 markings, 92192571 edges, 6841 markings/sec, 1700 secs
lola: 229 tries, 228400339 fired transitions, 1705 secs || 12163397 markings, 92429730 edges, 6074 markings/sec, 1705 secs
lola: 230 tries, 229076285 fired transitions, 1710 secs || 12196482 markings, 92682982 edges, 6617 markings/sec, 1710 secs
lola: 230 tries, 229760283 fired transitions, 1715 secs || 12230888 markings, 92935403 edges, 6881 markings/sec, 1715 secs
lola: 231 tries, 230448756 fired transitions, 1720 secs || 12263921 markings, 93189345 edges, 6607 markings/sec, 1720 secs
lola: 232 tries, 231136505 fired transitions, 1725 secs || 12297659 markings, 93444941 edges, 6748 markings/sec, 1725 secs
lola: 232 tries, 231823437 fired transitions, 1730 secs || 12329941 markings, 93699617 edges, 6456 markings/sec, 1730 secs
lola: 233 tries, 232511367 fired transitions, 1735 secs || 12366190 markings, 93957143 edges, 7250 markings/sec, 1735 secs
lola: 234 tries, 233199584 fired transitions, 1740 secs || 12396765 markings, 94211666 edges, 6115 markings/sec, 1740 secs
lola: 234 tries, 233888272 fired transitions, 1745 secs || 12433457 markings, 94484608 edges, 7338 markings/sec, 1745 secs
lola: 235 tries, 234577086 fired transitions, 1750 secs || 12469373 markings, 94753482 edges, 7183 markings/sec, 1750 secs
lola: 236 tries, 235270334 fired transitions, 1755 secs || 12505724 markings, 95027680 edges, 7270 markings/sec, 1755 secs
lola: 236 tries, 235963036 fired transitions, 1760 secs || 12543140 markings, 95304679 edges, 7483 markings/sec, 1760 secs
lola: 237 tries, 236655563 fired transitions, 1765 secs || 12578170 markings, 95581815 edges, 7006 markings/sec, 1765 secs
lola: 238 tries, 237348474 fired transitions, 1770 secs || 12614392 markings, 95856205 edges, 7244 markings/sec, 1770 secs
lola: 239 tries, 238037194 fired transitions, 1775 secs || 12649395 markings, 96126544 edges, 7001 markings/sec, 1775 secs
lola: 239 tries, 238728278 fired transitions, 1780 secs || 12685414 markings, 96390423 edges, 7204 markings/sec, 1780 secs
lola: 240 tries, 239408143 fired transitions, 1785 secs || 12721996 markings, 96664558 edges, 7316 markings/sec, 1785 secs
lola: 241 tries, 240094929 fired transitions, 1790 secs || 12756438 markings, 96936939 edges, 6888 markings/sec, 1790 secs
lola: 241 tries, 240779627 fired transitions, 1795 secs || 12791869 markings, 97206339 edges, 7086 markings/sec, 1795 secs
lola: 242 tries, 241467433 fired transitions, 1800 secs || 12826476 markings, 97474636 edges, 6921 markings/sec, 1800 secs
lola: 243 tries, 242145822 fired transitions, 1805 secs || 12862914 markings, 97745836 edges, 7288 markings/sec, 1805 secs
lola: 243 tries, 242829305 fired transitions, 1810 secs || 12898440 markings, 98021842 edges, 7105 markings/sec, 1810 secs
lola: 244 tries, 243515862 fired transitions, 1815 secs || 12934665 markings, 98290507 edges, 7245 markings/sec, 1815 secs
lola: 245 tries, 244200958 fired transitions, 1820 secs || 12970551 markings, 98553751 edges, 7177 markings/sec, 1820 secs
lola: 245 tries, 244886084 fired transitions, 1825 secs || 13007745 markings, 98831644 edges, 7439 markings/sec, 1825 secs
lola: 246 tries, 245572026 fired transitions, 1830 secs || 13042208 markings, 99106425 edges, 6893 markings/sec, 1830 secs
lola: 247 tries, 246252078 fired transitions, 1835 secs || 13076003 markings, 99370206 edges, 6759 markings/sec, 1835 secs
lola: 247 tries, 246939873 fired transitions, 1840 secs || 13111037 markings, 99630674 edges, 7007 markings/sec, 1840 secs
lola: 248 tries, 247629646 fired transitions, 1845 secs || 13148494 markings, 99923427 edges, 7491 markings/sec, 1845 secs
lola: 249 tries, 248315644 fired transitions, 1850 secs || 13182667 markings, 100184982 edges, 6835 markings/sec, 1850 secs
lola: 250 tries, 249002554 fired transitions, 1855 secs || 13217277 markings, 100443614 edges, 6922 markings/sec, 1855 secs
lola: 250 tries, 249690438 fired transitions, 1860 secs || 13253098 markings, 100709309 edges, 7164 markings/sec, 1860 secs
lola: 251 tries, 250373436 fired transitions, 1865 secs || 13287858 markings, 100977275 edges, 6952 markings/sec, 1865 secs
lola: 252 tries, 251060538 fired transitions, 1870 secs || 13325591 markings, 101248689 edges, 7547 markings/sec, 1870 secs
lola: 252 tries, 251748770 fired transitions, 1875 secs || 13359361 markings, 101522519 edges, 6754 markings/sec, 1875 secs
lola: 253 tries, 252435050 fired transitions, 1880 secs || 13394711 markings, 101791234 edges, 7070 markings/sec, 1880 secs
lola: 254 tries, 253121583 fired transitions, 1885 secs || 13430000 markings, 102056033 edges, 7058 markings/sec, 1885 secs
lola: 254 tries, 253810140 fired transitions, 1890 secs || 13466580 markings, 102328916 edges, 7316 markings/sec, 1890 secs
lola: 255 tries, 254492736 fired transitions, 1895 secs || 13501635 markings, 102607206 edges, 7011 markings/sec, 1895 secs
lola: 256 tries, 255180861 fired transitions, 1900 secs || 13538700 markings, 102880310 edges, 7413 markings/sec, 1900 secs
lola: 256 tries, 255868910 fired transitions, 1905 secs || 13575624 markings, 103147473 edges, 7385 markings/sec, 1905 secs
lola: 257 tries, 256556709 fired transitions, 1910 secs || 13611448 markings, 103427557 edges, 7165 markings/sec, 1910 secs
lola: 258 tries, 257240407 fired transitions, 1915 secs || 13646858 markings, 103702279 edges, 7082 markings/sec, 1915 secs
lola: 258 tries, 257931361 fired transitions, 1920 secs || 13681669 markings, 103973117 edges, 6962 markings/sec, 1920 secs
lola: 259 tries, 258609718 fired transitions, 1925 secs || 13716802 markings, 104233885 edges, 7027 markings/sec, 1925 secs
lola: 260 tries, 259299647 fired transitions, 1930 secs || 13754068 markings, 104525718 edges, 7453 markings/sec, 1930 secs
lola: 260 tries, 259974677 fired transitions, 1935 secs || 13788259 markings, 104786693 edges, 6838 markings/sec, 1935 secs
lola: 261 tries, 260651925 fired transitions, 1940 secs || 13822811 markings, 105040606 edges, 6910 markings/sec, 1940 secs
lola: 262 tries, 261334598 fired transitions, 1945 secs || 13856942 markings, 105301362 edges, 6826 markings/sec, 1945 secs
lola: 263 tries, 262026726 fired transitions, 1950 secs || 13892206 markings, 105571775 edges, 7053 markings/sec, 1950 secs
lola: 263 tries, 262706195 fired transitions, 1955 secs || 13928136 markings, 105844217 edges, 7186 markings/sec, 1955 secs
lola: 264 tries, 263395018 fired transitions, 1960 secs || 13964435 markings, 106113207 edges, 7260 markings/sec, 1960 secs
lola: 265 tries, 264067746 fired transitions, 1965 secs || 13997168 markings, 106375977 edges, 6547 markings/sec, 1965 secs
lola: 265 tries, 264754608 fired transitions, 1970 secs || 14037157 markings, 106653850 edges, 7998 markings/sec, 1970 secs
lola: 266 tries, 265441385 fired transitions, 1975 secs || 14072419 markings, 106935448 edges, 7052 markings/sec, 1975 secs
lola: 267 tries, 266133923 fired transitions, 1980 secs || 14106109 markings, 107200406 edges, 6738 markings/sec, 1980 secs
lola: 267 tries, 266806991 fired transitions, 1985 secs || 14142109 markings, 107468335 edges, 7200 markings/sec, 1985 secs
lola: 268 tries, 267492914 fired transitions, 1990 secs || 14178788 markings, 107746199 edges, 7336 markings/sec, 1990 secs
lola: 269 tries, 268171866 fired transitions, 1995 secs || 14215115 markings, 108023553 edges, 7265 markings/sec, 1995 secs
lola: 269 tries, 268861129 fired transitions, 2000 secs || 14248827 markings, 108280250 edges, 6742 markings/sec, 2000 secs
lola: 270 tries, 269549212 fired transitions, 2005 secs || 14284707 markings, 108540558 edges, 7176 markings/sec, 2005 secs
lola: 271 tries, 270228699 fired transitions, 2010 secs || 14322483 markings, 108821080 edges, 7555 markings/sec, 2010 secs
lola: 271 tries, 270904720 fired transitions, 2015 secs || 14360139 markings, 109106989 edges, 7531 markings/sec, 2015 secs
lola: 272 tries, 271575228 fired transitions, 2020 secs || 14395737 markings, 109389862 edges, 7120 markings/sec, 2020 secs
lola: 273 tries, 272254942 fired transitions, 2025 secs || 14432836 markings, 109674898 edges, 7420 markings/sec, 2025 secs
lola: 273 tries, 272934776 fired transitions, 2030 secs || 14467955 markings, 109939964 edges, 7024 markings/sec, 2030 secs
lola: 274 tries, 273627513 fired transitions, 2035 secs || 14503054 markings, 110210424 edges, 7020 markings/sec, 2035 secs
lola: 275 tries, 274313889 fired transitions, 2040 secs || 14537662 markings, 110478063 edges, 6922 markings/sec, 2040 secs
lola: 275 tries, 274978284 fired transitions, 2045 secs || 14576066 markings, 110767168 edges, 7681 markings/sec, 2045 secs
lola: 276 tries, 275660540 fired transitions, 2050 secs || 14610983 markings, 111029795 edges, 6983 markings/sec, 2050 secs
lola: 277 tries, 276345201 fired transitions, 2055 secs || 14644871 markings, 111288544 edges, 6778 markings/sec, 2055 secs
lola: 278 tries, 277031816 fired transitions, 2060 secs || 14680270 markings, 111557802 edges, 7080 markings/sec, 2060 secs
lola: 278 tries, 277716732 fired transitions, 2065 secs || 14718775 markings, 111847239 edges, 7701 markings/sec, 2065 secs
lola: 279 tries, 278403111 fired transitions, 2070 secs || 14756317 markings, 112138289 edges, 7508 markings/sec, 2070 secs
lola: 280 tries, 279084947 fired transitions, 2075 secs || 14795330 markings, 112425769 edges, 7803 markings/sec, 2075 secs
lola: 280 tries, 279769914 fired transitions, 2080 secs || 14829629 markings, 112684744 edges, 6860 markings/sec, 2080 secs
lola: 281 tries, 280455912 fired transitions, 2085 secs || 14864697 markings, 112943979 edges, 7014 markings/sec, 2085 secs
lola: 282 tries, 281141955 fired transitions, 2090 secs || 14897055 markings, 113204383 edges, 6472 markings/sec, 2090 secs
lola: 282 tries, 281828783 fired transitions, 2095 secs || 14931701 markings, 113463531 edges, 6929 markings/sec, 2095 secs
lola: 283 tries, 282516056 fired transitions, 2100 secs || 14964119 markings, 113724317 edges, 6484 markings/sec, 2100 secs
lola: 284 tries, 283196600 fired transitions, 2105 secs || 15000428 markings, 113997684 edges, 7262 markings/sec, 2105 secs
lola: 284 tries, 283884131 fired transitions, 2110 secs || 15036712 markings, 114267219 edges, 7257 markings/sec, 2110 secs
lola: 285 tries, 284575852 fired transitions, 2115 secs || 15072763 markings, 114544481 edges, 7210 markings/sec, 2115 secs
lola: 286 tries, 285240292 fired transitions, 2120 secs || 15108684 markings, 114811210 edges, 7184 markings/sec, 2120 secs
lola: 286 tries, 285928957 fired transitions, 2125 secs || 15141748 markings, 115071369 edges, 6613 markings/sec, 2125 secs
lola: 287 tries, 286575254 fired transitions, 2130 secs || 15177382 markings, 115337744 edges, 7127 markings/sec, 2130 secs
lola: 288 tries, 287102367 fired transitions, 2135 secs || 15207319 markings, 115552437 edges, 5987 markings/sec, 2135 secs
lola: 288 tries, 287448127 fired transitions, 2140 secs || 15224581 markings, 115695152 edges, 3452 markings/sec, 2140 secs
lola: 288 tries, 287793875 fired transitions, 2145 secs || 15241847 markings, 115829180 edges, 3453 markings/sec, 2145 secs
lola: 289 tries, 288414776 fired transitions, 2150 secs || 15274454 markings, 116075796 edges, 6521 markings/sec, 2150 secs
lola: 290 tries, 289105489 fired transitions, 2155 secs || 15310240 markings, 116337567 edges, 7157 markings/sec, 2155 secs
lola: 290 tries, 289796693 fired transitions, 2160 secs || 15346518 markings, 116618683 edges, 7256 markings/sec, 2160 secs
lola: 291 tries, 290479233 fired transitions, 2165 secs || 15382063 markings, 116889237 edges, 7109 markings/sec, 2165 secs
lola: 292 tries, 291167710 fired transitions, 2170 secs || 15417680 markings, 117159986 edges, 7123 markings/sec, 2170 secs
lola: 292 tries, 291856017 fired transitions, 2175 secs || 15450468 markings, 117413335 edges, 6558 markings/sec, 2175 secs
lola: 293 tries, 292542982 fired transitions, 2180 secs || 15487337 markings, 117696484 edges, 7374 markings/sec, 2180 secs
lola: 294 tries, 293231654 fired transitions, 2185 secs || 15520868 markings, 117951811 edges, 6706 markings/sec, 2185 secs
lola: 294 tries, 293920420 fired transitions, 2190 secs || 15554306 markings, 118190589 edges, 6688 markings/sec, 2190 secs
lola: 295 tries, 294606209 fired transitions, 2195 secs || 15587790 markings, 118452123 edges, 6697 markings/sec, 2195 secs
lola: 296 tries, 295290576 fired transitions, 2200 secs || 15622396 markings, 118719572 edges, 6921 markings/sec, 2200 secs
lola: 296 tries, 295980056 fired transitions, 2205 secs || 15658657 markings, 118992206 edges, 7252 markings/sec, 2205 secs
lola: 297 tries, 296656038 fired transitions, 2210 secs || 15692800 markings, 119256554 edges, 6829 markings/sec, 2210 secs
lola: 298 tries, 297329516 fired transitions, 2215 secs || 15727002 markings, 119517761 edges, 6840 markings/sec, 2215 secs
lola: 299 tries, 298008995 fired transitions, 2220 secs || 15766270 markings, 119792223 edges, 7854 markings/sec, 2220 secs
lola: 299 tries, 298693521 fired transitions, 2225 secs || 15800785 markings, 120071892 edges, 6903 markings/sec, 2225 secs
lola: 300 tries, 299372549 fired transitions, 2230 secs || 15833079 markings, 120324231 edges, 6459 markings/sec, 2230 secs
lola: 301 tries, 300061026 fired transitions, 2235 secs || 15868544 markings, 120590007 edges, 7093 markings/sec, 2235 secs
lola: 301 tries, 300722910 fired transitions, 2240 secs || 15904305 markings, 120860724 edges, 7152 markings/sec, 2240 secs
lola: 302 tries, 301408598 fired transitions, 2245 secs || 15940261 markings, 121133097 edges, 7191 markings/sec, 2245 secs
lola: 303 tries, 302094744 fired transitions, 2250 secs || 15973177 markings, 121383625 edges, 6583 markings/sec, 2250 secs
lola: 303 tries, 302711562 fired transitions, 2255 secs || 16004069 markings, 121605532 edges, 6178 markings/sec, 2255 secs
lola: 304 tries, 303175850 fired transitions, 2260 secs || 16027371 markings, 121782303 edges, 4660 markings/sec, 2260 secs
lola: 304 tries, 303862931 fired transitions, 2265 secs || 16065015 markings, 122065348 edges, 7529 markings/sec, 2265 secs
lola: 305 tries, 304549177 fired transitions, 2270 secs || 16103210 markings, 122349826 edges, 7639 markings/sec, 2270 secs
lola: 306 tries, 305191841 fired transitions, 2275 secs || 16135070 markings, 122612102 edges, 6372 markings/sec, 2275 secs
lola: 306 tries, 305622693 fired transitions, 2280 secs || 16158586 markings, 122787703 edges, 4703 markings/sec, 2280 secs
lola: 307 tries, 306298173 fired transitions, 2285 secs || 16192950 markings, 123048268 edges, 6873 markings/sec, 2285 secs
lola: 307 tries, 306991061 fired transitions, 2290 secs || 16226171 markings, 123312597 edges, 6644 markings/sec, 2290 secs
lola: 308 tries, 307682295 fired transitions, 2295 secs || 16262171 markings, 123579718 edges, 7200 markings/sec, 2295 secs
lola: 309 tries, 308372831 fired transitions, 2300 secs || 16298442 markings, 123857495 edges, 7254 markings/sec, 2300 secs
lola: 310 tries, 309064351 fired transitions, 2305 secs || 16334812 markings, 124132270 edges, 7274 markings/sec, 2305 secs
lola: 310 tries, 309754171 fired transitions, 2310 secs || 16368560 markings, 124387239 edges, 6750 markings/sec, 2310 secs
lola: 311 tries, 310388593 fired transitions, 2315 secs || 16400635 markings, 124631294 edges, 6415 markings/sec, 2315 secs
lola: 311 tries, 310729578 fired transitions, 2320 secs || 16419679 markings, 124778192 edges, 3809 markings/sec, 2320 secs
lola: 312 tries, 311406448 fired transitions, 2325 secs || 16459390 markings, 125072002 edges, 7942 markings/sec, 2325 secs
lola: 313 tries, 312086315 fired transitions, 2330 secs || 16496195 markings, 125365806 edges, 7361 markings/sec, 2330 secs
lola: 313 tries, 312770164 fired transitions, 2335 secs || 16534418 markings, 125650013 edges, 7645 markings/sec, 2335 secs
lola: 314 tries, 313457073 fired transitions, 2340 secs || 16569135 markings, 125907226 edges, 6943 markings/sec, 2340 secs
lola: 315 tries, 314131749 fired transitions, 2345 secs || 16602310 markings, 126166544 edges, 6635 markings/sec, 2345 secs
lola: 315 tries, 314819194 fired transitions, 2350 secs || 16637589 markings, 126424023 edges, 7056 markings/sec, 2350 secs
lola: 316 tries, 315506664 fired transitions, 2355 secs || 16671339 markings, 126679854 edges, 6750 markings/sec, 2355 secs
lola: 317 tries, 316187065 fired transitions, 2360 secs || 16704985 markings, 126939252 edges, 6729 markings/sec, 2360 secs
lola: 317 tries, 316875065 fired transitions, 2365 secs || 16739463 markings, 127207852 edges, 6896 markings/sec, 2365 secs
lola: 318 tries, 317562988 fired transitions, 2370 secs || 16775610 markings, 127483193 edges, 7229 markings/sec, 2370 secs
lola: 319 tries, 318250469 fired transitions, 2375 secs || 16812493 markings, 127761597 edges, 7377 markings/sec, 2375 secs
lola: 319 tries, 318938455 fired transitions, 2380 secs || 16848479 markings, 128034035 edges, 7197 markings/sec, 2380 secs
lola: 320 tries, 319625658 fired transitions, 2385 secs || 16884001 markings, 128295637 edges, 7104 markings/sec, 2385 secs
lola: 321 tries, 320310378 fired transitions, 2390 secs || 16921509 markings, 128573509 edges, 7502 markings/sec, 2390 secs
lola: 321 tries, 320998311 fired transitions, 2395 secs || 16956588 markings, 128854920 edges, 7016 markings/sec, 2395 secs
lola: 322 tries, 321685131 fired transitions, 2400 secs || 16990690 markings, 129118598 edges, 6820 markings/sec, 2400 secs
lola: 323 tries, 322372765 fired transitions, 2405 secs || 17025715 markings, 129385020 edges, 7005 markings/sec, 2405 secs
lola: 324 tries, 323055278 fired transitions, 2410 secs || 17061978 markings, 129665073 edges, 7253 markings/sec, 2410 secs
lola: 324 tries, 323735388 fired transitions, 2415 secs || 17098907 markings, 129933052 edges, 7386 markings/sec, 2415 secs
lola: 325 tries, 324416310 fired transitions, 2420 secs || 17131329 markings, 130188907 edges, 6484 markings/sec, 2420 secs
lola: 326 tries, 325090589 fired transitions, 2425 secs || 17167060 markings, 130451933 edges, 7146 markings/sec, 2425 secs
lola: 326 tries, 325764931 fired transitions, 2430 secs || 17205637 markings, 130730965 edges, 7715 markings/sec, 2430 secs
lola: 327 tries, 326445571 fired transitions, 2435 secs || 17242559 markings, 131010657 edges, 7384 markings/sec, 2435 secs
lola: 328 tries, 327128210 fired transitions, 2440 secs || 17276112 markings, 131282727 edges, 6711 markings/sec, 2440 secs
lola: 328 tries, 327808484 fired transitions, 2445 secs || 17311891 markings, 131553514 edges, 7156 markings/sec, 2445 secs
lola: 329 tries, 328478309 fired transitions, 2450 secs || 17345201 markings, 131803553 edges, 6662 markings/sec, 2450 secs
lola: 330 tries, 329146673 fired transitions, 2455 secs || 17376571 markings, 132055507 edges, 6274 markings/sec, 2455 secs
lola: 330 tries, 329815857 fired transitions, 2460 secs || 17411817 markings, 132321777 edges, 7049 markings/sec, 2460 secs
lola: 331 tries, 330480346 fired transitions, 2465 secs || 17448695 markings, 132600371 edges, 7376 markings/sec, 2465 secs
lola: 332 tries, 331123231 fired transitions, 2470 secs || 17484289 markings, 132869354 edges, 7119 markings/sec, 2470 secs
lola: 332 tries, 331811878 fired transitions, 2475 secs || 17517402 markings, 133125920 edges, 6623 markings/sec, 2475 secs
lola: 333 tries, 332500035 fired transitions, 2480 secs || 17552533 markings, 133389656 edges, 7026 markings/sec, 2480 secs
lola: 334 tries, 333185604 fired transitions, 2485 secs || 17591095 markings, 133677019 edges, 7712 markings/sec, 2485 secs
lola: 334 tries, 333859876 fired transitions, 2490 secs || 17628624 markings, 133964824 edges, 7506 markings/sec, 2490 secs
lola: 335 tries, 334540267 fired transitions, 2495 secs || 17665478 markings, 134252959 edges, 7371 markings/sec, 2495 secs
lola: 336 tries, 335205494 fired transitions, 2500 secs || 17700983 markings, 134512584 edges, 7101 markings/sec, 2500 secs
lola: 336 tries, 335885440 fired transitions, 2505 secs || 17734696 markings, 134767841 edges, 6743 markings/sec, 2505 secs
lola: 337 tries, 336565303 fired transitions, 2510 secs || 17769275 markings, 135022617 edges, 6916 markings/sec, 2510 secs
lola: 338 tries, 337246041 fired transitions, 2515 secs || 17801456 markings, 135274548 edges, 6436 markings/sec, 2515 secs
lola: 338 tries, 337929315 fired transitions, 2520 secs || 17834116 markings, 135528391 edges, 6532 markings/sec, 2520 secs
lola: 339 tries, 338613318 fired transitions, 2525 secs || 17871080 markings, 135802967 edges, 7393 markings/sec, 2525 secs
lola: 340 tries, 339302054 fired transitions, 2530 secs || 17907655 markings, 136084945 edges, 7315 markings/sec, 2530 secs
lola: 340 tries, 339990544 fired transitions, 2535 secs || 17946091 markings, 136366762 edges, 7687 markings/sec, 2535 secs
lola: 341 tries, 340677205 fired transitions, 2540 secs || 17982638 markings, 136650206 edges, 7309 markings/sec, 2540 secs
lola: 342 tries, 341362343 fired transitions, 2545 secs || 18020343 markings, 136920049 edges, 7541 markings/sec, 2545 secs
lola: 343 tries, 342047387 fired transitions, 2550 secs || 18054904 markings, 137192267 edges, 6912 markings/sec, 2550 secs
lola: 343 tries, 342733443 fired transitions, 2555 secs || 18092087 markings, 137479682 edges, 7437 markings/sec, 2555 secs
lola: 344 tries, 343419677 fired transitions, 2560 secs || 18128166 markings, 137756923 edges, 7216 markings/sec, 2560 secs
lola: 345 tries, 344088654 fired transitions, 2565 secs || 18162926 markings, 138019539 edges, 6952 markings/sec, 2565 secs
lola: 345 tries, 344763344 fired transitions, 2570 secs || 18196313 markings, 138271950 edges, 6677 markings/sec, 2570 secs
lola: 346 tries, 345453970 fired transitions, 2575 secs || 18230010 markings, 138534716 edges, 6739 markings/sec, 2575 secs
lola: 347 tries, 346144612 fired transitions, 2580 secs || 18264832 markings, 138807832 edges, 6964 markings/sec, 2580 secs
lola: 347 tries, 346828653 fired transitions, 2585 secs || 18301283 markings, 139077364 edges, 7290 markings/sec, 2585 secs
lola: 348 tries, 347513057 fired transitions, 2590 secs || 18337265 markings, 139352554 edges, 7196 markings/sec, 2590 secs
lola: 349 tries, 348193105 fired transitions, 2595 secs || 18370113 markings, 139597364 edges, 6570 markings/sec, 2595 secs
lola: 349 tries, 348879699 fired transitions, 2600 secs || 18404357 markings, 139848438 edges, 6849 markings/sec, 2600 secs
lola: 350 tries, 349566663 fired transitions, 2605 secs || 18439066 markings, 140120858 edges, 6942 markings/sec, 2605 secs
lola: 351 tries, 350256868 fired transitions, 2610 secs || 18476207 markings, 140405853 edges, 7428 markings/sec, 2610 secs
lola: 351 tries, 350947319 fired transitions, 2615 secs || 18515254 markings, 140698019 edges, 7809 markings/sec, 2615 secs
lola: 352 tries, 351637812 fired transitions, 2620 secs || 18551219 markings, 140974667 edges, 7193 markings/sec, 2620 secs
lola: 353 tries, 352323853 fired transitions, 2625 secs || 18583364 markings, 141224606 edges, 6429 markings/sec, 2625 secs
lola: 354 tries, 353010558 fired transitions, 2630 secs || 18616493 markings, 141482009 edges, 6626 markings/sec, 2630 secs
lola: 354 tries, 353697380 fired transitions, 2635 secs || 18651819 markings, 141738874 edges, 7065 markings/sec, 2635 secs
lola: 355 tries, 354384584 fired transitions, 2640 secs || 18686356 markings, 141994561 edges, 6907 markings/sec, 2640 secs
lola: 356 tries, 355072713 fired transitions, 2645 secs || 18720212 markings, 142257291 edges, 6771 markings/sec, 2645 secs
lola: 356 tries, 355759656 fired transitions, 2650 secs || 18755821 markings, 142531511 edges, 7122 markings/sec, 2650 secs
lola: 357 tries, 356445461 fired transitions, 2655 secs || 18793497 markings, 142809177 edges, 7535 markings/sec, 2655 secs
lola: 358 tries, 357132660 fired transitions, 2660 secs || 18829119 markings, 143087606 edges, 7124 markings/sec, 2660 secs
lola: 358 tries, 357820169 fired transitions, 2665 secs || 18865592 markings, 143368948 edges, 7295 markings/sec, 2665 secs
lola: 359 tries, 358509425 fired transitions, 2670 secs || 18903785 markings, 143656778 edges, 7639 markings/sec, 2670 secs
lola: 360 tries, 359194698 fired transitions, 2675 secs || 18941851 markings, 143941670 edges, 7613 markings/sec, 2675 secs
lola: 360 tries, 359882341 fired transitions, 2680 secs || 18979403 markings, 144232079 edges, 7510 markings/sec, 2680 secs
lola: 361 tries, 360571632 fired transitions, 2685 secs || 19016791 markings, 144510308 edges, 7478 markings/sec, 2685 secs
lola: 362 tries, 361261633 fired transitions, 2690 secs || 19049853 markings, 144764846 edges, 6612 markings/sec, 2690 secs
lola: 362 tries, 361951723 fired transitions, 2695 secs || 19084394 markings, 145017857 edges, 6908 markings/sec, 2695 secs
lola: 363 tries, 362627419 fired transitions, 2700 secs || 19117274 markings, 145273387 edges, 6576 markings/sec, 2700 secs
lola: 364 tries, 363306957 fired transitions, 2705 secs || 19151141 markings, 145529009 edges, 6773 markings/sec, 2705 secs
lola: 364 tries, 363987876 fired transitions, 2710 secs || 19183464 markings, 145790492 edges, 6465 markings/sec, 2710 secs
lola: 365 tries, 364665739 fired transitions, 2715 secs || 19218865 markings, 146047535 edges, 7080 markings/sec, 2715 secs
lola: 366 tries, 365352116 fired transitions, 2720 secs || 19253398 markings, 146303058 edges, 6907 markings/sec, 2720 secs
lola: 367 tries, 366042512 fired transitions, 2725 secs || 19287148 markings, 146560590 edges, 6750 markings/sec, 2725 secs
lola: 367 tries, 366729439 fired transitions, 2730 secs || 19317830 markings, 146808500 edges, 6136 markings/sec, 2730 secs
lola: 368 tries, 367417483 fired transitions, 2735 secs || 19351997 markings, 147067068 edges, 6833 markings/sec, 2735 secs
lola: 369 tries, 368102010 fired transitions, 2740 secs || 19387583 markings, 147333187 edges, 7117 markings/sec, 2740 secs
lola: 369 tries, 368793932 fired transitions, 2745 secs || 19422536 markings, 147600238 edges, 6991 markings/sec, 2745 secs
lola: 370 tries, 369468436 fired transitions, 2750 secs || 19459371 markings, 147879161 edges, 7367 markings/sec, 2750 secs
lola: 371 tries, 370143311 fired transitions, 2755 secs || 19495449 markings, 148152073 edges, 7216 markings/sec, 2755 secs
lola: 371 tries, 370830909 fired transitions, 2760 secs || 19529339 markings, 148410889 edges, 6778 markings/sec, 2760 secs
lola: 372 tries, 371519923 fired transitions, 2765 secs || 19564557 markings, 148681457 edges, 7044 markings/sec, 2765 secs
lola: 373 tries, 372208119 fired transitions, 2770 secs || 19600557 markings, 148957573 edges, 7200 markings/sec, 2770 secs
lola: 373 tries, 372890718 fired transitions, 2775 secs || 19636905 markings, 149227068 edges, 7270 markings/sec, 2775 secs
lola: 374 tries, 373574613 fired transitions, 2780 secs || 19669514 markings, 149481832 edges, 6522 markings/sec, 2780 secs
lola: 375 tries, 374236552 fired transitions, 2785 secs || 19708579 markings, 149753904 edges, 7813 markings/sec, 2785 secs
lola: 375 tries, 374930826 fired transitions, 2790 secs || 19743296 markings, 150035020 edges, 6943 markings/sec, 2790 secs
lola: 376 tries, 375622328 fired transitions, 2795 secs || 19777751 markings, 150301199 edges, 6891 markings/sec, 2795 secs
lola: 377 tries, 376307472 fired transitions, 2800 secs || 19812776 markings, 150570031 edges, 7005 markings/sec, 2800 secs
lola: 377 tries, 376996597 fired transitions, 2805 secs || 19850165 markings, 150846230 edges, 7478 markings/sec, 2805 secs
lola: 378 tries, 377685145 fired transitions, 2810 secs || 19886933 markings, 151121577 edges, 7354 markings/sec, 2810 secs
lola: 379 tries, 378374516 fired transitions, 2815 secs || 19920814 markings, 151377674 edges, 6776 markings/sec, 2815 secs
lola: 380 tries, 379065499 fired transitions, 2820 secs || 19953270 markings, 151632338 edges, 6491 markings/sec, 2820 secs
lola: 380 tries, 379758420 fired transitions, 2825 secs || 19988786 markings, 151899965 edges, 7103 markings/sec, 2825 secs
lola: 381 tries, 380447221 fired transitions, 2830 secs || 20024511 markings, 152171442 edges, 7145 markings/sec, 2830 secs
lola: 382 tries, 381140039 fired transitions, 2835 secs || 20059506 markings, 152440893 edges, 6999 markings/sec, 2835 secs
lola: 382 tries, 381813821 fired transitions, 2840 secs || 20093367 markings, 152699512 edges, 6772 markings/sec, 2840 secs
lola: 383 tries, 382488719 fired transitions, 2845 secs || 20128969 markings, 152955153 edges, 7120 markings/sec, 2845 secs
lola: 384 tries, 383175861 fired transitions, 2850 secs || 20165024 markings, 153232567 edges, 7211 markings/sec, 2850 secs
lola: 384 tries, 383862439 fired transitions, 2855 secs || 20200248 markings, 153508889 edges, 7045 markings/sec, 2855 secs
lola: 385 tries, 384546255 fired transitions, 2860 secs || 20234813 markings, 153777823 edges, 6913 markings/sec, 2860 secs
lola: 386 tries, 385227914 fired transitions, 2865 secs || 20267987 markings, 154028576 edges, 6635 markings/sec, 2865 secs
lola: 386 tries, 385916880 fired transitions, 2870 secs || 20307106 markings, 154313163 edges, 7824 markings/sec, 2870 secs
lola: 387 tries, 386609115 fired transitions, 2875 secs || 20340602 markings, 154576727 edges, 6699 markings/sec, 2875 secs
lola: 388 tries, 387300343 fired transitions, 2880 secs || 20375871 markings, 154833939 edges, 7054 markings/sec, 2880 secs
lola: 388 tries, 387991295 fired transitions, 2885 secs || 20410801 markings, 155099744 edges, 6986 markings/sec, 2885 secs
lola: 389 tries, 388682493 fired transitions, 2890 secs || 20448488 markings, 155383524 edges, 7537 markings/sec, 2890 secs
lola: 390 tries, 389370997 fired transitions, 2895 secs || 20486293 markings, 155663345 edges, 7561 markings/sec, 2895 secs
lola: 391 tries, 390053371 fired transitions, 2900 secs || 20522078 markings, 155949811 edges, 7157 markings/sec, 2900 secs
lola: 391 tries, 390743554 fired transitions, 2905 secs || 20557306 markings, 156221194 edges, 7046 markings/sec, 2905 secs
lola: 392 tries, 391426996 fired transitions, 2910 secs || 20592470 markings, 156485494 edges, 7033 markings/sec, 2910 secs
lola: 393 tries, 392116295 fired transitions, 2915 secs || 20627478 markings, 156758831 edges, 7002 markings/sec, 2915 secs
lola: 393 tries, 392800411 fired transitions, 2920 secs || 20662338 markings, 157023523 edges, 6972 markings/sec, 2920 secs
lola: 394 tries, 393463841 fired transitions, 2925 secs || 20701140 markings, 157314463 edges, 7760 markings/sec, 2925 secs
lola: 395 tries, 394119738 fired transitions, 2930 secs || 20732918 markings, 157554225 edges, 6356 markings/sec, 2930 secs
lola: 395 tries, 394807390 fired transitions, 2935 secs || 20765274 markings, 157807144 edges, 6471 markings/sec, 2935 secs
lola: 396 tries, 395488585 fired transitions, 2940 secs || 20801778 markings, 158083466 edges, 7301 markings/sec, 2940 secs
lola: 397 tries, 396147667 fired transitions, 2945 secs || 20840206 markings, 158374951 edges, 7686 markings/sec, 2945 secs
lola: 397 tries, 396811805 fired transitions, 2950 secs || 20879310 markings, 158668365 edges, 7821 markings/sec, 2950 secs
lola: 398 tries, 397491536 fired transitions, 2955 secs || 20916645 markings, 158948388 edges, 7467 markings/sec, 2955 secs
lola: 399 tries, 398178261 fired transitions, 2960 secs || 20949913 markings, 159205016 edges, 6654 markings/sec, 2960 secs
lola: 399 tries, 398867485 fired transitions, 2965 secs || 20983831 markings, 159462804 edges, 6784 markings/sec, 2965 secs
lola: 400 tries, 399557111 fired transitions, 2970 secs || 21018308 markings, 159720243 edges, 6895 markings/sec, 2970 secs
lola: 401 tries, 400245763 fired transitions, 2975 secs || 21052321 markings, 159975086 edges, 6803 markings/sec, 2975 secs
lola: 401 tries, 400935453 fired transitions, 2980 secs || 21085687 markings, 160233545 edges, 6673 markings/sec, 2980 secs
lola: 402 tries, 401624513 fired transitions, 2985 secs || 21119863 markings, 160499434 edges, 6835 markings/sec, 2985 secs
lola: 403 tries, 402287882 fired transitions, 2990 secs || 21154963 markings, 160765650 edges, 7020 markings/sec, 2990 secs
lola: 403 tries, 402932679 fired transitions, 2995 secs || 21190789 markings, 161037292 edges, 7165 markings/sec, 2995 secs
lola: 404 tries, 403596599 fired transitions, 3000 secs || 21225915 markings, 161309366 edges, 7025 markings/sec, 3000 secs
lola: 405 tries, 404281565 fired transitions, 3005 secs || 21260547 markings, 161566327 edges, 6926 markings/sec, 3005 secs
lola: 405 tries, 404950168 fired transitions, 3010 secs || 21297495 markings, 161837831 edges, 7390 markings/sec, 3010 secs
lola: 406 tries, 405611087 fired transitions, 3015 secs || 21332717 markings, 162114093 edges, 7044 markings/sec, 3015 secs
lola: 407 tries, 406296821 fired transitions, 3020 secs || 21366681 markings, 162375171 edges, 6793 markings/sec, 3020 secs
lola: 407 tries, 406980247 fired transitions, 3025 secs || 21401347 markings, 162636360 edges, 6933 markings/sec, 3025 secs
lola: 408 tries, 407666791 fired transitions, 3030 secs || 21437118 markings, 162909611 edges, 7154 markings/sec, 3030 secs
lola: 409 tries, 408350811 fired transitions, 3035 secs || 21473005 markings, 163178204 edges, 7177 markings/sec, 3035 secs
lola: 410 tries, 409037794 fired transitions, 3040 secs || 21507015 markings, 163432763 edges, 6802 markings/sec, 3040 secs
lola: 410 tries, 409725613 fired transitions, 3045 secs || 21540658 markings, 163689432 edges, 6729 markings/sec, 3045 secs
lola: 411 tries, 410408527 fired transitions, 3050 secs || 21578212 markings, 163963543 edges, 7511 markings/sec, 3050 secs
lola: 412 tries, 411093405 fired transitions, 3055 secs || 21615588 markings, 164243772 edges, 7475 markings/sec, 3055 secs
lola: 412 tries, 411773879 fired transitions, 3060 secs || 21651852 markings, 164522328 edges, 7253 markings/sec, 3060 secs
lola: 413 tries, 412438596 fired transitions, 3065 secs || 21687191 markings, 164808667 edges, 7068 markings/sec, 3065 secs
lola: 414 tries, 413121973 fired transitions, 3070 secs || 21721261 markings, 165066666 edges, 6814 markings/sec, 3070 secs
lola: 414 tries, 413806545 fired transitions, 3075 secs || 21753756 markings, 165318441 edges, 6499 markings/sec, 3075 secs
lola: 415 tries, 414496230 fired transitions, 3080 secs || 21789204 markings, 165588611 edges, 7090 markings/sec, 3080 secs
lola: 416 tries, 415183771 fired transitions, 3085 secs || 21825419 markings, 165861157 edges, 7243 markings/sec, 3085 secs
lola: 416 tries, 415866338 fired transitions, 3090 secs || 21861422 markings, 166134533 edges, 7201 markings/sec, 3090 secs
lola: 417 tries, 416550033 fired transitions, 3095 secs || 21895173 markings, 166389727 edges, 6750 markings/sec, 3095 secs
lola: 418 tries, 417228420 fired transitions, 3100 secs || 21929334 markings, 166648250 edges, 6832 markings/sec, 3100 secs
lola: 418 tries, 417907915 fired transitions, 3105 secs || 21966264 markings, 166930933 edges, 7386 markings/sec, 3105 secs
lola: 419 tries, 418582798 fired transitions, 3110 secs || 22003809 markings, 167213252 edges, 7509 markings/sec, 3110 secs
lola: 420 tries, 419267418 fired transitions, 3115 secs || 22042905 markings, 167502426 edges, 7819 markings/sec, 3115 secs
lola: 420 tries, 419952316 fired transitions, 3120 secs || 22076907 markings, 167765716 edges, 6800 markings/sec, 3120 secs
lola: 421 tries, 420636105 fired transitions, 3125 secs || 22109996 markings, 168019812 edges, 6618 markings/sec, 3125 secs
lola: 422 tries, 421321673 fired transitions, 3130 secs || 22144442 markings, 168275758 edges, 6889 markings/sec, 3130 secs
lola: 423 tries, 422005482 fired transitions, 3135 secs || 22176084 markings, 168529886 edges, 6328 markings/sec, 3135 secs
lola: 423 tries, 422666442 fired transitions, 3140 secs || 22211309 markings, 168781505 edges, 7045 markings/sec, 3140 secs
lola: 424 tries, 423320603 fired transitions, 3145 secs || 22245425 markings, 169044609 edges, 6823 markings/sec, 3145 secs
lola: 424 tries, 423961595 fired transitions, 3150 secs || 22281129 markings, 169314973 edges, 7141 markings/sec, 3150 secs
lola: 425 tries, 424632759 fired transitions, 3155 secs || 22320213 markings, 169595838 edges, 7817 markings/sec, 3155 secs
lola: 426 tries, 425315539 fired transitions, 3160 secs || 22355596 markings, 169885025 edges, 7077 markings/sec, 3160 secs
lola: 426 tries, 425997565 fired transitions, 3165 secs || 22395175 markings, 170164730 edges, 7916 markings/sec, 3165 secs
lola: 427 tries, 426674479 fired transitions, 3170 secs || 22431045 markings, 170442398 edges, 7174 markings/sec, 3170 secs
lola: 428 tries, 427353792 fired transitions, 3175 secs || 22465589 markings, 170720944 edges, 6909 markings/sec, 3175 secs
lola: 429 tries, 428031320 fired transitions, 3180 secs || 22502869 markings, 171002519 edges, 7456 markings/sec, 3180 secs
lola: 429 tries, 428692613 fired transitions, 3185 secs || 22537253 markings, 171262460 edges, 6877 markings/sec, 3185 secs
lola: 430 tries, 429375640 fired transitions, 3190 secs || 22571141 markings, 171521212 edges, 6778 markings/sec, 3190 secs
lola: 431 tries, 430050167 fired transitions, 3195 secs || 22605684 markings, 171778650 edges, 6909 markings/sec, 3195 secs
lola: 431 tries, 430734593 fired transitions, 3200 secs || 22639266 markings, 172046337 edges, 6716 markings/sec, 3200 secs
lola: 432 tries, 431420687 fired transitions, 3205 secs || 22671887 markings, 172295881 edges, 6524 markings/sec, 3205 secs
lola: 433 tries, 432110016 fired transitions, 3210 secs || 22707901 markings, 172569343 edges, 7203 markings/sec, 3210 secs
lola: 433 tries, 432798387 fired transitions, 3215 secs || 22740607 markings, 172817524 edges, 6541 markings/sec, 3215 secs
lola: 434 tries, 433487279 fired transitions, 3220 secs || 22774784 markings, 173071832 edges, 6835 markings/sec, 3220 secs
lola: 435 tries, 434158576 fired transitions, 3225 secs || 22808716 markings, 173335958 edges, 6786 markings/sec, 3225 secs
lola: 435 tries, 434843370 fired transitions, 3230 secs || 22845252 markings, 173608216 edges, 7307 markings/sec, 3230 secs
lola: 436 tries, 435516846 fired transitions, 3235 secs || 22882135 markings, 173892551 edges, 7377 markings/sec, 3235 secs
lola: 437 tries, 436207452 fired transitions, 3240 secs || 22920320 markings, 174180294 edges, 7637 markings/sec, 3240 secs
lola: 437 tries, 436878360 fired transitions, 3245 secs || 22954078 markings, 174436055 edges, 6752 markings/sec, 3245 secs
lola: 438 tries, 437554539 fired transitions, 3250 secs || 22986885 markings, 174689178 edges, 6561 markings/sec, 3250 secs
lola: 439 tries, 438246061 fired transitions, 3255 secs || 23020107 markings, 174941154 edges, 6644 markings/sec, 3255 secs
lola: 439 tries, 438938906 fired transitions, 3260 secs || 23053868 markings, 175198126 edges, 6752 markings/sec, 3260 secs
lola: 440 tries, 439631276 fired transitions, 3265 secs || 23086143 markings, 175452898 edges, 6455 markings/sec, 3265 secs
lola: 441 tries, 440321974 fired transitions, 3270 secs || 23125228 markings, 175734548 edges, 7817 markings/sec, 3270 secs
lola: 442 tries, 441012252 fired transitions, 3275 secs || 23162873 markings, 176016359 edges, 7529 markings/sec, 3275 secs
lola: 442 tries, 441692249 fired transitions, 3280 secs || 23200430 markings, 176309519 edges, 7511 markings/sec, 3280 secs
lola: 443 tries, 442372525 fired transitions, 3285 secs || 23237162 markings, 176589687 edges, 7346 markings/sec, 3285 secs
lola: 443 tries, 442916519 fired transitions, 3290 secs || 23267443 markings, 176818444 edges, 6056 markings/sec, 3290 secs
lola: 444 tries, 443499699 fired transitions, 3295 secs || 23300144 markings, 177061311 edges, 6540 markings/sec, 3295 secs
lola: 444 tries, 443844465 fired transitions, 3300 secs || 23318769 markings, 177207959 edges, 3725 markings/sec, 3300 secs
lola: 445 tries, 444189345 fired transitions, 3305 secs || 23339306 markings, 177353089 edges, 4107 markings/sec, 3305 secs
lola: 445 tries, 444533803 fired transitions, 3310 secs || 23357280 markings, 177500366 edges, 3595 markings/sec, 3310 secs
lola: 445 tries, 444879011 fired transitions, 3315 secs || 23378273 markings, 177646406 edges, 4199 markings/sec, 3315 secs
lola: 446 tries, 445223975 fired transitions, 3320 secs || 23395686 markings, 177789807 edges, 3483 markings/sec, 3320 secs
lola: 446 tries, 445595069 fired transitions, 3325 secs || 23414339 markings, 177927547 edges, 3731 markings/sec, 3325 secs
lola: 447 tries, 446141267 fired transitions, 3330 secs || 23440971 markings, 178127384 edges, 5326 markings/sec, 3330 secs
lola: 447 tries, 446831887 fired transitions, 3335 secs || 23473797 markings, 178383856 edges, 6565 markings/sec, 3335 secs
lola: 448 tries, 447489685 fired transitions, 3340 secs || 23506182 markings, 178633258 edges, 6477 markings/sec, 3340 secs
lola: 449 tries, 448171230 fired transitions, 3345 secs || 23540738 markings, 178891511 edges, 6911 markings/sec, 3345 secs
lola: 449 tries, 448858598 fired transitions, 3350 secs || 23573719 markings, 179145299 edges, 6596 markings/sec, 3350 secs
lola: 450 tries, 449225823 fired transitions, 3355 secs || 23592781 markings, 179281658 edges, 3812 markings/sec, 3355 secs
lola: 450 tries, 449570581 fired transitions, 3360 secs || 23608460 markings, 179409241 edges, 3136 markings/sec, 3360 secs
lola: 451 tries, 450022754 fired transitions, 3365 secs || 23630679 markings, 179574548 edges, 4444 markings/sec, 3365 secs
lola: 451 tries, 450709501 fired transitions, 3370 secs || 23664211 markings, 179824175 edges, 6706 markings/sec, 3370 secs
lola: 452 tries, 451361771 fired transitions, 3375 secs || 23696235 markings, 180078973 edges, 6405 markings/sec, 3375 secs
lola: 452 tries, 451850468 fired transitions, 3380 secs || 23719895 markings, 180262607 edges, 4732 markings/sec, 3380 secs
lola: 453 tries, 452461897 fired transitions, 3385 secs || 23752603 markings, 180499536 edges, 6542 markings/sec, 3385 secs
lola: 454 tries, 453149791 fired transitions, 3390 secs || 23786590 markings, 180758009 edges, 6797 markings/sec, 3390 secs
lola: 454 tries, 453840605 fired transitions, 3395 secs || 23820605 markings, 181031266 edges, 6803 markings/sec, 3395 secs
lola: 455 tries, 454531480 fired transitions, 3400 secs || 23857551 markings, 181305290 edges, 7389 markings/sec, 3400 secs
lola: 456 tries, 455220875 fired transitions, 3405 secs || 23892995 markings, 181578036 edges, 7089 markings/sec, 3405 secs
lola: 456 tries, 455907034 fired transitions, 3410 secs || 23927723 markings, 181845360 edges, 6946 markings/sec, 3410 secs
lola: 457 tries, 456593989 fired transitions, 3415 secs || 23967714 markings, 182122390 edges, 7998 markings/sec, 3415 secs
lola: 458 tries, 457277004 fired transitions, 3420 secs || 24002430 markings, 182403635 edges, 6943 markings/sec, 3420 secs
lola: 458 tries, 457963373 fired transitions, 3425 secs || 24036653 markings, 182667602 edges, 6845 markings/sec, 3425 secs
lola: 459 tries, 458652183 fired transitions, 3430 secs || 24071943 markings, 182935952 edges, 7058 markings/sec, 3430 secs
lola: 460 tries, 459338547 fired transitions, 3435 secs || 24107805 markings, 183212044 edges, 7172 markings/sec, 3435 secs
lola: 461 tries, 460025165 fired transitions, 3440 secs || 24144975 markings, 183489427 edges, 7434 markings/sec, 3440 secs
lola: 461 tries, 460711883 fired transitions, 3445 secs || 24179784 markings, 183746129 edges, 6962 markings/sec, 3445 secs
lola: 462 tries, 461399483 fired transitions, 3450 secs || 24213877 markings, 184005432 edges, 6819 markings/sec, 3450 secs
lola: 463 tries, 462085447 fired transitions, 3455 secs || 24251424 markings, 184283123 edges, 7509 markings/sec, 3455 secs
lola: 463 tries, 462742548 fired transitions, 3460 secs || 24289663 markings, 184565223 edges, 7648 markings/sec, 3460 secs
lola: 464 tries, 463415770 fired transitions, 3465 secs || 24325623 markings, 184844928 edges, 7192 markings/sec, 3465 secs
lola: 465 tries, 464102568 fired transitions, 3470 secs || 24361231 markings, 185129261 edges, 7122 markings/sec, 3470 secs
lola: 465 tries, 464773265 fired transitions, 3475 secs || 24395549 markings, 185389924 edges, 6864 markings/sec, 3475 secs
lola: 466 tries, 465451538 fired transitions, 3480 secs || 24428855 markings, 185652790 edges, 6661 markings/sec, 3480 secs
lola: 467 tries, 466016531 fired transitions, 3485 secs || 24458472 markings, 185873555 edges, 5923 markings/sec, 3485 secs
lola: 467 tries, 466684045 fired transitions, 3490 secs || 24494244 markings, 186144745 edges, 7154 markings/sec, 3490 secs
lola: 468 tries, 467354791 fired transitions, 3495 secs || 24530347 markings, 186419514 edges, 7221 markings/sec, 3495 secs
lola: 469 tries, 468025279 fired transitions, 3500 secs || 24563866 markings, 186672202 edges, 6704 markings/sec, 3500 secs
lola: 469 tries, 468704287 fired transitions, 3505 secs || 24596944 markings, 186924103 edges, 6616 markings/sec, 3505 secs
lola: 470 tries, 469379495 fired transitions, 3510 secs || 24634117 markings, 187207085 edges, 7435 markings/sec, 3510 secs
lola: 471 tries, 470058909 fired transitions, 3515 secs || 24671577 markings, 187490320 edges, 7492 markings/sec, 3515 secs
lola: 471 tries, 470733724 fired transitions, 3520 secs || 24708425 markings, 187776605 edges, 7370 markings/sec, 3520 secs
lola: 472 tries, 471404498 fired transitions, 3525 secs || 24744633 markings, 188044537 edges, 7242 markings/sec, 3525 secs
lola: 473 tries, 472091445 fired transitions, 3530 secs || 24777171 markings, 188296508 edges, 6508 markings/sec, 3530 secs
lola: 473 tries, 472778988 fired transitions, 3535 secs || 24811698 markings, 188555593 edges, 6905 markings/sec, 3535 secs
lola: 474 tries, 473432916 fired transitions, 3540 secs || 24845657 markings, 188800946 edges, 6792 markings/sec, 3540 secs
lola: 475 tries, 474121427 fired transitions, 3545 secs || 24877360 markings, 189057452 edges, 6341 markings/sec, 3545 secs
lola: 475 tries, 474809622 fired transitions, 3550 secs || 24914040 markings, 189320356 edges, 7336 markings/sec, 3550 secs
lola: 476 tries, 475493572 fired transitions, 3555 secs || 24949728 markings, 189593462 edges, 7138 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1708900 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 1552577677934

--------------------
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-D30N010"
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-D30N010, 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-155234654700156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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