About the Execution of LoLA for DLCshifumi-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.010 | 3353098.00 | 6747172.00 | 7640.30 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r049-oct2-155234405300552.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCshifumi-PT-4b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405300552
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.3M
-rw-r--r-- 1 mcc users 3.3K Feb 10 09:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 09:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 08:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 08:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 3 01:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 3 01:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 30 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 5.1M 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 DLCshifumi-PT-4b-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552464951890
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCshifumi-PT-4b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 217
rslt: Output for GlobalProperties @ DLCshifumi-PT-4b
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 36356/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 15015
lola: finding significant places
lola: 15015 places, 21341 transitions, 14324 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, 1268 fired transitions, 0 secs
lola: 14 generators;71790155 candidates remain ( 0%), 0 secs
lola: computed 79 generators (79 in search tree, 0 by composition)
lola: representing 6.04463E+23 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 403522 fired transitions, 5 secs || 11227 markings, 11983 edges, 2245 markings/sec, 5 secs
lola: 2 tries, 1219306 fired transitions, 10 secs || 36869 markings, 40492 edges, 5128 markings/sec, 10 secs
lola: 3 tries, 2035102 fired transitions, 15 secs || 62653 markings, 69068 edges, 5157 markings/sec, 15 secs
lola: 3 tries, 2854951 fired transitions, 20 secs || 88565 markings, 97708 edges, 5182 markings/sec, 20 secs
lola: 4 tries, 3723866 fired transitions, 25 secs || 117124 markings, 129364 edges, 5712 markings/sec, 25 secs
lola: 5 tries, 4363044 fired transitions, 30 secs || 138932 markings, 153625 edges, 4362 markings/sec, 30 secs
lola: 6 tries, 5056658 fired transitions, 35 secs || 161899 markings, 179179 edges, 4593 markings/sec, 35 secs
lola: 6 tries, 5869340 fired transitions, 40 secs || 187472 markings, 207605 edges, 5115 markings/sec, 40 secs
lola: 7 tries, 6695747 fired transitions, 45 secs || 213172 markings, 236200 edges, 5140 markings/sec, 45 secs
lola: 8 tries, 7523698 fired transitions, 50 secs || 238836 markings, 264763 edges, 5133 markings/sec, 50 secs
lola: 9 tries, 8352739 fired transitions, 55 secs || 264730 markings, 293607 edges, 5179 markings/sec, 55 secs
lola: 10 tries, 9180272 fired transitions, 60 secs || 290449 markings, 322230 edges, 5144 markings/sec, 60 secs
lola: 11 tries, 10004161 fired transitions, 65 secs || 316069 markings, 350741 edges, 5124 markings/sec, 65 secs
lola: 11 tries, 10836451 fired transitions, 70 secs || 341962 markings, 379538 edges, 5179 markings/sec, 70 secs
lola: 12 tries, 11669876 fired transitions, 75 secs || 367557 markings, 407993 edges, 5119 markings/sec, 75 secs
lola: 13 tries, 12518698 fired transitions, 80 secs || 393544 markings, 436891 edges, 5197 markings/sec, 80 secs
lola: 14 tries, 13356065 fired transitions, 85 secs || 419240 markings, 465485 edges, 5139 markings/sec, 85 secs
lola: 15 tries, 14168430 fired transitions, 90 secs || 444579 markings, 493694 edges, 5068 markings/sec, 90 secs
lola: 15 tries, 14997042 fired transitions, 95 secs || 469586 markings, 521534 edges, 5001 markings/sec, 95 secs
lola: 16 tries, 15648032 fired transitions, 100 secs || 489744 markings, 543975 edges, 4032 markings/sec, 100 secs
lola: 17 tries, 16115940 fired transitions, 105 secs || 505954 markings, 562023 edges, 3242 markings/sec, 105 secs
lola: 17 tries, 16599418 fired transitions, 110 secs || 522548 markings, 580496 edges, 3319 markings/sec, 110 secs
lola: 18 tries, 17084597 fired transitions, 115 secs || 539311 markings, 599161 edges, 3353 markings/sec, 115 secs
lola: 18 tries, 17573484 fired transitions, 120 secs || 556206 markings, 617968 edges, 3379 markings/sec, 120 secs
lola: 19 tries, 18054291 fired transitions, 125 secs || 572881 markings, 636537 edges, 3335 markings/sec, 125 secs
lola: 19 tries, 18532134 fired transitions, 130 secs || 589344 markings, 654864 edges, 3293 markings/sec, 130 secs
lola: 20 tries, 19015618 fired transitions, 135 secs || 606166 markings, 673594 edges, 3364 markings/sec, 135 secs
lola: 20 tries, 19502187 fired transitions, 140 secs || 622742 markings, 692044 edges, 3315 markings/sec, 140 secs
lola: 20 tries, 19980920 fired transitions, 145 secs || 639288 markings, 710481 edges, 3309 markings/sec, 145 secs
lola: 21 tries, 20459837 fired transitions, 150 secs || 655733 markings, 728783 edges, 3289 markings/sec, 150 secs
lola: 21 tries, 20939836 fired transitions, 155 secs || 672280 markings, 747204 edges, 3309 markings/sec, 155 secs
lola: 22 tries, 21416898 fired transitions, 160 secs || 688789 markings, 765582 edges, 3302 markings/sec, 160 secs
lola: 23 tries, 22017507 fired transitions, 165 secs || 708707 markings, 787754 edges, 3984 markings/sec, 165 secs
lola: 23 tries, 22823380 fired transitions, 170 secs || 734351 markings, 816297 edges, 5129 markings/sec, 170 secs
lola: 24 tries, 23648698 fired transitions, 175 secs || 759892 markings, 844730 edges, 5108 markings/sec, 175 secs
lola: 25 tries, 24387918 fired transitions, 180 secs || 783158 markings, 870631 edges, 4653 markings/sec, 180 secs
lola: 25 tries, 24869894 fired transitions, 185 secs || 799750 markings, 889100 edges, 3318 markings/sec, 185 secs
lola: 26 tries, 25554397 fired transitions, 190 secs || 821971 markings, 913839 edges, 4444 markings/sec, 190 secs
lola: 27 tries, 26380037 fired transitions, 195 secs || 848013 markings, 942823 edges, 5208 markings/sec, 195 secs
lola: 28 tries, 27205774 fired transitions, 200 secs || 874253 markings, 972040 edges, 5248 markings/sec, 200 secs
lola: 29 tries, 28029986 fired transitions, 205 secs || 900035 markings, 1000741 edges, 5156 markings/sec, 205 secs
lola: 29 tries, 28842426 fired transitions, 210 secs || 926826 markings, 1030561 edges, 5358 markings/sec, 210 secs
lola: 30 tries, 29666033 fired transitions, 215 secs || 952934 markings, 1059425 edges, 5222 markings/sec, 215 secs
lola: 31 tries, 30477891 fired transitions, 220 secs || 979568 markings, 1088755 edges, 5327 markings/sec, 220 secs
lola: 32 tries, 31307091 fired transitions, 225 secs || 1006396 markings, 1118507 edges, 5366 markings/sec, 225 secs
lola: 33 tries, 32137249 fired transitions, 230 secs || 1033768 markings, 1148947 edges, 5474 markings/sec, 230 secs
lola: 33 tries, 32971173 fired transitions, 235 secs || 1061645 markings, 1179790 edges, 5575 markings/sec, 235 secs
lola: 34 tries, 33784570 fired transitions, 240 secs || 1088638 markings, 1209420 edges, 5399 markings/sec, 240 secs
lola: 35 tries, 34585954 fired transitions, 245 secs || 1112424 markings, 1235639 edges, 4757 markings/sec, 245 secs
lola: 36 tries, 35386290 fired transitions, 250 secs || 1138093 markings, 1263806 edges, 5134 markings/sec, 250 secs
lola: 37 tries, 36190083 fired transitions, 255 secs || 1163961 markings, 1292157 edges, 5174 markings/sec, 255 secs
lola: 37 tries, 36765278 fired transitions, 260 secs || 1183147 markings, 1313216 edges, 3837 markings/sec, 260 secs
lola: 38 tries, 37270914 fired transitions, 265 secs || 1199849 markings, 1331559 edges, 3340 markings/sec, 265 secs
lola: 38 tries, 37798266 fired transitions, 270 secs || 1216690 markings, 1350055 edges, 3368 markings/sec, 270 secs
lola: 39 tries, 38305722 fired transitions, 275 secs || 1233465 markings, 1368476 edges, 3355 markings/sec, 275 secs
lola: 39 tries, 38815682 fired transitions, 280 secs || 1250228 markings, 1386881 edges, 3353 markings/sec, 280 secs
lola: 40 tries, 39320534 fired transitions, 285 secs || 1266920 markings, 1405215 edges, 3338 markings/sec, 285 secs
lola: 40 tries, 39830140 fired transitions, 290 secs || 1283760 markings, 1423711 edges, 3368 markings/sec, 290 secs
lola: 41 tries, 40338139 fired transitions, 295 secs || 1300608 markings, 1442213 edges, 3370 markings/sec, 295 secs
lola: 41 tries, 40849421 fired transitions, 300 secs || 1317369 markings, 1460621 edges, 3352 markings/sec, 300 secs
lola: 42 tries, 41359299 fired transitions, 305 secs || 1334151 markings, 1479050 edges, 3356 markings/sec, 305 secs
lola: 43 tries, 42037067 fired transitions, 310 secs || 1355895 markings, 1502929 edges, 4349 markings/sec, 310 secs
lola: 43 tries, 42841530 fired transitions, 315 secs || 1381404 markings, 1530919 edges, 5102 markings/sec, 315 secs
lola: 44 tries, 43638256 fired transitions, 320 secs || 1406773 markings, 1558793 edges, 5074 markings/sec, 320 secs
lola: 45 tries, 44446981 fired transitions, 325 secs || 1431668 markings, 1586198 edges, 4979 markings/sec, 325 secs
lola: 46 tries, 45255868 fired transitions, 330 secs || 1456548 markings, 1613463 edges, 4976 markings/sec, 330 secs
lola: 47 tries, 46067224 fired transitions, 335 secs || 1481106 markings, 1640469 edges, 4912 markings/sec, 335 secs
lola: 47 tries, 46874677 fired transitions, 340 secs || 1505986 markings, 1667913 edges, 4976 markings/sec, 340 secs
lola: 48 tries, 47674670 fired transitions, 345 secs || 1530950 markings, 1695453 edges, 4993 markings/sec, 345 secs
lola: 49 tries, 48269890 fired transitions, 350 secs || 1550129 markings, 1716611 edges, 3836 markings/sec, 350 secs
lola: 49 tries, 48780178 fired transitions, 355 secs || 1566916 markings, 1735131 edges, 3357 markings/sec, 355 secs
lola: 50 tries, 49288214 fired transitions, 360 secs || 1583662 markings, 1753543 edges, 3349 markings/sec, 360 secs
lola: 50 tries, 49798866 fired transitions, 365 secs || 1600386 markings, 1771919 edges, 3345 markings/sec, 365 secs
lola: 51 tries, 50308338 fired transitions, 370 secs || 1617088 markings, 1790271 edges, 3340 markings/sec, 370 secs
lola: 51 tries, 50818655 fired transitions, 375 secs || 1633880 markings, 1808725 edges, 3358 markings/sec, 375 secs
lola: 52 tries, 51326466 fired transitions, 380 secs || 1650611 markings, 1827104 edges, 3346 markings/sec, 380 secs
lola: 52 tries, 51836472 fired transitions, 385 secs || 1667269 markings, 1845411 edges, 3332 markings/sec, 385 secs
lola: 53 tries, 52344178 fired transitions, 390 secs || 1684017 markings, 1863816 edges, 3350 markings/sec, 390 secs
lola: 53 tries, 52855338 fired transitions, 395 secs || 1700705 markings, 1882151 edges, 3338 markings/sec, 395 secs
lola: 54 tries, 53364838 fired transitions, 400 secs || 1717419 markings, 1900520 edges, 3343 markings/sec, 400 secs
lola: 54 tries, 53874825 fired transitions, 405 secs || 1734113 markings, 1918861 edges, 3339 markings/sec, 405 secs
lola: 55 tries, 54453964 fired transitions, 410 secs || 1752214 markings, 1938752 edges, 3620 markings/sec, 410 secs
lola: 55 tries, 54965311 fired transitions, 415 secs || 1768868 markings, 1957047 edges, 3331 markings/sec, 415 secs
lola: 56 tries, 55474597 fired transitions, 420 secs || 1785545 markings, 1975376 edges, 3335 markings/sec, 420 secs
lola: 56 tries, 55983528 fired transitions, 425 secs || 1802242 markings, 1993722 edges, 3339 markings/sec, 425 secs
lola: 57 tries, 56486120 fired transitions, 430 secs || 1818699 markings, 2011806 edges, 3291 markings/sec, 430 secs
lola: 57 tries, 56973792 fired transitions, 435 secs || 1834722 markings, 2029417 edges, 3205 markings/sec, 435 secs
lola: 58 tries, 57469388 fired transitions, 440 secs || 1851017 markings, 2047317 edges, 3259 markings/sec, 440 secs
lola: 58 tries, 57958074 fired transitions, 445 secs || 1866886 markings, 2064757 edges, 3174 markings/sec, 445 secs
lola: 59 tries, 58531562 fired transitions, 450 secs || 1885215 markings, 2084896 edges, 3666 markings/sec, 450 secs
lola: 60 tries, 59355808 fired transitions, 455 secs || 1911819 markings, 2114128 edges, 5321 markings/sec, 455 secs
lola: 61 tries, 60179937 fired transitions, 460 secs || 1938277 markings, 2143200 edges, 5292 markings/sec, 460 secs
lola: 62 tries, 61003502 fired transitions, 465 secs || 1964683 markings, 2172217 edges, 5281 markings/sec, 465 secs
lola: 62 tries, 61829121 fired transitions, 470 secs || 1991350 markings, 2201515 edges, 5333 markings/sec, 470 secs
lola: 63 tries, 62652765 fired transitions, 475 secs || 2017985 markings, 2230785 edges, 5327 markings/sec, 475 secs
lola: 64 tries, 63475401 fired transitions, 480 secs || 2044822 markings, 2260270 edges, 5367 markings/sec, 480 secs
lola: 65 tries, 64298046 fired transitions, 485 secs || 2071327 markings, 2289397 edges, 5301 markings/sec, 485 secs
lola: 66 tries, 65118991 fired transitions, 490 secs || 2098021 markings, 2318728 edges, 5339 markings/sec, 490 secs
lola: 66 tries, 65944211 fired transitions, 495 secs || 2124627 markings, 2347965 edges, 5321 markings/sec, 495 secs
lola: 67 tries, 66766333 fired transitions, 500 secs || 2151523 markings, 2377515 edges, 5379 markings/sec, 500 secs
lola: 68 tries, 67584647 fired transitions, 505 secs || 2178434 markings, 2407089 edges, 5382 markings/sec, 505 secs
lola: 69 tries, 68374348 fired transitions, 510 secs || 2204764 markings, 2436015 edges, 5266 markings/sec, 510 secs
lola: 70 tries, 69178136 fired transitions, 515 secs || 2230397 markings, 2464181 edges, 5127 markings/sec, 515 secs
lola: 70 tries, 69991906 fired transitions, 520 secs || 2256362 markings, 2492715 edges, 5193 markings/sec, 520 secs
lola: 71 tries, 70802818 fired transitions, 525 secs || 2282293 markings, 2521203 edges, 5186 markings/sec, 525 secs
lola: 72 tries, 71612106 fired transitions, 530 secs || 2308519 markings, 2550024 edges, 5245 markings/sec, 530 secs
lola: 73 tries, 72423103 fired transitions, 535 secs || 2334432 markings, 2578498 edges, 5183 markings/sec, 535 secs
lola: 74 tries, 73233314 fired transitions, 540 secs || 2360171 markings, 2606775 edges, 5148 markings/sec, 540 secs
lola: 75 tries, 74044449 fired transitions, 545 secs || 2385507 markings, 2634616 edges, 5067 markings/sec, 545 secs
lola: 75 tries, 74861188 fired transitions, 550 secs || 2411471 markings, 2663112 edges, 5193 markings/sec, 550 secs
lola: 76 tries, 75674730 fired transitions, 555 secs || 2437826 markings, 2692037 edges, 5271 markings/sec, 555 secs
lola: 77 tries, 76487548 fired transitions, 560 secs || 2464114 markings, 2720889 edges, 5258 markings/sec, 560 secs
lola: 78 tries, 77303618 fired transitions, 565 secs || 2489840 markings, 2749205 edges, 5145 markings/sec, 565 secs
lola: 79 tries, 78122089 fired transitions, 570 secs || 2516939 markings, 2779756 edges, 5420 markings/sec, 570 secs
lola: 79 tries, 78934758 fired transitions, 575 secs || 2542850 markings, 2808221 edges, 5182 markings/sec, 575 secs
lola: 80 tries, 79750191 fired transitions, 580 secs || 2569450 markings, 2837637 edges, 5320 markings/sec, 580 secs
lola: 81 tries, 80564818 fired transitions, 585 secs || 2595695 markings, 2866446 edges, 5249 markings/sec, 585 secs
lola: 82 tries, 81379298 fired transitions, 590 secs || 2621850 markings, 2895156 edges, 5231 markings/sec, 590 secs
lola: 83 tries, 82192720 fired transitions, 595 secs || 2647782 markings, 2923622 edges, 5186 markings/sec, 595 secs
lola: 84 tries, 83005379 fired transitions, 600 secs || 2673274 markings, 2951626 edges, 5098 markings/sec, 600 secs
lola: 84 tries, 83819548 fired transitions, 605 secs || 2698867 markings, 2979747 edges, 5119 markings/sec, 605 secs
lola: 85 tries, 84630401 fired transitions, 610 secs || 2724367 markings, 3007767 edges, 5100 markings/sec, 610 secs
lola: 86 tries, 85441832 fired transitions, 615 secs || 2749814 markings, 3035726 edges, 5089 markings/sec, 615 secs
lola: 87 tries, 86250930 fired transitions, 620 secs || 2775218 markings, 3063634 edges, 5081 markings/sec, 620 secs
lola: 88 tries, 87060690 fired transitions, 625 secs || 2800632 markings, 3091561 edges, 5083 markings/sec, 625 secs
lola: 88 tries, 87880858 fired transitions, 630 secs || 2827538 markings, 3121840 edges, 5381 markings/sec, 630 secs
lola: 89 tries, 88692290 fired transitions, 635 secs || 2853793 markings, 3150820 edges, 5251 markings/sec, 635 secs
lola: 90 tries, 89503729 fired transitions, 640 secs || 2879931 markings, 3179507 edges, 5228 markings/sec, 640 secs
lola: 91 tries, 90315190 fired transitions, 645 secs || 2906110 markings, 3208236 edges, 5236 markings/sec, 645 secs
lola: 92 tries, 91125276 fired transitions, 650 secs || 2932150 markings, 3236819 edges, 5208 markings/sec, 650 secs
lola: 92 tries, 91937562 fired transitions, 655 secs || 2958154 markings, 3265360 edges, 5201 markings/sec, 655 secs
lola: 93 tries, 92746031 fired transitions, 660 secs || 2983718 markings, 3293435 edges, 5113 markings/sec, 660 secs
lola: 94 tries, 93555563 fired transitions, 665 secs || 3010060 markings, 3322382 edges, 5268 markings/sec, 665 secs
lola: 95 tries, 94365975 fired transitions, 670 secs || 3036865 markings, 3352130 edges, 5361 markings/sec, 670 secs
lola: 96 tries, 95171365 fired transitions, 675 secs || 3063162 markings, 3381023 edges, 5259 markings/sec, 675 secs
lola: 96 tries, 95982194 fired transitions, 680 secs || 3089840 markings, 3410300 edges, 5336 markings/sec, 680 secs
lola: 97 tries, 96791271 fired transitions, 685 secs || 3116577 markings, 3439647 edges, 5347 markings/sec, 685 secs
lola: 98 tries, 97598917 fired transitions, 690 secs || 3142514 markings, 3468109 edges, 5187 markings/sec, 690 secs
lola: 99 tries, 98405187 fired transitions, 695 secs || 3168757 markings, 3496937 edges, 5249 markings/sec, 695 secs
lola: 100 tries, 99212344 fired transitions, 700 secs || 3194828 markings, 3525578 edges, 5214 markings/sec, 700 secs
lola: 101 tries, 100018253 fired transitions, 705 secs || 3220869 markings, 3554187 edges, 5208 markings/sec, 705 secs
lola: 101 tries, 100826838 fired transitions, 710 secs || 3247039 markings, 3582944 edges, 5234 markings/sec, 710 secs
lola: 102 tries, 101635233 fired transitions, 715 secs || 3273698 markings, 3612205 edges, 5332 markings/sec, 715 secs
lola: 103 tries, 102442231 fired transitions, 720 secs || 3300462 markings, 3641579 edges, 5353 markings/sec, 720 secs
lola: 104 tries, 103262981 fired transitions, 725 secs || 3327820 markings, 3671607 edges, 5472 markings/sec, 725 secs
lola: 105 tries, 104084853 fired transitions, 730 secs || 3355318 markings, 3702024 edges, 5500 markings/sec, 730 secs
lola: 105 tries, 104909650 fired transitions, 735 secs || 3383402 markings, 3733671 edges, 5617 markings/sec, 735 secs
lola: 106 tries, 105734701 fired transitions, 740 secs || 3411569 markings, 3765298 edges, 5633 markings/sec, 740 secs
lola: 107 tries, 106531270 fired transitions, 745 secs || 3438430 markings, 3794776 edges, 5372 markings/sec, 745 secs
lola: 108 tries, 107327212 fired transitions, 750 secs || 3465012 markings, 3824144 edges, 5316 markings/sec, 750 secs
lola: 109 tries, 108132386 fired transitions, 755 secs || 3492358 markings, 3854459 edges, 5469 markings/sec, 755 secs
lola: 109 tries, 108926506 fired transitions, 760 secs || 3518505 markings, 3883225 edges, 5229 markings/sec, 760 secs
lola: 110 tries, 109732118 fired transitions, 765 secs || 3544473 markings, 3911758 edges, 5194 markings/sec, 765 secs
lola: 111 tries, 110524833 fired transitions, 770 secs || 3570944 markings, 3940814 edges, 5294 markings/sec, 770 secs
lola: 112 tries, 111324467 fired transitions, 775 secs || 3597444 markings, 3969898 edges, 5300 markings/sec, 775 secs
lola: 113 tries, 112111082 fired transitions, 780 secs || 3623930 markings, 3998966 edges, 5297 markings/sec, 780 secs
lola: 113 tries, 112911585 fired transitions, 785 secs || 3650603 markings, 4028368 edges, 5335 markings/sec, 785 secs
lola: 114 tries, 113729311 fired transitions, 790 secs || 3677503 markings, 4058681 edges, 5380 markings/sec, 790 secs
lola: 115 tries, 114395773 fired transitions, 795 secs || 3698839 markings, 4082122 edges, 4267 markings/sec, 795 secs
lola: 115 tries, 114892914 fired transitions, 800 secs || 3715015 markings, 4099893 edges, 3235 markings/sec, 800 secs
lola: 116 tries, 115375050 fired transitions, 805 secs || 3730832 markings, 4117281 edges, 3163 markings/sec, 805 secs
lola: 116 tries, 115844747 fired transitions, 810 secs || 3746049 markings, 4133997 edges, 3043 markings/sec, 810 secs
lola: 117 tries, 116337970 fired transitions, 815 secs || 3762254 markings, 4151794 edges, 3241 markings/sec, 815 secs
lola: 117 tries, 116830974 fired transitions, 820 secs || 3778717 markings, 4169866 edges, 3293 markings/sec, 820 secs
lola: 118 tries, 117321734 fired transitions, 825 secs || 3795046 markings, 4187783 edges, 3266 markings/sec, 825 secs
lola: 118 tries, 117819927 fired transitions, 830 secs || 3811532 markings, 4205875 edges, 3297 markings/sec, 830 secs
lola: 119 tries, 118316122 fired transitions, 835 secs || 3828082 markings, 4224042 edges, 3310 markings/sec, 835 secs
lola: 119 tries, 118814407 fired transitions, 840 secs || 3844604 markings, 4242174 edges, 3304 markings/sec, 840 secs
lola: 120 tries, 119307594 fired transitions, 845 secs || 3861202 markings, 4260546 edges, 3320 markings/sec, 845 secs
lola: 120 tries, 119801658 fired transitions, 850 secs || 3878012 markings, 4279497 edges, 3362 markings/sec, 850 secs
lola: 121 tries, 120285008 fired transitions, 855 secs || 3894495 markings, 4298064 edges, 3297 markings/sec, 855 secs
lola: 121 tries, 120761194 fired transitions, 860 secs || 3910790 markings, 4316391 edges, 3259 markings/sec, 860 secs
lola: 122 tries, 121255012 fired transitions, 865 secs || 3927245 markings, 4334653 edges, 3291 markings/sec, 865 secs
lola: 122 tries, 121750450 fired transitions, 870 secs || 3943753 markings, 4352768 edges, 3302 markings/sec, 870 secs
lola: 123 tries, 122246570 fired transitions, 875 secs || 3959072 markings, 4369756 edges, 3064 markings/sec, 875 secs
lola: 123 tries, 122744965 fired transitions, 880 secs || 3974288 markings, 4386523 edges, 3043 markings/sec, 880 secs
lola: 124 tries, 123240258 fired transitions, 885 secs || 3990561 markings, 4404380 edges, 3255 markings/sec, 885 secs
lola: 124 tries, 123745894 fired transitions, 890 secs || 4007167 markings, 4422812 edges, 3321 markings/sec, 890 secs
lola: 125 tries, 124251088 fired transitions, 895 secs || 4024221 markings, 4441720 edges, 3411 markings/sec, 895 secs
lola: 125 tries, 124868858 fired transitions, 900 secs || 4044569 markings, 4464273 edges, 4070 markings/sec, 900 secs
lola: 126 tries, 125563959 fired transitions, 905 secs || 4068157 markings, 4490506 edges, 4718 markings/sec, 905 secs
lola: 127 tries, 126058999 fired transitions, 910 secs || 4085009 markings, 4509266 edges, 3370 markings/sec, 910 secs
lola: 127 tries, 126556216 fired transitions, 915 secs || 4102512 markings, 4529210 edges, 3501 markings/sec, 915 secs
lola: 128 tries, 127052752 fired transitions, 920 secs || 4119529 markings, 4548294 edges, 3403 markings/sec, 920 secs
lola: 128 tries, 127552418 fired transitions, 925 secs || 4136618 markings, 4567510 edges, 3418 markings/sec, 925 secs
lola: 129 tries, 128037242 fired transitions, 930 secs || 4153473 markings, 4586636 edges, 3371 markings/sec, 930 secs
lola: 129 tries, 128542387 fired transitions, 935 secs || 4170885 markings, 4606396 edges, 3482 markings/sec, 935 secs
lola: 130 tries, 129326163 fired transitions, 940 secs || 4195871 markings, 4633926 edges, 4997 markings/sec, 940 secs
lola: 131 tries, 130149760 fired transitions, 945 secs || 4223429 markings, 4664314 edges, 5512 markings/sec, 945 secs
lola: 131 tries, 130977522 fired transitions, 950 secs || 4250572 markings, 4694269 edges, 5429 markings/sec, 950 secs
lola: 132 tries, 131805234 fired transitions, 955 secs || 4278474 markings, 4725270 edges, 5580 markings/sec, 955 secs
lola: 133 tries, 132632949 fired transitions, 960 secs || 4305609 markings, 4755326 edges, 5427 markings/sec, 960 secs
lola: 134 tries, 133461659 fired transitions, 965 secs || 4333475 markings, 4786282 edges, 5573 markings/sec, 965 secs
lola: 135 tries, 134288434 fired transitions, 970 secs || 4360778 markings, 4816433 edges, 5461 markings/sec, 970 secs
lola: 136 tries, 135115777 fired transitions, 975 secs || 4388121 markings, 4846764 edges, 5469 markings/sec, 975 secs
lola: 136 tries, 135934973 fired transitions, 980 secs || 4414716 markings, 4876083 edges, 5319 markings/sec, 980 secs
lola: 137 tries, 136745035 fired transitions, 985 secs || 4440233 markings, 4904250 edges, 5103 markings/sec, 985 secs
lola: 138 tries, 137559050 fired transitions, 990 secs || 4467055 markings, 4933880 edges, 5364 markings/sec, 990 secs
lola: 139 tries, 138385258 fired transitions, 995 secs || 4493892 markings, 4963560 edges, 5367 markings/sec, 995 secs
lola: 140 tries, 139188565 fired transitions, 1000 secs || 4520851 markings, 4993510 edges, 5392 markings/sec, 1000 secs
lola: 141 tries, 140002121 fired transitions, 1005 secs || 4546883 markings, 5022266 edges, 5206 markings/sec, 1005 secs
lola: 141 tries, 140815538 fired transitions, 1010 secs || 4574296 markings, 5052589 edges, 5483 markings/sec, 1010 secs
lola: 142 tries, 141627753 fired transitions, 1015 secs || 4601202 markings, 5082415 edges, 5381 markings/sec, 1015 secs
lola: 143 tries, 142441070 fired transitions, 1020 secs || 4628728 markings, 5112955 edges, 5505 markings/sec, 1020 secs
lola: 144 tries, 143264370 fired transitions, 1025 secs || 4656850 markings, 5144373 edges, 5624 markings/sec, 1025 secs
lola: 145 tries, 144080082 fired transitions, 1030 secs || 4684761 markings, 5175338 edges, 5582 markings/sec, 1030 secs
lola: 145 tries, 144908122 fired transitions, 1035 secs || 4712237 markings, 5205694 edges, 5495 markings/sec, 1035 secs
lola: 146 tries, 145733594 fired transitions, 1040 secs || 4740140 markings, 5236375 edges, 5581 markings/sec, 1040 secs
lola: 147 tries, 146563807 fired transitions, 1045 secs || 4768767 markings, 5268226 edges, 5725 markings/sec, 1045 secs
lola: 148 tries, 147387224 fired transitions, 1050 secs || 4795390 markings, 5297542 edges, 5325 markings/sec, 1050 secs
lola: 149 tries, 148228975 fired transitions, 1055 secs || 4820964 markings, 5325833 edges, 5115 markings/sec, 1055 secs
lola: 150 tries, 149063058 fired transitions, 1060 secs || 4846551 markings, 5354127 edges, 5117 markings/sec, 1060 secs
lola: 150 tries, 149909726 fired transitions, 1065 secs || 4872352 markings, 5382720 edges, 5160 markings/sec, 1065 secs
lola: 151 tries, 150731795 fired transitions, 1070 secs || 4897426 markings, 5410351 edges, 5015 markings/sec, 1070 secs
lola: 152 tries, 151550618 fired transitions, 1075 secs || 4924798 markings, 5440632 edges, 5474 markings/sec, 1075 secs
lola: 153 tries, 152374939 fired transitions, 1080 secs || 4951904 markings, 5470514 edges, 5421 markings/sec, 1080 secs
lola: 154 tries, 153197162 fired transitions, 1085 secs || 4978729 markings, 5499958 edges, 5365 markings/sec, 1085 secs
lola: 155 tries, 154023184 fired transitions, 1090 secs || 5006263 markings, 5530321 edges, 5507 markings/sec, 1090 secs
lola: 155 tries, 154803825 fired transitions, 1095 secs || 5033579 markings, 5560593 edges, 5463 markings/sec, 1095 secs
lola: 156 tries, 155612910 fired transitions, 1100 secs || 5060966 markings, 5590863 edges, 5477 markings/sec, 1100 secs
lola: 157 tries, 156420495 fired transitions, 1105 secs || 5088474 markings, 5621335 edges, 5502 markings/sec, 1105 secs
lola: 158 tries, 157242697 fired transitions, 1110 secs || 5116120 markings, 5651889 edges, 5529 markings/sec, 1110 secs
lola: 159 tries, 158067580 fired transitions, 1115 secs || 5144148 markings, 5682824 edges, 5606 markings/sec, 1115 secs
lola: 159 tries, 158897050 fired transitions, 1120 secs || 5171838 markings, 5713528 edges, 5538 markings/sec, 1120 secs
lola: 160 tries, 159723974 fired transitions, 1125 secs || 5199805 markings, 5744605 edges, 5593 markings/sec, 1125 secs
lola: 161 tries, 160539738 fired transitions, 1130 secs || 5226631 markings, 5774323 edges, 5365 markings/sec, 1130 secs
lola: 162 tries, 161367155 fired transitions, 1135 secs || 5252449 markings, 5802897 edges, 5164 markings/sec, 1135 secs
lola: 163 tries, 162210034 fired transitions, 1140 secs || 5277841 markings, 5830913 edges, 5078 markings/sec, 1140 secs
lola: 164 tries, 163056050 fired transitions, 1145 secs || 5303601 markings, 5859383 edges, 5152 markings/sec, 1145 secs
lola: 164 tries, 163908602 fired transitions, 1150 secs || 5327947 markings, 5886117 edges, 4869 markings/sec, 1150 secs
lola: 165 tries, 164754842 fired transitions, 1155 secs || 5353718 markings, 5914787 edges, 5154 markings/sec, 1155 secs
lola: 166 tries, 165601268 fired transitions, 1160 secs || 5378642 markings, 5942300 edges, 4985 markings/sec, 1160 secs
lola: 167 tries, 166415293 fired transitions, 1165 secs || 5404445 markings, 5970757 edges, 5161 markings/sec, 1165 secs
lola: 168 tries, 167223760 fired transitions, 1170 secs || 5430912 markings, 6000139 edges, 5293 markings/sec, 1170 secs
lola: 169 tries, 168033824 fired transitions, 1175 secs || 5457705 markings, 6029747 edges, 5359 markings/sec, 1175 secs
lola: 169 tries, 168845210 fired transitions, 1180 secs || 5484872 markings, 6059681 edges, 5433 markings/sec, 1180 secs
lola: 170 tries, 169673595 fired transitions, 1185 secs || 5512710 markings, 6090478 edges, 5568 markings/sec, 1185 secs
lola: 171 tries, 170500591 fired transitions, 1190 secs || 5540413 markings, 6121118 edges, 5541 markings/sec, 1190 secs
lola: 172 tries, 171320185 fired transitions, 1195 secs || 5567670 markings, 6151117 edges, 5451 markings/sec, 1195 secs
lola: 173 tries, 172143935 fired transitions, 1200 secs || 5595003 markings, 6181286 edges, 5467 markings/sec, 1200 secs
lola: 173 tries, 172970419 fired transitions, 1205 secs || 5622613 markings, 6211764 edges, 5522 markings/sec, 1205 secs
lola: 174 tries, 173839755 fired transitions, 1210 secs || 5651283 markings, 6243347 edges, 5734 markings/sec, 1210 secs
lola: 175 tries, 174754314 fired transitions, 1215 secs || 5682149 markings, 6277686 edges, 6173 markings/sec, 1215 secs
lola: 176 tries, 175582890 fired transitions, 1220 secs || 5709564 markings, 6308203 edges, 5483 markings/sec, 1220 secs
lola: 177 tries, 176409626 fired transitions, 1225 secs || 5737414 markings, 6339035 edges, 5570 markings/sec, 1225 secs
lola: 178 tries, 177234830 fired transitions, 1230 secs || 5764464 markings, 6368957 edges, 5410 markings/sec, 1230 secs
lola: 179 tries, 178060640 fired transitions, 1235 secs || 5791780 markings, 6399111 edges, 5463 markings/sec, 1235 secs
lola: 179 tries, 178888997 fired transitions, 1240 secs || 5819067 markings, 6429215 edges, 5457 markings/sec, 1240 secs
lola: 180 tries, 179713170 fired transitions, 1245 secs || 5845778 markings, 6458639 edges, 5342 markings/sec, 1245 secs
lola: 181 tries, 180542453 fired transitions, 1250 secs || 5873077 markings, 6489028 edges, 5460 markings/sec, 1250 secs
lola: 182 tries, 181371168 fired transitions, 1255 secs || 5900260 markings, 6519341 edges, 5437 markings/sec, 1255 secs
lola: 183 tries, 182198846 fired transitions, 1260 secs || 5927528 markings, 6549504 edges, 5454 markings/sec, 1260 secs
lola: 184 tries, 183023987 fired transitions, 1265 secs || 5954245 markings, 6578922 edges, 5343 markings/sec, 1265 secs
lola: 184 tries, 183856128 fired transitions, 1270 secs || 5981514 markings, 6609331 edges, 5454 markings/sec, 1270 secs
lola: 185 tries, 184684304 fired transitions, 1275 secs || 6009155 markings, 6639948 edges, 5528 markings/sec, 1275 secs
lola: 186 tries, 185509011 fired transitions, 1280 secs || 6035970 markings, 6669497 edges, 5363 markings/sec, 1280 secs
lola: 187 tries, 186334409 fired transitions, 1285 secs || 6063632 markings, 6700240 edges, 5532 markings/sec, 1285 secs
lola: 188 tries, 187161292 fired transitions, 1290 secs || 6091414 markings, 6731006 edges, 5556 markings/sec, 1290 secs
lola: 188 tries, 187958836 fired transitions, 1295 secs || 6117784 markings, 6760207 edges, 5274 markings/sec, 1295 secs
lola: 189 tries, 188769802 fired transitions, 1300 secs || 6144178 markings, 6789278 edges, 5279 markings/sec, 1300 secs
lola: 190 tries, 189581456 fired transitions, 1305 secs || 6171028 markings, 6818965 edges, 5370 markings/sec, 1305 secs
lola: 191 tries, 190407797 fired transitions, 1310 secs || 6198963 markings, 6849910 edges, 5587 markings/sec, 1310 secs
lola: 192 tries, 191233975 fired transitions, 1315 secs || 6226368 markings, 6880310 edges, 5481 markings/sec, 1315 secs
lola: 193 tries, 192056155 fired transitions, 1320 secs || 6253028 markings, 6909459 edges, 5332 markings/sec, 1320 secs
lola: 193 tries, 192878349 fired transitions, 1325 secs || 6279175 markings, 6938032 edges, 5229 markings/sec, 1325 secs
lola: 194 tries, 193701670 fired transitions, 1330 secs || 6306170 markings, 6967841 edges, 5399 markings/sec, 1330 secs
lola: 195 tries, 194524630 fired transitions, 1335 secs || 6333155 markings, 6997552 edges, 5397 markings/sec, 1335 secs
lola: 196 tries, 195351992 fired transitions, 1340 secs || 6361139 markings, 7028503 edges, 5597 markings/sec, 1340 secs
lola: 197 tries, 196166007 fired transitions, 1345 secs || 6382862 markings, 7052584 edges, 4345 markings/sec, 1345 secs
lola: 197 tries, 196994293 fired transitions, 1350 secs || 6409293 markings, 7081580 edges, 5286 markings/sec, 1350 secs
lola: 198 tries, 197823770 fired transitions, 1355 secs || 6437040 markings, 7112308 edges, 5549 markings/sec, 1355 secs
lola: 199 tries, 198649347 fired transitions, 1360 secs || 6464199 markings, 7142221 edges, 5432 markings/sec, 1360 secs
lola: 200 tries, 199476594 fired transitions, 1365 secs || 6491654 markings, 7172537 edges, 5491 markings/sec, 1365 secs
lola: 201 tries, 200305535 fired transitions, 1370 secs || 6518928 markings, 7202661 edges, 5455 markings/sec, 1370 secs
lola: 202 tries, 201130965 fired transitions, 1375 secs || 6546096 markings, 7232588 edges, 5434 markings/sec, 1375 secs
lola: 202 tries, 201961849 fired transitions, 1380 secs || 6572987 markings, 7262152 edges, 5378 markings/sec, 1380 secs
lola: 203 tries, 202809492 fired transitions, 1385 secs || 6600437 markings, 7292506 edges, 5490 markings/sec, 1385 secs
lola: 204 tries, 203636258 fired transitions, 1390 secs || 6627604 markings, 7322458 edges, 5433 markings/sec, 1390 secs
lola: 205 tries, 204467505 fired transitions, 1395 secs || 6655397 markings, 7353232 edges, 5559 markings/sec, 1395 secs
lola: 206 tries, 205294596 fired transitions, 1400 secs || 6682534 markings, 7383149 edges, 5427 markings/sec, 1400 secs
lola: 207 tries, 206121346 fired transitions, 1405 secs || 6710013 markings, 7413660 edges, 5496 markings/sec, 1405 secs
lola: 207 tries, 206951714 fired transitions, 1410 secs || 6737672 markings, 7444330 edges, 5532 markings/sec, 1410 secs
lola: 208 tries, 207780101 fired transitions, 1415 secs || 6765473 markings, 7475093 edges, 5560 markings/sec, 1415 secs
lola: 209 tries, 208607606 fired transitions, 1420 secs || 6793231 markings, 7505666 edges, 5552 markings/sec, 1420 secs
lola: 210 tries, 209435697 fired transitions, 1425 secs || 6821031 markings, 7536384 edges, 5560 markings/sec, 1425 secs
lola: 211 tries, 210263234 fired transitions, 1430 secs || 6848646 markings, 7566993 edges, 5523 markings/sec, 1430 secs
lola: 212 tries, 211089794 fired transitions, 1435 secs || 6876108 markings, 7597308 edges, 5492 markings/sec, 1435 secs
lola: 212 tries, 211918212 fired transitions, 1440 secs || 6903532 markings, 7627723 edges, 5485 markings/sec, 1440 secs
lola: 213 tries, 212746609 fired transitions, 1445 secs || 6931196 markings, 7658404 edges, 5533 markings/sec, 1445 secs
lola: 214 tries, 213573602 fired transitions, 1450 secs || 6958846 markings, 7688902 edges, 5530 markings/sec, 1450 secs
lola: 215 tries, 214400037 fired transitions, 1455 secs || 6986249 markings, 7719181 edges, 5481 markings/sec, 1455 secs
lola: 216 tries, 215228335 fired transitions, 1460 secs || 7014094 markings, 7749983 edges, 5569 markings/sec, 1460 secs
lola: 217 tries, 216057038 fired transitions, 1465 secs || 7042304 markings, 7781370 edges, 5642 markings/sec, 1465 secs
lola: 217 tries, 216888968 fired transitions, 1470 secs || 7070693 markings, 7813104 edges, 5678 markings/sec, 1470 secs
lola: 218 tries, 217717711 fired transitions, 1475 secs || 7098743 markings, 7844298 edges, 5610 markings/sec, 1475 secs
lola: 219 tries, 218543514 fired transitions, 1480 secs || 7126424 markings, 7874854 edges, 5536 markings/sec, 1480 secs
lola: 220 tries, 219371984 fired transitions, 1485 secs || 7154340 markings, 7905820 edges, 5583 markings/sec, 1485 secs
lola: 221 tries, 220196056 fired transitions, 1490 secs || 7181596 markings, 7935862 edges, 5451 markings/sec, 1490 secs
lola: 222 tries, 221019938 fired transitions, 1495 secs || 7208576 markings, 7965638 edges, 5396 markings/sec, 1495 secs
lola: 222 tries, 221848106 fired transitions, 1500 secs || 7236033 markings, 7996081 edges, 5491 markings/sec, 1500 secs
lola: 223 tries, 222685898 fired transitions, 1505 secs || 7261752 markings, 8024342 edges, 5144 markings/sec, 1505 secs
lola: 224 tries, 223509098 fired transitions, 1510 secs || 7287174 markings, 8052300 edges, 5084 markings/sec, 1510 secs
lola: 225 tries, 224332471 fired transitions, 1515 secs || 7314104 markings, 8081889 edges, 5386 markings/sec, 1515 secs
lola: 226 tries, 225163580 fired transitions, 1520 secs || 7342690 markings, 8113626 edges, 5717 markings/sec, 1520 secs
lola: 226 tries, 225993416 fired transitions, 1525 secs || 7370559 markings, 8144472 edges, 5574 markings/sec, 1525 secs
lola: 227 tries, 226818463 fired transitions, 1530 secs || 7398210 markings, 8175104 edges, 5530 markings/sec, 1530 secs
lola: 228 tries, 227644804 fired transitions, 1535 secs || 7425656 markings, 8205462 edges, 5489 markings/sec, 1535 secs
lola: 229 tries, 228473031 fired transitions, 1540 secs || 7453395 markings, 8236092 edges, 5548 markings/sec, 1540 secs
lola: 230 tries, 229301330 fired transitions, 1545 secs || 7481330 markings, 8266994 edges, 5587 markings/sec, 1545 secs
lola: 231 tries, 230129109 fired transitions, 1550 secs || 7509082 markings, 8297574 edges, 5550 markings/sec, 1550 secs
lola: 231 tries, 230974503 fired transitions, 1555 secs || 7537117 markings, 8328583 edges, 5607 markings/sec, 1555 secs
lola: 232 tries, 231821009 fired transitions, 1560 secs || 7564680 markings, 8358969 edges, 5513 markings/sec, 1560 secs
lola: 233 tries, 232643346 fired transitions, 1565 secs || 7591720 markings, 8388759 edges, 5408 markings/sec, 1565 secs
lola: 234 tries, 233467562 fired transitions, 1570 secs || 7618797 markings, 8418731 edges, 5415 markings/sec, 1570 secs
lola: 235 tries, 234288259 fired transitions, 1575 secs || 7646388 markings, 8449271 edges, 5518 markings/sec, 1575 secs
lola: 236 tries, 235111208 fired transitions, 1580 secs || 7673053 markings, 8478589 edges, 5333 markings/sec, 1580 secs
lola: 236 tries, 235947307 fired transitions, 1585 secs || 7699759 markings, 8507997 edges, 5341 markings/sec, 1585 secs
lola: 237 tries, 236784647 fired transitions, 1590 secs || 7727232 markings, 8538297 edges, 5495 markings/sec, 1590 secs
lola: 238 tries, 237590497 fired transitions, 1595 secs || 7751698 markings, 8565427 edges, 4893 markings/sec, 1595 secs
lola: 239 tries, 238423926 fired transitions, 1600 secs || 7778984 markings, 8595678 edges, 5457 markings/sec, 1600 secs
lola: 240 tries, 239248843 fired transitions, 1605 secs || 7806250 markings, 8625715 edges, 5453 markings/sec, 1605 secs
lola: 241 tries, 240078464 fired transitions, 1610 secs || 7834658 markings, 8657357 edges, 5682 markings/sec, 1610 secs
lola: 241 tries, 240908310 fired transitions, 1615 secs || 7862077 markings, 8687691 edges, 5484 markings/sec, 1615 secs
lola: 242 tries, 241732660 fired transitions, 1620 secs || 7889327 markings, 8717781 edges, 5450 markings/sec, 1620 secs
lola: 243 tries, 242561454 fired transitions, 1625 secs || 7917683 markings, 8749315 edges, 5671 markings/sec, 1625 secs
lola: 244 tries, 243388626 fired transitions, 1630 secs || 7945497 markings, 8780082 edges, 5563 markings/sec, 1630 secs
lola: 245 tries, 244210746 fired transitions, 1635 secs || 7972450 markings, 8809732 edges, 5391 markings/sec, 1635 secs
lola: 246 tries, 245034683 fired transitions, 1640 secs || 7999728 markings, 8839997 edges, 5456 markings/sec, 1640 secs
lola: 246 tries, 245860733 fired transitions, 1645 secs || 8026487 markings, 8869583 edges, 5352 markings/sec, 1645 secs
lola: 247 tries, 246686321 fired transitions, 1650 secs || 8053921 markings, 8899790 edges, 5487 markings/sec, 1650 secs
lola: 248 tries, 247511793 fired transitions, 1655 secs || 8081223 markings, 8930046 edges, 5460 markings/sec, 1655 secs
lola: 249 tries, 248338424 fired transitions, 1660 secs || 8108746 markings, 8960331 edges, 5505 markings/sec, 1660 secs
lola: 250 tries, 249167538 fired transitions, 1665 secs || 8136936 markings, 8991595 edges, 5638 markings/sec, 1665 secs
lola: 250 tries, 249993365 fired transitions, 1670 secs || 8164232 markings, 9021662 edges, 5459 markings/sec, 1670 secs
lola: 251 tries, 250819104 fired transitions, 1675 secs || 8191538 markings, 9051712 edges, 5461 markings/sec, 1675 secs
lola: 252 tries, 251645629 fired transitions, 1680 secs || 8219318 markings, 9082539 edges, 5556 markings/sec, 1680 secs
lola: 253 tries, 252475343 fired transitions, 1685 secs || 8247585 markings, 9113926 edges, 5653 markings/sec, 1685 secs
lola: 254 tries, 253301858 fired transitions, 1690 secs || 8275528 markings, 9145076 edges, 5589 markings/sec, 1690 secs
lola: 255 tries, 254130344 fired transitions, 1695 secs || 8303662 markings, 9176369 edges, 5627 markings/sec, 1695 secs
lola: 255 tries, 254959376 fired transitions, 1700 secs || 8331901 markings, 9207689 edges, 5648 markings/sec, 1700 secs
lola: 256 tries, 255785186 fired transitions, 1705 secs || 8359537 markings, 9238244 edges, 5527 markings/sec, 1705 secs
lola: 257 tries, 256612890 fired transitions, 1710 secs || 8387684 markings, 9269321 edges, 5629 markings/sec, 1710 secs
lola: 258 tries, 257442362 fired transitions, 1715 secs || 8415733 markings, 9300504 edges, 5610 markings/sec, 1715 secs
lola: 259 tries, 258269135 fired transitions, 1720 secs || 8443325 markings, 9330902 edges, 5518 markings/sec, 1720 secs
lola: 260 tries, 259093943 fired transitions, 1725 secs || 8470917 markings, 9361347 edges, 5518 markings/sec, 1725 secs
lola: 260 tries, 259923578 fired transitions, 1730 secs || 8498756 markings, 9392102 edges, 5568 markings/sec, 1730 secs
lola: 261 tries, 260747610 fired transitions, 1735 secs || 8525746 markings, 9421924 edges, 5398 markings/sec, 1735 secs
lola: 262 tries, 261572633 fired transitions, 1740 secs || 8553252 markings, 9452352 edges, 5501 markings/sec, 1740 secs
lola: 263 tries, 262399430 fired transitions, 1745 secs || 8581023 markings, 9483041 edges, 5554 markings/sec, 1745 secs
lola: 264 tries, 263227207 fired transitions, 1750 secs || 8608602 markings, 9513545 edges, 5516 markings/sec, 1750 secs
lola: 265 tries, 264053232 fired transitions, 1755 secs || 8636316 markings, 9544175 edges, 5543 markings/sec, 1755 secs
lola: 265 tries, 264883888 fired transitions, 1760 secs || 8664257 markings, 9575015 edges, 5588 markings/sec, 1760 secs
lola: 266 tries, 265713819 fired transitions, 1765 secs || 8692649 markings, 9606455 edges, 5678 markings/sec, 1765 secs
lola: 267 tries, 266539806 fired transitions, 1770 secs || 8719856 markings, 9636444 edges, 5441 markings/sec, 1770 secs
lola: 268 tries, 267369428 fired transitions, 1775 secs || 8748138 markings, 9667689 edges, 5656 markings/sec, 1775 secs
lola: 269 tries, 268190292 fired transitions, 1780 secs || 8774863 markings, 9697006 edges, 5345 markings/sec, 1780 secs
lola: 270 tries, 269013154 fired transitions, 1785 secs || 8802088 markings, 9726906 edges, 5445 markings/sec, 1785 secs
lola: 270 tries, 269844746 fired transitions, 1790 secs || 8830069 markings, 9757850 edges, 5596 markings/sec, 1790 secs
lola: 271 tries, 270669742 fired transitions, 1795 secs || 8855870 markings, 9786266 edges, 5160 markings/sec, 1795 secs
lola: 272 tries, 271498042 fired transitions, 1800 secs || 8883701 markings, 9816969 edges, 5566 markings/sec, 1800 secs
lola: 273 tries, 272323164 fired transitions, 1805 secs || 8911008 markings, 9847122 edges, 5461 markings/sec, 1805 secs
lola: 274 tries, 273150210 fired transitions, 1810 secs || 8938746 markings, 9877738 edges, 5548 markings/sec, 1810 secs
lola: 274 tries, 273978226 fired transitions, 1815 secs || 8966125 markings, 9907982 edges, 5476 markings/sec, 1815 secs
lola: 275 tries, 274806677 fired transitions, 1820 secs || 8993960 markings, 9938832 edges, 5567 markings/sec, 1820 secs
lola: 276 tries, 275637970 fired transitions, 1825 secs || 9022402 markings, 9970671 edges, 5688 markings/sec, 1825 secs
lola: 277 tries, 276468759 fired transitions, 1830 secs || 9050583 markings, 10001964 edges, 5636 markings/sec, 1830 secs
lola: 278 tries, 277296092 fired transitions, 1835 secs || 9078221 markings, 10032577 edges, 5528 markings/sec, 1835 secs
lola: 279 tries, 278122235 fired transitions, 1840 secs || 9105580 markings, 10062830 edges, 5472 markings/sec, 1840 secs
lola: 279 tries, 278949010 fired transitions, 1845 secs || 9132696 markings, 10092820 edges, 5423 markings/sec, 1845 secs
lola: 280 tries, 279778042 fired transitions, 1850 secs || 9160447 markings, 10123642 edges, 5550 markings/sec, 1850 secs
lola: 281 tries, 280605218 fired transitions, 1855 secs || 9188434 markings, 10154720 edges, 5597 markings/sec, 1855 secs
lola: 282 tries, 281437298 fired transitions, 1860 secs || 9217296 markings, 10186922 edges, 5772 markings/sec, 1860 secs
lola: 283 tries, 282263805 fired transitions, 1865 secs || 9245022 markings, 10217495 edges, 5545 markings/sec, 1865 secs
lola: 284 tries, 283090953 fired transitions, 1870 secs || 9272774 markings, 10248114 edges, 5550 markings/sec, 1870 secs
lola: 284 tries, 283919538 fired transitions, 1875 secs || 9300573 markings, 10278802 edges, 5560 markings/sec, 1875 secs
lola: 285 tries, 284743532 fired transitions, 1880 secs || 9327973 markings, 10309087 edges, 5480 markings/sec, 1880 secs
lola: 286 tries, 285570334 fired transitions, 1885 secs || 9355840 markings, 10339911 edges, 5573 markings/sec, 1885 secs
lola: 287 tries, 286394692 fired transitions, 1890 secs || 9383264 markings, 10370127 edges, 5485 markings/sec, 1890 secs
lola: 288 tries, 287202355 fired transitions, 1895 secs || 9410027 markings, 10399645 edges, 5353 markings/sec, 1895 secs
lola: 289 tries, 288011720 fired transitions, 1900 secs || 9436359 markings, 10428687 edges, 5266 markings/sec, 1900 secs
lola: 289 tries, 288826387 fired transitions, 1905 secs || 9463573 markings, 10458742 edges, 5443 markings/sec, 1905 secs
lola: 290 tries, 289635938 fired transitions, 1910 secs || 9490805 markings, 10488905 edges, 5446 markings/sec, 1910 secs
lola: 291 tries, 290446850 fired transitions, 1915 secs || 9517818 markings, 10518879 edges, 5403 markings/sec, 1915 secs
lola: 292 tries, 291269424 fired transitions, 1920 secs || 9545594 markings, 10549615 edges, 5555 markings/sec, 1920 secs
lola: 293 tries, 292093239 fired transitions, 1925 secs || 9573003 markings, 10579983 edges, 5482 markings/sec, 1925 secs
lola: 293 tries, 292917980 fired transitions, 1930 secs || 9600318 markings, 10610210 edges, 5463 markings/sec, 1930 secs
lola: 294 tries, 293720688 fired transitions, 1935 secs || 9627969 markings, 10640828 edges, 5530 markings/sec, 1935 secs
lola: 295 tries, 294523159 fired transitions, 1940 secs || 9655253 markings, 10671185 edges, 5457 markings/sec, 1940 secs
lola: 296 tries, 295324908 fired transitions, 1945 secs || 9682093 markings, 10700859 edges, 5368 markings/sec, 1945 secs
lola: 297 tries, 296116171 fired transitions, 1950 secs || 9709037 markings, 10730502 edges, 5389 markings/sec, 1950 secs
lola: 297 tries, 296915467 fired transitions, 1955 secs || 9736251 markings, 10760623 edges, 5443 markings/sec, 1955 secs
lola: 298 tries, 297716691 fired transitions, 1960 secs || 9763130 markings, 10790447 edges, 5376 markings/sec, 1960 secs
lola: 299 tries, 298528189 fired transitions, 1965 secs || 9788794 markings, 10818828 edges, 5133 markings/sec, 1965 secs
lola: 300 tries, 299335191 fired transitions, 1970 secs || 9814276 markings, 10847120 edges, 5096 markings/sec, 1970 secs
lola: 301 tries, 300155120 fired transitions, 1975 secs || 9840447 markings, 10875898 edges, 5234 markings/sec, 1975 secs
lola: 301 tries, 300983836 fired transitions, 1980 secs || 9867988 markings, 10906374 edges, 5508 markings/sec, 1980 secs
lola: 302 tries, 301812288 fired transitions, 1985 secs || 9895616 markings, 10937009 edges, 5526 markings/sec, 1985 secs
lola: 303 tries, 302640298 fired transitions, 1990 secs || 9923317 markings, 10967650 edges, 5540 markings/sec, 1990 secs
lola: 304 tries, 303474395 fired transitions, 1995 secs || 9948028 markings, 10995049 edges, 4942 markings/sec, 1995 secs
lola: 305 tries, 304286883 fired transitions, 2000 secs || 9975374 markings, 11025435 edges, 5469 markings/sec, 2000 secs
lola: 306 tries, 305089898 fired transitions, 2005 secs || 10001377 markings, 11054151 edges, 5201 markings/sec, 2005 secs
lola: 306 tries, 305899047 fired transitions, 2010 secs || 10027237 markings, 11082743 edges, 5172 markings/sec, 2010 secs
lola: 307 tries, 306706846 fired transitions, 2015 secs || 10053572 markings, 11111664 edges, 5267 markings/sec, 2015 secs
lola: 308 tries, 307508500 fired transitions, 2020 secs || 10081319 markings, 11142488 edges, 5549 markings/sec, 2020 secs
lola: 309 tries, 308311276 fired transitions, 2025 secs || 10108367 markings, 11172336 edges, 5410 markings/sec, 2025 secs
lola: 310 tries, 309132385 fired transitions, 2030 secs || 10135296 markings, 11201985 edges, 5386 markings/sec, 2030 secs
lola: 310 tries, 309936280 fired transitions, 2035 secs || 10162792 markings, 11232318 edges, 5499 markings/sec, 2035 secs
lola: 311 tries, 310750994 fired transitions, 2040 secs || 10189776 markings, 11262071 edges, 5397 markings/sec, 2040 secs
lola: 312 tries, 311569383 fired transitions, 2045 secs || 10215715 markings, 11290526 edges, 5188 markings/sec, 2045 secs
lola: 313 tries, 312393741 fired transitions, 2050 secs || 10242412 markings, 11319931 edges, 5339 markings/sec, 2050 secs
lola: 314 tries, 313201707 fired transitions, 2055 secs || 10269596 markings, 11349896 edges, 5437 markings/sec, 2055 secs
lola: 315 tries, 314007274 fired transitions, 2060 secs || 10297230 markings, 11380554 edges, 5527 markings/sec, 2060 secs
lola: 315 tries, 314814883 fired transitions, 2065 secs || 10322701 markings, 11408514 edges, 5094 markings/sec, 2065 secs
lola: 316 tries, 315625740 fired transitions, 2070 secs || 10348963 markings, 11437590 edges, 5252 markings/sec, 2070 secs
lola: 317 tries, 316433003 fired transitions, 2075 secs || 10374809 markings, 11466169 edges, 5169 markings/sec, 2075 secs
lola: 318 tries, 317256945 fired transitions, 2080 secs || 10401317 markings, 11495324 edges, 5302 markings/sec, 2080 secs
lola: 319 tries, 318082045 fired transitions, 2085 secs || 10428133 markings, 11524852 edges, 5363 markings/sec, 2085 secs
lola: 319 tries, 318914329 fired transitions, 2090 secs || 10454753 markings, 11554400 edges, 5324 markings/sec, 2090 secs
lola: 320 tries, 319741305 fired transitions, 2095 secs || 10481322 markings, 11583789 edges, 5314 markings/sec, 2095 secs
lola: 321 tries, 320567742 fired transitions, 2100 secs || 10508544 markings, 11613931 edges, 5444 markings/sec, 2100 secs
lola: 322 tries, 321383824 fired transitions, 2105 secs || 10535213 markings, 11643614 edges, 5334 markings/sec, 2105 secs
lola: 323 tries, 322209055 fired transitions, 2110 secs || 10560820 markings, 11672019 edges, 5121 markings/sec, 2110 secs
lola: 324 tries, 323028002 fired transitions, 2115 secs || 10586511 markings, 11700437 edges, 5138 markings/sec, 2115 secs
lola: 324 tries, 323851797 fired transitions, 2120 secs || 10612501 markings, 11729097 edges, 5198 markings/sec, 2120 secs
lola: 325 tries, 324681682 fired transitions, 2125 secs || 10640199 markings, 11759841 edges, 5540 markings/sec, 2125 secs
lola: 326 tries, 325246895 fired transitions, 2130 secs || 10656063 markings, 11777407 edges, 3173 markings/sec, 2130 secs
lola: 326 tries, 325745752 fired transitions, 2135 secs || 10672123 markings, 11795156 edges, 3212 markings/sec, 2135 secs
lola: 327 tries, 326250346 fired transitions, 2140 secs || 10688940 markings, 11814049 edges, 3363 markings/sec, 2140 secs
lola: 328 tries, 327059294 fired transitions, 2145 secs || 10714287 markings, 11841791 edges, 5069 markings/sec, 2145 secs
lola: 328 tries, 327864516 fired transitions, 2150 secs || 10740475 markings, 11870223 edges, 5238 markings/sec, 2150 secs
lola: 329 tries, 328664203 fired transitions, 2155 secs || 10766653 markings, 11899009 edges, 5236 markings/sec, 2155 secs
lola: 330 tries, 329413209 fired transitions, 2160 secs || 10791551 markings, 11926379 edges, 4980 markings/sec, 2160 secs
lola: 330 tries, 329908810 fired transitions, 2165 secs || 10807492 markings, 11943856 edges, 3188 markings/sec, 2165 secs
lola: 331 tries, 330404758 fired transitions, 2170 secs || 10823994 markings, 11962185 edges, 3300 markings/sec, 2170 secs
lola: 331 tries, 330903122 fired transitions, 2175 secs || 10840475 markings, 11980453 edges, 3296 markings/sec, 2175 secs
lola: 332 tries, 331628636 fired transitions, 2180 secs || 10862696 markings, 12004812 edges, 4444 markings/sec, 2180 secs
lola: 333 tries, 332435892 fired transitions, 2185 secs || 10888319 markings, 12032729 edges, 5125 markings/sec, 2185 secs
lola: 334 tries, 333232493 fired transitions, 2190 secs || 10914808 markings, 12062042 edges, 5298 markings/sec, 2190 secs
lola: 335 tries, 334032975 fired transitions, 2195 secs || 10939722 markings, 12089164 edges, 4983 markings/sec, 2195 secs
lola: 335 tries, 334843115 fired transitions, 2200 secs || 10964894 markings, 12116701 edges, 5034 markings/sec, 2200 secs
lola: 336 tries, 335654322 fired transitions, 2205 secs || 10990375 markings, 12144583 edges, 5096 markings/sec, 2205 secs
lola: 337 tries, 336452461 fired transitions, 2210 secs || 11016041 markings, 12172712 edges, 5133 markings/sec, 2210 secs
lola: 338 tries, 337258234 fired transitions, 2215 secs || 11042099 markings, 12201129 edges, 5212 markings/sec, 2215 secs
lola: 339 tries, 338072311 fired transitions, 2220 secs || 11068286 markings, 12229794 edges, 5237 markings/sec, 2220 secs
lola: 339 tries, 338896087 fired transitions, 2225 secs || 11094958 markings, 12259069 edges, 5334 markings/sec, 2225 secs
lola: 340 tries, 339710680 fired transitions, 2230 secs || 11121424 markings, 12288142 edges, 5293 markings/sec, 2230 secs
lola: 341 tries, 340534543 fired transitions, 2235 secs || 11148479 markings, 12317959 edges, 5411 markings/sec, 2235 secs
lola: 342 tries, 341360316 fired transitions, 2240 secs || 11175884 markings, 12348223 edges, 5481 markings/sec, 2240 secs
lola: 343 tries, 342190812 fired transitions, 2245 secs || 11204428 markings, 12380026 edges, 5709 markings/sec, 2245 secs
lola: 344 tries, 343017318 fired transitions, 2250 secs || 11232151 markings, 12410805 edges, 5545 markings/sec, 2250 secs
lola: 344 tries, 343844254 fired transitions, 2255 secs || 11259201 markings, 12440699 edges, 5410 markings/sec, 2255 secs
lola: 345 tries, 344675436 fired transitions, 2260 secs || 11287944 markings, 12472664 edges, 5749 markings/sec, 2260 secs
lola: 346 tries, 345503168 fired transitions, 2265 secs || 11315566 markings, 12503416 edges, 5524 markings/sec, 2265 secs
lola: 347 tries, 346330850 fired transitions, 2270 secs || 11342912 markings, 12533810 edges, 5469 markings/sec, 2270 secs
lola: 348 tries, 347156386 fired transitions, 2275 secs || 11369856 markings, 12563511 edges, 5389 markings/sec, 2275 secs
lola: 348 tries, 347982945 fired transitions, 2280 secs || 11397006 markings, 12593542 edges, 5430 markings/sec, 2280 secs
lola: 349 tries, 348809474 fired transitions, 2285 secs || 11423696 markings, 12622564 edges, 5338 markings/sec, 2285 secs
lola: 350 tries, 349636088 fired transitions, 2290 secs || 11451550 markings, 12653489 edges, 5571 markings/sec, 2290 secs
lola: 351 tries, 350461873 fired transitions, 2295 secs || 11478770 markings, 12683673 edges, 5444 markings/sec, 2295 secs
lola: 352 tries, 351289069 fired transitions, 2300 secs || 11505624 markings, 12713388 edges, 5371 markings/sec, 2300 secs
lola: 353 tries, 352117749 fired transitions, 2305 secs || 11533225 markings, 12743984 edges, 5520 markings/sec, 2305 secs
lola: 353 tries, 352949062 fired transitions, 2310 secs || 11560348 markings, 12774111 edges, 5425 markings/sec, 2310 secs
lola: 354 tries, 353778801 fired transitions, 2315 secs || 11587899 markings, 12804779 edges, 5510 markings/sec, 2315 secs
lola: 355 tries, 354602795 fired transitions, 2320 secs || 11614894 markings, 12834610 edges, 5399 markings/sec, 2320 secs
lola: 356 tries, 355438321 fired transitions, 2325 secs || 11643398 markings, 12866562 edges, 5701 markings/sec, 2325 secs
lola: 357 tries, 356267267 fired transitions, 2330 secs || 11670734 markings, 12896881 edges, 5467 markings/sec, 2330 secs
lola: 358 tries, 357099170 fired transitions, 2335 secs || 11699228 markings, 12928730 edges, 5699 markings/sec, 2335 secs
lola: 358 tries, 357932434 fired transitions, 2340 secs || 11727813 markings, 12960675 edges, 5717 markings/sec, 2340 secs
lola: 359 tries, 358759336 fired transitions, 2345 secs || 11755621 markings, 12991393 edges, 5562 markings/sec, 2345 secs
lola: 360 tries, 359581414 fired transitions, 2350 secs || 11782540 markings, 13021109 edges, 5384 markings/sec, 2350 secs
lola: 361 tries, 360410817 fired transitions, 2355 secs || 11810755 markings, 13052501 edges, 5643 markings/sec, 2355 secs
lola: 362 tries, 361234680 fired transitions, 2360 secs || 11838698 markings, 13083453 edges, 5589 markings/sec, 2360 secs
lola: 363 tries, 362062407 fired transitions, 2365 secs || 11867430 markings, 13115517 edges, 5746 markings/sec, 2365 secs
lola: 363 tries, 362889167 fired transitions, 2370 secs || 11894308 markings, 13145143 edges, 5376 markings/sec, 2370 secs
lola: 364 tries, 363719644 fired transitions, 2375 secs || 11922833 markings, 13176808 edges, 5705 markings/sec, 2375 secs
lola: 365 tries, 364544675 fired transitions, 2380 secs || 11949846 markings, 13206712 edges, 5403 markings/sec, 2380 secs
lola: 366 tries, 365369551 fired transitions, 2385 secs || 11976722 markings, 13236299 edges, 5375 markings/sec, 2385 secs
lola: 367 tries, 366194852 fired transitions, 2390 secs || 12004423 markings, 13266917 edges, 5540 markings/sec, 2390 secs
lola: 368 tries, 367021698 fired transitions, 2395 secs || 12032614 markings, 13298186 edges, 5638 markings/sec, 2395 secs
lola: 368 tries, 367849326 fired transitions, 2400 secs || 12059706 markings, 13328118 edges, 5418 markings/sec, 2400 secs
lola: 369 tries, 368675111 fired transitions, 2405 secs || 12087546 markings, 13358963 edges, 5568 markings/sec, 2405 secs
lola: 370 tries, 369501442 fired transitions, 2410 secs || 12115311 markings, 13389727 edges, 5553 markings/sec, 2410 secs
lola: 371 tries, 370327826 fired transitions, 2415 secs || 12143508 markings, 13421059 edges, 5639 markings/sec, 2415 secs
lola: 372 tries, 371217329 fired transitions, 2420 secs || 12173191 markings, 13454055 edges, 5937 markings/sec, 2420 secs
lola: 372 tries, 371794903 fired transitions, 2425 secs || 12193586 markings, 13476996 edges, 4079 markings/sec, 2425 secs
lola: 373 tries, 372389094 fired transitions, 2430 secs || 12213358 markings, 13499001 edges, 3954 markings/sec, 2430 secs
lola: 373 tries, 372893788 fired transitions, 2435 secs || 12229647 markings, 13516832 edges, 3258 markings/sec, 2435 secs
lola: 374 tries, 373397458 fired transitions, 2440 secs || 12245903 markings, 13534644 edges, 3251 markings/sec, 2440 secs
lola: 374 tries, 373902748 fired transitions, 2445 secs || 12261947 markings, 13552292 edges, 3209 markings/sec, 2445 secs
lola: 375 tries, 374402933 fired transitions, 2450 secs || 12278016 markings, 13569950 edges, 3214 markings/sec, 2450 secs
lola: 376 tries, 375195971 fired transitions, 2455 secs || 12302078 markings, 13596619 edges, 4812 markings/sec, 2455 secs
lola: 377 tries, 376038420 fired transitions, 2460 secs || 12329235 markings, 13626963 edges, 5431 markings/sec, 2460 secs
lola: 377 tries, 376797664 fired transitions, 2465 secs || 12354436 markings, 13654850 edges, 5040 markings/sec, 2465 secs
lola: 378 tries, 377382684 fired transitions, 2470 secs || 12373949 markings, 13676488 edges, 3903 markings/sec, 2470 secs
lola: 379 tries, 378181242 fired transitions, 2475 secs || 12400593 markings, 13706005 edges, 5329 markings/sec, 2475 secs
lola: 379 tries, 378984122 fired transitions, 2480 secs || 12426909 markings, 13734982 edges, 5263 markings/sec, 2480 secs
lola: 380 tries, 379774949 fired transitions, 2485 secs || 12452899 markings, 13763588 edges, 5198 markings/sec, 2485 secs
lola: 381 tries, 380393027 fired transitions, 2490 secs || 12473939 markings, 13787014 edges, 4208 markings/sec, 2490 secs
lola: 381 tries, 380892467 fired transitions, 2495 secs || 12491164 markings, 13806214 edges, 3445 markings/sec, 2495 secs
lola: 382 tries, 381393486 fired transitions, 2500 secs || 12509675 markings, 13827082 edges, 3702 markings/sec, 2500 secs
lola: 383 tries, 382051829 fired transitions, 2505 secs || 12531163 markings, 13850944 edges, 4298 markings/sec, 2505 secs
lola: 383 tries, 382993633 fired transitions, 2510 secs || 12562879 markings, 13886093 edges, 6343 markings/sec, 2510 secs
lola: 384 tries, 383832715 fired transitions, 2515 secs || 12592674 markings, 13919554 edges, 5959 markings/sec, 2515 secs
lola: 385 tries, 384661969 fired transitions, 2520 secs || 12620394 markings, 13950534 edges, 5544 markings/sec, 2520 secs
lola: 386 tries, 385491394 fired transitions, 2525 secs || 12648024 markings, 13981202 edges, 5526 markings/sec, 2525 secs
lola: 387 tries, 386318011 fired transitions, 2530 secs || 12675326 markings, 14011411 edges, 5460 markings/sec, 2530 secs
lola: 388 tries, 387149023 fired transitions, 2535 secs || 12704031 markings, 14043374 edges, 5741 markings/sec, 2535 secs
lola: 388 tries, 387979517 fired transitions, 2540 secs || 12731408 markings, 14073691 edges, 5475 markings/sec, 2540 secs
lola: 389 tries, 388806755 fired transitions, 2545 secs || 12758457 markings, 14103681 edges, 5410 markings/sec, 2545 secs
lola: 390 tries, 389638227 fired transitions, 2550 secs || 12786437 markings, 14134828 edges, 5596 markings/sec, 2550 secs
lola: 391 tries, 390472978 fired transitions, 2555 secs || 12813752 markings, 14165422 edges, 5463 markings/sec, 2555 secs
lola: 392 tries, 391303517 fired transitions, 2560 secs || 12841834 markings, 14196697 edges, 5616 markings/sec, 2560 secs
lola: 393 tries, 392131386 fired transitions, 2565 secs || 12869415 markings, 14227106 edges, 5516 markings/sec, 2565 secs
lola: 393 tries, 392961413 fired transitions, 2570 secs || 12896995 markings, 14257732 edges, 5516 markings/sec, 2570 secs
lola: 394 tries, 393791618 fired transitions, 2575 secs || 12924366 markings, 14288262 edges, 5474 markings/sec, 2575 secs
lola: 395 tries, 394616242 fired transitions, 2580 secs || 12949890 markings, 14316476 edges, 5105 markings/sec, 2580 secs
lola: 396 tries, 395439861 fired transitions, 2585 secs || 12975665 markings, 14344949 edges, 5155 markings/sec, 2585 secs
lola: 397 tries, 396263818 fired transitions, 2590 secs || 13002012 markings, 14374089 edges, 5269 markings/sec, 2590 secs
lola: 398 tries, 397092607 fired transitions, 2595 secs || 13028077 markings, 14403036 edges, 5213 markings/sec, 2595 secs
lola: 398 tries, 397925596 fired transitions, 2600 secs || 13055193 markings, 14433259 edges, 5423 markings/sec, 2600 secs
lola: 399 tries, 398751123 fired transitions, 2605 secs || 13080305 markings, 14461100 edges, 5022 markings/sec, 2605 secs
lola: 400 tries, 399575413 fired transitions, 2610 secs || 13105284 markings, 14488705 edges, 4996 markings/sec, 2610 secs
lola: 401 tries, 400400362 fired transitions, 2615 secs || 13131117 markings, 14517167 edges, 5167 markings/sec, 2615 secs
lola: 402 tries, 401222864 fired transitions, 2620 secs || 13157125 markings, 14545916 edges, 5202 markings/sec, 2620 secs
lola: 403 tries, 402049024 fired transitions, 2625 secs || 13182662 markings, 14574225 edges, 5107 markings/sec, 2625 secs
lola: 403 tries, 402874998 fired transitions, 2630 secs || 13209044 markings, 14603315 edges, 5276 markings/sec, 2630 secs
lola: 404 tries, 403706069 fired transitions, 2635 secs || 13237290 markings, 14635014 edges, 5649 markings/sec, 2635 secs
lola: 405 tries, 404531479 fired transitions, 2640 secs || 13264077 markings, 14664662 edges, 5357 markings/sec, 2640 secs
lola: 406 tries, 405357961 fired transitions, 2645 secs || 13290942 markings, 14694297 edges, 5373 markings/sec, 2645 secs
lola: 407 tries, 406184229 fired transitions, 2650 secs || 13318296 markings, 14724561 edges, 5471 markings/sec, 2650 secs
lola: 408 tries, 407008975 fired transitions, 2655 secs || 13344969 markings, 14754052 edges, 5335 markings/sec, 2655 secs
lola: 408 tries, 407838434 fired transitions, 2660 secs || 13372325 markings, 14784302 edges, 5471 markings/sec, 2660 secs
lola: 409 tries, 408560527 fired transitions, 2665 secs || 13395013 markings, 14809360 edges, 4538 markings/sec, 2665 secs
lola: 410 tries, 409058017 fired transitions, 2670 secs || 13409387 markings, 14825156 edges, 2875 markings/sec, 2670 secs
lola: 410 tries, 409555546 fired transitions, 2675 secs || 13423590 markings, 14840696 edges, 2841 markings/sec, 2675 secs
lola: 411 tries, 410051176 fired transitions, 2680 secs || 13437770 markings, 14856214 edges, 2836 markings/sec, 2680 secs
lola: 411 tries, 410549946 fired transitions, 2685 secs || 13452264 markings, 14872221 edges, 2899 markings/sec, 2685 secs
lola: 412 tries, 411253498 fired transitions, 2690 secs || 13473702 markings, 14895755 edges, 4288 markings/sec, 2690 secs
lola: 413 tries, 412083107 fired transitions, 2695 secs || 13501289 markings, 14926491 edges, 5517 markings/sec, 2695 secs
lola: 413 tries, 412912674 fired transitions, 2700 secs || 13528271 markings, 14956475 edges, 5396 markings/sec, 2700 secs
lola: 414 tries, 413740025 fired transitions, 2705 secs || 13555480 markings, 14986606 edges, 5442 markings/sec, 2705 secs
lola: 415 tries, 414563951 fired transitions, 2710 secs || 13582213 markings, 15016194 edges, 5347 markings/sec, 2710 secs
lola: 416 tries, 415391450 fired transitions, 2715 secs || 13609528 markings, 15046428 edges, 5463 markings/sec, 2715 secs
lola: 417 tries, 416216634 fired transitions, 2720 secs || 13636551 markings, 15076356 edges, 5405 markings/sec, 2720 secs
lola: 418 tries, 417043248 fired transitions, 2725 secs || 13663637 markings, 15106294 edges, 5417 markings/sec, 2725 secs
lola: 418 tries, 417874138 fired transitions, 2730 secs || 13691189 markings, 15136842 edges, 5510 markings/sec, 2730 secs
lola: 419 tries, 418702888 fired transitions, 2735 secs || 13719093 markings, 15167764 edges, 5581 markings/sec, 2735 secs
lola: 420 tries, 419535369 fired transitions, 2740 secs || 13747989 markings, 15200007 edges, 5779 markings/sec, 2740 secs
lola: 421 tries, 420360723 fired transitions, 2745 secs || 13775203 markings, 15230014 edges, 5443 markings/sec, 2745 secs
lola: 422 tries, 421192281 fired transitions, 2750 secs || 13803914 markings, 15261973 edges, 5742 markings/sec, 2750 secs
lola: 423 tries, 422023482 fired transitions, 2755 secs || 13832804 markings, 15294216 edges, 5778 markings/sec, 2755 secs
lola: 423 tries, 422856277 fired transitions, 2760 secs || 13861197 markings, 15325932 edges, 5679 markings/sec, 2760 secs
lola: 424 tries, 423681381 fired transitions, 2765 secs || 13888124 markings, 15355615 edges, 5385 markings/sec, 2765 secs
lola: 425 tries, 424508066 fired transitions, 2770 secs || 13915110 markings, 15385482 edges, 5397 markings/sec, 2770 secs
lola: 426 tries, 425337222 fired transitions, 2775 secs || 13943083 markings, 15416557 edges, 5595 markings/sec, 2775 secs
lola: 427 tries, 426165285 fired transitions, 2780 secs || 13970676 markings, 15447284 edges, 5519 markings/sec, 2780 secs
lola: 428 tries, 427001742 fired transitions, 2785 secs || 13999997 markings, 15480294 edges, 5864 markings/sec, 2785 secs
lola: 428 tries, 427829453 fired transitions, 2790 secs || 14028300 markings, 15511804 edges, 5661 markings/sec, 2790 secs
lola: 429 tries, 428656896 fired transitions, 2795 secs || 14056699 markings, 15543360 edges, 5680 markings/sec, 2795 secs
lola: 430 tries, 429486634 fired transitions, 2800 secs || 14085748 markings, 15575784 edges, 5810 markings/sec, 2800 secs
lola: 431 tries, 430311711 fired transitions, 2805 secs || 14113492 markings, 15606560 edges, 5549 markings/sec, 2805 secs
lola: 432 tries, 431139170 fired transitions, 2810 secs || 14141478 markings, 15637621 edges, 5597 markings/sec, 2810 secs
lola: 432 tries, 431966305 fired transitions, 2815 secs || 14169074 markings, 15668305 edges, 5519 markings/sec, 2815 secs
lola: 433 tries, 432753485 fired transitions, 2820 secs || 14196876 markings, 15699337 edges, 5560 markings/sec, 2820 secs
lola: 434 tries, 433271149 fired transitions, 2825 secs || 14213318 markings, 15717462 edges, 3288 markings/sec, 2825 secs
lola: 435 tries, 434095887 fired transitions, 2830 secs || 14237411 markings, 15744085 edges, 4819 markings/sec, 2830 secs
lola: 435 tries, 434925232 fired transitions, 2835 secs || 14265550 markings, 15775495 edges, 5628 markings/sec, 2835 secs
lola: 436 tries, 435755773 fired transitions, 2840 secs || 14295105 markings, 15808374 edges, 5911 markings/sec, 2840 secs
lola: 437 tries, 436580819 fired transitions, 2845 secs || 14322691 markings, 15838743 edges, 5517 markings/sec, 2845 secs
lola: 438 tries, 437406207 fired transitions, 2850 secs || 14350646 markings, 15869578 edges, 5591 markings/sec, 2850 secs
lola: 439 tries, 438235443 fired transitions, 2855 secs || 14378586 markings, 15900639 edges, 5588 markings/sec, 2855 secs
lola: 440 tries, 439061788 fired transitions, 2860 secs || 14406840 markings, 15932009 edges, 5651 markings/sec, 2860 secs
lola: 440 tries, 439890002 fired transitions, 2865 secs || 14433623 markings, 15961737 edges, 5357 markings/sec, 2865 secs
lola: 441 tries, 440717178 fired transitions, 2870 secs || 14461353 markings, 15992462 edges, 5546 markings/sec, 2870 secs
lola: 442 tries, 441544721 fired transitions, 2875 secs || 14489166 markings, 16023368 edges, 5563 markings/sec, 2875 secs
lola: 443 tries, 442369018 fired transitions, 2880 secs || 14516346 markings, 16053488 edges, 5436 markings/sec, 2880 secs
lola: 444 tries, 443197827 fired transitions, 2885 secs || 14544940 markings, 16085391 edges, 5719 markings/sec, 2885 secs
lola: 445 tries, 444023524 fired transitions, 2890 secs || 14573096 markings, 16116599 edges, 5631 markings/sec, 2890 secs
lola: 445 tries, 444855730 fired transitions, 2895 secs || 14602314 markings, 16149231 edges, 5844 markings/sec, 2895 secs
lola: 446 tries, 445679052 fired transitions, 2900 secs || 14629333 markings, 16179018 edges, 5404 markings/sec, 2900 secs
lola: 447 tries, 446505720 fired transitions, 2905 secs || 14657117 markings, 16209934 edges, 5557 markings/sec, 2905 secs
lola: 448 tries, 447331976 fired transitions, 2910 secs || 14684755 markings, 16240419 edges, 5528 markings/sec, 2910 secs
lola: 449 tries, 448156722 fired transitions, 2915 secs || 14712120 markings, 16270392 edges, 5473 markings/sec, 2915 secs
lola: 449 tries, 448991122 fired transitions, 2920 secs || 14741155 markings, 16302820 edges, 5807 markings/sec, 2920 secs
lola: 450 tries, 449819064 fired transitions, 2925 secs || 14769290 markings, 16334055 edges, 5627 markings/sec, 2925 secs
lola: 451 tries, 450646541 fired transitions, 2930 secs || 14796914 markings, 16364636 edges, 5525 markings/sec, 2930 secs
lola: 452 tries, 451478071 fired transitions, 2935 secs || 14825292 markings, 16396334 edges, 5676 markings/sec, 2935 secs
lola: 453 tries, 452301978 fired transitions, 2940 secs || 14853404 markings, 16427555 edges, 5622 markings/sec, 2940 secs
lola: 454 tries, 453124337 fired transitions, 2945 secs || 14881258 markings, 16458513 edges, 5571 markings/sec, 2945 secs
lola: 454 tries, 453949209 fired transitions, 2950 secs || 14908939 markings, 16489114 edges, 5536 markings/sec, 2950 secs
lola: 455 tries, 454769953 fired transitions, 2955 secs || 14935882 markings, 16518975 edges, 5389 markings/sec, 2955 secs
lola: 456 tries, 455594242 fired transitions, 2960 secs || 14962856 markings, 16548805 edges, 5395 markings/sec, 2960 secs
lola: 457 tries, 456418788 fired transitions, 2965 secs || 14989911 markings, 16578611 edges, 5411 markings/sec, 2965 secs
lola: 458 tries, 457244636 fired transitions, 2970 secs || 15016815 markings, 16608005 edges, 5381 markings/sec, 2970 secs
lola: 459 tries, 458069570 fired transitions, 2975 secs || 15043313 markings, 16636928 edges, 5300 markings/sec, 2975 secs
lola: 459 tries, 458893181 fired transitions, 2980 secs || 15069408 markings, 16665447 edges, 5219 markings/sec, 2980 secs
lola: 460 tries, 459717554 fired transitions, 2985 secs || 15096036 markings, 16694655 edges, 5326 markings/sec, 2985 secs
lola: 461 tries, 460540794 fired transitions, 2990 secs || 15122844 markings, 16724042 edges, 5362 markings/sec, 2990 secs
lola: 462 tries, 461365205 fired transitions, 2995 secs || 15149010 markings, 16752612 edges, 5233 markings/sec, 2995 secs
lola: 463 tries, 462189190 fired transitions, 3000 secs || 15175452 markings, 16781531 edges, 5288 markings/sec, 3000 secs
lola: 464 tries, 463009306 fired transitions, 3005 secs || 15200001 markings, 16808186 edges, 4910 markings/sec, 3005 secs
lola: 464 tries, 463832906 fired transitions, 3010 secs || 15224909 markings, 16835235 edges, 4982 markings/sec, 3010 secs
lola: 465 tries, 464653857 fired transitions, 3015 secs || 15249629 markings, 16862039 edges, 4944 markings/sec, 3015 secs
lola: 466 tries, 465474607 fired transitions, 3020 secs || 15274469 markings, 16889091 edges, 4968 markings/sec, 3020 secs
lola: 467 tries, 466297522 fired transitions, 3025 secs || 15300064 markings, 16916990 edges, 5119 markings/sec, 3025 secs
lola: 468 tries, 467121114 fired transitions, 3030 secs || 15325170 markings, 16944367 edges, 5021 markings/sec, 3030 secs
lola: 468 tries, 467947474 fired transitions, 3035 secs || 15350566 markings, 16972327 edges, 5079 markings/sec, 3035 secs
lola: 469 tries, 468771010 fired transitions, 3040 secs || 15375814 markings, 17000083 edges, 5050 markings/sec, 3040 secs
lola: 470 tries, 469594637 fired transitions, 3045 secs || 15400936 markings, 17027633 edges, 5024 markings/sec, 3045 secs
lola: 471 tries, 470419371 fired transitions, 3050 secs || 15426616 markings, 17055931 edges, 5136 markings/sec, 3050 secs
lola: 472 tries, 471244698 fired transitions, 3055 secs || 15452061 markings, 17083810 edges, 5089 markings/sec, 3055 secs
lola: 473 tries, 472068542 fired transitions, 3060 secs || 15477128 markings, 17111121 edges, 5013 markings/sec, 3060 secs
lola: 473 tries, 472894349 fired transitions, 3065 secs || 15502252 markings, 17138544 edges, 5025 markings/sec, 3065 secs
lola: 474 tries, 473720642 fired transitions, 3070 secs || 15527811 markings, 17166673 edges, 5112 markings/sec, 3070 secs
lola: 475 tries, 474546487 fired transitions, 3075 secs || 15554416 markings, 17195552 edges, 5321 markings/sec, 3075 secs
lola: 476 tries, 475369485 fired transitions, 3080 secs || 15579542 markings, 17222965 edges, 5025 markings/sec, 3080 secs
lola: 477 tries, 476190052 fired transitions, 3085 secs || 15604422 markings, 17249985 edges, 4976 markings/sec, 3085 secs
lola: 478 tries, 477012746 fired transitions, 3090 secs || 15629617 markings, 17277444 edges, 5039 markings/sec, 3090 secs
lola: 478 tries, 477836869 fired transitions, 3095 secs || 15654592 markings, 17304654 edges, 4995 markings/sec, 3095 secs
lola: 479 tries, 478662016 fired transitions, 3100 secs || 15680011 markings, 17332554 edges, 5084 markings/sec, 3100 secs
lola: 480 tries, 479487806 fired transitions, 3105 secs || 15705459 markings, 17360535 edges, 5090 markings/sec, 3105 secs
lola: 481 tries, 480311843 fired transitions, 3110 secs || 15730464 markings, 17387857 edges, 5001 markings/sec, 3110 secs
lola: 482 tries, 481136424 fired transitions, 3115 secs || 15755751 markings, 17415653 edges, 5057 markings/sec, 3115 secs
lola: 482 tries, 481960482 fired transitions, 3120 secs || 15780324 markings, 17442348 edges, 4915 markings/sec, 3120 secs
lola: 483 tries, 482785010 fired transitions, 3125 secs || 15805440 markings, 17469893 edges, 5023 markings/sec, 3125 secs
lola: 484 tries, 483613129 fired transitions, 3130 secs || 15831213 markings, 17498278 edges, 5155 markings/sec, 3130 secs
lola: 485 tries, 484183350 fired transitions, 3135 secs || 15849178 markings, 17518245 edges, 3593 markings/sec, 3135 secs
lola: 485 tries, 484683826 fired transitions, 3140 secs || 15864617 markings, 17535466 edges, 3088 markings/sec, 3140 secs
lola: 486 tries, 485180066 fired transitions, 3145 secs || 15880740 markings, 17553458 edges, 3225 markings/sec, 3145 secs
lola: 486 tries, 485678477 fired transitions, 3150 secs || 15896444 markings, 17570974 edges, 3141 markings/sec, 3150 secs
lola: 487 tries, 486354506 fired transitions, 3155 secs || 15916749 markings, 17593239 edges, 4061 markings/sec, 3155 secs
lola: 487 tries, 486853931 fired transitions, 3160 secs || 15932461 markings, 17610719 edges, 3142 markings/sec, 3160 secs
lola: 488 tries, 487350715 fired transitions, 3165 secs || 15948333 markings, 17628390 edges, 3174 markings/sec, 3165 secs
lola: 488 tries, 487849770 fired transitions, 3170 secs || 15964069 markings, 17645899 edges, 3147 markings/sec, 3170 secs
lola: 489 tries, 488354648 fired transitions, 3175 secs || 15980038 markings, 17663604 edges, 3194 markings/sec, 3175 secs
lola: 489 tries, 488850904 fired transitions, 3180 secs || 15996082 markings, 17681582 edges, 3209 markings/sec, 3180 secs
lola: 490 tries, 489347944 fired transitions, 3185 secs || 16011891 markings, 17699164 edges, 3162 markings/sec, 3185 secs
lola: 490 tries, 489845673 fired transitions, 3190 secs || 16027975 markings, 17717116 edges, 3217 markings/sec, 3190 secs
lola: 491 tries, 490342275 fired transitions, 3195 secs || 16043883 markings, 17734869 edges, 3182 markings/sec, 3195 secs
lola: 491 tries, 490840265 fired transitions, 3200 secs || 16059810 markings, 17752562 edges, 3185 markings/sec, 3200 secs
lola: 492 tries, 491337041 fired transitions, 3205 secs || 16075597 markings, 17770137 edges, 3157 markings/sec, 3205 secs
lola: 492 tries, 491835610 fired transitions, 3210 secs || 16091513 markings, 17787886 edges, 3183 markings/sec, 3210 secs
lola: 493 tries, 492331721 fired transitions, 3215 secs || 16107630 markings, 17805900 edges, 3223 markings/sec, 3215 secs
lola: 493 tries, 492829986 fired transitions, 3220 secs || 16123410 markings, 17823562 edges, 3156 markings/sec, 3220 secs
lola: 494 tries, 493327682 fired transitions, 3225 secs || 16139206 markings, 17841117 edges, 3159 markings/sec, 3225 secs
lola: 494 tries, 493826426 fired transitions, 3230 secs || 16154784 markings, 17858466 edges, 3116 markings/sec, 3230 secs
lola: 495 tries, 494323338 fired transitions, 3235 secs || 16170522 markings, 17876027 edges, 3148 markings/sec, 3235 secs
lola: 495 tries, 494859682 fired transitions, 3240 secs || 16187094 markings, 17894345 edges, 3314 markings/sec, 3240 secs
lola: 496 tries, 495704379 fired transitions, 3245 secs || 16213098 markings, 17923200 edges, 5201 markings/sec, 3245 secs
lola: 497 tries, 496537236 fired transitions, 3250 secs || 16238470 markings, 17951338 edges, 5074 markings/sec, 3250 secs
lola: 498 tries, 497364680 fired transitions, 3255 secs || 16262788 markings, 17977866 edges, 4864 markings/sec, 3255 secs
lola: 499 tries, 498190704 fired transitions, 3260 secs || 16288243 markings, 18005903 edges, 5091 markings/sec, 3260 secs
lola: 500 tries, 499011944 fired transitions, 3265 secs || 16313244 markings, 18033034 edges, 5000 markings/sec, 3265 secs
lola: 500 tries, 499836643 fired transitions, 3270 secs || 16337970 markings, 18059918 edges, 4945 markings/sec, 3270 secs
lola: 501 tries, 500667717 fired transitions, 3275 secs || 16364070 markings, 18088920 edges, 5220 markings/sec, 3275 secs
lola: 502 tries, 501496160 fired transitions, 3280 secs || 16389304 markings, 18116668 edges, 5047 markings/sec, 3280 secs
lola: 503 tries, 502011687 fired transitions, 3285 secs || 16401301 markings, 18129920 edges, 2399 markings/sec, 3285 secs
lola: 503 tries, 502041371 fired transitions, 3290 secs || 16401900 markings, 18130569 edges, 120 markings/sec, 3290 secs
lola: 503 tries, 502415570 fired transitions, 3295 secs || 16404155 markings, 18133054 edges, 451 markings/sec, 3295 secs
lola: 503 tries, 502465702 fired transitions, 3300 secs || 16404867 markings, 18133848 edges, 142 markings/sec, 3300 secs
lola: 503 tries, 502544570 fired transitions, 3305 secs || 16405913 markings, 18134981 edges, 209 markings/sec, 3305 secs
lola: 503 tries, 502855069 fired transitions, 3310 secs || 16406285 markings, 18135380 edges, 74 markings/sec, 3310 secs
lola: 503 tries, 502977591 fired transitions, 3315 secs || 16407524 markings, 18136780 edges, 248 markings/sec, 3315 secs
lola: 504 tries, 503027290 fired transitions, 3320 secs || 16407583 markings, 18136845 edges, 12 markings/sec, 3320 secs
lola: 504 tries, 503182745 fired transitions, 3325 secs || 16408755 markings, 18138124 edges, 234 markings/sec, 3325 secs
Killed
rslt: finished
BK_STOP 1552468304988
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (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="DLCshifumi-PT-4b"
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 DLCshifumi-PT-4b, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405300552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-4b.tgz
mv DLCshifumi-PT-4b 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 '
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 ;