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-155225065300309.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-060, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065300309
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.9K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.2K Feb 4 22:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 219K 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-060-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552513982224

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-COL-060 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ BART-COL-060
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: 25133, Transitions: 18420
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: 43553/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 804256
lola: finding significant places
lola: 25133 places, 18420 transitions, 11820 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 343429 fired transitions, 0 secs
lola: 0 generators;315670917 candidates remain ( 0%), 0 secs
lola: 1 tries, 702775 fired transitions, 5 secs
lola: 23 generators;315670894 candidates remain ( 0%), 5 secs
lola: 2 tries, 1065600 fired transitions, 10 secs
lola: 322 generators;314942645 candidates remain ( 0%), 10 secs
lola: 2 tries, 1428200 fired transitions, 15 secs
lola: 358 generators;313764190 candidates remain ( 0%), 15 secs
lola: 2 tries, 1790786 fired transitions, 20 secs
lola: 383 generators;313764165 candidates remain ( 0%), 20 secs
lola: 3 tries, 2120305 fired transitions, 25 secs
lola: 383 generators;313764165 candidates remain ( 0%), 25 secs
lola: 3 tries, 2454379 fired transitions, 30 secs
lola: 714 generators;313714091 candidates remain ( 0%), 30 secs
lola: 3 tries, 2785253 fired transitions, 35 secs
lola: 714 generators;313714091 candidates remain ( 0%), 35 secs
lola: 4 tries, 3110305 fired transitions, 40 secs
lola: 765 generators;313714040 candidates remain ( 0%), 40 secs
lola: 4 tries, 3437399 fired transitions, 45 secs
lola: 824 generators;313664182 candidates remain ( 0%), 45 secs
lola: 4 tries, 3747655 fired transitions, 50 secs
lola: 832 generators;313639185 candidates remain ( 0%), 50 secs
lola: 5 tries, 4078504 fired transitions, 55 secs
lola: 832 generators;313639185 candidates remain ( 0%), 55 secs
lola: 5 tries, 4417499 fired transitions, 60 secs
lola: 832 generators;313639185 candidates remain ( 0%), 60 secs
lola: 5 tries, 4764774 fired transitions, 65 secs
lola: 832 generators;313639185 candidates remain ( 0%), 65 secs
lola: 6 tries, 5093021 fired transitions, 70 secs
lola: 1425 generators;312462676 candidates remain ( 0%), 70 secs
lola: 6 tries, 5422952 fired transitions, 75 secs
lola: 1425 generators;312462676 candidates remain ( 0%), 75 secs
lola: 6 tries, 5763465 fired transitions, 80 secs
lola: 1492 generators;311363938 candidates remain ( 0%), 80 secs
lola: 7 tries, 6082031 fired transitions, 85 secs
lola: 1492 generators;311363938 candidates remain ( 0%), 85 secs
lola: 7 tries, 6430262 fired transitions, 90 secs
lola: 1492 generators;311363938 candidates remain ( 0%), 90 secs
lola: 7 tries, 6782048 fired transitions, 95 secs
lola: 1541 generators;311339229 candidates remain ( 0%), 95 secs
lola: 8 tries, 7120755 fired transitions, 100 secs
lola: 1600 generators;310142847 candidates remain ( 0%), 100 secs
lola: 8 tries, 7458192 fired transitions, 105 secs
lola: 1600 generators;310142847 candidates remain ( 0%), 105 secs
lola: 8 tries, 7796488 fired transitions, 110 secs
lola: 1600 generators;310142847 candidates remain ( 0%), 110 secs
lola: 9 tries, 8082210 fired transitions, 115 secs
lola: 1600 generators;310142847 candidates remain ( 0%), 115 secs
lola: 9 tries, 8421121 fired transitions, 120 secs
lola: 1894 generators;310117704 candidates remain ( 0%), 120 secs
lola: 9 tries, 8771432 fired transitions, 125 secs
lola: 2189 generators;309470288 candidates remain ( 0%), 125 secs
lola: 10 tries, 9131583 fired transitions, 130 secs
lola: 2189 generators;309470288 candidates remain ( 0%), 130 secs
lola: 10 tries, 9487085 fired transitions, 135 secs
lola: 2189 generators;309470288 candidates remain ( 0%), 135 secs
lola: 10 tries, 9837905 fired transitions, 140 secs
lola: 2189 generators;309470288 candidates remain ( 0%), 140 secs
lola: 11 tries, 10187467 fired transitions, 145 secs
lola: 2482 generators;309445175 candidates remain ( 0%), 145 secs
lola: 11 tries, 10530294 fired transitions, 150 secs
lola: 2482 generators;309445175 candidates remain ( 0%), 150 secs
lola: 11 tries, 10878164 fired transitions, 155 secs
lola: 2538 generators;308972685 candidates remain ( 0%), 155 secs
lola: 12 tries, 11229910 fired transitions, 160 secs
lola: 2538 generators;308972685 candidates remain ( 0%), 160 secs
lola: 12 tries, 11589519 fired transitions, 165 secs
lola: 2574 generators;308972649 candidates remain ( 0%), 165 secs
lola: 12 tries, 11947654 fired transitions, 170 secs
lola: 2574 generators;308972649 candidates remain ( 0%), 170 secs
lola: 13 tries, 12305877 fired transitions, 175 secs
lola: 2574 generators;308972649 candidates remain ( 0%), 175 secs
lola: 13 tries, 12664863 fired transitions, 180 secs
lola: 2574 generators;308972649 candidates remain ( 0%), 180 secs
lola: 14 tries, 13027288 fired transitions, 185 secs
lola: 2606 generators;308972617 candidates remain ( 0%), 185 secs
lola: 14 tries, 13386424 fired transitions, 190 secs
lola: 2628 generators;308947795 candidates remain ( 0%), 190 secs
lola: 14 tries, 13747944 fired transitions, 195 secs
lola: 2628 generators;308947795 candidates remain ( 0%), 195 secs
lola: 15 tries, 14108579 fired transitions, 200 secs
lola: 2628 generators;308947795 candidates remain ( 0%), 200 secs
lola: 15 tries, 14470085 fired transitions, 205 secs
lola: 2628 generators;308947795 candidates remain ( 0%), 205 secs
lola: 15 tries, 14827294 fired transitions, 210 secs
lola: 2686 generators;308922939 candidates remain ( 0%), 210 secs
lola: 16 tries, 15186364 fired transitions, 215 secs
lola: 2712 generators;308898116 candidates remain ( 0%), 215 secs
lola: 16 tries, 15540490 fired transitions, 220 secs
lola: 2712 generators;308898116 candidates remain ( 0%), 220 secs
lola: 16 tries, 15905882 fired transitions, 225 secs
lola: 2712 generators;308898116 candidates remain ( 0%), 225 secs
lola: 17 tries, 16253649 fired transitions, 230 secs
lola: 2770 generators;308873262 candidates remain ( 0%), 230 secs
lola: 17 tries, 16531058 fired transitions, 235 secs
lola: 2821 generators;308873211 candidates remain ( 0%), 235 secs
lola: 17 tries, 16804189 fired transitions, 240 secs
lola: 2821 generators;308873211 candidates remain ( 0%), 240 secs
lola: 18 tries, 17075714 fired transitions, 245 secs
lola: 2888 generators;308252444 candidates remain ( 0%), 245 secs
lola: 18 tries, 17416620 fired transitions, 250 secs
lola: 2888 generators;308252444 candidates remain ( 0%), 250 secs
lola: 18 tries, 17759365 fired transitions, 255 secs
lola: 2888 generators;308252444 candidates remain ( 0%), 255 secs
lola: 19 tries, 18108301 fired transitions, 260 secs
lola: 2888 generators;308252444 candidates remain ( 0%), 260 secs
lola: 19 tries, 18372757 fired transitions, 265 secs
lola: 2901 generators;308252431 candidates remain ( 0%), 265 secs
lola: 19 tries, 18705766 fired transitions, 270 secs
lola: 3193 generators;308227368 candidates remain ( 0%), 270 secs
lola: 20 tries, 19043287 fired transitions, 275 secs
lola: 3193 generators;308227368 candidates remain ( 0%), 275 secs
lola: 20 tries, 19393301 fired transitions, 280 secs
lola: 3193 generators;308227368 candidates remain ( 0%), 280 secs
lola: 20 tries, 19746880 fired transitions, 285 secs
lola: 3239 generators;308202552 candidates remain ( 0%), 285 secs
lola: 21 tries, 20050632 fired transitions, 290 secs
lola: 3239 generators;308202552 candidates remain ( 0%), 290 secs
lola: 21 tries, 20394547 fired transitions, 295 secs
lola: 3283 generators;308202508 candidates remain ( 0%), 295 secs
lola: 21 tries, 20757951 fired transitions, 300 secs
lola: 3283 generators;308202508 candidates remain ( 0%), 300 secs
lola: 22 tries, 21120799 fired transitions, 305 secs
lola: 3283 generators;308202508 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: 22 tries, 21485795 fired transitions, 310 secs
lola: 3283 generators;308202507 candidates remain ( 0%), 310 secs
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 3283 generators (32 in search tree, 3251 by composition)
lola: representing 1.06679E+48 symmetries
lola: 2 dead branches visited in search tree
lola: 22 tries, 21837658 fired transitions, 315 secs || 12959 markings, 17944 edges, 2592 markings/sec, 315 secs
lola: 23 tries, 22188639 fired transitions, 320 secs || 32271 markings, 47871 edges, 3862 markings/sec, 320 secs
lola: 23 tries, 22536126 fired transitions, 325 secs || 51004 markings, 76918 edges, 3747 markings/sec, 325 secs
lola: 23 tries, 22893262 fired transitions, 330 secs || 70655 markings, 107053 edges, 3930 markings/sec, 330 secs
lola: 24 tries, 23254198 fired transitions, 335 secs || 89703 markings, 136439 edges, 3810 markings/sec, 335 secs
lola: 24 tries, 23617279 fired transitions, 340 secs || 108962 markings, 166618 edges, 3852 markings/sec, 340 secs
lola: 24 tries, 23972290 fired transitions, 345 secs || 127554 markings, 195192 edges, 3718 markings/sec, 345 secs
lola: 25 tries, 24333916 fired transitions, 350 secs || 146675 markings, 225035 edges, 3824 markings/sec, 350 secs
lola: 25 tries, 24685021 fired transitions, 355 secs || 166607 markings, 255429 edges, 3986 markings/sec, 355 secs
lola: 26 tries, 25037709 fired transitions, 360 secs || 186649 markings, 285828 edges, 4008 markings/sec, 360 secs
lola: 26 tries, 25384839 fired transitions, 365 secs || 205568 markings, 315857 edges, 3784 markings/sec, 365 secs
lola: 26 tries, 25735710 fired transitions, 370 secs || 225493 markings, 346079 edges, 3985 markings/sec, 370 secs
lola: 27 tries, 26091022 fired transitions, 375 secs || 245370 markings, 376333 edges, 3975 markings/sec, 375 secs
lola: 27 tries, 26447090 fired transitions, 380 secs || 264676 markings, 406924 edges, 3861 markings/sec, 380 secs
lola: 27 tries, 26804199 fired transitions, 385 secs || 284842 markings, 437452 edges, 4033 markings/sec, 385 secs
lola: 28 tries, 27162142 fired transitions, 390 secs || 304939 markings, 468312 edges, 4019 markings/sec, 390 secs
lola: 28 tries, 27516726 fired transitions, 395 secs || 324677 markings, 498943 edges, 3948 markings/sec, 395 secs
lola: 28 tries, 27851783 fired transitions, 400 secs || 343334 markings, 527450 edges, 3731 markings/sec, 400 secs
lola: 29 tries, 28186461 fired transitions, 405 secs || 361737 markings, 555771 edges, 3681 markings/sec, 405 secs
lola: 29 tries, 28519445 fired transitions, 410 secs || 379945 markings, 584605 edges, 3642 markings/sec, 410 secs
lola: 29 tries, 28870917 fired transitions, 415 secs || 400071 markings, 614963 edges, 4025 markings/sec, 415 secs
lola: 30 tries, 29228829 fired transitions, 420 secs || 419743 markings, 645829 edges, 3934 markings/sec, 420 secs
lola: 30 tries, 29587519 fired transitions, 425 secs || 440375 markings, 676875 edges, 4126 markings/sec, 425 secs
lola: 30 tries, 29945806 fired transitions, 430 secs || 460325 markings, 708176 edges, 3990 markings/sec, 430 secs
lola: 31 tries, 30302046 fired transitions, 435 secs || 480661 markings, 739488 edges, 4067 markings/sec, 435 secs
lola: 31 tries, 30658470 fired transitions, 440 secs || 501142 markings, 770736 edges, 4096 markings/sec, 440 secs
lola: 32 tries, 31012797 fired transitions, 445 secs || 520805 markings, 801636 edges, 3933 markings/sec, 445 secs
lola: 32 tries, 31368145 fired transitions, 450 secs || 541232 markings, 832407 edges, 4085 markings/sec, 450 secs
lola: 32 tries, 31717536 fired transitions, 455 secs || 560519 markings, 862753 edges, 3857 markings/sec, 455 secs
lola: 33 tries, 32075452 fired transitions, 460 secs || 580940 markings, 893522 edges, 4084 markings/sec, 460 secs
lola: 33 tries, 32434642 fired transitions, 465 secs || 599819 markings, 923382 edges, 3776 markings/sec, 465 secs
lola: 33 tries, 32782797 fired transitions, 470 secs || 620232 markings, 954259 edges, 4083 markings/sec, 470 secs
lola: 34 tries, 33132570 fired transitions, 475 secs || 638473 markings, 982846 edges, 3648 markings/sec, 475 secs
lola: 34 tries, 33482905 fired transitions, 480 secs || 656305 markings, 1010163 edges, 3566 markings/sec, 480 secs
lola: 34 tries, 33830851 fired transitions, 485 secs || 675144 markings, 1038755 edges, 3768 markings/sec, 485 secs
lola: 35 tries, 34183403 fired transitions, 490 secs || 693810 markings, 1068171 edges, 3733 markings/sec, 490 secs
lola: 35 tries, 34523737 fired transitions, 495 secs || 713658 markings, 1098067 edges, 3970 markings/sec, 495 secs
lola: 35 tries, 34860330 fired transitions, 500 secs || 732346 markings, 1127538 edges, 3738 markings/sec, 500 secs
lola: 36 tries, 35206657 fired transitions, 505 secs || 752194 markings, 1157895 edges, 3970 markings/sec, 505 secs
lola: 36 tries, 35555099 fired transitions, 510 secs || 771000 markings, 1187054 edges, 3761 markings/sec, 510 secs
lola: 36 tries, 35906964 fired transitions, 515 secs || 790123 markings, 1216064 edges, 3825 markings/sec, 515 secs
lola: 37 tries, 36258147 fired transitions, 520 secs || 807878 markings, 1243961 edges, 3551 markings/sec, 520 secs
lola: 37 tries, 36603336 fired transitions, 525 secs || 826360 markings, 1272380 edges, 3696 markings/sec, 525 secs
lola: 37 tries, 36949083 fired transitions, 530 secs || 845550 markings, 1301421 edges, 3838 markings/sec, 530 secs
lola: 38 tries, 37295516 fired transitions, 535 secs || 863814 markings, 1330413 edges, 3653 markings/sec, 535 secs
lola: 38 tries, 37654107 fired transitions, 540 secs || 884018 markings, 1360764 edges, 4041 markings/sec, 540 secs
lola: 39 tries, 38011689 fired transitions, 545 secs || 903126 markings, 1390716 edges, 3822 markings/sec, 545 secs
lola: 39 tries, 38370108 fired transitions, 550 secs || 922845 markings, 1421168 edges, 3944 markings/sec, 550 secs
lola: 39 tries, 38727919 fired transitions, 555 secs || 941252 markings, 1449575 edges, 3681 markings/sec, 555 secs
lola: 40 tries, 39085758 fired transitions, 560 secs || 960218 markings, 1478344 edges, 3793 markings/sec, 560 secs
lola: 40 tries, 39444257 fired transitions, 565 secs || 979686 markings, 1508751 edges, 3894 markings/sec, 565 secs
lola: 40 tries, 39790336 fired transitions, 570 secs || 998638 markings, 1537558 edges, 3790 markings/sec, 570 secs
lola: 41 tries, 40139070 fired transitions, 575 secs || 1017733 markings, 1567510 edges, 3819 markings/sec, 575 secs
lola: 41 tries, 40493668 fired transitions, 580 secs || 1037943 markings, 1597911 edges, 4042 markings/sec, 580 secs
lola: 41 tries, 40849665 fired transitions, 585 secs || 1057912 markings, 1628942 edges, 3994 markings/sec, 585 secs
lola: 42 tries, 41204810 fired transitions, 590 secs || 1077476 markings, 1659597 edges, 3913 markings/sec, 590 secs
lola: 42 tries, 41535961 fired transitions, 595 secs || 1095814 markings, 1687544 edges, 3668 markings/sec, 595 secs
lola: 42 tries, 41871006 fired transitions, 600 secs || 1114404 markings, 1715815 edges, 3718 markings/sec, 600 secs
lola: 43 tries, 42206403 fired transitions, 605 secs || 1132311 markings, 1743816 edges, 3581 markings/sec, 605 secs
lola: 43 tries, 42547705 fired transitions, 610 secs || 1151606 markings, 1773364 edges, 3859 markings/sec, 610 secs
lola: 43 tries, 42893341 fired transitions, 615 secs || 1170467 markings, 1802892 edges, 3772 markings/sec, 615 secs
lola: 44 tries, 43227213 fired transitions, 620 secs || 1189818 markings, 1832299 edges, 3870 markings/sec, 620 secs
lola: 44 tries, 43546100 fired transitions, 625 secs || 1209376 markings, 1862421 edges, 3912 markings/sec, 625 secs
lola: 44 tries, 43882289 fired transitions, 630 secs || 1227156 markings, 1890436 edges, 3556 markings/sec, 630 secs
lola: 45 tries, 44233590 fired transitions, 635 secs || 1244910 markings, 1917622 edges, 3551 markings/sec, 635 secs
lola: 45 tries, 44584617 fired transitions, 640 secs || 1262809 markings, 1944927 edges, 3580 markings/sec, 640 secs
lola: 45 tries, 44926870 fired transitions, 645 secs || 1280965 markings, 1972858 edges, 3631 markings/sec, 645 secs
lola: 46 tries, 45258659 fired transitions, 650 secs || 1299739 markings, 2001877 edges, 3755 markings/sec, 650 secs
lola: 46 tries, 45594974 fired transitions, 655 secs || 1318223 markings, 2030885 edges, 3697 markings/sec, 655 secs
lola: 46 tries, 45930859 fired transitions, 660 secs || 1337326 markings, 2059726 edges, 3821 markings/sec, 660 secs
lola: 47 tries, 46266882 fired transitions, 665 secs || 1355730 markings, 2088600 edges, 3681 markings/sec, 665 secs
lola: 47 tries, 46602928 fired transitions, 670 secs || 1374842 markings, 2117436 edges, 3822 markings/sec, 670 secs
lola: 47 tries, 46947500 fired transitions, 675 secs || 1393728 markings, 2147108 edges, 3777 markings/sec, 675 secs
lola: 48 tries, 47282902 fired transitions, 680 secs || 1412417 markings, 2175361 edges, 3738 markings/sec, 680 secs
lola: 48 tries, 47618793 fired transitions, 685 secs || 1430984 markings, 2204464 edges, 3713 markings/sec, 685 secs
lola: 48 tries, 47964339 fired transitions, 690 secs || 1450422 markings, 2234266 edges, 3888 markings/sec, 690 secs
lola: 49 tries, 48304109 fired transitions, 695 secs || 1469364 markings, 2263342 edges, 3788 markings/sec, 695 secs
lola: 49 tries, 48638588 fired transitions, 700 secs || 1487630 markings, 2291562 edges, 3653 markings/sec, 700 secs
lola: 49 tries, 48973949 fired transitions, 705 secs || 1506161 markings, 2320107 edges, 3706 markings/sec, 705 secs
lola: 50 tries, 49319403 fired transitions, 710 secs || 1524944 markings, 2349629 edges, 3757 markings/sec, 710 secs
lola: 50 tries, 49667040 fired transitions, 715 secs || 1545211 markings, 2379939 edges, 4053 markings/sec, 715 secs
lola: 51 tries, 50016717 fired transitions, 720 secs || 1565231 markings, 2410917 edges, 4004 markings/sec, 720 secs
lola: 51 tries, 50367705 fired transitions, 725 secs || 1585052 markings, 2441648 edges, 3964 markings/sec, 725 secs
lola: 51 tries, 50717747 fired transitions, 730 secs || 1604638 markings, 2472109 edges, 3917 markings/sec, 730 secs
lola: 52 tries, 51059759 fired transitions, 735 secs || 1623728 markings, 2500903 edges, 3818 markings/sec, 735 secs
lola: 52 tries, 51392732 fired transitions, 740 secs || 1641487 markings, 2529009 edges, 3552 markings/sec, 740 secs
lola: 52 tries, 51726507 fired transitions, 745 secs || 1660207 markings, 2557435 edges, 3744 markings/sec, 745 secs
lola: 53 tries, 52063177 fired transitions, 750 secs || 1678436 markings, 2586089 edges, 3646 markings/sec, 750 secs
lola: 53 tries, 52399248 fired transitions, 755 secs || 1697831 markings, 2615287 edges, 3879 markings/sec, 755 secs
lola: 53 tries, 52733331 fired transitions, 760 secs || 1715988 markings, 2643868 edges, 3631 markings/sec, 760 secs
lola: 54 tries, 53069128 fired transitions, 765 secs || 1735238 markings, 2672916 edges, 3850 markings/sec, 765 secs
lola: 54 tries, 53405222 fired transitions, 770 secs || 1753900 markings, 2702107 edges, 3732 markings/sec, 770 secs
lola: 54 tries, 53739404 fired transitions, 775 secs || 1772893 markings, 2731124 edges, 3799 markings/sec, 775 secs
lola: 55 tries, 54075253 fired transitions, 780 secs || 1791528 markings, 2760097 edges, 3727 markings/sec, 780 secs
lola: 55 tries, 54411309 fired transitions, 785 secs || 1810162 markings, 2788298 edges, 3727 markings/sec, 785 secs
lola: 55 tries, 54755812 fired transitions, 790 secs || 1828509 markings, 2817107 edges, 3669 markings/sec, 790 secs
lola: 56 tries, 55091822 fired transitions, 795 secs || 1847359 markings, 2845730 edges, 3770 markings/sec, 795 secs
lola: 56 tries, 55445564 fired transitions, 800 secs || 1866300 markings, 2875222 edges, 3788 markings/sec, 800 secs
lola: 56 tries, 55781023 fired transitions, 805 secs || 1884652 markings, 2903542 edges, 3670 markings/sec, 805 secs
lola: 57 tries, 56114141 fired transitions, 810 secs || 1902947 markings, 2931797 edges, 3659 markings/sec, 810 secs
lola: 57 tries, 56445417 fired transitions, 815 secs || 1921318 markings, 2959665 edges, 3674 markings/sec, 815 secs
lola: 57 tries, 56779555 fired transitions, 820 secs || 1938638 markings, 2986947 edges, 3464 markings/sec, 820 secs
lola: 58 tries, 57123639 fired transitions, 825 secs || 1957348 markings, 3015588 edges, 3742 markings/sec, 825 secs
lola: 58 tries, 57475262 fired transitions, 830 secs || 1976167 markings, 3045003 edges, 3764 markings/sec, 830 secs
lola: 58 tries, 57839169 fired transitions, 835 secs || 1996504 markings, 3076027 edges, 4067 markings/sec, 835 secs
lola: 59 tries, 58188143 fired transitions, 840 secs || 2016029 markings, 3105801 edges, 3905 markings/sec, 840 secs
lola: 59 tries, 58525005 fired transitions, 845 secs || 2034568 markings, 3134880 edges, 3708 markings/sec, 845 secs
lola: 59 tries, 58860745 fired transitions, 850 secs || 2053689 markings, 3163707 edges, 3824 markings/sec, 850 secs
lola: 60 tries, 59196027 fired transitions, 855 secs || 2072059 markings, 3192668 edges, 3674 markings/sec, 855 secs
lola: 60 tries, 59544462 fired transitions, 860 secs || 2091623 markings, 3222579 edges, 3913 markings/sec, 860 secs
lola: 60 tries, 59901754 fired transitions, 865 secs || 2111717 markings, 3253155 edges, 4019 markings/sec, 865 secs
lola: 61 tries, 60238580 fired transitions, 870 secs || 2130159 markings, 3282145 edges, 3688 markings/sec, 870 secs
lola: 61 tries, 60574742 fired transitions, 875 secs || 2149239 markings, 3311009 edges, 3816 markings/sec, 875 secs
lola: 61 tries, 60910946 fired transitions, 880 secs || 2167761 markings, 3339956 edges, 3704 markings/sec, 880 secs
lola: 62 tries, 61251625 fired transitions, 885 secs || 2186290 markings, 3368488 edges, 3706 markings/sec, 885 secs
lola: 62 tries, 61586761 fired transitions, 890 secs || 2204532 markings, 3396808 edges, 3648 markings/sec, 890 secs
lola: 62 tries, 61921089 fired transitions, 895 secs || 2222488 markings, 3424021 edges, 3591 markings/sec, 895 secs
lola: 63 tries, 62256725 fired transitions, 900 secs || 2240994 markings, 3452850 edges, 3701 markings/sec, 900 secs
lola: 63 tries, 62595721 fired transitions, 905 secs || 2259773 markings, 3482145 edges, 3756 markings/sec, 905 secs
lola: 63 tries, 62931553 fired transitions, 910 secs || 2278996 markings, 3511024 edges, 3845 markings/sec, 910 secs
lola: 64 tries, 63267682 fired transitions, 915 secs || 2297608 markings, 3539972 edges, 3722 markings/sec, 915 secs
lola: 64 tries, 63610614 fired transitions, 920 secs || 2316572 markings, 3569554 edges, 3793 markings/sec, 920 secs
lola: 64 tries, 63946634 fired transitions, 925 secs || 2335323 markings, 3598356 edges, 3750 markings/sec, 925 secs
lola: 65 tries, 64295433 fired transitions, 930 secs || 2354976 markings, 3628141 edges, 3931 markings/sec, 930 secs
lola: 65 tries, 64654167 fired transitions, 935 secs || 2374205 markings, 3657935 edges, 3846 markings/sec, 935 secs
lola: 65 tries, 64995898 fired transitions, 940 secs || 2392635 markings, 3686742 edges, 3686 markings/sec, 940 secs
lola: 66 tries, 65330495 fired transitions, 945 secs || 2410985 markings, 3714472 edges, 3670 markings/sec, 945 secs
lola: 66 tries, 65687236 fired transitions, 950 secs || 2430561 markings, 3744753 edges, 3915 markings/sec, 950 secs
lola: 67 tries, 66058460 fired transitions, 955 secs || 2451126 markings, 3776391 edges, 4113 markings/sec, 955 secs
lola: 67 tries, 66430713 fired transitions, 960 secs || 2471476 markings, 3808347 edges, 4070 markings/sec, 960 secs
lola: 67 tries, 66798151 fired transitions, 965 secs || 2491750 markings, 3839831 edges, 4055 markings/sec, 965 secs
lola: 68 tries, 67159828 fired transitions, 970 secs || 2511804 markings, 3870737 edges, 4011 markings/sec, 970 secs
lola: 68 tries, 67512901 fired transitions, 975 secs || 2531437 markings, 3900724 edges, 3927 markings/sec, 975 secs
lola: 68 tries, 67875748 fired transitions, 980 secs || 2551479 markings, 3931621 edges, 4008 markings/sec, 980 secs
lola: 69 tries, 68243353 fired transitions, 985 secs || 2571523 markings, 3962925 edges, 4009 markings/sec, 985 secs
lola: 69 tries, 68594292 fired transitions, 990 secs || 2591542 markings, 3992832 edges, 4004 markings/sec, 990 secs
lola: 69 tries, 68930173 fired transitions, 995 secs || 2609976 markings, 4021541 edges, 3687 markings/sec, 995 secs
lola: 70 tries, 69273965 fired transitions, 1000 secs || 2628997 markings, 4051091 edges, 3804 markings/sec, 1000 secs
lola: 70 tries, 69609649 fired transitions, 1005 secs || 2647639 markings, 4079836 edges, 3728 markings/sec, 1005 secs
lola: 70 tries, 69945764 fired transitions, 1010 secs || 2666545 markings, 4108584 edges, 3781 markings/sec, 1010 secs
lola: 71 tries, 70281899 fired transitions, 1015 secs || 2684926 markings, 4137347 edges, 3676 markings/sec, 1015 secs
lola: 71 tries, 70622901 fired transitions, 1020 secs || 2704002 markings, 4166475 edges, 3815 markings/sec, 1020 secs
lola: 71 tries, 70975171 fired transitions, 1025 secs || 2723773 markings, 4196641 edges, 3954 markings/sec, 1025 secs
lola: 72 tries, 71311322 fired transitions, 1030 secs || 2742428 markings, 4225697 edges, 3731 markings/sec, 1030 secs
lola: 72 tries, 71658809 fired transitions, 1035 secs || 2761770 markings, 4255628 edges, 3868 markings/sec, 1035 secs
lola: 72 tries, 71995158 fired transitions, 1040 secs || 2780297 markings, 4284626 edges, 3705 markings/sec, 1040 secs
lola: 73 tries, 72331261 fired transitions, 1045 secs || 2799486 markings, 4313436 edges, 3838 markings/sec, 1045 secs
lola: 73 tries, 72667436 fired transitions, 1050 secs || 2817973 markings, 4342240 edges, 3697 markings/sec, 1050 secs
lola: 74 tries, 73008304 fired transitions, 1055 secs || 2836728 markings, 4371534 edges, 3751 markings/sec, 1055 secs
lola: 74 tries, 73342612 fired transitions, 1060 secs || 2855733 markings, 4400085 edges, 3801 markings/sec, 1060 secs
lola: 74 tries, 73676826 fired transitions, 1065 secs || 2874083 markings, 4428734 edges, 3670 markings/sec, 1065 secs
lola: 75 tries, 74026734 fired transitions, 1070 secs || 2893304 markings, 4458628 edges, 3844 markings/sec, 1070 secs
lola: 75 tries, 74372764 fired transitions, 1075 secs || 2912234 markings, 4488034 edges, 3786 markings/sec, 1075 secs
lola: 75 tries, 74708549 fired transitions, 1080 secs || 2931349 markings, 4516739 edges, 3823 markings/sec, 1080 secs
lola: 76 tries, 75044796 fired transitions, 1085 secs || 2949497 markings, 4545139 edges, 3630 markings/sec, 1085 secs
lola: 76 tries, 75378753 fired transitions, 1090 secs || 2967840 markings, 4572949 edges, 3669 markings/sec, 1090 secs
lola: 76 tries, 75740829 fired transitions, 1095 secs || 2988041 markings, 4604408 edges, 4040 markings/sec, 1095 secs
lola: 77 tries, 76110798 fired transitions, 1100 secs || 3008341 markings, 4636049 edges, 4060 markings/sec, 1100 secs
lola: 77 tries, 76469422 fired transitions, 1105 secs || 3028316 markings, 4666712 edges, 3995 markings/sec, 1105 secs
lola: 77 tries, 76826757 fired transitions, 1110 secs || 3048158 markings, 4697101 edges, 3968 markings/sec, 1110 secs
lola: 78 tries, 77174755 fired transitions, 1115 secs || 3067710 markings, 4726885 edges, 3910 markings/sec, 1115 secs
lola: 78 tries, 77510268 fired transitions, 1120 secs || 3086012 markings, 4755602 edges, 3660 markings/sec, 1120 secs
lola: 78 tries, 77846454 fired transitions, 1125 secs || 3104535 markings, 4784420 edges, 3705 markings/sec, 1125 secs
lola: 79 tries, 78190875 fired transitions, 1130 secs || 3124191 markings, 4813893 edges, 3931 markings/sec, 1130 secs
lola: 79 tries, 78549925 fired transitions, 1135 secs || 3144092 markings, 4844579 edges, 3980 markings/sec, 1135 secs
lola: 79 tries, 78901523 fired transitions, 1140 secs || 3163379 markings, 4874486 edges, 3857 markings/sec, 1140 secs
lola: 80 tries, 79239022 fired transitions, 1145 secs || 3181389 markings, 4902779 edges, 3602 markings/sec, 1145 secs
lola: 80 tries, 79572800 fired transitions, 1150 secs || 3200162 markings, 4931021 edges, 3755 markings/sec, 1150 secs
lola: 80 tries, 79900029 fired transitions, 1155 secs || 3217932 markings, 4959080 edges, 3554 markings/sec, 1155 secs
lola: 81 tries, 80224530 fired transitions, 1160 secs || 3236484 markings, 4987034 edges, 3710 markings/sec, 1160 secs
lola: 81 tries, 80548502 fired transitions, 1165 secs || 3254325 markings, 5015066 edges, 3568 markings/sec, 1165 secs
lola: 81 tries, 80875668 fired transitions, 1170 secs || 3272671 markings, 5043218 edges, 3669 markings/sec, 1170 secs
lola: 82 tries, 81210119 fired transitions, 1175 secs || 3291445 markings, 5071993 edges, 3755 markings/sec, 1175 secs
lola: 82 tries, 81556155 fired transitions, 1180 secs || 3310693 markings, 5101895 edges, 3850 markings/sec, 1180 secs
lola: 82 tries, 81895308 fired transitions, 1185 secs || 3329453 markings, 5131071 edges, 3752 markings/sec, 1185 secs
lola: 83 tries, 82231347 fired transitions, 1190 secs || 3348655 markings, 5159959 edges, 3840 markings/sec, 1190 secs
lola: 83 tries, 82567615 fired transitions, 1195 secs || 3367122 markings, 5188771 edges, 3693 markings/sec, 1195 secs
lola: 83 tries, 82908788 fired transitions, 1200 secs || 3385851 markings, 5217939 edges, 3746 markings/sec, 1200 secs
lola: 84 tries, 83249168 fired transitions, 1205 secs || 3404648 markings, 5246631 edges, 3759 markings/sec, 1205 secs
lola: 84 tries, 83580537 fired transitions, 1210 secs || 3422856 markings, 5274777 edges, 3642 markings/sec, 1210 secs
lola: 84 tries, 83911406 fired transitions, 1215 secs || 3441037 markings, 5302939 edges, 3636 markings/sec, 1215 secs
lola: 85 tries, 84243146 fired transitions, 1220 secs || 3459327 markings, 5330833 edges, 3658 markings/sec, 1220 secs
lola: 85 tries, 84578689 fired transitions, 1225 secs || 3477089 markings, 5358089 edges, 3552 markings/sec, 1225 secs
lola: 85 tries, 84914910 fired transitions, 1230 secs || 3495940 markings, 5387203 edges, 3770 markings/sec, 1230 secs
lola: 86 tries, 85269451 fired transitions, 1235 secs || 3515681 markings, 5417671 edges, 3948 markings/sec, 1235 secs
lola: 86 tries, 85627943 fired transitions, 1240 secs || 3535636 markings, 5448516 edges, 3991 markings/sec, 1240 secs
lola: 86 tries, 85985081 fired transitions, 1245 secs || 3555361 markings, 5478941 edges, 3945 markings/sec, 1245 secs
lola: 87 tries, 86342564 fired transitions, 1250 secs || 3575084 markings, 5509420 edges, 3945 markings/sec, 1250 secs
lola: 87 tries, 86698987 fired transitions, 1255 secs || 3594740 markings, 5539757 edges, 3931 markings/sec, 1255 secs
lola: 88 tries, 87055764 fired transitions, 1260 secs || 3613246 markings, 5568480 edges, 3701 markings/sec, 1260 secs
lola: 88 tries, 87395245 fired transitions, 1265 secs || 3632398 markings, 5597506 edges, 3830 markings/sec, 1265 secs
lola: 88 tries, 87730339 fired transitions, 1270 secs || 3650829 markings, 5626254 edges, 3686 markings/sec, 1270 secs
lola: 89 tries, 88089439 fired transitions, 1275 secs || 3670477 markings, 5656675 edges, 3930 markings/sec, 1275 secs
lola: 89 tries, 88432443 fired transitions, 1280 secs || 3689205 markings, 5685447 edges, 3746 markings/sec, 1280 secs
lola: 89 tries, 88776950 fired transitions, 1285 secs || 3708078 markings, 5714197 edges, 3775 markings/sec, 1285 secs
lola: 90 tries, 89121817 fired transitions, 1290 secs || 3727225 markings, 5744075 edges, 3829 markings/sec, 1290 secs
lola: 90 tries, 89463861 fired transitions, 1295 secs || 3746408 markings, 5773804 edges, 3837 markings/sec, 1295 secs
lola: 90 tries, 89803697 fired transitions, 1300 secs || 3765107 markings, 5801980 edges, 3740 markings/sec, 1300 secs
lola: 91 tries, 90146851 fired transitions, 1305 secs || 3783927 markings, 5831241 edges, 3764 markings/sec, 1305 secs
lola: 91 tries, 90482204 fired transitions, 1310 secs || 3802789 markings, 5860612 edges, 3772 markings/sec, 1310 secs
lola: 91 tries, 90817584 fired transitions, 1315 secs || 3821697 markings, 5890077 edges, 3782 markings/sec, 1315 secs
lola: 92 tries, 91151883 fired transitions, 1320 secs || 3840129 markings, 5917854 edges, 3686 markings/sec, 1320 secs
lola: 92 tries, 91496170 fired transitions, 1325 secs || 3857874 markings, 5945493 edges, 3549 markings/sec, 1325 secs
lola: 92 tries, 91842092 fired transitions, 1330 secs || 3876213 markings, 5973470 edges, 3668 markings/sec, 1330 secs
lola: 93 tries, 92189086 fired transitions, 1335 secs || 3894939 markings, 6002670 edges, 3745 markings/sec, 1335 secs
lola: 93 tries, 92536174 fired transitions, 1340 secs || 3913681 markings, 6031682 edges, 3748 markings/sec, 1340 secs
lola: 93 tries, 92889059 fired transitions, 1345 secs || 3933224 markings, 6061121 edges, 3909 markings/sec, 1345 secs
lola: 94 tries, 93248565 fired transitions, 1350 secs || 3953010 markings, 6091713 edges, 3957 markings/sec, 1350 secs
lola: 94 tries, 93609233 fired transitions, 1355 secs || 3972870 markings, 6122309 edges, 3972 markings/sec, 1355 secs
lola: 94 tries, 93969068 fired transitions, 1360 secs || 3992663 markings, 6152955 edges, 3959 markings/sec, 1360 secs
lola: 95 tries, 94311017 fired transitions, 1365 secs || 4012471 markings, 6183494 edges, 3962 markings/sec, 1365 secs
lola: 95 tries, 94641069 fired transitions, 1370 secs || 4031066 markings, 6212545 edges, 3719 markings/sec, 1370 secs
lola: 95 tries, 94966696 fired transitions, 1375 secs || 4049898 markings, 6240930 edges, 3766 markings/sec, 1375 secs
lola: 96 tries, 95299858 fired transitions, 1380 secs || 4068287 markings, 6269603 edges, 3678 markings/sec, 1380 secs
lola: 96 tries, 95642904 fired transitions, 1385 secs || 4087061 markings, 6298858 edges, 3755 markings/sec, 1385 secs
lola: 96 tries, 95983925 fired transitions, 1390 secs || 4105930 markings, 6328124 edges, 3774 markings/sec, 1390 secs
lola: 97 tries, 96320210 fired transitions, 1395 secs || 4124991 markings, 6356872 edges, 3812 markings/sec, 1395 secs
lola: 97 tries, 96656527 fired transitions, 1400 secs || 4143476 markings, 6385778 edges, 3697 markings/sec, 1400 secs
lola: 98 tries, 97001704 fired transitions, 1405 secs || 4162494 markings, 6415292 edges, 3804 markings/sec, 1405 secs
lola: 98 tries, 97359466 fired transitions, 1410 secs || 4182186 markings, 6445683 edges, 3938 markings/sec, 1410 secs
lola: 98 tries, 97717177 fired transitions, 1415 secs || 4202028 markings, 6476102 edges, 3968 markings/sec, 1415 secs
lola: 99 tries, 98079312 fired transitions, 1420 secs || 4221930 markings, 6506756 edges, 3980 markings/sec, 1420 secs
lola: 99 tries, 98429495 fired transitions, 1425 secs || 4241538 markings, 6536618 edges, 3922 markings/sec, 1425 secs
lola: 99 tries, 98765368 fired transitions, 1430 secs || 4260330 markings, 6565679 edges, 3758 markings/sec, 1430 secs
lola: 100 tries, 99101425 fired transitions, 1435 secs || 4278592 markings, 6594118 edges, 3652 markings/sec, 1435 secs
lola: 100 tries, 99433743 fired transitions, 1440 secs || 4297335 markings, 6623111 edges, 3749 markings/sec, 1440 secs
lola: 100 tries, 99769607 fired transitions, 1445 secs || 4316119 markings, 6651976 edges, 3757 markings/sec, 1445 secs
lola: 101 tries, 100105040 fired transitions, 1450 secs || 4335199 markings, 6680826 edges, 3816 markings/sec, 1450 secs
lola: 101 tries, 100440590 fired transitions, 1455 secs || 4353831 markings, 6709670 edges, 3726 markings/sec, 1455 secs
lola: 101 tries, 100776499 fired transitions, 1460 secs || 4372525 markings, 6738704 edges, 3739 markings/sec, 1460 secs
lola: 102 tries, 101112254 fired transitions, 1465 secs || 4391377 markings, 6767847 edges, 3770 markings/sec, 1465 secs
lola: 102 tries, 101453634 fired transitions, 1470 secs || 4410386 markings, 6797271 edges, 3802 markings/sec, 1470 secs
lola: 102 tries, 101789603 fired transitions, 1475 secs || 4429059 markings, 6826237 edges, 3735 markings/sec, 1475 secs
lola: 103 tries, 102126006 fired transitions, 1480 secs || 4447852 markings, 6855155 edges, 3759 markings/sec, 1480 secs
lola: 103 tries, 102465002 fired transitions, 1485 secs || 4467045 markings, 6884263 edges, 3839 markings/sec, 1485 secs
lola: 103 tries, 102810630 fired transitions, 1490 secs || 4486236 markings, 6913984 edges, 3838 markings/sec, 1490 secs
lola: 104 tries, 103159158 fired transitions, 1495 secs || 4505930 markings, 6944003 edges, 3939 markings/sec, 1495 secs
lola: 104 tries, 103507885 fired transitions, 1500 secs || 4525321 markings, 6974094 edges, 3878 markings/sec, 1500 secs
lola: 104 tries, 103849498 fired transitions, 1505 secs || 4544562 markings, 7003534 edges, 3848 markings/sec, 1505 secs
lola: 105 tries, 104192585 fired transitions, 1510 secs || 4563461 markings, 7032782 edges, 3780 markings/sec, 1510 secs
lola: 105 tries, 104532006 fired transitions, 1515 secs || 4582058 markings, 7061664 edges, 3719 markings/sec, 1515 secs
lola: 105 tries, 104868173 fired transitions, 1520 secs || 4600535 markings, 7090315 edges, 3695 markings/sec, 1520 secs
lola: 106 tries, 105204296 fired transitions, 1525 secs || 4619093 markings, 7119196 edges, 3712 markings/sec, 1525 secs
lola: 106 tries, 105551061 fired transitions, 1530 secs || 4638614 markings, 7149192 edges, 3904 markings/sec, 1530 secs
lola: 106 tries, 105908750 fired transitions, 1535 secs || 4658629 markings, 7179917 edges, 4003 markings/sec, 1535 secs
lola: 107 tries, 106256728 fired transitions, 1540 secs || 4677966 markings, 7209744 edges, 3867 markings/sec, 1540 secs
lola: 107 tries, 106603599 fired transitions, 1545 secs || 4696969 markings, 7239112 edges, 3801 markings/sec, 1545 secs
lola: 107 tries, 106951111 fired transitions, 1550 secs || 4716051 markings, 7268568 edges, 3816 markings/sec, 1550 secs
lola: 108 tries, 107288406 fired transitions, 1555 secs || 4734500 markings, 7297387 edges, 3690 markings/sec, 1555 secs
lola: 108 tries, 107622954 fired transitions, 1560 secs || 4753378 markings, 7325631 edges, 3776 markings/sec, 1560 secs
lola: 108 tries, 107956550 fired transitions, 1565 secs || 4771808 markings, 7354252 edges, 3686 markings/sec, 1565 secs
lola: 109 tries, 108290915 fired transitions, 1570 secs || 4790905 markings, 7383727 edges, 3819 markings/sec, 1570 secs
lola: 109 tries, 108627521 fired transitions, 1575 secs || 4809961 markings, 7413186 edges, 3811 markings/sec, 1575 secs
lola: 109 tries, 108962303 fired transitions, 1580 secs || 4828883 markings, 7442505 edges, 3784 markings/sec, 1580 secs
lola: 110 tries, 109297447 fired transitions, 1585 secs || 4847790 markings, 7471711 edges, 3781 markings/sec, 1585 secs
lola: 110 tries, 109638552 fired transitions, 1590 secs || 4867035 markings, 7501478 edges, 3849 markings/sec, 1590 secs
lola: 110 tries, 109975486 fired transitions, 1595 secs || 4886214 markings, 7531038 edges, 3836 markings/sec, 1595 secs
lola: 111 tries, 110310719 fired transitions, 1600 secs || 4905229 markings, 7560312 edges, 3803 markings/sec, 1600 secs
lola: 111 tries, 110645988 fired transitions, 1605 secs || 4924630 markings, 7589467 edges, 3880 markings/sec, 1605 secs
lola: 111 tries, 110981414 fired transitions, 1610 secs || 4943551 markings, 7618689 edges, 3784 markings/sec, 1610 secs
lola: 112 tries, 111315480 fired transitions, 1615 secs || 4962390 markings, 7647858 edges, 3768 markings/sec, 1615 secs
lola: 112 tries, 111666799 fired transitions, 1620 secs || 4981772 markings, 7677679 edges, 3876 markings/sec, 1620 secs
lola: 113 tries, 112002867 fired transitions, 1625 secs || 5000755 markings, 7707146 edges, 3797 markings/sec, 1625 secs
lola: 113 tries, 112338064 fired transitions, 1630 secs || 5019725 markings, 7736473 edges, 3794 markings/sec, 1630 secs
lola: 113 tries, 112673411 fired transitions, 1635 secs || 5038699 markings, 7765793 edges, 3795 markings/sec, 1635 secs
lola: 114 tries, 113007533 fired transitions, 1640 secs || 5057397 markings, 7794797 edges, 3740 markings/sec, 1640 secs
lola: 114 tries, 113349063 fired transitions, 1645 secs || 5076455 markings, 7824293 edges, 3812 markings/sec, 1645 secs
lola: 114 tries, 113691005 fired transitions, 1650 secs || 5095446 markings, 7853600 edges, 3798 markings/sec, 1650 secs
lola: 115 tries, 114025515 fired transitions, 1655 secs || 5114504 markings, 7882375 edges, 3812 markings/sec, 1655 secs
lola: 115 tries, 114359960 fired transitions, 1660 secs || 5133298 markings, 7911259 edges, 3759 markings/sec, 1660 secs
lola: 115 tries, 114690695 fired transitions, 1665 secs || 5151636 markings, 7939754 edges, 3668 markings/sec, 1665 secs
lola: 116 tries, 115042331 fired transitions, 1670 secs || 5171512 markings, 7970328 edges, 3975 markings/sec, 1670 secs
lola: 116 tries, 115377743 fired transitions, 1675 secs || 5190249 markings, 7999314 edges, 3747 markings/sec, 1675 secs
lola: 116 tries, 115714052 fired transitions, 1680 secs || 5209233 markings, 8028684 edges, 3797 markings/sec, 1680 secs
lola: 117 tries, 116041636 fired transitions, 1685 secs || 5227852 markings, 8057524 edges, 3724 markings/sec, 1685 secs
lola: 117 tries, 116389401 fired transitions, 1690 secs || 5247673 markings, 8088146 edges, 3964 markings/sec, 1690 secs
lola: 117 tries, 116734711 fired transitions, 1695 secs || 5267427 markings, 8118478 edges, 3951 markings/sec, 1695 secs
lola: 118 tries, 117069734 fired transitions, 1700 secs || 5286438 markings, 8147850 edges, 3802 markings/sec, 1700 secs
lola: 118 tries, 117413592 fired transitions, 1705 secs || 5305962 markings, 8177914 edges, 3905 markings/sec, 1705 secs
lola: 118 tries, 117748889 fired transitions, 1710 secs || 5324939 markings, 8207310 edges, 3795 markings/sec, 1710 secs
lola: 119 tries, 118083542 fired transitions, 1715 secs || 5343829 markings, 8236495 edges, 3778 markings/sec, 1715 secs
lola: 119 tries, 118418497 fired transitions, 1720 secs || 5362933 markings, 8265866 edges, 3821 markings/sec, 1720 secs
lola: 119 tries, 118753501 fired transitions, 1725 secs || 5382089 markings, 8295139 edges, 3831 markings/sec, 1725 secs
lola: 120 tries, 119101995 fired transitions, 1730 secs || 5401533 markings, 8325597 edges, 3889 markings/sec, 1730 secs
lola: 120 tries, 119457289 fired transitions, 1735 secs || 5422386 markings, 8357371 edges, 4171 markings/sec, 1735 secs
lola: 120 tries, 119814942 fired transitions, 1740 secs || 5443234 markings, 8389121 edges, 4170 markings/sec, 1740 secs
lola: 121 tries, 120174779 fired transitions, 1745 secs || 5463436 markings, 8420973 edges, 4040 markings/sec, 1745 secs
lola: 121 tries, 120542298 fired transitions, 1750 secs || 5483540 markings, 8451908 edges, 4021 markings/sec, 1750 secs
lola: 121 tries, 120901051 fired transitions, 1755 secs || 5503916 markings, 8483034 edges, 4075 markings/sec, 1755 secs
lola: 122 tries, 121247744 fired transitions, 1760 secs || 5523925 markings, 8513700 edges, 4002 markings/sec, 1760 secs
lola: 122 tries, 121580769 fired transitions, 1765 secs || 5542897 markings, 8543108 edges, 3794 markings/sec, 1765 secs
lola: 122 tries, 121909781 fired transitions, 1770 secs || 5561407 markings, 8571807 edges, 3702 markings/sec, 1770 secs
lola: 123 tries, 122240347 fired transitions, 1775 secs || 5579863 markings, 8600446 edges, 3691 markings/sec, 1775 secs
lola: 123 tries, 122580546 fired transitions, 1780 secs || 5599067 markings, 8629909 edges, 3841 markings/sec, 1780 secs
lola: 123 tries, 122915133 fired transitions, 1785 secs || 5618189 markings, 8658734 edges, 3824 markings/sec, 1785 secs
lola: 124 tries, 123249134 fired transitions, 1790 secs || 5636849 markings, 8687698 edges, 3732 markings/sec, 1790 secs
lola: 124 tries, 123593827 fired transitions, 1795 secs || 5656419 markings, 8717770 edges, 3914 markings/sec, 1795 secs
lola: 124 tries, 123929374 fired transitions, 1800 secs || 5675377 markings, 8747128 edges, 3792 markings/sec, 1800 secs
lola: 125 tries, 124264320 fired transitions, 1805 secs || 5694325 markings, 8776381 edges, 3790 markings/sec, 1805 secs
lola: 125 tries, 124593161 fired transitions, 1810 secs || 5712715 markings, 8805014 edges, 3678 markings/sec, 1810 secs
lola: 125 tries, 124906969 fired transitions, 1815 secs || 5730524 markings, 8832025 edges, 3562 markings/sec, 1815 secs
lola: 126 tries, 125228176 fired transitions, 1820 secs || 5748694 markings, 8860274 edges, 3634 markings/sec, 1820 secs
lola: 126 tries, 125558689 fired transitions, 1825 secs || 5767351 markings, 8889214 edges, 3731 markings/sec, 1825 secs
lola: 126 tries, 125879469 fired transitions, 1830 secs || 5785645 markings, 8917628 edges, 3659 markings/sec, 1830 secs
lola: 127 tries, 126203123 fired transitions, 1835 secs || 5804489 markings, 8945930 edges, 3769 markings/sec, 1835 secs
lola: 127 tries, 126534461 fired transitions, 1840 secs || 5823226 markings, 8974965 edges, 3747 markings/sec, 1840 secs
lola: 127 tries, 126874650 fired transitions, 1845 secs || 5842560 markings, 9004722 edges, 3867 markings/sec, 1845 secs
lola: 128 tries, 127220885 fired transitions, 1850 secs || 5862040 markings, 9034785 edges, 3896 markings/sec, 1850 secs
lola: 128 tries, 127562464 fired transitions, 1855 secs || 5881346 markings, 9064509 edges, 3861 markings/sec, 1855 secs
lola: 128 tries, 127897923 fired transitions, 1860 secs || 5900215 markings, 9093749 edges, 3774 markings/sec, 1860 secs
lola: 129 tries, 128236823 fired transitions, 1865 secs || 5919362 markings, 9123323 edges, 3829 markings/sec, 1865 secs
lola: 129 tries, 128572230 fired transitions, 1870 secs || 5938343 markings, 9152662 edges, 3796 markings/sec, 1870 secs
lola: 129 tries, 128907135 fired transitions, 1875 secs || 5957305 markings, 9181966 edges, 3792 markings/sec, 1875 secs
lola: 130 tries, 129242316 fired transitions, 1880 secs || 5976086 markings, 9211195 edges, 3756 markings/sec, 1880 secs
lola: 130 tries, 129577746 fired transitions, 1885 secs || 5995185 markings, 9240658 edges, 3820 markings/sec, 1885 secs
lola: 130 tries, 129913224 fired transitions, 1890 secs || 6014247 markings, 9270121 edges, 3812 markings/sec, 1890 secs
lola: 131 tries, 130248687 fired transitions, 1895 secs || 6033327 markings, 9299489 edges, 3816 markings/sec, 1895 secs
lola: 131 tries, 130597793 fired transitions, 1900 secs || 6053082 markings, 9329978 edges, 3951 markings/sec, 1900 secs
lola: 131 tries, 130944222 fired transitions, 1905 secs || 6072811 markings, 9360276 edges, 3946 markings/sec, 1905 secs
lola: 132 tries, 131279120 fired transitions, 1910 secs || 6091678 markings, 9389459 edges, 3773 markings/sec, 1910 secs
lola: 132 tries, 131614392 fired transitions, 1915 secs || 6110868 markings, 9418739 edges, 3838 markings/sec, 1915 secs
lola: 132 tries, 131949839 fired transitions, 1920 secs || 6129987 markings, 9448135 edges, 3824 markings/sec, 1920 secs
lola: 133 tries, 132285105 fired transitions, 1925 secs || 6149136 markings, 9477295 edges, 3830 markings/sec, 1925 secs
lola: 133 tries, 132627690 fired transitions, 1930 secs || 6168513 markings, 9507168 edges, 3875 markings/sec, 1930 secs
lola: 133 tries, 132986526 fired transitions, 1935 secs || 6188286 markings, 9538376 edges, 3955 markings/sec, 1935 secs
lola: 134 tries, 133346489 fired transitions, 1940 secs || 6208616 markings, 9569583 edges, 4066 markings/sec, 1940 secs
lola: 134 tries, 133693966 fired transitions, 1945 secs || 6228233 markings, 9599912 edges, 3923 markings/sec, 1945 secs
lola: 135 tries, 134027935 fired transitions, 1950 secs || 6247085 markings, 9629086 edges, 3770 markings/sec, 1950 secs
lola: 135 tries, 134358570 fired transitions, 1955 secs || 6266178 markings, 9658129 edges, 3819 markings/sec, 1955 secs
lola: 135 tries, 134690783 fired transitions, 1960 secs || 6285333 markings, 9687674 edges, 3831 markings/sec, 1960 secs
lola: 136 tries, 135021875 fired transitions, 1965 secs || 6304441 markings, 9716750 edges, 3822 markings/sec, 1965 secs
lola: 136 tries, 135356740 fired transitions, 1970 secs || 6323120 markings, 9745678 edges, 3736 markings/sec, 1970 secs
lola: 136 tries, 135689739 fired transitions, 1975 secs || 6341798 markings, 9774617 edges, 3736 markings/sec, 1975 secs
lola: 137 tries, 136030180 fired transitions, 1980 secs || 6361246 markings, 9804619 edges, 3890 markings/sec, 1980 secs
lola: 137 tries, 136376275 fired transitions, 1985 secs || 6380904 markings, 9834884 edges, 3932 markings/sec, 1985 secs
lola: 137 tries, 136733107 fired transitions, 1990 secs || 6400105 markings, 9864466 edges, 3840 markings/sec, 1990 secs
lola: 138 tries, 137083097 fired transitions, 1995 secs || 6419969 markings, 9894998 edges, 3973 markings/sec, 1995 secs
lola: 138 tries, 137415698 fired transitions, 2000 secs || 6439605 markings, 9925163 edges, 3927 markings/sec, 2000 secs
lola: 138 tries, 137749848 fired transitions, 2005 secs || 6458883 markings, 9954933 edges, 3856 markings/sec, 2005 secs
lola: 139 tries, 138092170 fired transitions, 2010 secs || 6478236 markings, 9984830 edges, 3871 markings/sec, 2010 secs
lola: 139 tries, 138421422 fired transitions, 2015 secs || 6497165 markings, 10014101 edges, 3786 markings/sec, 2015 secs
lola: 139 tries, 138765262 fired transitions, 2020 secs || 6516462 markings, 10043845 edges, 3859 markings/sec, 2020 secs
lola: 140 tries, 139101985 fired transitions, 2025 secs || 6535402 markings, 10073211 edges, 3788 markings/sec, 2025 secs
lola: 140 tries, 139436892 fired transitions, 2030 secs || 6554069 markings, 10102113 edges, 3733 markings/sec, 2030 secs
lola: 140 tries, 139768347 fired transitions, 2035 secs || 6572679 markings, 10130993 edges, 3722 markings/sec, 2035 secs
lola: 141 tries, 140106413 fired transitions, 2040 secs || 6591911 markings, 10160623 edges, 3846 markings/sec, 2040 secs
lola: 141 tries, 140443884 fired transitions, 2045 secs || 6611121 markings, 10190222 edges, 3842 markings/sec, 2045 secs
lola: 141 tries, 140783100 fired transitions, 2050 secs || 6630603 markings, 10220205 edges, 3896 markings/sec, 2050 secs
lola: 142 tries, 141121665 fired transitions, 2055 secs || 6649937 markings, 10250144 edges, 3867 markings/sec, 2055 secs
lola: 142 tries, 141464960 fired transitions, 2060 secs || 6669204 markings, 10279619 edges, 3853 markings/sec, 2060 secs
lola: 142 tries, 141803442 fired transitions, 2065 secs || 6688323 markings, 10309035 edges, 3824 markings/sec, 2065 secs
lola: 143 tries, 142153251 fired transitions, 2070 secs || 6707863 markings, 10339218 edges, 3908 markings/sec, 2070 secs
lola: 143 tries, 142506964 fired transitions, 2075 secs || 6727661 markings, 10369866 edges, 3960 markings/sec, 2075 secs
lola: 143 tries, 142855688 fired transitions, 2080 secs || 6747499 markings, 10400416 edges, 3968 markings/sec, 2080 secs
lola: 144 tries, 143196721 fired transitions, 2085 secs || 6766715 markings, 10430119 edges, 3843 markings/sec, 2085 secs
lola: 144 tries, 143534281 fired transitions, 2090 secs || 6785840 markings, 10459611 edges, 3825 markings/sec, 2090 secs
lola: 144 tries, 143869976 fired transitions, 2095 secs || 6804911 markings, 10488842 edges, 3814 markings/sec, 2095 secs
lola: 145 tries, 144215022 fired transitions, 2100 secs || 6824308 markings, 10518771 edges, 3879 markings/sec, 2100 secs
lola: 145 tries, 144567895 fired transitions, 2105 secs || 6844019 markings, 10549384 edges, 3942 markings/sec, 2105 secs
lola: 145 tries, 144915144 fired transitions, 2110 secs || 6863820 markings, 10579739 edges, 3960 markings/sec, 2110 secs
lola: 146 tries, 145265582 fired transitions, 2115 secs || 6883652 markings, 10610203 edges, 3966 markings/sec, 2115 secs
lola: 146 tries, 145618027 fired transitions, 2120 secs || 6903727 markings, 10640918 edges, 4015 markings/sec, 2120 secs
lola: 146 tries, 145954474 fired transitions, 2125 secs || 6922784 markings, 10670439 edges, 3811 markings/sec, 2125 secs
lola: 147 tries, 146283907 fired transitions, 2130 secs || 6940679 markings, 10698346 edges, 3579 markings/sec, 2130 secs
lola: 147 tries, 146610317 fired transitions, 2135 secs || 6959271 markings, 10726249 edges, 3718 markings/sec, 2135 secs
lola: 147 tries, 146941435 fired transitions, 2140 secs || 6977538 markings, 10754761 edges, 3653 markings/sec, 2140 secs
lola: 148 tries, 147288274 fired transitions, 2145 secs || 6997405 markings, 10785207 edges, 3973 markings/sec, 2145 secs
lola: 148 tries, 147623774 fired transitions, 2150 secs || 7016249 markings, 10814431 edges, 3769 markings/sec, 2150 secs
lola: 148 tries, 147959228 fired transitions, 2155 secs || 7035126 markings, 10843657 edges, 3775 markings/sec, 2155 secs
lola: 149 tries, 148294554 fired transitions, 2160 secs || 7053893 markings, 10872713 edges, 3753 markings/sec, 2160 secs
lola: 149 tries, 148637922 fired transitions, 2165 secs || 7073136 markings, 10902385 edges, 3849 markings/sec, 2165 secs
lola: 149 tries, 148978902 fired transitions, 2170 secs || 7092162 markings, 10931899 edges, 3805 markings/sec, 2170 secs
lola: 150 tries, 149314277 fired transitions, 2175 secs || 7111230 markings, 10961171 edges, 3814 markings/sec, 2175 secs
lola: 150 tries, 149649622 fired transitions, 2180 secs || 7130374 markings, 10990403 edges, 3829 markings/sec, 2180 secs
lola: 150 tries, 149984729 fired transitions, 2185 secs || 7149539 markings, 11019514 edges, 3833 markings/sec, 2185 secs
lola: 151 tries, 150318830 fired transitions, 2190 secs || 7168302 markings, 11048587 edges, 3753 markings/sec, 2190 secs
lola: 151 tries, 150648783 fired transitions, 2195 secs || 7187048 markings, 11077663 edges, 3749 markings/sec, 2195 secs
lola: 151 tries, 150976859 fired transitions, 2200 secs || 7205424 markings, 11106179 edges, 3675 markings/sec, 2200 secs
lola: 152 tries, 151316213 fired transitions, 2205 secs || 7224699 markings, 11136073 edges, 3855 markings/sec, 2205 secs
lola: 152 tries, 151655571 fired transitions, 2210 secs || 7244066 markings, 11165877 edges, 3873 markings/sec, 2210 secs
lola: 152 tries, 151986347 fired transitions, 2215 secs || 7262968 markings, 11195171 edges, 3780 markings/sec, 2215 secs
lola: 153 tries, 152316481 fired transitions, 2220 secs || 7282048 markings, 11224471 edges, 3816 markings/sec, 2220 secs
lola: 153 tries, 152662854 fired transitions, 2225 secs || 7301558 markings, 11254673 edges, 3902 markings/sec, 2225 secs
lola: 153 tries, 152992029 fired transitions, 2230 secs || 7320588 markings, 11283925 edges, 3806 markings/sec, 2230 secs
lola: 154 tries, 153321065 fired transitions, 2235 secs || 7339635 markings, 11313075 edges, 3809 markings/sec, 2235 secs
lola: 154 tries, 153659429 fired transitions, 2240 secs || 7358924 markings, 11342388 edges, 3858 markings/sec, 2240 secs
lola: 155 tries, 154010119 fired transitions, 2245 secs || 7378683 markings, 11373341 edges, 3952 markings/sec, 2245 secs
lola: 155 tries, 154362395 fired transitions, 2250 secs || 7398634 markings, 11404239 edges, 3990 markings/sec, 2250 secs
lola: 155 tries, 154714545 fired transitions, 2255 secs || 7418586 markings, 11434907 edges, 3990 markings/sec, 2255 secs
lola: 156 tries, 155070497 fired transitions, 2260 secs || 7438647 markings, 11465638 edges, 4012 markings/sec, 2260 secs
lola: 156 tries, 155420081 fired transitions, 2265 secs || 7458757 markings, 11496431 edges, 4022 markings/sec, 2265 secs
lola: 156 tries, 155771840 fired transitions, 2270 secs || 7478995 markings, 11527494 edges, 4048 markings/sec, 2270 secs
lola: 157 tries, 156132868 fired transitions, 2275 secs || 7498999 markings, 11558847 edges, 4001 markings/sec, 2275 secs
lola: 157 tries, 156487623 fired transitions, 2280 secs || 7518743 markings, 11589452 edges, 3949 markings/sec, 2280 secs
lola: 157 tries, 156840648 fired transitions, 2285 secs || 7538694 markings, 11620072 edges, 3990 markings/sec, 2285 secs
lola: 158 tries, 157193106 fired transitions, 2290 secs || 7558537 markings, 11650577 edges, 3969 markings/sec, 2290 secs
lola: 158 tries, 157548496 fired transitions, 2295 secs || 7578348 markings, 11680945 edges, 3962 markings/sec, 2295 secs
lola: 158 tries, 157899812 fired transitions, 2300 secs || 7598113 markings, 11711385 edges, 3953 markings/sec, 2300 secs
lola: 159 tries, 158244176 fired transitions, 2305 secs || 7617409 markings, 11741096 edges, 3859 markings/sec, 2305 secs
lola: 159 tries, 158580965 fired transitions, 2310 secs || 7636488 markings, 11770610 edges, 3816 markings/sec, 2310 secs
lola: 159 tries, 158914469 fired transitions, 2315 secs || 7655152 markings, 11799566 edges, 3733 markings/sec, 2315 secs
lola: 160 tries, 159244563 fired transitions, 2320 secs || 7673654 markings, 11828284 edges, 3700 markings/sec, 2320 secs
lola: 160 tries, 159575525 fired transitions, 2325 secs || 7692377 markings, 11856704 edges, 3745 markings/sec, 2325 secs
lola: 160 tries, 159914910 fired transitions, 2330 secs || 7711177 markings, 11885426 edges, 3760 markings/sec, 2330 secs
lola: 161 tries, 160257346 fired transitions, 2335 secs || 7729993 markings, 11914710 edges, 3763 markings/sec, 2335 secs
lola: 161 tries, 160595919 fired transitions, 2340 secs || 7748995 markings, 11944076 edges, 3800 markings/sec, 2340 secs
lola: 161 tries, 160942721 fired transitions, 2345 secs || 7767872 markings, 11973269 edges, 3775 markings/sec, 2345 secs
lola: 162 tries, 161296022 fired transitions, 2350 secs || 7787404 markings, 12003352 edges, 3906 markings/sec, 2350 secs
lola: 162 tries, 161633405 fired transitions, 2355 secs || 7805928 markings, 12032147 edges, 3705 markings/sec, 2355 secs
lola: 162 tries, 161976814 fired transitions, 2360 secs || 7824997 markings, 12061572 edges, 3814 markings/sec, 2360 secs
lola: 163 tries, 162312938 fired transitions, 2365 secs || 7843887 markings, 12090428 edges, 3778 markings/sec, 2365 secs
lola: 163 tries, 162649139 fired transitions, 2370 secs || 7862919 markings, 12119330 edges, 3806 markings/sec, 2370 secs
lola: 164 tries, 163012085 fired transitions, 2375 secs || 7882535 markings, 12150336 edges, 3923 markings/sec, 2375 secs
lola: 164 tries, 163382741 fired transitions, 2380 secs || 7903021 markings, 12181765 edges, 4097 markings/sec, 2380 secs
lola: 164 tries, 163753465 fired transitions, 2385 secs || 7923689 markings, 12213276 edges, 4134 markings/sec, 2385 secs
lola: 165 tries, 164121063 fired transitions, 2390 secs || 7944117 markings, 12244501 edges, 4086 markings/sec, 2390 secs
lola: 165 tries, 164464947 fired transitions, 2395 secs || 7962906 markings, 12273710 edges, 3758 markings/sec, 2395 secs
lola: 165 tries, 164798759 fired transitions, 2400 secs || 7981477 markings, 12302488 edges, 3714 markings/sec, 2400 secs
lola: 166 tries, 165145440 fired transitions, 2405 secs || 8000617 markings, 12332055 edges, 3828 markings/sec, 2405 secs
lola: 166 tries, 165479152 fired transitions, 2410 secs || 8019032 markings, 12360623 edges, 3683 markings/sec, 2410 secs
lola: 166 tries, 165812810 fired transitions, 2415 secs || 8037542 markings, 12389095 edges, 3702 markings/sec, 2415 secs
lola: 167 tries, 166146942 fired transitions, 2420 secs || 8056283 markings, 12417535 edges, 3748 markings/sec, 2420 secs
lola: 167 tries, 166485960 fired transitions, 2425 secs || 8074681 markings, 12446071 edges, 3680 markings/sec, 2425 secs
lola: 167 tries, 166821608 fired transitions, 2430 secs || 8092385 markings, 12473852 edges, 3541 markings/sec, 2430 secs
lola: 168 tries, 167156419 fired transitions, 2435 secs || 8111146 markings, 12502437 edges, 3752 markings/sec, 2435 secs
lola: 168 tries, 167486392 fired transitions, 2440 secs || 8130026 markings, 12531142 edges, 3776 markings/sec, 2440 secs
lola: 168 tries, 167819512 fired transitions, 2445 secs || 8148364 markings, 12559720 edges, 3668 markings/sec, 2445 secs
lola: 169 tries, 168153918 fired transitions, 2450 secs || 8166745 markings, 12588255 edges, 3676 markings/sec, 2450 secs
lola: 169 tries, 168502917 fired transitions, 2455 secs || 8186299 markings, 12618353 edges, 3911 markings/sec, 2455 secs
lola: 169 tries, 168856685 fired transitions, 2460 secs || 8205968 markings, 12648549 edges, 3934 markings/sec, 2460 secs
lola: 170 tries, 169209664 fired transitions, 2465 secs || 8226059 markings, 12679488 edges, 4018 markings/sec, 2465 secs
lola: 170 tries, 169547628 fired transitions, 2470 secs || 8244981 markings, 12708575 edges, 3784 markings/sec, 2470 secs
lola: 170 tries, 169879601 fired transitions, 2475 secs || 8263765 markings, 12737507 edges, 3757 markings/sec, 2475 secs
lola: 171 tries, 170212930 fired transitions, 2480 secs || 8282338 markings, 12766167 edges, 3715 markings/sec, 2480 secs
lola: 171 tries, 170547337 fired transitions, 2485 secs || 8300809 markings, 12794745 edges, 3694 markings/sec, 2485 secs
lola: 171 tries, 170881196 fired transitions, 2490 secs || 8319491 markings, 12823509 edges, 3736 markings/sec, 2490 secs
lola: 172 tries, 171214794 fired transitions, 2495 secs || 8338286 markings, 12852525 edges, 3759 markings/sec, 2495 secs
lola: 172 tries, 171559367 fired transitions, 2500 secs || 8357757 markings, 12882311 edges, 3894 markings/sec, 2500 secs
lola: 172 tries, 171911740 fired transitions, 2505 secs || 8377128 markings, 12912401 edges, 3874 markings/sec, 2505 secs
lola: 173 tries, 172268048 fired transitions, 2510 secs || 8396553 markings, 12942756 edges, 3885 markings/sec, 2510 secs
lola: 173 tries, 172622354 fired transitions, 2515 secs || 8416404 markings, 12973016 edges, 3970 markings/sec, 2515 secs
lola: 173 tries, 172977494 fired transitions, 2520 secs || 8436009 markings, 13003066 edges, 3921 markings/sec, 2520 secs
lola: 174 tries, 173320712 fired transitions, 2525 secs || 8454893 markings, 13032191 edges, 3777 markings/sec, 2525 secs
lola: 174 tries, 173661863 fired transitions, 2530 secs || 8473978 markings, 13061518 edges, 3817 markings/sec, 2530 secs
lola: 174 tries, 173990769 fired transitions, 2535 secs || 8492835 markings, 13090531 edges, 3771 markings/sec, 2535 secs
lola: 175 tries, 174331949 fired transitions, 2540 secs || 8511636 markings, 13119554 edges, 3760 markings/sec, 2540 secs
lola: 175 tries, 174684088 fired transitions, 2545 secs || 8530688 markings, 13149276 edges, 3810 markings/sec, 2545 secs
lola: 176 tries, 175031853 fired transitions, 2550 secs || 8549534 markings, 13178624 edges, 3769 markings/sec, 2550 secs
lola: 176 tries, 175388876 fired transitions, 2555 secs || 8568926 markings, 13208541 edges, 3878 markings/sec, 2555 secs
lola: 176 tries, 175732720 fired transitions, 2560 secs || 8588465 markings, 13238406 edges, 3908 markings/sec, 2560 secs
lola: 177 tries, 176087808 fired transitions, 2565 secs || 8608454 markings, 13268904 edges, 3998 markings/sec, 2565 secs
lola: 177 tries, 176428916 fired transitions, 2570 secs || 8627772 markings, 13298625 edges, 3864 markings/sec, 2570 secs
lola: 177 tries, 176762930 fired transitions, 2575 secs || 8645895 markings, 13326639 edges, 3625 markings/sec, 2575 secs
lola: 178 tries, 177094348 fired transitions, 2580 secs || 8664400 markings, 13355193 edges, 3701 markings/sec, 2580 secs
lola: 178 tries, 177438897 fired transitions, 2585 secs || 8683256 markings, 13384212 edges, 3771 markings/sec, 2585 secs
lola: 178 tries, 177799136 fired transitions, 2590 secs || 8703291 markings, 13415712 edges, 4007 markings/sec, 2590 secs
lola: 179 tries, 178156908 fired transitions, 2595 secs || 8723886 markings, 13447084 edges, 4119 markings/sec, 2595 secs
lola: 179 tries, 178522155 fired transitions, 2600 secs || 8744201 markings, 13478313 edges, 4063 markings/sec, 2600 secs
lola: 179 tries, 178885152 fired transitions, 2605 secs || 8764091 markings, 13509332 edges, 3978 markings/sec, 2605 secs
lola: 180 tries, 179251288 fired transitions, 2610 secs || 8783881 markings, 13539551 edges, 3958 markings/sec, 2610 secs
lola: 180 tries, 179620414 fired transitions, 2615 secs || 8803950 markings, 13570141 edges, 4014 markings/sec, 2615 secs
lola: 180 tries, 179979075 fired transitions, 2620 secs || 8823187 markings, 13600651 edges, 3847 markings/sec, 2620 secs
lola: 181 tries, 180336577 fired transitions, 2625 secs || 8843178 markings, 13631130 edges, 3998 markings/sec, 2625 secs
lola: 181 tries, 180692905 fired transitions, 2630 secs || 8862852 markings, 13661197 edges, 3935 markings/sec, 2630 secs
lola: 182 tries, 181048844 fired transitions, 2635 secs || 8882506 markings, 13691286 edges, 3931 markings/sec, 2635 secs
lola: 182 tries, 181402350 fired transitions, 2640 secs || 8901773 markings, 13721731 edges, 3853 markings/sec, 2640 secs
lola: 182 tries, 181767895 fired transitions, 2645 secs || 8922060 markings, 13752643 edges, 4057 markings/sec, 2645 secs
lola: 183 tries, 182135329 fired transitions, 2650 secs || 8942740 markings, 13784121 edges, 4136 markings/sec, 2650 secs
lola: 183 tries, 182496394 fired transitions, 2655 secs || 8962423 markings, 13815145 edges, 3937 markings/sec, 2655 secs
lola: 183 tries, 182861610 fired transitions, 2660 secs || 8982714 markings, 13846011 edges, 4058 markings/sec, 2660 secs
lola: 184 tries, 183217127 fired transitions, 2665 secs || 9002495 markings, 13876265 edges, 3956 markings/sec, 2665 secs
lola: 184 tries, 183573091 fired transitions, 2670 secs || 9021545 markings, 13906065 edges, 3810 markings/sec, 2670 secs
lola: 184 tries, 183923695 fired transitions, 2675 secs || 9041048 markings, 13936321 edges, 3901 markings/sec, 2675 secs
lola: 185 tries, 184289334 fired transitions, 2680 secs || 9060899 markings, 13966679 edges, 3970 markings/sec, 2680 secs
lola: 185 tries, 184642156 fired transitions, 2685 secs || 9080995 markings, 13997365 edges, 4019 markings/sec, 2685 secs
lola: 186 tries, 185011701 fired transitions, 2690 secs || 9100837 markings, 14028549 edges, 3968 markings/sec, 2690 secs
lola: 186 tries, 185353999 fired transitions, 2695 secs || 9119991 markings, 14057968 edges, 3831 markings/sec, 2695 secs
lola: 186 tries, 185708538 fired transitions, 2700 secs || 9139185 markings, 14087474 edges, 3839 markings/sec, 2700 secs
lola: 187 tries, 186049811 fired transitions, 2705 secs || 9158998 markings, 14117697 edges, 3963 markings/sec, 2705 secs
lola: 187 tries, 186399693 fired transitions, 2710 secs || 9178812 markings, 14148144 edges, 3963 markings/sec, 2710 secs
lola: 187 tries, 186753430 fired transitions, 2715 secs || 9198491 markings, 14179164 edges, 3936 markings/sec, 2715 secs
lola: 188 tries, 187107116 fired transitions, 2720 secs || 9218935 markings, 14210194 edges, 4089 markings/sec, 2720 secs
lola: 188 tries, 187445432 fired transitions, 2725 secs || 9238546 markings, 14240255 edges, 3922 markings/sec, 2725 secs
lola: 188 tries, 187780566 fired transitions, 2730 secs || 9257533 markings, 14270033 edges, 3797 markings/sec, 2730 secs
lola: 189 tries, 188115155 fired transitions, 2735 secs || 9276401 markings, 14299140 edges, 3774 markings/sec, 2735 secs
lola: 189 tries, 188454018 fired transitions, 2740 secs || 9295390 markings, 14328659 edges, 3798 markings/sec, 2740 secs
lola: 189 tries, 188809875 fired transitions, 2745 secs || 9315722 markings, 14359553 edges, 4066 markings/sec, 2745 secs
lola: 190 tries, 189169663 fired transitions, 2750 secs || 9336062 markings, 14390563 edges, 4068 markings/sec, 2750 secs
lola: 190 tries, 189525775 fired transitions, 2755 secs || 9355641 markings, 14421455 edges, 3916 markings/sec, 2755 secs
lola: 190 tries, 189874771 fired transitions, 2760 secs || 9374573 markings, 14450525 edges, 3786 markings/sec, 2760 secs
lola: 191 tries, 190239252 fired transitions, 2765 secs || 9394752 markings, 14481314 edges, 4036 markings/sec, 2765 secs
lola: 191 tries, 190599467 fired transitions, 2770 secs || 9415017 markings, 14512507 edges, 4053 markings/sec, 2770 secs
lola: 191 tries, 190966002 fired transitions, 2775 secs || 9435270 markings, 14543959 edges, 4051 markings/sec, 2775 secs
lola: 192 tries, 191332295 fired transitions, 2780 secs || 9455876 markings, 14575300 edges, 4121 markings/sec, 2780 secs
lola: 192 tries, 191679042 fired transitions, 2785 secs || 9474928 markings, 14605071 edges, 3810 markings/sec, 2785 secs
lola: 193 tries, 192015549 fired transitions, 2790 secs || 9493498 markings, 14633584 edges, 3714 markings/sec, 2790 secs
lola: 193 tries, 192348728 fired transitions, 2795 secs || 9512025 markings, 14661825 edges, 3705 markings/sec, 2795 secs
lola: 193 tries, 192685065 fired transitions, 2800 secs || 9530741 markings, 14690770 edges, 3743 markings/sec, 2800 secs
lola: 194 tries, 193038447 fired transitions, 2805 secs || 9550268 markings, 14721547 edges, 3905 markings/sec, 2805 secs
lola: 194 tries, 193390814 fired transitions, 2810 secs || 9570138 markings, 14751867 edges, 3974 markings/sec, 2810 secs
lola: 194 tries, 193736643 fired transitions, 2815 secs || 9589409 markings, 14781499 edges, 3854 markings/sec, 2815 secs
lola: 195 tries, 194079276 fired transitions, 2820 secs || 9608725 markings, 14811083 edges, 3863 markings/sec, 2820 secs
lola: 195 tries, 194426273 fired transitions, 2825 secs || 9628033 markings, 14840717 edges, 3862 markings/sec, 2825 secs
lola: 195 tries, 194785563 fired transitions, 2830 secs || 9647179 markings, 14871167 edges, 3829 markings/sec, 2830 secs
lola: 196 tries, 195137035 fired transitions, 2835 secs || 9666916 markings, 14901294 edges, 3947 markings/sec, 2835 secs
lola: 196 tries, 195488985 fired transitions, 2840 secs || 9686961 markings, 14931868 edges, 4009 markings/sec, 2840 secs
lola: 196 tries, 195840120 fired transitions, 2845 secs || 9706710 markings, 14962022 edges, 3950 markings/sec, 2845 secs
lola: 197 tries, 196182019 fired transitions, 2850 secs || 9725885 markings, 14991708 edges, 3835 markings/sec, 2850 secs
lola: 197 tries, 196526592 fired transitions, 2855 secs || 9744724 markings, 15021360 edges, 3768 markings/sec, 2855 secs
lola: 197 tries, 196867372 fired transitions, 2860 secs || 9763826 markings, 15050752 edges, 3820 markings/sec, 2860 secs
lola: 198 tries, 197212216 fired transitions, 2865 secs || 9782830 markings, 15080069 edges, 3801 markings/sec, 2865 secs
lola: 198 tries, 197554226 fired transitions, 2870 secs || 9802092 markings, 15109597 edges, 3852 markings/sec, 2870 secs
lola: 198 tries, 197906552 fired transitions, 2875 secs || 9821768 markings, 15139674 edges, 3935 markings/sec, 2875 secs
lola: 199 tries, 198258367 fired transitions, 2880 secs || 9841800 markings, 15170340 edges, 4006 markings/sec, 2880 secs
lola: 199 tries, 198611384 fired transitions, 2885 secs || 9861079 markings, 15200758 edges, 3856 markings/sec, 2885 secs
lola: 199 tries, 198963460 fired transitions, 2890 secs || 9880600 markings, 15230629 edges, 3904 markings/sec, 2890 secs
lola: 200 tries, 199315447 fired transitions, 2895 secs || 9900378 markings, 15260923 edges, 3956 markings/sec, 2895 secs
lola: 200 tries, 199667334 fired transitions, 2900 secs || 9920435 markings, 15291557 edges, 4011 markings/sec, 2900 secs
lola: 201 tries, 200024494 fired transitions, 2905 secs || 9939682 markings, 15321970 edges, 3849 markings/sec, 2905 secs
lola: 201 tries, 200380394 fired transitions, 2910 secs || 9959111 markings, 15351744 edges, 3886 markings/sec, 2910 secs
lola: 201 tries, 200737760 fired transitions, 2915 secs || 9978820 markings, 15381927 edges, 3942 markings/sec, 2915 secs
lola: 202 tries, 201093386 fired transitions, 2920 secs || 9997897 markings, 15411194 edges, 3815 markings/sec, 2920 secs
lola: 202 tries, 201441018 fired transitions, 2925 secs || 10016819 markings, 15440372 edges, 3784 markings/sec, 2925 secs
lola: 202 tries, 201797696 fired transitions, 2930 secs || 10036302 markings, 15470182 edges, 3897 markings/sec, 2930 secs
lola: 203 tries, 202152487 fired transitions, 2935 secs || 10055379 markings, 15499649 edges, 3815 markings/sec, 2935 secs
lola: 203 tries, 202506880 fired transitions, 2940 secs || 10074234 markings, 15529143 edges, 3771 markings/sec, 2940 secs
lola: 203 tries, 202861495 fired transitions, 2945 secs || 10093718 markings, 15559292 edges, 3897 markings/sec, 2945 secs
lola: 204 tries, 203209623 fired transitions, 2950 secs || 10113294 markings, 15589292 edges, 3915 markings/sec, 2950 secs
lola: 204 tries, 203553810 fired transitions, 2955 secs || 10131886 markings, 15618147 edges, 3718 markings/sec, 2955 secs
lola: 204 tries, 203893971 fired transitions, 2960 secs || 10150741 markings, 15647155 edges, 3771 markings/sec, 2960 secs
lola: 205 tries, 204229249 fired transitions, 2965 secs || 10169341 markings, 15675839 edges, 3720 markings/sec, 2965 secs
lola: 205 tries, 204560804 fired transitions, 2970 secs || 10187533 markings, 15704076 edges, 3638 markings/sec, 2970 secs
lola: 205 tries, 204891313 fired transitions, 2975 secs || 10205984 markings, 15732544 edges, 3690 markings/sec, 2975 secs
lola: 206 tries, 205223681 fired transitions, 2980 secs || 10224683 markings, 15761371 edges, 3740 markings/sec, 2980 secs
lola: 206 tries, 205558016 fired transitions, 2985 secs || 10243526 markings, 15790336 edges, 3769 markings/sec, 2985 secs
lola: 206 tries, 205906113 fired transitions, 2990 secs || 10263164 markings, 15820480 edges, 3928 markings/sec, 2990 secs
lola: 207 tries, 206260328 fired transitions, 2995 secs || 10283431 markings, 15851319 edges, 4053 markings/sec, 2995 secs
lola: 207 tries, 206616714 fired transitions, 3000 secs || 10303030 markings, 15882143 edges, 3920 markings/sec, 3000 secs
lola: 207 tries, 206970767 fired transitions, 3005 secs || 10323121 markings, 15912887 edges, 4018 markings/sec, 3005 secs
lola: 208 tries, 207318760 fired transitions, 3010 secs || 10343413 markings, 15943760 edges, 4058 markings/sec, 3010 secs
lola: 208 tries, 207668154 fired transitions, 3015 secs || 10363050 markings, 15974682 edges, 3927 markings/sec, 3015 secs
lola: 209 tries, 208023821 fired transitions, 3020 secs || 10383232 markings, 16005551 edges, 4036 markings/sec, 3020 secs
lola: 209 tries, 208375232 fired transitions, 3025 secs || 10403629 markings, 16036567 edges, 4079 markings/sec, 3025 secs
lola: 209 tries, 208728506 fired transitions, 3030 secs || 10423451 markings, 16067724 edges, 3964 markings/sec, 3030 secs
lola: 210 tries, 209079458 fired transitions, 3035 secs || 10443697 markings, 16098623 edges, 4049 markings/sec, 3035 secs
lola: 210 tries, 209432344 fired transitions, 3040 secs || 10463829 markings, 16129300 edges, 4026 markings/sec, 3040 secs
lola: 210 tries, 209785437 fired transitions, 3045 secs || 10482868 markings, 16159433 edges, 3808 markings/sec, 3045 secs
lola: 211 tries, 210141970 fired transitions, 3050 secs || 10502506 markings, 16189575 edges, 3928 markings/sec, 3050 secs
lola: 211 tries, 210494819 fired transitions, 3055 secs || 10522646 markings, 16220244 edges, 4028 markings/sec, 3055 secs
lola: 211 tries, 210840571 fired transitions, 3060 secs || 10541883 markings, 16249756 edges, 3847 markings/sec, 3060 secs
lola: 212 tries, 211186197 fired transitions, 3065 secs || 10560568 markings, 16278582 edges, 3737 markings/sec, 3065 secs
lola: 212 tries, 211527375 fired transitions, 3070 secs || 10578896 markings, 16306959 edges, 3666 markings/sec, 3070 secs
lola: 212 tries, 211871900 fired transitions, 3075 secs || 10597514 markings, 16335636 edges, 3724 markings/sec, 3075 secs
lola: 213 tries, 212222894 fired transitions, 3080 secs || 10616458 markings, 16364905 edges, 3789 markings/sec, 3080 secs
lola: 213 tries, 212580746 fired transitions, 3085 secs || 10636253 markings, 16395124 edges, 3959 markings/sec, 3085 secs
lola: 213 tries, 212939198 fired transitions, 3090 secs || 10655297 markings, 16425080 edges, 3809 markings/sec, 3090 secs
lola: 214 tries, 213298065 fired transitions, 3095 secs || 10674416 markings, 16454734 edges, 3824 markings/sec, 3095 secs
lola: 214 tries, 213649633 fired transitions, 3100 secs || 10693611 markings, 16484153 edges, 3839 markings/sec, 3100 secs
lola: 214 tries, 213996813 fired transitions, 3105 secs || 10712505 markings, 16513277 edges, 3779 markings/sec, 3105 secs
lola: 215 tries, 214337833 fired transitions, 3110 secs || 10731550 markings, 16542588 edges, 3809 markings/sec, 3110 secs
lola: 215 tries, 214677577 fired transitions, 3115 secs || 10750791 markings, 16572099 edges, 3848 markings/sec, 3115 secs
lola: 216 tries, 215018141 fired transitions, 3120 secs || 10770066 markings, 16601647 edges, 3855 markings/sec, 3120 secs
lola: 216 tries, 215364114 fired transitions, 3125 secs || 10789368 markings, 16631337 edges, 3860 markings/sec, 3125 secs
lola: 216 tries, 215702940 fired transitions, 3130 secs || 10808561 markings, 16661075 edges, 3839 markings/sec, 3130 secs
lola: 217 tries, 216049796 fired transitions, 3135 secs || 10827505 markings, 16690814 edges, 3789 markings/sec, 3135 secs
lola: 217 tries, 216404098 fired transitions, 3140 secs || 10847237 markings, 16721098 edges, 3946 markings/sec, 3140 secs
lola: 217 tries, 216760708 fired transitions, 3145 secs || 10867331 markings, 16751684 edges, 4019 markings/sec, 3145 secs
lola: 218 tries, 217111958 fired transitions, 3150 secs || 10887123 markings, 16781945 edges, 3958 markings/sec, 3150 secs
lola: 218 tries, 217449733 fired transitions, 3155 secs || 10906134 markings, 16812135 edges, 3802 markings/sec, 3155 secs
lola: 218 tries, 217793839 fired transitions, 3160 secs || 10925745 markings, 16842101 edges, 3922 markings/sec, 3160 secs
lola: 219 tries, 218137563 fired transitions, 3165 secs || 10945262 markings, 16871988 edges, 3903 markings/sec, 3165 secs
lola: 219 tries, 218473082 fired transitions, 3170 secs || 10964757 markings, 16901804 edges, 3899 markings/sec, 3170 secs
lola: 219 tries, 218808072 fired transitions, 3175 secs || 10984292 markings, 16931814 edges, 3907 markings/sec, 3175 secs
lola: 220 tries, 219156545 fired transitions, 3180 secs || 11003370 markings, 16961353 edges, 3816 markings/sec, 3180 secs
lola: 220 tries, 219505565 fired transitions, 3185 secs || 11022128 markings, 16990615 edges, 3752 markings/sec, 3185 secs
lola: 220 tries, 219853840 fired transitions, 3190 secs || 11040923 markings, 17019743 edges, 3759 markings/sec, 3190 secs
lola: 221 tries, 220191256 fired transitions, 3195 secs || 11060204 markings, 17049480 edges, 3856 markings/sec, 3195 secs
lola: 221 tries, 220534772 fired transitions, 3200 secs || 11079670 markings, 17079275 edges, 3893 markings/sec, 3200 secs
lola: 221 tries, 220879927 fired transitions, 3205 secs || 11098754 markings, 17108732 edges, 3817 markings/sec, 3205 secs
lola: 222 tries, 221225255 fired transitions, 3210 secs || 11118511 markings, 17138970 edges, 3951 markings/sec, 3210 secs
lola: 222 tries, 221570406 fired transitions, 3215 secs || 11138435 markings, 17169724 edges, 3985 markings/sec, 3215 secs
lola: 222 tries, 221913233 fired transitions, 3220 secs || 11158148 markings, 17200411 edges, 3943 markings/sec, 3220 secs
lola: 223 tries, 222265443 fired transitions, 3225 secs || 11178445 markings, 17231352 edges, 4059 markings/sec, 3225 secs
lola: 223 tries, 222614734 fired transitions, 3230 secs || 11198241 markings, 17261871 edges, 3959 markings/sec, 3230 secs
lola: 223 tries, 222959690 fired transitions, 3235 secs || 11217434 markings, 17291991 edges, 3839 markings/sec, 3235 secs
lola: 224 tries, 223304759 fired transitions, 3240 secs || 11237138 markings, 17322154 edges, 3941 markings/sec, 3240 secs
lola: 224 tries, 223654662 fired transitions, 3245 secs || 11257125 markings, 17352601 edges, 3997 markings/sec, 3245 secs
lola: 224 tries, 223999904 fired transitions, 3250 secs || 11276753 markings, 17382685 edges, 3926 markings/sec, 3250 secs
lola: 225 tries, 224345929 fired transitions, 3255 secs || 11295866 markings, 17412974 edges, 3823 markings/sec, 3255 secs
lola: 225 tries, 224691285 fired transitions, 3260 secs || 11315546 markings, 17443025 edges, 3936 markings/sec, 3260 secs
lola: 226 tries, 225034924 fired transitions, 3265 secs || 11335101 markings, 17473056 edges, 3911 markings/sec, 3265 secs
lola: 226 tries, 225380915 fired transitions, 3270 secs || 11355054 markings, 17503465 edges, 3991 markings/sec, 3270 secs
lola: 226 tries, 225727448 fired transitions, 3275 secs || 11374532 markings, 17533818 edges, 3896 markings/sec, 3275 secs
lola: 227 tries, 226074358 fired transitions, 3280 secs || 11394065 markings, 17564179 edges, 3907 markings/sec, 3280 secs
lola: 227 tries, 226421016 fired transitions, 3285 secs || 11413833 markings, 17594337 edges, 3954 markings/sec, 3285 secs
lola: 227 tries, 226767725 fired transitions, 3290 secs || 11433489 markings, 17624455 edges, 3931 markings/sec, 3290 secs
lola: 228 tries, 227114122 fired transitions, 3295 secs || 11453131 markings, 17654627 edges, 3928 markings/sec, 3295 secs
lola: 228 tries, 227461364 fired transitions, 3300 secs || 11472442 markings, 17685040 edges, 3862 markings/sec, 3300 secs
lola: 228 tries, 227808265 fired transitions, 3305 secs || 11492233 markings, 17715318 edges, 3958 markings/sec, 3305 secs
lola: 229 tries, 228154493 fired transitions, 3310 secs || 11511972 markings, 17745493 edges, 3948 markings/sec, 3310 secs
lola: 229 tries, 228503842 fired transitions, 3315 secs || 11531613 markings, 17775884 edges, 3928 markings/sec, 3315 secs
lola: 229 tries, 228849528 fired transitions, 3320 secs || 11550808 markings, 17805942 edges, 3839 markings/sec, 3320 secs
lola: 230 tries, 229194656 fired transitions, 3325 secs || 11570343 markings, 17835950 edges, 3907 markings/sec, 3325 secs
lola: 230 tries, 229547984 fired transitions, 3330 secs || 11590737 markings, 17866948 edges, 4079 markings/sec, 3330 secs
lola: 230 tries, 229904579 fired transitions, 3335 secs || 11610678 markings, 17898322 edges, 3988 markings/sec, 3335 secs
lola: 231 tries, 230261683 fired transitions, 3340 secs || 11631205 markings, 17929520 edges, 4105 markings/sec, 3340 secs
lola: 231 tries, 230612559 fired transitions, 3345 secs || 11651366 markings, 17960239 edges, 4032 markings/sec, 3345 secs
lola: 231 tries, 230955823 fired transitions, 3350 secs || 11670431 markings, 17990326 edges, 3813 markings/sec, 3350 secs
lola: 232 tries, 231301166 fired transitions, 3355 secs || 11688979 markings, 18018247 edges, 3710 markings/sec, 3355 secs
lola: 232 tries, 231638357 fired transitions, 3360 secs || 11707866 markings, 18047674 edges, 3777 markings/sec, 3360 secs
lola: 232 tries, 231973840 fired transitions, 3365 secs || 11726721 markings, 18077032 edges, 3771 markings/sec, 3365 secs
lola: 233 tries, 232310471 fired transitions, 3370 secs || 11745650 markings, 18106406 edges, 3786 markings/sec, 3370 secs
lola: 233 tries, 232656205 fired transitions, 3375 secs || 11765346 markings, 18136466 edges, 3939 markings/sec, 3375 secs
lola: 234 tries, 233002078 fired transitions, 3380 secs || 11785038 markings, 18166585 edges, 3938 markings/sec, 3380 secs
lola: 234 tries, 233347299 fired transitions, 3385 secs || 11804672 markings, 18196590 edges, 3927 markings/sec, 3385 secs
lola: 234 tries, 233692444 fired transitions, 3390 secs || 11824120 markings, 18226830 edges, 3890 markings/sec, 3390 secs
lola: 235 tries, 234037368 fired transitions, 3395 secs || 11843516 markings, 18257149 edges, 3879 markings/sec, 3395 secs
lola: 235 tries, 234382003 fired transitions, 3400 secs || 11863263 markings, 18287276 edges, 3949 markings/sec, 3400 secs
lola: 235 tries, 234727536 fired transitions, 3405 secs || 11882934 markings, 18317429 edges, 3934 markings/sec, 3405 secs
lola: 236 tries, 235076187 fired transitions, 3410 secs || 11902577 markings, 18347849 edges, 3929 markings/sec, 3410 secs
lola: 236 tries, 235416626 fired transitions, 3415 secs || 11921949 markings, 18378046 edges, 3874 markings/sec, 3415 secs
lola: 236 tries, 235756502 fired transitions, 3420 secs || 11941677 markings, 18408303 edges, 3946 markings/sec, 3420 secs
lola: 237 tries, 236100575 fired transitions, 3425 secs || 11961442 markings, 18438493 edges, 3953 markings/sec, 3425 secs
lola: 237 tries, 236444038 fired transitions, 3430 secs || 11980683 markings, 18468011 edges, 3848 markings/sec, 3430 secs
lola: 237 tries, 236781291 fired transitions, 3435 secs || 11999830 markings, 18497515 edges, 3829 markings/sec, 3435 secs
lola: 238 tries, 237124806 fired transitions, 3440 secs || 12018770 markings, 18527079 edges, 3788 markings/sec, 3440 secs
lola: 238 tries, 237471396 fired transitions, 3445 secs || 12037650 markings, 18556549 edges, 3776 markings/sec, 3445 secs
lola: 238 tries, 237816632 fired transitions, 3450 secs || 12056957 markings, 18586219 edges, 3861 markings/sec, 3450 secs
lola: 239 tries, 238155585 fired transitions, 3455 secs || 12076891 markings, 18616807 edges, 3987 markings/sec, 3455 secs
lola: 239 tries, 238497153 fired transitions, 3460 secs || 12096547 markings, 18646818 edges, 3931 markings/sec, 3460 secs
lola: 239 tries, 238839006 fired transitions, 3465 secs || 12116543 markings, 18677383 edges, 3999 markings/sec, 3465 secs
lola: 240 tries, 239182970 fired transitions, 3470 secs || 12135873 markings, 18707958 edges, 3866 markings/sec, 3470 secs
lola: 240 tries, 239525008 fired transitions, 3475 secs || 12155811 markings, 18738340 edges, 3988 markings/sec, 3475 secs
lola: 240 tries, 239862369 fired transitions, 3480 secs || 12175772 markings, 18768876 edges, 3992 markings/sec, 3480 secs
lola: 241 tries, 240208789 fired transitions, 3485 secs || 12195221 markings, 18799348 edges, 3890 markings/sec, 3485 secs
lola: 241 tries, 240554899 fired transitions, 3490 secs || 12215000 markings, 18829783 edges, 3956 markings/sec, 3490 secs
lola: 241 tries, 240900213 fired transitions, 3495 secs || 12235007 markings, 18860343 edges, 4001 markings/sec, 3495 secs
lola: 242 tries, 241241894 fired transitions, 3500 secs || 12254737 markings, 18890479 edges, 3946 markings/sec, 3500 secs
lola: 242 tries, 241588607 fired transitions, 3505 secs || 12273944 markings, 18920814 edges, 3841 markings/sec, 3505 secs
lola: 242 tries, 241935474 fired transitions, 3510 secs || 12293704 markings, 18951182 edges, 3952 markings/sec, 3510 secs
lola: 243 tries, 242283171 fired transitions, 3515 secs || 12313708 markings, 18981645 edges, 4001 markings/sec, 3515 secs
lola: 243 tries, 242641964 fired transitions, 3520 secs || 12333904 markings, 19012973 edges, 4039 markings/sec, 3520 secs
lola: 243 tries, 242999922 fired transitions, 3525 secs || 12354092 markings, 19044150 edges, 4038 markings/sec, 3525 secs
lola: 244 tries, 243347701 fired transitions, 3530 secs || 12373721 markings, 19074130 edges, 3926 markings/sec, 3530 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552517552795

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

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