Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 3.6K Feb 11 07:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 07:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 06:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 31 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 31 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.9M 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 JoinFreeModules-PT-0500-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552686850942

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

{
"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": "Fri Mar 15 21:54:11 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 6055828,
"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": 11502,
"conflict_clusters": 2001,
"places": 2501,
"places_significant": 2000,
"singleton_clusters": 0,
"transitions": 4001
},
"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": inf,
"composed": 123530,
"dead_branches": 0,
"generators": 124251,
"interrupted": false,
"real_computed": 721,
"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: 6502/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 80032
lola: finding significant places
lola: 2501 places, 4001 transitions, 2000 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: 3 tries, 2020132 fired transitions, 0 secs
lola: 8313 generators; 2961939 candidates remain ( 0%), 0 secs
lola: 5 tries, 4360559 fired transitions, 5 secs
lola: 15908 generators; 2805823 candidates remain ( 0%), 5 secs
lola: 7 tries, 6960326 fired transitions, 10 secs
lola: 24125 generators; 2631407 candidates remain ( 0%), 10 secs
lola: 10 tries, 9097801 fired transitions, 15 secs
lola: 32016 generators; 2464374 candidates remain ( 1%), 15 secs
lola: 12 tries, 11441164 fired transitions, 20 secs
lola: 40406 generators; 2287815 candidates remain ( 1%), 20 secs
lola: 15 tries, 14116367 fired transitions, 25 secs
lola: 49560 generators; 2089101 candidates remain ( 2%), 25 secs
lola: 17 tries, 16732857 fired transitions, 30 secs
lola: 58734 generators; 1899223 candidates remain ( 2%), 30 secs
lola: 20 tries, 19290993 fired transitions, 35 secs
lola: 69093 generators; 1672579 candidates remain ( 3%), 35 secs
lola: 23 tries, 22067350 fired transitions, 40 secs
lola: 85877 generators; 1294335 candidates remain ( 6%), 40 secs
lola: 25 tries, 24287440 fired transitions, 45 secs
lola: 98416 generators; 992571 candidates remain ( 9%), 45 secs
lola: computed 124251 generators (721 in search tree, 123530 by composition)
lola: representing 2.44027E+1131 symmetries
lola: 0 dead branches visited in search tree
lola: 28 tries, 27063325 fired transitions, 50 secs || 1036 markings, 1637 edges, 207 markings/sec, 50 secs
lola: 30 tries, 29843569 fired transitions, 55 secs || 24766 markings, 40236 edges, 4746 markings/sec, 55 secs
lola: 32 tries, 31962159 fired transitions, 60 secs || 48749 markings, 79120 edges, 4797 markings/sec, 60 secs
lola: 35 tries, 34600936 fired transitions, 65 secs || 73453 markings, 119550 edges, 4941 markings/sec, 65 secs
lola: 37 tries, 36839317 fired transitions, 70 secs || 98459 markings, 160355 edges, 5001 markings/sec, 70 secs
lola: 39 tries, 38867435 fired transitions, 75 secs || 123140 markings, 200480 edges, 4936 markings/sec, 75 secs
lola: 41 tries, 40932786 fired transitions, 80 secs || 146703 markings, 238908 edges, 4713 markings/sec, 80 secs
lola: 43 tries, 42896869 fired transitions, 85 secs || 170349 markings, 277331 edges, 4729 markings/sec, 85 secs
lola: 46 tries, 45827166 fired transitions, 90 secs || 194244 markings, 316396 edges, 4779 markings/sec, 90 secs
lola: 49 tries, 48493034 fired transitions, 95 secs || 219195 markings, 357107 edges, 4990 markings/sec, 95 secs
lola: 51 tries, 50926355 fired transitions, 100 secs || 244431 markings, 398262 edges, 5047 markings/sec, 100 secs
lola: 54 tries, 53782288 fired transitions, 105 secs || 270379 markings, 440444 edges, 5190 markings/sec, 105 secs
lola: 57 tries, 56564060 fired transitions, 110 secs || 296149 markings, 482314 edges, 5154 markings/sec, 110 secs
lola: 60 tries, 59341174 fired transitions, 115 secs || 321864 markings, 524232 edges, 5143 markings/sec, 115 secs
lola: 62 tries, 61987677 fired transitions, 120 secs || 347840 markings, 566430 edges, 5195 markings/sec, 120 secs
lola: 65 tries, 64671768 fired transitions, 125 secs || 372827 markings, 607256 edges, 4997 markings/sec, 125 secs
lola: 68 tries, 67012823 fired transitions, 130 secs || 398187 markings, 648889 edges, 5072 markings/sec, 130 secs
lola: 70 tries, 69641892 fired transitions, 135 secs || 423680 markings, 690197 edges, 5099 markings/sec, 135 secs
lola: 73 tries, 72271285 fired transitions, 140 secs || 449010 markings, 731833 edges, 5066 markings/sec, 140 secs
lola: 76 tries, 75122520 fired transitions, 145 secs || 474341 markings, 773068 edges, 5066 markings/sec, 145 secs
lola: 78 tries, 77658506 fired transitions, 150 secs || 499585 markings, 813979 edges, 5049 markings/sec, 150 secs
lola: 81 tries, 80235861 fired transitions, 155 secs || 524329 markings, 854367 edges, 4949 markings/sec, 155 secs
lola: 84 tries, 83005092 fired transitions, 160 secs || 549001 markings, 894438 edges, 4934 markings/sec, 160 secs
lola: 86 tries, 85109064 fired transitions, 165 secs || 574042 markings, 935411 edges, 5008 markings/sec, 165 secs
lola: 88 tries, 87475543 fired transitions, 170 secs || 599314 markings, 976492 edges, 5054 markings/sec, 170 secs
lola: 90 tries, 89892631 fired transitions, 175 secs || 624490 markings, 1017416 edges, 5035 markings/sec, 175 secs
lola: 93 tries, 92429053 fired transitions, 180 secs || 649523 markings, 1058249 edges, 5007 markings/sec, 180 secs
lola: 95 tries, 94775268 fired transitions, 185 secs || 674357 markings, 1098595 edges, 4967 markings/sec, 185 secs
lola: 97 tries, 96957235 fired transitions, 190 secs || 699157 markings, 1139342 edges, 4960 markings/sec, 190 secs
lola: 100 tries, 99604688 fired transitions, 195 secs || 723548 markings, 1179055 edges, 4878 markings/sec, 195 secs
lola: 102 tries, 101945858 fired transitions, 200 secs || 748329 markings, 1219564 edges, 4956 markings/sec, 200 secs
lola: 105 tries, 104225089 fired transitions, 205 secs || 772936 markings, 1259584 edges, 4921 markings/sec, 205 secs
lola: 107 tries, 106336921 fired transitions, 210 secs || 797198 markings, 1299115 edges, 4852 markings/sec, 210 secs
lola: 109 tries, 108532173 fired transitions, 215 secs || 820483 markings, 1337117 edges, 4657 markings/sec, 215 secs
lola: 111 tries, 110594659 fired transitions, 220 secs || 843874 markings, 1375016 edges, 4678 markings/sec, 220 secs
lola: 113 tries, 112879517 fired transitions, 225 secs || 867427 markings, 1413162 edges, 4711 markings/sec, 225 secs
lola: 116 tries, 115077332 fired transitions, 230 secs || 891552 markings, 1452769 edges, 4825 markings/sec, 230 secs
lola: 118 tries, 117504608 fired transitions, 235 secs || 915520 markings, 1491978 edges, 4794 markings/sec, 235 secs
lola: 120 tries, 119982369 fired transitions, 240 secs || 939160 markings, 1530409 edges, 4728 markings/sec, 240 secs
lola: 123 tries, 122529858 fired transitions, 245 secs || 962605 markings, 1568780 edges, 4689 markings/sec, 245 secs
lola: 125 tries, 124910167 fired transitions, 250 secs || 986628 markings, 1607707 edges, 4805 markings/sec, 250 secs
lola: 128 tries, 127244938 fired transitions, 255 secs || 1011231 markings, 1647783 edges, 4921 markings/sec, 255 secs
lola: 130 tries, 129717013 fired transitions, 260 secs || 1035230 markings, 1686904 edges, 4800 markings/sec, 260 secs
lola: 133 tries, 132103793 fired transitions, 265 secs || 1058426 markings, 1724690 edges, 4639 markings/sec, 265 secs
lola: 135 tries, 134920564 fired transitions, 270 secs || 1081540 markings, 1762362 edges, 4623 markings/sec, 270 secs
lola: 138 tries, 137232796 fired transitions, 275 secs || 1105116 markings, 1800725 edges, 4715 markings/sec, 275 secs
lola: 140 tries, 139471639 fired transitions, 280 secs || 1129332 markings, 1840352 edges, 4843 markings/sec, 280 secs
lola: 142 tries, 141911092 fired transitions, 285 secs || 1153207 markings, 1879263 edges, 4775 markings/sec, 285 secs
lola: 145 tries, 144562637 fired transitions, 290 secs || 1176120 markings, 1916498 edges, 4583 markings/sec, 290 secs
lola: 148 tries, 147245604 fired transitions, 295 secs || 1200343 markings, 1955862 edges, 4845 markings/sec, 295 secs
lola: 151 tries, 150295103 fired transitions, 300 secs || 1225999 markings, 1997881 edges, 5131 markings/sec, 300 secs
lola: 153 tries, 152780813 fired transitions, 305 secs || 1251903 markings, 2040078 edges, 5181 markings/sec, 305 secs
lola: 155 tries, 154882412 fired transitions, 310 secs || 1276838 markings, 2080654 edges, 4987 markings/sec, 310 secs
lola: 158 tries, 157224130 fired transitions, 315 secs || 1301474 markings, 2120766 edges, 4927 markings/sec, 315 secs
lola: 160 tries, 159517950 fired transitions, 320 secs || 1325244 markings, 2159373 edges, 4754 markings/sec, 320 secs
lola: 162 tries, 161925902 fired transitions, 325 secs || 1350093 markings, 2200008 edges, 4970 markings/sec, 325 secs
lola: 165 tries, 164182977 fired transitions, 330 secs || 1373247 markings, 2237564 edges, 4631 markings/sec, 330 secs
lola: 167 tries, 166408261 fired transitions, 335 secs || 1396120 markings, 2275394 edges, 4575 markings/sec, 335 secs
lola: 169 tries, 168606773 fired transitions, 340 secs || 1419828 markings, 2313754 edges, 4742 markings/sec, 340 secs
lola: 172 tries, 171018866 fired transitions, 345 secs || 1444778 markings, 2354481 edges, 4990 markings/sec, 345 secs
lola: 174 tries, 173351941 fired transitions, 350 secs || 1469621 markings, 2395044 edges, 4969 markings/sec, 350 secs
lola: 176 tries, 175762013 fired transitions, 355 secs || 1493944 markings, 2434584 edges, 4865 markings/sec, 355 secs
lola: 179 tries, 178376255 fired transitions, 360 secs || 1518378 markings, 2474492 edges, 4887 markings/sec, 360 secs
lola: 181 tries, 180261802 fired transitions, 365 secs || 1543809 markings, 2515648 edges, 5086 markings/sec, 365 secs
lola: 183 tries, 182635408 fired transitions, 370 secs || 1566905 markings, 2553596 edges, 4619 markings/sec, 370 secs
lola: 186 tries, 185412868 fired transitions, 375 secs || 1590505 markings, 2592026 edges, 4720 markings/sec, 375 secs
lola: 188 tries, 187604197 fired transitions, 380 secs || 1615076 markings, 2632201 edges, 4914 markings/sec, 380 secs
lola: 190 tries, 189763335 fired transitions, 385 secs || 1638818 markings, 2670752 edges, 4748 markings/sec, 385 secs
lola: 193 tries, 192040804 fired transitions, 390 secs || 1664298 markings, 2712278 edges, 5096 markings/sec, 390 secs
lola: 195 tries, 194285392 fired transitions, 395 secs || 1689976 markings, 2754040 edges, 5136 markings/sec, 395 secs
lola: 197 tries, 196526750 fired transitions, 400 secs || 1715295 markings, 2795221 edges, 5064 markings/sec, 400 secs
lola: 199 tries, 198827546 fired transitions, 405 secs || 1740556 markings, 2836713 edges, 5052 markings/sec, 405 secs
lola: 201 tries, 200609634 fired transitions, 410 secs || 1764063 markings, 2874915 edges, 4701 markings/sec, 410 secs
lola: 203 tries, 202976910 fired transitions, 415 secs || 1787105 markings, 2912577 edges, 4608 markings/sec, 415 secs
lola: 206 tries, 205502711 fired transitions, 420 secs || 1810700 markings, 2950729 edges, 4719 markings/sec, 420 secs
lola: 208 tries, 207534785 fired transitions, 425 secs || 1834138 markings, 2989139 edges, 4688 markings/sec, 425 secs
lola: 210 tries, 209523634 fired transitions, 430 secs || 1857562 markings, 3027326 edges, 4685 markings/sec, 430 secs
lola: 212 tries, 211450185 fired transitions, 435 secs || 1881146 markings, 3065535 edges, 4717 markings/sec, 435 secs
lola: 214 tries, 213667484 fired transitions, 440 secs || 1904494 markings, 3103583 edges, 4670 markings/sec, 440 secs
lola: 216 tries, 215918104 fired transitions, 445 secs || 1927920 markings, 3141765 edges, 4685 markings/sec, 445 secs
lola: 218 tries, 217810100 fired transitions, 450 secs || 1951051 markings, 3179728 edges, 4626 markings/sec, 450 secs
lola: 220 tries, 219670626 fired transitions, 455 secs || 1974566 markings, 3217811 edges, 4703 markings/sec, 455 secs
lola: 222 tries, 221807200 fired transitions, 460 secs || 1998460 markings, 3256855 edges, 4779 markings/sec, 460 secs
lola: 224 tries, 223684068 fired transitions, 465 secs || 2022618 markings, 3296046 edges, 4832 markings/sec, 465 secs
lola: 227 tries, 226008192 fired transitions, 470 secs || 2046581 markings, 3335250 edges, 4793 markings/sec, 470 secs
lola: 229 tries, 228352659 fired transitions, 475 secs || 2070412 markings, 3373897 edges, 4766 markings/sec, 475 secs
lola: 231 tries, 230273762 fired transitions, 480 secs || 2094295 markings, 3412955 edges, 4777 markings/sec, 480 secs
lola: 233 tries, 232525449 fired transitions, 485 secs || 2118071 markings, 3451819 edges, 4755 markings/sec, 485 secs
lola: 235 tries, 234806284 fired transitions, 490 secs || 2142045 markings, 3490761 edges, 4795 markings/sec, 490 secs
lola: 238 tries, 237127478 fired transitions, 495 secs || 2165522 markings, 3529017 edges, 4695 markings/sec, 495 secs
lola: 240 tries, 239218024 fired transitions, 500 secs || 2189407 markings, 3568014 edges, 4777 markings/sec, 500 secs
lola: 242 tries, 241655959 fired transitions, 505 secs || 2213424 markings, 3607103 edges, 4803 markings/sec, 505 secs
lola: 245 tries, 244269101 fired transitions, 510 secs || 2237514 markings, 3646196 edges, 4818 markings/sec, 510 secs
lola: 247 tries, 246432173 fired transitions, 515 secs || 2261467 markings, 3685468 edges, 4791 markings/sec, 515 secs
lola: 249 tries, 248565069 fired transitions, 520 secs || 2285561 markings, 3724777 edges, 4819 markings/sec, 520 secs
lola: 252 tries, 251043516 fired transitions, 525 secs || 2309521 markings, 3763704 edges, 4792 markings/sec, 525 secs
lola: 255 tries, 254087135 fired transitions, 530 secs || 2332758 markings, 3801614 edges, 4647 markings/sec, 530 secs
lola: 257 tries, 256728202 fired transitions, 535 secs || 2356493 markings, 3840196 edges, 4747 markings/sec, 535 secs
lola: 260 tries, 259456603 fired transitions, 540 secs || 2380418 markings, 3879305 edges, 4785 markings/sec, 540 secs
lola: 262 tries, 261687903 fired transitions, 545 secs || 2403686 markings, 3917260 edges, 4654 markings/sec, 545 secs
lola: 264 tries, 263963359 fired transitions, 550 secs || 2426958 markings, 3955237 edges, 4654 markings/sec, 550 secs
lola: 267 tries, 266277755 fired transitions, 555 secs || 2449341 markings, 3991513 edges, 4477 markings/sec, 555 secs
lola: 269 tries, 268182705 fired transitions, 560 secs || 2473713 markings, 4031421 edges, 4874 markings/sec, 560 secs
lola: 271 tries, 270560872 fired transitions, 565 secs || 2497773 markings, 4070473 edges, 4812 markings/sec, 565 secs
lola: 273 tries, 272742575 fired transitions, 570 secs || 2521268 markings, 4108764 edges, 4699 markings/sec, 570 secs
lola: 275 tries, 274838179 fired transitions, 575 secs || 2546640 markings, 4150089 edges, 5074 markings/sec, 575 secs
lola: 277 tries, 276929512 fired transitions, 580 secs || 2571646 markings, 4190647 edges, 5001 markings/sec, 580 secs
lola: 280 tries, 279826835 fired transitions, 585 secs || 2596229 markings, 4230834 edges, 4917 markings/sec, 585 secs
lola: 283 tries, 282804866 fired transitions, 590 secs || 2620781 markings, 4271028 edges, 4910 markings/sec, 590 secs
lola: 286 tries, 285401801 fired transitions, 595 secs || 2644924 markings, 4310254 edges, 4829 markings/sec, 595 secs
lola: 288 tries, 287939514 fired transitions, 600 secs || 2669489 markings, 4350202 edges, 4913 markings/sec, 600 secs
lola: 291 tries, 290051016 fired transitions, 605 secs || 2693408 markings, 4389162 edges, 4784 markings/sec, 605 secs
lola: 293 tries, 292553616 fired transitions, 610 secs || 2717250 markings, 4428006 edges, 4768 markings/sec, 610 secs
lola: 295 tries, 294527215 fired transitions, 615 secs || 2740945 markings, 4466548 edges, 4739 markings/sec, 615 secs
lola: 298 tries, 297345541 fired transitions, 620 secs || 2762918 markings, 4502320 edges, 4395 markings/sec, 620 secs
lola: 300 tries, 299494358 fired transitions, 625 secs || 2786126 markings, 4540550 edges, 4642 markings/sec, 625 secs
lola: 303 tries, 302079617 fired transitions, 630 secs || 2811110 markings, 4581132 edges, 4997 markings/sec, 630 secs
lola: 305 tries, 304933648 fired transitions, 635 secs || 2834898 markings, 4619823 edges, 4758 markings/sec, 635 secs
lola: 307 tries, 306790189 fired transitions, 640 secs || 2857565 markings, 4656961 edges, 4533 markings/sec, 640 secs
lola: 310 tries, 309043437 fired transitions, 645 secs || 2881046 markings, 4695410 edges, 4696 markings/sec, 645 secs
lola: 312 tries, 311977549 fired transitions, 650 secs || 2905847 markings, 4735706 edges, 4960 markings/sec, 650 secs
lola: 315 tries, 314450099 fired transitions, 655 secs || 2928442 markings, 4772502 edges, 4519 markings/sec, 655 secs
lola: 318 tries, 317178810 fired transitions, 660 secs || 2952269 markings, 4811491 edges, 4765 markings/sec, 660 secs
lola: 320 tries, 319560891 fired transitions, 665 secs || 2976477 markings, 4850922 edges, 4842 markings/sec, 665 secs
lola: 323 tries, 322008587 fired transitions, 670 secs || 3000637 markings, 4890200 edges, 4832 markings/sec, 670 secs
lola: 325 tries, 324298833 fired transitions, 675 secs || 3024752 markings, 4929485 edges, 4823 markings/sec, 675 secs
lola: 327 tries, 326498933 fired transitions, 680 secs || 3048715 markings, 4968422 edges, 4793 markings/sec, 680 secs
lola: 330 tries, 329136360 fired transitions, 685 secs || 3072351 markings, 5006968 edges, 4727 markings/sec, 685 secs
lola: 332 tries, 331623324 fired transitions, 690 secs || 3096268 markings, 5045937 edges, 4783 markings/sec, 690 secs
lola: 335 tries, 334213893 fired transitions, 695 secs || 3120134 markings, 5084953 edges, 4773 markings/sec, 695 secs
lola: 337 tries, 336841135 fired transitions, 700 secs || 3143415 markings, 5122925 edges, 4656 markings/sec, 700 secs
lola: 339 tries, 338743336 fired transitions, 705 secs || 3166671 markings, 5160871 edges, 4651 markings/sec, 705 secs
lola: 341 tries, 340701538 fired transitions, 710 secs || 3190161 markings, 5198902 edges, 4698 markings/sec, 710 secs
lola: 343 tries, 342766551 fired transitions, 715 secs || 3213920 markings, 5237973 edges, 4752 markings/sec, 715 secs
lola: 345 tries, 344880512 fired transitions, 720 secs || 3238514 markings, 5277993 edges, 4919 markings/sec, 720 secs
lola: 348 tries, 347244330 fired transitions, 725 secs || 3262849 markings, 5317427 edges, 4867 markings/sec, 725 secs
lola: 350 tries, 349670216 fired transitions, 730 secs || 3287145 markings, 5356871 edges, 4859 markings/sec, 730 secs
lola: 353 tries, 352045711 fired transitions, 735 secs || 3311013 markings, 5395856 edges, 4774 markings/sec, 735 secs
lola: 355 tries, 354950800 fired transitions, 740 secs || 3334738 markings, 5434623 edges, 4745 markings/sec, 740 secs
lola: 358 tries, 357447543 fired transitions, 745 secs || 3358046 markings, 5472523 edges, 4662 markings/sec, 745 secs
lola: 360 tries, 359678994 fired transitions, 750 secs || 3381217 markings, 5510449 edges, 4634 markings/sec, 750 secs
lola: 363 tries, 362084336 fired transitions, 755 secs || 3404544 markings, 5548337 edges, 4665 markings/sec, 755 secs
lola: 365 tries, 364114907 fired transitions, 760 secs || 3428462 markings, 5587370 edges, 4784 markings/sec, 760 secs
lola: 367 tries, 366169169 fired transitions, 765 secs || 3452434 markings, 5626236 edges, 4794 markings/sec, 765 secs
lola: 369 tries, 368887608 fired transitions, 770 secs || 3476176 markings, 5665103 edges, 4748 markings/sec, 770 secs
lola: 371 tries, 370876197 fired transitions, 775 secs || 3499596 markings, 5703492 edges, 4684 markings/sec, 775 secs
lola: 374 tries, 373067886 fired transitions, 780 secs || 3523116 markings, 5741574 edges, 4704 markings/sec, 780 secs
lola: 376 tries, 375093391 fired transitions, 785 secs || 3546534 markings, 5779675 edges, 4684 markings/sec, 785 secs
lola: 378 tries, 377539356 fired transitions, 790 secs || 3569836 markings, 5817777 edges, 4660 markings/sec, 790 secs
lola: 380 tries, 379835440 fired transitions, 795 secs || 3594321 markings, 5857752 edges, 4897 markings/sec, 795 secs
lola: 382 tries, 381847318 fired transitions, 800 secs || 3618579 markings, 5897256 edges, 4852 markings/sec, 800 secs
lola: 385 tries, 384110123 fired transitions, 805 secs || 3641887 markings, 5935395 edges, 4662 markings/sec, 805 secs
lola: 387 tries, 386487132 fired transitions, 810 secs || 3665443 markings, 5973535 edges, 4711 markings/sec, 810 secs
lola: 389 tries, 388782528 fired transitions, 815 secs || 3688646 markings, 6011735 edges, 4641 markings/sec, 815 secs
lola: 392 tries, 391109315 fired transitions, 820 secs || 3713465 markings, 6051927 edges, 4964 markings/sec, 820 secs
lola: 394 tries, 393436586 fired transitions, 825 secs || 3738118 markings, 6092017 edges, 4931 markings/sec, 825 secs
lola: 396 tries, 395757424 fired transitions, 830 secs || 3763002 markings, 6132687 edges, 4977 markings/sec, 830 secs
lola: 399 tries, 398425982 fired transitions, 835 secs || 3787874 markings, 6172912 edges, 4974 markings/sec, 835 secs
lola: 402 tries, 401186641 fired transitions, 840 secs || 3812866 markings, 6213847 edges, 4998 markings/sec, 840 secs
lola: 404 tries, 403857450 fired transitions, 845 secs || 3838655 markings, 6255741 edges, 5158 markings/sec, 845 secs
lola: 407 tries, 406574486 fired transitions, 850 secs || 3863627 markings, 6296501 edges, 4994 markings/sec, 850 secs
lola: 409 tries, 408891436 fired transitions, 855 secs || 3887719 markings, 6335977 edges, 4818 markings/sec, 855 secs
lola: 412 tries, 411102272 fired transitions, 860 secs || 3910868 markings, 6373616 edges, 4630 markings/sec, 860 secs
lola: 414 tries, 413645327 fired transitions, 865 secs || 3934422 markings, 6411857 edges, 4711 markings/sec, 865 secs
lola: 416 tries, 415995649 fired transitions, 870 secs || 3958000 markings, 6450357 edges, 4716 markings/sec, 870 secs
lola: 419 tries, 418399755 fired transitions, 875 secs || 3981170 markings, 6488289 edges, 4634 markings/sec, 875 secs
lola: 421 tries, 420726423 fired transitions, 880 secs || 4004813 markings, 6526654 edges, 4729 markings/sec, 880 secs
lola: 423 tries, 422883960 fired transitions, 885 secs || 4027866 markings, 6564290 edges, 4611 markings/sec, 885 secs
lola: 425 tries, 424970587 fired transitions, 890 secs || 4051435 markings, 6602452 edges, 4714 markings/sec, 890 secs
lola: 428 tries, 427305988 fired transitions, 895 secs || 4074974 markings, 6641011 edges, 4708 markings/sec, 895 secs
lola: 430 tries, 429534195 fired transitions, 900 secs || 4100137 markings, 6681843 edges, 5033 markings/sec, 900 secs
lola: 432 tries, 431708484 fired transitions, 905 secs || 4124474 markings, 6721529 edges, 4867 markings/sec, 905 secs
lola: 434 tries, 433940420 fired transitions, 910 secs || 4148655 markings, 6760840 edges, 4836 markings/sec, 910 secs
lola: 437 tries, 436462844 fired transitions, 915 secs || 4172709 markings, 6800151 edges, 4811 markings/sec, 915 secs
lola: 439 tries, 438787764 fired transitions, 920 secs || 4196990 markings, 6839817 edges, 4856 markings/sec, 920 secs
lola: 442 tries, 441080695 fired transitions, 925 secs || 4221121 markings, 6879111 edges, 4826 markings/sec, 925 secs
lola: 444 tries, 443488597 fired transitions, 930 secs || 4244486 markings, 6917413 edges, 4673 markings/sec, 930 secs
lola: 447 tries, 446120944 fired transitions, 935 secs || 4267760 markings, 6955375 edges, 4655 markings/sec, 935 secs
lola: 449 tries, 448565856 fired transitions, 940 secs || 4291494 markings, 6993979 edges, 4747 markings/sec, 940 secs
lola: 452 tries, 451368430 fired transitions, 945 secs || 4315293 markings, 7032622 edges, 4760 markings/sec, 945 secs
lola: 454 tries, 453344221 fired transitions, 950 secs || 4338531 markings, 7070813 edges, 4648 markings/sec, 950 secs
lola: 456 tries, 455870313 fired transitions, 955 secs || 4361776 markings, 7108511 edges, 4649 markings/sec, 955 secs
lola: 458 tries, 457887989 fired transitions, 960 secs || 4384600 markings, 7145704 edges, 4565 markings/sec, 960 secs
lola: 461 tries, 460224737 fired transitions, 965 secs || 4407589 markings, 7182993 edges, 4598 markings/sec, 965 secs
lola: 463 tries, 462533937 fired transitions, 970 secs || 4430327 markings, 7219982 edges, 4548 markings/sec, 970 secs
lola: 466 tries, 465025881 fired transitions, 975 secs || 4454183 markings, 7258990 edges, 4771 markings/sec, 975 secs
lola: 468 tries, 467531645 fired transitions, 980 secs || 4478575 markings, 7298697 edges, 4878 markings/sec, 980 secs
lola: 470 tries, 469864801 fired transitions, 985 secs || 4503290 markings, 7339141 edges, 4943 markings/sec, 985 secs
lola: 473 tries, 472136928 fired transitions, 990 secs || 4527690 markings, 7378866 edges, 4880 markings/sec, 990 secs
lola: 475 tries, 474673670 fired transitions, 995 secs || 4552243 markings, 7419044 edges, 4911 markings/sec, 995 secs
lola: 478 tries, 477100806 fired transitions, 1000 secs || 4577195 markings, 7459540 edges, 4990 markings/sec, 1000 secs
lola: 480 tries, 479645120 fired transitions, 1005 secs || 4601980 markings, 7500034 edges, 4957 markings/sec, 1005 secs
lola: 483 tries, 482311992 fired transitions, 1010 secs || 4626851 markings, 7540458 edges, 4974 markings/sec, 1010 secs
lola: 485 tries, 484573565 fired transitions, 1015 secs || 4651633 markings, 7580712 edges, 4956 markings/sec, 1015 secs
lola: 488 tries, 487053736 fired transitions, 1020 secs || 4676381 markings, 7621141 edges, 4950 markings/sec, 1020 secs
lola: 490 tries, 489740459 fired transitions, 1025 secs || 4701200 markings, 7661699 edges, 4964 markings/sec, 1025 secs
lola: 493 tries, 492047886 fired transitions, 1030 secs || 4726174 markings, 7702468 edges, 4995 markings/sec, 1030 secs
lola: 495 tries, 494548006 fired transitions, 1035 secs || 4751282 markings, 7743210 edges, 5022 markings/sec, 1035 secs
lola: 497 tries, 496825660 fired transitions, 1040 secs || 4776415 markings, 7783990 edges, 5027 markings/sec, 1040 secs
lola: 500 tries, 499692635 fired transitions, 1045 secs || 4801290 markings, 7824770 edges, 4975 markings/sec, 1045 secs
lola: 503 tries, 502296364 fired transitions, 1050 secs || 4826544 markings, 7865596 edges, 5051 markings/sec, 1050 secs
lola: 505 tries, 504845086 fired transitions, 1055 secs || 4851349 markings, 7906415 edges, 4961 markings/sec, 1055 secs
lola: 508 tries, 507332839 fired transitions, 1060 secs || 4876065 markings, 7946399 edges, 4943 markings/sec, 1060 secs
lola: 510 tries, 509592124 fired transitions, 1065 secs || 4901177 markings, 7987370 edges, 5022 markings/sec, 1065 secs
lola: 512 tries, 511937883 fired transitions, 1070 secs || 4925425 markings, 8027131 edges, 4850 markings/sec, 1070 secs
lola: 515 tries, 514353862 fired transitions, 1075 secs || 4949833 markings, 8066682 edges, 4882 markings/sec, 1075 secs
lola: 518 tries, 517047578 fired transitions, 1080 secs || 4972593 markings, 8103772 edges, 4552 markings/sec, 1080 secs
lola: 520 tries, 519596437 fired transitions, 1085 secs || 4995293 markings, 8140780 edges, 4540 markings/sec, 1085 secs
lola: 522 tries, 521923981 fired transitions, 1090 secs || 5017996 markings, 8177837 edges, 4541 markings/sec, 1090 secs
lola: 525 tries, 524498205 fired transitions, 1095 secs || 5041847 markings, 8216724 edges, 4770 markings/sec, 1095 secs
lola: 527 tries, 526887320 fired transitions, 1100 secs || 5065275 markings, 8255059 edges, 4686 markings/sec, 1100 secs
lola: 529 tries, 528881910 fired transitions, 1105 secs || 5088492 markings, 8292630 edges, 4643 markings/sec, 1105 secs
lola: 532 tries, 531195884 fired transitions, 1110 secs || 5110959 markings, 8329335 edges, 4493 markings/sec, 1110 secs
lola: 534 tries, 533515346 fired transitions, 1115 secs || 5133728 markings, 8366291 edges, 4554 markings/sec, 1115 secs
lola: 536 tries, 535537189 fired transitions, 1120 secs || 5156565 markings, 8403687 edges, 4567 markings/sec, 1120 secs
lola: 538 tries, 537774066 fired transitions, 1125 secs || 5180670 markings, 8442797 edges, 4821 markings/sec, 1125 secs
lola: 541 tries, 540342241 fired transitions, 1130 secs || 5204331 markings, 8481456 edges, 4732 markings/sec, 1130 secs
lola: 543 tries, 542778732 fired transitions, 1135 secs || 5228757 markings, 8521287 edges, 4885 markings/sec, 1135 secs
lola: 545 tries, 544887226 fired transitions, 1140 secs || 5252813 markings, 8560340 edges, 4811 markings/sec, 1140 secs
lola: 547 tries, 546988249 fired transitions, 1145 secs || 5275581 markings, 8597520 edges, 4554 markings/sec, 1145 secs
lola: 550 tries, 549174070 fired transitions, 1150 secs || 5298881 markings, 8635616 edges, 4660 markings/sec, 1150 secs
lola: 552 tries, 551179995 fired transitions, 1155 secs || 5322397 markings, 8673905 edges, 4703 markings/sec, 1155 secs
lola: 554 tries, 553557661 fired transitions, 1160 secs || 5347073 markings, 8714000 edges, 4935 markings/sec, 1160 secs
lola: 556 tries, 555545141 fired transitions, 1165 secs || 5371629 markings, 8754186 edges, 4911 markings/sec, 1165 secs
lola: 558 tries, 557786864 fired transitions, 1170 secs || 5396111 markings, 8794065 edges, 4896 markings/sec, 1170 secs
lola: 561 tries, 560172992 fired transitions, 1175 secs || 5420452 markings, 8833700 edges, 4868 markings/sec, 1175 secs
lola: 563 tries, 562683645 fired transitions, 1180 secs || 5444784 markings, 8873161 edges, 4866 markings/sec, 1180 secs
lola: 565 tries, 564945425 fired transitions, 1185 secs || 5468859 markings, 8912201 edges, 4815 markings/sec, 1185 secs
lola: 567 tries, 566940482 fired transitions, 1190 secs || 5492087 markings, 8950346 edges, 4646 markings/sec, 1190 secs
lola: 569 tries, 568947578 fired transitions, 1195 secs || 5515355 markings, 8988058 edges, 4654 markings/sec, 1195 secs
lola: 572 tries, 571243701 fired transitions, 1200 secs || 5538372 markings, 9026022 edges, 4603 markings/sec, 1200 secs
lola: 574 tries, 573533935 fired transitions, 1205 secs || 5561961 markings, 9064521 edges, 4718 markings/sec, 1205 secs
lola: 576 tries, 575763750 fired transitions, 1210 secs || 5585439 markings, 9102785 edges, 4696 markings/sec, 1210 secs
lola: 579 tries, 578481697 fired transitions, 1215 secs || 5608851 markings, 9140920 edges, 4682 markings/sec, 1215 secs
lola: 581 tries, 580797227 fired transitions, 1220 secs || 5632205 markings, 9179214 edges, 4671 markings/sec, 1220 secs
lola: 584 tries, 583468389 fired transitions, 1225 secs || 5656568 markings, 9218932 edges, 4873 markings/sec, 1225 secs
lola: 587 tries, 586200581 fired transitions, 1230 secs || 5681035 markings, 9258551 edges, 4893 markings/sec, 1230 secs
lola: 589 tries, 588757610 fired transitions, 1235 secs || 5705623 markings, 9298426 edges, 4918 markings/sec, 1235 secs
lola: 592 tries, 591094517 fired transitions, 1240 secs || 5730039 markings, 9338314 edges, 4883 markings/sec, 1240 secs
lola: 594 tries, 593210349 fired transitions, 1245 secs || 5754321 markings, 9378273 edges, 4856 markings/sec, 1245 secs
lola: 596 tries, 595779069 fired transitions, 1250 secs || 5779093 markings, 9418353 edges, 4954 markings/sec, 1250 secs
lola: 598 tries, 597755251 fired transitions, 1255 secs || 5803552 markings, 9458196 edges, 4892 markings/sec, 1255 secs
lola: 601 tries, 600141369 fired transitions, 1260 secs || 5827859 markings, 9497831 edges, 4861 markings/sec, 1260 secs
lola: 603 tries, 602433883 fired transitions, 1265 secs || 5852236 markings, 9537528 edges, 4875 markings/sec, 1265 secs
lola: 605 tries, 604910514 fired transitions, 1270 secs || 5875940 markings, 9576117 edges, 4741 markings/sec, 1270 secs
lola: 608 tries, 607035302 fired transitions, 1275 secs || 5899320 markings, 9614417 edges, 4676 markings/sec, 1275 secs
lola: 610 tries, 609447736 fired transitions, 1280 secs || 5922831 markings, 9652689 edges, 4702 markings/sec, 1280 secs
lola: 612 tries, 611951017 fired transitions, 1285 secs || 5946558 markings, 9691314 edges, 4745 markings/sec, 1285 secs
lola: 615 tries, 614165804 fired transitions, 1290 secs || 5970186 markings, 9729979 edges, 4726 markings/sec, 1290 secs
lola: 617 tries, 616461627 fired transitions, 1295 secs || 5993905 markings, 9768560 edges, 4744 markings/sec, 1295 secs
lola: 619 tries, 618704246 fired transitions, 1300 secs || 6017539 markings, 9807227 edges, 4727 markings/sec, 1300 secs
lola: 621 tries, 620946451 fired transitions, 1305 secs || 6041748 markings, 9846278 edges, 4842 markings/sec, 1305 secs
lola: 624 tries, 623361227 fired transitions, 1310 secs || 6065891 markings, 9885899 edges, 4829 markings/sec, 1310 secs
lola: 626 tries, 625553394 fired transitions, 1315 secs || 6090012 markings, 9925135 edges, 4824 markings/sec, 1315 secs
lola: 628 tries, 627553689 fired transitions, 1320 secs || 6114038 markings, 9964463 edges, 4805 markings/sec, 1320 secs
lola: 630 tries, 629691666 fired transitions, 1325 secs || 6138399 markings, 10003706 edges, 4872 markings/sec, 1325 secs
lola: 632 tries, 631876934 fired transitions, 1330 secs || 6162063 markings, 10042294 edges, 4733 markings/sec, 1330 secs
lola: 634 tries, 633695659 fired transitions, 1335 secs || 6185319 markings, 10080614 edges, 4651 markings/sec, 1335 secs
lola: 636 tries, 635739617 fired transitions, 1340 secs || 6209062 markings, 10118899 edges, 4749 markings/sec, 1340 secs
lola: 639 tries, 638186092 fired transitions, 1345 secs || 6232688 markings, 10157717 edges, 4725 markings/sec, 1345 secs
lola: 641 tries, 640267502 fired transitions, 1350 secs || 6257391 markings, 10197843 edges, 4941 markings/sec, 1350 secs
lola: 643 tries, 642564360 fired transitions, 1355 secs || 6281200 markings, 10236757 edges, 4762 markings/sec, 1355 secs
lola: 645 tries, 644603559 fired transitions, 1360 secs || 6304702 markings, 10275015 edges, 4700 markings/sec, 1360 secs
lola: 647 tries, 646836796 fired transitions, 1365 secs || 6328139 markings, 10313250 edges, 4687 markings/sec, 1365 secs
lola: 650 tries, 649133438 fired transitions, 1370 secs || 6351459 markings, 10351457 edges, 4664 markings/sec, 1370 secs
lola: 652 tries, 651106008 fired transitions, 1375 secs || 6375013 markings, 10389436 edges, 4711 markings/sec, 1375 secs
lola: 654 tries, 653454219 fired transitions, 1380 secs || 6398433 markings, 10427534 edges, 4684 markings/sec, 1380 secs
lola: 656 tries, 655465220 fired transitions, 1385 secs || 6421673 markings, 10465641 edges, 4648 markings/sec, 1385 secs
lola: 658 tries, 657645456 fired transitions, 1390 secs || 6445062 markings, 10504032 edges, 4678 markings/sec, 1390 secs
lola: 661 tries, 660118471 fired transitions, 1395 secs || 6469665 markings, 10543840 edges, 4921 markings/sec, 1395 secs
lola: 663 tries, 662170475 fired transitions, 1400 secs || 6494249 markings, 10584048 edges, 4917 markings/sec, 1400 secs
lola: 665 tries, 664629109 fired transitions, 1405 secs || 6518560 markings, 10623667 edges, 4862 markings/sec, 1405 secs
lola: 668 tries, 667115390 fired transitions, 1410 secs || 6543274 markings, 10663843 edges, 4943 markings/sec, 1410 secs
lola: 670 tries, 669437362 fired transitions, 1415 secs || 6568196 markings, 10704108 edges, 4984 markings/sec, 1415 secs
lola: 672 tries, 671711932 fired transitions, 1420 secs || 6592549 markings, 10744021 edges, 4871 markings/sec, 1420 secs
lola: 675 tries, 674061418 fired transitions, 1425 secs || 6617189 markings, 10784307 edges, 4928 markings/sec, 1425 secs
lola: 677 tries, 676440253 fired transitions, 1430 secs || 6642145 markings, 10824796 edges, 4991 markings/sec, 1430 secs
lola: 680 tries, 679082130 fired transitions, 1435 secs || 6666351 markings, 10864503 edges, 4841 markings/sec, 1435 secs
lola: 682 tries, 681306562 fired transitions, 1440 secs || 6690977 markings, 10904580 edges, 4925 markings/sec, 1440 secs
lola: 684 tries, 683486193 fired transitions, 1445 secs || 6715676 markings, 10944738 edges, 4940 markings/sec, 1445 secs
lola: 687 tries, 686203805 fired transitions, 1450 secs || 6740393 markings, 10984885 edges, 4943 markings/sec, 1450 secs
lola: 689 tries, 688452383 fired transitions, 1455 secs || 6765174 markings, 11025408 edges, 4956 markings/sec, 1455 secs
lola: 691 tries, 690846896 fired transitions, 1460 secs || 6788854 markings, 11063949 edges, 4736 markings/sec, 1460 secs
lola: 693 tries, 692939936 fired transitions, 1465 secs || 6812397 markings, 11102250 edges, 4709 markings/sec, 1465 secs
lola: 695 tries, 694712824 fired transitions, 1470 secs || 6835853 markings, 11140540 edges, 4691 markings/sec, 1470 secs
lola: 697 tries, 696915623 fired transitions, 1475 secs || 6860309 markings, 11180281 edges, 4891 markings/sec, 1475 secs
lola: 700 tries, 699298797 fired transitions, 1480 secs || 6884673 markings, 11219984 edges, 4873 markings/sec, 1480 secs
lola: 702 tries, 701825215 fired transitions, 1485 secs || 6909355 markings, 11260141 edges, 4936 markings/sec, 1485 secs
lola: 705 tries, 704571371 fired transitions, 1490 secs || 6934306 markings, 11301114 edges, 4990 markings/sec, 1490 secs
lola: 708 tries, 707191166 fired transitions, 1495 secs || 6959614 markings, 11342323 edges, 5062 markings/sec, 1495 secs
lola: 710 tries, 709952463 fired transitions, 1500 secs || 6984462 markings, 11382906 edges, 4970 markings/sec, 1500 secs
lola: 713 tries, 712266315 fired transitions, 1505 secs || 7008914 markings, 11422736 edges, 4890 markings/sec, 1505 secs
lola: 715 tries, 714681287 fired transitions, 1510 secs || 7033489 markings, 11462905 edges, 4915 markings/sec, 1510 secs
lola: 718 tries, 717201844 fired transitions, 1515 secs || 7058305 markings, 11503211 edges, 4963 markings/sec, 1515 secs
lola: 720 tries, 719508333 fired transitions, 1520 secs || 7082924 markings, 11543289 edges, 4924 markings/sec, 1520 secs
lola: 723 tries, 722059932 fired transitions, 1525 secs || 7107218 markings, 11582941 edges, 4859 markings/sec, 1525 secs
lola: 725 tries, 724634490 fired transitions, 1530 secs || 7132197 markings, 11623625 edges, 4996 markings/sec, 1530 secs
lola: 728 tries, 727488490 fired transitions, 1535 secs || 7156768 markings, 11663858 edges, 4914 markings/sec, 1535 secs
lola: 731 tries, 730130835 fired transitions, 1540 secs || 7180927 markings, 11703015 edges, 4832 markings/sec, 1540 secs
lola: 733 tries, 732415049 fired transitions, 1545 secs || 7204378 markings, 11741243 edges, 4690 markings/sec, 1545 secs
lola: 735 tries, 734570423 fired transitions, 1550 secs || 7227838 markings, 11779440 edges, 4692 markings/sec, 1550 secs
lola: 737 tries, 736882565 fired transitions, 1555 secs || 7251419 markings, 11817617 edges, 4716 markings/sec, 1555 secs
lola: 740 tries, 739597289 fired transitions, 1560 secs || 7275731 markings, 11857712 edges, 4862 markings/sec, 1560 secs
lola: 742 tries, 741617577 fired transitions, 1565 secs || 7300149 markings, 11897466 edges, 4884 markings/sec, 1565 secs
lola: 745 tries, 744084658 fired transitions, 1570 secs || 7323667 markings, 11935969 edges, 4704 markings/sec, 1570 secs
lola: 747 tries, 746754938 fired transitions, 1575 secs || 7347978 markings, 11975171 edges, 4862 markings/sec, 1575 secs
lola: 750 tries, 749184050 fired transitions, 1580 secs || 7372573 markings, 12015496 edges, 4919 markings/sec, 1580 secs
lola: 752 tries, 751732307 fired transitions, 1585 secs || 7396994 markings, 12055370 edges, 4884 markings/sec, 1585 secs
lola: 755 tries, 754388331 fired transitions, 1590 secs || 7421944 markings, 12095696 edges, 4990 markings/sec, 1590 secs
lola: 757 tries, 756400188 fired transitions, 1595 secs || 7446686 markings, 12136105 edges, 4948 markings/sec, 1595 secs
lola: 759 tries, 758723936 fired transitions, 1600 secs || 7471195 markings, 12176038 edges, 4902 markings/sec, 1600 secs
lola: 761 tries, 760991919 fired transitions, 1605 secs || 7495761 markings, 12216278 edges, 4913 markings/sec, 1605 secs
lola: 764 tries, 763081697 fired transitions, 1610 secs || 7520442 markings, 12256105 edges, 4936 markings/sec, 1610 secs
lola: 766 tries, 765012751 fired transitions, 1615 secs || 7544503 markings, 12295413 edges, 4812 markings/sec, 1615 secs
lola: 768 tries, 767088299 fired transitions, 1620 secs || 7568688 markings, 12334828 edges, 4837 markings/sec, 1620 secs
lola: 770 tries, 769541014 fired transitions, 1625 secs || 7593072 markings, 12374563 edges, 4877 markings/sec, 1625 secs
lola: 772 tries, 771701590 fired transitions, 1630 secs || 7617491 markings, 12414780 edges, 4884 markings/sec, 1630 secs
lola: 774 tries, 773697358 fired transitions, 1635 secs || 7642255 markings, 12454790 edges, 4953 markings/sec, 1635 secs
lola: 777 tries, 776234725 fired transitions, 1640 secs || 7666335 markings, 12494094 edges, 4816 markings/sec, 1640 secs
lola: 779 tries, 778404635 fired transitions, 1645 secs || 7690905 markings, 12534289 edges, 4914 markings/sec, 1645 secs
lola: 781 tries, 780656433 fired transitions, 1650 secs || 7715918 markings, 12574901 edges, 5003 markings/sec, 1650 secs
lola: 783 tries, 782942269 fired transitions, 1655 secs || 7740325 markings, 12614862 edges, 4881 markings/sec, 1655 secs
lola: 786 tries, 785002175 fired transitions, 1660 secs || 7764644 markings, 12654263 edges, 4864 markings/sec, 1660 secs
lola: 788 tries, 787252289 fired transitions, 1665 secs || 7788425 markings, 12693171 edges, 4756 markings/sec, 1665 secs
lola: 790 tries, 789684597 fired transitions, 1670 secs || 7812554 markings, 12732519 edges, 4826 markings/sec, 1670 secs
lola: 792 tries, 791955275 fired transitions, 1675 secs || 7835939 markings, 12770677 edges, 4677 markings/sec, 1675 secs
lola: 795 tries, 794149611 fired transitions, 1680 secs || 7859278 markings, 12808465 edges, 4668 markings/sec, 1680 secs
lola: 797 tries, 796392035 fired transitions, 1685 secs || 7882556 markings, 12846466 edges, 4656 markings/sec, 1685 secs
lola: 799 tries, 798640307 fired transitions, 1690 secs || 7906520 markings, 12885582 edges, 4793 markings/sec, 1690 secs
lola: 801 tries, 800749926 fired transitions, 1695 secs || 7930151 markings, 12923878 edges, 4726 markings/sec, 1695 secs
lola: 803 tries, 802753645 fired transitions, 1700 secs || 7953748 markings, 12962258 edges, 4719 markings/sec, 1700 secs
lola: 805 tries, 804607271 fired transitions, 1705 secs || 7977163 markings, 13000506 edges, 4683 markings/sec, 1705 secs
lola: 807 tries, 806965810 fired transitions, 1710 secs || 8001463 markings, 13040219 edges, 4860 markings/sec, 1710 secs
lola: 810 tries, 809433277 fired transitions, 1715 secs || 8026608 markings, 13081221 edges, 5029 markings/sec, 1715 secs
lola: 812 tries, 811975411 fired transitions, 1720 secs || 8051779 markings, 13122255 edges, 5034 markings/sec, 1720 secs
lola: 815 tries, 814246912 fired transitions, 1725 secs || 8077244 markings, 13163707 edges, 5093 markings/sec, 1725 secs
lola: 817 tries, 816534951 fired transitions, 1730 secs || 8102245 markings, 13204262 edges, 5000 markings/sec, 1730 secs
lola: 819 tries, 818661602 fired transitions, 1735 secs || 8126880 markings, 13244548 edges, 4927 markings/sec, 1735 secs
lola: 822 tries, 821006850 fired transitions, 1740 secs || 8151079 markings, 13284051 edges, 4840 markings/sec, 1740 secs
lola: 824 tries, 823404830 fired transitions, 1745 secs || 8175555 markings, 13323940 edges, 4895 markings/sec, 1745 secs
lola: 826 tries, 825904462 fired transitions, 1750 secs || 8200526 markings, 13364624 edges, 4994 markings/sec, 1750 secs
lola: 829 tries, 828296460 fired transitions, 1755 secs || 8225807 markings, 13405851 edges, 5056 markings/sec, 1755 secs
lola: 831 tries, 830437487 fired transitions, 1760 secs || 8250641 markings, 13446305 edges, 4967 markings/sec, 1760 secs
lola: 833 tries, 832629107 fired transitions, 1765 secs || 8276312 markings, 13487881 edges, 5134 markings/sec, 1765 secs
lola: 835 tries, 834967880 fired transitions, 1770 secs || 8301829 markings, 13529649 edges, 5103 markings/sec, 1770 secs
lola: 838 tries, 837273891 fired transitions, 1775 secs || 8325232 markings, 13567914 edges, 4681 markings/sec, 1775 secs
lola: 840 tries, 839496692 fired transitions, 1780 secs || 8348609 markings, 13606098 edges, 4675 markings/sec, 1780 secs
lola: 842 tries, 841668917 fired transitions, 1785 secs || 8372164 markings, 13644352 edges, 4711 markings/sec, 1785 secs
lola: 845 tries, 844428989 fired transitions, 1790 secs || 8395729 markings, 13683038 edges, 4713 markings/sec, 1790 secs
lola: 847 tries, 846483744 fired transitions, 1795 secs || 8420281 markings, 13722800 edges, 4910 markings/sec, 1795 secs
lola: 849 tries, 848669575 fired transitions, 1800 secs || 8444403 markings, 13762117 edges, 4824 markings/sec, 1800 secs
lola: 851 tries, 850763180 fired transitions, 1805 secs || 8468517 markings, 13801472 edges, 4823 markings/sec, 1805 secs
lola: 854 tries, 853142053 fired transitions, 1810 secs || 8492945 markings, 13841239 edges, 4886 markings/sec, 1810 secs
lola: 856 tries, 855777791 fired transitions, 1815 secs || 8517689 markings, 13881673 edges, 4949 markings/sec, 1815 secs
lola: 859 tries, 858303936 fired transitions, 1820 secs || 8542436 markings, 13921933 edges, 4949 markings/sec, 1820 secs
lola: 861 tries, 860726779 fired transitions, 1825 secs || 8566941 markings, 13962017 edges, 4901 markings/sec, 1825 secs
lola: 864 tries, 863239409 fired transitions, 1830 secs || 8592008 markings, 14002632 edges, 5013 markings/sec, 1830 secs
lola: 866 tries, 865874655 fired transitions, 1835 secs || 8616958 markings, 14043180 edges, 4990 markings/sec, 1835 secs
lola: 869 tries, 868246529 fired transitions, 1840 secs || 8641435 markings, 14083262 edges, 4895 markings/sec, 1840 secs
lola: 871 tries, 870268129 fired transitions, 1845 secs || 8664400 markings, 14120798 edges, 4593 markings/sec, 1845 secs
lola: 873 tries, 872326781 fired transitions, 1850 secs || 8687813 markings, 14158916 edges, 4683 markings/sec, 1850 secs
lola: 875 tries, 874471378 fired transitions, 1855 secs || 8711309 markings, 14197020 edges, 4699 markings/sec, 1855 secs
lola: 877 tries, 876700319 fired transitions, 1860 secs || 8735528 markings, 14236825 edges, 4844 markings/sec, 1860 secs
lola: 880 tries, 879187020 fired transitions, 1865 secs || 8759971 markings, 14276522 edges, 4889 markings/sec, 1865 secs
lola: 882 tries, 881498581 fired transitions, 1870 secs || 8783996 markings, 14315692 edges, 4805 markings/sec, 1870 secs
lola: 884 tries, 883842320 fired transitions, 1875 secs || 8808939 markings, 14356237 edges, 4989 markings/sec, 1875 secs
lola: 887 tries, 886529167 fired transitions, 1880 secs || 8834797 markings, 14398467 edges, 5172 markings/sec, 1880 secs
lola: 889 tries, 888911085 fired transitions, 1885 secs || 8860369 markings, 14440038 edges, 5114 markings/sec, 1885 secs
lola: 891 tries, 890752928 fired transitions, 1890 secs || 8885894 markings, 14481780 edges, 5105 markings/sec, 1890 secs
lola: 894 tries, 893134930 fired transitions, 1895 secs || 8911817 markings, 14523869 edges, 5185 markings/sec, 1895 secs
lola: 896 tries, 895665640 fired transitions, 1900 secs || 8937348 markings, 14565375 edges, 5106 markings/sec, 1900 secs
lola: 899 tries, 898294285 fired transitions, 1905 secs || 8963081 markings, 14607355 edges, 5147 markings/sec, 1905 secs
lola: 901 tries, 900765062 fired transitions, 1910 secs || 8989116 markings, 14649637 edges, 5207 markings/sec, 1910 secs
lola: 904 tries, 903359907 fired transitions, 1915 secs || 9014647 markings, 14691389 edges, 5106 markings/sec, 1915 secs
lola: 906 tries, 905775821 fired transitions, 1920 secs || 9040147 markings, 14733247 edges, 5100 markings/sec, 1920 secs
lola: 909 tries, 908342992 fired transitions, 1925 secs || 9066167 markings, 14775526 edges, 5204 markings/sec, 1925 secs
lola: 911 tries, 910832166 fired transitions, 1930 secs || 9091463 markings, 14816968 edges, 5059 markings/sec, 1930 secs
lola: 913 tries, 912970028 fired transitions, 1935 secs || 9117229 markings, 14858824 edges, 5153 markings/sec, 1935 secs
lola: 916 tries, 915390330 fired transitions, 1940 secs || 9142989 markings, 14900582 edges, 5152 markings/sec, 1940 secs
lola: 918 tries, 917589352 fired transitions, 1945 secs || 9168631 markings, 14942586 edges, 5128 markings/sec, 1945 secs
lola: 920 tries, 919918644 fired transitions, 1950 secs || 9194366 markings, 14984395 edges, 5147 markings/sec, 1950 secs
lola: 923 tries, 922438659 fired transitions, 1955 secs || 9220179 markings, 15026765 edges, 5163 markings/sec, 1955 secs
lola: 926 tries, 925081874 fired transitions, 1960 secs || 9245433 markings, 15067801 edges, 5051 markings/sec, 1960 secs
lola: 928 tries, 927170669 fired transitions, 1965 secs || 9270098 markings, 15107804 edges, 4933 markings/sec, 1965 secs
lola: 930 tries, 929367615 fired transitions, 1970 secs || 9294906 markings, 15148324 edges, 4962 markings/sec, 1970 secs
lola: 932 tries, 931612930 fired transitions, 1975 secs || 9319882 markings, 15188845 edges, 4995 markings/sec, 1975 secs
lola: 934 tries, 933950822 fired transitions, 1980 secs || 9344495 markings, 15229116 edges, 4923 markings/sec, 1980 secs
lola: 936 tries, 935752913 fired transitions, 1985 secs || 9369368 markings, 15269528 edges, 4975 markings/sec, 1985 secs
lola: 939 tries, 938342379 fired transitions, 1990 secs || 9394109 markings, 15309953 edges, 4948 markings/sec, 1990 secs
lola: 941 tries, 940853458 fired transitions, 1995 secs || 9418875 markings, 15350428 edges, 4953 markings/sec, 1995 secs
lola: 943 tries, 942767735 fired transitions, 2000 secs || 9443843 markings, 15390962 edges, 4994 markings/sec, 2000 secs
lola: 945 tries, 944696621 fired transitions, 2005 secs || 9468112 markings, 15430745 edges, 4854 markings/sec, 2005 secs
lola: 947 tries, 946972856 fired transitions, 2010 secs || 9493192 markings, 15471192 edges, 5016 markings/sec, 2010 secs
lola: 950 tries, 949462599 fired transitions, 2015 secs || 9518961 markings, 15513322 edges, 5154 markings/sec, 2015 secs
lola: 952 tries, 951797487 fired transitions, 2020 secs || 9544797 markings, 15555456 edges, 5167 markings/sec, 2020 secs
lola: 955 tries, 954004784 fired transitions, 2025 secs || 9569548 markings, 15595902 edges, 4950 markings/sec, 2025 secs
lola: 957 tries, 956383645 fired transitions, 2030 secs || 9595397 markings, 15637680 edges, 5170 markings/sec, 2030 secs
lola: 959 tries, 958475040 fired transitions, 2035 secs || 9621221 markings, 15679811 edges, 5165 markings/sec, 2035 secs
lola: 961 tries, 960554764 fired transitions, 2040 secs || 9647108 markings, 15722048 edges, 5177 markings/sec, 2040 secs
lola: 964 tries, 963343228 fired transitions, 2045 secs || 9672615 markings, 15763565 edges, 5101 markings/sec, 2045 secs
lola: 966 tries, 965770123 fired transitions, 2050 secs || 9698047 markings, 15805412 edges, 5086 markings/sec, 2050 secs
lola: 968 tries, 967841730 fired transitions, 2055 secs || 9723774 markings, 15847205 edges, 5145 markings/sec, 2055 secs
lola: 970 tries, 969899522 fired transitions, 2060 secs || 9749576 markings, 15889147 edges, 5160 markings/sec, 2060 secs
lola: 973 tries, 972597046 fired transitions, 2065 secs || 9775096 markings, 15930867 edges, 5104 markings/sec, 2065 secs
lola: 975 tries, 974894221 fired transitions, 2070 secs || 9800758 markings, 15972771 edges, 5132 markings/sec, 2070 secs
lola: 978 tries, 977375472 fired transitions, 2075 secs || 9826673 markings, 16014831 edges, 5183 markings/sec, 2075 secs
lola: 980 tries, 979785014 fired transitions, 2080 secs || 9852642 markings, 16056975 edges, 5194 markings/sec, 2080 secs
lola: 983 tries, 982362041 fired transitions, 2085 secs || 9878204 markings, 16098772 edges, 5112 markings/sec, 2085 secs
lola: 985 tries, 984814835 fired transitions, 2090 secs || 9903939 markings, 16141009 edges, 5147 markings/sec, 2090 secs
lola: 988 tries, 987006514 fired transitions, 2095 secs || 9930131 markings, 16183479 edges, 5238 markings/sec, 2095 secs
lola: 990 tries, 989424196 fired transitions, 2100 secs || 9956784 markings, 16226766 edges, 5331 markings/sec, 2100 secs
lola: 993 tries, 992066272 fired transitions, 2105 secs || 9982896 markings, 16269366 edges, 5222 markings/sec, 2105 secs
lola: 995 tries, 994506432 fired transitions, 2110 secs || 10009071 markings, 16312187 edges, 5235 markings/sec, 2110 secs
lola: 997 tries, 996642120 fired transitions, 2115 secs || 10035545 markings, 16355358 edges, 5295 markings/sec, 2115 secs
lola: 999 tries, 998960785 fired transitions, 2120 secs || 10062095 markings, 16398646 edges, 5310 markings/sec, 2120 secs
lola: 1002 tries, 1001383634 fired transitions, 2125 secs || 10088566 markings, 16441822 edges, 5294 markings/sec, 2125 secs
lola: 1004 tries, 1003960412 fired transitions, 2130 secs || 10115053 markings, 16484780 edges, 5297 markings/sec, 2130 secs
lola: 1007 tries, 1006147057 fired transitions, 2135 secs || 10141235 markings, 16527623 edges, 5236 markings/sec, 2135 secs
lola: 1009 tries, 1008598440 fired transitions, 2140 secs || 10167607 markings, 16570536 edges, 5274 markings/sec, 2140 secs
lola: 1011 tries, 1010953257 fired transitions, 2145 secs || 10193770 markings, 16613162 edges, 5233 markings/sec, 2145 secs
lola: 1014 tries, 1013109463 fired transitions, 2150 secs || 10220090 markings, 16656025 edges, 5264 markings/sec, 2150 secs
lola: 1016 tries, 1015298196 fired transitions, 2155 secs || 10246455 markings, 16699138 edges, 5273 markings/sec, 2155 secs
lola: 1019 tries, 1018083091 fired transitions, 2160 secs || 10272544 markings, 16741491 edges, 5218 markings/sec, 2160 secs
lola: 1021 tries, 1020449628 fired transitions, 2165 secs || 10298372 markings, 16783505 edges, 5166 markings/sec, 2165 secs
lola: 1023 tries, 1022895422 fired transitions, 2170 secs || 10324076 markings, 16825376 edges, 5141 markings/sec, 2170 secs
lola: 1026 tries, 1025333194 fired transitions, 2175 secs || 10349506 markings, 16866699 edges, 5086 markings/sec, 2175 secs
lola: 1028 tries, 1027944189 fired transitions, 2180 secs || 10375000 markings, 16908336 edges, 5099 markings/sec, 2180 secs
lola: 1031 tries, 1030651159 fired transitions, 2185 secs || 10400043 markings, 16949339 edges, 5009 markings/sec, 2185 secs
lola: 1033 tries, 1032725169 fired transitions, 2190 secs || 10425241 markings, 16990618 edges, 5040 markings/sec, 2190 secs
lola: 1035 tries, 1034841321 fired transitions, 2195 secs || 10450531 markings, 17031378 edges, 5058 markings/sec, 2195 secs
lola: 1038 tries, 1037419921 fired transitions, 2200 secs || 10476363 markings, 17073776 edges, 5166 markings/sec, 2200 secs
lola: 1041 tries, 1040076209 fired transitions, 2205 secs || 10503038 markings, 17116999 edges, 5335 markings/sec, 2205 secs
lola: 1043 tries, 1042516686 fired transitions, 2210 secs || 10529563 markings, 17160240 edges, 5305 markings/sec, 2210 secs
lola: 1046 tries, 1045220549 fired transitions, 2215 secs || 10555888 markings, 17203283 edges, 5265 markings/sec, 2215 secs
lola: 1048 tries, 1047872904 fired transitions, 2220 secs || 10582273 markings, 17246216 edges, 5277 markings/sec, 2220 secs
lola: 1051 tries, 1050413789 fired transitions, 2225 secs || 10608693 markings, 17289199 edges, 5284 markings/sec, 2225 secs
lola: 1054 tries, 1053078200 fired transitions, 2230 secs || 10634899 markings, 17332143 edges, 5241 markings/sec, 2230 secs
lola: 1056 tries, 1055290723 fired transitions, 2235 secs || 10661270 markings, 17375025 edges, 5274 markings/sec, 2235 secs
lola: 1058 tries, 1057666454 fired transitions, 2240 secs || 10687990 markings, 17418591 edges, 5344 markings/sec, 2240 secs
lola: 1061 tries, 1060198109 fired transitions, 2245 secs || 10714106 markings, 17460988 edges, 5223 markings/sec, 2245 secs
lola: 1063 tries, 1062772282 fired transitions, 2250 secs || 10740473 markings, 17503923 edges, 5273 markings/sec, 2250 secs
lola: 1066 tries, 1065123754 fired transitions, 2255 secs || 10766952 markings, 17547170 edges, 5296 markings/sec, 2255 secs
lola: 1068 tries, 1067736301 fired transitions, 2260 secs || 10792644 markings, 17588931 edges, 5138 markings/sec, 2260 secs
lola: 1070 tries, 1069981876 fired transitions, 2265 secs || 10817981 markings, 17630445 edges, 5067 markings/sec, 2265 secs
lola: 1073 tries, 1072836891 fired transitions, 2270 secs || 10844531 markings, 17673797 edges, 5310 markings/sec, 2270 secs
lola: 1076 tries, 1075386623 fired transitions, 2275 secs || 10871351 markings, 17717194 edges, 5364 markings/sec, 2275 secs
lola: 1078 tries, 1077502070 fired transitions, 2280 secs || 10897410 markings, 17759770 edges, 5212 markings/sec, 2280 secs
lola: 1081 tries, 1080183580 fired transitions, 2285 secs || 10923559 markings, 17802423 edges, 5230 markings/sec, 2285 secs
lola: 1084 tries, 1083088678 fired transitions, 2290 secs || 10949693 markings, 17844888 edges, 5227 markings/sec, 2290 secs
lola: 1086 tries, 1085525912 fired transitions, 2295 secs || 10975111 markings, 17886149 edges, 5084 markings/sec, 2295 secs
lola: 1088 tries, 1087843760 fired transitions, 2300 secs || 11000858 markings, 17928158 edges, 5149 markings/sec, 2300 secs
lola: 1091 tries, 1090213915 fired transitions, 2305 secs || 11027036 markings, 17970852 edges, 5236 markings/sec, 2305 secs
lola: 1093 tries, 1092346192 fired transitions, 2310 secs || 11053784 markings, 18014297 edges, 5350 markings/sec, 2310 secs
lola: 1095 tries, 1094637059 fired transitions, 2315 secs || 11079805 markings, 18057302 edges, 5204 markings/sec, 2315 secs
lola: 1097 tries, 1096930689 fired transitions, 2320 secs || 11105837 markings, 18099802 edges, 5206 markings/sec, 2320 secs
lola: 1100 tries, 1099129114 fired transitions, 2325 secs || 11132378 markings, 18142777 edges, 5308 markings/sec, 2325 secs
lola: 1102 tries, 1101438782 fired transitions, 2330 secs || 11158778 markings, 18186088 edges, 5280 markings/sec, 2330 secs
lola: 1104 tries, 1103547668 fired transitions, 2335 secs || 11185180 markings, 18229136 edges, 5280 markings/sec, 2335 secs
lola: 1106 tries, 1105757455 fired transitions, 2340 secs || 11211281 markings, 18271440 edges, 5220 markings/sec, 2340 secs
lola: 1109 tries, 1108425338 fired transitions, 2345 secs || 11237549 markings, 18314239 edges, 5254 markings/sec, 2345 secs
lola: 1111 tries, 1110957732 fired transitions, 2350 secs || 11263741 markings, 18357129 edges, 5238 markings/sec, 2350 secs
lola: 1114 tries, 1113280570 fired transitions, 2355 secs || 11289654 markings, 18399499 edges, 5183 markings/sec, 2355 secs
lola: 1116 tries, 1115734866 fired transitions, 2360 secs || 11316313 markings, 18442727 edges, 5332 markings/sec, 2360 secs
lola: 1119 tries, 1118742953 fired transitions, 2365 secs || 11342939 markings, 18486175 edges, 5325 markings/sec, 2365 secs
lola: 1122 tries, 1121160162 fired transitions, 2370 secs || 11369687 markings, 18529648 edges, 5350 markings/sec, 2370 secs
lola: 1124 tries, 1123788966 fired transitions, 2375 secs || 11396408 markings, 18573018 edges, 5344 markings/sec, 2375 secs
lola: 1127 tries, 1126195953 fired transitions, 2380 secs || 11423087 markings, 18616964 edges, 5336 markings/sec, 2380 secs
lola: 1129 tries, 1128430782 fired transitions, 2385 secs || 11449936 markings, 18660615 edges, 5370 markings/sec, 2385 secs
lola: 1132 tries, 1131055346 fired transitions, 2390 secs || 11476946 markings, 18704390 edges, 5402 markings/sec, 2390 secs
lola: 1134 tries, 1133344833 fired transitions, 2395 secs || 11503597 markings, 18748162 edges, 5330 markings/sec, 2395 secs
lola: 1136 tries, 1135788116 fired transitions, 2400 secs || 11530694 markings, 18792071 edges, 5419 markings/sec, 2400 secs
lola: 1139 tries, 1138369528 fired transitions, 2405 secs || 11557665 markings, 18836029 edges, 5394 markings/sec, 2405 secs
lola: 1142 tries, 1141106541 fired transitions, 2410 secs || 11584599 markings, 18879763 edges, 5387 markings/sec, 2410 secs
lola: 1144 tries, 1143656529 fired transitions, 2415 secs || 11611309 markings, 18923492 edges, 5342 markings/sec, 2415 secs
lola: 1147 tries, 1146415628 fired transitions, 2420 secs || 11638077 markings, 18967236 edges, 5354 markings/sec, 2420 secs
lola: 1149 tries, 1148993335 fired transitions, 2425 secs || 11665183 markings, 19011176 edges, 5421 markings/sec, 2425 secs
lola: 1152 tries, 1151269100 fired transitions, 2430 secs || 11692073 markings, 19055021 edges, 5378 markings/sec, 2430 secs
lola: 1154 tries, 1153457084 fired transitions, 2435 secs || 11718980 markings, 19098916 edges, 5381 markings/sec, 2435 secs
lola: 1156 tries, 1155842025 fired transitions, 2440 secs || 11746012 markings, 19142742 edges, 5406 markings/sec, 2440 secs
lola: 1159 tries, 1158134403 fired transitions, 2445 secs || 11772480 markings, 19186441 edges, 5294 markings/sec, 2445 secs
lola: 1161 tries, 1160176985 fired transitions, 2450 secs || 11799341 markings, 19229960 edges, 5372 markings/sec, 2450 secs
lola: 1163 tries, 1162926546 fired transitions, 2455 secs || 11826160 markings, 19273775 edges, 5364 markings/sec, 2455 secs
lola: 1166 tries, 1165423015 fired transitions, 2460 secs || 11853047 markings, 19317659 edges, 5377 markings/sec, 2460 secs
lola: 1169 tries, 1168091783 fired transitions, 2465 secs || 11879707 markings, 19360952 edges, 5332 markings/sec, 2465 secs
lola: 1171 tries, 1170706002 fired transitions, 2470 secs || 11906626 markings, 19404640 edges, 5384 markings/sec, 2470 secs
lola: 1174 tries, 1173053559 fired transitions, 2475 secs || 11933297 markings, 19448422 edges, 5334 markings/sec, 2475 secs
lola: 1176 tries, 1175652711 fired transitions, 2480 secs || 11959985 markings, 19491986 edges, 5338 markings/sec, 2480 secs
lola: 1179 tries, 1178166808 fired transitions, 2485 secs || 11986466 markings, 19535260 edges, 5296 markings/sec, 2485 secs
lola: 1182 tries, 1181086146 fired transitions, 2490 secs || 12013399 markings, 19578718 edges, 5387 markings/sec, 2490 secs
lola: 1184 tries, 1183944596 fired transitions, 2495 secs || 12040024 markings, 19622236 edges, 5325 markings/sec, 2495 secs
lola: 1187 tries, 1186553480 fired transitions, 2500 secs || 12066662 markings, 19665725 edges, 5328 markings/sec, 2500 secs
lola: 1189 tries, 1188818415 fired transitions, 2505 secs || 12093355 markings, 19709069 edges, 5339 markings/sec, 2505 secs
lola: 1192 tries, 1191598466 fired transitions, 2510 secs || 12119680 markings, 19752058 edges, 5265 markings/sec, 2510 secs
lola: 1195 tries, 1194170151 fired transitions, 2515 secs || 12146531 markings, 19795676 edges, 5370 markings/sec, 2515 secs
lola: 1197 tries, 1196580211 fired transitions, 2520 secs || 12173075 markings, 19839012 edges, 5309 markings/sec, 2520 secs
lola: 1200 tries, 1199119330 fired transitions, 2525 secs || 12199797 markings, 19882745 edges, 5344 markings/sec, 2525 secs
lola: 1202 tries, 1201968448 fired transitions, 2530 secs || 12226107 markings, 19925567 edges, 5262 markings/sec, 2530 secs
lola: 1205 tries, 1204510444 fired transitions, 2535 secs || 12252778 markings, 19968881 edges, 5334 markings/sec, 2535 secs
lola: 1208 tries, 1207135395 fired transitions, 2540 secs || 12278752 markings, 20011471 edges, 5195 markings/sec, 2540 secs
lola: 1210 tries, 1209537324 fired transitions, 2545 secs || 12304941 markings, 20053951 edges, 5238 markings/sec, 2545 secs
lola: 1213 tries, 1212142437 fired transitions, 2550 secs || 12330966 markings, 20096437 edges, 5205 markings/sec, 2550 secs
lola: 1215 tries, 1214807678 fired transitions, 2555 secs || 12357649 markings, 20139906 edges, 5337 markings/sec, 2555 secs
lola: 1218 tries, 1217696556 fired transitions, 2560 secs || 12384075 markings, 20182702 edges, 5285 markings/sec, 2560 secs
lola: 1221 tries, 1220319135 fired transitions, 2565 secs || 12410562 markings, 20225989 edges, 5297 markings/sec, 2565 secs
lola: 1223 tries, 1222410344 fired transitions, 2570 secs || 12437310 markings, 20269280 edges, 5350 markings/sec, 2570 secs
lola: 1225 tries, 1224593848 fired transitions, 2575 secs || 12463209 markings, 20312115 edges, 5180 markings/sec, 2575 secs
lola: 1227 tries, 1226944798 fired transitions, 2580 secs || 12489690 markings, 20355190 edges, 5296 markings/sec, 2580 secs
lola: 1230 tries, 1229270836 fired transitions, 2585 secs || 12516303 markings, 20398542 edges, 5323 markings/sec, 2585 secs
lola: 1232 tries, 1231786303 fired transitions, 2590 secs || 12542623 markings, 20441498 edges, 5264 markings/sec, 2590 secs
lola: 1234 tries, 1233883601 fired transitions, 2595 secs || 12568904 markings, 20484316 edges, 5256 markings/sec, 2595 secs
lola: 1237 tries, 1236214981 fired transitions, 2600 secs || 12595612 markings, 20527705 edges, 5342 markings/sec, 2600 secs
lola: 1239 tries, 1238945373 fired transitions, 2605 secs || 12622197 markings, 20570908 edges, 5317 markings/sec, 2605 secs
lola: 1242 tries, 1241620460 fired transitions, 2610 secs || 12648594 markings, 20614105 edges, 5279 markings/sec, 2610 secs
lola: 1245 tries, 1244230571 fired transitions, 2615 secs || 12675547 markings, 20658010 edges, 5391 markings/sec, 2615 secs
lola: 1247 tries, 1246668116 fired transitions, 2620 secs || 12702070 markings, 20701237 edges, 5305 markings/sec, 2620 secs
lola: 1250 tries, 1249087297 fired transitions, 2625 secs || 12728852 markings, 20744829 edges, 5356 markings/sec, 2625 secs
lola: 1252 tries, 1251769283 fired transitions, 2630 secs || 12755428 markings, 20788110 edges, 5315 markings/sec, 2630 secs
lola: 1255 tries, 1254341547 fired transitions, 2635 secs || 12781979 markings, 20831428 edges, 5310 markings/sec, 2635 secs
lola: 1257 tries, 1256694884 fired transitions, 2640 secs || 12808324 markings, 20874697 edges, 5269 markings/sec, 2640 secs
lola: 1260 tries, 1259550537 fired transitions, 2645 secs || 12834827 markings, 20917608 edges, 5301 markings/sec, 2645 secs
lola: 1263 tries, 1262385428 fired transitions, 2650 secs || 12860975 markings, 20960290 edges, 5230 markings/sec, 2650 secs
lola: 1266 tries, 1265332459 fired transitions, 2655 secs || 12887703 markings, 21004046 edges, 5346 markings/sec, 2655 secs
lola: 1268 tries, 1267586823 fired transitions, 2660 secs || 12914406 markings, 21047439 edges, 5341 markings/sec, 2660 secs
lola: 1271 tries, 1270153824 fired transitions, 2665 secs || 12940864 markings, 21090488 edges, 5292 markings/sec, 2665 secs
lola: 1273 tries, 1272619481 fired transitions, 2670 secs || 12967339 markings, 21133548 edges, 5295 markings/sec, 2670 secs
lola: 1276 tries, 1275067097 fired transitions, 2675 secs || 12993645 markings, 21176386 edges, 5261 markings/sec, 2675 secs
lola: 1278 tries, 1277509083 fired transitions, 2680 secs || 13019732 markings, 21219098 edges, 5217 markings/sec, 2680 secs
lola: 1280 tries, 1279985302 fired transitions, 2685 secs || 13046217 markings, 21262147 edges, 5297 markings/sec, 2685 secs
lola: 1283 tries, 1282504542 fired transitions, 2690 secs || 13073008 markings, 21305645 edges, 5358 markings/sec, 2690 secs
lola: 1286 tries, 1285236290 fired transitions, 2695 secs || 13099573 markings, 21349078 edges, 5313 markings/sec, 2695 secs
lola: 1288 tries, 1287797140 fired transitions, 2700 secs || 13126502 markings, 21392775 edges, 5386 markings/sec, 2700 secs
lola: 1291 tries, 1290005876 fired transitions, 2705 secs || 13153178 markings, 21436480 edges, 5335 markings/sec, 2705 secs
lola: 1293 tries, 1292396700 fired transitions, 2710 secs || 13179839 markings, 21480062 edges, 5332 markings/sec, 2710 secs
lola: 1295 tries, 1294497809 fired transitions, 2715 secs || 13206601 markings, 21523495 edges, 5352 markings/sec, 2715 secs
lola: 1297 tries, 1296670790 fired transitions, 2720 secs || 13233186 markings, 21566912 edges, 5317 markings/sec, 2720 secs
lola: 1300 tries, 1299003074 fired transitions, 2725 secs || 13259946 markings, 21610443 edges, 5352 markings/sec, 2725 secs
lola: 1302 tries, 1301383566 fired transitions, 2730 secs || 13286556 markings, 21653801 edges, 5322 markings/sec, 2730 secs
lola: 1304 tries, 1303785409 fired transitions, 2735 secs || 13313362 markings, 21697335 edges, 5361 markings/sec, 2735 secs
lola: 1307 tries, 1306385901 fired transitions, 2740 secs || 13339959 markings, 21740852 edges, 5319 markings/sec, 2740 secs
lola: 1309 tries, 1308829057 fired transitions, 2745 secs || 13366810 markings, 21784635 edges, 5370 markings/sec, 2745 secs
lola: 1312 tries, 1311164306 fired transitions, 2750 secs || 13393755 markings, 21828568 edges, 5389 markings/sec, 2750 secs
lola: 1314 tries, 1313622760 fired transitions, 2755 secs || 13420652 markings, 21872032 edges, 5379 markings/sec, 2755 secs
lola: 1316 tries, 1315915673 fired transitions, 2760 secs || 13447185 markings, 21915563 edges, 5307 markings/sec, 2760 secs
lola: 1319 tries, 1318545533 fired transitions, 2765 secs || 13473721 markings, 21958487 edges, 5307 markings/sec, 2765 secs
lola: 1321 tries, 1320908762 fired transitions, 2770 secs || 13500256 markings, 22002082 edges, 5307 markings/sec, 2770 secs
lola: 1324 tries, 1323115699 fired transitions, 2775 secs || 13527166 markings, 22045766 edges, 5382 markings/sec, 2775 secs
lola: 1326 tries, 1325231551 fired transitions, 2780 secs || 13553493 markings, 22088816 edges, 5265 markings/sec, 2780 secs
lola: 1328 tries, 1327507138 fired transitions, 2785 secs || 13580379 markings, 22132677 edges, 5377 markings/sec, 2785 secs
lola: 1331 tries, 1330041077 fired transitions, 2790 secs || 13607308 markings, 22176463 edges, 5386 markings/sec, 2790 secs
lola: 1333 tries, 1332450953 fired transitions, 2795 secs || 13634064 markings, 22219872 edges, 5351 markings/sec, 2795 secs
lola: 1335 tries, 1334730923 fired transitions, 2800 secs || 13660717 markings, 22263574 edges, 5331 markings/sec, 2800 secs
lola: 1337 tries, 1336738221 fired transitions, 2805 secs || 13687504 markings, 22307258 edges, 5357 markings/sec, 2805 secs
lola: 1340 tries, 1339447354 fired transitions, 2810 secs || 13714358 markings, 22351070 edges, 5371 markings/sec, 2810 secs
lola: 1342 tries, 1341858781 fired transitions, 2815 secs || 13741364 markings, 22394641 edges, 5401 markings/sec, 2815 secs
lola: 1345 tries, 1344821890 fired transitions, 2820 secs || 13767688 markings, 22437724 edges, 5265 markings/sec, 2820 secs
lola: 1348 tries, 1347371501 fired transitions, 2825 secs || 13793891 markings, 22480391 edges, 5241 markings/sec, 2825 secs
lola: 1350 tries, 1349766868 fired transitions, 2830 secs || 13820817 markings, 22524127 edges, 5385 markings/sec, 2830 secs
lola: 1353 tries, 1352234640 fired transitions, 2835 secs || 13847331 markings, 22567854 edges, 5303 markings/sec, 2835 secs
lola: 1355 tries, 1354681083 fired transitions, 2840 secs || 13874153 markings, 22611411 edges, 5364 markings/sec, 2840 secs
lola: 1358 tries, 1357130492 fired transitions, 2845 secs || 13900567 markings, 22654569 edges, 5283 markings/sec, 2845 secs
lola: 1360 tries, 1359408496 fired transitions, 2850 secs || 13927222 markings, 22698103 edges, 5331 markings/sec, 2850 secs
lola: 1362 tries, 1361739700 fired transitions, 2855 secs || 13954012 markings, 22741594 edges, 5358 markings/sec, 2855 secs
lola: 1365 tries, 1364278442 fired transitions, 2860 secs || 13980948 markings, 22785306 edges, 5387 markings/sec, 2860 secs
lola: 1367 tries, 1366569410 fired transitions, 2865 secs || 14007487 markings, 22828908 edges, 5308 markings/sec, 2865 secs
lola: 1370 tries, 1369037568 fired transitions, 2870 secs || 14034304 markings, 22872646 edges, 5363 markings/sec, 2870 secs
lola: 1372 tries, 1371209893 fired transitions, 2875 secs || 14061417 markings, 22916818 edges, 5423 markings/sec, 2875 secs
lola: 1375 tries, 1374239516 fired transitions, 2880 secs || 14088127 markings, 22960106 edges, 5342 markings/sec, 2880 secs
lola: 1377 tries, 1376577523 fired transitions, 2885 secs || 14115916 markings, 23005509 edges, 5558 markings/sec, 2885 secs
lola: 1379 tries, 1378991928 fired transitions, 2890 secs || 14143641 markings, 23050723 edges, 5545 markings/sec, 2890 secs
lola: 1382 tries, 1381182156 fired transitions, 2895 secs || 14171775 markings, 23096381 edges, 5627 markings/sec, 2895 secs
lola: 1384 tries, 1383717209 fired transitions, 2900 secs || 14195666 markings, 23135574 edges, 4778 markings/sec, 2900 secs
lola: 1387 tries, 1386155650 fired transitions, 2905 secs || 14223065 markings, 23180353 edges, 5480 markings/sec, 2905 secs
lola: 1389 tries, 1388775477 fired transitions, 2910 secs || 14249939 markings, 23223964 edges, 5375 markings/sec, 2910 secs
lola: 1392 tries, 1391542432 fired transitions, 2915 secs || 14276602 markings, 23267661 edges, 5333 markings/sec, 2915 secs
lola: 1395 tries, 1394107890 fired transitions, 2920 secs || 14303350 markings, 23310935 edges, 5350 markings/sec, 2920 secs
lola: 1397 tries, 1396442537 fired transitions, 2925 secs || 14330942 markings, 23355993 edges, 5518 markings/sec, 2925 secs
lola: 1399 tries, 1398936432 fired transitions, 2930 secs || 14358797 markings, 23401393 edges, 5571 markings/sec, 2930 secs
lola: 1402 tries, 1401598022 fired transitions, 2935 secs || 14386588 markings, 23446737 edges, 5558 markings/sec, 2935 secs
lola: 1404 tries, 1403840579 fired transitions, 2940 secs || 14413925 markings, 23490952 edges, 5467 markings/sec, 2940 secs
lola: 1407 tries, 1406806909 fired transitions, 2945 secs || 14440850 markings, 23534955 edges, 5385 markings/sec, 2945 secs
lola: 1410 tries, 1409123782 fired transitions, 2950 secs || 14467779 markings, 23578788 edges, 5386 markings/sec, 2950 secs
lola: 1412 tries, 1411525059 fired transitions, 2955 secs || 14495551 markings, 23624066 edges, 5554 markings/sec, 2955 secs
lola: 1414 tries, 1413639311 fired transitions, 2960 secs || 14523406 markings, 23669421 edges, 5571 markings/sec, 2960 secs
lola: 1416 tries, 1415887014 fired transitions, 2965 secs || 14551117 markings, 23714712 edges, 5542 markings/sec, 2965 secs
lola: 1419 tries, 1418383181 fired transitions, 2970 secs || 14578791 markings, 23760075 edges, 5535 markings/sec, 2970 secs
lola: 1421 tries, 1420933149 fired transitions, 2975 secs || 14606792 markings, 23805460 edges, 5600 markings/sec, 2975 secs
lola: 1424 tries, 1423767826 fired transitions, 2980 secs || 14633596 markings, 23849412 edges, 5361 markings/sec, 2980 secs
lola: 1426 tries, 1425938300 fired transitions, 2985 secs || 14661518 markings, 23894789 edges, 5584 markings/sec, 2985 secs
lola: 1429 tries, 1428725561 fired transitions, 2990 secs || 14690097 markings, 23941324 edges, 5716 markings/sec, 2990 secs
lola: 1432 tries, 1431603706 fired transitions, 2995 secs || 14718408 markings, 23987410 edges, 5662 markings/sec, 2995 secs
lola: 1434 tries, 1433942112 fired transitions, 3000 secs || 14745166 markings, 24031271 edges, 5352 markings/sec, 3000 secs
lola: 1437 tries, 1436365098 fired transitions, 3005 secs || 14772799 markings, 24076172 edges, 5527 markings/sec, 3005 secs
lola: 1439 tries, 1438808831 fired transitions, 3010 secs || 14799524 markings, 24119782 edges, 5345 markings/sec, 3010 secs
lola: 1442 tries, 1441302097 fired transitions, 3015 secs || 14827549 markings, 24165434 edges, 5605 markings/sec, 3015 secs
lola: 1444 tries, 1443622282 fired transitions, 3020 secs || 14855762 markings, 24211120 edges, 5643 markings/sec, 3020 secs
lola: 1447 tries, 1446370553 fired transitions, 3025 secs || 14883767 markings, 24256766 edges, 5601 markings/sec, 3025 secs
lola: 1449 tries, 1448604342 fired transitions, 3030 secs || 14911375 markings, 24301789 edges, 5522 markings/sec, 3030 secs
lola: 1452 tries, 1451620671 fired transitions, 3035 secs || 14939034 markings, 24346952 edges, 5532 markings/sec, 3035 secs
lola: 1455 tries, 1454266066 fired transitions, 3040 secs || 14966017 markings, 24390937 edges, 5397 markings/sec, 3040 secs
lola: 1457 tries, 1456773310 fired transitions, 3045 secs || 14992820 markings, 24434856 edges, 5361 markings/sec, 3045 secs
lola: 1460 tries, 1459454026 fired transitions, 3050 secs || 15020756 markings, 24480203 edges, 5587 markings/sec, 3050 secs
lola: 1462 tries, 1461867092 fired transitions, 3055 secs || 15047597 markings, 24523877 edges, 5368 markings/sec, 3055 secs
lola: 1464 tries, 1463918985 fired transitions, 3060 secs || 15075452 markings, 24569370 edges, 5571 markings/sec, 3060 secs
lola: 1467 tries, 1466420239 fired transitions, 3065 secs || 15103165 markings, 24614374 edges, 5543 markings/sec, 3065 secs
lola: 1469 tries, 1468904935 fired transitions, 3070 secs || 15130598 markings, 24659190 edges, 5487 markings/sec, 3070 secs
lola: 1472 tries, 1471133149 fired transitions, 3075 secs || 15157110 markings, 24702250 edges, 5302 markings/sec, 3075 secs
lola: 1474 tries, 1473650653 fired transitions, 3080 secs || 15184305 markings, 24746366 edges, 5439 markings/sec, 3080 secs
lola: 1476 tries, 1475891788 fired transitions, 3085 secs || 15211999 markings, 24791313 edges, 5539 markings/sec, 3085 secs
lola: 1479 tries, 1478607270 fired transitions, 3090 secs || 15239819 markings, 24837163 edges, 5564 markings/sec, 3090 secs
lola: 1481 tries, 1480863889 fired transitions, 3095 secs || 15268132 markings, 24883414 edges, 5663 markings/sec, 3095 secs
lola: 1484 tries, 1483384995 fired transitions, 3100 secs || 15296675 markings, 24929865 edges, 5709 markings/sec, 3100 secs
lola: 1486 tries, 1485591672 fired transitions, 3105 secs || 15324864 markings, 24975866 edges, 5638 markings/sec, 3105 secs
lola: 1488 tries, 1487992654 fired transitions, 3110 secs || 15353315 markings, 25022124 edges, 5690 markings/sec, 3110 secs
lola: 1491 tries, 1490481690 fired transitions, 3115 secs || 15381405 markings, 25067838 edges, 5618 markings/sec, 3115 secs
lola: 1493 tries, 1492565632 fired transitions, 3120 secs || 15408407 markings, 25111848 edges, 5400 markings/sec, 3120 secs
lola: 1496 tries, 1495181538 fired transitions, 3125 secs || 15435934 markings, 25156802 edges, 5505 markings/sec, 3125 secs
lola: 1498 tries, 1497671762 fired transitions, 3130 secs || 15463821 markings, 25202241 edges, 5577 markings/sec, 3130 secs
lola: 1501 tries, 1500294339 fired transitions, 3135 secs || 15491819 markings, 25247847 edges, 5600 markings/sec, 3135 secs
lola: 1503 tries, 1502717689 fired transitions, 3140 secs || 15520449 markings, 25294340 edges, 5726 markings/sec, 3140 secs
lola: 1506 tries, 1505418547 fired transitions, 3145 secs || 15549091 markings, 25340939 edges, 5728 markings/sec, 3145 secs
lola: 1508 tries, 1507935236 fired transitions, 3150 secs || 15577595 markings, 25387710 edges, 5701 markings/sec, 3150 secs
lola: 1511 tries, 1510144271 fired transitions, 3155 secs || 15605984 markings, 25434193 edges, 5678 markings/sec, 3155 secs
lola: 1513 tries, 1512646247 fired transitions, 3160 secs || 15634553 markings, 25480369 edges, 5714 markings/sec, 3160 secs
lola: 1516 tries, 1515105610 fired transitions, 3165 secs || 15662691 markings, 25526378 edges, 5628 markings/sec, 3165 secs
lola: 1518 tries, 1517576504 fired transitions, 3170 secs || 15690442 markings, 25571664 edges, 5550 markings/sec, 3170 secs
lola: 1521 tries, 1520227631 fired transitions, 3175 secs || 15718280 markings, 25616826 edges, 5568 markings/sec, 3175 secs
lola: 1523 tries, 1522271716 fired transitions, 3180 secs || 15745186 markings, 25660924 edges, 5381 markings/sec, 3180 secs
lola: 1525 tries, 1524427672 fired transitions, 3185 secs || 15773166 markings, 25706301 edges, 5596 markings/sec, 3185 secs
lola: 1528 tries, 1527110339 fired transitions, 3190 secs || 15801011 markings, 25751649 edges, 5569 markings/sec, 3190 secs
lola: 1531 tries, 1530226179 fired transitions, 3195 secs || 15828690 markings, 25796860 edges, 5536 markings/sec, 3195 secs
lola: 1533 tries, 1532912777 fired transitions, 3200 secs || 15856367 markings, 25842021 edges, 5535 markings/sec, 3200 secs
lola: 1536 tries, 1535514528 fired transitions, 3205 secs || 15884351 markings, 25887393 edges, 5597 markings/sec, 3205 secs
lola: 1538 tries, 1537905694 fired transitions, 3210 secs || 15911881 markings, 25932459 edges, 5506 markings/sec, 3210 secs
lola: 1541 tries, 1540657861 fired transitions, 3215 secs || 15940794 markings, 25979650 edges, 5783 markings/sec, 3215 secs
lola: 1544 tries, 1543279538 fired transitions, 3220 secs || 15969311 markings, 26025973 edges, 5703 markings/sec, 3220 secs
lola: 1546 tries, 1545998988 fired transitions, 3225 secs || 15997845 markings, 26072567 edges, 5707 markings/sec, 3225 secs
lola: 1549 tries, 1548376441 fired transitions, 3230 secs || 16026261 markings, 26118952 edges, 5683 markings/sec, 3230 secs
lola: 1551 tries, 1550981332 fired transitions, 3235 secs || 16054820 markings, 26165234 edges, 5712 markings/sec, 3235 secs
lola: 1554 tries, 1553837808 fired transitions, 3240 secs || 16083038 markings, 26211327 edges, 5644 markings/sec, 3240 secs
lola: 1557 tries, 1556511250 fired transitions, 3245 secs || 16111333 markings, 26257521 edges, 5659 markings/sec, 3245 secs
lola: 1560 tries, 1559056175 fired transitions, 3250 secs || 16138701 markings, 26302231 edges, 5474 markings/sec, 3250 secs
lola: 1562 tries, 1561650404 fired transitions, 3255 secs || 16166004 markings, 26346682 edges, 5461 markings/sec, 3255 secs
lola: 1565 tries, 1564399803 fired transitions, 3260 secs || 16192503 markings, 26389745 edges, 5300 markings/sec, 3260 secs
lola: 1567 tries, 1566935752 fired transitions, 3265 secs || 16220275 markings, 26435058 edges, 5554 markings/sec, 3265 secs
lola: 1570 tries, 1569418731 fired transitions, 3270 secs || 16247530 markings, 26479178 edges, 5451 markings/sec, 3270 secs
lola: 1573 tries, 1572604134 fired transitions, 3275 secs || 16275074 markings, 26524197 edges, 5509 markings/sec, 3275 secs
lola: 1575 tries, 1574771621 fired transitions, 3280 secs || 16302653 markings, 26569196 edges, 5516 markings/sec, 3280 secs
lola: 1578 tries, 1577322420 fired transitions, 3285 secs || 16330623 markings, 26614756 edges, 5594 markings/sec, 3285 secs
lola: 1580 tries, 1579844827 fired transitions, 3290 secs || 16357838 markings, 26659079 edges, 5443 markings/sec, 3290 secs
lola: 1582 tries, 1581898170 fired transitions, 3295 secs || 16385708 markings, 26704489 edges, 5574 markings/sec, 3295 secs
lola: 1585 tries, 1584815273 fired transitions, 3300 secs || 16413096 markings, 26749064 edges, 5478 markings/sec, 3300 secs
lola: 1588 tries, 1587006553 fired transitions, 3305 secs || 16440862 markings, 26794332 edges, 5553 markings/sec, 3305 secs
lola: 1590 tries, 1589574648 fired transitions, 3310 secs || 16468622 markings, 26839638 edges, 5552 markings/sec, 3310 secs
lola: 1592 tries, 1591610233 fired transitions, 3315 secs || 16496625 markings, 26885209 edges, 5601 markings/sec, 3315 secs
lola: 1594 tries, 1593860565 fired transitions, 3320 secs || 16524448 markings, 26930380 edges, 5565 markings/sec, 3320 secs
lola: 1597 tries, 1596143492 fired transitions, 3325 secs || 16552337 markings, 26975818 edges, 5578 markings/sec, 3325 secs
lola: 1599 tries, 1598890236 fired transitions, 3330 secs || 16579994 markings, 27020808 edges, 5531 markings/sec, 3330 secs
lola: 1602 tries, 1601511343 fired transitions, 3335 secs || 16607613 markings, 27066488 edges, 5524 markings/sec, 3335 secs
lola: 1604 tries, 1603697121 fired transitions, 3340 secs || 16635000 markings, 27110824 edges, 5477 markings/sec, 3340 secs
lola: 1607 tries, 1606363811 fired transitions, 3345 secs || 16662640 markings, 27155938 edges, 5528 markings/sec, 3345 secs
lola: 1610 tries, 1609048392 fired transitions, 3350 secs || 16689654 markings, 27199964 edges, 5403 markings/sec, 3350 secs
lola: 1612 tries, 1611574888 fired transitions, 3355 secs || 16717775 markings, 27245803 edges, 5624 markings/sec, 3355 secs
lola: 1614 tries, 1613926264 fired transitions, 3360 secs || 16745817 markings, 27291624 edges, 5608 markings/sec, 3360 secs
lola: 1617 tries, 1616773924 fired transitions, 3365 secs || 16773186 markings, 27336158 edges, 5474 markings/sec, 3365 secs
lola: 1620 tries, 1619182194 fired transitions, 3370 secs || 16800087 markings, 27380107 edges, 5380 markings/sec, 3370 secs
lola: 1622 tries, 1621691281 fired transitions, 3375 secs || 16827821 markings, 27425246 edges, 5547 markings/sec, 3375 secs
lola: 1624 tries, 1623919186 fired transitions, 3380 secs || 16855777 markings, 27470583 edges, 5591 markings/sec, 3380 secs
lola: 1626 tries, 1625871107 fired transitions, 3385 secs || 16883518 markings, 27515866 edges, 5548 markings/sec, 3385 secs
lola: 1629 tries, 1628389559 fired transitions, 3390 secs || 16911626 markings, 27561670 edges, 5622 markings/sec, 3390 secs
lola: 1631 tries, 1630568725 fired transitions, 3395 secs || 16939721 markings, 27607330 edges, 5619 markings/sec, 3395 secs
lola: 1633 tries, 1632934576 fired transitions, 3400 secs || 16967380 markings, 27652627 edges, 5532 markings/sec, 3400 secs
lola: 1636 tries, 1635745846 fired transitions, 3405 secs || 16995001 markings, 27697789 edges, 5524 markings/sec, 3405 secs
lola: 1639 tries, 1638048002 fired transitions, 3410 secs || 17022205 markings, 27741854 edges, 5441 markings/sec, 3410 secs
lola: 1641 tries, 1640810608 fired transitions, 3415 secs || 17049279 markings, 27785971 edges, 5415 markings/sec, 3415 secs
lola: 1644 tries, 1643361614 fired transitions, 3420 secs || 17076953 markings, 27831134 edges, 5535 markings/sec, 3420 secs
lola: 1647 tries, 1646085845 fired transitions, 3425 secs || 17104805 markings, 27876331 edges, 5570 markings/sec, 3425 secs
lola: 1649 tries, 1648383685 fired transitions, 3430 secs || 17132583 markings, 27921843 edges, 5556 markings/sec, 3430 secs
lola: 1651 tries, 1650780634 fired transitions, 3435 secs || 17160156 markings, 27966747 edges, 5515 markings/sec, 3435 secs
lola: 1654 tries, 1653975413 fired transitions, 3440 secs || 17187927 markings, 28012164 edges, 5554 markings/sec, 3440 secs
lola: 1657 tries, 1656997665 fired transitions, 3445 secs || 17215557 markings, 28057253 edges, 5526 markings/sec, 3445 secs
lola: 1660 tries, 1659875188 fired transitions, 3450 secs || 17243655 markings, 28102770 edges, 5620 markings/sec, 3450 secs
lola: 1663 tries, 1662290611 fired transitions, 3455 secs || 17271187 markings, 28147499 edges, 5506 markings/sec, 3455 secs
lola: 1665 tries, 1664802960 fired transitions, 3460 secs || 17298142 markings, 28191907 edges, 5391 markings/sec, 3460 secs
lola: 1668 tries, 1667437926 fired transitions, 3465 secs || 17325591 markings, 28236471 edges, 5490 markings/sec, 3465 secs
lola: 1670 tries, 1669783351 fired transitions, 3470 secs || 17352798 markings, 28280814 edges, 5441 markings/sec, 3470 secs
lola: 1673 tries, 1672376590 fired transitions, 3475 secs || 17379761 markings, 28324779 edges, 5393 markings/sec, 3475 secs
lola: 1675 tries, 1674736569 fired transitions, 3480 secs || 17407456 markings, 28369752 edges, 5539 markings/sec, 3480 secs
lola: 1677 tries, 1676876163 fired transitions, 3485 secs || 17434647 markings, 28414143 edges, 5438 markings/sec, 3485 secs
lola: 1680 tries, 1679196981 fired transitions, 3490 secs || 17462147 markings, 28458916 edges, 5500 markings/sec, 3490 secs
lola: 1682 tries, 1681357665 fired transitions, 3495 secs || 17489833 markings, 28504154 edges, 5537 markings/sec, 3495 secs
lola: 1684 tries, 1683818254 fired transitions, 3500 secs || 17517142 markings, 28548895 edges, 5462 markings/sec, 3500 secs
lola: 1687 tries, 1686339291 fired transitions, 3505 secs || 17545022 markings, 28594013 edges, 5576 markings/sec, 3505 secs
lola: 1689 tries, 1688527268 fired transitions, 3510 secs || 17573137 markings, 28639754 edges, 5623 markings/sec, 3510 secs
lola: 1692 tries, 1691160249 fired transitions, 3515 secs || 17601258 markings, 28685539 edges, 5624 markings/sec, 3515 secs
lola: 1694 tries, 1693389153 fired transitions, 3520 secs || 17629483 markings, 28731681 edges, 5645 markings/sec, 3520 secs
lola: 1697 tries, 1696155089 fired transitions, 3525 secs || 17657038 markings, 28776452 edges, 5511 markings/sec, 3525 secs
lola: 1699 tries, 1698552342 fired transitions, 3530 secs || 17684355 markings, 28821223 edges, 5463 markings/sec, 3530 secs
lola: 1701 tries, 1700678733 fired transitions, 3535 secs || 17712082 markings, 28866346 edges, 5545 markings/sec, 3535 secs
lola: 1704 tries, 1703075994 fired transitions, 3540 secs || 17739154 markings, 28910460 edges, 5414 markings/sec, 3540 secs
lola: 1706 tries, 1705028296 fired transitions, 3545 secs || 17766825 markings, 28955617 edges, 5534 markings/sec, 3545 secs
lola: 1708 tries, 1707482308 fired transitions, 3550 secs || 17794317 markings, 29000241 edges, 5498 markings/sec, 3550 secs
lola: 1711 tries, 1710092247 fired transitions, 3555 secs || 17821929 markings, 29045148 edges, 5522 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 6055828 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 1552690421399

--------------------
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="JoinFreeModules-PT-0500"
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 JoinFreeModules-PT-0500, 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 r082-csrt-155246550300966"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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