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

About the Execution of LoLA for DatabaseWithMutex-PT-20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.000 2927076.00 5945061.00 4248.40 [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-155234405700831.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 DatabaseWithMutex-PT-20, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405700831
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.3M
-rw-r--r-- 1 mcc users 196K Feb 10 20:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 552K Feb 10 20:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 220K Feb 6 15:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 793K Feb 6 15:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 74K Feb 4 23:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 4 23:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 72K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 242K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 171K Feb 3 06:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 477K Feb 3 06:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 263K Jan 30 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 921K Jan 30 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 51K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 108K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 4.0M 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 DatabaseWithMutex-PT-20-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552489277213

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DatabaseWithMutex-PT-20 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 643
rslt: Output for GlobalProperties @ DatabaseWithMutex-PT-20
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: 6460/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 104320
lola: finding significant places
lola: 3260 places, 3200 transitions, 2800 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 921 generators (53 in search tree, 868 by composition)
lola: representing 5.91901E+36 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 120082 fired transitions, 0 secs || 47651 markings, 47858 edges, 9530 markings/sec, 0 secs
lola: 1 tries, 221089 fired transitions, 5 secs || 103462 markings, 103915 edges, 11162 markings/sec, 5 secs
lola: 1 tries, 321074 fired transitions, 10 secs || 159831 markings, 160594 edges, 11274 markings/sec, 10 secs
lola: 1 tries, 421347 fired transitions, 15 secs || 217284 markings, 218358 edges, 11491 markings/sec, 15 secs
lola: 1 tries, 523332 fired transitions, 20 secs || 274762 markings, 276143 edges, 11496 markings/sec, 20 secs
lola: 1 tries, 624476 fired transitions, 25 secs || 331165 markings, 332817 edges, 11281 markings/sec, 25 secs
lola: 1 tries, 732054 fired transitions, 30 secs || 395585 markings, 397635 edges, 12884 markings/sec, 30 secs
lola: 1 tries, 839587 fired transitions, 35 secs || 462837 markings, 465196 edges, 13450 markings/sec, 35 secs
lola: 1 tries, 947806 fired transitions, 40 secs || 530047 markings, 532682 edges, 13442 markings/sec, 40 secs
lola: 2 tries, 1054052 fired transitions, 45 secs || 594890 markings, 597878 edges, 12969 markings/sec, 45 secs
lola: 2 tries, 1158458 fired transitions, 50 secs || 651004 markings, 654264 edges, 11223 markings/sec, 50 secs
lola: 2 tries, 1279418 fired transitions, 55 secs || 709202 markings, 712737 edges, 11640 markings/sec, 55 secs
lola: 2 tries, 1402295 fired transitions, 60 secs || 767221 markings, 771050 edges, 11604 markings/sec, 60 secs
lola: 2 tries, 1525083 fired transitions, 65 secs || 825962 markings, 830063 edges, 11748 markings/sec, 65 secs
lola: 2 tries, 1645412 fired transitions, 70 secs || 883889 markings, 888286 edges, 11585 markings/sec, 70 secs
lola: 2 tries, 1767152 fired transitions, 75 secs || 940394 markings, 945102 edges, 11301 markings/sec, 75 secs
lola: 2 tries, 1888002 fired transitions, 80 secs || 998456 markings, 1003390 edges, 11612 markings/sec, 80 secs
lola: 3 tries, 2011018 fired transitions, 85 secs || 1058309 markings, 1063591 edges, 11971 markings/sec, 85 secs
lola: 3 tries, 2131836 fired transitions, 90 secs || 1115113 markings, 1120759 edges, 11361 markings/sec, 90 secs
lola: 3 tries, 2250636 fired transitions, 95 secs || 1171960 markings, 1177956 edges, 11369 markings/sec, 95 secs
lola: 3 tries, 2370751 fired transitions, 100 secs || 1232372 markings, 1238696 edges, 12082 markings/sec, 100 secs
lola: 3 tries, 2493370 fired transitions, 105 secs || 1291657 markings, 1298294 edges, 11857 markings/sec, 105 secs
lola: 3 tries, 2615907 fired transitions, 110 secs || 1350762 markings, 1357677 edges, 11821 markings/sec, 110 secs
lola: 3 tries, 2739557 fired transitions, 115 secs || 1410591 markings, 1417836 edges, 11966 markings/sec, 115 secs
lola: 3 tries, 2854313 fired transitions, 120 secs || 1477034 markings, 1484597 edges, 13289 markings/sec, 120 secs
lola: 3 tries, 2966437 fired transitions, 125 secs || 1545770 markings, 1553620 edges, 13747 markings/sec, 125 secs
lola: 4 tries, 3052679 fired transitions, 130 secs || 1610740 markings, 1619437 edges, 12994 markings/sec, 130 secs
lola: 4 tries, 3168725 fired transitions, 135 secs || 1675765 markings, 1685129 edges, 13005 markings/sec, 135 secs
lola: 4 tries, 3279993 fired transitions, 140 secs || 1743537 markings, 1753263 edges, 13554 markings/sec, 140 secs
lola: 4 tries, 3387480 fired transitions, 145 secs || 1811564 markings, 1821634 edges, 13605 markings/sec, 145 secs
lola: 4 tries, 3490597 fired transitions, 150 secs || 1879203 markings, 1889574 edges, 13528 markings/sec, 150 secs
lola: 4 tries, 3593570 fired transitions, 155 secs || 1947583 markings, 1958197 edges, 13676 markings/sec, 155 secs
lola: 4 tries, 3697074 fired transitions, 160 secs || 2015954 markings, 2026871 edges, 13674 markings/sec, 160 secs
lola: 4 tries, 3799979 fired transitions, 165 secs || 2084583 markings, 2095805 edges, 13726 markings/sec, 165 secs
lola: 4 tries, 3902891 fired transitions, 170 secs || 2153289 markings, 2164807 edges, 13741 markings/sec, 170 secs
lola: 5 tries, 4007235 fired transitions, 175 secs || 2221377 markings, 2233154 edges, 13618 markings/sec, 175 secs
lola: 5 tries, 4116305 fired transitions, 180 secs || 2289347 markings, 2301588 edges, 13594 markings/sec, 180 secs
lola: 5 tries, 4225499 fired transitions, 185 secs || 2357135 markings, 2369807 edges, 13558 markings/sec, 185 secs
lola: 5 tries, 4336160 fired transitions, 190 secs || 2424970 markings, 2438109 edges, 13567 markings/sec, 190 secs
lola: 5 tries, 4447752 fired transitions, 195 secs || 2493408 markings, 2506968 edges, 13688 markings/sec, 195 secs
lola: 5 tries, 4572996 fired transitions, 200 secs || 2558151 markings, 2572541 edges, 12949 markings/sec, 200 secs
lola: 5 tries, 4699793 fired transitions, 205 secs || 2623225 markings, 2638462 edges, 13015 markings/sec, 205 secs
lola: 5 tries, 4827832 fired transitions, 210 secs || 2679977 markings, 2695607 edges, 11350 markings/sec, 210 secs
lola: 5 tries, 4954750 fired transitions, 215 secs || 2740913 markings, 2757075 edges, 12187 markings/sec, 215 secs
lola: 6 tries, 5077592 fired transitions, 220 secs || 2803323 markings, 2820025 edges, 12482 markings/sec, 220 secs
lola: 6 tries, 5199021 fired transitions, 225 secs || 2863754 markings, 2881251 edges, 12086 markings/sec, 225 secs
lola: 6 tries, 5323353 fired transitions, 230 secs || 2922833 markings, 2941008 edges, 11816 markings/sec, 230 secs
lola: 6 tries, 5433140 fired transitions, 235 secs || 2989769 markings, 3008324 edges, 13387 markings/sec, 235 secs
lola: 6 tries, 5545832 fired transitions, 240 secs || 3055464 markings, 3074424 edges, 13139 markings/sec, 240 secs
lola: 6 tries, 5656379 fired transitions, 245 secs || 3121945 markings, 3141299 edges, 13296 markings/sec, 245 secs
lola: 6 tries, 5766572 fired transitions, 250 secs || 3188675 markings, 3208447 edges, 13346 markings/sec, 250 secs
lola: 6 tries, 5876562 fired transitions, 255 secs || 3255286 markings, 3275362 edges, 13322 markings/sec, 255 secs
lola: 6 tries, 5995970 fired transitions, 260 secs || 3313169 markings, 3333630 edges, 11577 markings/sec, 260 secs
lola: 7 tries, 6118832 fired transitions, 265 secs || 3369847 markings, 3390720 edges, 11336 markings/sec, 265 secs
lola: 7 tries, 6241161 fired transitions, 270 secs || 3426588 markings, 3447892 edges, 11348 markings/sec, 270 secs
lola: 7 tries, 6359315 fired transitions, 275 secs || 3489761 markings, 3511564 edges, 12635 markings/sec, 275 secs
lola: 7 tries, 6481819 fired transitions, 280 secs || 3551985 markings, 3574778 edges, 12445 markings/sec, 280 secs
lola: 7 tries, 6605724 fired transitions, 285 secs || 3608118 markings, 3631360 edges, 11227 markings/sec, 285 secs
lola: 7 tries, 6725566 fired transitions, 290 secs || 3668515 markings, 3692260 edges, 12079 markings/sec, 290 secs
lola: 7 tries, 6849967 fired transitions, 295 secs || 3725639 markings, 3749860 edges, 11425 markings/sec, 295 secs
lola: 7 tries, 6974272 fired transitions, 300 secs || 3782045 markings, 3806739 edges, 11281 markings/sec, 300 secs
lola: 8 tries, 7097592 fired transitions, 305 secs || 3838588 markings, 3863712 edges, 11309 markings/sec, 305 secs
lola: 8 tries, 7220533 fired transitions, 310 secs || 3897260 markings, 3922801 edges, 11734 markings/sec, 310 secs
lola: 8 tries, 7335556 fired transitions, 315 secs || 3965612 markings, 3991669 edges, 13670 markings/sec, 315 secs
lola: 8 tries, 7450466 fired transitions, 320 secs || 4033508 markings, 4060114 edges, 13579 markings/sec, 320 secs
lola: 8 tries, 7563325 fired transitions, 325 secs || 4101306 markings, 4128183 edges, 13560 markings/sec, 325 secs
lola: 8 tries, 7675800 fired transitions, 330 secs || 4169061 markings, 4196108 edges, 13551 markings/sec, 330 secs
lola: 8 tries, 7789117 fired transitions, 335 secs || 4236009 markings, 4263229 edges, 13390 markings/sec, 335 secs
lola: 8 tries, 7900960 fired transitions, 340 secs || 4303513 markings, 4330870 edges, 13501 markings/sec, 340 secs
lola: 9 tries, 8013511 fired transitions, 345 secs || 4370597 markings, 4398178 edges, 13417 markings/sec, 345 secs
lola: 9 tries, 8126914 fired transitions, 350 secs || 4438388 markings, 4466333 edges, 13558 markings/sec, 350 secs
lola: 9 tries, 8240067 fired transitions, 355 secs || 4506120 markings, 4534467 edges, 13546 markings/sec, 355 secs
lola: 9 tries, 8353797 fired transitions, 360 secs || 4573552 markings, 4602201 edges, 13486 markings/sec, 360 secs
lola: 9 tries, 8467756 fired transitions, 365 secs || 4641613 markings, 4670585 edges, 13612 markings/sec, 365 secs
lola: 9 tries, 8579119 fired transitions, 370 secs || 4709421 markings, 4738790 edges, 13562 markings/sec, 370 secs
lola: 9 tries, 8691101 fired transitions, 375 secs || 4775862 markings, 4805526 edges, 13288 markings/sec, 375 secs
lola: 9 tries, 8803077 fired transitions, 380 secs || 4842823 markings, 4872880 edges, 13392 markings/sec, 380 secs
lola: 9 tries, 8918354 fired transitions, 385 secs || 4907431 markings, 4937950 edges, 12922 markings/sec, 385 secs
lola: 10 tries, 9041900 fired transitions, 390 secs || 4969102 markings, 5000619 edges, 12334 markings/sec, 390 secs
lola: 10 tries, 9165250 fired transitions, 395 secs || 5031430 markings, 5063954 edges, 12466 markings/sec, 395 secs
lola: 10 tries, 9288711 fired transitions, 400 secs || 5093699 markings, 5127276 edges, 12454 markings/sec, 400 secs
lola: 10 tries, 9412186 fired transitions, 405 secs || 5156032 markings, 5190822 edges, 12467 markings/sec, 405 secs
lola: 10 tries, 9535407 fired transitions, 410 secs || 5218292 markings, 5254406 edges, 12452 markings/sec, 410 secs
lola: 10 tries, 9659084 fired transitions, 415 secs || 5280274 markings, 5317698 edges, 12396 markings/sec, 415 secs
lola: 10 tries, 9782281 fired transitions, 420 secs || 5344030 markings, 5382808 edges, 12751 markings/sec, 420 secs
lola: 10 tries, 9905789 fired transitions, 425 secs || 5408669 markings, 5448978 edges, 12928 markings/sec, 425 secs
lola: 11 tries, 10005132 fired transitions, 430 secs || 5471566 markings, 5513249 edges, 12579 markings/sec, 430 secs
lola: 11 tries, 10126341 fired transitions, 435 secs || 5536433 markings, 5579108 edges, 12973 markings/sec, 435 secs
lola: 11 tries, 10249971 fired transitions, 440 secs || 5593750 markings, 5636780 edges, 11463 markings/sec, 440 secs
lola: 11 tries, 10375650 fired transitions, 445 secs || 5648960 markings, 5692313 edges, 11042 markings/sec, 445 secs
lola: 11 tries, 10491084 fired transitions, 450 secs || 5713500 markings, 5757367 edges, 12908 markings/sec, 450 secs
lola: 11 tries, 10601109 fired transitions, 455 secs || 5781352 markings, 5825647 edges, 13570 markings/sec, 455 secs
lola: 11 tries, 10714614 fired transitions, 460 secs || 5849474 markings, 5894268 edges, 13624 markings/sec, 460 secs
lola: 11 tries, 10825894 fired transitions, 465 secs || 5917670 markings, 5962977 edges, 13639 markings/sec, 465 secs
lola: 11 tries, 10937589 fired transitions, 470 secs || 5987287 markings, 6033062 edges, 13923 markings/sec, 470 secs
lola: 12 tries, 11047881 fired transitions, 475 secs || 6057014 markings, 6103241 edges, 13945 markings/sec, 475 secs
lola: 12 tries, 11158147 fired transitions, 480 secs || 6127390 markings, 6174085 edges, 14075 markings/sec, 480 secs
lola: 12 tries, 11268520 fired transitions, 485 secs || 6197690 markings, 6244833 edges, 14060 markings/sec, 485 secs
lola: 12 tries, 11379711 fired transitions, 490 secs || 6266429 markings, 6314004 edges, 13748 markings/sec, 490 secs
lola: 12 tries, 11490561 fired transitions, 495 secs || 6336493 markings, 6384564 edges, 14013 markings/sec, 495 secs
lola: 12 tries, 11599729 fired transitions, 500 secs || 6405532 markings, 6454126 edges, 13808 markings/sec, 500 secs
lola: 12 tries, 11706370 fired transitions, 505 secs || 6473242 markings, 6522205 edges, 13542 markings/sec, 505 secs
lola: 12 tries, 11816028 fired transitions, 510 secs || 6541419 markings, 6590799 edges, 13635 markings/sec, 510 secs
lola: 12 tries, 11926171 fired transitions, 515 secs || 6608702 markings, 6658478 edges, 13457 markings/sec, 515 secs
lola: 13 tries, 12035970 fired transitions, 520 secs || 6676345 markings, 6726450 edges, 13529 markings/sec, 520 secs
lola: 13 tries, 12146927 fired transitions, 525 secs || 6744192 markings, 6794671 edges, 13569 markings/sec, 525 secs
lola: 13 tries, 12257621 fired transitions, 530 secs || 6813034 markings, 6863931 edges, 13768 markings/sec, 530 secs
lola: 13 tries, 12369198 fired transitions, 535 secs || 6881881 markings, 6933196 edges, 13769 markings/sec, 535 secs
lola: 13 tries, 12480682 fired transitions, 540 secs || 6949127 markings, 7000794 edges, 13449 markings/sec, 540 secs
lola: 13 tries, 12592936 fired transitions, 545 secs || 7016764 markings, 7068823 edges, 13527 markings/sec, 545 secs
lola: 13 tries, 12706347 fired transitions, 550 secs || 7085990 markings, 7138527 edges, 13845 markings/sec, 550 secs
lola: 13 tries, 12819509 fired transitions, 555 secs || 7154495 markings, 7207530 edges, 13701 markings/sec, 555 secs
lola: 13 tries, 12931624 fired transitions, 560 secs || 7224045 markings, 7277581 edges, 13910 markings/sec, 560 secs
lola: 14 tries, 13043420 fired transitions, 565 secs || 7293424 markings, 7347417 edges, 13876 markings/sec, 565 secs
lola: 14 tries, 13154223 fired transitions, 570 secs || 7362565 markings, 7417044 edges, 13828 markings/sec, 570 secs
lola: 14 tries, 13263091 fired transitions, 575 secs || 7430784 markings, 7485716 edges, 13644 markings/sec, 575 secs
lola: 14 tries, 13371561 fired transitions, 580 secs || 7498618 markings, 7553966 edges, 13567 markings/sec, 580 secs
lola: 14 tries, 13482274 fired transitions, 585 secs || 7567822 markings, 7623658 edges, 13841 markings/sec, 585 secs
lola: 14 tries, 13591872 fired transitions, 590 secs || 7636307 markings, 7692525 edges, 13697 markings/sec, 590 secs
lola: 14 tries, 13700829 fired transitions, 595 secs || 7705417 markings, 7762122 edges, 13822 markings/sec, 595 secs
lola: 14 tries, 13805367 fired transitions, 600 secs || 7775035 markings, 7832176 edges, 13924 markings/sec, 600 secs
lola: 14 tries, 13910170 fired transitions, 605 secs || 7843673 markings, 7901208 edges, 13728 markings/sec, 605 secs
lola: 15 tries, 14015512 fired transitions, 610 secs || 7911706 markings, 7969572 edges, 13607 markings/sec, 610 secs
lola: 15 tries, 14128765 fired transitions, 615 secs || 7979482 markings, 8038068 edges, 13555 markings/sec, 615 secs
lola: 15 tries, 14249725 fired transitions, 620 secs || 8043712 markings, 8103166 edges, 12846 markings/sec, 620 secs
lola: 15 tries, 14370374 fired transitions, 625 secs || 8107346 markings, 8167916 edges, 12727 markings/sec, 625 secs
lola: 15 tries, 14491808 fired transitions, 630 secs || 8172082 markings, 8233523 edges, 12947 markings/sec, 630 secs
lola: 15 tries, 14615349 fired transitions, 635 secs || 8235032 markings, 8297601 edges, 12590 markings/sec, 635 secs
lola: 15 tries, 14739366 fired transitions, 640 secs || 8297913 markings, 8361378 edges, 12576 markings/sec, 640 secs
lola: 15 tries, 14862753 fired transitions, 645 secs || 8360800 markings, 8425357 edges, 12577 markings/sec, 645 secs
lola: 15 tries, 14986291 fired transitions, 650 secs || 8424695 markings, 8490953 edges, 12779 markings/sec, 650 secs
lola: 16 tries, 15087180 fired transitions, 655 secs || 8489467 markings, 8556841 edges, 12954 markings/sec, 655 secs
lola: 16 tries, 15210584 fired transitions, 660 secs || 8554102 markings, 8622884 edges, 12927 markings/sec, 660 secs
lola: 16 tries, 15334554 fired transitions, 665 secs || 8618371 markings, 8688826 edges, 12854 markings/sec, 665 secs
lola: 16 tries, 15458311 fired transitions, 670 secs || 8682446 markings, 8754779 edges, 12815 markings/sec, 670 secs
lola: 16 tries, 15581632 fired transitions, 675 secs || 8747844 markings, 8821364 edges, 13080 markings/sec, 675 secs
lola: 16 tries, 15705718 fired transitions, 680 secs || 8813011 markings, 8887539 edges, 13033 markings/sec, 680 secs
lola: 16 tries, 15829321 fired transitions, 685 secs || 8875757 markings, 8951519 edges, 12549 markings/sec, 685 secs
lola: 16 tries, 15953318 fired transitions, 690 secs || 8938368 markings, 9015111 edges, 12522 markings/sec, 690 secs
lola: 17 tries, 16076543 fired transitions, 695 secs || 9002968 markings, 9080839 edges, 12920 markings/sec, 695 secs
lola: 17 tries, 16199737 fired transitions, 700 secs || 9065483 markings, 9144268 edges, 12503 markings/sec, 700 secs
lola: 17 tries, 16323091 fired transitions, 705 secs || 9127321 markings, 9207062 edges, 12368 markings/sec, 705 secs
lola: 17 tries, 16445906 fired transitions, 710 secs || 9188938 markings, 9269611 edges, 12323 markings/sec, 710 secs
lola: 17 tries, 16568744 fired transitions, 715 secs || 9251616 markings, 9333437 edges, 12536 markings/sec, 715 secs
lola: 17 tries, 16691941 fired transitions, 720 secs || 9316328 markings, 9399425 edges, 12942 markings/sec, 720 secs
lola: 17 tries, 16814931 fired transitions, 725 secs || 9380892 markings, 9465049 edges, 12913 markings/sec, 725 secs
lola: 17 tries, 16938131 fired transitions, 730 secs || 9442226 markings, 9527883 edges, 12267 markings/sec, 730 secs
lola: 18 tries, 17037340 fired transitions, 735 secs || 9505287 markings, 9592269 edges, 12612 markings/sec, 735 secs
lola: 18 tries, 17160439 fired transitions, 740 secs || 9569355 markings, 9657352 edges, 12814 markings/sec, 740 secs
lola: 18 tries, 17283106 fired transitions, 745 secs || 9633957 markings, 9723049 edges, 12920 markings/sec, 745 secs
lola: 18 tries, 17406460 fired transitions, 750 secs || 9698811 markings, 9789205 edges, 12971 markings/sec, 750 secs
lola: 18 tries, 17529319 fired transitions, 755 secs || 9763667 markings, 9855372 edges, 12971 markings/sec, 755 secs
lola: 18 tries, 17652835 fired transitions, 760 secs || 9824951 markings, 9917828 edges, 12257 markings/sec, 760 secs
lola: 18 tries, 17776447 fired transitions, 765 secs || 9887316 markings, 9981660 edges, 12473 markings/sec, 765 secs
lola: 18 tries, 17900480 fired transitions, 770 secs || 9949299 markings, 10045112 edges, 12397 markings/sec, 770 secs
lola: 19 tries, 18023968 fired transitions, 775 secs || 10011665 markings, 10108710 edges, 12473 markings/sec, 775 secs
lola: 19 tries, 18146629 fired transitions, 780 secs || 10073707 markings, 10171906 edges, 12408 markings/sec, 780 secs
lola: 19 tries, 18269734 fired transitions, 785 secs || 10135606 markings, 10235074 edges, 12380 markings/sec, 785 secs
lola: 19 tries, 18388472 fired transitions, 790 secs || 10199984 markings, 10300339 edges, 12876 markings/sec, 790 secs
lola: 19 tries, 18498528 fired transitions, 795 secs || 10269802 markings, 10370622 edges, 13964 markings/sec, 795 secs
lola: 19 tries, 18609621 fired transitions, 800 secs || 10339168 markings, 10440565 edges, 13873 markings/sec, 800 secs
lola: 19 tries, 18720795 fired transitions, 805 secs || 10408032 markings, 10509999 edges, 13773 markings/sec, 805 secs
lola: 19 tries, 18832545 fired transitions, 810 secs || 10476526 markings, 10579083 edges, 13699 markings/sec, 810 secs
lola: 19 tries, 18942547 fired transitions, 815 secs || 10546299 markings, 10649429 edges, 13955 markings/sec, 815 secs
lola: 20 tries, 19053484 fired transitions, 820 secs || 10615846 markings, 10719458 edges, 13909 markings/sec, 820 secs
lola: 20 tries, 19159884 fired transitions, 825 secs || 10687582 markings, 10791755 edges, 14347 markings/sec, 825 secs
lola: 20 tries, 19267096 fired transitions, 830 secs || 10757917 markings, 10862705 edges, 14067 markings/sec, 830 secs
lola: 20 tries, 19376228 fired transitions, 835 secs || 10829437 markings, 10934803 edges, 14304 markings/sec, 835 secs
lola: 20 tries, 19489250 fired transitions, 840 secs || 10898675 markings, 11004565 edges, 13848 markings/sec, 840 secs
lola: 20 tries, 19598376 fired transitions, 845 secs || 10968696 markings, 11075187 edges, 14004 markings/sec, 845 secs
lola: 20 tries, 19712909 fired transitions, 850 secs || 11035710 markings, 11142863 edges, 13403 markings/sec, 850 secs
lola: 20 tries, 19825096 fired transitions, 855 secs || 11104752 markings, 11212469 edges, 13808 markings/sec, 855 secs
lola: 20 tries, 19937354 fired transitions, 860 secs || 11173258 markings, 11281508 edges, 13701 markings/sec, 860 secs
lola: 21 tries, 20045442 fired transitions, 865 secs || 11243060 markings, 11351880 edges, 13960 markings/sec, 865 secs
lola: 21 tries, 20150159 fired transitions, 870 secs || 11314059 markings, 11423409 edges, 14200 markings/sec, 870 secs
lola: 21 tries, 20259750 fired transitions, 875 secs || 11382607 markings, 11492508 edges, 13710 markings/sec, 875 secs
lola: 21 tries, 20370209 fired transitions, 880 secs || 11449925 markings, 11560301 edges, 13464 markings/sec, 880 secs
lola: 21 tries, 20478879 fired transitions, 885 secs || 11518647 markings, 11629555 edges, 13744 markings/sec, 885 secs
lola: 21 tries, 20586784 fired transitions, 890 secs || 11587552 markings, 11698943 edges, 13781 markings/sec, 890 secs
lola: 21 tries, 20693768 fired transitions, 895 secs || 11657373 markings, 11769265 edges, 13964 markings/sec, 895 secs
lola: 21 tries, 20802523 fired transitions, 900 secs || 11726472 markings, 11838886 edges, 13820 markings/sec, 900 secs
lola: 21 tries, 20908547 fired transitions, 905 secs || 11796495 markings, 11909464 edges, 14005 markings/sec, 905 secs
lola: 22 tries, 21019242 fired transitions, 910 secs || 11864250 markings, 11977750 edges, 13551 markings/sec, 910 secs
lola: 22 tries, 21134516 fired transitions, 915 secs || 11931449 markings, 12045485 edges, 13440 markings/sec, 915 secs
lola: 22 tries, 21246615 fired transitions, 920 secs || 12000087 markings, 12114635 edges, 13728 markings/sec, 920 secs
lola: 22 tries, 21355556 fired transitions, 925 secs || 12069493 markings, 12184607 edges, 13881 markings/sec, 925 secs
lola: 22 tries, 21466685 fired transitions, 930 secs || 12138988 markings, 12254637 edges, 13899 markings/sec, 930 secs
lola: 22 tries, 21576587 fired transitions, 935 secs || 12208664 markings, 12324898 edges, 13935 markings/sec, 935 secs
lola: 22 tries, 21684445 fired transitions, 940 secs || 12278891 markings, 12395582 edges, 14045 markings/sec, 940 secs
lola: 22 tries, 21792720 fired transitions, 945 secs || 12348618 markings, 12465800 edges, 13945 markings/sec, 945 secs
lola: 22 tries, 21903032 fired transitions, 950 secs || 12417664 markings, 12535348 edges, 13809 markings/sec, 950 secs
lola: 23 tries, 22014800 fired transitions, 955 secs || 12485915 markings, 12604197 edges, 13650 markings/sec, 955 secs
lola: 23 tries, 22125716 fired transitions, 960 secs || 12555282 markings, 12674095 edges, 13873 markings/sec, 960 secs
lola: 23 tries, 22237171 fired transitions, 965 secs || 12624603 markings, 12743925 edges, 13864 markings/sec, 965 secs
lola: 23 tries, 22349180 fired transitions, 970 secs || 12693513 markings, 12813431 edges, 13782 markings/sec, 970 secs
lola: 23 tries, 22459612 fired transitions, 975 secs || 12764028 markings, 12884523 edges, 14103 markings/sec, 975 secs
lola: 23 tries, 22571820 fired transitions, 980 secs || 12833032 markings, 12954080 edges, 13801 markings/sec, 980 secs
lola: 23 tries, 22683058 fired transitions, 985 secs || 12900624 markings, 13022235 edges, 13518 markings/sec, 985 secs
lola: 23 tries, 22795313 fired transitions, 990 secs || 12968345 markings, 13090471 edges, 13544 markings/sec, 990 secs
lola: 23 tries, 22912338 fired transitions, 995 secs || 13033449 markings, 13156302 edges, 13021 markings/sec, 995 secs
lola: 24 tries, 23035478 fired transitions, 1000 secs || 13095856 markings, 13219942 edges, 12481 markings/sec, 1000 secs
lola: 24 tries, 23159045 fired transitions, 1005 secs || 13158600 markings, 13284149 edges, 12549 markings/sec, 1005 secs
lola: 24 tries, 23275717 fired transitions, 1010 secs || 13224635 markings, 13350980 edges, 13207 markings/sec, 1010 secs
lola: 24 tries, 23388535 fired transitions, 1015 secs || 13292194 markings, 13418912 edges, 13512 markings/sec, 1015 secs
lola: 24 tries, 23500991 fired transitions, 1020 secs || 13360137 markings, 13487218 edges, 13589 markings/sec, 1020 secs
lola: 24 tries, 23614775 fired transitions, 1025 secs || 13427848 markings, 13555278 edges, 13542 markings/sec, 1025 secs
lola: 24 tries, 23726612 fired transitions, 1030 secs || 13497080 markings, 13624875 edges, 13846 markings/sec, 1030 secs
lola: 24 tries, 23848319 fired transitions, 1035 secs || 13561201 markings, 13690009 edges, 12824 markings/sec, 1035 secs
lola: 24 tries, 23972363 fired transitions, 1040 secs || 13624595 markings, 13755151 edges, 12679 markings/sec, 1040 secs
lola: 25 tries, 24095138 fired transitions, 1045 secs || 13688357 markings, 13820042 edges, 12752 markings/sec, 1045 secs
lola: 25 tries, 24217861 fired transitions, 1050 secs || 13752933 markings, 13886129 edges, 12915 markings/sec, 1050 secs
lola: 25 tries, 24341159 fired transitions, 1055 secs || 13818280 markings, 13952882 edges, 13069 markings/sec, 1055 secs
lola: 25 tries, 24464765 fired transitions, 1060 secs || 13883352 markings, 14019516 edges, 13014 markings/sec, 1060 secs
lola: 25 tries, 24589153 fired transitions, 1065 secs || 13949417 markings, 14086790 edges, 13213 markings/sec, 1065 secs
lola: 25 tries, 24715200 fired transitions, 1070 secs || 14015246 markings, 14153709 edges, 13166 markings/sec, 1070 secs
lola: 25 tries, 24841064 fired transitions, 1075 secs || 14078432 markings, 14218194 edges, 12637 markings/sec, 1075 secs
lola: 25 tries, 24969224 fired transitions, 1080 secs || 14142174 markings, 14283495 edges, 12748 markings/sec, 1080 secs
lola: 26 tries, 25094113 fired transitions, 1085 secs || 14207129 markings, 14349679 edges, 12991 markings/sec, 1085 secs
lola: 26 tries, 25217624 fired transitions, 1090 secs || 14272504 markings, 14415865 edges, 13075 markings/sec, 1090 secs
lola: 26 tries, 25342715 fired transitions, 1095 secs || 14335972 markings, 14480259 edges, 12694 markings/sec, 1095 secs
lola: 26 tries, 25466906 fired transitions, 1100 secs || 14399550 markings, 14545143 edges, 12716 markings/sec, 1100 secs
lola: 26 tries, 25589265 fired transitions, 1105 secs || 14463481 markings, 14610454 edges, 12786 markings/sec, 1105 secs
lola: 26 tries, 25707469 fired transitions, 1110 secs || 14524172 markings, 14672136 edges, 12138 markings/sec, 1110 secs
lola: 26 tries, 25825202 fired transitions, 1115 secs || 14584536 markings, 14733660 edges, 12073 markings/sec, 1115 secs
lola: 26 tries, 25942551 fired transitions, 1120 secs || 14645357 markings, 14795666 edges, 12164 markings/sec, 1120 secs
lola: 27 tries, 26059037 fired transitions, 1125 secs || 14707278 markings, 14858858 edges, 12384 markings/sec, 1125 secs
lola: 27 tries, 26173360 fired transitions, 1130 secs || 14768282 markings, 14921370 edges, 12201 markings/sec, 1130 secs
lola: 27 tries, 26288056 fired transitions, 1135 secs || 14828751 markings, 14983087 edges, 12094 markings/sec, 1135 secs
lola: 27 tries, 26400961 fired transitions, 1140 secs || 14888350 markings, 15044037 edges, 11920 markings/sec, 1140 secs
lola: 27 tries, 26514467 fired transitions, 1145 secs || 14948261 markings, 15105433 edges, 11982 markings/sec, 1145 secs
lola: 27 tries, 26634114 fired transitions, 1150 secs || 15010126 markings, 15168661 edges, 12373 markings/sec, 1150 secs
lola: 27 tries, 26752852 fired transitions, 1155 secs || 15071649 markings, 15231283 edges, 12305 markings/sec, 1155 secs
lola: 27 tries, 26870366 fired transitions, 1160 secs || 15131622 markings, 15292728 edges, 11995 markings/sec, 1160 secs
lola: 27 tries, 26987990 fired transitions, 1165 secs || 15192898 markings, 15355194 edges, 12255 markings/sec, 1165 secs
lola: 28 tries, 27105413 fired transitions, 1170 secs || 15254479 markings, 15418060 edges, 12316 markings/sec, 1170 secs
lola: 28 tries, 27224926 fired transitions, 1175 secs || 15316263 markings, 15480990 edges, 12357 markings/sec, 1175 secs
lola: 28 tries, 27345987 fired transitions, 1180 secs || 15378307 markings, 15544292 edges, 12409 markings/sec, 1180 secs
lola: 28 tries, 27467527 fired transitions, 1185 secs || 15439598 markings, 15606739 edges, 12258 markings/sec, 1185 secs
lola: 28 tries, 27588695 fired transitions, 1190 secs || 15502824 markings, 15671077 edges, 12645 markings/sec, 1190 secs
lola: 28 tries, 27711095 fired transitions, 1195 secs || 15566234 markings, 15735555 edges, 12682 markings/sec, 1195 secs
lola: 28 tries, 27831483 fired transitions, 1200 secs || 15628839 markings, 15799387 edges, 12521 markings/sec, 1200 secs
lola: 28 tries, 27953634 fired transitions, 1205 secs || 15689839 markings, 15861655 edges, 12200 markings/sec, 1205 secs
lola: 29 tries, 28073258 fired transitions, 1210 secs || 15750898 markings, 15923633 edges, 12212 markings/sec, 1210 secs
lola: 29 tries, 28192760 fired transitions, 1215 secs || 15816746 markings, 15990319 edges, 13170 markings/sec, 1215 secs
lola: 29 tries, 28314058 fired transitions, 1220 secs || 15881954 markings, 16056310 edges, 13042 markings/sec, 1220 secs
lola: 29 tries, 28440212 fired transitions, 1225 secs || 15944537 markings, 16120116 edges, 12517 markings/sec, 1225 secs
lola: 29 tries, 28563836 fired transitions, 1230 secs || 16009577 markings, 16186185 edges, 13008 markings/sec, 1230 secs
lola: 29 tries, 28682330 fired transitions, 1235 secs || 16075912 markings, 16253205 edges, 13267 markings/sec, 1235 secs
lola: 29 tries, 28802512 fired transitions, 1240 secs || 16142282 markings, 16320626 edges, 13274 markings/sec, 1240 secs
lola: 29 tries, 28928855 fired transitions, 1245 secs || 16207047 markings, 16386757 edges, 12953 markings/sec, 1245 secs
lola: 30 tries, 29054157 fired transitions, 1250 secs || 16272389 markings, 16453371 edges, 13068 markings/sec, 1250 secs
lola: 30 tries, 29179500 fired transitions, 1255 secs || 16337444 markings, 16519474 edges, 13011 markings/sec, 1255 secs
lola: 30 tries, 29304771 fired transitions, 1260 secs || 16401756 markings, 16585183 edges, 12862 markings/sec, 1260 secs
lola: 30 tries, 29429008 fired transitions, 1265 secs || 16464919 markings, 16649586 edges, 12633 markings/sec, 1265 secs
lola: 30 tries, 29553245 fired transitions, 1270 secs || 16528157 markings, 16714323 edges, 12648 markings/sec, 1270 secs
lola: 30 tries, 29677322 fired transitions, 1275 secs || 16590951 markings, 16778384 edges, 12559 markings/sec, 1275 secs
lola: 30 tries, 29801977 fired transitions, 1280 secs || 16655400 markings, 16843875 edges, 12890 markings/sec, 1280 secs
lola: 30 tries, 29927233 fired transitions, 1285 secs || 16721073 markings, 16910821 edges, 13135 markings/sec, 1285 secs
lola: 31 tries, 30051032 fired transitions, 1290 secs || 16786113 markings, 16976992 edges, 13008 markings/sec, 1290 secs
lola: 31 tries, 30171500 fired transitions, 1295 secs || 16850439 markings, 17042720 edges, 12865 markings/sec, 1295 secs
lola: 31 tries, 30294857 fired transitions, 1300 secs || 16915753 markings, 17109462 edges, 13063 markings/sec, 1300 secs
lola: 31 tries, 30419330 fired transitions, 1305 secs || 16981555 markings, 17176324 edges, 13160 markings/sec, 1305 secs
lola: 31 tries, 30544275 fired transitions, 1310 secs || 17047450 markings, 17243689 edges, 13179 markings/sec, 1310 secs
lola: 31 tries, 30668699 fired transitions, 1315 secs || 17112919 markings, 17310450 edges, 13094 markings/sec, 1315 secs
lola: 31 tries, 30793591 fired transitions, 1320 secs || 17178402 markings, 17376945 edges, 13097 markings/sec, 1320 secs
lola: 31 tries, 30918480 fired transitions, 1325 secs || 17244048 markings, 17443957 edges, 13129 markings/sec, 1325 secs
lola: 32 tries, 31043375 fired transitions, 1330 secs || 17307271 markings, 17508315 edges, 12645 markings/sec, 1330 secs
lola: 32 tries, 31167657 fired transitions, 1335 secs || 17370156 markings, 17572188 edges, 12577 markings/sec, 1335 secs
lola: 32 tries, 31292368 fired transitions, 1340 secs || 17433219 markings, 17636296 edges, 12613 markings/sec, 1340 secs
lola: 32 tries, 31417671 fired transitions, 1345 secs || 17496381 markings, 17700675 edges, 12632 markings/sec, 1345 secs
lola: 32 tries, 31541746 fired transitions, 1350 secs || 17559967 markings, 17765549 edges, 12717 markings/sec, 1350 secs
lola: 32 tries, 31666619 fired transitions, 1355 secs || 17623308 markings, 17830289 edges, 12668 markings/sec, 1355 secs
lola: 32 tries, 31791392 fired transitions, 1360 secs || 17686258 markings, 17894414 edges, 12590 markings/sec, 1360 secs
lola: 32 tries, 31916565 fired transitions, 1365 secs || 17749885 markings, 17959124 edges, 12725 markings/sec, 1365 secs
lola: 33 tries, 32041195 fired transitions, 1370 secs || 17812819 markings, 18023114 edges, 12587 markings/sec, 1370 secs
lola: 33 tries, 32165235 fired transitions, 1375 secs || 17876572 markings, 18088289 edges, 12751 markings/sec, 1375 secs
lola: 33 tries, 32290394 fired transitions, 1380 secs || 17939580 markings, 18152364 edges, 12602 markings/sec, 1380 secs
lola: 33 tries, 32414921 fired transitions, 1385 secs || 18003517 markings, 18217293 edges, 12787 markings/sec, 1385 secs
lola: 33 tries, 32540355 fired transitions, 1390 secs || 18067571 markings, 18282194 edges, 12811 markings/sec, 1390 secs
lola: 33 tries, 32664284 fired transitions, 1395 secs || 18130134 markings, 18345950 edges, 12513 markings/sec, 1395 secs
lola: 33 tries, 32789247 fired transitions, 1400 secs || 18193636 markings, 18410780 edges, 12700 markings/sec, 1400 secs
lola: 33 tries, 32914065 fired transitions, 1405 secs || 18257200 markings, 18475349 edges, 12713 markings/sec, 1405 secs
lola: 34 tries, 33038542 fired transitions, 1410 secs || 18322750 markings, 18542074 edges, 13110 markings/sec, 1410 secs
lola: 34 tries, 33162453 fired transitions, 1415 secs || 18388518 markings, 18608888 edges, 13154 markings/sec, 1415 secs
lola: 34 tries, 33286002 fired transitions, 1420 secs || 18454431 markings, 18675883 edges, 13183 markings/sec, 1420 secs
lola: 34 tries, 33410562 fired transitions, 1425 secs || 18518898 markings, 18741728 edges, 12893 markings/sec, 1425 secs
lola: 34 tries, 33536639 fired transitions, 1430 secs || 18583324 markings, 18807665 edges, 12885 markings/sec, 1430 secs
lola: 34 tries, 33662588 fired transitions, 1435 secs || 18649299 markings, 18874895 edges, 13195 markings/sec, 1435 secs
lola: 34 tries, 33773501 fired transitions, 1440 secs || 18717721 markings, 18943850 edges, 13684 markings/sec, 1440 secs
lola: 34 tries, 33883673 fired transitions, 1445 secs || 18787431 markings, 19014020 edges, 13942 markings/sec, 1445 secs
lola: 34 tries, 33995348 fired transitions, 1450 secs || 18855521 markings, 19082461 edges, 13618 markings/sec, 1450 secs
lola: 35 tries, 34109437 fired transitions, 1455 secs || 18920280 markings, 19148059 edges, 12952 markings/sec, 1455 secs
lola: 35 tries, 34229982 fired transitions, 1460 secs || 18983648 markings, 19212669 edges, 12674 markings/sec, 1460 secs
lola: 35 tries, 34351594 fired transitions, 1465 secs || 19045693 markings, 19275912 edges, 12409 markings/sec, 1465 secs
lola: 35 tries, 34473010 fired transitions, 1470 secs || 19108802 markings, 19340296 edges, 12622 markings/sec, 1470 secs
lola: 35 tries, 34594773 fired transitions, 1475 secs || 19172394 markings, 19405269 edges, 12718 markings/sec, 1475 secs
lola: 35 tries, 34718056 fired transitions, 1480 secs || 19237275 markings, 19471359 edges, 12976 markings/sec, 1480 secs
lola: 35 tries, 34840838 fired transitions, 1485 secs || 19301943 markings, 19537353 edges, 12934 markings/sec, 1485 secs
lola: 35 tries, 34961443 fired transitions, 1490 secs || 19364853 markings, 19601420 edges, 12582 markings/sec, 1490 secs
lola: 36 tries, 35082999 fired transitions, 1495 secs || 19427876 markings, 19665765 edges, 12605 markings/sec, 1495 secs
lola: 36 tries, 35202302 fired transitions, 1500 secs || 19493213 markings, 19731881 edges, 13067 markings/sec, 1500 secs
lola: 36 tries, 35320513 fired transitions, 1505 secs || 19559529 markings, 19798901 edges, 13263 markings/sec, 1505 secs
lola: 36 tries, 35445182 fired transitions, 1510 secs || 19622440 markings, 19862875 edges, 12582 markings/sec, 1510 secs
lola: 36 tries, 35571271 fired transitions, 1515 secs || 19686455 markings, 19928231 edges, 12803 markings/sec, 1515 secs
lola: 36 tries, 35697229 fired transitions, 1520 secs || 19751558 markings, 19994640 edges, 13021 markings/sec, 1520 secs
lola: 36 tries, 35822598 fired transitions, 1525 secs || 19816269 markings, 20060454 edges, 12942 markings/sec, 1525 secs
lola: 36 tries, 35948957 fired transitions, 1530 secs || 19879727 markings, 20125193 edges, 12692 markings/sec, 1530 secs
lola: 37 tries, 36071823 fired transitions, 1535 secs || 19944527 markings, 20190992 edges, 12960 markings/sec, 1535 secs
lola: 37 tries, 36193591 fired transitions, 1540 secs || 20009669 markings, 20257200 edges, 13028 markings/sec, 1540 secs
lola: 37 tries, 36316833 fired transitions, 1545 secs || 20074477 markings, 20323420 edges, 12962 markings/sec, 1545 secs
lola: 37 tries, 36436484 fired transitions, 1550 secs || 20140728 markings, 20391009 edges, 13250 markings/sec, 1550 secs
lola: 37 tries, 36546287 fired transitions, 1555 secs || 20208630 markings, 20459355 edges, 13580 markings/sec, 1555 secs
lola: 37 tries, 36659745 fired transitions, 1560 secs || 20274907 markings, 20526077 edges, 13255 markings/sec, 1560 secs
lola: 37 tries, 36769561 fired transitions, 1565 secs || 20342591 markings, 20594203 edges, 13537 markings/sec, 1565 secs
lola: 37 tries, 36879315 fired transitions, 1570 secs || 20410063 markings, 20662104 edges, 13494 markings/sec, 1570 secs
lola: 37 tries, 36987445 fired transitions, 1575 secs || 20477754 markings, 20730229 edges, 13538 markings/sec, 1575 secs
lola: 38 tries, 37100027 fired transitions, 1580 secs || 20544887 markings, 20797829 edges, 13427 markings/sec, 1580 secs
lola: 38 tries, 37211423 fired transitions, 1585 secs || 20612283 markings, 20865697 edges, 13479 markings/sec, 1585 secs
lola: 38 tries, 37321704 fired transitions, 1590 secs || 20679325 markings, 20933158 edges, 13408 markings/sec, 1590 secs
lola: 38 tries, 37433337 fired transitions, 1595 secs || 20746657 markings, 21000914 edges, 13466 markings/sec, 1595 secs
lola: 38 tries, 37545743 fired transitions, 1600 secs || 20814276 markings, 21069138 edges, 13524 markings/sec, 1600 secs
lola: 38 tries, 37665248 fired transitions, 1605 secs || 20876037 markings, 21131801 edges, 12352 markings/sec, 1605 secs
lola: 38 tries, 37785731 fired transitions, 1610 secs || 20938023 markings, 21194964 edges, 12397 markings/sec, 1610 secs
lola: 38 tries, 37906039 fired transitions, 1615 secs || 20999138 markings, 21257608 edges, 12223 markings/sec, 1615 secs
lola: 39 tries, 38029755 fired transitions, 1620 secs || 21062877 markings, 21322429 edges, 12748 markings/sec, 1620 secs
lola: 39 tries, 38153384 fired transitions, 1625 secs || 21125193 markings, 21385985 edges, 12463 markings/sec, 1625 secs
lola: 39 tries, 38278442 fired transitions, 1630 secs || 21188055 markings, 21451021 edges, 12572 markings/sec, 1630 secs
lola: 39 tries, 38403645 fired transitions, 1635 secs || 21250804 markings, 21515188 edges, 12550 markings/sec, 1635 secs
lola: 39 tries, 38529396 fired transitions, 1640 secs || 21314124 markings, 21579519 edges, 12664 markings/sec, 1640 secs
lola: 39 tries, 38654993 fired transitions, 1645 secs || 21379527 markings, 21646550 edges, 13081 markings/sec, 1645 secs
lola: 39 tries, 38780866 fired transitions, 1650 secs || 21444389 markings, 21712649 edges, 12972 markings/sec, 1650 secs
lola: 39 tries, 38905861 fired transitions, 1655 secs || 21509722 markings, 21779174 edges, 13067 markings/sec, 1655 secs
lola: 40 tries, 39029814 fired transitions, 1660 secs || 21575293 markings, 21845874 edges, 13114 markings/sec, 1660 secs
lola: 40 tries, 39144057 fired transitions, 1665 secs || 21640966 markings, 21912548 edges, 13135 markings/sec, 1665 secs
lola: 40 tries, 39258264 fired transitions, 1670 secs || 21707160 markings, 21979842 edges, 13239 markings/sec, 1670 secs
lola: 40 tries, 39373168 fired transitions, 1675 secs || 21773478 markings, 22047419 edges, 13264 markings/sec, 1675 secs
lola: 40 tries, 39487811 fired transitions, 1680 secs || 21839667 markings, 22115110 edges, 13238 markings/sec, 1680 secs
lola: 40 tries, 39602285 fired transitions, 1685 secs || 21904639 markings, 22181130 edges, 12994 markings/sec, 1685 secs
lola: 40 tries, 39718442 fired transitions, 1690 secs || 21968379 markings, 22246010 edges, 12748 markings/sec, 1690 secs
lola: 40 tries, 39833094 fired transitions, 1695 secs || 22032446 markings, 22311198 edges, 12813 markings/sec, 1695 secs
lola: 40 tries, 39947651 fired transitions, 1700 secs || 22097192 markings, 22377517 edges, 12949 markings/sec, 1700 secs
lola: 41 tries, 40067392 fired transitions, 1705 secs || 22163251 markings, 22444976 edges, 13212 markings/sec, 1705 secs
lola: 41 tries, 40193463 fired transitions, 1710 secs || 22227568 markings, 22511051 edges, 12863 markings/sec, 1710 secs
lola: 41 tries, 40318560 fired transitions, 1715 secs || 22292423 markings, 22576968 edges, 12971 markings/sec, 1715 secs
lola: 41 tries, 40444391 fired transitions, 1720 secs || 22356715 markings, 22642641 edges, 12858 markings/sec, 1720 secs
lola: 41 tries, 40569994 fired transitions, 1725 secs || 22423506 markings, 22710227 edges, 13358 markings/sec, 1725 secs
lola: 41 tries, 40687816 fired transitions, 1730 secs || 22490911 markings, 22778075 edges, 13481 markings/sec, 1730 secs
lola: 41 tries, 40809253 fired transitions, 1735 secs || 22557382 markings, 22845500 edges, 13294 markings/sec, 1735 secs
lola: 41 tries, 40936314 fired transitions, 1740 secs || 22621591 markings, 22910877 edges, 12842 markings/sec, 1740 secs
lola: 42 tries, 41059088 fired transitions, 1745 secs || 22686749 markings, 22977197 edges, 13032 markings/sec, 1745 secs
lola: 42 tries, 41181147 fired transitions, 1750 secs || 22752662 markings, 23044217 edges, 13183 markings/sec, 1750 secs
lola: 42 tries, 41303583 fired transitions, 1755 secs || 22816073 markings, 23108795 edges, 12682 markings/sec, 1755 secs
lola: 42 tries, 41426623 fired transitions, 1760 secs || 22879594 markings, 23173695 edges, 12704 markings/sec, 1760 secs
lola: 42 tries, 41549974 fired transitions, 1765 secs || 22943984 markings, 23239046 edges, 12878 markings/sec, 1765 secs
lola: 42 tries, 41673786 fired transitions, 1770 secs || 23009086 markings, 23305334 edges, 13020 markings/sec, 1770 secs
lola: 42 tries, 41798432 fired transitions, 1775 secs || 23074434 markings, 23371829 edges, 13070 markings/sec, 1775 secs
lola: 42 tries, 41922835 fired transitions, 1780 secs || 23139021 markings, 23437931 edges, 12917 markings/sec, 1780 secs
lola: 43 tries, 42045905 fired transitions, 1785 secs || 23203959 markings, 23503999 edges, 12988 markings/sec, 1785 secs
lola: 43 tries, 42168758 fired transitions, 1790 secs || 23269143 markings, 23570161 edges, 13037 markings/sec, 1790 secs
lola: 43 tries, 42291973 fired transitions, 1795 secs || 23333783 markings, 23636169 edges, 12928 markings/sec, 1795 secs
lola: 43 tries, 42411342 fired transitions, 1800 secs || 23398832 markings, 23702763 edges, 13010 markings/sec, 1800 secs
lola: 43 tries, 42527013 fired transitions, 1805 secs || 23460749 markings, 23765910 edges, 12383 markings/sec, 1805 secs
lola: 43 tries, 42649632 fired transitions, 1810 secs || 23525989 markings, 23832637 edges, 13048 markings/sec, 1810 secs
lola: 43 tries, 42770927 fired transitions, 1815 secs || 23589612 markings, 23897249 edges, 12725 markings/sec, 1815 secs
lola: 43 tries, 42888272 fired transitions, 1820 secs || 23649941 markings, 23958621 edges, 12066 markings/sec, 1820 secs
lola: 44 tries, 43005736 fired transitions, 1825 secs || 23711300 markings, 24021171 edges, 12272 markings/sec, 1825 secs
lola: 44 tries, 43124861 fired transitions, 1830 secs || 23773612 markings, 24084722 edges, 12462 markings/sec, 1830 secs
lola: 44 tries, 43245762 fired transitions, 1835 secs || 23836243 markings, 24148967 edges, 12526 markings/sec, 1835 secs
lola: 44 tries, 43365670 fired transitions, 1840 secs || 23898628 markings, 24212715 edges, 12477 markings/sec, 1840 secs
lola: 44 tries, 43485646 fired transitions, 1845 secs || 23960804 markings, 24276416 edges, 12435 markings/sec, 1845 secs
lola: 44 tries, 43606879 fired transitions, 1850 secs || 24022989 markings, 24339919 edges, 12437 markings/sec, 1850 secs
lola: 44 tries, 43727756 fired transitions, 1855 secs || 24084406 markings, 24402477 edges, 12283 markings/sec, 1855 secs
lola: 44 tries, 43848449 fired transitions, 1860 secs || 24147973 markings, 24466735 edges, 12713 markings/sec, 1860 secs
lola: 44 tries, 43969178 fired transitions, 1865 secs || 24211807 markings, 24531527 edges, 12767 markings/sec, 1865 secs
lola: 45 tries, 44087974 fired transitions, 1870 secs || 24270945 markings, 24591874 edges, 11828 markings/sec, 1870 secs
lola: 45 tries, 44208054 fired transitions, 1875 secs || 24332280 markings, 24654366 edges, 12267 markings/sec, 1875 secs
lola: 45 tries, 44328085 fired transitions, 1880 secs || 24394189 markings, 24717415 edges, 12382 markings/sec, 1880 secs
lola: 45 tries, 44449496 fired transitions, 1885 secs || 24458815 markings, 24783314 edges, 12925 markings/sec, 1885 secs
lola: 45 tries, 44573902 fired transitions, 1890 secs || 24524195 markings, 24849794 edges, 13076 markings/sec, 1890 secs
lola: 45 tries, 44697899 fired transitions, 1895 secs || 24589170 markings, 24916011 edges, 12995 markings/sec, 1895 secs
lola: 45 tries, 44821808 fired transitions, 1900 secs || 24653936 markings, 24981982 edges, 12953 markings/sec, 1900 secs
lola: 45 tries, 44939717 fired transitions, 1905 secs || 24719762 markings, 25048480 edges, 13165 markings/sec, 1905 secs
lola: 46 tries, 45063725 fired transitions, 1910 secs || 24785090 markings, 25114831 edges, 13066 markings/sec, 1910 secs
lola: 46 tries, 45186930 fired transitions, 1915 secs || 24850895 markings, 25181782 edges, 13161 markings/sec, 1915 secs
lola: 46 tries, 45311013 fired transitions, 1920 secs || 24914718 markings, 25246598 edges, 12765 markings/sec, 1920 secs
lola: 46 tries, 45434589 fired transitions, 1925 secs || 24978451 markings, 25311509 edges, 12747 markings/sec, 1925 secs
lola: 46 tries, 45559549 fired transitions, 1930 secs || 25043234 markings, 25377516 edges, 12957 markings/sec, 1930 secs
lola: 46 tries, 45682838 fired transitions, 1935 secs || 25105971 markings, 25441418 edges, 12547 markings/sec, 1935 secs
lola: 46 tries, 45806666 fired transitions, 1940 secs || 25169911 markings, 25506533 edges, 12788 markings/sec, 1940 secs
lola: 46 tries, 45930518 fired transitions, 1945 secs || 25234145 markings, 25572072 edges, 12847 markings/sec, 1945 secs
lola: 47 tries, 46054110 fired transitions, 1950 secs || 25297216 markings, 25636192 edges, 12614 markings/sec, 1950 secs
lola: 47 tries, 46176666 fired transitions, 1955 secs || 25360977 markings, 25701344 edges, 12752 markings/sec, 1955 secs
lola: 47 tries, 46300595 fired transitions, 1960 secs || 25424893 markings, 25766815 edges, 12783 markings/sec, 1960 secs
lola: 47 tries, 46426219 fired transitions, 1965 secs || 25490110 markings, 25833355 edges, 13043 markings/sec, 1965 secs
lola: 47 tries, 46551351 fired transitions, 1970 secs || 25554390 markings, 25899090 edges, 12856 markings/sec, 1970 secs
lola: 47 tries, 46674678 fired transitions, 1975 secs || 25618276 markings, 25964334 edges, 12777 markings/sec, 1975 secs
lola: 47 tries, 46797985 fired transitions, 1980 secs || 25682511 markings, 26029764 edges, 12847 markings/sec, 1980 secs
lola: 47 tries, 46921973 fired transitions, 1985 secs || 25746925 markings, 26095248 edges, 12883 markings/sec, 1985 secs
lola: 48 tries, 47044679 fired transitions, 1990 secs || 25811708 markings, 26161239 edges, 12957 markings/sec, 1990 secs
lola: 48 tries, 47169396 fired transitions, 1995 secs || 25877189 markings, 26228004 edges, 13096 markings/sec, 1995 secs
lola: 48 tries, 47295200 fired transitions, 2000 secs || 25941465 markings, 26293677 edges, 12855 markings/sec, 2000 secs
lola: 48 tries, 47420021 fired transitions, 2005 secs || 26004364 markings, 26357664 edges, 12580 markings/sec, 2005 secs
lola: 48 tries, 47543729 fired transitions, 2010 secs || 26066796 markings, 26420977 edges, 12486 markings/sec, 2010 secs
lola: 48 tries, 47666608 fired transitions, 2015 secs || 26128342 markings, 26483565 edges, 12309 markings/sec, 2015 secs
lola: 48 tries, 47790060 fired transitions, 2020 secs || 26190164 markings, 26546491 edges, 12364 markings/sec, 2020 secs
lola: 48 tries, 47914045 fired transitions, 2025 secs || 26252336 markings, 26609798 edges, 12434 markings/sec, 2025 secs
lola: 49 tries, 48037754 fired transitions, 2030 secs || 26315445 markings, 26674171 edges, 12622 markings/sec, 2030 secs
lola: 49 tries, 48159340 fired transitions, 2035 secs || 26377839 markings, 26737925 edges, 12479 markings/sec, 2035 secs
lola: 49 tries, 48284459 fired transitions, 2040 secs || 26442270 markings, 26803759 edges, 12886 markings/sec, 2040 secs
lola: 49 tries, 48406871 fired transitions, 2045 secs || 26505655 markings, 26868085 edges, 12677 markings/sec, 2045 secs
lola: 49 tries, 48530154 fired transitions, 2050 secs || 26569837 markings, 26933300 edges, 12836 markings/sec, 2050 secs
lola: 49 tries, 48653659 fired transitions, 2055 secs || 26633355 markings, 26997739 edges, 12704 markings/sec, 2055 secs
lola: 49 tries, 48776909 fired transitions, 2060 secs || 26698301 markings, 27063857 edges, 12989 markings/sec, 2060 secs
lola: 49 tries, 48900785 fired transitions, 2065 secs || 26761334 markings, 27127816 edges, 12607 markings/sec, 2065 secs
lola: 50 tries, 49023863 fired transitions, 2070 secs || 26824439 markings, 27192110 edges, 12621 markings/sec, 2070 secs
lola: 50 tries, 49144930 fired transitions, 2075 secs || 26885592 markings, 27254836 edges, 12231 markings/sec, 2075 secs
lola: 50 tries, 49261895 fired transitions, 2080 secs || 26946232 markings, 27316622 edges, 12128 markings/sec, 2080 secs
lola: 50 tries, 49376090 fired transitions, 2085 secs || 27008242 markings, 27379617 edges, 12402 markings/sec, 2085 secs
lola: 50 tries, 49497101 fired transitions, 2090 secs || 27072001 markings, 27444604 edges, 12752 markings/sec, 2090 secs
lola: 50 tries, 49618250 fired transitions, 2095 secs || 27134940 markings, 27508716 edges, 12588 markings/sec, 2095 secs
lola: 50 tries, 49739593 fired transitions, 2100 secs || 27198821 markings, 27573638 edges, 12776 markings/sec, 2100 secs
lola: 50 tries, 49860556 fired transitions, 2105 secs || 27262411 markings, 27638742 edges, 12718 markings/sec, 2105 secs
lola: 50 tries, 49983439 fired transitions, 2110 secs || 27325028 markings, 27702653 edges, 12523 markings/sec, 2110 secs
lola: 51 tries, 50107125 fired transitions, 2115 secs || 27390321 markings, 27769113 edges, 13059 markings/sec, 2115 secs
lola: 51 tries, 50231508 fired transitions, 2120 secs || 27454629 markings, 27834537 edges, 12862 markings/sec, 2120 secs
lola: 51 tries, 50356068 fired transitions, 2125 secs || 27517618 markings, 27898605 edges, 12598 markings/sec, 2125 secs
lola: 51 tries, 50480222 fired transitions, 2130 secs || 27581227 markings, 27963434 edges, 12722 markings/sec, 2130 secs
lola: 51 tries, 50604299 fired transitions, 2135 secs || 27644264 markings, 28027591 edges, 12607 markings/sec, 2135 secs
lola: 51 tries, 50730524 fired transitions, 2140 secs || 27707930 markings, 28092547 edges, 12733 markings/sec, 2140 secs
lola: 51 tries, 50855961 fired transitions, 2145 secs || 27771115 markings, 28156927 edges, 12637 markings/sec, 2145 secs
lola: 51 tries, 50980527 fired transitions, 2150 secs || 27833423 markings, 28220490 edges, 12462 markings/sec, 2150 secs
lola: 52 tries, 51101742 fired transitions, 2155 secs || 27895612 markings, 28283744 edges, 12438 markings/sec, 2155 secs
lola: 52 tries, 51224487 fired transitions, 2160 secs || 27958230 markings, 28347428 edges, 12524 markings/sec, 2160 secs
lola: 52 tries, 51349205 fired transitions, 2165 secs || 28020694 markings, 28410980 edges, 12493 markings/sec, 2165 secs
lola: 52 tries, 51474159 fired transitions, 2170 secs || 28083225 markings, 28474625 edges, 12506 markings/sec, 2170 secs
lola: 52 tries, 51599030 fired transitions, 2175 secs || 28146250 markings, 28538857 edges, 12605 markings/sec, 2175 secs
lola: 52 tries, 51726212 fired transitions, 2180 secs || 28211222 markings, 28604880 edges, 12994 markings/sec, 2180 secs
lola: 52 tries, 51853030 fired transitions, 2185 secs || 28276250 markings, 28670777 edges, 13006 markings/sec, 2185 secs
lola: 52 tries, 51979607 fired transitions, 2190 secs || 28341408 markings, 28737066 edges, 13032 markings/sec, 2190 secs
lola: 53 tries, 52090560 fired transitions, 2195 secs || 28407464 markings, 28804126 edges, 13211 markings/sec, 2195 secs
lola: 53 tries, 52211668 fired transitions, 2200 secs || 28470814 markings, 28868301 edges, 12670 markings/sec, 2200 secs
lola: 53 tries, 52332465 fired transitions, 2205 secs || 28535509 markings, 28934223 edges, 12939 markings/sec, 2205 secs
lola: 53 tries, 52453845 fired transitions, 2210 secs || 28599601 markings, 28999525 edges, 12818 markings/sec, 2210 secs
lola: 53 tries, 52575810 fired transitions, 2215 secs || 28662934 markings, 29064473 edges, 12667 markings/sec, 2215 secs
lola: 53 tries, 52697970 fired transitions, 2220 secs || 28726013 markings, 29128618 edges, 12616 markings/sec, 2220 secs
lola: 53 tries, 52822201 fired transitions, 2225 secs || 28790856 markings, 29194748 edges, 12969 markings/sec, 2225 secs
lola: 53 tries, 52944767 fired transitions, 2230 secs || 28856955 markings, 29262057 edges, 13220 markings/sec, 2230 secs
lola: 54 tries, 53062330 fired transitions, 2235 secs || 28923618 markings, 29329687 edges, 13333 markings/sec, 2235 secs
lola: 54 tries, 53185252 fired transitions, 2240 secs || 28986889 markings, 29393987 edges, 12654 markings/sec, 2240 secs
lola: 54 tries, 53308805 fired transitions, 2245 secs || 29048211 markings, 29456471 edges, 12264 markings/sec, 2245 secs
lola: 54 tries, 53433205 fired transitions, 2250 secs || 29109696 markings, 29519040 edges, 12297 markings/sec, 2250 secs
lola: 54 tries, 53558409 fired transitions, 2255 secs || 29171883 markings, 29582224 edges, 12437 markings/sec, 2255 secs
lola: 54 tries, 53684129 fired transitions, 2260 secs || 29234493 markings, 29645853 edges, 12522 markings/sec, 2260 secs
lola: 54 tries, 53809812 fired transitions, 2265 secs || 29297364 markings, 29709776 edges, 12574 markings/sec, 2265 secs
lola: 54 tries, 53925311 fired transitions, 2270 secs || 29363240 markings, 29776330 edges, 13175 markings/sec, 2270 secs
lola: 55 tries, 54048284 fired transitions, 2275 secs || 29424702 markings, 29838865 edges, 12292 markings/sec, 2275 secs
lola: 55 tries, 54170518 fired transitions, 2280 secs || 29485417 markings, 29900499 edges, 12143 markings/sec, 2280 secs
lola: 55 tries, 54287587 fired transitions, 2285 secs || 29549005 markings, 29964920 edges, 12718 markings/sec, 2285 secs
lola: 55 tries, 54395474 fired transitions, 2290 secs || 29617730 markings, 30034142 edges, 13745 markings/sec, 2290 secs
lola: 55 tries, 54507883 fired transitions, 2295 secs || 29682717 markings, 30099514 edges, 12997 markings/sec, 2295 secs
lola: 55 tries, 54619957 fired transitions, 2300 secs || 29748264 markings, 30165392 edges, 13109 markings/sec, 2300 secs
lola: 55 tries, 54728846 fired transitions, 2305 secs || 29815918 markings, 30233483 edges, 13531 markings/sec, 2305 secs
lola: 55 tries, 54840671 fired transitions, 2310 secs || 29882260 markings, 30300277 edges, 13268 markings/sec, 2310 secs
lola: 55 tries, 54954550 fired transitions, 2315 secs || 29947721 markings, 30366082 edges, 13092 markings/sec, 2315 secs
lola: 56 tries, 55068775 fired transitions, 2320 secs || 30012384 markings, 30431157 edges, 12933 markings/sec, 2320 secs
lola: 56 tries, 55177967 fired transitions, 2325 secs || 30080104 markings, 30499363 edges, 13544 markings/sec, 2325 secs
lola: 56 tries, 55285010 fired transitions, 2330 secs || 30148589 markings, 30568332 edges, 13697 markings/sec, 2330 secs
lola: 56 tries, 55395191 fired transitions, 2335 secs || 30213925 markings, 30634034 edges, 13067 markings/sec, 2335 secs
lola: 56 tries, 55504530 fired transitions, 2340 secs || 30281562 markings, 30702114 edges, 13527 markings/sec, 2340 secs
lola: 56 tries, 55617392 fired transitions, 2345 secs || 30349228 markings, 30770246 edges, 13533 markings/sec, 2345 secs
lola: 56 tries, 55733241 fired transitions, 2350 secs || 30417241 markings, 30838812 edges, 13603 markings/sec, 2350 secs
lola: 56 tries, 55848296 fired transitions, 2355 secs || 30484794 markings, 30906878 edges, 13511 markings/sec, 2355 secs
lola: 56 tries, 55964457 fired transitions, 2360 secs || 30551149 markings, 30973719 edges, 13271 markings/sec, 2360 secs
lola: 57 tries, 56077232 fired transitions, 2365 secs || 30618306 markings, 31041293 edges, 13431 markings/sec, 2365 secs
lola: 57 tries, 56188924 fired transitions, 2370 secs || 30687737 markings, 31111208 edges, 13886 markings/sec, 2370 secs
lola: 57 tries, 56300518 fired transitions, 2375 secs || 30756108 markings, 31180039 edges, 13674 markings/sec, 2375 secs
lola: 57 tries, 56415634 fired transitions, 2380 secs || 30824397 markings, 31248719 edges, 13658 markings/sec, 2380 secs
lola: 57 tries, 56529323 fired transitions, 2385 secs || 30893253 markings, 31318019 edges, 13771 markings/sec, 2385 secs
lola: 57 tries, 56642775 fired transitions, 2390 secs || 30962347 markings, 31387603 edges, 13819 markings/sec, 2390 secs
lola: 57 tries, 56758759 fired transitions, 2395 secs || 31030773 markings, 31456422 edges, 13685 markings/sec, 2395 secs
lola: 57 tries, 56873504 fired transitions, 2400 secs || 31098882 markings, 31524873 edges, 13622 markings/sec, 2400 secs
lola: 57 tries, 56989812 fired transitions, 2405 secs || 31166858 markings, 31593196 edges, 13595 markings/sec, 2405 secs
lola: 58 tries, 57105644 fired transitions, 2410 secs || 31235146 markings, 31662003 edges, 13658 markings/sec, 2410 secs
lola: 58 tries, 57220921 fired transitions, 2415 secs || 31303805 markings, 31731214 edges, 13732 markings/sec, 2415 secs
lola: 58 tries, 57337978 fired transitions, 2420 secs || 31372141 markings, 31800047 edges, 13667 markings/sec, 2420 secs
lola: 58 tries, 57454738 fired transitions, 2425 secs || 31440262 markings, 31868677 edges, 13624 markings/sec, 2425 secs
lola: 58 tries, 57573896 fired transitions, 2430 secs || 31506471 markings, 31935630 edges, 13242 markings/sec, 2430 secs
lola: 58 tries, 57700405 fired transitions, 2435 secs || 31570120 markings, 32000454 edges, 12730 markings/sec, 2435 secs
lola: 58 tries, 57826151 fired transitions, 2440 secs || 31633431 markings, 32064832 edges, 12662 markings/sec, 2440 secs
lola: 58 tries, 57948207 fired transitions, 2445 secs || 31697058 markings, 32129275 edges, 12725 markings/sec, 2445 secs
lola: 59 tries, 58070367 fired transitions, 2450 secs || 31758733 markings, 32191849 edges, 12335 markings/sec, 2450 secs
lola: 59 tries, 58193125 fired transitions, 2455 secs || 31822990 markings, 32257516 edges, 12851 markings/sec, 2455 secs
lola: 59 tries, 58315520 fired transitions, 2460 secs || 31887449 markings, 32323304 edges, 12892 markings/sec, 2460 secs
lola: 59 tries, 58438631 fired transitions, 2465 secs || 31952617 markings, 32390100 edges, 13034 markings/sec, 2465 secs
lola: 59 tries, 58562444 fired transitions, 2470 secs || 32018239 markings, 32457085 edges, 13124 markings/sec, 2470 secs
lola: 59 tries, 58685105 fired transitions, 2475 secs || 32083008 markings, 32522926 edges, 12954 markings/sec, 2475 secs
lola: 59 tries, 58808145 fired transitions, 2480 secs || 32146311 markings, 32587385 edges, 12661 markings/sec, 2480 secs
lola: 59 tries, 58929914 fired transitions, 2485 secs || 32210020 markings, 32652415 edges, 12742 markings/sec, 2485 secs
lola: 60 tries, 59045285 fired transitions, 2490 secs || 32275139 markings, 32718925 edges, 13024 markings/sec, 2490 secs
lola: 60 tries, 59166245 fired transitions, 2495 secs || 32339613 markings, 32784504 edges, 12895 markings/sec, 2495 secs
lola: 60 tries, 59281495 fired transitions, 2500 secs || 32407428 markings, 32852739 edges, 13563 markings/sec, 2500 secs
lola: 60 tries, 59403516 fired transitions, 2505 secs || 32468332 markings, 32914780 edges, 12181 markings/sec, 2505 secs
lola: 60 tries, 59523196 fired transitions, 2510 secs || 32528803 markings, 32976314 edges, 12094 markings/sec, 2510 secs
lola: 60 tries, 59647874 fired transitions, 2515 secs || 32592652 markings, 33041647 edges, 12770 markings/sec, 2515 secs
lola: 60 tries, 59771972 fired transitions, 2520 secs || 32656371 markings, 33106949 edges, 12744 markings/sec, 2520 secs
lola: 60 tries, 59897104 fired transitions, 2525 secs || 32721382 markings, 33173362 edges, 13002 markings/sec, 2525 secs
lola: 61 tries, 60023440 fired transitions, 2530 secs || 32787032 markings, 33240394 edges, 13130 markings/sec, 2530 secs
lola: 61 tries, 60148871 fired transitions, 2535 secs || 32852753 markings, 33307169 edges, 13144 markings/sec, 2535 secs
lola: 61 tries, 60272521 fired transitions, 2540 secs || 32917229 markings, 33372997 edges, 12895 markings/sec, 2540 secs
lola: 61 tries, 60397357 fired transitions, 2545 secs || 32981605 markings, 33438701 edges, 12875 markings/sec, 2545 secs
lola: 61 tries, 60521280 fired transitions, 2550 secs || 33044313 markings, 33502480 edges, 12542 markings/sec, 2550 secs
lola: 61 tries, 60644681 fired transitions, 2555 secs || 33108541 markings, 33568604 edges, 12846 markings/sec, 2555 secs
lola: 61 tries, 60769149 fired transitions, 2560 secs || 33170335 markings, 33631878 edges, 12359 markings/sec, 2560 secs
lola: 61 tries, 60895007 fired transitions, 2565 secs || 33232466 markings, 33695172 edges, 12426 markings/sec, 2565 secs
lola: 62 tries, 61006874 fired transitions, 2570 secs || 33294383 markings, 33758184 edges, 12383 markings/sec, 2570 secs
lola: 62 tries, 61129952 fired transitions, 2575 secs || 33357179 markings, 33822362 edges, 12559 markings/sec, 2575 secs
lola: 62 tries, 61252832 fired transitions, 2580 secs || 33420129 markings, 33886664 edges, 12590 markings/sec, 2580 secs
lola: 62 tries, 61376601 fired transitions, 2585 secs || 33482749 markings, 33950485 edges, 12524 markings/sec, 2585 secs
lola: 62 tries, 61501051 fired transitions, 2590 secs || 33545805 markings, 34014662 edges, 12611 markings/sec, 2590 secs
lola: 62 tries, 61625484 fired transitions, 2595 secs || 33608518 markings, 34078641 edges, 12543 markings/sec, 2595 secs
lola: 62 tries, 61749250 fired transitions, 2600 secs || 33671486 markings, 34142668 edges, 12594 markings/sec, 2600 secs
lola: 62 tries, 61871395 fired transitions, 2605 secs || 33732964 markings, 34205238 edges, 12296 markings/sec, 2605 secs
lola: 62 tries, 61992625 fired transitions, 2610 secs || 33794916 markings, 34268355 edges, 12390 markings/sec, 2610 secs
lola: 63 tries, 62116214 fired transitions, 2615 secs || 33859124 markings, 34334096 edges, 12842 markings/sec, 2615 secs
lola: 63 tries, 62241146 fired transitions, 2620 secs || 33923159 markings, 34399769 edges, 12807 markings/sec, 2620 secs
lola: 63 tries, 62365979 fired transitions, 2625 secs || 33987395 markings, 34465191 edges, 12847 markings/sec, 2625 secs
lola: 63 tries, 62491594 fired transitions, 2630 secs || 34052365 markings, 34531069 edges, 12994 markings/sec, 2630 secs
lola: 63 tries, 62617120 fired transitions, 2635 secs || 34116929 markings, 34596809 edges, 12913 markings/sec, 2635 secs
lola: 63 tries, 62742165 fired transitions, 2640 secs || 34181984 markings, 34662807 edges, 13011 markings/sec, 2640 secs
lola: 63 tries, 62862400 fired transitions, 2645 secs || 34241133 markings, 34722743 edges, 11830 markings/sec, 2645 secs
lola: 63 tries, 62980068 fired transitions, 2650 secs || 34300297 markings, 34783095 edges, 11833 markings/sec, 2650 secs
lola: 64 tries, 63097158 fired transitions, 2655 secs || 34361074 markings, 34845142 edges, 12155 markings/sec, 2655 secs
lola: 64 tries, 63213685 fired transitions, 2660 secs || 34423206 markings, 34908720 edges, 12426 markings/sec, 2660 secs
lola: 64 tries, 63332165 fired transitions, 2665 secs || 34484960 markings, 34971590 edges, 12351 markings/sec, 2665 secs
lola: 64 tries, 63448699 fired transitions, 2670 secs || 34545894 markings, 35033999 edges, 12187 markings/sec, 2670 secs
lola: 64 tries, 63565982 fired transitions, 2675 secs || 34607120 markings, 35096894 edges, 12245 markings/sec, 2675 secs
lola: 64 tries, 63685276 fired transitions, 2680 secs || 34669299 markings, 35160153 edges, 12436 markings/sec, 2680 secs
lola: 64 tries, 63804630 fired transitions, 2685 secs || 34730816 markings, 35222663 edges, 12303 markings/sec, 2685 secs
lola: 64 tries, 63922520 fired transitions, 2690 secs || 34791540 markings, 35284881 edges, 12145 markings/sec, 2690 secs
lola: 65 tries, 64025389 fired transitions, 2695 secs || 34851811 markings, 35346914 edges, 12054 markings/sec, 2695 secs
lola: 65 tries, 64140234 fired transitions, 2700 secs || 34911819 markings, 35408178 edges, 12002 markings/sec, 2700 secs
lola: 65 tries, 64257789 fired transitions, 2705 secs || 34971949 markings, 35469475 edges, 12026 markings/sec, 2705 secs
lola: 65 tries, 64375229 fired transitions, 2710 secs || 35033916 markings, 35532356 edges, 12393 markings/sec, 2710 secs
lola: 65 tries, 64492071 fired transitions, 2715 secs || 35093602 markings, 35593156 edges, 11937 markings/sec, 2715 secs
lola: 65 tries, 64610041 fired transitions, 2720 secs || 35155089 markings, 35655780 edges, 12297 markings/sec, 2720 secs
lola: 65 tries, 64727197 fired transitions, 2725 secs || 35216956 markings, 35718648 edges, 12373 markings/sec, 2725 secs
lola: 65 tries, 64844077 fired transitions, 2730 secs || 35277983 markings, 35780894 edges, 12205 markings/sec, 2730 secs
lola: 65 tries, 64961869 fired transitions, 2735 secs || 35338078 markings, 35841977 edges, 12019 markings/sec, 2735 secs
lola: 66 tries, 65078352 fired transitions, 2740 secs || 35398483 markings, 35903705 edges, 12081 markings/sec, 2740 secs
lola: 66 tries, 65193509 fired transitions, 2745 secs || 35459793 markings, 35966476 edges, 12262 markings/sec, 2745 secs
lola: 66 tries, 65311439 fired transitions, 2750 secs || 35521478 markings, 36029355 edges, 12337 markings/sec, 2750 secs
lola: 66 tries, 65431196 fired transitions, 2755 secs || 35581644 markings, 36090906 edges, 12033 markings/sec, 2755 secs
lola: 66 tries, 65552639 fired transitions, 2760 secs || 35643147 markings, 36153682 edges, 12301 markings/sec, 2760 secs
lola: 66 tries, 65674274 fired transitions, 2765 secs || 35706020 markings, 36217657 edges, 12575 markings/sec, 2765 secs
lola: 66 tries, 65795975 fired transitions, 2770 secs || 35768031 markings, 36280310 edges, 12402 markings/sec, 2770 secs
lola: 66 tries, 65918037 fired transitions, 2775 secs || 35831040 markings, 36344571 edges, 12602 markings/sec, 2775 secs
lola: 67 tries, 66035568 fired transitions, 2780 secs || 35889523 markings, 36404459 edges, 11697 markings/sec, 2780 secs
lola: 67 tries, 66150549 fired transitions, 2785 secs || 35949133 markings, 36465357 edges, 11922 markings/sec, 2785 secs
lola: 67 tries, 66266990 fired transitions, 2790 secs || 36009176 markings, 36526411 edges, 12009 markings/sec, 2790 secs
lola: 67 tries, 66384684 fired transitions, 2795 secs || 36070213 markings, 36588721 edges, 12207 markings/sec, 2795 secs
lola: 67 tries, 66502468 fired transitions, 2800 secs || 36129571 markings, 36649310 edges, 11872 markings/sec, 2800 secs
lola: 67 tries, 66620429 fired transitions, 2805 secs || 36190465 markings, 36711846 edges, 12179 markings/sec, 2805 secs
lola: 67 tries, 66737087 fired transitions, 2810 secs || 36247623 markings, 36770410 edges, 11432 markings/sec, 2810 secs
lola: 67 tries, 66855010 fired transitions, 2815 secs || 36305371 markings, 36829434 edges, 11550 markings/sec, 2815 secs
lola: 67 tries, 66971807 fired transitions, 2820 secs || 36364686 markings, 36889894 edges, 11863 markings/sec, 2820 secs
lola: 68 tries, 67089476 fired transitions, 2825 secs || 36425185 markings, 36951415 edges, 12100 markings/sec, 2825 secs
lola: 68 tries, 67204611 fired transitions, 2830 secs || 36489693 markings, 37016673 edges, 12902 markings/sec, 2830 secs
lola: 68 tries, 67315008 fired transitions, 2835 secs || 36556412 markings, 37083951 edges, 13344 markings/sec, 2835 secs
lola: 68 tries, 67425500 fired transitions, 2840 secs || 36622737 markings, 37150785 edges, 13265 markings/sec, 2840 secs
lola: 68 tries, 67535989 fired transitions, 2845 secs || 36690365 markings, 37218943 edges, 13526 markings/sec, 2845 secs
lola: 68 tries, 67647266 fired transitions, 2850 secs || 36758193 markings, 37287301 edges, 13566 markings/sec, 2850 secs
lola: 68 tries, 67753432 fired transitions, 2855 secs || 36826935 markings, 37356461 edges, 13748 markings/sec, 2855 secs
lola: 68 tries, 67864060 fired transitions, 2860 secs || 36895472 markings, 37425370 edges, 13707 markings/sec, 2860 secs
lola: 68 tries, 67976048 fired transitions, 2865 secs || 36964995 markings, 37495313 edges, 13905 markings/sec, 2865 secs
lola: 69 tries, 68087801 fired transitions, 2870 secs || 37034876 markings, 37565635 edges, 13976 markings/sec, 2870 secs
lola: 69 tries, 68199943 fired transitions, 2875 secs || 37104303 markings, 37635508 edges, 13885 markings/sec, 2875 secs
lola: 69 tries, 68312372 fired transitions, 2880 secs || 37173995 markings, 37705637 edges, 13938 markings/sec, 2880 secs
lola: 69 tries, 68425676 fired transitions, 2885 secs || 37243357 markings, 37775341 edges, 13872 markings/sec, 2885 secs
lola: 69 tries, 68558677 fired transitions, 2890 secs || 37303068 markings, 37835289 edges, 11942 markings/sec, 2890 secs
lola: 69 tries, 68689110 fired transitions, 2895 secs || 37359718 markings, 37892223 edges, 11330 markings/sec, 2895 secs
lola: 69 tries, 68731577 fired transitions, 2900 secs || 37368391 markings, 37900939 edges, 1735 markings/sec, 2900 secs
lola: 69 tries, 68806467 fired transitions, 2905 secs || 37378279 markings, 37910869 edges, 1978 markings/sec, 2905 secs
lola: 69 tries, 68888644 fired transitions, 2910 secs || 37389761 markings, 37922395 edges, 2296 markings/sec, 2910 secs
lola: 69 tries, 68942735 fired transitions, 2915 secs || 37396581 markings, 37929241 edges, 1364 markings/sec, 2915 secs
Killed
rslt: finished

BK_STOP 1552492204289

--------------------
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="DatabaseWithMutex-PT-20"
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 DatabaseWithMutex-PT-20, 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-155234405700831"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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