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

About the Execution of LoLA for BART-COL-050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
11013.330 3570480.00 7580632.00 137.70 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.6K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_pt

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 213K 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 BART-COL-050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552512934948

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-COL-050 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ BART-COL-050
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 High-Level net
lola: Places: 22673, Transitions: 15350
lola: @ trans TrainDecc
lola: @ trans MissStation
lola: @ trans TooEarly
lola: @ trans TrainStop
lola: @ trans TrainAcc
lola: @ trans TrainStable
lola: @ trans AtStation
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 38023/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 725536
lola: finding significant places
lola: 22673 places, 15350 transitions, 9850 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: 1 tries, 389935 fired transitions, 0 secs
lola: 0 generators;256885457 candidates remain ( 0%), 0 secs
lola: 1 tries, 791466 fired transitions, 5 secs
lola: 260 generators;256228537 candidates remain ( 0%), 5 secs
lola: 2 tries, 1182994 fired transitions, 10 secs
lola: 298 generators;255165690 candidates remain ( 0%), 10 secs
lola: 2 tries, 1570317 fired transitions, 15 secs
lola: 299 generators;255165689 candidates remain ( 0%), 15 secs
lola: 2 tries, 1959140 fired transitions, 20 secs
lola: 547 generators;255142900 candidates remain ( 0%), 20 secs
lola: 3 tries, 2351781 fired transitions, 25 secs
lola: 594 generators;255120511 candidates remain ( 0%), 25 secs
lola: 3 tries, 2735127 fired transitions, 30 secs
lola: 611 generators;255120494 candidates remain ( 0%), 30 secs
lola: 4 tries, 3123082 fired transitions, 35 secs
lola: 660 generators;255075516 candidates remain ( 0%), 35 secs
lola: 4 tries, 3513464 fired transitions, 40 secs
lola: 939 generators;254014872 candidates remain ( 0%), 40 secs
lola: 4 tries, 3902790 fired transitions, 45 secs
lola: 1185 generators;253992136 candidates remain ( 0%), 45 secs
lola: 5 tries, 4291889 fired transitions, 50 secs
lola: 1217 generators;253992104 candidates remain ( 0%), 50 secs
lola: 5 tries, 4677283 fired transitions, 55 secs
lola: 1266 generators;253001574 candidates remain ( 0%), 55 secs
lola: 6 tries, 5058956 fired transitions, 60 secs
lola: 1281 generators;252979309 candidates remain ( 0%), 60 secs
lola: 6 tries, 5439605 fired transitions, 65 secs
lola: 1439 generators;251900858 candidates remain ( 0%), 65 secs
lola: 6 tries, 5818388 fired transitions, 70 secs
lola: 1575 generators;251878323 candidates remain ( 0%), 70 secs
lola: 7 tries, 6206140 fired transitions, 75 secs
lola: 2062 generators;251272295 candidates remain ( 0%), 75 secs
lola: 7 tries, 6590769 fired transitions, 80 secs
lola: 2108 generators;250846545 candidates remain ( 0%), 80 secs
lola: 7 tries, 6973370 fired transitions, 85 secs
lola: 2120 generators;250846533 candidates remain ( 0%), 85 secs
lola: 8 tries, 7368789 fired transitions, 90 secs
lola: 2159 generators;250846494 candidates remain ( 0%), 90 secs
lola: 8 tries, 7762996 fired transitions, 95 secs
lola: 2195 generators;250824108 candidates remain ( 0%), 95 secs
lola: 9 tries, 8146627 fired transitions, 100 secs
lola: 2204 generators;250801751 candidates remain ( 0%), 100 secs
lola: 9 tries, 8528125 fired transitions, 105 secs
lola: 2252 generators;250779356 candidates remain ( 0%), 105 secs
lola: 9 tries, 8904540 fired transitions, 110 secs
lola: 2300 generators;250756962 candidates remain ( 0%), 110 secs
lola: 10 tries, 9286550 fired transitions, 115 secs
lola: 2330 generators;250756932 candidates remain ( 0%), 115 secs
lola: 10 tries, 9686464 fired transitions, 120 secs
lola: 2378 generators;250756884 candidates remain ( 0%), 120 secs
lola: 11 tries, 10071571 fired transitions, 125 secs
lola: 2398 generators;250197604 candidates remain ( 0%), 125 secs
lola: 11 tries, 10464978 fired transitions, 130 secs
lola: 2398 generators;250197604 candidates remain ( 0%), 130 secs
lola: 11 tries, 10857621 fired transitions, 135 secs
lola: 2689 generators;250152672 candidates remain ( 0%), 135 secs
lola: 12 tries, 11250428 fired transitions, 140 secs
lola: 2689 generators;250152672 candidates remain ( 0%), 140 secs
lola: 12 tries, 11641888 fired transitions, 145 secs
lola: 2771 generators;250152590 candidates remain ( 0%), 145 secs
lola: 13 tries, 12017080 fired transitions, 150 secs
lola: 2771 generators;250152590 candidates remain ( 0%), 150 secs
lola: 13 tries, 12396914 fired transitions, 155 secs
lola: 2785 generators;250107937 candidates remain ( 0%), 155 secs
lola: 13 tries, 12777073 fired transitions, 160 secs
lola: 2801 generators;250107921 candidates remain ( 0%), 160 secs
lola: 14 tries, 13155244 fired transitions, 165 secs
lola: 2829 generators;250107893 candidates remain ( 0%), 165 secs
lola: 14 tries, 13534019 fired transitions, 170 secs
lola: 2880 generators;249817264 candidates remain ( 0%), 170 secs
lola: 14 tries, 13916823 fired transitions, 175 secs
lola: 2880 generators;249817264 candidates remain ( 0%), 175 secs
lola: 15 tries, 14308189 fired transitions, 180 secs
lola: 2953 generators;249817191 candidates remain ( 0%), 180 secs
lola: 15 tries, 14700603 fired transitions, 185 secs
lola: 2966 generators;249817178 candidates remain ( 0%), 185 secs
lola: 16 tries, 15083868 fired transitions, 190 secs
lola: 2971 generators;249348038 candidates remain ( 0%), 190 secs
lola: 16 tries, 15471538 fired transitions, 195 secs
lola: 2972 generators;249325753 candidates remain ( 0%), 195 secs
lola: 16 tries, 15861567 fired transitions, 200 secs
lola: 3029 generators;248054723 candidates remain ( 0%), 200 secs
lola: 17 tries, 16258198 fired transitions, 205 secs
lola: 3062 generators;248054690 candidates remain ( 0%), 205 secs
lola: 17 tries, 16651448 fired transitions, 210 secs
lola: 3109 generators;247765412 candidates remain ( 0%), 210 secs
lola: 18 tries, 17037112 fired transitions, 215 secs
lola: 3110 generators;247743197 candidates remain ( 0%), 215 secs
lola: 18 tries, 17424792 fired transitions, 220 secs
lola: 3351 generators;247720743 candidates remain ( 0%), 220 secs
lola: 18 tries, 17816530 fired transitions, 225 secs
lola: 3591 generators;247186826 candidates remain ( 0%), 225 secs
lola: 19 tries, 18204039 fired transitions, 230 secs
lola: 3615 generators;247186802 candidates remain ( 0%), 230 secs
lola: 19 tries, 18597626 fired transitions, 235 secs
lola: 3623 generators;247186794 candidates remain ( 0%), 235 secs
lola: 19 tries, 18985270 fired transitions, 240 secs
lola: 3645 generators;246165281 candidates remain ( 0%), 240 secs
lola: 20 tries, 19378834 fired transitions, 245 secs
lola: 3683 generators;246054360 candidates remain ( 0%), 245 secs
lola: 20 tries, 19765387 fired transitions, 250 secs
lola: 3922 generators;246031985 candidates remain ( 0%), 250 secs
lola: 21 tries, 20154193 fired transitions, 255 secs
lola: 4160 generators;245788037 candidates remain ( 0%), 255 secs
lola: 21 tries, 20542652 fired transitions, 260 secs
lola: 4207 generators;245344807 candidates remain ( 0%), 260 secs
lola: 21 tries, 20938655 fired transitions, 265 secs
lola: 4491 generators;244481654 candidates remain ( 0%), 265 secs
lola: 22 tries, 21332968 fired transitions, 270 secs
lola: 4491 generators;244481654 candidates remain ( 0%), 270 secs
lola: 22 tries, 21722194 fired transitions, 275 secs
lola: 4774 generators;244172175 candidates remain ( 0%), 275 secs
lola: 23 tries, 22107855 fired transitions, 280 secs
lola: 4774 generators;244172175 candidates remain ( 0%), 280 secs
lola: 23 tries, 22492873 fired transitions, 285 secs
lola: 5052 generators;244127794 candidates remain ( 0%), 285 secs
lola: 23 tries, 22878939 fired transitions, 290 secs
lola: 5052 generators;244127794 candidates remain ( 0%), 290 secs
lola: 24 tries, 23270321 fired transitions, 295 secs
lola: 5104 generators;244127742 candidates remain ( 0%), 295 secs
lola: 24 tries, 23656658 fired transitions, 300 secs
lola: 5135 generators;243796422 candidates remain ( 0%), 300 secs
lola: 25 tries, 24042013 fired transitions, 305 secs
lola: 5144 generators;243774378 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 5144 generators (68 in search tree, 5076 by composition)
lola: representing 4.63698E+89 symmetries
lola: 2 dead branches visited in search tree
lola: 25 tries, 24428535 fired transitions, 310 secs || 665 markings, 688 edges, 133 markings/sec, 310 secs
lola: 25 tries, 24829492 fired transitions, 315 secs || 25218 markings, 35692 edges, 4911 markings/sec, 315 secs
lola: 26 tries, 25224693 fired transitions, 320 secs || 47661 markings, 70451 edges, 4489 markings/sec, 320 secs
lola: 26 tries, 25616735 fired transitions, 325 secs || 69612 markings, 104476 edges, 4390 markings/sec, 325 secs
lola: 27 tries, 26009599 fired transitions, 330 secs || 92133 markings, 139016 edges, 4504 markings/sec, 330 secs
lola: 27 tries, 26396920 fired transitions, 335 secs || 112425 markings, 170688 edges, 4058 markings/sec, 335 secs
lola: 27 tries, 26797033 fired transitions, 340 secs || 135244 markings, 205705 edges, 4564 markings/sec, 340 secs
lola: 28 tries, 27188806 fired transitions, 345 secs || 157727 markings, 240298 edges, 4497 markings/sec, 345 secs
lola: 28 tries, 27596001 fired transitions, 350 secs || 181142 markings, 275911 edges, 4683 markings/sec, 350 secs
lola: 28 tries, 27995879 fired transitions, 355 secs || 203979 markings, 311285 edges, 4567 markings/sec, 355 secs
lola: 29 tries, 28396426 fired transitions, 360 secs || 224924 markings, 343615 edges, 4189 markings/sec, 360 secs
lola: 29 tries, 28789849 fired transitions, 365 secs || 245718 markings, 375722 edges, 4159 markings/sec, 365 secs
lola: 30 tries, 29188341 fired transitions, 370 secs || 267717 markings, 409571 edges, 4400 markings/sec, 370 secs
lola: 30 tries, 29587886 fired transitions, 375 secs || 289196 markings, 442549 edges, 4296 markings/sec, 375 secs
lola: 30 tries, 29991939 fired transitions, 380 secs || 311913 markings, 477170 edges, 4543 markings/sec, 380 secs
lola: 31 tries, 30392266 fired transitions, 385 secs || 335010 markings, 512346 edges, 4619 markings/sec, 385 secs
lola: 31 tries, 30783177 fired transitions, 390 secs || 356011 markings, 545266 edges, 4200 markings/sec, 390 secs
lola: 32 tries, 31160662 fired transitions, 395 secs || 377493 markings, 577391 edges, 4296 markings/sec, 395 secs
lola: 32 tries, 31538819 fired transitions, 400 secs || 399362 markings, 610822 edges, 4374 markings/sec, 400 secs
lola: 32 tries, 31914931 fired transitions, 405 secs || 420009 markings, 643608 edges, 4129 markings/sec, 405 secs
lola: 33 tries, 32299297 fired transitions, 410 secs || 442033 markings, 677530 edges, 4405 markings/sec, 410 secs
lola: 33 tries, 32694807 fired transitions, 415 secs || 463151 markings, 710059 edges, 4224 markings/sec, 415 secs
lola: 34 tries, 33091344 fired transitions, 420 secs || 484263 markings, 742650 edges, 4222 markings/sec, 420 secs
lola: 34 tries, 33489722 fired transitions, 425 secs || 505746 markings, 775773 edges, 4297 markings/sec, 425 secs
lola: 34 tries, 33885563 fired transitions, 430 secs || 527245 markings, 808954 edges, 4300 markings/sec, 430 secs
lola: 35 tries, 34285016 fired transitions, 435 secs || 548890 markings, 842353 edges, 4329 markings/sec, 435 secs
lola: 35 tries, 34684403 fired transitions, 440 secs || 570572 markings, 875874 edges, 4336 markings/sec, 440 secs
lola: 36 tries, 35094909 fired transitions, 445 secs || 592950 markings, 910273 edges, 4476 markings/sec, 445 secs
lola: 36 tries, 35495862 fired transitions, 450 secs || 615519 markings, 944051 edges, 4514 markings/sec, 450 secs
lola: 36 tries, 35890454 fired transitions, 455 secs || 637628 markings, 978143 edges, 4422 markings/sec, 455 secs
lola: 37 tries, 36280957 fired transitions, 460 secs || 658518 markings, 1010979 edges, 4178 markings/sec, 460 secs
lola: 37 tries, 36685052 fired transitions, 465 secs || 681626 markings, 1045914 edges, 4622 markings/sec, 465 secs
lola: 38 tries, 37089788 fired transitions, 470 secs || 703676 markings, 1080451 edges, 4410 markings/sec, 470 secs
lola: 38 tries, 37482089 fired transitions, 475 secs || 725121 markings, 1112835 edges, 4289 markings/sec, 475 secs
lola: 38 tries, 37875264 fired transitions, 480 secs || 746959 markings, 1147016 edges, 4368 markings/sec, 480 secs
lola: 39 tries, 38272090 fired transitions, 485 secs || 768945 markings, 1180680 edges, 4397 markings/sec, 485 secs
lola: 39 tries, 38666568 fired transitions, 490 secs || 791617 markings, 1215066 edges, 4534 markings/sec, 490 secs
lola: 40 tries, 39060948 fired transitions, 495 secs || 812784 markings, 1248151 edges, 4233 markings/sec, 495 secs
lola: 40 tries, 39456865 fired transitions, 500 secs || 833344 markings, 1279938 edges, 4112 markings/sec, 500 secs
lola: 40 tries, 39853755 fired transitions, 505 secs || 854358 markings, 1312342 edges, 4203 markings/sec, 505 secs
lola: 41 tries, 40253336 fired transitions, 510 secs || 876946 markings, 1347053 edges, 4518 markings/sec, 510 secs
lola: 41 tries, 40651697 fired transitions, 515 secs || 899421 markings, 1381556 edges, 4495 markings/sec, 515 secs
lola: 42 tries, 41048635 fired transitions, 520 secs || 922083 markings, 1415714 edges, 4532 markings/sec, 520 secs
lola: 42 tries, 41444267 fired transitions, 525 secs || 944261 markings, 1450462 edges, 4436 markings/sec, 525 secs
lola: 42 tries, 41842783 fired transitions, 530 secs || 965761 markings, 1482747 edges, 4300 markings/sec, 530 secs
lola: 43 tries, 42237892 fired transitions, 535 secs || 988294 markings, 1517450 edges, 4507 markings/sec, 535 secs
lola: 43 tries, 42632071 fired transitions, 540 secs || 1010006 markings, 1551247 edges, 4342 markings/sec, 540 secs
lola: 44 tries, 43027509 fired transitions, 545 secs || 1033029 markings, 1586073 edges, 4605 markings/sec, 545 secs
lola: 44 tries, 43423435 fired transitions, 550 secs || 1055050 markings, 1620735 edges, 4404 markings/sec, 550 secs
lola: 44 tries, 43822799 fired transitions, 555 secs || 1076082 markings, 1653223 edges, 4206 markings/sec, 555 secs
lola: 45 tries, 44219463 fired transitions, 560 secs || 1097364 markings, 1686082 edges, 4256 markings/sec, 560 secs
lola: 45 tries, 44609410 fired transitions, 565 secs || 1118437 markings, 1718587 edges, 4215 markings/sec, 565 secs
lola: 46 tries, 45007575 fired transitions, 570 secs || 1140164 markings, 1752116 edges, 4345 markings/sec, 570 secs
lola: 46 tries, 45405456 fired transitions, 575 secs || 1161671 markings, 1785287 edges, 4301 markings/sec, 575 secs
lola: 46 tries, 45801638 fired transitions, 580 secs || 1183324 markings, 1818703 edges, 4331 markings/sec, 580 secs
lola: 47 tries, 46198074 fired transitions, 585 secs || 1205040 markings, 1852085 edges, 4343 markings/sec, 585 secs
lola: 47 tries, 46589695 fired transitions, 590 secs || 1226988 markings, 1885906 edges, 4390 markings/sec, 590 secs
lola: 47 tries, 46987070 fired transitions, 595 secs || 1249912 markings, 1921295 edges, 4585 markings/sec, 595 secs
lola: 48 tries, 47381141 fired transitions, 600 secs || 1272515 markings, 1956245 edges, 4521 markings/sec, 600 secs
lola: 48 tries, 47772208 fired transitions, 605 secs || 1295175 markings, 1991142 edges, 4532 markings/sec, 605 secs
lola: 49 tries, 48170076 fired transitions, 610 secs || 1318174 markings, 2026555 edges, 4600 markings/sec, 610 secs
lola: 49 tries, 48571495 fired transitions, 615 secs || 1341462 markings, 2062398 edges, 4658 markings/sec, 615 secs
lola: 49 tries, 48969172 fired transitions, 620 secs || 1364530 markings, 2098072 edges, 4614 markings/sec, 620 secs
lola: 50 tries, 49367514 fired transitions, 625 secs || 1387663 markings, 2133709 edges, 4627 markings/sec, 625 secs
lola: 50 tries, 49764445 fired transitions, 630 secs || 1410755 markings, 2169330 edges, 4618 markings/sec, 630 secs
lola: 51 tries, 50151550 fired transitions, 635 secs || 1433436 markings, 2204230 edges, 4536 markings/sec, 635 secs
lola: 51 tries, 50538008 fired transitions, 640 secs || 1456073 markings, 2239133 edges, 4527 markings/sec, 640 secs
lola: 51 tries, 50941143 fired transitions, 645 secs || 1479580 markings, 2275428 edges, 4701 markings/sec, 645 secs
lola: 52 tries, 51352323 fired transitions, 650 secs || 1503494 markings, 2312290 edges, 4783 markings/sec, 650 secs
lola: 52 tries, 51761407 fired transitions, 655 secs || 1527219 markings, 2348870 edges, 4745 markings/sec, 655 secs
lola: 53 tries, 52150623 fired transitions, 660 secs || 1550162 markings, 2383560 edges, 4589 markings/sec, 660 secs
lola: 53 tries, 52541881 fired transitions, 665 secs || 1572248 markings, 2418062 edges, 4417 markings/sec, 665 secs
lola: 53 tries, 52936228 fired transitions, 670 secs || 1594517 markings, 2452280 edges, 4454 markings/sec, 670 secs
lola: 54 tries, 53304523 fired transitions, 675 secs || 1615375 markings, 2484005 edges, 4172 markings/sec, 675 secs
lola: 54 tries, 53695669 fired transitions, 680 secs || 1637914 markings, 2518412 edges, 4508 markings/sec, 680 secs
lola: 55 tries, 54082013 fired transitions, 685 secs || 1657738 markings, 2549292 edges, 3965 markings/sec, 685 secs
lola: 55 tries, 54460739 fired transitions, 690 secs || 1679508 markings, 2582467 edges, 4354 markings/sec, 690 secs
lola: 55 tries, 54848977 fired transitions, 695 secs || 1701192 markings, 2616281 edges, 4337 markings/sec, 695 secs
lola: 56 tries, 55241820 fired transitions, 700 secs || 1723552 markings, 2650573 edges, 4472 markings/sec, 700 secs
lola: 56 tries, 55623493 fired transitions, 705 secs || 1745425 markings, 2684240 edges, 4375 markings/sec, 705 secs
lola: 57 tries, 56012079 fired transitions, 710 secs || 1765703 markings, 2715544 edges, 4056 markings/sec, 710 secs
lola: 57 tries, 56388377 fired transitions, 715 secs || 1785655 markings, 2746301 edges, 3990 markings/sec, 715 secs
lola: 57 tries, 56764561 fired transitions, 720 secs || 1806369 markings, 2778202 edges, 4143 markings/sec, 720 secs
lola: 58 tries, 57140416 fired transitions, 725 secs || 1828233 markings, 2811479 edges, 4373 markings/sec, 725 secs
lola: 58 tries, 57537539 fired transitions, 730 secs || 1850620 markings, 2846170 edges, 4477 markings/sec, 730 secs
lola: 58 tries, 57952986 fired transitions, 735 secs || 1873983 markings, 2882072 edges, 4673 markings/sec, 735 secs
lola: 59 tries, 58373141 fired transitions, 740 secs || 1897760 markings, 2918559 edges, 4755 markings/sec, 740 secs
lola: 59 tries, 58784236 fired transitions, 745 secs || 1920071 markings, 2952625 edges, 4462 markings/sec, 745 secs
lola: 60 tries, 59186941 fired transitions, 750 secs || 1942937 markings, 2987789 edges, 4573 markings/sec, 750 secs
lola: 60 tries, 59586580 fired transitions, 755 secs || 1965658 markings, 3022569 edges, 4544 markings/sec, 755 secs
lola: 60 tries, 59983307 fired transitions, 760 secs || 1988201 markings, 3057454 edges, 4509 markings/sec, 760 secs
lola: 61 tries, 60381993 fired transitions, 765 secs || 2009763 markings, 3090828 edges, 4312 markings/sec, 765 secs
lola: 61 tries, 60778580 fired transitions, 770 secs || 2030515 markings, 3122847 edges, 4150 markings/sec, 770 secs
lola: 62 tries, 61175300 fired transitions, 775 secs || 2051430 markings, 3155157 edges, 4183 markings/sec, 775 secs
lola: 62 tries, 61578536 fired transitions, 780 secs || 2073372 markings, 3189002 edges, 4388 markings/sec, 780 secs
lola: 62 tries, 61975736 fired transitions, 785 secs || 2095055 markings, 3222458 edges, 4337 markings/sec, 785 secs
lola: 63 tries, 62362900 fired transitions, 790 secs || 2116286 markings, 3255237 edges, 4246 markings/sec, 790 secs
lola: 63 tries, 62763846 fired transitions, 795 secs || 2138249 markings, 3289054 edges, 4393 markings/sec, 795 secs
lola: 64 tries, 63152768 fired transitions, 800 secs || 2159604 markings, 3321884 edges, 4271 markings/sec, 800 secs
lola: 64 tries, 63540447 fired transitions, 805 secs || 2182257 markings, 3355770 edges, 4531 markings/sec, 805 secs
lola: 64 tries, 63916678 fired transitions, 810 secs || 2203429 markings, 3388618 edges, 4234 markings/sec, 810 secs
lola: 65 tries, 64292937 fired transitions, 815 secs || 2223946 markings, 3420637 edges, 4103 markings/sec, 815 secs
lola: 65 tries, 64668715 fired transitions, 820 secs || 2245463 markings, 3453486 edges, 4303 markings/sec, 820 secs
lola: 66 tries, 65044780 fired transitions, 825 secs || 2265580 markings, 3484724 edges, 4023 markings/sec, 825 secs
lola: 66 tries, 65420885 fired transitions, 830 secs || 2286657 markings, 3516984 edges, 4215 markings/sec, 830 secs
lola: 66 tries, 65798846 fired transitions, 835 secs || 2308055 markings, 3549961 edges, 4280 markings/sec, 835 secs
lola: 67 tries, 66184256 fired transitions, 840 secs || 2329922 markings, 3582919 edges, 4373 markings/sec, 840 secs
lola: 67 tries, 66576356 fired transitions, 845 secs || 2352451 markings, 3617402 edges, 4506 markings/sec, 845 secs
lola: 67 tries, 66974027 fired transitions, 850 secs || 2373055 markings, 3649965 edges, 4121 markings/sec, 850 secs
lola: 68 tries, 67367928 fired transitions, 855 secs || 2393735 markings, 3681886 edges, 4136 markings/sec, 855 secs
lola: 68 tries, 67754307 fired transitions, 860 secs || 2414791 markings, 3713627 edges, 4211 markings/sec, 860 secs
lola: 69 tries, 68150132 fired transitions, 865 secs || 2437053 markings, 3748543 edges, 4452 markings/sec, 865 secs
lola: 69 tries, 68542679 fired transitions, 870 secs || 2459680 markings, 3783039 edges, 4525 markings/sec, 870 secs
lola: 69 tries, 68931940 fired transitions, 875 secs || 2481855 markings, 3816377 edges, 4435 markings/sec, 875 secs
lola: 70 tries, 69328552 fired transitions, 880 secs || 2504060 markings, 3851197 edges, 4441 markings/sec, 880 secs
lola: 70 tries, 69728211 fired transitions, 885 secs || 2524875 markings, 3883529 edges, 4163 markings/sec, 885 secs
lola: 71 tries, 70123987 fired transitions, 890 secs || 2547272 markings, 3917938 edges, 4479 markings/sec, 890 secs
lola: 71 tries, 70528386 fired transitions, 895 secs || 2570144 markings, 3953079 edges, 4574 markings/sec, 895 secs
lola: 71 tries, 70928766 fired transitions, 900 secs || 2592785 markings, 3987910 edges, 4528 markings/sec, 900 secs
lola: 72 tries, 71325089 fired transitions, 905 secs || 2615308 markings, 4022506 edges, 4505 markings/sec, 905 secs
lola: 72 tries, 71725024 fired transitions, 910 secs || 2636150 markings, 4054641 edges, 4168 markings/sec, 910 secs
lola: 73 tries, 72114645 fired transitions, 915 secs || 2656829 markings, 4086562 edges, 4136 markings/sec, 915 secs
lola: 73 tries, 72501551 fired transitions, 920 secs || 2677572 markings, 4118575 edges, 4149 markings/sec, 920 secs
lola: 73 tries, 72894940 fired transitions, 925 secs || 2699018 markings, 4151661 edges, 4289 markings/sec, 925 secs
lola: 74 tries, 73283090 fired transitions, 930 secs || 2720104 markings, 4184211 edges, 4217 markings/sec, 930 secs
lola: 74 tries, 73667776 fired transitions, 935 secs || 2741170 markings, 4216721 edges, 4213 markings/sec, 935 secs
lola: 75 tries, 74052477 fired transitions, 940 secs || 2762256 markings, 4249196 edges, 4217 markings/sec, 940 secs
lola: 75 tries, 74437567 fired transitions, 945 secs || 2783681 markings, 4282155 edges, 4285 markings/sec, 945 secs
lola: 75 tries, 74826930 fired transitions, 950 secs || 2806311 markings, 4317087 edges, 4526 markings/sec, 950 secs
lola: 76 tries, 75223917 fired transitions, 955 secs || 2829369 markings, 4352698 edges, 4612 markings/sec, 955 secs
lola: 76 tries, 75616584 fired transitions, 960 secs || 2852283 markings, 4388064 edges, 4583 markings/sec, 960 secs
lola: 77 tries, 76001495 fired transitions, 965 secs || 2874736 markings, 4422586 edges, 4491 markings/sec, 965 secs
lola: 77 tries, 76387039 fired transitions, 970 secs || 2897164 markings, 4457114 edges, 4486 markings/sec, 970 secs
lola: 77 tries, 76769109 fired transitions, 975 secs || 2919466 markings, 4491544 edges, 4460 markings/sec, 975 secs
lola: 78 tries, 77146707 fired transitions, 980 secs || 2941480 markings, 4525562 edges, 4403 markings/sec, 980 secs
lola: 78 tries, 77525827 fired transitions, 985 secs || 2963726 markings, 4559892 edges, 4449 markings/sec, 985 secs
lola: 78 tries, 77905786 fired transitions, 990 secs || 2985989 markings, 4594079 edges, 4453 markings/sec, 990 secs
lola: 79 tries, 78288836 fired transitions, 995 secs || 3008559 markings, 4628807 edges, 4514 markings/sec, 995 secs
lola: 79 tries, 78671938 fired transitions, 1000 secs || 3031177 markings, 4663729 edges, 4524 markings/sec, 1000 secs
lola: 80 tries, 79056207 fired transitions, 1005 secs || 3053795 markings, 4698704 edges, 4524 markings/sec, 1005 secs
lola: 80 tries, 79434824 fired transitions, 1010 secs || 3076164 markings, 4733159 edges, 4474 markings/sec, 1010 secs
lola: 80 tries, 79810377 fired transitions, 1015 secs || 3098318 markings, 4767244 edges, 4431 markings/sec, 1015 secs
lola: 81 tries, 80186179 fired transitions, 1020 secs || 3119664 markings, 4800198 edges, 4269 markings/sec, 1020 secs
lola: 81 tries, 80570298 fired transitions, 1025 secs || 3140991 markings, 4833096 edges, 4265 markings/sec, 1025 secs
lola: 81 tries, 80959073 fired transitions, 1030 secs || 3162644 markings, 4866523 edges, 4331 markings/sec, 1030 secs
lola: 82 tries, 81348681 fired transitions, 1035 secs || 3184375 markings, 4900055 edges, 4346 markings/sec, 1035 secs
lola: 82 tries, 81733403 fired transitions, 1040 secs || 3205866 markings, 4933049 edges, 4298 markings/sec, 1040 secs
lola: 83 tries, 82119531 fired transitions, 1045 secs || 3227232 markings, 4965998 edges, 4273 markings/sec, 1045 secs
lola: 83 tries, 82507120 fired transitions, 1050 secs || 3248858 markings, 4999350 edges, 4325 markings/sec, 1050 secs
lola: 83 tries, 82892925 fired transitions, 1055 secs || 3270369 markings, 5032593 edges, 4302 markings/sec, 1055 secs
lola: 84 tries, 83278533 fired transitions, 1060 secs || 3292005 markings, 5065982 edges, 4327 markings/sec, 1060 secs
lola: 84 tries, 83666404 fired transitions, 1065 secs || 3313732 markings, 5099353 edges, 4345 markings/sec, 1065 secs
lola: 85 tries, 84055037 fired transitions, 1070 secs || 3335508 markings, 5132911 edges, 4355 markings/sec, 1070 secs
lola: 85 tries, 84434491 fired transitions, 1075 secs || 3356971 markings, 5166045 edges, 4293 markings/sec, 1075 secs
lola: 85 tries, 84819248 fired transitions, 1080 secs || 3378684 markings, 5199578 edges, 4343 markings/sec, 1080 secs
lola: 86 tries, 85213104 fired transitions, 1085 secs || 3400951 markings, 5233876 edges, 4453 markings/sec, 1085 secs
lola: 86 tries, 85597188 fired transitions, 1090 secs || 3422502 markings, 5267044 edges, 4310 markings/sec, 1090 secs
lola: 86 tries, 85996832 fired transitions, 1095 secs || 3444735 markings, 5301328 edges, 4447 markings/sec, 1095 secs
lola: 87 tries, 86389103 fired transitions, 1100 secs || 3466592 markings, 5335050 edges, 4371 markings/sec, 1100 secs
lola: 87 tries, 86778016 fired transitions, 1105 secs || 3488291 markings, 5368550 edges, 4340 markings/sec, 1105 secs
lola: 88 tries, 87156203 fired transitions, 1110 secs || 3509561 markings, 5401402 edges, 4254 markings/sec, 1110 secs
lola: 88 tries, 87532024 fired transitions, 1115 secs || 3530566 markings, 5433674 edges, 4201 markings/sec, 1115 secs
lola: 88 tries, 87907425 fired transitions, 1120 secs || 3551475 markings, 5465876 edges, 4182 markings/sec, 1120 secs
lola: 89 tries, 88282855 fired transitions, 1125 secs || 3572521 markings, 5498298 edges, 4209 markings/sec, 1125 secs
lola: 89 tries, 88658023 fired transitions, 1130 secs || 3593575 markings, 5530811 edges, 4211 markings/sec, 1130 secs
lola: 90 tries, 89034758 fired transitions, 1135 secs || 3614778 markings, 5563536 edges, 4241 markings/sec, 1135 secs
lola: 90 tries, 89421676 fired transitions, 1140 secs || 3636437 markings, 5596875 edges, 4332 markings/sec, 1140 secs
lola: 90 tries, 89807167 fired transitions, 1145 secs || 3658176 markings, 5630236 edges, 4348 markings/sec, 1145 secs
lola: 91 tries, 90189130 fired transitions, 1150 secs || 3679750 markings, 5663598 edges, 4315 markings/sec, 1150 secs
lola: 91 tries, 90564920 fired transitions, 1155 secs || 3701016 markings, 5696410 edges, 4253 markings/sec, 1155 secs
lola: 91 tries, 90940724 fired transitions, 1160 secs || 3722379 markings, 5729352 edges, 4273 markings/sec, 1160 secs
lola: 92 tries, 91316585 fired transitions, 1165 secs || 3743616 markings, 5762075 edges, 4247 markings/sec, 1165 secs
lola: 92 tries, 91692450 fired transitions, 1170 secs || 3764829 markings, 5794715 edges, 4243 markings/sec, 1170 secs
lola: 93 tries, 92073101 fired transitions, 1175 secs || 3787459 markings, 5829649 edges, 4526 markings/sec, 1175 secs
lola: 93 tries, 92470384 fired transitions, 1180 secs || 3811293 markings, 5866474 edges, 4767 markings/sec, 1180 secs
lola: 93 tries, 92870333 fired transitions, 1185 secs || 3835318 markings, 5903551 edges, 4805 markings/sec, 1185 secs
lola: 94 tries, 93268323 fired transitions, 1190 secs || 3859065 markings, 5940152 edges, 4749 markings/sec, 1190 secs
lola: 94 tries, 93661268 fired transitions, 1195 secs || 3882570 markings, 5976283 edges, 4701 markings/sec, 1195 secs
lola: 95 tries, 94055905 fired transitions, 1200 secs || 3906292 markings, 6012906 edges, 4744 markings/sec, 1200 secs
lola: 95 tries, 94450320 fired transitions, 1205 secs || 3929968 markings, 6049532 edges, 4735 markings/sec, 1205 secs
lola: 95 tries, 94846768 fired transitions, 1210 secs || 3953829 markings, 6086287 edges, 4772 markings/sec, 1210 secs
lola: 96 tries, 95244597 fired transitions, 1215 secs || 3977541 markings, 6122815 edges, 4742 markings/sec, 1215 secs
lola: 96 tries, 95629920 fired transitions, 1220 secs || 4000536 markings, 6158332 edges, 4599 markings/sec, 1220 secs
lola: 97 tries, 96011850 fired transitions, 1225 secs || 4023441 markings, 6193610 edges, 4581 markings/sec, 1225 secs
lola: 97 tries, 96394886 fired transitions, 1230 secs || 4046389 markings, 6228972 edges, 4590 markings/sec, 1230 secs
lola: 97 tries, 96777248 fired transitions, 1235 secs || 4069222 markings, 6264192 edges, 4567 markings/sec, 1235 secs
lola: 98 tries, 97157502 fired transitions, 1240 secs || 4091864 markings, 6299082 edges, 4528 markings/sec, 1240 secs
lola: 98 tries, 97537228 fired transitions, 1245 secs || 4113771 markings, 6332745 edges, 4381 markings/sec, 1245 secs
lola: 98 tries, 97917953 fired transitions, 1250 secs || 4135607 markings, 6365975 edges, 4367 markings/sec, 1250 secs
lola: 99 tries, 98299543 fired transitions, 1255 secs || 4156732 markings, 6398619 edges, 4225 markings/sec, 1255 secs
lola: 99 tries, 98682889 fired transitions, 1260 secs || 4178573 markings, 6432085 edges, 4368 markings/sec, 1260 secs
lola: 100 tries, 99070396 fired transitions, 1265 secs || 4198641 markings, 6463314 edges, 4014 markings/sec, 1265 secs
lola: 100 tries, 99456016 fired transitions, 1270 secs || 4220497 markings, 6496742 edges, 4371 markings/sec, 1270 secs
lola: 100 tries, 99840075 fired transitions, 1275 secs || 4242279 markings, 6530334 edges, 4356 markings/sec, 1275 secs
lola: 101 tries, 100224751 fired transitions, 1280 secs || 4264109 markings, 6563889 edges, 4366 markings/sec, 1280 secs
lola: 101 tries, 100608342 fired transitions, 1285 secs || 4286033 markings, 6597531 edges, 4385 markings/sec, 1285 secs
lola: 101 tries, 100985525 fired transitions, 1290 secs || 4305641 markings, 6627807 edges, 3922 markings/sec, 1290 secs
lola: 102 tries, 101368149 fired transitions, 1295 secs || 4325878 markings, 6659000 edges, 4047 markings/sec, 1295 secs
lola: 102 tries, 101753900 fired transitions, 1300 secs || 4347082 markings, 6691220 edges, 4241 markings/sec, 1300 secs
lola: 103 tries, 102147505 fired transitions, 1305 secs || 4369027 markings, 6725309 edges, 4389 markings/sec, 1305 secs
lola: 103 tries, 102543335 fired transitions, 1310 secs || 4391523 markings, 6759337 edges, 4499 markings/sec, 1310 secs
lola: 103 tries, 102938579 fired transitions, 1315 secs || 4413661 markings, 6793927 edges, 4428 markings/sec, 1315 secs
lola: 104 tries, 103314554 fired transitions, 1320 secs || 4434079 markings, 6825356 edges, 4084 markings/sec, 1320 secs
lola: 104 tries, 103690202 fired transitions, 1325 secs || 4455425 markings, 6857654 edges, 4269 markings/sec, 1325 secs
lola: 105 tries, 104066030 fired transitions, 1330 secs || 4476614 markings, 6890766 edges, 4238 markings/sec, 1330 secs
lola: 105 tries, 104458081 fired transitions, 1335 secs || 4499073 markings, 6924449 edges, 4492 markings/sec, 1335 secs
lola: 105 tries, 104854699 fired transitions, 1340 secs || 4521547 markings, 6959571 edges, 4495 markings/sec, 1340 secs
lola: 106 tries, 105247511 fired transitions, 1345 secs || 4542176 markings, 6991599 edges, 4126 markings/sec, 1345 secs
lola: 106 tries, 105644124 fired transitions, 1350 secs || 4562929 markings, 7023623 edges, 4151 markings/sec, 1350 secs
lola: 107 tries, 106041538 fired transitions, 1355 secs || 4584046 markings, 7056167 edges, 4223 markings/sec, 1355 secs
lola: 107 tries, 106438628 fired transitions, 1360 secs || 4605520 markings, 7089322 edges, 4295 markings/sec, 1360 secs
lola: 107 tries, 106838708 fired transitions, 1365 secs || 4627073 markings, 7122588 edges, 4311 markings/sec, 1365 secs
lola: 108 tries, 107239739 fired transitions, 1370 secs || 4648744 markings, 7156041 edges, 4334 markings/sec, 1370 secs
lola: 108 tries, 107638701 fired transitions, 1375 secs || 4670405 markings, 7189419 edges, 4332 markings/sec, 1375 secs
lola: 109 tries, 108039450 fired transitions, 1380 secs || 4692191 markings, 7222779 edges, 4357 markings/sec, 1380 secs
lola: 109 tries, 108440654 fired transitions, 1385 secs || 4715186 markings, 7258060 edges, 4599 markings/sec, 1385 secs
lola: 109 tries, 108838480 fired transitions, 1390 secs || 4737788 markings, 7292417 edges, 4520 markings/sec, 1390 secs
lola: 110 tries, 109250241 fired transitions, 1395 secs || 4760282 markings, 7327419 edges, 4499 markings/sec, 1395 secs
lola: 110 tries, 109653406 fired transitions, 1400 secs || 4782968 markings, 7362360 edges, 4537 markings/sec, 1400 secs
lola: 111 tries, 110051113 fired transitions, 1405 secs || 4803942 markings, 7393978 edges, 4195 markings/sec, 1405 secs
lola: 111 tries, 110452111 fired transitions, 1410 secs || 4826584 markings, 7429062 edges, 4528 markings/sec, 1410 secs
lola: 111 tries, 110849778 fired transitions, 1415 secs || 4848709 markings, 7462866 edges, 4425 markings/sec, 1415 secs
lola: 112 tries, 111243223 fired transitions, 1420 secs || 4871281 markings, 7497303 edges, 4514 markings/sec, 1420 secs
lola: 112 tries, 111617596 fired transitions, 1425 secs || 4891543 markings, 7529293 edges, 4052 markings/sec, 1425 secs
lola: 113 tries, 112005940 fired transitions, 1430 secs || 4911643 markings, 7560364 edges, 4020 markings/sec, 1430 secs
lola: 113 tries, 112387519 fired transitions, 1435 secs || 4931779 markings, 7591332 edges, 4027 markings/sec, 1435 secs
lola: 113 tries, 112762298 fired transitions, 1440 secs || 4952987 markings, 7623189 edges, 4242 markings/sec, 1440 secs
lola: 114 tries, 113143718 fired transitions, 1445 secs || 4974634 markings, 7656774 edges, 4329 markings/sec, 1445 secs
lola: 114 tries, 113526336 fired transitions, 1450 secs || 4995618 markings, 7689446 edges, 4197 markings/sec, 1450 secs
lola: 114 tries, 113901123 fired transitions, 1455 secs || 5016953 markings, 7722157 edges, 4267 markings/sec, 1455 secs
lola: 115 tries, 114276226 fired transitions, 1460 secs || 5038234 markings, 7754906 edges, 4256 markings/sec, 1460 secs
lola: 115 tries, 114652109 fired transitions, 1465 secs || 5058324 markings, 7785596 edges, 4018 markings/sec, 1465 secs
lola: 116 tries, 115040026 fired transitions, 1470 secs || 5080331 markings, 7819448 edges, 4401 markings/sec, 1470 secs
lola: 116 tries, 115434598 fired transitions, 1475 secs || 5102809 markings, 7853323 edges, 4496 markings/sec, 1475 secs
lola: 116 tries, 115828431 fired transitions, 1480 secs || 5124764 markings, 7887922 edges, 4391 markings/sec, 1480 secs
lola: 117 tries, 116224895 fired transitions, 1485 secs || 5146555 markings, 7921498 edges, 4358 markings/sec, 1485 secs
lola: 117 tries, 116613906 fired transitions, 1490 secs || 5166791 markings, 7952694 edges, 4047 markings/sec, 1490 secs
lola: 118 tries, 117008390 fired transitions, 1495 secs || 5187482 markings, 7984606 edges, 4138 markings/sec, 1495 secs
lola: 118 tries, 117392328 fired transitions, 1500 secs || 5208031 markings, 8016330 edges, 4110 markings/sec, 1500 secs
lola: 118 tries, 117769877 fired transitions, 1505 secs || 5228433 markings, 8047820 edges, 4080 markings/sec, 1505 secs
lola: 119 tries, 118152667 fired transitions, 1510 secs || 5248932 markings, 8079498 edges, 4100 markings/sec, 1510 secs
lola: 119 tries, 118535011 fired transitions, 1515 secs || 5269624 markings, 8111443 edges, 4138 markings/sec, 1515 secs
lola: 119 tries, 118916733 fired transitions, 1520 secs || 5290369 markings, 8143279 edges, 4149 markings/sec, 1520 secs
lola: 120 tries, 119299167 fired transitions, 1525 secs || 5311563 markings, 8176005 edges, 4239 markings/sec, 1525 secs
lola: 120 tries, 119681586 fired transitions, 1530 secs || 5333840 markings, 8210349 edges, 4455 markings/sec, 1530 secs
lola: 121 tries, 120063814 fired transitions, 1535 secs || 5356089 markings, 8244680 edges, 4450 markings/sec, 1535 secs
lola: 121 tries, 120446624 fired transitions, 1540 secs || 5378456 markings, 8279236 edges, 4473 markings/sec, 1540 secs
lola: 121 tries, 120830156 fired transitions, 1545 secs || 5400822 markings, 8313622 edges, 4473 markings/sec, 1545 secs
lola: 122 tries, 121222363 fired transitions, 1550 secs || 5423627 markings, 8348721 edges, 4561 markings/sec, 1550 secs
lola: 122 tries, 121619395 fired transitions, 1555 secs || 5446617 markings, 8384237 edges, 4598 markings/sec, 1555 secs
lola: 123 tries, 122006294 fired transitions, 1560 secs || 5469068 markings, 8418889 edges, 4490 markings/sec, 1560 secs
lola: 123 tries, 122384365 fired transitions, 1565 secs || 5491191 markings, 8453052 edges, 4425 markings/sec, 1565 secs
lola: 123 tries, 122778126 fired transitions, 1570 secs || 5514165 markings, 8488304 edges, 4595 markings/sec, 1570 secs
lola: 124 tries, 123175573 fired transitions, 1575 secs || 5537359 markings, 8524047 edges, 4639 markings/sec, 1575 secs
lola: 124 tries, 123570400 fired transitions, 1580 secs || 5560504 markings, 8559768 edges, 4629 markings/sec, 1580 secs
lola: 124 tries, 123964464 fired transitions, 1585 secs || 5583546 markings, 8595340 edges, 4608 markings/sec, 1585 secs
lola: 125 tries, 124360369 fired transitions, 1590 secs || 5606684 markings, 8631019 edges, 4628 markings/sec, 1590 secs
lola: 125 tries, 124753764 fired transitions, 1595 secs || 5629641 markings, 8666366 edges, 4591 markings/sec, 1595 secs
lola: 126 tries, 125149710 fired transitions, 1600 secs || 5652925 markings, 8701236 edges, 4657 markings/sec, 1600 secs
lola: 126 tries, 125548233 fired transitions, 1605 secs || 5675297 markings, 8736086 edges, 4474 markings/sec, 1605 secs
lola: 126 tries, 125944889 fired transitions, 1610 secs || 5697583 markings, 8770212 edges, 4457 markings/sec, 1610 secs
lola: 127 tries, 126336452 fired transitions, 1615 secs || 5719713 markings, 8804531 edges, 4426 markings/sec, 1615 secs
lola: 127 tries, 126721022 fired transitions, 1620 secs || 5739904 markings, 8835917 edges, 4038 markings/sec, 1620 secs
lola: 128 tries, 127118154 fired transitions, 1625 secs || 5762699 markings, 8870541 edges, 4559 markings/sec, 1625 secs
lola: 128 tries, 127513889 fired transitions, 1630 secs || 5784988 markings, 8905132 edges, 4458 markings/sec, 1630 secs
lola: 128 tries, 127910865 fired transitions, 1635 secs || 5807835 markings, 8939889 edges, 4569 markings/sec, 1635 secs
lola: 129 tries, 128305720 fired transitions, 1640 secs || 5830166 markings, 8974540 edges, 4466 markings/sec, 1640 secs
lola: 129 tries, 128705548 fired transitions, 1645 secs || 5851115 markings, 9006981 edges, 4190 markings/sec, 1645 secs
lola: 130 tries, 129081270 fired transitions, 1650 secs || 5871333 markings, 9038086 edges, 4044 markings/sec, 1650 secs
lola: 130 tries, 129456548 fired transitions, 1655 secs || 5892972 markings, 9070451 edges, 4328 markings/sec, 1655 secs
lola: 130 tries, 129831970 fired transitions, 1660 secs || 5914356 markings, 9103944 edges, 4277 markings/sec, 1660 secs
lola: 131 tries, 130212627 fired transitions, 1665 secs || 5935645 markings, 9136927 edges, 4258 markings/sec, 1665 secs
lola: 131 tries, 130607816 fired transitions, 1670 secs || 5958707 markings, 9171659 edges, 4612 markings/sec, 1670 secs
lola: 132 tries, 131003266 fired transitions, 1675 secs || 5980718 markings, 9206202 edges, 4402 markings/sec, 1675 secs
lola: 132 tries, 131398725 fired transitions, 1680 secs || 6002174 markings, 9239234 edges, 4291 markings/sec, 1680 secs
lola: 132 tries, 131797347 fired transitions, 1685 secs || 6025491 markings, 9274397 edges, 4663 markings/sec, 1685 secs
lola: 133 tries, 132196705 fired transitions, 1690 secs || 6047705 markings, 9309194 edges, 4443 markings/sec, 1690 secs
lola: 133 tries, 132594582 fired transitions, 1695 secs || 6071201 markings, 9344478 edges, 4699 markings/sec, 1695 secs
lola: 133 tries, 132975660 fired transitions, 1700 secs || 6091384 markings, 9376345 edges, 4037 markings/sec, 1700 secs
lola: 134 tries, 133353230 fired transitions, 1705 secs || 6111391 markings, 9407198 edges, 4001 markings/sec, 1705 secs
lola: 134 tries, 133729353 fired transitions, 1710 secs || 6131526 markings, 9438246 edges, 4027 markings/sec, 1710 secs
lola: 135 tries, 134109130 fired transitions, 1715 secs || 6152265 markings, 9470319 edges, 4148 markings/sec, 1715 secs
lola: 135 tries, 134487441 fired transitions, 1720 secs || 6173098 markings, 9502453 edges, 4167 markings/sec, 1720 secs
lola: 135 tries, 134863367 fired transitions, 1725 secs || 6193659 markings, 9534205 edges, 4112 markings/sec, 1725 secs
lola: 136 tries, 135247468 fired transitions, 1730 secs || 6214778 markings, 9566738 edges, 4224 markings/sec, 1730 secs
lola: 136 tries, 135623390 fired transitions, 1735 secs || 6235492 markings, 9598606 edges, 4143 markings/sec, 1735 secs
lola: 136 tries, 135998938 fired transitions, 1740 secs || 6257245 markings, 9631255 edges, 4351 markings/sec, 1740 secs
lola: 137 tries, 136385831 fired transitions, 1745 secs || 6278943 markings, 9664830 edges, 4340 markings/sec, 1745 secs
lola: 137 tries, 136765477 fired transitions, 1750 secs || 6300476 markings, 9697603 edges, 4307 markings/sec, 1750 secs
lola: 138 tries, 137141332 fired transitions, 1755 secs || 6321427 markings, 9730661 edges, 4190 markings/sec, 1755 secs
lola: 138 tries, 137517307 fired transitions, 1760 secs || 6342338 markings, 9762766 edges, 4182 markings/sec, 1760 secs
lola: 138 tries, 137898016 fired transitions, 1765 secs || 6363087 markings, 9794593 edges, 4150 markings/sec, 1765 secs
lola: 139 tries, 138294009 fired transitions, 1770 secs || 6386205 markings, 9829408 edges, 4624 markings/sec, 1770 secs
lola: 139 tries, 138689957 fired transitions, 1775 secs || 6407901 markings, 9863547 edges, 4339 markings/sec, 1775 secs
lola: 140 tries, 139077499 fired transitions, 1780 secs || 6430500 markings, 9897698 edges, 4520 markings/sec, 1780 secs
lola: 140 tries, 139466378 fired transitions, 1785 secs || 6451089 markings, 9930095 edges, 4118 markings/sec, 1785 secs
lola: 140 tries, 139857945 fired transitions, 1790 secs || 6471822 markings, 9961979 edges, 4147 markings/sec, 1790 secs
lola: 141 tries, 140234167 fired transitions, 1795 secs || 6491813 markings, 9992958 edges, 3998 markings/sec, 1795 secs
lola: 141 tries, 140609317 fired transitions, 1800 secs || 6513832 markings, 10026246 edges, 4404 markings/sec, 1800 secs
lola: 141 tries, 140985650 fired transitions, 1805 secs || 6535650 markings, 10059370 edges, 4364 markings/sec, 1805 secs
lola: 142 tries, 141361649 fired transitions, 1810 secs || 6556437 markings, 10091835 edges, 4157 markings/sec, 1810 secs
lola: 142 tries, 141737081 fired transitions, 1815 secs || 6577740 markings, 10124871 edges, 4261 markings/sec, 1815 secs
lola: 143 tries, 142112719 fired transitions, 1820 secs || 6598238 markings, 10156387 edges, 4100 markings/sec, 1820 secs
lola: 143 tries, 142488035 fired transitions, 1825 secs || 6619536 markings, 10188728 edges, 4260 markings/sec, 1825 secs
lola: 143 tries, 142863357 fired transitions, 1830 secs || 6640527 markings, 10221397 edges, 4198 markings/sec, 1830 secs
lola: 144 tries, 143238920 fired transitions, 1835 secs || 6662252 markings, 10254199 edges, 4345 markings/sec, 1835 secs
lola: 144 tries, 143621750 fired transitions, 1840 secs || 6684033 markings, 10288152 edges, 4356 markings/sec, 1840 secs
lola: 145 tries, 144011133 fired transitions, 1845 secs || 6704401 markings, 10319650 edges, 4074 markings/sec, 1845 secs
lola: 145 tries, 144384078 fired transitions, 1850 secs || 6724402 markings, 10350509 edges, 4000 markings/sec, 1850 secs
lola: 145 tries, 144762134 fired transitions, 1855 secs || 6744571 markings, 10381633 edges, 4034 markings/sec, 1855 secs
lola: 146 tries, 145138400 fired transitions, 1860 secs || 6765047 markings, 10413248 edges, 4095 markings/sec, 1860 secs
lola: 146 tries, 145514840 fired transitions, 1865 secs || 6785541 markings, 10444912 edges, 4099 markings/sec, 1865 secs
lola: 146 tries, 145891316 fired transitions, 1870 secs || 6806178 markings, 10476747 edges, 4127 markings/sec, 1870 secs
lola: 147 tries, 146269904 fired transitions, 1875 secs || 6826995 markings, 10508771 edges, 4163 markings/sec, 1875 secs
lola: 147 tries, 146667335 fired transitions, 1880 secs || 6848684 markings, 10542149 edges, 4338 markings/sec, 1880 secs
lola: 148 tries, 147060494 fired transitions, 1885 secs || 6871433 markings, 10577251 edges, 4550 markings/sec, 1885 secs
lola: 148 tries, 147461898 fired transitions, 1890 secs || 6894821 markings, 10613366 edges, 4678 markings/sec, 1890 secs
lola: 148 tries, 147849936 fired transitions, 1895 secs || 6917513 markings, 10648435 edges, 4538 markings/sec, 1895 secs
lola: 149 tries, 148226630 fired transitions, 1900 secs || 6939570 markings, 10682379 edges, 4411 markings/sec, 1900 secs
lola: 149 tries, 148602384 fired transitions, 1905 secs || 6961538 markings, 10716129 edges, 4394 markings/sec, 1905 secs
lola: 149 tries, 148978109 fired transitions, 1910 secs || 6983474 markings, 10749987 edges, 4387 markings/sec, 1910 secs
lola: 150 tries, 149384278 fired transitions, 1915 secs || 7007133 markings, 10786536 edges, 4732 markings/sec, 1915 secs
lola: 150 tries, 149781245 fired transitions, 1920 secs || 7030308 markings, 10822280 edges, 4635 markings/sec, 1920 secs
lola: 151 tries, 150160942 fired transitions, 1925 secs || 7052598 markings, 10856574 edges, 4458 markings/sec, 1925 secs
lola: 151 tries, 150536805 fired transitions, 1930 secs || 7074737 markings, 10890621 edges, 4428 markings/sec, 1930 secs
lola: 151 tries, 150912680 fired transitions, 1935 secs || 7096963 markings, 10924931 edges, 4445 markings/sec, 1935 secs
lola: 152 tries, 151293183 fired transitions, 1940 secs || 7119391 markings, 10959554 edges, 4486 markings/sec, 1940 secs
lola: 152 tries, 151669061 fired transitions, 1945 secs || 7141522 markings, 10993777 edges, 4426 markings/sec, 1945 secs
lola: 153 tries, 152044637 fired transitions, 1950 secs || 7163667 markings, 11027809 edges, 4429 markings/sec, 1950 secs
lola: 153 tries, 152421331 fired transitions, 1955 secs || 7185453 markings, 11061433 edges, 4357 markings/sec, 1955 secs
lola: 153 tries, 152805622 fired transitions, 1960 secs || 7206867 markings, 11094450 edges, 4283 markings/sec, 1960 secs
lola: 154 tries, 153199646 fired transitions, 1965 secs || 7228722 markings, 11128181 edges, 4371 markings/sec, 1965 secs
lola: 154 tries, 153574999 fired transitions, 1970 secs || 7249698 markings, 11160624 edges, 4195 markings/sec, 1970 secs
lola: 154 tries, 153950819 fired transitions, 1975 secs || 7270712 markings, 11192886 edges, 4203 markings/sec, 1975 secs
lola: 155 tries, 154327280 fired transitions, 1980 secs || 7291690 markings, 11225163 edges, 4196 markings/sec, 1980 secs
lola: 155 tries, 154726063 fired transitions, 1985 secs || 7313791 markings, 11259236 edges, 4420 markings/sec, 1985 secs
lola: 156 tries, 155116225 fired transitions, 1990 secs || 7335366 markings, 11292562 edges, 4315 markings/sec, 1990 secs
lola: 156 tries, 155497765 fired transitions, 1995 secs || 7356698 markings, 11325536 edges, 4266 markings/sec, 1995 secs
lola: 156 tries, 155874058 fired transitions, 2000 secs || 7377793 markings, 11357945 edges, 4219 markings/sec, 2000 secs
lola: 157 tries, 156258053 fired transitions, 2005 secs || 7399264 markings, 11390966 edges, 4294 markings/sec, 2005 secs
lola: 157 tries, 156652408 fired transitions, 2010 secs || 7421414 markings, 11425216 edges, 4430 markings/sec, 2010 secs
lola: 158 tries, 157054601 fired transitions, 2015 secs || 7444040 markings, 11460087 edges, 4525 markings/sec, 2015 secs
lola: 158 tries, 157445355 fired transitions, 2020 secs || 7466140 markings, 11494207 edges, 4420 markings/sec, 2020 secs
lola: 158 tries, 157844675 fired transitions, 2025 secs || 7488474 markings, 11528613 edges, 4467 markings/sec, 2025 secs
lola: 159 tries, 158251668 fired transitions, 2030 secs || 7511219 markings, 11563657 edges, 4549 markings/sec, 2030 secs
lola: 159 tries, 158646689 fired transitions, 2035 secs || 7533240 markings, 11597600 edges, 4404 markings/sec, 2035 secs
lola: 160 tries, 159029304 fired transitions, 2040 secs || 7554567 markings, 11630534 edges, 4265 markings/sec, 2040 secs
lola: 160 tries, 159415739 fired transitions, 2045 secs || 7576261 markings, 11664018 edges, 4339 markings/sec, 2045 secs
lola: 160 tries, 159791713 fired transitions, 2050 secs || 7597390 markings, 11696530 edges, 4226 markings/sec, 2050 secs
lola: 161 tries, 160171596 fired transitions, 2055 secs || 7618745 markings, 11729323 edges, 4271 markings/sec, 2055 secs
lola: 161 tries, 160547669 fired transitions, 2060 secs || 7639704 markings, 11761720 edges, 4192 markings/sec, 2060 secs
lola: 161 tries, 160923843 fired transitions, 2065 secs || 7660769 markings, 11794206 edges, 4213 markings/sec, 2065 secs
lola: 162 tries, 161299818 fired transitions, 2070 secs || 7681834 markings, 11826698 edges, 4213 markings/sec, 2070 secs
lola: 162 tries, 161682417 fired transitions, 2075 secs || 7703314 markings, 11859803 edges, 4296 markings/sec, 2075 secs
lola: 163 tries, 162067994 fired transitions, 2080 secs || 7724989 markings, 11893081 edges, 4335 markings/sec, 2080 secs
lola: 163 tries, 162444092 fired transitions, 2085 secs || 7746131 markings, 11925715 edges, 4228 markings/sec, 2085 secs
lola: 163 tries, 162836591 fired transitions, 2090 secs || 7768245 markings, 11959834 edges, 4423 markings/sec, 2090 secs
lola: 164 tries, 163212853 fired transitions, 2095 secs || 7789569 markings, 11992793 edges, 4265 markings/sec, 2095 secs
lola: 164 tries, 163589081 fired transitions, 2100 secs || 7810861 markings, 12025599 edges, 4258 markings/sec, 2100 secs
lola: 164 tries, 163964695 fired transitions, 2105 secs || 7832044 markings, 12058187 edges, 4237 markings/sec, 2105 secs
lola: 165 tries, 164346062 fired transitions, 2110 secs || 7854350 markings, 12092582 edges, 4461 markings/sec, 2110 secs
lola: 165 tries, 164721748 fired transitions, 2115 secs || 7877047 markings, 12127629 edges, 4539 markings/sec, 2115 secs
lola: 166 tries, 165097408 fired transitions, 2120 secs || 7899764 markings, 12162683 edges, 4543 markings/sec, 2120 secs
lola: 166 tries, 165484394 fired transitions, 2125 secs || 7922900 markings, 12198414 edges, 4627 markings/sec, 2125 secs
lola: 166 tries, 165873112 fired transitions, 2130 secs || 7946202 markings, 12234194 edges, 4660 markings/sec, 2130 secs
lola: 167 tries, 166248893 fired transitions, 2135 secs || 7968816 markings, 12269130 edges, 4523 markings/sec, 2135 secs
lola: 167 tries, 166624681 fired transitions, 2140 secs || 7991541 markings, 12304172 edges, 4545 markings/sec, 2140 secs
lola: 168 tries, 167014915 fired transitions, 2145 secs || 8015033 markings, 12340486 edges, 4698 markings/sec, 2145 secs
lola: 168 tries, 167412685 fired transitions, 2150 secs || 8038857 markings, 12377154 edges, 4765 markings/sec, 2150 secs
lola: 168 tries, 167818274 fired transitions, 2155 secs || 8063042 markings, 12414364 edges, 4837 markings/sec, 2155 secs
lola: 169 tries, 168215791 fired transitions, 2160 secs || 8086720 markings, 12450944 edges, 4736 markings/sec, 2160 secs
lola: 169 tries, 168618879 fired transitions, 2165 secs || 8110707 markings, 12487937 edges, 4797 markings/sec, 2165 secs
lola: 170 tries, 169012252 fired transitions, 2170 secs || 8134162 markings, 12524158 edges, 4691 markings/sec, 2170 secs
lola: 170 tries, 169388086 fired transitions, 2175 secs || 8156634 markings, 12558751 edges, 4494 markings/sec, 2175 secs
lola: 170 tries, 169764121 fired transitions, 2180 secs || 8178122 markings, 12591941 edges, 4298 markings/sec, 2180 secs
lola: 171 tries, 170158362 fired transitions, 2185 secs || 8199263 markings, 12624596 edges, 4228 markings/sec, 2185 secs
lola: 171 tries, 170551302 fired transitions, 2190 secs || 8220393 markings, 12657218 edges, 4226 markings/sec, 2190 secs
lola: 171 tries, 170937686 fired transitions, 2195 secs || 8241371 markings, 12689548 edges, 4196 markings/sec, 2195 secs
lola: 172 tries, 171315900 fired transitions, 2200 secs || 8261850 markings, 12721079 edges, 4096 markings/sec, 2200 secs
lola: 172 tries, 171692374 fired transitions, 2205 secs || 8282131 markings, 12752328 edges, 4056 markings/sec, 2205 secs
lola: 173 tries, 172068822 fired transitions, 2210 secs || 8302474 markings, 12783684 edges, 4069 markings/sec, 2210 secs
lola: 173 tries, 172465456 fired transitions, 2215 secs || 8323776 markings, 12816602 edges, 4260 markings/sec, 2215 secs
lola: 173 tries, 172862650 fired transitions, 2220 secs || 8345319 markings, 12849908 edges, 4309 markings/sec, 2220 secs
lola: 174 tries, 173260471 fired transitions, 2225 secs || 8366871 markings, 12883087 edges, 4310 markings/sec, 2225 secs
lola: 174 tries, 173646996 fired transitions, 2230 secs || 8387801 markings, 12915241 edges, 4186 markings/sec, 2230 secs
lola: 175 tries, 174027871 fired transitions, 2235 secs || 8408637 markings, 12947432 edges, 4167 markings/sec, 2235 secs
lola: 175 tries, 174405813 fired transitions, 2240 secs || 8429479 markings, 12979578 edges, 4168 markings/sec, 2240 secs
lola: 175 tries, 174782060 fired transitions, 2245 secs || 8450249 markings, 13011670 edges, 4154 markings/sec, 2245 secs
lola: 176 tries, 175158360 fired transitions, 2250 secs || 8470922 markings, 13043594 edges, 4135 markings/sec, 2250 secs
lola: 176 tries, 175534559 fired transitions, 2255 secs || 8491640 markings, 13075418 edges, 4144 markings/sec, 2255 secs
lola: 176 tries, 175916272 fired transitions, 2260 secs || 8512031 markings, 13106907 edges, 4078 markings/sec, 2260 secs
lola: 177 tries, 176292765 fired transitions, 2265 secs || 8532413 markings, 13138371 edges, 4076 markings/sec, 2265 secs
lola: 177 tries, 176668839 fired transitions, 2270 secs || 8552738 markings, 13169800 edges, 4065 markings/sec, 2270 secs
lola: 178 tries, 177045277 fired transitions, 2275 secs || 8573296 markings, 13201508 edges, 4112 markings/sec, 2275 secs
lola: 178 tries, 177421723 fired transitions, 2280 secs || 8593824 markings, 13233068 edges, 4106 markings/sec, 2280 secs
lola: 178 tries, 177798194 fired transitions, 2285 secs || 8614217 markings, 13264483 edges, 4079 markings/sec, 2285 secs
lola: 179 tries, 178178542 fired transitions, 2290 secs || 8634751 markings, 13296193 edges, 4107 markings/sec, 2290 secs
lola: 179 tries, 178560700 fired transitions, 2295 secs || 8655407 markings, 13328082 edges, 4131 markings/sec, 2295 secs
lola: 179 tries, 178957091 fired transitions, 2300 secs || 8676958 markings, 13361321 edges, 4310 markings/sec, 2300 secs
lola: 180 tries, 179355226 fired transitions, 2305 secs || 8698535 markings, 13394581 edges, 4315 markings/sec, 2305 secs
lola: 180 tries, 179742318 fired transitions, 2310 secs || 8719489 markings, 13426927 edges, 4191 markings/sec, 2310 secs
lola: 181 tries, 180139749 fired transitions, 2315 secs || 8741352 markings, 13460590 edges, 4373 markings/sec, 2315 secs
lola: 181 tries, 180545187 fired transitions, 2320 secs || 8763567 markings, 13494831 edges, 4443 markings/sec, 2320 secs
lola: 181 tries, 180947035 fired transitions, 2325 secs || 8785696 markings, 13529001 edges, 4426 markings/sec, 2325 secs
lola: 182 tries, 181345826 fired transitions, 2330 secs || 8807502 markings, 13562598 edges, 4361 markings/sec, 2330 secs
lola: 182 tries, 181740371 fired transitions, 2335 secs || 8828998 markings, 13595706 edges, 4299 markings/sec, 2335 secs
lola: 183 tries, 182134939 fired transitions, 2340 secs || 8852524 markings, 13632052 edges, 4705 markings/sec, 2340 secs
lola: 183 tries, 182532037 fired transitions, 2345 secs || 8876227 markings, 13668612 edges, 4741 markings/sec, 2345 secs
lola: 183 tries, 182927875 fired transitions, 2350 secs || 8899971 markings, 13705283 edges, 4749 markings/sec, 2350 secs
lola: 184 tries, 183322417 fired transitions, 2355 secs || 8923454 markings, 13741446 edges, 4697 markings/sec, 2355 secs
lola: 184 tries, 183708627 fired transitions, 2360 secs || 8946419 markings, 13776888 edges, 4593 markings/sec, 2360 secs
lola: 185 tries, 184084394 fired transitions, 2365 secs || 8969056 markings, 13811803 edges, 4527 markings/sec, 2365 secs
lola: 185 tries, 184459911 fired transitions, 2370 secs || 8991720 markings, 13846772 edges, 4533 markings/sec, 2370 secs
lola: 185 tries, 184839635 fired transitions, 2375 secs || 9014493 markings, 13881956 edges, 4555 markings/sec, 2375 secs
lola: 186 tries, 185236302 fired transitions, 2380 secs || 9038134 markings, 13918356 edges, 4728 markings/sec, 2380 secs
lola: 186 tries, 185630103 fired transitions, 2385 secs || 9061502 markings, 13954460 edges, 4674 markings/sec, 2385 secs
lola: 187 tries, 186022454 fired transitions, 2390 secs || 9084903 markings, 13990508 edges, 4680 markings/sec, 2390 secs
lola: 187 tries, 186414506 fired transitions, 2395 secs || 9108281 markings, 14026634 edges, 4676 markings/sec, 2395 secs
lola: 187 tries, 186804379 fired transitions, 2400 secs || 9131465 markings, 14062382 edges, 4637 markings/sec, 2400 secs
lola: 188 tries, 187189923 fired transitions, 2405 secs || 9154303 markings, 14097623 edges, 4568 markings/sec, 2405 secs
lola: 188 tries, 187577344 fired transitions, 2410 secs || 9175488 markings, 14130278 edges, 4237 markings/sec, 2410 secs
lola: 188 tries, 187961191 fired transitions, 2415 secs || 9196021 markings, 14161974 edges, 4107 markings/sec, 2415 secs
lola: 189 tries, 188352173 fired transitions, 2420 secs || 9217039 markings, 14194413 edges, 4204 markings/sec, 2420 secs
lola: 189 tries, 188736710 fired transitions, 2425 secs || 9237693 markings, 14226307 edges, 4131 markings/sec, 2425 secs
lola: 190 tries, 189113153 fired transitions, 2430 secs || 9258066 markings, 14257602 edges, 4075 markings/sec, 2430 secs
lola: 190 tries, 189489735 fired transitions, 2435 secs || 9277860 markings, 14288171 edges, 3959 markings/sec, 2435 secs
lola: 190 tries, 189873139 fired transitions, 2440 secs || 9298170 markings, 14319509 edges, 4062 markings/sec, 2440 secs
lola: 191 tries, 190254437 fired transitions, 2445 secs || 9318521 markings, 14350923 edges, 4070 markings/sec, 2445 secs
lola: 191 tries, 190630925 fired transitions, 2450 secs || 9338704 markings, 14382057 edges, 4037 markings/sec, 2450 secs
lola: 192 tries, 191007425 fired transitions, 2455 secs || 9358851 markings, 14413020 edges, 4029 markings/sec, 2455 secs
lola: 192 tries, 191393199 fired transitions, 2460 secs || 9379586 markings, 14444921 edges, 4147 markings/sec, 2460 secs
lola: 192 tries, 191793545 fired transitions, 2465 secs || 9401632 markings, 14479006 edges, 4409 markings/sec, 2465 secs
lola: 193 tries, 192193921 fired transitions, 2470 secs || 9423669 markings, 14512970 edges, 4407 markings/sec, 2470 secs
lola: 193 tries, 192591664 fired transitions, 2475 secs || 9445690 markings, 14546979 edges, 4404 markings/sec, 2475 secs
lola: 193 tries, 192976511 fired transitions, 2480 secs || 9466943 markings, 14579712 edges, 4251 markings/sec, 2480 secs
lola: 194 tries, 193352811 fired transitions, 2485 secs || 9487643 markings, 14611577 edges, 4140 markings/sec, 2485 secs
lola: 194 tries, 193729323 fired transitions, 2490 secs || 9507554 markings, 14642345 edges, 3982 markings/sec, 2490 secs
lola: 195 tries, 194105773 fired transitions, 2495 secs || 9527542 markings, 14673215 edges, 3998 markings/sec, 2495 secs
lola: 195 tries, 194481908 fired transitions, 2500 secs || 9547625 markings, 14704198 edges, 4017 markings/sec, 2500 secs
lola: 195 tries, 194858353 fired transitions, 2505 secs || 9567727 markings, 14735235 edges, 4020 markings/sec, 2505 secs
lola: 196 tries, 195234342 fired transitions, 2510 secs || 9588045 markings, 14766406 edges, 4064 markings/sec, 2510 secs
lola: 196 tries, 195610501 fired transitions, 2515 secs || 9607947 markings, 14797127 edges, 3980 markings/sec, 2515 secs
lola: 196 tries, 195986783 fired transitions, 2520 secs || 9627954 markings, 14827994 edges, 4001 markings/sec, 2520 secs
lola: 197 tries, 196365224 fired transitions, 2525 secs || 9648080 markings, 14859092 edges, 4025 markings/sec, 2525 secs
lola: 197 tries, 196741610 fired transitions, 2530 secs || 9668214 markings, 14890168 edges, 4027 markings/sec, 2530 secs
lola: 198 tries, 197118078 fired transitions, 2535 secs || 9688335 markings, 14921099 edges, 4024 markings/sec, 2535 secs
lola: 198 tries, 197499799 fired transitions, 2540 secs || 9708709 markings, 14952506 edges, 4075 markings/sec, 2540 secs
lola: 198 tries, 197889855 fired transitions, 2545 secs || 9729964 markings, 14985250 edges, 4251 markings/sec, 2545 secs
lola: 199 tries, 198269296 fired transitions, 2550 secs || 9750564 markings, 15017091 edges, 4120 markings/sec, 2550 secs
lola: 199 tries, 198645523 fired transitions, 2555 secs || 9771082 markings, 15048725 edges, 4104 markings/sec, 2555 secs
lola: 200 tries, 199025975 fired transitions, 2560 secs || 9791679 markings, 15080498 edges, 4119 markings/sec, 2560 secs
lola: 200 tries, 199406202 fired transitions, 2565 secs || 9812265 markings, 15112165 edges, 4117 markings/sec, 2565 secs
lola: 200 tries, 199783820 fired transitions, 2570 secs || 9834211 markings, 15146069 edges, 4389 markings/sec, 2570 secs
lola: 201 tries, 200159519 fired transitions, 2575 secs || 9856666 markings, 15180770 edges, 4491 markings/sec, 2575 secs
lola: 201 tries, 200535288 fired transitions, 2580 secs || 9879404 markings, 15215819 edges, 4548 markings/sec, 2580 secs
lola: 201 tries, 200917296 fired transitions, 2585 secs || 9902292 markings, 15251109 edges, 4578 markings/sec, 2585 secs
lola: 202 tries, 201293155 fired transitions, 2590 secs || 9924682 markings, 15285595 edges, 4478 markings/sec, 2590 secs
lola: 202 tries, 201679403 fired transitions, 2595 secs || 9947798 markings, 15321256 edges, 4623 markings/sec, 2595 secs
lola: 203 tries, 202064354 fired transitions, 2600 secs || 9970839 markings, 15356821 edges, 4608 markings/sec, 2600 secs
lola: 203 tries, 202449963 fired transitions, 2605 secs || 9994012 markings, 15392598 edges, 4635 markings/sec, 2605 secs
lola: 203 tries, 202827534 fired transitions, 2610 secs || 10016582 markings, 15427428 edges, 4514 markings/sec, 2610 secs
lola: 204 tries, 203203328 fired transitions, 2615 secs || 10039056 markings, 15461982 edges, 4495 markings/sec, 2615 secs
lola: 204 tries, 203579185 fired transitions, 2620 secs || 10061410 markings, 15496535 edges, 4471 markings/sec, 2620 secs
lola: 204 tries, 203968968 fired transitions, 2625 secs || 10084554 markings, 15532211 edges, 4629 markings/sec, 2625 secs
lola: 205 tries, 204349448 fired transitions, 2630 secs || 10107227 markings, 15567251 edges, 4535 markings/sec, 2630 secs
lola: 205 tries, 204725295 fired transitions, 2635 secs || 10129535 markings, 15601586 edges, 4462 markings/sec, 2635 secs
lola: 206 tries, 205101264 fired transitions, 2640 secs || 10151466 markings, 15635447 edges, 4386 markings/sec, 2640 secs
lola: 206 tries, 205479007 fired transitions, 2645 secs || 10172702 markings, 15668208 edges, 4247 markings/sec, 2645 secs
lola: 206 tries, 205861953 fired transitions, 2650 secs || 10194153 markings, 15701334 edges, 4290 markings/sec, 2650 secs
lola: 207 tries, 206237968 fired transitions, 2655 secs || 10215429 markings, 15734151 edges, 4255 markings/sec, 2655 secs
lola: 207 tries, 206614112 fired transitions, 2660 secs || 10236417 markings, 15766572 edges, 4198 markings/sec, 2660 secs
lola: 207 tries, 206990203 fired transitions, 2665 secs || 10257355 markings, 15798771 edges, 4188 markings/sec, 2665 secs
lola: 208 tries, 207366323 fired transitions, 2670 secs || 10278582 markings, 15831559 edges, 4245 markings/sec, 2670 secs
lola: 208 tries, 207767160 fired transitions, 2675 secs || 10300971 markings, 15866191 edges, 4478 markings/sec, 2675 secs
lola: 209 tries, 208153830 fired transitions, 2680 secs || 10322887 markings, 15899953 edges, 4383 markings/sec, 2680 secs
lola: 209 tries, 208534761 fired transitions, 2685 secs || 10344190 markings, 15932868 edges, 4261 markings/sec, 2685 secs
lola: 209 tries, 208910756 fired transitions, 2690 secs || 10365229 markings, 15965200 edges, 4208 markings/sec, 2690 secs
lola: 210 tries, 209286101 fired transitions, 2695 secs || 10386162 markings, 15997505 edges, 4187 markings/sec, 2695 secs
lola: 210 tries, 209662055 fired transitions, 2700 secs || 10407163 markings, 16029971 edges, 4200 markings/sec, 2700 secs
lola: 211 tries, 210038007 fired transitions, 2705 secs || 10428416 markings, 16062750 edges, 4251 markings/sec, 2705 secs
lola: 211 tries, 210414170 fired transitions, 2710 secs || 10449377 markings, 16095129 edges, 4192 markings/sec, 2710 secs
lola: 211 tries, 210790246 fired transitions, 2715 secs || 10470339 markings, 16127385 edges, 4192 markings/sec, 2715 secs
lola: 212 tries, 211172849 fired transitions, 2720 secs || 10491877 markings, 16160751 edges, 4308 markings/sec, 2720 secs
lola: 212 tries, 211567781 fired transitions, 2725 secs || 10514308 markings, 16195298 edges, 4486 markings/sec, 2725 secs
lola: 212 tries, 211943832 fired transitions, 2730 secs || 10535919 markings, 16228643 edges, 4322 markings/sec, 2730 secs
lola: 213 tries, 212321457 fired transitions, 2735 secs || 10557296 markings, 16261661 edges, 4275 markings/sec, 2735 secs
lola: 213 tries, 212697663 fired transitions, 2740 secs || 10578506 markings, 16294284 edges, 4242 markings/sec, 2740 secs
lola: 214 tries, 213086959 fired transitions, 2745 secs || 10600521 markings, 16328221 edges, 4403 markings/sec, 2745 secs
lola: 214 tries, 213472040 fired transitions, 2750 secs || 10622410 markings, 16362015 edges, 4378 markings/sec, 2750 secs
lola: 214 tries, 213851138 fired transitions, 2755 secs || 10644171 markings, 16395604 edges, 4352 markings/sec, 2755 secs
lola: 215 tries, 214241325 fired transitions, 2760 secs || 10666293 markings, 16429744 edges, 4424 markings/sec, 2760 secs
lola: 215 tries, 214617520 fired transitions, 2765 secs || 10687576 markings, 16462484 edges, 4257 markings/sec, 2765 secs
lola: 215 tries, 214993845 fired transitions, 2770 secs || 10708799 markings, 16495284 edges, 4245 markings/sec, 2770 secs
lola: 216 tries, 215370022 fired transitions, 2775 secs || 10730074 markings, 16528175 edges, 4255 markings/sec, 2775 secs
lola: 216 tries, 215746210 fired transitions, 2780 secs || 10751563 markings, 16561281 edges, 4298 markings/sec, 2780 secs
lola: 217 tries, 216132760 fired transitions, 2785 secs || 10773366 markings, 16594959 edges, 4361 markings/sec, 2785 secs
lola: 217 tries, 216528882 fired transitions, 2790 secs || 10795571 markings, 16629179 edges, 4441 markings/sec, 2790 secs
lola: 217 tries, 216925571 fired transitions, 2795 secs || 10818445 markings, 16664465 edges, 4575 markings/sec, 2795 secs
lola: 218 tries, 217320504 fired transitions, 2800 secs || 10841892 markings, 16700663 edges, 4689 markings/sec, 2800 secs
lola: 218 tries, 217718550 fired transitions, 2805 secs || 10865579 markings, 16737278 edges, 4737 markings/sec, 2805 secs
lola: 219 tries, 218119877 fired transitions, 2810 secs || 10889280 markings, 16773770 edges, 4740 markings/sec, 2810 secs
lola: 219 tries, 218517217 fired transitions, 2815 secs || 10912747 markings, 16809912 edges, 4693 markings/sec, 2815 secs
lola: 219 tries, 218897321 fired transitions, 2820 secs || 10935364 markings, 16844867 edges, 4523 markings/sec, 2820 secs
lola: 220 tries, 219273186 fired transitions, 2825 secs || 10957786 markings, 16879464 edges, 4484 markings/sec, 2825 secs
lola: 220 tries, 219648798 fired transitions, 2830 secs || 10980292 markings, 16914197 edges, 4501 markings/sec, 2830 secs
lola: 221 tries, 220030504 fired transitions, 2835 secs || 11002927 markings, 16949134 edges, 4527 markings/sec, 2835 secs
lola: 221 tries, 220406261 fired transitions, 2840 secs || 11025201 markings, 16983481 edges, 4455 markings/sec, 2840 secs
lola: 221 tries, 220782035 fired transitions, 2845 secs || 11047507 markings, 17017899 edges, 4461 markings/sec, 2845 secs
lola: 222 tries, 221169321 fired transitions, 2850 secs || 11070309 markings, 17053159 edges, 4560 markings/sec, 2850 secs
lola: 222 tries, 221545264 fired transitions, 2855 secs || 11092649 markings, 17087666 edges, 4468 markings/sec, 2855 secs
lola: 222 tries, 221920481 fired transitions, 2860 secs || 11114766 markings, 17121731 edges, 4423 markings/sec, 2860 secs
lola: 223 tries, 222309698 fired transitions, 2865 secs || 11138043 markings, 17156608 edges, 4655 markings/sec, 2865 secs
lola: 223 tries, 222718878 fired transitions, 2870 secs || 11160552 markings, 17191902 edges, 4502 markings/sec, 2870 secs
lola: 224 tries, 223125800 fired transitions, 2875 secs || 11183219 markings, 17227000 edges, 4533 markings/sec, 2875 secs
lola: 224 tries, 223534179 fired transitions, 2880 secs || 11206689 markings, 17262381 edges, 4694 markings/sec, 2880 secs
lola: 224 tries, 223936402 fired transitions, 2885 secs || 11228857 markings, 17297154 edges, 4434 markings/sec, 2885 secs
lola: 225 tries, 224349249 fired transitions, 2890 secs || 11251311 markings, 17331404 edges, 4491 markings/sec, 2890 secs
lola: 225 tries, 224755346 fired transitions, 2895 secs || 11274801 markings, 17367119 edges, 4698 markings/sec, 2895 secs
lola: 226 tries, 225151314 fired transitions, 2900 secs || 11296845 markings, 17401132 edges, 4409 markings/sec, 2900 secs
lola: 226 tries, 225567566 fired transitions, 2905 secs || 11320406 markings, 17437832 edges, 4712 markings/sec, 2905 secs
lola: 226 tries, 225953117 fired transitions, 2910 secs || 11341004 markings, 17469625 edges, 4120 markings/sec, 2910 secs
lola: 227 tries, 226329046 fired transitions, 2915 secs || 11360905 markings, 17500351 edges, 3980 markings/sec, 2915 secs
lola: 227 tries, 226720998 fired transitions, 2920 secs || 11382751 markings, 17532956 edges, 4369 markings/sec, 2920 secs
lola: 228 tries, 227139268 fired transitions, 2925 secs || 11405998 markings, 17569256 edges, 4649 markings/sec, 2925 secs
lola: 228 tries, 227559598 fired transitions, 2930 secs || 11429369 markings, 17605447 edges, 4674 markings/sec, 2930 secs
lola: 228 tries, 227975706 fired transitions, 2935 secs || 11453019 markings, 17641992 edges, 4730 markings/sec, 2935 secs
lola: 229 tries, 228389458 fired transitions, 2940 secs || 11475573 markings, 17676665 edges, 4511 markings/sec, 2940 secs
lola: 229 tries, 228807341 fired transitions, 2945 secs || 11499038 markings, 17712790 edges, 4693 markings/sec, 2945 secs
lola: 230 tries, 229227902 fired transitions, 2950 secs || 11522849 markings, 17749296 edges, 4762 markings/sec, 2950 secs
lola: 230 tries, 229637157 fired transitions, 2955 secs || 11546079 markings, 17784803 edges, 4646 markings/sec, 2955 secs
lola: 231 tries, 230029910 fired transitions, 2960 secs || 11568397 markings, 17819281 edges, 4464 markings/sec, 2960 secs
lola: 231 tries, 230406113 fired transitions, 2965 secs || 11588273 markings, 17849958 edges, 3975 markings/sec, 2965 secs
lola: 231 tries, 230782451 fired transitions, 2970 secs || 11608493 markings, 17881146 edges, 4044 markings/sec, 2970 secs
lola: 232 tries, 231158386 fired transitions, 2975 secs || 11628727 markings, 17912398 edges, 4047 markings/sec, 2975 secs
lola: 232 tries, 231534485 fired transitions, 2980 secs || 11649229 markings, 17944083 edges, 4100 markings/sec, 2980 secs
lola: 232 tries, 231927117 fired transitions, 2985 secs || 11670569 markings, 17976973 edges, 4268 markings/sec, 2985 secs
lola: 233 tries, 232336144 fired transitions, 2990 secs || 11692787 markings, 18011306 edges, 4444 markings/sec, 2990 secs
lola: 233 tries, 232734748 fired transitions, 2995 secs || 11714415 markings, 18044540 edges, 4326 markings/sec, 2995 secs
lola: 234 tries, 233124503 fired transitions, 3000 secs || 11736021 markings, 18077484 edges, 4321 markings/sec, 3000 secs
lola: 234 tries, 233511078 fired transitions, 3005 secs || 11758183 markings, 18111294 edges, 4432 markings/sec, 3005 secs
lola: 234 tries, 233887127 fired transitions, 3010 secs || 11779098 markings, 18143668 edges, 4183 markings/sec, 3010 secs
lola: 235 tries, 234271715 fired transitions, 3015 secs || 11800947 markings, 18177219 edges, 4370 markings/sec, 3015 secs
lola: 235 tries, 234647810 fired transitions, 3020 secs || 11821661 markings, 18209354 edges, 4143 markings/sec, 3020 secs
lola: 236 tries, 235023888 fired transitions, 3025 secs || 11842700 markings, 18241200 edges, 4208 markings/sec, 3025 secs
lola: 236 tries, 235400004 fired transitions, 3030 secs || 11864593 markings, 18274388 edges, 4379 markings/sec, 3030 secs
lola: 236 tries, 235811559 fired transitions, 3035 secs || 11887262 markings, 18309693 edges, 4534 markings/sec, 3035 secs
lola: 237 tries, 236215797 fired transitions, 3040 secs || 11910354 markings, 18345388 edges, 4618 markings/sec, 3040 secs
lola: 237 tries, 236611725 fired transitions, 3045 secs || 11931407 markings, 18378110 edges, 4211 markings/sec, 3045 secs
lola: 238 tries, 237009247 fired transitions, 3050 secs || 11952623 markings, 18410957 edges, 4243 markings/sec, 3050 secs
lola: 238 tries, 237414780 fired transitions, 3055 secs || 11974880 markings, 18445087 edges, 4451 markings/sec, 3055 secs
lola: 238 tries, 237812456 fired transitions, 3060 secs || 11997837 markings, 18479912 edges, 4591 markings/sec, 3060 secs
lola: 239 tries, 238209573 fired transitions, 3065 secs || 12019755 markings, 18513970 edges, 4384 markings/sec, 3065 secs
lola: 239 tries, 238594924 fired transitions, 3070 secs || 12042245 markings, 18547923 edges, 4498 markings/sec, 3070 secs
lola: 239 tries, 238987505 fired transitions, 3075 secs || 12063318 markings, 18581121 edges, 4215 markings/sec, 3075 secs
lola: 240 tries, 239372671 fired transitions, 3080 secs || 12085058 markings, 18614256 edges, 4348 markings/sec, 3080 secs
lola: 240 tries, 239755132 fired transitions, 3085 secs || 12106962 markings, 18647848 edges, 4381 markings/sec, 3085 secs
lola: 241 tries, 240131023 fired transitions, 3090 secs || 12128537 markings, 18680368 edges, 4315 markings/sec, 3090 secs
lola: 241 tries, 240512734 fired transitions, 3095 secs || 12150091 markings, 18714233 edges, 4311 markings/sec, 3095 secs
lola: 241 tries, 240896279 fired transitions, 3100 secs || 12170582 markings, 18746077 edges, 4098 markings/sec, 3100 secs
lola: 242 tries, 241277493 fired transitions, 3105 secs || 12191109 markings, 18777695 edges, 4105 markings/sec, 3105 secs
lola: 242 tries, 241657983 fired transitions, 3110 secs || 12211753 markings, 18809522 edges, 4129 markings/sec, 3110 secs
lola: 243 tries, 242039618 fired transitions, 3115 secs || 12232624 markings, 18841729 edges, 4174 markings/sec, 3115 secs
lola: 243 tries, 242423512 fired transitions, 3120 secs || 12253673 markings, 18874236 edges, 4210 markings/sec, 3120 secs
lola: 243 tries, 242806448 fired transitions, 3125 secs || 12274751 markings, 18906827 edges, 4216 markings/sec, 3125 secs
lola: 244 tries, 243191237 fired transitions, 3130 secs || 12295900 markings, 18939370 edges, 4230 markings/sec, 3130 secs
lola: 244 tries, 243571669 fired transitions, 3135 secs || 12316809 markings, 18971555 edges, 4182 markings/sec, 3135 secs
lola: 244 tries, 243947414 fired transitions, 3140 secs || 12338526 markings, 19005002 edges, 4343 markings/sec, 3140 secs
lola: 245 tries, 244324199 fired transitions, 3145 secs || 12360556 markings, 19039057 edges, 4406 markings/sec, 3145 secs
lola: 245 tries, 244706499 fired transitions, 3150 secs || 12382910 markings, 19073561 edges, 4471 markings/sec, 3150 secs
lola: 246 tries, 245087870 fired transitions, 3155 secs || 12405168 markings, 19107925 edges, 4452 markings/sec, 3155 secs
lola: 246 tries, 245464947 fired transitions, 3160 secs || 12427303 markings, 19141831 edges, 4427 markings/sec, 3160 secs
lola: 246 tries, 245849295 fired transitions, 3165 secs || 12449675 markings, 19176389 edges, 4474 markings/sec, 3165 secs
lola: 247 tries, 246236129 fired transitions, 3170 secs || 12472296 markings, 19211319 edges, 4524 markings/sec, 3170 secs
lola: 247 tries, 246614816 fired transitions, 3175 secs || 12494501 markings, 19245556 edges, 4441 markings/sec, 3175 secs
lola: 248 tries, 247001632 fired transitions, 3180 secs || 12517098 markings, 19280405 edges, 4519 markings/sec, 3180 secs
lola: 248 tries, 247392071 fired transitions, 3185 secs || 12539978 markings, 19315504 edges, 4576 markings/sec, 3185 secs
lola: 248 tries, 247785276 fired transitions, 3190 secs || 12563086 markings, 19351184 edges, 4622 markings/sec, 3190 secs
lola: 249 tries, 248179250 fired transitions, 3195 secs || 12586244 markings, 19386968 edges, 4632 markings/sec, 3195 secs
lola: 249 tries, 248571057 fired transitions, 3200 secs || 12609358 markings, 19422612 edges, 4623 markings/sec, 3200 secs
lola: 249 tries, 248946746 fired transitions, 3205 secs || 12631402 markings, 19456658 edges, 4409 markings/sec, 3205 secs
lola: 250 tries, 249322438 fired transitions, 3210 secs || 12653848 markings, 19490385 edges, 4489 markings/sec, 3210 secs
lola: 250 tries, 249698484 fired transitions, 3215 secs || 12675062 markings, 19523690 edges, 4243 markings/sec, 3215 secs
lola: 251 tries, 250076952 fired transitions, 3220 secs || 12697296 markings, 19557129 edges, 4447 markings/sec, 3220 secs
lola: 251 tries, 250454837 fired transitions, 3225 secs || 12718425 markings, 19589960 edges, 4226 markings/sec, 3225 secs
lola: 251 tries, 250830622 fired transitions, 3230 secs || 12740180 markings, 19623072 edges, 4351 markings/sec, 3230 secs
lola: 252 tries, 251206715 fired transitions, 3235 secs || 12759853 markings, 19654030 edges, 3935 markings/sec, 3235 secs
lola: 252 tries, 251582476 fired transitions, 3240 secs || 12781665 markings, 19687115 edges, 4362 markings/sec, 3240 secs
lola: 252 tries, 251958238 fired transitions, 3245 secs || 12802927 markings, 19720250 edges, 4252 markings/sec, 3245 secs
lola: 253 tries, 252334134 fired transitions, 3250 secs || 12824498 markings, 19753412 edges, 4314 markings/sec, 3250 secs
lola: 253 tries, 252710002 fired transitions, 3255 secs || 12846232 markings, 19786792 edges, 4347 markings/sec, 3255 secs
lola: 254 tries, 253086375 fired transitions, 3260 secs || 12866312 markings, 19817815 edges, 4016 markings/sec, 3260 secs
lola: 254 tries, 253462664 fired transitions, 3265 secs || 12886703 markings, 19849271 edges, 4078 markings/sec, 3265 secs
lola: 254 tries, 253838731 fired transitions, 3270 secs || 12907796 markings, 19881558 edges, 4219 markings/sec, 3270 secs
lola: 255 tries, 254214566 fired transitions, 3275 secs || 12929679 markings, 19914988 edges, 4377 markings/sec, 3275 secs
lola: 255 tries, 254592842 fired transitions, 3280 secs || 12951175 markings, 19948337 edges, 4299 markings/sec, 3280 secs
lola: 255 tries, 254968835 fired transitions, 3285 secs || 12972703 markings, 19981488 edges, 4306 markings/sec, 3285 secs
lola: 256 tries, 255344743 fired transitions, 3290 secs || 12994482 markings, 20014884 edges, 4356 markings/sec, 3290 secs
lola: 256 tries, 255720973 fired transitions, 3295 secs || 13015052 markings, 20046507 edges, 4114 markings/sec, 3295 secs
lola: 257 tries, 256097677 fired transitions, 3300 secs || 13037145 markings, 20079947 edges, 4419 markings/sec, 3300 secs
lola: 257 tries, 256476104 fired transitions, 3305 secs || 13058800 markings, 20113320 edges, 4331 markings/sec, 3305 secs
lola: 257 tries, 256853832 fired transitions, 3310 secs || 13080436 markings, 20146828 edges, 4327 markings/sec, 3310 secs
lola: 258 tries, 257230915 fired transitions, 3315 secs || 13101686 markings, 20179676 edges, 4250 markings/sec, 3315 secs
lola: 258 tries, 257607828 fired transitions, 3320 secs || 13122013 markings, 20211076 edges, 4065 markings/sec, 3320 secs
lola: 258 tries, 257985132 fired transitions, 3325 secs || 13142566 markings, 20242770 edges, 4111 markings/sec, 3325 secs
lola: 259 tries, 258361970 fired transitions, 3330 secs || 13163358 markings, 20274857 edges, 4158 markings/sec, 3330 secs
lola: 259 tries, 258737744 fired transitions, 3335 secs || 13184280 markings, 20307172 edges, 4184 markings/sec, 3335 secs
lola: 260 tries, 259113949 fired transitions, 3340 secs || 13205221 markings, 20339494 edges, 4188 markings/sec, 3340 secs
lola: 260 tries, 259489721 fired transitions, 3345 secs || 13226219 markings, 20371885 edges, 4200 markings/sec, 3345 secs
lola: 260 tries, 259865969 fired transitions, 3350 secs || 13247155 markings, 20404085 edges, 4187 markings/sec, 3350 secs
lola: 261 tries, 260241640 fired transitions, 3355 secs || 13268270 markings, 20436551 edges, 4223 markings/sec, 3355 secs
lola: 261 tries, 260626600 fired transitions, 3360 secs || 13290742 markings, 20470337 edges, 4494 markings/sec, 3360 secs
lola: 262 tries, 261013873 fired transitions, 3365 secs || 13312039 markings, 20503824 edges, 4259 markings/sec, 3365 secs
lola: 262 tries, 261389446 fired transitions, 3370 secs || 13333740 markings, 20536757 edges, 4340 markings/sec, 3370 secs
lola: 262 tries, 261765572 fired transitions, 3375 secs || 13354797 markings, 20569444 edges, 4211 markings/sec, 3375 secs
lola: 263 tries, 262141790 fired transitions, 3380 secs || 13375703 markings, 20601146 edges, 4181 markings/sec, 3380 secs
lola: 263 tries, 262517916 fired transitions, 3385 secs || 13396986 markings, 20634342 edges, 4257 markings/sec, 3385 secs
lola: 263 tries, 262895300 fired transitions, 3390 secs || 13418532 markings, 20667171 edges, 4309 markings/sec, 3390 secs
lola: 264 tries, 263272677 fired transitions, 3395 secs || 13440578 markings, 20700734 edges, 4409 markings/sec, 3395 secs
lola: 264 tries, 263650205 fired transitions, 3400 secs || 13461228 markings, 20733110 edges, 4130 markings/sec, 3400 secs
lola: 265 tries, 264029644 fired transitions, 3405 secs || 13481747 markings, 20764759 edges, 4104 markings/sec, 3405 secs
lola: 265 tries, 264405501 fired transitions, 3410 secs || 13502332 markings, 20796508 edges, 4117 markings/sec, 3410 secs
lola: 265 tries, 264783273 fired transitions, 3415 secs || 13524480 markings, 20829862 edges, 4430 markings/sec, 3415 secs
lola: 266 tries, 265159291 fired transitions, 3420 secs || 13545682 markings, 20863074 edges, 4240 markings/sec, 3420 secs
lola: 266 tries, 265534888 fired transitions, 3425 secs || 13567114 markings, 20895691 edges, 4286 markings/sec, 3425 secs
lola: 266 tries, 265910454 fired transitions, 3430 secs || 13588980 markings, 20929097 edges, 4373 markings/sec, 3430 secs
lola: 267 tries, 266286414 fired transitions, 3435 secs || 13609519 markings, 20961260 edges, 4108 markings/sec, 3435 secs
lola: 267 tries, 266661380 fired transitions, 3440 secs || 13631098 markings, 20993753 edges, 4316 markings/sec, 3440 secs
lola: 268 tries, 267045588 fired transitions, 3445 secs || 13652892 markings, 21027754 edges, 4359 markings/sec, 3445 secs
lola: 268 tries, 267436494 fired transitions, 3450 secs || 13675571 markings, 21061889 edges, 4536 markings/sec, 3450 secs
lola: 268 tries, 267815205 fired transitions, 3455 secs || 13696990 markings, 21095660 edges, 4284 markings/sec, 3455 secs
lola: 269 tries, 268191413 fired transitions, 3460 secs || 13717531 markings, 21127308 edges, 4108 markings/sec, 3460 secs
lola: 269 tries, 268567469 fired transitions, 3465 secs || 13738014 markings, 21158938 edges, 4097 markings/sec, 3465 secs
lola: 269 tries, 268943254 fired transitions, 3470 secs || 13758690 markings, 21190818 edges, 4135 markings/sec, 3470 secs
lola: 270 tries, 269319828 fired transitions, 3475 secs || 13779434 markings, 21222953 edges, 4149 markings/sec, 3475 secs
lola: 270 tries, 269695901 fired transitions, 3480 secs || 13800461 markings, 21255332 edges, 4205 markings/sec, 3480 secs
lola: 271 tries, 270072066 fired transitions, 3485 secs || 13821576 markings, 21287898 edges, 4223 markings/sec, 3485 secs
lola: 271 tries, 270448315 fired transitions, 3490 secs || 13842577 markings, 21320259 edges, 4200 markings/sec, 3490 secs
lola: 271 tries, 270824518 fired transitions, 3495 secs || 13863585 markings, 21352567 edges, 4202 markings/sec, 3495 secs
lola: 272 tries, 271200331 fired transitions, 3500 secs || 13885396 markings, 21386235 edges, 4362 markings/sec, 3500 secs
lola: 272 tries, 271576100 fired transitions, 3505 secs || 13907341 markings, 21420083 edges, 4389 markings/sec, 3505 secs
lola: 272 tries, 271952695 fired transitions, 3510 secs || 13929395 markings, 21454176 edges, 4411 markings/sec, 3510 secs
lola: 273 tries, 272328844 fired transitions, 3515 secs || 13951544 markings, 21488234 edges, 4430 markings/sec, 3515 secs
lola: 273 tries, 272714275 fired transitions, 3520 secs || 13974133 markings, 21522964 edges, 4518 markings/sec, 3520 secs
lola: 274 tries, 273091096 fired transitions, 3525 secs || 13996198 markings, 21557050 edges, 4413 markings/sec, 3525 secs
lola: 274 tries, 273466772 fired transitions, 3530 secs || 14018349 markings, 21591239 edges, 4430 markings/sec, 3530 secs
lola: 274 tries, 273842511 fired transitions, 3535 secs || 14040493 markings, 21625411 edges, 4429 markings/sec, 3535 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552516505428

--------------------
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="BART-COL-050"
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 BART-COL-050, 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 r016-csrt-155225065300300"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-050.tgz
mv BART-COL-050 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 ;