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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15799.660 3570751.00 7270675.00 62.50 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

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

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 674K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-05b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552453576792

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-05b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ DLCround-PT-05b
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: 4886/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1999
lola: finding significant places
lola: 1999 places, 2887 transitions, 1911 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 10 generators (10 in search tree, 0 by composition)
lola: representing 1024 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2516164 fired transitions, 0 secs || 189950 markings, 223481 edges, 37990 markings/sec, 0 secs
lola: 6 tries, 5109202 fired transitions, 5 secs || 381646 markings, 449244 edges, 38339 markings/sec, 5 secs
lola: 8 tries, 7830301 fired transitions, 10 secs || 583851 markings, 685558 edges, 40441 markings/sec, 10 secs
lola: 11 tries, 10304236 fired transitions, 15 secs || 769864 markings, 904660 edges, 37203 markings/sec, 15 secs
lola: 13 tries, 12696283 fired transitions, 20 secs || 947019 markings, 1111961 edges, 35431 markings/sec, 20 secs
lola: 16 tries, 15144569 fired transitions, 25 secs || 1127397 markings, 1325151 edges, 36076 markings/sec, 25 secs
lola: 18 tries, 17748505 fired transitions, 30 secs || 1315769 markings, 1548177 edges, 37674 markings/sec, 30 secs
lola: 21 tries, 20395206 fired transitions, 35 secs || 1519077 markings, 1788236 edges, 40662 markings/sec, 35 secs
lola: 24 tries, 23036315 fired transitions, 40 secs || 1721442 markings, 2026491 edges, 40473 markings/sec, 40 secs
lola: 26 tries, 25675406 fired transitions, 45 secs || 1928575 markings, 2273634 edges, 41427 markings/sec, 45 secs
lola: 29 tries, 28539557 fired transitions, 50 secs || 2146263 markings, 2532122 edges, 43538 markings/sec, 50 secs
lola: 32 tries, 31162715 fired transitions, 55 secs || 2335953 markings, 2753678 edges, 37938 markings/sec, 55 secs
lola: 35 tries, 34375883 fired transitions, 60 secs || 2590109 markings, 3049178 edges, 50831 markings/sec, 60 secs
lola: 38 tries, 37148795 fired transitions, 65 secs || 2799200 markings, 3294993 edges, 41818 markings/sec, 65 secs
lola: 40 tries, 39773130 fired transitions, 70 secs || 2990953 markings, 3523297 edges, 38351 markings/sec, 70 secs
lola: 43 tries, 42702511 fired transitions, 75 secs || 3216386 markings, 3789275 edges, 45087 markings/sec, 75 secs
lola: 46 tries, 45500593 fired transitions, 80 secs || 3431423 markings, 4044598 edges, 43007 markings/sec, 80 secs
lola: 49 tries, 48672220 fired transitions, 85 secs || 3666228 markings, 4323921 edges, 46961 markings/sec, 85 secs
lola: 52 tries, 51790595 fired transitions, 90 secs || 3897116 markings, 4598212 edges, 46178 markings/sec, 90 secs
lola: 56 tries, 55054898 fired transitions, 95 secs || 4141921 markings, 4888338 edges, 48961 markings/sec, 95 secs
lola: 59 tries, 58102062 fired transitions, 100 secs || 4374529 markings, 5162966 edges, 46522 markings/sec, 100 secs
lola: 62 tries, 61324700 fired transitions, 105 secs || 4610843 markings, 5443199 edges, 47263 markings/sec, 105 secs
lola: 65 tries, 64298555 fired transitions, 110 secs || 4827641 markings, 5700062 edges, 43360 markings/sec, 110 secs
lola: 68 tries, 67506350 fired transitions, 115 secs || 5067712 markings, 5985203 edges, 48014 markings/sec, 115 secs
lola: 71 tries, 70659758 fired transitions, 120 secs || 5306742 markings, 6270746 edges, 47806 markings/sec, 120 secs
lola: 74 tries, 73796632 fired transitions, 125 secs || 5544417 markings, 6552719 edges, 47535 markings/sec, 125 secs
lola: 78 tries, 77047987 fired transitions, 130 secs || 5788815 markings, 6846526 edges, 48880 markings/sec, 130 secs
lola: 81 tries, 80256181 fired transitions, 135 secs || 6034934 markings, 7141827 edges, 49224 markings/sec, 135 secs
lola: 84 tries, 83513305 fired transitions, 140 secs || 6269546 markings, 7422443 edges, 46922 markings/sec, 140 secs
lola: 87 tries, 86697621 fired transitions, 145 secs || 6507678 markings, 7707681 edges, 47626 markings/sec, 145 secs
lola: 90 tries, 89907724 fired transitions, 150 secs || 6749105 markings, 7995203 edges, 48285 markings/sec, 150 secs
lola: 94 tries, 93119434 fired transitions, 155 secs || 6981090 markings, 8271847 edges, 46397 markings/sec, 155 secs
lola: 97 tries, 96378266 fired transitions, 160 secs || 7222413 markings, 8562445 edges, 48265 markings/sec, 160 secs
lola: 100 tries, 99635976 fired transitions, 165 secs || 7457623 markings, 8844007 edges, 47042 markings/sec, 165 secs
lola: 103 tries, 102845552 fired transitions, 170 secs || 7697610 markings, 9131827 edges, 47997 markings/sec, 170 secs
lola: 107 tries, 106081693 fired transitions, 175 secs || 7939795 markings, 9422295 edges, 48437 markings/sec, 175 secs
lola: 110 tries, 109325525 fired transitions, 180 secs || 8184370 markings, 9717243 edges, 48915 markings/sec, 180 secs
lola: 113 tries, 112539894 fired transitions, 185 secs || 8429764 markings, 10008109 edges, 49079 markings/sec, 185 secs
lola: 116 tries, 115721370 fired transitions, 190 secs || 8673158 markings, 10299168 edges, 48679 markings/sec, 190 secs
lola: 119 tries, 118865353 fired transitions, 195 secs || 8914557 markings, 10588241 edges, 48280 markings/sec, 195 secs
lola: 123 tries, 122046133 fired transitions, 200 secs || 9155500 markings, 10877368 edges, 48189 markings/sec, 200 secs
lola: 126 tries, 125245840 fired transitions, 205 secs || 9397689 markings, 11166386 edges, 48438 markings/sec, 205 secs
lola: 129 tries, 128444406 fired transitions, 210 secs || 9638341 markings, 11455188 edges, 48130 markings/sec, 210 secs
lola: 132 tries, 131628201 fired transitions, 215 secs || 9880258 markings, 11745071 edges, 48383 markings/sec, 215 secs
lola: 135 tries, 134802410 fired transitions, 220 secs || 10122654 markings, 12036055 edges, 48479 markings/sec, 220 secs
lola: 139 tries, 138013545 fired transitions, 225 secs || 10365243 markings, 12328523 edges, 48518 markings/sec, 225 secs
lola: 142 tries, 141197320 fired transitions, 230 secs || 10608956 markings, 12621916 edges, 48743 markings/sec, 230 secs
lola: 145 tries, 144433535 fired transitions, 235 secs || 10853333 markings, 12916131 edges, 48875 markings/sec, 235 secs
lola: 148 tries, 147591445 fired transitions, 240 secs || 11088221 markings, 13195654 edges, 46978 markings/sec, 240 secs
lola: 151 tries, 150658327 fired transitions, 245 secs || 11308307 markings, 13459686 edges, 44017 markings/sec, 245 secs
lola: 154 tries, 153693836 fired transitions, 250 secs || 11531045 markings, 13728748 edges, 44548 markings/sec, 250 secs
lola: 157 tries, 156941175 fired transitions, 255 secs || 11774388 markings, 14019265 edges, 48669 markings/sec, 255 secs
lola: 161 tries, 160187796 fired transitions, 260 secs || 12010058 markings, 14301550 edges, 47134 markings/sec, 260 secs
lola: 164 tries, 163445173 fired transitions, 265 secs || 12251737 markings, 14591945 edges, 48336 markings/sec, 265 secs
lola: 167 tries, 166698747 fired transitions, 270 secs || 12500545 markings, 14891337 edges, 49762 markings/sec, 270 secs
lola: 170 tries, 169951129 fired transitions, 275 secs || 12746621 markings, 15186959 edges, 49215 markings/sec, 275 secs
lola: 174 tries, 173188297 fired transitions, 280 secs || 12990734 markings, 15478000 edges, 48823 markings/sec, 280 secs
lola: 177 tries, 176427314 fired transitions, 285 secs || 13237012 markings, 15774542 edges, 49256 markings/sec, 285 secs
lola: 180 tries, 179681152 fired transitions, 290 secs || 13482962 markings, 16069796 edges, 49190 markings/sec, 290 secs
lola: 183 tries, 182934185 fired transitions, 295 secs || 13729576 markings, 16365919 edges, 49323 markings/sec, 295 secs
lola: 187 tries, 186192952 fired transitions, 300 secs || 13974093 markings, 16659280 edges, 48903 markings/sec, 300 secs
lola: 190 tries, 189443928 fired transitions, 305 secs || 14217655 markings, 16951046 edges, 48712 markings/sec, 305 secs
lola: 193 tries, 192696124 fired transitions, 310 secs || 14460420 markings, 17242551 edges, 48553 markings/sec, 310 secs
lola: 196 tries, 195817349 fired transitions, 315 secs || 14691933 markings, 17521377 edges, 46303 markings/sec, 315 secs
lola: 199 tries, 198952337 fired transitions, 320 secs || 14930014 markings, 17806944 edges, 47616 markings/sec, 320 secs
lola: 203 tries, 202186943 fired transitions, 325 secs || 15171833 markings, 18097980 edges, 48364 markings/sec, 325 secs
lola: 206 tries, 205347647 fired transitions, 330 secs || 15408720 markings, 18381117 edges, 47377 markings/sec, 330 secs
lola: 209 tries, 208522783 fired transitions, 335 secs || 15650502 markings, 18671443 edges, 48356 markings/sec, 335 secs
lola: 212 tries, 211666487 fired transitions, 340 secs || 15893753 markings, 18963544 edges, 48650 markings/sec, 340 secs
lola: 215 tries, 214847944 fired transitions, 345 secs || 16136223 markings, 19255554 edges, 48494 markings/sec, 345 secs
lola: 218 tries, 217996266 fired transitions, 350 secs || 16376784 markings, 19543494 edges, 48112 markings/sec, 350 secs
lola: 222 tries, 221081676 fired transitions, 355 secs || 16618870 markings, 19832312 edges, 48417 markings/sec, 355 secs
lola: 225 tries, 224164249 fired transitions, 360 secs || 16867937 markings, 20131300 edges, 49813 markings/sec, 360 secs
lola: 228 tries, 227326934 fired transitions, 365 secs || 17114359 markings, 20428699 edges, 49284 markings/sec, 365 secs
lola: 231 tries, 230527010 fired transitions, 370 secs || 17361894 markings, 20729280 edges, 49507 markings/sec, 370 secs
lola: 234 tries, 233738554 fired transitions, 375 secs || 17609523 markings, 21023631 edges, 49526 markings/sec, 375 secs
lola: 237 tries, 236919316 fired transitions, 380 secs || 17850766 markings, 21314229 edges, 48249 markings/sec, 380 secs
lola: 241 tries, 240145750 fired transitions, 385 secs || 18094634 markings, 21607639 edges, 48774 markings/sec, 385 secs
lola: 244 tries, 243386672 fired transitions, 390 secs || 18331872 markings, 21892657 edges, 47448 markings/sec, 390 secs
lola: 247 tries, 246624577 fired transitions, 395 secs || 18564360 markings, 22171693 edges, 46498 markings/sec, 395 secs
lola: 250 tries, 249879803 fired transitions, 400 secs || 18802037 markings, 22457622 edges, 47535 markings/sec, 400 secs
lola: 254 tries, 253127683 fired transitions, 405 secs || 19035552 markings, 22738554 edges, 46703 markings/sec, 405 secs
lola: 257 tries, 256015788 fired transitions, 410 secs || 19241859 markings, 22986007 edges, 41261 markings/sec, 410 secs
lola: 259 tries, 258946950 fired transitions, 415 secs || 19455759 markings, 23243139 edges, 42780 markings/sec, 415 secs
lola: 262 tries, 261894595 fired transitions, 420 secs || 19666185 markings, 23496997 edges, 42085 markings/sec, 420 secs
lola: 266 tries, 265126593 fired transitions, 425 secs || 19903860 markings, 23781952 edges, 47535 markings/sec, 425 secs
lola: 269 tries, 268344780 fired transitions, 430 secs || 20148339 markings, 24076760 edges, 48896 markings/sec, 430 secs
lola: 272 tries, 271327046 fired transitions, 435 secs || 20368009 markings, 24340202 edges, 43934 markings/sec, 435 secs
lola: 274 tries, 273102459 fired transitions, 440 secs || 20506598 markings, 24507622 edges, 27718 markings/sec, 440 secs
lola: 277 tries, 276039400 fired transitions, 445 secs || 20722951 markings, 24767309 edges, 43271 markings/sec, 445 secs
lola: 280 tries, 279259310 fired transitions, 450 secs || 20963834 markings, 25052797 edges, 48177 markings/sec, 450 secs
lola: 283 tries, 282480342 fired transitions, 455 secs || 21211337 markings, 25351005 edges, 49501 markings/sec, 455 secs
lola: 286 tries, 285698448 fired transitions, 460 secs || 21454993 markings, 25645514 edges, 48731 markings/sec, 460 secs
lola: 289 tries, 288969304 fired transitions, 465 secs || 21693419 markings, 25932565 edges, 47685 markings/sec, 465 secs
lola: 293 tries, 292186936 fired transitions, 470 secs || 21925952 markings, 26212087 edges, 46507 markings/sec, 470 secs
lola: 295 tries, 294901587 fired transitions, 475 secs || 22117652 markings, 26444028 edges, 38340 markings/sec, 475 secs
lola: 298 tries, 297631376 fired transitions, 480 secs || 22310259 markings, 26675758 edges, 38521 markings/sec, 480 secs
lola: 301 tries, 300326948 fired transitions, 485 secs || 22502530 markings, 26906059 edges, 38454 markings/sec, 485 secs
lola: 304 tries, 303030097 fired transitions, 490 secs || 22696059 markings, 27137987 edges, 38706 markings/sec, 490 secs
lola: 306 tries, 305789521 fired transitions, 495 secs || 22888548 markings, 27371125 edges, 38498 markings/sec, 495 secs
lola: 309 tries, 308498904 fired transitions, 500 secs || 23078956 markings, 27600609 edges, 38082 markings/sec, 500 secs
lola: 312 tries, 311201274 fired transitions, 505 secs || 23269935 markings, 27829976 edges, 38196 markings/sec, 505 secs
lola: 314 tries, 313889264 fired transitions, 510 secs || 23459352 markings, 28058161 edges, 37883 markings/sec, 510 secs
lola: 317 tries, 316573656 fired transitions, 515 secs || 23648278 markings, 28285528 edges, 37785 markings/sec, 515 secs
lola: 320 tries, 319278104 fired transitions, 520 secs || 23839905 markings, 28516425 edges, 38325 markings/sec, 520 secs
lola: 322 tries, 321996058 fired transitions, 525 secs || 24031960 markings, 28748421 edges, 38411 markings/sec, 525 secs
lola: 325 tries, 324705558 fired transitions, 530 secs || 24220044 markings, 28974463 edges, 37617 markings/sec, 530 secs
lola: 327 tries, 326980960 fired transitions, 535 secs || 24393166 markings, 29179651 edges, 34624 markings/sec, 535 secs
lola: 331 tries, 330220741 fired transitions, 540 secs || 24629414 markings, 29458616 edges, 47250 markings/sec, 540 secs
lola: 334 tries, 333316290 fired transitions, 545 secs || 24858957 markings, 29732002 edges, 45909 markings/sec, 545 secs
lola: 337 tries, 336568392 fired transitions, 550 secs || 25098502 markings, 30020036 edges, 47909 markings/sec, 550 secs
lola: 340 tries, 339807822 fired transitions, 555 secs || 25344907 markings, 30319526 edges, 49281 markings/sec, 555 secs
lola: 344 tries, 343057486 fired transitions, 560 secs || 25595464 markings, 30625112 edges, 50111 markings/sec, 560 secs
lola: 347 tries, 346256414 fired transitions, 565 secs || 25846500 markings, 30929836 edges, 50207 markings/sec, 565 secs
lola: 350 tries, 349514683 fired transitions, 570 secs || 26095095 markings, 31229988 edges, 49719 markings/sec, 570 secs
lola: 353 tries, 352762935 fired transitions, 575 secs || 26343412 markings, 31531502 edges, 49663 markings/sec, 575 secs
lola: 357 tries, 356016959 fired transitions, 580 secs || 26591880 markings, 31833465 edges, 49694 markings/sec, 580 secs
lola: 360 tries, 359253714 fired transitions, 585 secs || 26837291 markings, 32130766 edges, 49082 markings/sec, 585 secs
lola: 363 tries, 362467434 fired transitions, 590 secs || 27084788 markings, 32430123 edges, 49499 markings/sec, 590 secs
lola: 366 tries, 365707765 fired transitions, 595 secs || 27333526 markings, 32731646 edges, 49748 markings/sec, 595 secs
lola: 369 tries, 368948625 fired transitions, 600 secs || 27573903 markings, 33023484 edges, 48075 markings/sec, 600 secs
lola: 373 tries, 372088166 fired transitions, 605 secs || 27821569 markings, 33320421 edges, 49533 markings/sec, 605 secs
lola: 376 tries, 375277810 fired transitions, 610 secs || 28065410 markings, 33614385 edges, 48768 markings/sec, 610 secs
lola: 379 tries, 378493414 fired transitions, 615 secs || 28309970 markings, 33907447 edges, 48912 markings/sec, 615 secs
lola: 382 tries, 381656143 fired transitions, 620 secs || 28558784 markings, 34203431 edges, 49763 markings/sec, 620 secs
lola: 385 tries, 384859872 fired transitions, 625 secs || 28806043 markings, 34497924 edges, 49452 markings/sec, 625 secs
lola: 389 tries, 388039207 fired transitions, 630 secs || 29050760 markings, 34789762 edges, 48943 markings/sec, 630 secs
lola: 392 tries, 391221299 fired transitions, 635 secs || 29294591 markings, 35080328 edges, 48766 markings/sec, 635 secs
lola: 395 tries, 394438735 fired transitions, 640 secs || 29538231 markings, 35372021 edges, 48728 markings/sec, 640 secs
lola: 398 tries, 397655539 fired transitions, 645 secs || 29776441 markings, 35658456 edges, 47642 markings/sec, 645 secs
lola: 401 tries, 400858285 fired transitions, 650 secs || 30009493 markings, 35939151 edges, 46610 markings/sec, 650 secs
lola: 405 tries, 404069051 fired transitions, 655 secs || 30250093 markings, 36228376 edges, 48120 markings/sec, 655 secs
lola: 408 tries, 407296372 fired transitions, 660 secs || 30487128 markings, 36513972 edges, 47407 markings/sec, 660 secs
lola: 411 tries, 410557489 fired transitions, 665 secs || 30724412 markings, 36799017 edges, 47457 markings/sec, 665 secs
lola: 414 tries, 413834934 fired transitions, 670 secs || 30962641 markings, 37086478 edges, 47646 markings/sec, 670 secs
lola: 417 tries, 416773324 fired transitions, 675 secs || 31176901 markings, 37344609 edges, 42852 markings/sec, 675 secs
lola: 420 tries, 419441403 fired transitions, 680 secs || 31368910 markings, 37576332 edges, 38402 markings/sec, 680 secs
lola: 423 tries, 422085662 fired transitions, 685 secs || 31554248 markings, 37797916 edges, 37068 markings/sec, 685 secs
lola: 425 tries, 424791196 fired transitions, 690 secs || 31740484 markings, 38022294 edges, 37247 markings/sec, 690 secs
lola: 428 tries, 427442220 fired transitions, 695 secs || 31931909 markings, 38251042 edges, 38285 markings/sec, 695 secs
lola: 431 tries, 430091742 fired transitions, 700 secs || 32119969 markings, 38477609 edges, 37612 markings/sec, 700 secs
lola: 433 tries, 432760914 fired transitions, 705 secs || 32310433 markings, 38706604 edges, 38093 markings/sec, 705 secs
lola: 436 tries, 435437076 fired transitions, 710 secs || 32506549 markings, 38943704 edges, 39223 markings/sec, 710 secs
lola: 439 tries, 438108589 fired transitions, 715 secs || 32705559 markings, 39184996 edges, 39802 markings/sec, 715 secs
lola: 441 tries, 440738269 fired transitions, 720 secs || 32902564 markings, 39423098 edges, 39401 markings/sec, 720 secs
lola: 444 tries, 443465003 fired transitions, 725 secs || 33109479 markings, 39674792 edges, 41383 markings/sec, 725 secs
lola: 447 tries, 446677169 fired transitions, 730 secs || 33346867 markings, 39960950 edges, 47478 markings/sec, 730 secs
lola: 450 tries, 449895156 fired transitions, 735 secs || 33586159 markings, 40248600 edges, 47858 markings/sec, 735 secs
lola: 453 tries, 452572408 fired transitions, 740 secs || 33781345 markings, 40483793 edges, 39037 markings/sec, 740 secs
lola: 456 tries, 455129346 fired transitions, 745 secs || 33962464 markings, 40702883 edges, 36224 markings/sec, 745 secs
lola: 458 tries, 457627437 fired transitions, 750 secs || 34145417 markings, 40921788 edges, 36591 markings/sec, 750 secs
lola: 461 tries, 460157562 fired transitions, 755 secs || 34329075 markings, 41142820 edges, 36732 markings/sec, 755 secs
lola: 463 tries, 462721975 fired transitions, 760 secs || 34514544 markings, 41366509 edges, 37094 markings/sec, 760 secs
lola: 466 tries, 465252019 fired transitions, 765 secs || 34696320 markings, 41584737 edges, 36355 markings/sec, 765 secs
lola: 468 tries, 467820512 fired transitions, 770 secs || 34880827 markings, 41807737 edges, 36901 markings/sec, 770 secs
lola: 471 tries, 470393645 fired transitions, 775 secs || 35067529 markings, 42033629 edges, 37340 markings/sec, 775 secs
lola: 474 tries, 473556831 fired transitions, 780 secs || 35304286 markings, 42319909 edges, 47351 markings/sec, 780 secs
lola: 477 tries, 476819382 fired transitions, 785 secs || 35544396 markings, 42608977 edges, 48022 markings/sec, 785 secs
lola: 481 tries, 480093445 fired transitions, 790 secs || 35782537 markings, 42896581 edges, 47628 markings/sec, 790 secs
lola: 484 tries, 483353579 fired transitions, 795 secs || 36023815 markings, 43186086 edges, 48256 markings/sec, 795 secs
lola: 487 tries, 486608909 fired transitions, 800 secs || 36267855 markings, 43478213 edges, 48808 markings/sec, 800 secs
lola: 490 tries, 489750527 fired transitions, 805 secs || 36519277 markings, 43780358 edges, 50284 markings/sec, 805 secs
lola: 493 tries, 492323987 fired transitions, 810 secs || 36710166 markings, 44008236 edges, 38178 markings/sec, 810 secs
lola: 495 tries, 494922309 fired transitions, 815 secs || 36905428 markings, 44242020 edges, 39052 markings/sec, 815 secs
lola: 498 tries, 497456878 fired transitions, 820 secs || 37095363 markings, 44467412 edges, 37987 markings/sec, 820 secs
lola: 501 tries, 500011753 fired transitions, 825 secs || 37284816 markings, 44692043 edges, 37891 markings/sec, 825 secs
lola: 503 tries, 502596378 fired transitions, 830 secs || 37476780 markings, 44920759 edges, 38393 markings/sec, 830 secs
lola: 506 tries, 505162880 fired transitions, 835 secs || 37663660 markings, 45143963 edges, 37376 markings/sec, 835 secs
lola: 508 tries, 507766012 fired transitions, 840 secs || 37849556 markings, 45367833 edges, 37179 markings/sec, 840 secs
lola: 511 tries, 510345875 fired transitions, 845 secs || 38033873 markings, 45588983 edges, 36863 markings/sec, 845 secs
lola: 513 tries, 512968007 fired transitions, 850 secs || 38222241 markings, 45816883 edges, 37674 markings/sec, 850 secs
lola: 516 tries, 515599394 fired transitions, 855 secs || 38407331 markings, 46039547 edges, 37018 markings/sec, 855 secs
lola: 519 tries, 518231061 fired transitions, 860 secs || 38593640 markings, 46262979 edges, 37262 markings/sec, 860 secs
lola: 521 tries, 520909549 fired transitions, 865 secs || 38780463 markings, 46487674 edges, 37365 markings/sec, 865 secs
lola: 524 tries, 523592519 fired transitions, 870 secs || 38966770 markings, 46712951 edges, 37261 markings/sec, 870 secs
lola: 527 tries, 526281275 fired transitions, 875 secs || 39153657 markings, 46938428 edges, 37377 markings/sec, 875 secs
lola: 530 tries, 529309895 fired transitions, 880 secs || 39378504 markings, 47211107 edges, 44969 markings/sec, 880 secs
lola: 533 tries, 532495078 fired transitions, 885 secs || 39618130 markings, 47497297 edges, 47925 markings/sec, 885 secs
lola: 536 tries, 535737828 fired transitions, 890 secs || 39855292 markings, 47782642 edges, 47432 markings/sec, 890 secs
lola: 539 tries, 538971269 fired transitions, 895 secs || 40090689 markings, 48065617 edges, 47079 markings/sec, 895 secs
lola: 543 tries, 542206211 fired transitions, 900 secs || 40326069 markings, 48348327 edges, 47076 markings/sec, 900 secs
lola: 546 tries, 545399337 fired transitions, 905 secs || 40560071 markings, 48629863 edges, 46800 markings/sec, 905 secs
lola: 549 tries, 548665066 fired transitions, 910 secs || 40789614 markings, 48906376 edges, 45909 markings/sec, 910 secs
lola: 552 tries, 551451470 fired transitions, 915 secs || 40981388 markings, 49136906 edges, 38355 markings/sec, 915 secs
lola: 555 tries, 554177200 fired transitions, 920 secs || 41167885 markings, 49362543 edges, 37299 markings/sec, 920 secs
lola: 557 tries, 556874752 fired transitions, 925 secs || 41357871 markings, 49592458 edges, 37997 markings/sec, 925 secs
lola: 560 tries, 559588935 fired transitions, 930 secs || 41545879 markings, 49820849 edges, 37602 markings/sec, 930 secs
lola: 563 tries, 562290989 fired transitions, 935 secs || 41727311 markings, 50039919 edges, 36286 markings/sec, 935 secs
lola: 565 tries, 564997466 fired transitions, 940 secs || 41910648 markings, 50261492 edges, 36667 markings/sec, 940 secs
lola: 568 tries, 567759014 fired transitions, 945 secs || 42099289 markings, 50492918 edges, 37728 markings/sec, 945 secs
lola: 571 tries, 570482539 fired transitions, 950 secs || 42284141 markings, 50717016 edges, 36970 markings/sec, 950 secs
lola: 574 tries, 573204387 fired transitions, 955 secs || 42465642 markings, 50935482 edges, 36300 markings/sec, 955 secs
lola: 576 tries, 575967091 fired transitions, 960 secs || 42651464 markings, 51161534 edges, 37164 markings/sec, 960 secs
lola: 579 tries, 578650352 fired transitions, 965 secs || 42841883 markings, 51391370 edges, 38084 markings/sec, 965 secs
lola: 582 tries, 581592501 fired transitions, 970 secs || 43047334 markings, 51639984 edges, 41090 markings/sec, 970 secs
lola: 585 tries, 584727402 fired transitions, 975 secs || 43274553 markings, 51912540 edges, 45444 markings/sec, 975 secs
lola: 588 tries, 587887501 fired transitions, 980 secs || 43501430 markings, 52186449 edges, 45375 markings/sec, 980 secs
lola: 591 tries, 590572243 fired transitions, 985 secs || 43687937 markings, 52411303 edges, 37301 markings/sec, 985 secs
lola: 594 tries, 593287016 fired transitions, 990 secs || 43870734 markings, 52632225 edges, 36559 markings/sec, 990 secs
lola: 597 tries, 596263874 fired transitions, 995 secs || 44085128 markings, 52889552 edges, 42879 markings/sec, 995 secs
lola: 600 tries, 599059188 fired transitions, 1000 secs || 44291238 markings, 53138329 edges, 41222 markings/sec, 1000 secs
lola: 603 tries, 602223089 fired transitions, 1005 secs || 44516907 markings, 53409586 edges, 45134 markings/sec, 1005 secs
lola: 606 tries, 605453224 fired transitions, 1010 secs || 44751676 markings, 53692033 edges, 46954 markings/sec, 1010 secs
lola: 609 tries, 608717369 fired transitions, 1015 secs || 44987071 markings, 53976601 edges, 47079 markings/sec, 1015 secs
lola: 613 tries, 612004165 fired transitions, 1020 secs || 45220268 markings, 54261068 edges, 46639 markings/sec, 1020 secs
lola: 616 tries, 615263004 fired transitions, 1025 secs || 45456174 markings, 54544537 edges, 47181 markings/sec, 1025 secs
lola: 619 tries, 618538671 fired transitions, 1030 secs || 45685773 markings, 54821986 edges, 45920 markings/sec, 1030 secs
lola: 622 tries, 621799055 fired transitions, 1035 secs || 45921924 markings, 55104222 edges, 47230 markings/sec, 1035 secs
lola: 626 tries, 625062026 fired transitions, 1040 secs || 46156431 markings, 55383849 edges, 46901 markings/sec, 1040 secs
lola: 629 tries, 628319665 fired transitions, 1045 secs || 46388069 markings, 55659349 edges, 46328 markings/sec, 1045 secs
lola: 632 tries, 631568757 fired transitions, 1050 secs || 46622570 markings, 55936406 edges, 46900 markings/sec, 1050 secs
lola: 635 tries, 634839960 fired transitions, 1055 secs || 46855832 markings, 56218245 edges, 46652 markings/sec, 1055 secs
lola: 639 tries, 638043561 fired transitions, 1060 secs || 47090608 markings, 56500070 edges, 46955 markings/sec, 1060 secs
lola: 642 tries, 641331042 fired transitions, 1065 secs || 47326182 markings, 56787333 edges, 47115 markings/sec, 1065 secs
lola: 645 tries, 644601694 fired transitions, 1070 secs || 47564130 markings, 57074302 edges, 47590 markings/sec, 1070 secs
lola: 648 tries, 647657520 fired transitions, 1075 secs || 47782644 markings, 57337883 edges, 43703 markings/sec, 1075 secs
lola: 651 tries, 650736870 fired transitions, 1080 secs || 48001678 markings, 57602703 edges, 43807 markings/sec, 1080 secs
lola: 654 tries, 653455263 fired transitions, 1085 secs || 48197382 markings, 57839256 edges, 39141 markings/sec, 1085 secs
lola: 657 tries, 656059213 fired transitions, 1090 secs || 48381423 markings, 58063987 edges, 36808 markings/sec, 1090 secs
lola: 659 tries, 658651951 fired transitions, 1095 secs || 48563693 markings, 58286364 edges, 36454 markings/sec, 1095 secs
lola: 662 tries, 661203013 fired transitions, 1100 secs || 48746498 markings, 58507890 edges, 36561 markings/sec, 1100 secs
lola: 664 tries, 663772855 fired transitions, 1105 secs || 48929895 markings, 58730186 edges, 36679 markings/sec, 1105 secs
lola: 667 tries, 666331871 fired transitions, 1110 secs || 49108450 markings, 58946033 edges, 35711 markings/sec, 1110 secs
lola: 669 tries, 668908010 fired transitions, 1115 secs || 49290407 markings, 59167167 edges, 36391 markings/sec, 1115 secs
lola: 672 tries, 671524522 fired transitions, 1120 secs || 49472827 markings, 59388676 edges, 36484 markings/sec, 1120 secs
lola: 675 tries, 674181468 fired transitions, 1125 secs || 49657358 markings, 59610903 edges, 36906 markings/sec, 1125 secs
lola: 678 tries, 677114961 fired transitions, 1130 secs || 49868158 markings, 59866753 edges, 42160 markings/sec, 1130 secs
lola: 681 tries, 680230799 fired transitions, 1135 secs || 50101755 markings, 60149242 edges, 46719 markings/sec, 1135 secs
lola: 684 tries, 683224026 fired transitions, 1140 secs || 50321365 markings, 60412922 edges, 43922 markings/sec, 1140 secs
lola: 687 tries, 686485163 fired transitions, 1145 secs || 50545138 markings, 60682931 edges, 44755 markings/sec, 1145 secs
lola: 690 tries, 689705809 fired transitions, 1150 secs || 50778462 markings, 60964469 edges, 46665 markings/sec, 1150 secs
lola: 693 tries, 692967728 fired transitions, 1155 secs || 51012619 markings, 61246170 edges, 46831 markings/sec, 1155 secs
lola: 697 tries, 696216341 fired transitions, 1160 secs || 51249535 markings, 61531013 edges, 47383 markings/sec, 1160 secs
lola: 700 tries, 699475354 fired transitions, 1165 secs || 51489132 markings, 61817112 edges, 47919 markings/sec, 1165 secs
lola: 703 tries, 702729915 fired transitions, 1170 secs || 51723817 markings, 62097732 edges, 46937 markings/sec, 1170 secs
lola: 706 tries, 705984059 fired transitions, 1175 secs || 51957043 markings, 62378383 edges, 46645 markings/sec, 1175 secs
lola: 710 tries, 709230212 fired transitions, 1180 secs || 52191148 markings, 62657657 edges, 46821 markings/sec, 1180 secs
lola: 713 tries, 712472985 fired transitions, 1185 secs || 52426612 markings, 62940717 edges, 47093 markings/sec, 1185 secs
lola: 716 tries, 715730210 fired transitions, 1190 secs || 52662776 markings, 63225232 edges, 47233 markings/sec, 1190 secs
lola: 720 tries, 719001863 fired transitions, 1195 secs || 52899392 markings, 63510565 edges, 47323 markings/sec, 1195 secs
lola: 723 tries, 722260126 fired transitions, 1200 secs || 53134716 markings, 63793197 edges, 47065 markings/sec, 1200 secs
lola: 726 tries, 725498771 fired transitions, 1205 secs || 53371281 markings, 64073884 edges, 47313 markings/sec, 1205 secs
lola: 729 tries, 728742354 fired transitions, 1210 secs || 53607693 markings, 64355566 edges, 47282 markings/sec, 1210 secs
lola: 732 tries, 731998469 fired transitions, 1215 secs || 53842479 markings, 64634665 edges, 46957 markings/sec, 1215 secs
lola: 735 tries, 734563232 fired transitions, 1220 secs || 54028988 markings, 64855155 edges, 37302 markings/sec, 1220 secs
lola: 737 tries, 736323827 fired transitions, 1225 secs || 54159847 markings, 65012837 edges, 26172 markings/sec, 1225 secs
lola: 739 tries, 738845268 fired transitions, 1230 secs || 54340898 markings, 65229364 edges, 36210 markings/sec, 1230 secs
lola: 742 tries, 741472108 fired transitions, 1235 secs || 54519379 markings, 65441549 edges, 35696 markings/sec, 1235 secs
lola: 745 tries, 744082678 fired transitions, 1240 secs || 54698396 markings, 65655049 edges, 35803 markings/sec, 1240 secs
lola: 747 tries, 746712271 fired transitions, 1245 secs || 54878154 markings, 65870224 edges, 35952 markings/sec, 1245 secs
lola: 750 tries, 749329633 fired transitions, 1250 secs || 55058205 markings, 66085360 edges, 36010 markings/sec, 1250 secs
lola: 752 tries, 751915668 fired transitions, 1255 secs || 55237037 markings, 66298765 edges, 35766 markings/sec, 1255 secs
lola: 755 tries, 754526556 fired transitions, 1260 secs || 55417099 markings, 66512549 edges, 36012 markings/sec, 1260 secs
lola: 758 tries, 757184443 fired transitions, 1265 secs || 55600124 markings, 66731638 edges, 36605 markings/sec, 1265 secs
lola: 760 tries, 759848330 fired transitions, 1270 secs || 55783240 markings, 66951057 edges, 36623 markings/sec, 1270 secs
lola: 763 tries, 762995245 fired transitions, 1275 secs || 56006941 markings, 67220277 edges, 44740 markings/sec, 1275 secs
lola: 767 tries, 766271973 fired transitions, 1280 secs || 56246564 markings, 67507978 edges, 47925 markings/sec, 1280 secs
lola: 770 tries, 769550476 fired transitions, 1285 secs || 56491139 markings, 67803536 edges, 48915 markings/sec, 1285 secs
lola: 773 tries, 772840641 fired transitions, 1290 secs || 56738101 markings, 68104668 edges, 49392 markings/sec, 1290 secs
lola: 777 tries, 776140763 fired transitions, 1295 secs || 56984935 markings, 68407759 edges, 49367 markings/sec, 1295 secs
lola: 780 tries, 779436463 fired transitions, 1300 secs || 57230192 markings, 68707169 edges, 49051 markings/sec, 1300 secs
lola: 783 tries, 782725278 fired transitions, 1305 secs || 57476417 markings, 69006894 edges, 49245 markings/sec, 1305 secs
lola: 786 tries, 785996972 fired transitions, 1310 secs || 57714295 markings, 69292533 edges, 47576 markings/sec, 1310 secs
lola: 790 tries, 789241760 fired transitions, 1315 secs || 57946271 markings, 69566215 edges, 46395 markings/sec, 1315 secs
lola: 793 tries, 792497488 fired transitions, 1320 secs || 58183709 markings, 69847693 edges, 47488 markings/sec, 1320 secs
lola: 796 tries, 795745303 fired transitions, 1325 secs || 58425553 markings, 70130763 edges, 48369 markings/sec, 1325 secs
lola: 800 tries, 799008942 fired transitions, 1330 secs || 58660138 markings, 70412039 edges, 46917 markings/sec, 1330 secs
lola: 803 tries, 802284836 fired transitions, 1335 secs || 58899281 markings, 70699241 edges, 47829 markings/sec, 1335 secs
lola: 806 tries, 805571598 fired transitions, 1340 secs || 59141571 markings, 70992969 edges, 48458 markings/sec, 1340 secs
lola: 809 tries, 808855243 fired transitions, 1345 secs || 59384140 markings, 71285903 edges, 48514 markings/sec, 1345 secs
lola: 813 tries, 812124284 fired transitions, 1350 secs || 59616735 markings, 71565708 edges, 46519 markings/sec, 1350 secs
lola: 816 tries, 815394862 fired transitions, 1355 secs || 59851964 markings, 71849987 edges, 47046 markings/sec, 1355 secs
lola: 819 tries, 818650499 fired transitions, 1360 secs || 60087688 markings, 72129295 edges, 47145 markings/sec, 1360 secs
lola: 822 tries, 821911743 fired transitions, 1365 secs || 60322308 markings, 72410479 edges, 46924 markings/sec, 1365 secs
lola: 826 tries, 825170187 fired transitions, 1370 secs || 60557660 markings, 72690642 edges, 47070 markings/sec, 1370 secs
lola: 829 tries, 828434752 fired transitions, 1375 secs || 60791347 markings, 72970022 edges, 46737 markings/sec, 1375 secs
lola: 832 tries, 831704251 fired transitions, 1380 secs || 61026685 markings, 73250530 edges, 47068 markings/sec, 1380 secs
lola: 835 tries, 834964697 fired transitions, 1385 secs || 61259929 markings, 73528448 edges, 46649 markings/sec, 1385 secs
lola: 839 tries, 838242614 fired transitions, 1390 secs || 61498264 markings, 73817471 edges, 47667 markings/sec, 1390 secs
lola: 842 tries, 841530290 fired transitions, 1395 secs || 61740190 markings, 74111259 edges, 48385 markings/sec, 1395 secs
lola: 845 tries, 844798324 fired transitions, 1400 secs || 61976943 markings, 74395333 edges, 47351 markings/sec, 1400 secs
lola: 849 tries, 848050568 fired transitions, 1405 secs || 62210740 markings, 74675039 edges, 46759 markings/sec, 1405 secs
lola: 852 tries, 851310075 fired transitions, 1410 secs || 62447362 markings, 74958772 edges, 47324 markings/sec, 1410 secs
lola: 855 tries, 854563175 fired transitions, 1415 secs || 62680894 markings, 75236842 edges, 46706 markings/sec, 1415 secs
lola: 858 tries, 857821724 fired transitions, 1420 secs || 62917198 markings, 75520784 edges, 47261 markings/sec, 1420 secs
lola: 862 tries, 861082433 fired transitions, 1425 secs || 63156040 markings, 75807885 edges, 47768 markings/sec, 1425 secs
lola: 865 tries, 864344439 fired transitions, 1430 secs || 63391210 markings, 76089667 edges, 47034 markings/sec, 1430 secs
lola: 868 tries, 867620589 fired transitions, 1435 secs || 63628152 markings, 76375926 edges, 47388 markings/sec, 1435 secs
lola: 871 tries, 870893955 fired transitions, 1440 secs || 63863876 markings, 76659329 edges, 47145 markings/sec, 1440 secs
lola: 875 tries, 874167313 fired transitions, 1445 secs || 64096300 markings, 76939121 edges, 46485 markings/sec, 1445 secs
lola: 878 tries, 877425654 fired transitions, 1450 secs || 64330245 markings, 77219756 edges, 46789 markings/sec, 1450 secs
lola: 881 tries, 880679641 fired transitions, 1455 secs || 64566775 markings, 77503842 edges, 47306 markings/sec, 1455 secs
lola: 884 tries, 883940259 fired transitions, 1460 secs || 64803565 markings, 77789100 edges, 47358 markings/sec, 1460 secs
lola: 888 tries, 887203244 fired transitions, 1465 secs || 65037585 markings, 78070155 edges, 46804 markings/sec, 1465 secs
lola: 891 tries, 890452877 fired transitions, 1470 secs || 65275123 markings, 78355021 edges, 47508 markings/sec, 1470 secs
lola: 894 tries, 893712004 fired transitions, 1475 secs || 65508930 markings, 78635467 edges, 46761 markings/sec, 1475 secs
lola: 897 tries, 896975705 fired transitions, 1480 secs || 65741921 markings, 78916178 edges, 46598 markings/sec, 1480 secs
lola: 901 tries, 900232957 fired transitions, 1485 secs || 65975373 markings, 79195484 edges, 46690 markings/sec, 1485 secs
lola: 904 tries, 903501373 fired transitions, 1490 secs || 66211841 markings, 79481361 edges, 47294 markings/sec, 1490 secs
lola: 907 tries, 906759506 fired transitions, 1495 secs || 66447087 markings, 79763399 edges, 47049 markings/sec, 1495 secs
lola: 911 tries, 910026060 fired transitions, 1500 secs || 66685616 markings, 80050560 edges, 47706 markings/sec, 1500 secs
lola: 914 tries, 913285983 fired transitions, 1505 secs || 66921221 markings, 80333973 edges, 47121 markings/sec, 1505 secs
lola: 917 tries, 916548977 fired transitions, 1510 secs || 67158597 markings, 80620740 edges, 47475 markings/sec, 1510 secs
lola: 920 tries, 919809026 fired transitions, 1515 secs || 67393723 markings, 80902092 edges, 47025 markings/sec, 1515 secs
lola: 924 tries, 923062070 fired transitions, 1520 secs || 67629084 markings, 81185027 edges, 47072 markings/sec, 1520 secs
lola: 927 tries, 926321540 fired transitions, 1525 secs || 67866428 markings, 81470145 edges, 47469 markings/sec, 1525 secs
lola: 930 tries, 929587779 fired transitions, 1530 secs || 68100050 markings, 81749729 edges, 46724 markings/sec, 1530 secs
lola: 933 tries, 932867535 fired transitions, 1535 secs || 68334775 markings, 82031962 edges, 46945 markings/sec, 1535 secs
lola: 937 tries, 936156929 fired transitions, 1540 secs || 68575826 markings, 82324594 edges, 48210 markings/sec, 1540 secs
lola: 940 tries, 939418226 fired transitions, 1545 secs || 68813632 markings, 82608850 edges, 47561 markings/sec, 1545 secs
lola: 943 tries, 942679896 fired transitions, 1550 secs || 69052811 markings, 82894059 edges, 47836 markings/sec, 1550 secs
lola: 946 tries, 945966802 fired transitions, 1555 secs || 69287653 markings, 83178463 edges, 46968 markings/sec, 1555 secs
lola: 950 tries, 949240066 fired transitions, 1560 secs || 69524115 markings, 83462920 edges, 47292 markings/sec, 1560 secs
lola: 953 tries, 952522029 fired transitions, 1565 secs || 69764505 markings, 83753190 edges, 48078 markings/sec, 1565 secs
lola: 956 tries, 955792050 fired transitions, 1570 secs || 69997288 markings, 84034039 edges, 46557 markings/sec, 1570 secs
lola: 960 tries, 959053359 fired transitions, 1575 secs || 70229809 markings, 84312688 edges, 46504 markings/sec, 1575 secs
lola: 963 tries, 962303963 fired transitions, 1580 secs || 70462062 markings, 84588363 edges, 46451 markings/sec, 1580 secs
lola: 966 tries, 965567498 fired transitions, 1585 secs || 70697669 markings, 84871334 edges, 47121 markings/sec, 1585 secs
lola: 969 tries, 968841798 fired transitions, 1590 secs || 70930620 markings, 85151567 edges, 46590 markings/sec, 1590 secs
lola: 973 tries, 972110835 fired transitions, 1595 secs || 71167028 markings, 85437227 edges, 47282 markings/sec, 1595 secs
lola: 976 tries, 975377238 fired transitions, 1600 secs || 71402104 markings, 85720667 edges, 47015 markings/sec, 1600 secs
lola: 979 tries, 978633454 fired transitions, 1605 secs || 71636398 markings, 86001533 edges, 46859 markings/sec, 1605 secs
lola: 982 tries, 981900610 fired transitions, 1610 secs || 71873793 markings, 86288604 edges, 47479 markings/sec, 1610 secs
lola: 986 tries, 985161186 fired transitions, 1615 secs || 72111481 markings, 86574718 edges, 47538 markings/sec, 1615 secs
lola: 989 tries, 988432852 fired transitions, 1620 secs || 72343351 markings, 86854944 edges, 46374 markings/sec, 1620 secs
lola: 992 tries, 991705335 fired transitions, 1625 secs || 72577977 markings, 87138333 edges, 46925 markings/sec, 1625 secs
lola: 995 tries, 994971710 fired transitions, 1630 secs || 72814980 markings, 87424474 edges, 47401 markings/sec, 1630 secs
lola: 999 tries, 998232818 fired transitions, 1635 secs || 73047645 markings, 87705154 edges, 46533 markings/sec, 1635 secs
lola: 1002 tries, 1001497758 fired transitions, 1640 secs || 73284828 markings, 87990465 edges, 47437 markings/sec, 1640 secs
lola: 1005 tries, 1004754004 fired transitions, 1645 secs || 73519481 markings, 88271113 edges, 46931 markings/sec, 1645 secs
lola: 1009 tries, 1008012545 fired transitions, 1650 secs || 73755120 markings, 88553914 edges, 47128 markings/sec, 1650 secs
lola: 1012 tries, 1011285616 fired transitions, 1655 secs || 73989162 markings, 88834209 edges, 46808 markings/sec, 1655 secs
lola: 1015 tries, 1014546865 fired transitions, 1660 secs || 74221084 markings, 89111192 edges, 46384 markings/sec, 1660 secs
lola: 1018 tries, 1017808094 fired transitions, 1665 secs || 74454603 markings, 89389952 edges, 46704 markings/sec, 1665 secs
lola: 1022 tries, 1021077583 fired transitions, 1670 secs || 74686343 markings, 89668994 edges, 46348 markings/sec, 1670 secs
lola: 1025 tries, 1024354057 fired transitions, 1675 secs || 74918703 markings, 89950003 edges, 46472 markings/sec, 1675 secs
lola: 1028 tries, 1027626677 fired transitions, 1680 secs || 75152244 markings, 90231741 edges, 46708 markings/sec, 1680 secs
lola: 1031 tries, 1030898747 fired transitions, 1685 secs || 75385263 markings, 90513600 edges, 46604 markings/sec, 1685 secs
lola: 1035 tries, 1034167241 fired transitions, 1690 secs || 75622625 markings, 90800260 edges, 47472 markings/sec, 1690 secs
lola: 1038 tries, 1037413818 fired transitions, 1695 secs || 75863115 markings, 91088871 edges, 48098 markings/sec, 1695 secs
lola: 1041 tries, 1040673305 fired transitions, 1700 secs || 76100368 markings, 91375296 edges, 47451 markings/sec, 1700 secs
lola: 1044 tries, 1043943742 fired transitions, 1705 secs || 76337536 markings, 91661533 edges, 47434 markings/sec, 1705 secs
lola: 1048 tries, 1047203864 fired transitions, 1710 secs || 76574564 markings, 91947976 edges, 47406 markings/sec, 1710 secs
lola: 1051 tries, 1050479184 fired transitions, 1715 secs || 76809449 markings, 92232295 edges, 46977 markings/sec, 1715 secs
lola: 1054 tries, 1053754692 fired transitions, 1720 secs || 77045610 markings, 92517529 edges, 47232 markings/sec, 1720 secs
lola: 1058 tries, 1057026451 fired transitions, 1725 secs || 77280991 markings, 92802198 edges, 47076 markings/sec, 1725 secs
lola: 1061 tries, 1060288231 fired transitions, 1730 secs || 77517044 markings, 93084968 edges, 47211 markings/sec, 1730 secs
lola: 1064 tries, 1063569284 fired transitions, 1735 secs || 77753131 markings, 93369366 edges, 47217 markings/sec, 1735 secs
lola: 1067 tries, 1066856130 fired transitions, 1740 secs || 77991114 markings, 93658146 edges, 47597 markings/sec, 1740 secs
lola: 1071 tries, 1070130360 fired transitions, 1745 secs || 78225744 markings, 93940902 edges, 46926 markings/sec, 1745 secs
lola: 1074 tries, 1073400858 fired transitions, 1750 secs || 78460479 markings, 94225216 edges, 46947 markings/sec, 1750 secs
lola: 1077 tries, 1076664580 fired transitions, 1755 secs || 78696773 markings, 94510408 edges, 47259 markings/sec, 1755 secs
lola: 1080 tries, 1079930012 fired transitions, 1760 secs || 78933324 markings, 94794223 edges, 47310 markings/sec, 1760 secs
lola: 1084 tries, 1083200670 fired transitions, 1765 secs || 79167999 markings, 95076681 edges, 46935 markings/sec, 1765 secs
lola: 1087 tries, 1086484219 fired transitions, 1770 secs || 79407485 markings, 95366802 edges, 47897 markings/sec, 1770 secs
lola: 1090 tries, 1089770847 fired transitions, 1775 secs || 79645712 markings, 95655179 edges, 47645 markings/sec, 1775 secs
lola: 1094 tries, 1093063784 fired transitions, 1780 secs || 79883638 markings, 95944401 edges, 47585 markings/sec, 1780 secs
lola: 1097 tries, 1096338789 fired transitions, 1785 secs || 80115257 markings, 96222387 edges, 46324 markings/sec, 1785 secs
lola: 1100 tries, 1099627781 fired transitions, 1790 secs || 80348957 markings, 96505599 edges, 46740 markings/sec, 1790 secs
lola: 1103 tries, 1102913574 fired transitions, 1795 secs || 80584290 markings, 96789745 edges, 47067 markings/sec, 1795 secs
lola: 1107 tries, 1106188538 fired transitions, 1800 secs || 80819074 markings, 97071019 edges, 46957 markings/sec, 1800 secs
lola: 1110 tries, 1109468183 fired transitions, 1805 secs || 81055586 markings, 97356588 edges, 47302 markings/sec, 1805 secs
lola: 1113 tries, 1112735410 fired transitions, 1810 secs || 81289424 markings, 97636253 edges, 46768 markings/sec, 1810 secs
lola: 1117 tries, 1116006993 fired transitions, 1815 secs || 81524501 markings, 97919787 edges, 47015 markings/sec, 1815 secs
lola: 1120 tries, 1119278264 fired transitions, 1820 secs || 81759732 markings, 98203385 edges, 47046 markings/sec, 1820 secs
lola: 1123 tries, 1122548620 fired transitions, 1825 secs || 81995988 markings, 98489339 edges, 47251 markings/sec, 1825 secs
lola: 1126 tries, 1125822607 fired transitions, 1830 secs || 82231637 markings, 98774963 edges, 47130 markings/sec, 1830 secs
lola: 1130 tries, 1129089576 fired transitions, 1835 secs || 82461855 markings, 99051573 edges, 46044 markings/sec, 1835 secs
lola: 1133 tries, 1132365116 fired transitions, 1840 secs || 82700946 markings, 99339270 edges, 47818 markings/sec, 1840 secs
lola: 1136 tries, 1135655960 fired transitions, 1845 secs || 82939465 markings, 99628522 edges, 47704 markings/sec, 1845 secs
lola: 1139 tries, 1138931438 fired transitions, 1850 secs || 83172914 markings, 99909933 edges, 46690 markings/sec, 1850 secs
lola: 1143 tries, 1142204753 fired transitions, 1855 secs || 83410090 markings, 100196938 edges, 47435 markings/sec, 1855 secs
lola: 1146 tries, 1145483074 fired transitions, 1860 secs || 83642752 markings, 100477288 edges, 46532 markings/sec, 1860 secs
lola: 1149 tries, 1148756569 fired transitions, 1865 secs || 83875583 markings, 100756824 edges, 46566 markings/sec, 1865 secs
lola: 1153 tries, 1152039437 fired transitions, 1870 secs || 84110478 markings, 101040985 edges, 46979 markings/sec, 1870 secs
lola: 1156 tries, 1155319511 fired transitions, 1875 secs || 84346268 markings, 101326011 edges, 47158 markings/sec, 1875 secs
lola: 1159 tries, 1158596558 fired transitions, 1880 secs || 84581924 markings, 101609981 edges, 47131 markings/sec, 1880 secs
lola: 1162 tries, 1161875053 fired transitions, 1885 secs || 84817299 markings, 101893747 edges, 47075 markings/sec, 1885 secs
lola: 1166 tries, 1165143637 fired transitions, 1890 secs || 85054808 markings, 102178101 edges, 47502 markings/sec, 1890 secs
lola: 1169 tries, 1168419923 fired transitions, 1895 secs || 85288189 markings, 102457783 edges, 46676 markings/sec, 1895 secs
lola: 1172 tries, 1171691914 fired transitions, 1900 secs || 85524390 markings, 102743409 edges, 47240 markings/sec, 1900 secs
lola: 1175 tries, 1174789508 fired transitions, 1905 secs || 85747984 markings, 103013898 edges, 44719 markings/sec, 1905 secs
lola: 1179 tries, 1178053207 fired transitions, 1910 secs || 85980265 markings, 103292991 edges, 46456 markings/sec, 1910 secs
lola: 1182 tries, 1181300328 fired transitions, 1915 secs || 86230513 markings, 103589230 edges, 50050 markings/sec, 1915 secs
lola: 1185 tries, 1184556978 fired transitions, 1920 secs || 86480667 markings, 103886750 edges, 50031 markings/sec, 1920 secs
lola: 1188 tries, 1187803413 fired transitions, 1925 secs || 86728238 markings, 104179412 edges, 49514 markings/sec, 1925 secs
lola: 1192 tries, 1191062623 fired transitions, 1930 secs || 86962751 markings, 104458638 edges, 46903 markings/sec, 1930 secs
lola: 1195 tries, 1194330534 fired transitions, 1935 secs || 87197175 markings, 104739056 edges, 46885 markings/sec, 1935 secs
lola: 1198 tries, 1197604926 fired transitions, 1940 secs || 87429110 markings, 105019996 edges, 46387 markings/sec, 1940 secs
lola: 1201 tries, 1200882059 fired transitions, 1945 secs || 87664288 markings, 105304222 edges, 47036 markings/sec, 1945 secs
lola: 1205 tries, 1204143560 fired transitions, 1950 secs || 87900239 markings, 105588435 edges, 47190 markings/sec, 1950 secs
lola: 1208 tries, 1207418827 fired transitions, 1955 secs || 88135329 markings, 105870673 edges, 47018 markings/sec, 1955 secs
lola: 1211 tries, 1210691686 fired transitions, 1960 secs || 88370090 markings, 106154010 edges, 46952 markings/sec, 1960 secs
lola: 1214 tries, 1213923804 fired transitions, 1965 secs || 88614711 markings, 106447062 edges, 48924 markings/sec, 1965 secs
lola: 1218 tries, 1217195427 fired transitions, 1970 secs || 88851556 markings, 106733621 edges, 47369 markings/sec, 1970 secs
lola: 1221 tries, 1220468453 fired transitions, 1975 secs || 89090148 markings, 107023237 edges, 47718 markings/sec, 1975 secs
lola: 1224 tries, 1223730197 fired transitions, 1980 secs || 89325843 markings, 107306785 edges, 47139 markings/sec, 1980 secs
lola: 1228 tries, 1227002586 fired transitions, 1985 secs || 89559745 markings, 107589407 edges, 46780 markings/sec, 1985 secs
lola: 1231 tries, 1230276789 fired transitions, 1990 secs || 89795906 markings, 107874736 edges, 47232 markings/sec, 1990 secs
lola: 1234 tries, 1233543399 fired transitions, 1995 secs || 90030826 markings, 108157488 edges, 46984 markings/sec, 1995 secs
lola: 1237 tries, 1236814663 fired transitions, 2000 secs || 90266055 markings, 108441348 edges, 47046 markings/sec, 2000 secs
lola: 1241 tries, 1240074836 fired transitions, 2005 secs || 90501889 markings, 108722828 edges, 47167 markings/sec, 2005 secs
lola: 1244 tries, 1243342246 fired transitions, 2010 secs || 90738531 markings, 109008666 edges, 47328 markings/sec, 2010 secs
lola: 1247 tries, 1246612177 fired transitions, 2015 secs || 90970564 markings, 109287964 edges, 46407 markings/sec, 2015 secs
lola: 1250 tries, 1249870245 fired transitions, 2020 secs || 91206567 markings, 109573223 edges, 47201 markings/sec, 2020 secs
lola: 1254 tries, 1253138308 fired transitions, 2025 secs || 91443162 markings, 109859010 edges, 47319 markings/sec, 2025 secs
lola: 1257 tries, 1256415530 fired transitions, 2030 secs || 91675995 markings, 110139904 edges, 46567 markings/sec, 2030 secs
lola: 1260 tries, 1259686600 fired transitions, 2035 secs || 91909926 markings, 110420418 edges, 46786 markings/sec, 2035 secs
lola: 1263 tries, 1262964601 fired transitions, 2040 secs || 92142974 markings, 110700893 edges, 46610 markings/sec, 2040 secs
lola: 1267 tries, 1266244155 fired transitions, 2045 secs || 92376630 markings, 110982002 edges, 46731 markings/sec, 2045 secs
lola: 1270 tries, 1269512904 fired transitions, 2050 secs || 92608426 markings, 111260379 edges, 46359 markings/sec, 2050 secs
lola: 1273 tries, 1272780859 fired transitions, 2055 secs || 92844091 markings, 111544931 edges, 47133 markings/sec, 2055 secs
lola: 1277 tries, 1276046946 fired transitions, 2060 secs || 93079835 markings, 111828074 edges, 47149 markings/sec, 2060 secs
lola: 1280 tries, 1279322698 fired transitions, 2065 secs || 93314687 markings, 112110550 edges, 46970 markings/sec, 2065 secs
lola: 1283 tries, 1282600647 fired transitions, 2070 secs || 93552624 markings, 112395800 edges, 47587 markings/sec, 2070 secs
lola: 1286 tries, 1285885721 fired transitions, 2075 secs || 93792780 markings, 112687360 edges, 48031 markings/sec, 2075 secs
lola: 1290 tries, 1289192126 fired transitions, 2080 secs || 94035373 markings, 112984929 edges, 48519 markings/sec, 2080 secs
lola: 1293 tries, 1292488632 fired transitions, 2085 secs || 94277964 markings, 113281342 edges, 48518 markings/sec, 2085 secs
lola: 1296 tries, 1295782372 fired transitions, 2090 secs || 94520179 markings, 113577219 edges, 48443 markings/sec, 2090 secs
lola: 1300 tries, 1299077197 fired transitions, 2095 secs || 94761274 markings, 113871675 edges, 48219 markings/sec, 2095 secs
lola: 1303 tries, 1302359416 fired transitions, 2100 secs || 94997442 markings, 114157023 edges, 47234 markings/sec, 2100 secs
lola: 1306 tries, 1305642043 fired transitions, 2105 secs || 95225707 markings, 114433164 edges, 45653 markings/sec, 2105 secs
lola: 1309 tries, 1308917818 fired transitions, 2110 secs || 95459760 markings, 114715492 edges, 46811 markings/sec, 2110 secs
lola: 1313 tries, 1312185996 fired transitions, 2115 secs || 95690977 markings, 114991107 edges, 46243 markings/sec, 2115 secs
lola: 1316 tries, 1315450020 fired transitions, 2120 secs || 95920642 markings, 115265849 edges, 45933 markings/sec, 2120 secs
lola: 1319 tries, 1318717659 fired transitions, 2125 secs || 96148814 markings, 115538213 edges, 45634 markings/sec, 2125 secs
lola: 1322 tries, 1321985575 fired transitions, 2130 secs || 96380602 markings, 115815905 edges, 46358 markings/sec, 2130 secs
lola: 1326 tries, 1325251237 fired transitions, 2135 secs || 96613232 markings, 116095298 edges, 46526 markings/sec, 2135 secs
lola: 1329 tries, 1328517239 fired transitions, 2140 secs || 96846903 markings, 116374417 edges, 46734 markings/sec, 2140 secs
lola: 1332 tries, 1331775934 fired transitions, 2145 secs || 97078127 markings, 116651793 edges, 46245 markings/sec, 2145 secs
lola: 1336 tries, 1335043242 fired transitions, 2150 secs || 97307939 markings, 116929215 edges, 45962 markings/sec, 2150 secs
lola: 1339 tries, 1338316377 fired transitions, 2155 secs || 97539759 markings, 117208517 edges, 46364 markings/sec, 2155 secs
lola: 1342 tries, 1341593643 fired transitions, 2160 secs || 97771822 markings, 117488074 edges, 46413 markings/sec, 2160 secs
lola: 1345 tries, 1344870029 fired transitions, 2165 secs || 98004120 markings, 117768501 edges, 46460 markings/sec, 2165 secs
lola: 1349 tries, 1348142770 fired transitions, 2170 secs || 98240506 markings, 118051559 edges, 47277 markings/sec, 2170 secs
lola: 1352 tries, 1351427656 fired transitions, 2175 secs || 98480260 markings, 118342727 edges, 47951 markings/sec, 2175 secs
lola: 1355 tries, 1354702439 fired transitions, 2180 secs || 98715091 markings, 118625803 edges, 46966 markings/sec, 2180 secs
lola: 1359 tries, 1358004763 fired transitions, 2185 secs || 98958704 markings, 118924908 edges, 48723 markings/sec, 2185 secs
lola: 1362 tries, 1361292419 fired transitions, 2190 secs || 99198938 markings, 119215966 edges, 48047 markings/sec, 2190 secs
lola: 1365 tries, 1364555068 fired transitions, 2195 secs || 99427452 markings, 119488198 edges, 45703 markings/sec, 2195 secs
lola: 1368 tries, 1367817196 fired transitions, 2200 secs || 99661457 markings, 119767950 edges, 46801 markings/sec, 2200 secs
lola: 1372 tries, 1371092363 fired transitions, 2205 secs || 99895815 markings, 120051997 edges, 46872 markings/sec, 2205 secs
lola: 1375 tries, 1374345836 fired transitions, 2210 secs || 100129845 markings, 120333250 edges, 46806 markings/sec, 2210 secs
lola: 1378 tries, 1377609901 fired transitions, 2215 secs || 100361919 markings, 120612306 edges, 46415 markings/sec, 2215 secs
lola: 1381 tries, 1380876009 fired transitions, 2220 secs || 100597578 markings, 120897049 edges, 47132 markings/sec, 2220 secs
lola: 1385 tries, 1384147711 fired transitions, 2225 secs || 100831660 markings, 121180372 edges, 46816 markings/sec, 2225 secs
lola: 1388 tries, 1387417786 fired transitions, 2230 secs || 101066395 markings, 121463612 edges, 46947 markings/sec, 2230 secs
lola: 1391 tries, 1390691332 fired transitions, 2235 secs || 101300538 markings, 121746317 edges, 46829 markings/sec, 2235 secs
lola: 1394 tries, 1393962209 fired transitions, 2240 secs || 101537715 markings, 122033633 edges, 47435 markings/sec, 2240 secs
lola: 1398 tries, 1397243447 fired transitions, 2245 secs || 101771582 markings, 122316595 edges, 46773 markings/sec, 2245 secs
lola: 1401 tries, 1400527861 fired transitions, 2250 secs || 102004893 markings, 122600401 edges, 46662 markings/sec, 2250 secs
lola: 1404 tries, 1403793258 fired transitions, 2255 secs || 102238279 markings, 122878500 edges, 46677 markings/sec, 2255 secs
lola: 1408 tries, 1407073112 fired transitions, 2260 secs || 102471665 markings, 123160887 edges, 46677 markings/sec, 2260 secs
lola: 1411 tries, 1410348071 fired transitions, 2265 secs || 102703922 markings, 123442111 edges, 46451 markings/sec, 2265 secs
lola: 1414 tries, 1413619600 fired transitions, 2270 secs || 102938139 markings, 123724829 edges, 46843 markings/sec, 2270 secs
lola: 1417 tries, 1416893407 fired transitions, 2275 secs || 103173167 markings, 124009207 edges, 47006 markings/sec, 2275 secs
lola: 1421 tries, 1420166176 fired transitions, 2280 secs || 103405403 markings, 124288021 edges, 46447 markings/sec, 2280 secs
lola: 1424 tries, 1423449646 fired transitions, 2285 secs || 103639853 markings, 124571274 edges, 46890 markings/sec, 2285 secs
lola: 1427 tries, 1426713483 fired transitions, 2290 secs || 103880896 markings, 124858310 edges, 48209 markings/sec, 2290 secs
lola: 1430 tries, 1429993555 fired transitions, 2295 secs || 104122595 markings, 125149366 edges, 48340 markings/sec, 2295 secs
lola: 1434 tries, 1433269160 fired transitions, 2300 secs || 104362297 markings, 125436595 edges, 47940 markings/sec, 2300 secs
lola: 1437 tries, 1436546539 fired transitions, 2305 secs || 104604613 markings, 125727382 edges, 48463 markings/sec, 2305 secs
lola: 1440 tries, 1439831218 fired transitions, 2310 secs || 104849473 markings, 126026511 edges, 48972 markings/sec, 2310 secs
lola: 1444 tries, 1443129350 fired transitions, 2315 secs || 105095874 markings, 126328356 edges, 49280 markings/sec, 2315 secs
lola: 1447 tries, 1446420800 fired transitions, 2320 secs || 105341298 markings, 126627251 edges, 49085 markings/sec, 2320 secs
lola: 1450 tries, 1449700270 fired transitions, 2325 secs || 105580167 markings, 126915115 edges, 47774 markings/sec, 2325 secs
lola: 1453 tries, 1452976821 fired transitions, 2330 secs || 105820974 markings, 127205102 edges, 48161 markings/sec, 2330 secs
lola: 1457 tries, 1456266898 fired transitions, 2335 secs || 106062796 markings, 127498442 edges, 48364 markings/sec, 2335 secs
lola: 1460 tries, 1459562261 fired transitions, 2340 secs || 106305947 markings, 127794328 edges, 48630 markings/sec, 2340 secs
lola: 1463 tries, 1462834920 fired transitions, 2345 secs || 106547498 markings, 128083613 edges, 48310 markings/sec, 2345 secs
lola: 1467 tries, 1466079208 fired transitions, 2350 secs || 106786927 markings, 128361973 edges, 47886 markings/sec, 2350 secs
lola: 1470 tries, 1469337034 fired transitions, 2355 secs || 107028407 markings, 128647299 edges, 48296 markings/sec, 2355 secs
lola: 1473 tries, 1472610924 fired transitions, 2360 secs || 107268279 markings, 128935282 edges, 47974 markings/sec, 2360 secs
lola: 1476 tries, 1475893122 fired transitions, 2365 secs || 107507906 markings, 129223333 edges, 47925 markings/sec, 2365 secs
lola: 1480 tries, 1479180080 fired transitions, 2370 secs || 107748682 markings, 129514858 edges, 48155 markings/sec, 2370 secs
lola: 1483 tries, 1482469532 fired transitions, 2375 secs || 107989883 markings, 129806214 edges, 48240 markings/sec, 2375 secs
lola: 1486 tries, 1485747951 fired transitions, 2380 secs || 108229485 markings, 130093887 edges, 47920 markings/sec, 2380 secs
lola: 1490 tries, 1489041252 fired transitions, 2385 secs || 108470390 markings, 130386364 edges, 48181 markings/sec, 2385 secs
lola: 1493 tries, 1492319383 fired transitions, 2390 secs || 108709754 markings, 130674228 edges, 47873 markings/sec, 2390 secs
lola: 1496 tries, 1495598715 fired transitions, 2395 secs || 108947914 markings, 130960755 edges, 47632 markings/sec, 2395 secs
lola: 1499 tries, 1498874358 fired transitions, 2400 secs || 109185653 markings, 131247011 edges, 47548 markings/sec, 2400 secs
lola: 1503 tries, 1502161457 fired transitions, 2405 secs || 109424861 markings, 131536476 edges, 47842 markings/sec, 2405 secs
lola: 1506 tries, 1505445260 fired transitions, 2410 secs || 109662843 markings, 131823806 edges, 47596 markings/sec, 2410 secs
lola: 1509 tries, 1508727578 fired transitions, 2415 secs || 109902204 markings, 132112402 edges, 47872 markings/sec, 2415 secs
lola: 1512 tries, 1511999979 fired transitions, 2420 secs || 110141010 markings, 132396189 edges, 47761 markings/sec, 2420 secs
lola: 1516 tries, 1515278972 fired transitions, 2425 secs || 110380769 markings, 132683945 edges, 47952 markings/sec, 2425 secs
lola: 1519 tries, 1518557453 fired transitions, 2430 secs || 110618300 markings, 132969763 edges, 47506 markings/sec, 2430 secs
lola: 1522 tries, 1521838343 fired transitions, 2435 secs || 110856629 markings, 133256912 edges, 47666 markings/sec, 2435 secs
lola: 1526 tries, 1525116541 fired transitions, 2440 secs || 111093991 markings, 133540406 edges, 47472 markings/sec, 2440 secs
lola: 1529 tries, 1528405322 fired transitions, 2445 secs || 111334645 markings, 133832158 edges, 48131 markings/sec, 2445 secs
lola: 1532 tries, 1531702253 fired transitions, 2450 secs || 111578533 markings, 134130654 edges, 48778 markings/sec, 2450 secs
lola: 1535 tries, 1534982322 fired transitions, 2455 secs || 111817161 markings, 134418132 edges, 47726 markings/sec, 2455 secs
lola: 1539 tries, 1538265936 fired transitions, 2460 secs || 112056441 markings, 134706548 edges, 47856 markings/sec, 2460 secs
lola: 1542 tries, 1541538672 fired transitions, 2465 secs || 112296074 markings, 134994343 edges, 47927 markings/sec, 2465 secs
lola: 1545 tries, 1544812094 fired transitions, 2470 secs || 112534714 markings, 135279682 edges, 47728 markings/sec, 2470 secs
lola: 1549 tries, 1548092293 fired transitions, 2475 secs || 112770551 markings, 135562840 edges, 47167 markings/sec, 2475 secs
lola: 1552 tries, 1551372876 fired transitions, 2480 secs || 113006517 markings, 135847397 edges, 47193 markings/sec, 2480 secs
lola: 1555 tries, 1554651762 fired transitions, 2485 secs || 113239153 markings, 136126848 edges, 46527 markings/sec, 2485 secs
lola: 1558 tries, 1557923463 fired transitions, 2490 secs || 113473291 markings, 136407259 edges, 46828 markings/sec, 2490 secs
lola: 1562 tries, 1561208836 fired transitions, 2495 secs || 113707070 markings, 136689675 edges, 46756 markings/sec, 2495 secs
lola: 1565 tries, 1564473473 fired transitions, 2500 secs || 113936717 markings, 136965739 edges, 45929 markings/sec, 2500 secs
lola: 1568 tries, 1567741804 fired transitions, 2505 secs || 114167791 markings, 137242350 edges, 46215 markings/sec, 2505 secs
lola: 1572 tries, 1571009164 fired transitions, 2510 secs || 114403426 markings, 137525443 edges, 47127 markings/sec, 2510 secs
lola: 1575 tries, 1574283163 fired transitions, 2515 secs || 114636861 markings, 137807050 edges, 46687 markings/sec, 2515 secs
lola: 1578 tries, 1577563490 fired transitions, 2520 secs || 114870529 markings, 138089987 edges, 46734 markings/sec, 2520 secs
lola: 1581 tries, 1580849457 fired transitions, 2525 secs || 115105188 markings, 138373559 edges, 46932 markings/sec, 2525 secs
lola: 1585 tries, 1584137540 fired transitions, 2530 secs || 115338074 markings, 138655169 edges, 46577 markings/sec, 2530 secs
lola: 1588 tries, 1587410044 fired transitions, 2535 secs || 115570009 markings, 138933191 edges, 46387 markings/sec, 2535 secs
lola: 1591 tries, 1590704339 fired transitions, 2540 secs || 115805324 markings, 139219613 edges, 47063 markings/sec, 2540 secs
lola: 1594 tries, 1593990010 fired transitions, 2545 secs || 116039388 markings, 139502088 edges, 46813 markings/sec, 2545 secs
lola: 1598 tries, 1597266995 fired transitions, 2550 secs || 116272303 markings, 139781751 edges, 46583 markings/sec, 2550 secs
lola: 1601 tries, 1600535713 fired transitions, 2555 secs || 116506373 markings, 140064369 edges, 46814 markings/sec, 2555 secs
lola: 1604 tries, 1603811047 fired transitions, 2560 secs || 116741687 markings, 140349739 edges, 47063 markings/sec, 2560 secs
lola: 1608 tries, 1607088438 fired transitions, 2565 secs || 116976321 markings, 140633514 edges, 46927 markings/sec, 2565 secs
lola: 1611 tries, 1610367382 fired transitions, 2570 secs || 117213326 markings, 140920581 edges, 47401 markings/sec, 2570 secs
lola: 1614 tries, 1613646255 fired transitions, 2575 secs || 117447036 markings, 141203921 edges, 46742 markings/sec, 2575 secs
lola: 1617 tries, 1616915428 fired transitions, 2580 secs || 117681402 markings, 141486337 edges, 46873 markings/sec, 2580 secs
lola: 1621 tries, 1620190803 fired transitions, 2585 secs || 117916375 markings, 141771555 edges, 46995 markings/sec, 2585 secs
lola: 1624 tries, 1623467684 fired transitions, 2590 secs || 118150208 markings, 142053349 edges, 46767 markings/sec, 2590 secs
lola: 1627 tries, 1626758426 fired transitions, 2595 secs || 118387310 markings, 142341231 edges, 47420 markings/sec, 2595 secs
lola: 1631 tries, 1630042322 fired transitions, 2600 secs || 118622908 markings, 142625776 edges, 47120 markings/sec, 2600 secs
lola: 1634 tries, 1633320183 fired transitions, 2605 secs || 118857487 markings, 142910428 edges, 46916 markings/sec, 2605 secs
lola: 1637 tries, 1636590201 fired transitions, 2610 secs || 119092985 markings, 143194100 edges, 47100 markings/sec, 2610 secs
lola: 1640 tries, 1639858328 fired transitions, 2615 secs || 119327340 markings, 143477295 edges, 46871 markings/sec, 2615 secs
lola: 1644 tries, 1643133086 fired transitions, 2620 secs || 119562995 markings, 143762105 edges, 47131 markings/sec, 2620 secs
lola: 1647 tries, 1646407503 fired transitions, 2625 secs || 119797808 markings, 144046774 edges, 46963 markings/sec, 2625 secs
lola: 1650 tries, 1649687207 fired transitions, 2630 secs || 120033762 markings, 144332954 edges, 47191 markings/sec, 2630 secs
lola: 1653 tries, 1652959765 fired transitions, 2635 secs || 120268795 markings, 144616880 edges, 47007 markings/sec, 2635 secs
lola: 1657 tries, 1656237886 fired transitions, 2640 secs || 120503008 markings, 144901057 edges, 46843 markings/sec, 2640 secs
lola: 1660 tries, 1659506804 fired transitions, 2645 secs || 120735317 markings, 145179297 edges, 46462 markings/sec, 2645 secs
lola: 1663 tries, 1662769235 fired transitions, 2650 secs || 120966205 markings, 145454583 edges, 46178 markings/sec, 2650 secs
lola: 1667 tries, 1666033954 fired transitions, 2655 secs || 121199065 markings, 145734886 edges, 46572 markings/sec, 2655 secs
lola: 1670 tries, 1669305161 fired transitions, 2660 secs || 121434555 markings, 146019080 edges, 47098 markings/sec, 2660 secs
lola: 1673 tries, 1672576809 fired transitions, 2665 secs || 121669147 markings, 146303526 edges, 46918 markings/sec, 2665 secs
lola: 1676 tries, 1675838597 fired transitions, 2670 secs || 121904332 markings, 146588357 edges, 47037 markings/sec, 2670 secs
lola: 1680 tries, 1679115331 fired transitions, 2675 secs || 122139282 markings, 146871946 edges, 46990 markings/sec, 2675 secs
lola: 1683 tries, 1682381352 fired transitions, 2680 secs || 122375226 markings, 147154757 edges, 47189 markings/sec, 2680 secs
lola: 1686 tries, 1685655943 fired transitions, 2685 secs || 122611071 markings, 147440632 edges, 47169 markings/sec, 2685 secs
lola: 1689 tries, 1688932546 fired transitions, 2690 secs || 122846597 markings, 147724011 edges, 47105 markings/sec, 2690 secs
lola: 1693 tries, 1692211703 fired transitions, 2695 secs || 123077759 markings, 148001031 edges, 46232 markings/sec, 2695 secs
lola: 1696 tries, 1695490077 fired transitions, 2700 secs || 123310716 markings, 148281295 edges, 46591 markings/sec, 2700 secs
lola: 1699 tries, 1698777242 fired transitions, 2705 secs || 123546583 markings, 148565868 edges, 47173 markings/sec, 2705 secs
lola: 1703 tries, 1702055896 fired transitions, 2710 secs || 123780549 markings, 148847054 edges, 46793 markings/sec, 2710 secs
lola: 1706 tries, 1705334295 fired transitions, 2715 secs || 124013006 markings, 149127624 edges, 46491 markings/sec, 2715 secs
lola: 1709 tries, 1708606744 fired transitions, 2720 secs || 124243023 markings, 149403292 edges, 46003 markings/sec, 2720 secs
lola: 1712 tries, 1711888834 fired transitions, 2725 secs || 124474883 markings, 149684938 edges, 46372 markings/sec, 2725 secs
lola: 1716 tries, 1715172107 fired transitions, 2730 secs || 124705481 markings, 149964058 edges, 46120 markings/sec, 2730 secs
lola: 1719 tries, 1718452832 fired transitions, 2735 secs || 124938249 markings, 150246145 edges, 46554 markings/sec, 2735 secs
lola: 1722 tries, 1721724265 fired transitions, 2740 secs || 125174789 markings, 150531955 edges, 47308 markings/sec, 2740 secs
lola: 1726 tries, 1725000089 fired transitions, 2745 secs || 125409752 markings, 150816166 edges, 46993 markings/sec, 2745 secs
lola: 1729 tries, 1728273773 fired transitions, 2750 secs || 125644477 markings, 151100359 edges, 46945 markings/sec, 2750 secs
lola: 1732 tries, 1731549970 fired transitions, 2755 secs || 125881369 markings, 151386490 edges, 47378 markings/sec, 2755 secs
lola: 1735 tries, 1734827925 fired transitions, 2760 secs || 126117563 markings, 151671909 edges, 47239 markings/sec, 2760 secs
lola: 1739 tries, 1738095481 fired transitions, 2765 secs || 126352070 markings, 151955423 edges, 46901 markings/sec, 2765 secs
lola: 1742 tries, 1741372208 fired transitions, 2770 secs || 126589160 markings, 152241194 edges, 47418 markings/sec, 2770 secs
lola: 1745 tries, 1744626832 fired transitions, 2775 secs || 126822222 markings, 152518593 edges, 46612 markings/sec, 2775 secs
lola: 1748 tries, 1747888489 fired transitions, 2780 secs || 127056712 markings, 152804584 edges, 46898 markings/sec, 2780 secs
lola: 1751 tries, 1750959959 fired transitions, 2785 secs || 127282654 markings, 153076643 edges, 45188 markings/sec, 2785 secs
lola: 1755 tries, 1754119798 fired transitions, 2790 secs || 127508737 markings, 153349580 edges, 45217 markings/sec, 2790 secs
lola: 1758 tries, 1757397172 fired transitions, 2795 secs || 127743500 markings, 153632361 edges, 46953 markings/sec, 2795 secs
lola: 1761 tries, 1760668181 fired transitions, 2800 secs || 127978212 markings, 153916436 edges, 46942 markings/sec, 2800 secs
lola: 1764 tries, 1763956390 fired transitions, 2805 secs || 128210131 markings, 154197712 edges, 46384 markings/sec, 2805 secs
lola: 1768 tries, 1767252205 fired transitions, 2810 secs || 128449445 markings, 154488552 edges, 47863 markings/sec, 2810 secs
lola: 1771 tries, 1770544113 fired transitions, 2815 secs || 128685050 markings, 154772750 edges, 47121 markings/sec, 2815 secs
lola: 1774 tries, 1773209862 fired transitions, 2820 secs || 128860258 markings, 154981945 edges, 35042 markings/sec, 2820 secs
lola: 1776 tries, 1775838771 fired transitions, 2825 secs || 129033635 markings, 155188359 edges, 34675 markings/sec, 2825 secs
lola: 1778 tries, 1777911655 fired transitions, 2830 secs || 129181954 markings, 155368537 edges, 29664 markings/sec, 2830 secs
lola: 1780 tries, 1779679952 fired transitions, 2835 secs || 129314971 markings, 155531868 edges, 26603 markings/sec, 2835 secs
lola: 1782 tries, 1781452860 fired transitions, 2840 secs || 129442433 markings, 155688548 edges, 25492 markings/sec, 2840 secs
lola: 1784 tries, 1783267294 fired transitions, 2845 secs || 129579409 markings, 155857067 edges, 27395 markings/sec, 2845 secs
lola: 1786 tries, 1785043086 fired transitions, 2850 secs || 129711129 markings, 156018807 edges, 26344 markings/sec, 2850 secs
lola: 1787 tries, 1786816501 fired transitions, 2855 secs || 129839048 markings, 156174971 edges, 25584 markings/sec, 2855 secs
lola: 1789 tries, 1788633863 fired transitions, 2860 secs || 129969732 markings, 156332460 edges, 26137 markings/sec, 2860 secs
lola: 1792 tries, 1791477054 fired transitions, 2865 secs || 130171868 markings, 156576881 edges, 40427 markings/sec, 2865 secs
lola: 1795 tries, 1794727663 fired transitions, 2870 secs || 130406139 markings, 156857316 edges, 46854 markings/sec, 2870 secs
lola: 1798 tries, 1797999843 fired transitions, 2875 secs || 130640487 markings, 157139776 edges, 46870 markings/sec, 2875 secs
lola: 1802 tries, 1801272837 fired transitions, 2880 secs || 130874813 markings, 157423871 edges, 46865 markings/sec, 2880 secs
lola: 1805 tries, 1804544892 fired transitions, 2885 secs || 131111159 markings, 157709465 edges, 47269 markings/sec, 2885 secs
lola: 1808 tries, 1807292301 fired transitions, 2890 secs || 131303831 markings, 157943325 edges, 38534 markings/sec, 2890 secs
lola: 1811 tries, 1810566956 fired transitions, 2895 secs || 131538653 markings, 158226604 edges, 46964 markings/sec, 2895 secs
lola: 1814 tries, 1813846652 fired transitions, 2900 secs || 131778117 markings, 158516933 edges, 47893 markings/sec, 2900 secs
lola: 1818 tries, 1817105436 fired transitions, 2905 secs || 132012490 markings, 158796784 edges, 46875 markings/sec, 2905 secs
lola: 1821 tries, 1820378926 fired transitions, 2910 secs || 132248360 markings, 159081969 edges, 47174 markings/sec, 2910 secs
lola: 1824 tries, 1823659674 fired transitions, 2915 secs || 132485112 markings, 159368558 edges, 47350 markings/sec, 2915 secs
lola: 1827 tries, 1826917031 fired transitions, 2920 secs || 132716474 markings, 159647067 edges, 46272 markings/sec, 2920 secs
lola: 1831 tries, 1830189042 fired transitions, 2925 secs || 132950785 markings, 159928880 edges, 46862 markings/sec, 2925 secs
lola: 1834 tries, 1833476773 fired transitions, 2930 secs || 133186601 markings, 160216775 edges, 47163 markings/sec, 2930 secs
lola: 1837 tries, 1836749777 fired transitions, 2935 secs || 133420841 markings, 160499506 edges, 46848 markings/sec, 2935 secs
lola: 1841 tries, 1840032615 fired transitions, 2940 secs || 133656813 markings, 160784736 edges, 47194 markings/sec, 2940 secs
lola: 1844 tries, 1843316294 fired transitions, 2945 secs || 133891949 markings, 161069412 edges, 47027 markings/sec, 2945 secs
lola: 1847 tries, 1846600253 fired transitions, 2950 secs || 134127673 markings, 161355367 edges, 47145 markings/sec, 2950 secs
lola: 1850 tries, 1849884291 fired transitions, 2955 secs || 134361655 markings, 161638361 edges, 46796 markings/sec, 2955 secs
lola: 1854 tries, 1853156388 fired transitions, 2960 secs || 134598653 markings, 161919980 edges, 47400 markings/sec, 2960 secs
lola: 1857 tries, 1856437980 fired transitions, 2965 secs || 134832987 markings, 162201131 edges, 46867 markings/sec, 2965 secs
lola: 1860 tries, 1859682927 fired transitions, 2970 secs || 135063002 markings, 162479691 edges, 46003 markings/sec, 2970 secs
lola: 1863 tries, 1862943364 fired transitions, 2975 secs || 135298842 markings, 162759428 edges, 47168 markings/sec, 2975 secs
lola: 1867 tries, 1866214495 fired transitions, 2980 secs || 135534173 markings, 163040588 edges, 47066 markings/sec, 2980 secs
lola: 1870 tries, 1869496221 fired transitions, 2985 secs || 135765715 markings, 163319782 edges, 46308 markings/sec, 2985 secs
lola: 1873 tries, 1872756209 fired transitions, 2990 secs || 135996733 markings, 163597136 edges, 46204 markings/sec, 2990 secs
lola: 1877 tries, 1876035524 fired transitions, 2995 secs || 136231379 markings, 163880650 edges, 46929 markings/sec, 2995 secs
lola: 1880 tries, 1879299763 fired transitions, 3000 secs || 136464760 markings, 164159341 edges, 46676 markings/sec, 3000 secs
lola: 1883 tries, 1882559537 fired transitions, 3005 secs || 136696748 markings, 164438387 edges, 46398 markings/sec, 3005 secs
lola: 1886 tries, 1885552544 fired transitions, 3010 secs || 136908552 markings, 164691244 edges, 42361 markings/sec, 3010 secs
lola: 1889 tries, 1888268977 fired transitions, 3015 secs || 137105145 markings, 164923663 edges, 39319 markings/sec, 3015 secs
lola: 1892 tries, 1891438156 fired transitions, 3020 secs || 137334384 markings, 165192549 edges, 45848 markings/sec, 3020 secs
lola: 1895 tries, 1894699407 fired transitions, 3025 secs || 137571222 markings, 165472296 edges, 47368 markings/sec, 3025 secs
lola: 1898 tries, 1897987058 fired transitions, 3030 secs || 137806798 markings, 165755598 edges, 47115 markings/sec, 3030 secs
lola: 1902 tries, 1901220171 fired transitions, 3035 secs || 138037787 markings, 166033193 edges, 46198 markings/sec, 3035 secs
lola: 1905 tries, 1904489771 fired transitions, 3040 secs || 138272843 markings, 166314670 edges, 47011 markings/sec, 3040 secs
lola: 1908 tries, 1907772059 fired transitions, 3045 secs || 138512354 markings, 166602636 edges, 47902 markings/sec, 3045 secs
lola: 1912 tries, 1911063897 fired transitions, 3050 secs || 138753882 markings, 166896313 edges, 48306 markings/sec, 3050 secs
lola: 1915 tries, 1914352603 fired transitions, 3055 secs || 138994676 markings, 167188129 edges, 48159 markings/sec, 3055 secs
lola: 1918 tries, 1917648354 fired transitions, 3060 secs || 139237476 markings, 167484758 edges, 48560 markings/sec, 3060 secs
lola: 1921 tries, 1920946877 fired transitions, 3065 secs || 139480153 markings, 167780782 edges, 48535 markings/sec, 3065 secs
lola: 1925 tries, 1924240220 fired transitions, 3070 secs || 139719601 markings, 168072577 edges, 47890 markings/sec, 3070 secs
lola: 1928 tries, 1927517054 fired transitions, 3075 secs || 139951122 markings, 168351576 edges, 46304 markings/sec, 3075 secs
lola: 1931 tries, 1930799932 fired transitions, 3080 secs || 140184986 markings, 168634527 edges, 46773 markings/sec, 3080 secs
lola: 1934 tries, 1933958246 fired transitions, 3085 secs || 140408553 markings, 168905388 edges, 44713 markings/sec, 3085 secs
lola: 1938 tries, 1937135236 fired transitions, 3090 secs || 140628857 markings, 169170248 edges, 44061 markings/sec, 3090 secs
lola: 1941 tries, 1940427050 fired transitions, 3095 secs || 140865309 markings, 169457197 edges, 47290 markings/sec, 3095 secs
lola: 1944 tries, 1943719193 fired transitions, 3100 secs || 141099805 markings, 169742906 edges, 46899 markings/sec, 3100 secs
lola: 1948 tries, 1947001986 fired transitions, 3105 secs || 141333368 markings, 170024971 edges, 46713 markings/sec, 3105 secs
lola: 1951 tries, 1950276121 fired transitions, 3110 secs || 141568102 markings, 170307849 edges, 46947 markings/sec, 3110 secs
lola: 1954 tries, 1953555083 fired transitions, 3115 secs || 141797183 markings, 170584252 edges, 45816 markings/sec, 3115 secs
lola: 1957 tries, 1956838616 fired transitions, 3120 secs || 142032508 markings, 170870154 edges, 47065 markings/sec, 3120 secs
lola: 1961 tries, 1960106168 fired transitions, 3125 secs || 142268986 markings, 171153572 edges, 47296 markings/sec, 3125 secs
lola: 1964 tries, 1963380432 fired transitions, 3130 secs || 142499045 markings, 171430176 edges, 46012 markings/sec, 3130 secs
lola: 1967 tries, 1966636109 fired transitions, 3135 secs || 142729387 markings, 171708329 edges, 46068 markings/sec, 3135 secs
lola: 1970 tries, 1969192237 fired transitions, 3140 secs || 142904481 markings, 171918819 edges, 35019 markings/sec, 3140 secs
lola: 1972 tries, 1971760038 fired transitions, 3145 secs || 143085573 markings, 172138863 edges, 36218 markings/sec, 3145 secs
lola: 1975 tries, 1974319132 fired transitions, 3150 secs || 143265467 markings, 172356838 edges, 35979 markings/sec, 3150 secs
lola: 1977 tries, 1976899794 fired transitions, 3155 secs || 143447665 markings, 172578457 edges, 36440 markings/sec, 3155 secs
lola: 1980 tries, 1979556093 fired transitions, 3160 secs || 143625963 markings, 172794009 edges, 35660 markings/sec, 3160 secs
lola: 1983 tries, 1982126871 fired transitions, 3165 secs || 143802594 markings, 173007022 edges, 35326 markings/sec, 3165 secs
lola: 1985 tries, 1984661317 fired transitions, 3170 secs || 143977114 markings, 173215743 edges, 34904 markings/sec, 3170 secs
lola: 1988 tries, 1987233762 fired transitions, 3175 secs || 144156757 markings, 173433290 edges, 35929 markings/sec, 3175 secs
lola: 1990 tries, 1989742785 fired transitions, 3180 secs || 144332307 markings, 173640593 edges, 35110 markings/sec, 3180 secs
lola: 1993 tries, 1992238813 fired transitions, 3185 secs || 144506080 markings, 173846365 edges, 34755 markings/sec, 3185 secs
lola: 1995 tries, 1994791261 fired transitions, 3190 secs || 144686013 markings, 174063547 edges, 35987 markings/sec, 3190 secs
lola: 1998 tries, 1997331692 fired transitions, 3195 secs || 144864858 markings, 174278630 edges, 35769 markings/sec, 3195 secs
lola: 2000 tries, 1999910805 fired transitions, 3200 secs || 145047130 markings, 174499724 edges, 36454 markings/sec, 3200 secs
lola: 2003 tries, 2002433394 fired transitions, 3205 secs || 145222619 markings, 174711072 edges, 35098 markings/sec, 3205 secs
lola: 2006 tries, 2005309415 fired transitions, 3210 secs || 145425393 markings, 174956754 edges, 40555 markings/sec, 3210 secs
lola: 2009 tries, 2008102026 fired transitions, 3215 secs || 145617747 markings, 175189044 edges, 38471 markings/sec, 3215 secs
lola: 2011 tries, 2010787594 fired transitions, 3220 secs || 145801003 markings, 175410210 edges, 36651 markings/sec, 3220 secs
lola: 2014 tries, 2013494054 fired transitions, 3225 secs || 145986082 markings, 175634634 edges, 37016 markings/sec, 3225 secs
lola: 2017 tries, 2016449211 fired transitions, 3230 secs || 146191628 markings, 175884365 edges, 41109 markings/sec, 3230 secs
lola: 2020 tries, 2019715707 fired transitions, 3235 secs || 146424678 markings, 176165412 edges, 46610 markings/sec, 3235 secs
lola: 2023 tries, 2022969063 fired transitions, 3240 secs || 146658693 markings, 176449283 edges, 46803 markings/sec, 3240 secs
lola: 2027 tries, 2026243290 fired transitions, 3245 secs || 146891501 markings, 176731362 edges, 46562 markings/sec, 3245 secs
lola: 2030 tries, 2029521952 fired transitions, 3250 secs || 147124944 markings, 177012618 edges, 46689 markings/sec, 3250 secs
lola: 2033 tries, 2032799055 fired transitions, 3255 secs || 147357119 markings, 177292943 edges, 46435 markings/sec, 3255 secs
lola: 2037 tries, 2036067744 fired transitions, 3260 secs || 147588935 markings, 177571108 edges, 46363 markings/sec, 3260 secs
lola: 2040 tries, 2039341617 fired transitions, 3265 secs || 147822080 markings, 177853388 edges, 46629 markings/sec, 3265 secs
lola: 2043 tries, 2042165872 fired transitions, 3270 secs || 148017091 markings, 178088148 edges, 39002 markings/sec, 3270 secs
lola: 2045 tries, 2044748703 fired transitions, 3275 secs || 148194748 markings, 178301891 edges, 35531 markings/sec, 3275 secs
lola: 2048 tries, 2047326360 fired transitions, 3280 secs || 148368367 markings, 178511997 edges, 34724 markings/sec, 3280 secs
lola: 2050 tries, 2049925625 fired transitions, 3285 secs || 148549242 markings, 178731701 edges, 36175 markings/sec, 3285 secs
lola: 2053 tries, 2052946847 fired transitions, 3290 secs || 148762328 markings, 178989831 edges, 42617 markings/sec, 3290 secs
lola: 2057 tries, 2056223727 fired transitions, 3295 secs || 148996963 markings, 179273313 edges, 46927 markings/sec, 3295 secs
lola: 2060 tries, 2059508430 fired transitions, 3300 secs || 149227845 markings, 179549140 edges, 46176 markings/sec, 3300 secs
lola: 2063 tries, 2062782272 fired transitions, 3305 secs || 149459932 markings, 179826920 edges, 46417 markings/sec, 3305 secs
lola: 2067 tries, 2066075992 fired transitions, 3310 secs || 149694834 markings, 180111872 edges, 46980 markings/sec, 3310 secs
lola: 2070 tries, 2069363511 fired transitions, 3315 secs || 149928656 markings, 180393486 edges, 46764 markings/sec, 3315 secs
lola: 2073 tries, 2072615873 fired transitions, 3320 secs || 150164110 markings, 180671692 edges, 47091 markings/sec, 3320 secs
lola: 2076 tries, 2075865981 fired transitions, 3325 secs || 150399560 markings, 180951758 edges, 47090 markings/sec, 3325 secs
lola: 2080 tries, 2079152137 fired transitions, 3330 secs || 150635588 markings, 181238263 edges, 47206 markings/sec, 3330 secs
lola: 2083 tries, 2082431636 fired transitions, 3335 secs || 150868496 markings, 181520470 edges, 46582 markings/sec, 3335 secs
lola: 2086 tries, 2085711140 fired transitions, 3340 secs || 151102622 markings, 181803776 edges, 46825 markings/sec, 3340 secs
lola: 2089 tries, 2088993055 fired transitions, 3345 secs || 151337187 markings, 182088208 edges, 46913 markings/sec, 3345 secs
lola: 2093 tries, 2092279365 fired transitions, 3350 secs || 151570909 markings, 182370760 edges, 46744 markings/sec, 3350 secs
lola: 2096 tries, 2095533607 fired transitions, 3355 secs || 151803521 markings, 182651618 edges, 46522 markings/sec, 3355 secs
lola: 2099 tries, 2098806521 fired transitions, 3360 secs || 152040893 markings, 182938030 edges, 47474 markings/sec, 3360 secs
lola: 2103 tries, 2102078959 fired transitions, 3365 secs || 152276663 markings, 183221991 edges, 47154 markings/sec, 3365 secs
lola: 2106 tries, 2105353847 fired transitions, 3370 secs || 152510688 markings, 183504411 edges, 46805 markings/sec, 3370 secs
lola: 2109 tries, 2108532713 fired transitions, 3375 secs || 152739964 markings, 183783258 edges, 45855 markings/sec, 3375 secs
lola: 2112 tries, 2111723764 fired transitions, 3380 secs || 152970170 markings, 184061631 edges, 46041 markings/sec, 3380 secs
lola: 2116 tries, 2115003678 fired transitions, 3385 secs || 153206520 markings, 184347712 edges, 47270 markings/sec, 3385 secs
lola: 2119 tries, 2118281232 fired transitions, 3390 secs || 153439577 markings, 184629800 edges, 46611 markings/sec, 3390 secs
lola: 2122 tries, 2121544052 fired transitions, 3395 secs || 153677335 markings, 184913887 edges, 47552 markings/sec, 3395 secs
lola: 2125 tries, 2124780049 fired transitions, 3400 secs || 153907390 markings, 185188880 edges, 46011 markings/sec, 3400 secs
lola: 2129 tries, 2128023827 fired transitions, 3405 secs || 154135092 markings, 185462099 edges, 45540 markings/sec, 3405 secs
lola: 2132 tries, 2131268461 fired transitions, 3410 secs || 154363737 markings, 185737483 edges, 45729 markings/sec, 3410 secs
lola: 2135 tries, 2134537463 fired transitions, 3415 secs || 154600925 markings, 186024902 edges, 47438 markings/sec, 3415 secs
lola: 2138 tries, 2137785176 fired transitions, 3420 secs || 154835464 markings, 186309845 edges, 46908 markings/sec, 3420 secs
lola: 2141 tries, 2140515994 fired transitions, 3425 secs || 155035339 markings, 186552484 edges, 39975 markings/sec, 3425 secs
lola: 2144 tries, 2143214691 fired transitions, 3430 secs || 155234415 markings, 186792588 edges, 39815 markings/sec, 3430 secs
lola: 2147 tries, 2146122261 fired transitions, 3435 secs || 155445797 markings, 187047193 edges, 42276 markings/sec, 3435 secs
lola: 2149 tries, 2148806323 fired transitions, 3440 secs || 155642794 markings, 187283604 edges, 39399 markings/sec, 3440 secs
lola: 2152 tries, 2151516106 fired transitions, 3445 secs || 155840106 markings, 187521775 edges, 39462 markings/sec, 3445 secs
lola: 2155 tries, 2154219675 fired transitions, 3450 secs || 156037326 markings, 187759251 edges, 39444 markings/sec, 3450 secs
lola: 2157 tries, 2156710409 fired transitions, 3455 secs || 156219429 markings, 187980915 edges, 36421 markings/sec, 3455 secs
lola: 2159 tries, 2158473149 fired transitions, 3460 secs || 156359664 markings, 188149631 edges, 28047 markings/sec, 3460 secs
lola: 2161 tries, 2160241549 fired transitions, 3465 secs || 156504987 markings, 188327378 edges, 29065 markings/sec, 3465 secs
lola: 2163 tries, 2162010703 fired transitions, 3470 secs || 156645792 markings, 188498664 edges, 28161 markings/sec, 3470 secs
lola: 2164 tries, 2163760100 fired transitions, 3475 secs || 156787300 markings, 188671717 edges, 28302 markings/sec, 3475 secs
lola: 2166 tries, 2165526339 fired transitions, 3480 secs || 156929917 markings, 188847227 edges, 28523 markings/sec, 3480 secs
lola: 2168 tries, 2167292962 fired transitions, 3485 secs || 157073177 markings, 189023135 edges, 28652 markings/sec, 3485 secs
lola: 2170 tries, 2169060058 fired transitions, 3490 secs || 157212236 markings, 189191526 edges, 27812 markings/sec, 3490 secs
lola: 2171 tries, 2170833347 fired transitions, 3495 secs || 157352947 markings, 189363330 edges, 28142 markings/sec, 3495 secs
lola: 2173 tries, 2172602655 fired transitions, 3500 secs || 157492152 markings, 189532848 edges, 27841 markings/sec, 3500 secs
lola: 2175 tries, 2174370884 fired transitions, 3505 secs || 157631067 markings, 189702239 edges, 27783 markings/sec, 3505 secs
lola: 2177 tries, 2176132157 fired transitions, 3510 secs || 157771216 markings, 189874069 edges, 28030 markings/sec, 3510 secs
lola: 2178 tries, 2177894771 fired transitions, 3515 secs || 157913009 markings, 190047633 edges, 28359 markings/sec, 3515 secs
lola: 2180 tries, 2179662756 fired transitions, 3520 secs || 158055044 markings, 190222609 edges, 28407 markings/sec, 3520 secs
lola: 2182 tries, 2181432284 fired transitions, 3525 secs || 158195323 markings, 190393298 edges, 28056 markings/sec, 3525 secs
lola: 2184 tries, 2183205410 fired transitions, 3530 secs || 158336600 markings, 190566405 edges, 28255 markings/sec, 3530 secs
lola: 2185 tries, 2184966603 fired transitions, 3535 secs || 158475440 markings, 190735343 edges, 27768 markings/sec, 3535 secs
lola: 2187 tries, 2186727579 fired transitions, 3540 secs || 158615780 markings, 190907553 edges, 28068 markings/sec, 3540 secs
lola: 2189 tries, 2188494747 fired transitions, 3545 secs || 158756664 markings, 191080084 edges, 28177 markings/sec, 3545 secs
lola: 2191 tries, 2190257370 fired transitions, 3550 secs || 158898099 markings, 191253019 edges, 28287 markings/sec, 3550 secs
lola: 2193 tries, 2192027307 fired transitions, 3555 secs || 159038474 markings, 191424309 edges, 28075 markings/sec, 3555 secs
lola: 2194 tries, 2193794001 fired transitions, 3560 secs || 159176210 markings, 191591345 edges, 27547 markings/sec, 3560 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552457147543

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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