About the Execution of LoLA for FlexibleBarrier-PT-16a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10406.960 | 3570876.00 | 7251946.00 | 242.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 214K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-16a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200188
=====================================================================
--------------------
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 FlexibleBarrier-PT-16a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526674927650
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-16a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-16a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-16a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 919/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 195
lola: finding significant places
lola: 195 places, 724 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 532 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-16a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 11559 variables and 54592 clauses shipped to Minisat
lola: computed 105 generators (33 in search tree, 72 by composition)
lola: representing 1.30767E+12 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 79729 fired transitions, 0 secs || 139800 markings, 222688 edges, 27960 markings/sec, 0 secs
lola: STP completed || 1 tries, 160689 fired transitions, 5 secs || 274799 markings, 440283 edges, 27000 markings/sec, 5 secs
lola: STP completed || 1 tries, 243189 fired transitions, 10 secs || 418617 markings, 665869 edges, 28764 markings/sec, 10 secs
lola: STP completed || 1 tries, 325753 fired transitions, 15 secs || 561958 markings, 897012 edges, 28668 markings/sec, 15 secs
lola: STP completed || 1 tries, 407870 fired transitions, 20 secs || 705953 markings, 1124710 edges, 28799 markings/sec, 20 secs
lola: STP completed || 1 tries, 490034 fired transitions, 25 secs || 848611 markings, 1351425 edges, 28532 markings/sec, 25 secs
lola: STP completed || 1 tries, 572327 fired transitions, 30 secs || 993361 markings, 1587892 edges, 28950 markings/sec, 30 secs
lola: STP completed || 1 tries, 654956 fired transitions, 35 secs || 1137438 markings, 1814447 edges, 28815 markings/sec, 35 secs
lola: STP completed || 1 tries, 737399 fired transitions, 40 secs || 1281266 markings, 2042873 edges, 28766 markings/sec, 40 secs
lola: STP completed || 1 tries, 819128 fired transitions, 45 secs || 1426487 markings, 2277927 edges, 29044 markings/sec, 45 secs
lola: STP completed || 1 tries, 901224 fired transitions, 50 secs || 1569510 markings, 2506342 edges, 28605 markings/sec, 50 secs
lola: STP completed || 1 tries, 982073 fired transitions, 55 secs || 1714686 markings, 2737360 edges, 29035 markings/sec, 55 secs
lola: STP completed || 2 tries, 1064743 fired transitions, 60 secs || 1859751 markings, 2974835 edges, 29013 markings/sec, 60 secs
lola: STP completed || 2 tries, 1146367 fired transitions, 65 secs || 2004656 markings, 3203053 edges, 28981 markings/sec, 65 secs
lola: STP completed || 2 tries, 1227531 fired transitions, 70 secs || 2149018 markings, 3433369 edges, 28872 markings/sec, 70 secs
lola: STP completed || 2 tries, 1309720 fired transitions, 75 secs || 2292062 markings, 3658990 edges, 28609 markings/sec, 75 secs
lola: STP completed || 2 tries, 1391015 fired transitions, 80 secs || 2432895 markings, 3882749 edges, 28167 markings/sec, 80 secs
lola: STP completed || 2 tries, 1472860 fired transitions, 85 secs || 2575601 markings, 4111531 edges, 28541 markings/sec, 85 secs
lola: STP completed || 2 tries, 1555129 fired transitions, 90 secs || 2718317 markings, 4338444 edges, 28543 markings/sec, 90 secs
lola: STP completed || 2 tries, 1637649 fired transitions, 95 secs || 2859932 markings, 4561931 edges, 28323 markings/sec, 95 secs
lola: STP completed || 2 tries, 1720751 fired transitions, 100 secs || 2999711 markings, 4782487 edges, 27956 markings/sec, 100 secs
lola: STP completed || 2 tries, 1803149 fired transitions, 105 secs || 3140734 markings, 5007740 edges, 28205 markings/sec, 105 secs
lola: STP completed || 2 tries, 1885293 fired transitions, 110 secs || 3285251 markings, 5241909 edges, 28903 markings/sec, 110 secs
lola: STP completed || 2 tries, 1967706 fired transitions, 115 secs || 3430634 markings, 5471979 edges, 29077 markings/sec, 115 secs
lola: STP completed || 3 tries, 2048473 fired transitions, 120 secs || 3573689 markings, 5700055 edges, 28611 markings/sec, 120 secs
lola: STP completed || 3 tries, 2130956 fired transitions, 125 secs || 3714203 markings, 5919856 edges, 28103 markings/sec, 125 secs
lola: STP completed || 3 tries, 2213639 fired transitions, 130 secs || 3856152 markings, 6144536 edges, 28390 markings/sec, 130 secs
lola: STP completed || 3 tries, 2295826 fired transitions, 135 secs || 3996848 markings, 6364597 edges, 28139 markings/sec, 135 secs
lola: STP completed || 3 tries, 2378038 fired transitions, 140 secs || 4137482 markings, 6587850 edges, 28127 markings/sec, 140 secs
lola: STP completed || 3 tries, 2460051 fired transitions, 145 secs || 4281270 markings, 6819872 edges, 28758 markings/sec, 145 secs
lola: STP completed || 3 tries, 2542686 fired transitions, 150 secs || 4420390 markings, 7034676 edges, 27824 markings/sec, 150 secs
lola: STP completed || 3 tries, 2625196 fired transitions, 155 secs || 4557451 markings, 7247595 edges, 27412 markings/sec, 155 secs
lola: STP completed || 3 tries, 2707547 fired transitions, 160 secs || 4695388 markings, 7462011 edges, 27587 markings/sec, 160 secs
lola: STP completed || 3 tries, 2789216 fired transitions, 165 secs || 4833565 markings, 7679028 edges, 27635 markings/sec, 165 secs
lola: STP completed || 3 tries, 2871908 fired transitions, 170 secs || 4971117 markings, 7893224 edges, 27510 markings/sec, 170 secs
lola: STP completed || 3 tries, 2953632 fired transitions, 175 secs || 5111008 markings, 8114667 edges, 27978 markings/sec, 175 secs
lola: STP completed || 4 tries, 3035556 fired transitions, 180 secs || 5252193 markings, 8343932 edges, 28237 markings/sec, 180 secs
lola: STP completed || 4 tries, 3117519 fired transitions, 185 secs || 5391928 markings, 8566583 edges, 27947 markings/sec, 185 secs
lola: STP completed || 4 tries, 3200307 fired transitions, 190 secs || 5535860 markings, 8802416 edges, 28786 markings/sec, 190 secs
lola: STP completed || 4 tries, 3281470 fired transitions, 195 secs || 5680654 markings, 9043223 edges, 28959 markings/sec, 195 secs
lola: STP completed || 4 tries, 3362762 fired transitions, 200 secs || 5824446 markings, 9281100 edges, 28758 markings/sec, 200 secs
lola: STP completed || 4 tries, 3445570 fired transitions, 205 secs || 5969528 markings, 9518254 edges, 29016 markings/sec, 205 secs
lola: STP completed || 4 tries, 3527781 fired transitions, 210 secs || 6114454 markings, 9753833 edges, 28985 markings/sec, 210 secs
lola: STP completed || 4 tries, 3609127 fired transitions, 215 secs || 6258277 markings, 9988381 edges, 28765 markings/sec, 215 secs
lola: STP completed || 4 tries, 3691436 fired transitions, 220 secs || 6402264 markings, 10223498 edges, 28797 markings/sec, 220 secs
lola: STP completed || 4 tries, 3773989 fired transitions, 225 secs || 6545975 markings, 10459859 edges, 28742 markings/sec, 225 secs
lola: STP completed || 4 tries, 3855020 fired transitions, 230 secs || 6688051 markings, 10687395 edges, 28415 markings/sec, 230 secs
lola: STP completed || 4 tries, 3936828 fired transitions, 235 secs || 6826547 markings, 10908211 edges, 27699 markings/sec, 235 secs
lola: STP completed || 5 tries, 4019169 fired transitions, 240 secs || 6970120 markings, 11145008 edges, 28715 markings/sec, 240 secs
lola: STP completed || 5 tries, 4101199 fired transitions, 245 secs || 7115575 markings, 11388124 edges, 29091 markings/sec, 245 secs
lola: STP completed || 5 tries, 4183737 fired transitions, 250 secs || 7258311 markings, 11612005 edges, 28547 markings/sec, 250 secs
lola: STP completed || 5 tries, 4265593 fired transitions, 255 secs || 7401597 markings, 11838442 edges, 28657 markings/sec, 255 secs
lola: STP completed || 5 tries, 4347946 fired transitions, 260 secs || 7542420 markings, 12059005 edges, 28165 markings/sec, 260 secs
lola: STP completed || 5 tries, 4429966 fired transitions, 265 secs || 7684241 markings, 12281493 edges, 28364 markings/sec, 265 secs
lola: STP completed || 5 tries, 4511494 fired transitions, 270 secs || 7823746 markings, 12500159 edges, 27901 markings/sec, 270 secs
lola: STP completed || 5 tries, 4593613 fired transitions, 275 secs || 7967430 markings, 12731677 edges, 28737 markings/sec, 275 secs
lola: STP completed || 5 tries, 4675722 fired transitions, 280 secs || 8108728 markings, 12955995 edges, 28260 markings/sec, 280 secs
lola: STP completed || 5 tries, 4757826 fired transitions, 285 secs || 8251596 markings, 13181707 edges, 28574 markings/sec, 285 secs
lola: STP completed || 5 tries, 4839901 fired transitions, 290 secs || 8389269 markings, 13394044 edges, 27535 markings/sec, 290 secs
lola: STP completed || 5 tries, 4921981 fired transitions, 295 secs || 8529988 markings, 13618196 edges, 28144 markings/sec, 295 secs
lola: STP completed || 6 tries, 5003262 fired transitions, 300 secs || 8670641 markings, 13841371 edges, 28131 markings/sec, 300 secs
lola: STP completed || 6 tries, 5085006 fired transitions, 305 secs || 8808364 markings, 14057046 edges, 27545 markings/sec, 305 secs
lola: STP completed || 6 tries, 5168152 fired transitions, 310 secs || 8947469 markings, 14276874 edges, 27821 markings/sec, 310 secs
lola: STP completed || 6 tries, 5250858 fired transitions, 315 secs || 9086431 markings, 14494911 edges, 27792 markings/sec, 315 secs
lola: STP completed || 6 tries, 5333043 fired transitions, 320 secs || 9227148 markings, 14719669 edges, 28143 markings/sec, 320 secs
lola: STP completed || 6 tries, 5415065 fired transitions, 325 secs || 9367848 markings, 14941535 edges, 28140 markings/sec, 325 secs
lola: STP completed || 6 tries, 5489927 fired transitions, 330 secs || 9504801 markings, 15158583 edges, 27391 markings/sec, 330 secs
lola: STP completed || 6 tries, 5572359 fired transitions, 335 secs || 9642134 markings, 15373978 edges, 27467 markings/sec, 335 secs
lola: STP completed || 6 tries, 5655881 fired transitions, 340 secs || 9779328 markings, 15586363 edges, 27439 markings/sec, 340 secs
lola: STP completed || 6 tries, 5738459 fired transitions, 345 secs || 9919777 markings, 15810181 edges, 28090 markings/sec, 345 secs
lola: STP completed || 6 tries, 5814538 fired transitions, 350 secs || 10055933 markings, 16023957 edges, 27231 markings/sec, 350 secs
lola: STP completed || 6 tries, 5896492 fired transitions, 355 secs || 10195183 markings, 16241674 edges, 27850 markings/sec, 355 secs
lola: STP completed || 6 tries, 5978564 fired transitions, 360 secs || 10332901 markings, 16455815 edges, 27544 markings/sec, 360 secs
lola: STP completed || 7 tries, 6059253 fired transitions, 365 secs || 10472860 markings, 16677667 edges, 27992 markings/sec, 365 secs
lola: STP completed || 7 tries, 6141686 fired transitions, 370 secs || 10609235 markings, 16889932 edges, 27275 markings/sec, 370 secs
lola: STP completed || 7 tries, 6223281 fired transitions, 375 secs || 10745448 markings, 17102270 edges, 27243 markings/sec, 375 secs
lola: STP completed || 7 tries, 6303945 fired transitions, 380 secs || 10882409 markings, 17317015 edges, 27392 markings/sec, 380 secs
lola: STP completed || 7 tries, 6385864 fired transitions, 385 secs || 11021037 markings, 17538151 edges, 27726 markings/sec, 385 secs
lola: STP completed || 7 tries, 6467891 fired transitions, 390 secs || 11159715 markings, 17759877 edges, 27736 markings/sec, 390 secs
lola: STP completed || 7 tries, 6542570 fired transitions, 395 secs || 11296797 markings, 17983491 edges, 27416 markings/sec, 395 secs
lola: STP completed || 7 tries, 6613052 fired transitions, 400 secs || 11433325 markings, 18201257 edges, 27306 markings/sec, 400 secs
lola: STP completed || 7 tries, 6687061 fired transitions, 405 secs || 11570813 markings, 18420335 edges, 27498 markings/sec, 405 secs
lola: STP completed || 7 tries, 6764106 fired transitions, 410 secs || 11708641 markings, 18641085 edges, 27566 markings/sec, 410 secs
lola: STP completed || 7 tries, 6830118 fired transitions, 415 secs || 11848544 markings, 18865178 edges, 27981 markings/sec, 415 secs
lola: STP completed || 7 tries, 6907710 fired transitions, 420 secs || 11987088 markings, 19084565 edges, 27709 markings/sec, 420 secs
lola: STP completed || 7 tries, 6983915 fired transitions, 425 secs || 12123366 markings, 19303769 edges, 27256 markings/sec, 425 secs
lola: STP completed || 8 tries, 7058923 fired transitions, 430 secs || 12263383 markings, 19529491 edges, 28003 markings/sec, 430 secs
lola: STP completed || 8 tries, 7136717 fired transitions, 435 secs || 12404409 markings, 19758820 edges, 28205 markings/sec, 435 secs
lola: STP completed || 8 tries, 7218920 fired transitions, 440 secs || 12547357 markings, 19990335 edges, 28590 markings/sec, 440 secs
lola: STP completed || 8 tries, 7300682 fired transitions, 445 secs || 12691807 markings, 20223158 edges, 28890 markings/sec, 445 secs
lola: STP completed || 8 tries, 7376281 fired transitions, 450 secs || 12830742 markings, 20448925 edges, 27787 markings/sec, 450 secs
lola: STP completed || 8 tries, 7452390 fired transitions, 455 secs || 12968799 markings, 20670242 edges, 27611 markings/sec, 455 secs
lola: STP completed || 8 tries, 7527297 fired transitions, 460 secs || 13104033 markings, 20886535 edges, 27047 markings/sec, 460 secs
lola: STP completed || 8 tries, 7611304 fired transitions, 465 secs || 13242191 markings, 21109150 edges, 27632 markings/sec, 465 secs
lola: STP completed || 8 tries, 7690412 fired transitions, 470 secs || 13377628 markings, 21324315 edges, 27087 markings/sec, 470 secs
lola: STP completed || 8 tries, 7770782 fired transitions, 475 secs || 13516135 markings, 21551411 edges, 27701 markings/sec, 475 secs
lola: STP completed || 8 tries, 7852253 fired transitions, 480 secs || 13653875 markings, 21772900 edges, 27548 markings/sec, 480 secs
lola: STP completed || 8 tries, 7932235 fired transitions, 485 secs || 13788954 markings, 21987627 edges, 27016 markings/sec, 485 secs
lola: STP completed || 9 tries, 8003888 fired transitions, 490 secs || 13917151 markings, 22191195 edges, 25639 markings/sec, 490 secs
lola: STP completed || 9 tries, 8078930 fired transitions, 495 secs || 14052708 markings, 22406334 edges, 27111 markings/sec, 495 secs
lola: STP completed || 9 tries, 8158974 fired transitions, 500 secs || 14190546 markings, 22626347 edges, 27568 markings/sec, 500 secs
lola: STP completed || 9 tries, 8240992 fired transitions, 505 secs || 14328298 markings, 22843152 edges, 27550 markings/sec, 505 secs
lola: STP completed || 9 tries, 8322162 fired transitions, 510 secs || 14468314 markings, 23070894 edges, 28003 markings/sec, 510 secs
lola: STP completed || 9 tries, 8404102 fired transitions, 515 secs || 14608853 markings, 23299693 edges, 28108 markings/sec, 515 secs
lola: STP completed || 9 tries, 8486233 fired transitions, 520 secs || 14749760 markings, 23525472 edges, 28181 markings/sec, 520 secs
lola: STP completed || 9 tries, 8568167 fired transitions, 525 secs || 14890433 markings, 23753569 edges, 28135 markings/sec, 525 secs
lola: STP completed || 9 tries, 8649739 fired transitions, 530 secs || 15029323 markings, 23977580 edges, 27778 markings/sec, 530 secs
lola: STP completed || 9 tries, 8732990 fired transitions, 535 secs || 15170555 markings, 24203965 edges, 28246 markings/sec, 535 secs
lola: STP completed || 9 tries, 8814520 fired transitions, 540 secs || 15313590 markings, 24436345 edges, 28607 markings/sec, 540 secs
lola: STP completed || 9 tries, 8898734 fired transitions, 545 secs || 15459756 markings, 24675670 edges, 29233 markings/sec, 545 secs
lola: STP completed || 9 tries, 8982599 fired transitions, 550 secs || 15607071 markings, 24918598 edges, 29463 markings/sec, 550 secs
lola: STP completed || 10 tries, 9065839 fired transitions, 555 secs || 15752605 markings, 25157897 edges, 29107 markings/sec, 555 secs
lola: STP completed || 10 tries, 9150774 fired transitions, 560 secs || 15897021 markings, 25391204 edges, 28883 markings/sec, 560 secs
lola: STP completed || 10 tries, 9233534 fired transitions, 565 secs || 16037273 markings, 25613452 edges, 28050 markings/sec, 565 secs
lola: STP completed || 10 tries, 9316052 fired transitions, 570 secs || 16179758 markings, 25843583 edges, 28497 markings/sec, 570 secs
lola: STP completed || 10 tries, 9398603 fired transitions, 575 secs || 16324936 markings, 26081408 edges, 29036 markings/sec, 575 secs
lola: STP completed || 10 tries, 9482101 fired transitions, 580 secs || 16467140 markings, 26307215 edges, 28441 markings/sec, 580 secs
lola: STP completed || 10 tries, 9563985 fired transitions, 585 secs || 16610401 markings, 26536741 edges, 28652 markings/sec, 585 secs
lola: STP completed || 10 tries, 9646880 fired transitions, 590 secs || 16753423 markings, 26766926 edges, 28604 markings/sec, 590 secs
lola: STP completed || 10 tries, 9728548 fired transitions, 595 secs || 16894048 markings, 26992551 edges, 28125 markings/sec, 595 secs
lola: STP completed || 10 tries, 9812694 fired transitions, 600 secs || 17039528 markings, 27226692 edges, 29096 markings/sec, 600 secs
lola: STP completed || 10 tries, 9896729 fired transitions, 605 secs || 17186322 markings, 27471292 edges, 29359 markings/sec, 605 secs
lola: STP completed || 10 tries, 9980669 fired transitions, 610 secs || 17332726 markings, 27715808 edges, 29281 markings/sec, 610 secs
lola: STP completed || 11 tries, 10064099 fired transitions, 615 secs || 17474241 markings, 27940357 edges, 28303 markings/sec, 615 secs
lola: STP completed || 11 tries, 10148034 fired transitions, 620 secs || 17617291 markings, 28171017 edges, 28610 markings/sec, 620 secs
lola: STP completed || 11 tries, 10231990 fired transitions, 625 secs || 17765804 markings, 28420038 edges, 29703 markings/sec, 625 secs
lola: STP completed || 11 tries, 10315905 fired transitions, 630 secs || 17914402 markings, 28674667 edges, 29720 markings/sec, 630 secs
lola: STP completed || 11 tries, 10399848 fired transitions, 635 secs || 18059734 markings, 28915729 edges, 29066 markings/sec, 635 secs
lola: STP completed || 11 tries, 10483851 fired transitions, 640 secs || 18206952 markings, 29155001 edges, 29444 markings/sec, 640 secs
lola: STP completed || 11 tries, 10567819 fired transitions, 645 secs || 18351044 markings, 29387711 edges, 28818 markings/sec, 645 secs
lola: STP completed || 11 tries, 10652353 fired transitions, 650 secs || 18495958 markings, 29620829 edges, 28983 markings/sec, 650 secs
lola: STP completed || 11 tries, 10736301 fired transitions, 655 secs || 18642918 markings, 29861932 edges, 29392 markings/sec, 655 secs
lola: STP completed || 11 tries, 10820566 fired transitions, 660 secs || 18786704 markings, 30091395 edges, 28757 markings/sec, 660 secs
lola: STP completed || 11 tries, 10905793 fired transitions, 665 secs || 18930858 markings, 30323498 edges, 28831 markings/sec, 665 secs
lola: STP completed || 11 tries, 10989199 fired transitions, 670 secs || 19073311 markings, 30553244 edges, 28491 markings/sec, 670 secs
lola: STP completed || 12 tries, 11072359 fired transitions, 675 secs || 19214918 markings, 30778863 edges, 28321 markings/sec, 675 secs
lola: STP completed || 12 tries, 11157266 fired transitions, 680 secs || 19358790 markings, 31011515 edges, 28774 markings/sec, 680 secs
lola: STP completed || 12 tries, 11240769 fired transitions, 685 secs || 19501857 markings, 31245317 edges, 28613 markings/sec, 685 secs
lola: STP completed || 12 tries, 11324470 fired transitions, 690 secs || 19648403 markings, 31483253 edges, 29309 markings/sec, 690 secs
lola: STP completed || 12 tries, 11408907 fired transitions, 695 secs || 19793602 markings, 31724482 edges, 29040 markings/sec, 695 secs
lola: STP completed || 12 tries, 11492164 fired transitions, 700 secs || 19937896 markings, 31959638 edges, 28859 markings/sec, 700 secs
lola: STP completed || 12 tries, 11575703 fired transitions, 705 secs || 20080690 markings, 32187066 edges, 28559 markings/sec, 705 secs
lola: STP completed || 12 tries, 11658794 fired transitions, 710 secs || 20224049 markings, 32418577 edges, 28672 markings/sec, 710 secs
lola: STP completed || 12 tries, 11743635 fired transitions, 715 secs || 20366069 markings, 32646530 edges, 28404 markings/sec, 715 secs
lola: STP completed || 12 tries, 11828074 fired transitions, 720 secs || 20513526 markings, 32884705 edges, 29491 markings/sec, 720 secs
lola: STP completed || 12 tries, 11913081 fired transitions, 725 secs || 20656379 markings, 33118135 edges, 28571 markings/sec, 725 secs
lola: STP completed || 12 tries, 11997364 fired transitions, 730 secs || 20801394 markings, 33351419 edges, 29003 markings/sec, 730 secs
lola: STP completed || 13 tries, 12082014 fired transitions, 735 secs || 20944173 markings, 33580275 edges, 28556 markings/sec, 735 secs
lola: STP completed || 13 tries, 12166428 fired transitions, 740 secs || 21090132 markings, 33815292 edges, 29192 markings/sec, 740 secs
lola: STP completed || 13 tries, 12252273 fired transitions, 745 secs || 21230008 markings, 34048095 edges, 27975 markings/sec, 745 secs
lola: STP completed || 13 tries, 12334521 fired transitions, 750 secs || 21361128 markings, 34263947 edges, 26224 markings/sec, 750 secs
lola: STP completed || 13 tries, 12419554 fired transitions, 755 secs || 21492613 markings, 34479715 edges, 26297 markings/sec, 755 secs
lola: STP completed || 13 tries, 12503162 fired transitions, 760 secs || 21634608 markings, 34706843 edges, 28399 markings/sec, 760 secs
lola: STP completed || 13 tries, 12587592 fired transitions, 765 secs || 21771674 markings, 34929211 edges, 27413 markings/sec, 765 secs
lola: STP completed || 13 tries, 12671861 fired transitions, 770 secs || 21896100 markings, 35136663 edges, 24885 markings/sec, 770 secs
lola: STP completed || 13 tries, 12757291 fired transitions, 775 secs || 22041998 markings, 35376053 edges, 29180 markings/sec, 775 secs
lola: STP completed || 13 tries, 12841292 fired transitions, 780 secs || 22184111 markings, 35604375 edges, 28423 markings/sec, 780 secs
lola: STP completed || 13 tries, 12925867 fired transitions, 785 secs || 22328556 markings, 35843298 edges, 28889 markings/sec, 785 secs
lola: STP completed || 14 tries, 13008691 fired transitions, 790 secs || 22469745 markings, 36073436 edges, 28238 markings/sec, 790 secs
lola: STP completed || 14 tries, 13093354 fired transitions, 795 secs || 22615636 markings, 36318255 edges, 29178 markings/sec, 795 secs
lola: STP completed || 14 tries, 13177359 fired transitions, 800 secs || 22756498 markings, 36545891 edges, 28172 markings/sec, 800 secs
lola: STP completed || 14 tries, 13261926 fired transitions, 805 secs || 22900565 markings, 36779070 edges, 28813 markings/sec, 805 secs
lola: STP completed || 14 tries, 13345925 fired transitions, 810 secs || 23046771 markings, 37023351 edges, 29241 markings/sec, 810 secs
lola: STP completed || 14 tries, 13430296 fired transitions, 815 secs || 23191386 markings, 37261290 edges, 28923 markings/sec, 815 secs
lola: STP completed || 14 tries, 13515547 fired transitions, 820 secs || 23332942 markings, 37489192 edges, 28311 markings/sec, 820 secs
lola: STP completed || 14 tries, 13599762 fired transitions, 825 secs || 23478894 markings, 37726513 edges, 29190 markings/sec, 825 secs
lola: STP completed || 14 tries, 13685191 fired transitions, 830 secs || 23609324 markings, 37940702 edges, 26086 markings/sec, 830 secs
lola: STP completed || 14 tries, 13768988 fired transitions, 835 secs || 23737294 markings, 38148685 edges, 25594 markings/sec, 835 secs
lola: STP completed || 14 tries, 13852837 fired transitions, 840 secs || 23882249 markings, 38390717 edges, 28991 markings/sec, 840 secs
lola: STP completed || 14 tries, 13937462 fired transitions, 845 secs || 24024895 markings, 38620705 edges, 28529 markings/sec, 845 secs
lola: STP completed || 15 tries, 14023127 fired transitions, 850 secs || 24166873 markings, 38849593 edges, 28396 markings/sec, 850 secs
lola: STP completed || 15 tries, 14107275 fired transitions, 855 secs || 24310282 markings, 39086623 edges, 28682 markings/sec, 855 secs
lola: STP completed || 15 tries, 14190599 fired transitions, 860 secs || 24457365 markings, 39337453 edges, 29417 markings/sec, 860 secs
lola: STP completed || 15 tries, 14275185 fired transitions, 865 secs || 24574061 markings, 39530212 edges, 23339 markings/sec, 865 secs
lola: STP completed || 15 tries, 14358350 fired transitions, 870 secs || 24716388 markings, 39764990 edges, 28465 markings/sec, 870 secs
lola: STP completed || 15 tries, 14442789 fired transitions, 875 secs || 24857847 markings, 39993816 edges, 28292 markings/sec, 875 secs
lola: STP completed || 15 tries, 14527974 fired transitions, 880 secs || 24998059 markings, 40218633 edges, 28042 markings/sec, 880 secs
lola: STP completed || 15 tries, 14612680 fired transitions, 885 secs || 25142025 markings, 40454741 edges, 28793 markings/sec, 885 secs
lola: STP completed || 15 tries, 14697055 fired transitions, 890 secs || 25286174 markings, 40688943 edges, 28830 markings/sec, 890 secs
lola: STP completed || 15 tries, 14780826 fired transitions, 895 secs || 25409743 markings, 40893982 edges, 24714 markings/sec, 895 secs
lola: STP completed || 15 tries, 14864384 fired transitions, 900 secs || 25547524 markings, 41115192 edges, 27556 markings/sec, 900 secs
lola: STP completed || 15 tries, 14949640 fired transitions, 905 secs || 25692625 markings, 41354476 edges, 29020 markings/sec, 905 secs
lola: STP completed || 16 tries, 15034161 fired transitions, 910 secs || 25818651 markings, 41553724 edges, 25205 markings/sec, 910 secs
lola: STP completed || 16 tries, 15118343 fired transitions, 915 secs || 25949666 markings, 41765790 edges, 26203 markings/sec, 915 secs
lola: STP completed || 16 tries, 15202937 fired transitions, 920 secs || 26098599 markings, 42021284 edges, 29787 markings/sec, 920 secs
lola: STP completed || 16 tries, 15286376 fired transitions, 925 secs || 26236834 markings, 42248338 edges, 27647 markings/sec, 925 secs
lola: STP completed || 16 tries, 15369317 fired transitions, 930 secs || 26360590 markings, 42450031 edges, 24751 markings/sec, 930 secs
lola: STP completed || 16 tries, 15453663 fired transitions, 935 secs || 26509453 markings, 42697544 edges, 29773 markings/sec, 935 secs
lola: STP completed || 16 tries, 15537447 fired transitions, 940 secs || 26656688 markings, 42944090 edges, 29447 markings/sec, 940 secs
lola: STP completed || 16 tries, 15621885 fired transitions, 945 secs || 26775084 markings, 43137400 edges, 23679 markings/sec, 945 secs
lola: STP completed || 16 tries, 15706028 fired transitions, 950 secs || 26921278 markings, 43381057 edges, 29239 markings/sec, 950 secs
lola: STP completed || 16 tries, 15790439 fired transitions, 955 secs || 27068005 markings, 43620892 edges, 29345 markings/sec, 955 secs
lola: STP completed || 16 tries, 15875398 fired transitions, 960 secs || 27213055 markings, 43856780 edges, 29010 markings/sec, 960 secs
lola: STP completed || 16 tries, 15959040 fired transitions, 965 secs || 27359257 markings, 44092118 edges, 29240 markings/sec, 965 secs
lola: STP completed || 17 tries, 16043186 fired transitions, 970 secs || 27504388 markings, 44328066 edges, 29026 markings/sec, 970 secs
lola: STP completed || 17 tries, 16127210 fired transitions, 975 secs || 27645094 markings, 44550293 edges, 28141 markings/sec, 975 secs
lola: STP completed || 17 tries, 16212393 fired transitions, 980 secs || 27791529 markings, 44800825 edges, 29287 markings/sec, 980 secs
lola: STP completed || 17 tries, 16296033 fired transitions, 985 secs || 27936650 markings, 45043349 edges, 29024 markings/sec, 985 secs
lola: STP completed || 17 tries, 16380600 fired transitions, 990 secs || 28081797 markings, 45283488 edges, 29029 markings/sec, 990 secs
lola: STP completed || 17 tries, 16464512 fired transitions, 995 secs || 28226482 markings, 45526787 edges, 28937 markings/sec, 995 secs
lola: STP completed || 17 tries, 16548638 fired transitions, 1000 secs || 28373571 markings, 45769738 edges, 29418 markings/sec, 1000 secs
lola: STP completed || 17 tries, 16633068 fired transitions, 1005 secs || 28516167 markings, 45995025 edges, 28519 markings/sec, 1005 secs
lola: STP completed || 17 tries, 16718814 fired transitions, 1010 secs || 28660843 markings, 46228531 edges, 28935 markings/sec, 1010 secs
lola: STP completed || 17 tries, 16804334 fired transitions, 1015 secs || 28805540 markings, 46463798 edges, 28939 markings/sec, 1015 secs
lola: STP completed || 17 tries, 16888751 fired transitions, 1020 secs || 28948554 markings, 46698535 edges, 28603 markings/sec, 1020 secs
lola: STP completed || 17 tries, 16974143 fired transitions, 1025 secs || 29064856 markings, 46887051 edges, 23260 markings/sec, 1025 secs
lola: STP completed || 18 tries, 17059189 fired transitions, 1030 secs || 29208013 markings, 47116368 edges, 28631 markings/sec, 1030 secs
lola: STP completed || 18 tries, 17143470 fired transitions, 1035 secs || 29353514 markings, 47358298 edges, 29100 markings/sec, 1035 secs
lola: STP completed || 18 tries, 17227578 fired transitions, 1040 secs || 29498507 markings, 47600727 edges, 28999 markings/sec, 1040 secs
lola: STP completed || 18 tries, 17310392 fired transitions, 1045 secs || 29643497 markings, 47842445 edges, 28998 markings/sec, 1045 secs
lola: STP completed || 18 tries, 17394504 fired transitions, 1050 secs || 29788898 markings, 48091354 edges, 29080 markings/sec, 1050 secs
lola: STP completed || 18 tries, 17478674 fired transitions, 1055 secs || 29932011 markings, 48323482 edges, 28623 markings/sec, 1055 secs
lola: STP completed || 18 tries, 17563386 fired transitions, 1060 secs || 30073391 markings, 48554070 edges, 28276 markings/sec, 1060 secs
lola: STP completed || 18 tries, 17646804 fired transitions, 1065 secs || 30214836 markings, 48787861 edges, 28289 markings/sec, 1065 secs
lola: STP completed || 18 tries, 17731148 fired transitions, 1070 secs || 30344461 markings, 49001946 edges, 25925 markings/sec, 1070 secs
lola: STP completed || 18 tries, 17816274 fired transitions, 1075 secs || 30478115 markings, 49223323 edges, 26731 markings/sec, 1075 secs
lola: STP completed || 18 tries, 17899835 fired transitions, 1080 secs || 30627407 markings, 49475069 edges, 29858 markings/sec, 1080 secs
lola: STP completed || 18 tries, 17985449 fired transitions, 1085 secs || 30767723 markings, 49706494 edges, 28063 markings/sec, 1085 secs
lola: STP completed || 19 tries, 18070195 fired transitions, 1090 secs || 30894090 markings, 49915788 edges, 25273 markings/sec, 1090 secs
lola: STP completed || 19 tries, 18153652 fired transitions, 1095 secs || 31038456 markings, 50152502 edges, 28873 markings/sec, 1095 secs
lola: STP completed || 19 tries, 18237869 fired transitions, 1100 secs || 31180524 markings, 50385211 edges, 28414 markings/sec, 1100 secs
lola: STP completed || 19 tries, 18321097 fired transitions, 1105 secs || 31297779 markings, 50578476 edges, 23451 markings/sec, 1105 secs
lola: STP completed || 19 tries, 18405407 fired transitions, 1110 secs || 31444057 markings, 50829088 edges, 29256 markings/sec, 1110 secs
lola: STP completed || 19 tries, 18490002 fired transitions, 1115 secs || 31588458 markings, 51064037 edges, 28880 markings/sec, 1115 secs
lola: STP completed || 19 tries, 18574260 fired transitions, 1120 secs || 31703597 markings, 51248324 edges, 23028 markings/sec, 1120 secs
lola: STP completed || 19 tries, 18659583 fired transitions, 1125 secs || 31846348 markings, 51475614 edges, 28550 markings/sec, 1125 secs
lola: STP completed || 19 tries, 18743660 fired transitions, 1130 secs || 31990500 markings, 51705878 edges, 28830 markings/sec, 1130 secs
lola: STP completed || 19 tries, 18827520 fired transitions, 1135 secs || 32135032 markings, 51944463 edges, 28906 markings/sec, 1135 secs
lola: STP completed || 19 tries, 18912172 fired transitions, 1140 secs || 32279324 markings, 52176359 edges, 28858 markings/sec, 1140 secs
lola: STP completed || 19 tries, 18995544 fired transitions, 1145 secs || 32419461 markings, 52396027 edges, 28027 markings/sec, 1145 secs
lola: STP completed || 20 tries, 19080653 fired transitions, 1150 secs || 32560168 markings, 52617607 edges, 28141 markings/sec, 1150 secs
lola: STP completed || 20 tries, 19165535 fired transitions, 1155 secs || 32701978 markings, 52844142 edges, 28362 markings/sec, 1155 secs
lola: STP completed || 20 tries, 19250507 fired transitions, 1160 secs || 32844101 markings, 53073298 edges, 28425 markings/sec, 1160 secs
lola: STP completed || 20 tries, 19335599 fired transitions, 1165 secs || 32982938 markings, 53305259 edges, 27767 markings/sec, 1165 secs
lola: STP completed || 20 tries, 19419957 fired transitions, 1170 secs || 33104279 markings, 53504051 edges, 24268 markings/sec, 1170 secs
lola: STP completed || 20 tries, 19502880 fired transitions, 1175 secs || 33249157 markings, 53748329 edges, 28976 markings/sec, 1175 secs
lola: STP completed || 20 tries, 19587857 fired transitions, 1180 secs || 33393757 markings, 53986482 edges, 28920 markings/sec, 1180 secs
lola: STP completed || 20 tries, 19672011 fired transitions, 1185 secs || 33509325 markings, 54178812 edges, 23114 markings/sec, 1185 secs
lola: STP completed || 20 tries, 19755558 fired transitions, 1190 secs || 33652875 markings, 54409703 edges, 28710 markings/sec, 1190 secs
lola: STP completed || 20 tries, 19837406 fired transitions, 1195 secs || 33793103 markings, 54644258 edges, 28046 markings/sec, 1195 secs
lola: STP completed || 20 tries, 19921175 fired transitions, 1200 secs || 33939654 markings, 54890289 edges, 29310 markings/sec, 1200 secs
lola: STP completed || 21 tries, 20004919 fired transitions, 1205 secs || 34081202 markings, 55119944 edges, 28310 markings/sec, 1205 secs
lola: STP completed || 21 tries, 20089484 fired transitions, 1210 secs || 34227471 markings, 55363219 edges, 29254 markings/sec, 1210 secs
lola: STP completed || 21 tries, 20174646 fired transitions, 1215 secs || 34350457 markings, 55563985 edges, 24597 markings/sec, 1215 secs
lola: STP completed || 21 tries, 20259759 fired transitions, 1220 secs || 34490082 markings, 55793226 edges, 27925 markings/sec, 1220 secs
lola: STP completed || 21 tries, 20342372 fired transitions, 1225 secs || 34636323 markings, 56025878 edges, 29248 markings/sec, 1225 secs
lola: STP completed || 21 tries, 20426716 fired transitions, 1230 secs || 34784315 markings, 56267569 edges, 29598 markings/sec, 1230 secs
lola: STP completed || 21 tries, 20510311 fired transitions, 1235 secs || 34930644 markings, 56516303 edges, 29266 markings/sec, 1235 secs
lola: STP completed || 21 tries, 20594224 fired transitions, 1240 secs || 35078598 markings, 56767484 edges, 29591 markings/sec, 1240 secs
lola: STP completed || 21 tries, 20679208 fired transitions, 1245 secs || 35227420 markings, 57030726 edges, 29764 markings/sec, 1245 secs
lola: STP completed || 21 tries, 20763331 fired transitions, 1250 secs || 35373259 markings, 57262618 edges, 29168 markings/sec, 1250 secs
lola: STP completed || 21 tries, 20847077 fired transitions, 1255 secs || 35522599 markings, 57515729 edges, 29868 markings/sec, 1255 secs
lola: STP completed || 21 tries, 20931499 fired transitions, 1260 secs || 35668387 markings, 57756878 edges, 29158 markings/sec, 1260 secs
lola: STP completed || 22 tries, 21017064 fired transitions, 1265 secs || 35786250 markings, 57948089 edges, 23573 markings/sec, 1265 secs
lola: STP completed || 22 tries, 21101369 fired transitions, 1270 secs || 35930543 markings, 58182696 edges, 28859 markings/sec, 1270 secs
lola: STP completed || 22 tries, 21185302 fired transitions, 1275 secs || 36074739 markings, 58427652 edges, 28839 markings/sec, 1275 secs
lola: STP completed || 22 tries, 21268916 fired transitions, 1280 secs || 36218030 markings, 58663957 edges, 28658 markings/sec, 1280 secs
lola: STP completed || 22 tries, 21353947 fired transitions, 1285 secs || 36363119 markings, 58909047 edges, 29018 markings/sec, 1285 secs
lola: STP completed || 22 tries, 21438002 fired transitions, 1290 secs || 36509158 markings, 59147551 edges, 29208 markings/sec, 1290 secs
lola: STP completed || 22 tries, 21520866 fired transitions, 1295 secs || 36632025 markings, 59348285 edges, 24573 markings/sec, 1295 secs
lola: STP completed || 22 tries, 21605376 fired transitions, 1300 secs || 36768311 markings, 59567717 edges, 27257 markings/sec, 1300 secs
lola: STP completed || 22 tries, 21690201 fired transitions, 1305 secs || 36909107 markings, 59790144 edges, 28159 markings/sec, 1305 secs
lola: STP completed || 22 tries, 21773980 fired transitions, 1310 secs || 37035061 markings, 59989563 edges, 25191 markings/sec, 1310 secs
lola: STP completed || 22 tries, 21858114 fired transitions, 1315 secs || 37163111 markings, 60192426 edges, 25610 markings/sec, 1315 secs
lola: STP completed || 22 tries, 21941994 fired transitions, 1320 secs || 37306553 markings, 60427613 edges, 28688 markings/sec, 1320 secs
lola: STP completed || 23 tries, 22025609 fired transitions, 1325 secs || 37443375 markings, 60651453 edges, 27364 markings/sec, 1325 secs
lola: STP completed || 23 tries, 22110206 fired transitions, 1330 secs || 37565364 markings, 60849224 edges, 24398 markings/sec, 1330 secs
lola: STP completed || 23 tries, 22194632 fired transitions, 1335 secs || 37708043 markings, 61080014 edges, 28536 markings/sec, 1335 secs
lola: STP completed || 23 tries, 22278651 fired transitions, 1340 secs || 37850283 markings, 61308255 edges, 28448 markings/sec, 1340 secs
lola: STP completed || 23 tries, 22362971 fired transitions, 1345 secs || 37964897 markings, 61497988 edges, 22923 markings/sec, 1345 secs
lola: STP completed || 23 tries, 22448381 fired transitions, 1350 secs || 38110348 markings, 61753347 edges, 29090 markings/sec, 1350 secs
lola: STP completed || 23 tries, 22532611 fired transitions, 1355 secs || 38252978 markings, 61987211 edges, 28526 markings/sec, 1355 secs
lola: STP completed || 23 tries, 22615983 fired transitions, 1360 secs || 38368509 markings, 62176462 edges, 23106 markings/sec, 1360 secs
lola: STP completed || 23 tries, 22700625 fired transitions, 1365 secs || 38509853 markings, 62407659 edges, 28269 markings/sec, 1365 secs
lola: STP completed || 23 tries, 22784856 fired transitions, 1370 secs || 38657476 markings, 62646079 edges, 29525 markings/sec, 1370 secs
lola: STP completed || 23 tries, 22868897 fired transitions, 1375 secs || 38782379 markings, 62848363 edges, 24981 markings/sec, 1375 secs
lola: STP completed || 23 tries, 22953447 fired transitions, 1380 secs || 38919741 markings, 63073436 edges, 27472 markings/sec, 1380 secs
lola: STP completed || 24 tries, 23038323 fired transitions, 1385 secs || 39066147 markings, 63317888 edges, 29281 markings/sec, 1385 secs
lola: STP completed || 24 tries, 23123498 fired transitions, 1390 secs || 39214470 markings, 63565775 edges, 29665 markings/sec, 1390 secs
lola: STP completed || 24 tries, 23207807 fired transitions, 1395 secs || 39360772 markings, 63808102 edges, 29260 markings/sec, 1395 secs
lola: STP completed || 24 tries, 23292669 fired transitions, 1400 secs || 39506548 markings, 64052255 edges, 29155 markings/sec, 1400 secs
lola: STP completed || 24 tries, 23376237 fired transitions, 1405 secs || 39645464 markings, 64283169 edges, 27783 markings/sec, 1405 secs
lola: STP completed || 24 tries, 23460066 fired transitions, 1410 secs || 39769145 markings, 64486941 edges, 24736 markings/sec, 1410 secs
lola: STP completed || 24 tries, 23543965 fired transitions, 1415 secs || 39910698 markings, 64717649 edges, 28311 markings/sec, 1415 secs
lola: STP completed || 24 tries, 23627289 fired transitions, 1420 secs || 40054010 markings, 64953197 edges, 28662 markings/sec, 1420 secs
lola: STP completed || 24 tries, 23712354 fired transitions, 1425 secs || 40170211 markings, 65145313 edges, 23240 markings/sec, 1425 secs
lola: STP completed || 24 tries, 23796796 fired transitions, 1430 secs || 40312874 markings, 65376893 edges, 28533 markings/sec, 1430 secs
lola: STP completed || 24 tries, 23882074 fired transitions, 1435 secs || 40458392 markings, 65621081 edges, 29104 markings/sec, 1435 secs
lola: STP completed || 24 tries, 23965063 fired transitions, 1440 secs || 40598930 markings, 65847174 edges, 28108 markings/sec, 1440 secs
lola: STP completed || 25 tries, 24048692 fired transitions, 1445 secs || 40740070 markings, 66077736 edges, 28228 markings/sec, 1445 secs
lola: STP completed || 25 tries, 24131910 fired transitions, 1450 secs || 40880860 markings, 66311467 edges, 28158 markings/sec, 1450 secs
lola: STP completed || 25 tries, 24217513 fired transitions, 1455 secs || 41004526 markings, 66517071 edges, 24733 markings/sec, 1455 secs
lola: STP completed || 25 tries, 24302674 fired transitions, 1460 secs || 41146676 markings, 66744778 edges, 28430 markings/sec, 1460 secs
lola: STP completed || 25 tries, 24386474 fired transitions, 1465 secs || 41290261 markings, 66975661 edges, 28717 markings/sec, 1465 secs
lola: STP completed || 25 tries, 24471164 fired transitions, 1470 secs || 41433809 markings, 67211485 edges, 28710 markings/sec, 1470 secs
lola: STP completed || 25 tries, 24555864 fired transitions, 1475 secs || 41579403 markings, 67454778 edges, 29119 markings/sec, 1475 secs
lola: STP completed || 25 tries, 24640754 fired transitions, 1480 secs || 41724549 markings, 67694121 edges, 29029 markings/sec, 1480 secs
lola: STP completed || 25 tries, 24724137 fired transitions, 1485 secs || 41866362 markings, 67928215 edges, 28363 markings/sec, 1485 secs
lola: STP completed || 25 tries, 24807370 fired transitions, 1490 secs || 42008382 markings, 68162875 edges, 28404 markings/sec, 1490 secs
lola: STP completed || 25 tries, 24891535 fired transitions, 1495 secs || 42151225 markings, 68396692 edges, 28569 markings/sec, 1495 secs
lola: STP completed || 25 tries, 24975738 fired transitions, 1500 secs || 42292351 markings, 68624565 edges, 28225 markings/sec, 1500 secs
lola: STP completed || 26 tries, 25059585 fired transitions, 1505 secs || 42405249 markings, 68809521 edges, 22580 markings/sec, 1505 secs
lola: STP completed || 26 tries, 25144830 fired transitions, 1510 secs || 42547751 markings, 69044204 edges, 28500 markings/sec, 1510 secs
lola: STP completed || 26 tries, 25227610 fired transitions, 1515 secs || 42689689 markings, 69274686 edges, 28388 markings/sec, 1515 secs
lola: STP completed || 26 tries, 25310944 fired transitions, 1520 secs || 42805030 markings, 69462857 edges, 23068 markings/sec, 1520 secs
lola: STP completed || 26 tries, 25394324 fired transitions, 1525 secs || 42949444 markings, 69696689 edges, 28883 markings/sec, 1525 secs
lola: STP completed || 26 tries, 25477662 fired transitions, 1530 secs || 43089648 markings, 69916769 edges, 28041 markings/sec, 1530 secs
lola: STP completed || 26 tries, 25561529 fired transitions, 1535 secs || 43213003 markings, 70115290 edges, 24671 markings/sec, 1535 secs
lola: STP completed || 26 tries, 25645767 fired transitions, 1540 secs || 43347261 markings, 70327012 edges, 26852 markings/sec, 1540 secs
lola: STP completed || 26 tries, 25730185 fired transitions, 1545 secs || 43486587 markings, 70543406 edges, 27865 markings/sec, 1545 secs
lola: STP completed || 26 tries, 25810783 fired transitions, 1550 secs || 43612085 markings, 70741819 edges, 25100 markings/sec, 1550 secs
lola: STP completed || 26 tries, 25895372 fired transitions, 1555 secs || 43738746 markings, 70942035 edges, 25332 markings/sec, 1555 secs
lola: STP completed || 26 tries, 25973289 fired transitions, 1560 secs || 43878737 markings, 71165954 edges, 27998 markings/sec, 1560 secs
lola: STP completed || 27 tries, 26057162 fired transitions, 1565 secs || 44020287 markings, 71391784 edges, 28310 markings/sec, 1565 secs
lola: STP completed || 27 tries, 26133977 fired transitions, 1570 secs || 44159762 markings, 71620213 edges, 27895 markings/sec, 1570 secs
lola: STP completed || 27 tries, 26210512 fired transitions, 1575 secs || 44298100 markings, 71841490 edges, 27668 markings/sec, 1575 secs
lola: STP completed || 27 tries, 26293966 fired transitions, 1580 secs || 44444475 markings, 72075063 edges, 29275 markings/sec, 1580 secs
lola: STP completed || 27 tries, 26378840 fired transitions, 1585 secs || 44560571 markings, 72261045 edges, 23219 markings/sec, 1585 secs
lola: STP completed || 27 tries, 26464046 fired transitions, 1590 secs || 44705838 markings, 72506774 edges, 29053 markings/sec, 1590 secs
lola: STP completed || 27 tries, 26547683 fired transitions, 1595 secs || 44850985 markings, 72741508 edges, 29029 markings/sec, 1595 secs
lola: STP completed || 27 tries, 26631226 fired transitions, 1600 secs || 44993134 markings, 72964514 edges, 28430 markings/sec, 1600 secs
lola: STP completed || 27 tries, 26715169 fired transitions, 1605 secs || 45139160 markings, 73204651 edges, 29205 markings/sec, 1605 secs
lola: STP completed || 27 tries, 26799377 fired transitions, 1610 secs || 45284327 markings, 73438637 edges, 29033 markings/sec, 1610 secs
lola: STP completed || 27 tries, 26883852 fired transitions, 1615 secs || 45409824 markings, 73649796 edges, 25099 markings/sec, 1615 secs
lola: STP completed || 27 tries, 26967255 fired transitions, 1620 secs || 45549072 markings, 73875720 edges, 27850 markings/sec, 1620 secs
lola: STP completed || 28 tries, 27051014 fired transitions, 1625 secs || 45691603 markings, 74108421 edges, 28506 markings/sec, 1625 secs
lola: STP completed || 28 tries, 27135344 fired transitions, 1630 secs || 45831594 markings, 74330435 edges, 27998 markings/sec, 1630 secs
lola: STP completed || 28 tries, 27217825 fired transitions, 1635 secs || 45976298 markings, 74568896 edges, 28941 markings/sec, 1635 secs
lola: STP completed || 28 tries, 27296684 fired transitions, 1640 secs || 46118704 markings, 74796429 edges, 28481 markings/sec, 1640 secs
lola: STP completed || 28 tries, 27374227 fired transitions, 1645 secs || 46256287 markings, 75013596 edges, 27517 markings/sec, 1645 secs
lola: STP completed || 28 tries, 27458357 fired transitions, 1650 secs || 46401829 markings, 75257613 edges, 29108 markings/sec, 1650 secs
lola: STP completed || 28 tries, 27542373 fired transitions, 1655 secs || 46546681 markings, 75496590 edges, 28970 markings/sec, 1655 secs
lola: STP completed || 28 tries, 27625254 fired transitions, 1660 secs || 46687677 markings, 75726940 edges, 28199 markings/sec, 1660 secs
lola: STP completed || 28 tries, 27710564 fired transitions, 1665 secs || 46833576 markings, 75968487 edges, 29180 markings/sec, 1665 secs
lola: STP completed || 28 tries, 27795426 fired transitions, 1670 secs || 46978114 markings, 76210361 edges, 28908 markings/sec, 1670 secs
lola: STP completed || 28 tries, 27879854 fired transitions, 1675 secs || 47121434 markings, 76454912 edges, 28664 markings/sec, 1675 secs
lola: STP completed || 28 tries, 27963309 fired transitions, 1680 secs || 47264147 markings, 76697349 edges, 28543 markings/sec, 1680 secs
lola: STP completed || 29 tries, 28048295 fired transitions, 1685 secs || 47408223 markings, 76939810 edges, 28815 markings/sec, 1685 secs
lola: STP completed || 29 tries, 28132683 fired transitions, 1690 secs || 47553411 markings, 77183090 edges, 29038 markings/sec, 1690 secs
lola: STP completed || 29 tries, 28216860 fired transitions, 1695 secs || 47696413 markings, 77427716 edges, 28600 markings/sec, 1695 secs
lola: STP completed || 29 tries, 28300170 fired transitions, 1700 secs || 47841907 markings, 77675597 edges, 29099 markings/sec, 1700 secs
lola: STP completed || 29 tries, 28384879 fired transitions, 1705 secs || 47982978 markings, 77905966 edges, 28214 markings/sec, 1705 secs
lola: STP completed || 29 tries, 28466815 fired transitions, 1710 secs || 48126378 markings, 78148443 edges, 28680 markings/sec, 1710 secs
lola: STP completed || 29 tries, 28551473 fired transitions, 1715 secs || 48272654 markings, 78398913 edges, 29255 markings/sec, 1715 secs
lola: STP completed || 29 tries, 28636050 fired transitions, 1720 secs || 48418182 markings, 78641051 edges, 29106 markings/sec, 1720 secs
lola: STP completed || 29 tries, 28720840 fired transitions, 1725 secs || 48560150 markings, 78871431 edges, 28394 markings/sec, 1725 secs
lola: STP completed || 29 tries, 28805460 fired transitions, 1730 secs || 48702765 markings, 79112296 edges, 28523 markings/sec, 1730 secs
lola: STP completed || 29 tries, 28890180 fired transitions, 1735 secs || 48846057 markings, 79356955 edges, 28658 markings/sec, 1735 secs
lola: STP completed || 29 tries, 28974206 fired transitions, 1740 secs || 48988470 markings, 79587545 edges, 28483 markings/sec, 1740 secs
lola: STP completed || 30 tries, 29057100 fired transitions, 1745 secs || 49130498 markings, 79814758 edges, 28406 markings/sec, 1745 secs
lola: STP completed || 30 tries, 29141138 fired transitions, 1750 secs || 49270444 markings, 80035962 edges, 27989 markings/sec, 1750 secs
lola: STP completed || 30 tries, 29225310 fired transitions, 1755 secs || 49411520 markings, 80261013 edges, 28215 markings/sec, 1755 secs
lola: STP completed || 30 tries, 29309538 fired transitions, 1760 secs || 49558665 markings, 80508643 edges, 29429 markings/sec, 1760 secs
lola: STP completed || 30 tries, 29394171 fired transitions, 1765 secs || 49704157 markings, 80756486 edges, 29098 markings/sec, 1765 secs
lola: STP completed || 30 tries, 29479029 fired transitions, 1770 secs || 49845472 markings, 80983542 edges, 28263 markings/sec, 1770 secs
lola: STP completed || 30 tries, 29563339 fired transitions, 1775 secs || 49985534 markings, 81207693 edges, 28012 markings/sec, 1775 secs
lola: STP completed || 30 tries, 29646615 fired transitions, 1780 secs || 50128283 markings, 81437339 edges, 28550 markings/sec, 1780 secs
lola: STP completed || 30 tries, 29730940 fired transitions, 1785 secs || 50271274 markings, 81669461 edges, 28598 markings/sec, 1785 secs
lola: STP completed || 30 tries, 29807699 fired transitions, 1790 secs || 50414962 markings, 81907451 edges, 28738 markings/sec, 1790 secs
lola: STP completed || 30 tries, 29883357 fired transitions, 1795 secs || 50560329 markings, 82160524 edges, 29073 markings/sec, 1795 secs
lola: STP completed || 30 tries, 29965930 fired transitions, 1800 secs || 50701331 markings, 82395675 edges, 28200 markings/sec, 1800 secs
lola: STP completed || 31 tries, 30046287 fired transitions, 1805 secs || 50847179 markings, 82646439 edges, 29170 markings/sec, 1805 secs
lola: STP completed || 31 tries, 30117536 fired transitions, 1810 secs || 50989325 markings, 82878497 edges, 28429 markings/sec, 1810 secs
lola: STP completed || 31 tries, 30201936 fired transitions, 1815 secs || 51132778 markings, 83119638 edges, 28691 markings/sec, 1815 secs
lola: STP completed || 31 tries, 30286646 fired transitions, 1820 secs || 51278617 markings, 83364792 edges, 29168 markings/sec, 1820 secs
lola: STP completed || 31 tries, 30371876 fired transitions, 1825 secs || 51425917 markings, 83618492 edges, 29460 markings/sec, 1825 secs
lola: STP completed || 31 tries, 30456524 fired transitions, 1830 secs || 51572375 markings, 83863677 edges, 29292 markings/sec, 1830 secs
lola: STP completed || 31 tries, 30540877 fired transitions, 1835 secs || 51720430 markings, 84111656 edges, 29611 markings/sec, 1835 secs
lola: STP completed || 31 tries, 30624613 fired transitions, 1840 secs || 51864336 markings, 84342691 edges, 28781 markings/sec, 1840 secs
lola: STP completed || 31 tries, 30708456 fired transitions, 1845 secs || 52002654 markings, 84556869 edges, 27664 markings/sec, 1845 secs
lola: STP completed || 31 tries, 30793986 fired transitions, 1850 secs || 52141520 markings, 84773073 edges, 27773 markings/sec, 1850 secs
lola: STP completed || 31 tries, 30877725 fired transitions, 1855 secs || 52280541 markings, 84993510 edges, 27804 markings/sec, 1855 secs
lola: STP completed || 31 tries, 30962355 fired transitions, 1860 secs || 52421154 markings, 85226570 edges, 28123 markings/sec, 1860 secs
lola: STP completed || 32 tries, 31046282 fired transitions, 1865 secs || 52562611 markings, 85455801 edges, 28291 markings/sec, 1865 secs
lola: STP completed || 32 tries, 31130483 fired transitions, 1870 secs || 52701581 markings, 85687697 edges, 27794 markings/sec, 1870 secs
lola: STP completed || 32 tries, 31214629 fired transitions, 1875 secs || 52847395 markings, 85940186 edges, 29163 markings/sec, 1875 secs
lola: STP completed || 32 tries, 31298038 fired transitions, 1880 secs || 52992447 markings, 86181346 edges, 29010 markings/sec, 1880 secs
lola: STP completed || 32 tries, 31377704 fired transitions, 1885 secs || 53141349 markings, 86416504 edges, 29780 markings/sec, 1885 secs
lola: STP completed || 32 tries, 31448587 fired transitions, 1890 secs || 53284055 markings, 86639903 edges, 28541 markings/sec, 1890 secs
lola: STP completed || 32 tries, 31532231 fired transitions, 1895 secs || 53429115 markings, 86886936 edges, 29012 markings/sec, 1895 secs
lola: STP completed || 32 tries, 31617032 fired transitions, 1900 secs || 53570655 markings, 87116568 edges, 28308 markings/sec, 1900 secs
lola: STP completed || 32 tries, 31700644 fired transitions, 1905 secs || 53711985 markings, 87356316 edges, 28266 markings/sec, 1905 secs
lola: STP completed || 32 tries, 31784789 fired transitions, 1910 secs || 53852855 markings, 87585967 edges, 28174 markings/sec, 1910 secs
lola: STP completed || 32 tries, 31868967 fired transitions, 1915 secs || 53995156 markings, 87823218 edges, 28460 markings/sec, 1915 secs
lola: STP completed || 32 tries, 31953052 fired transitions, 1920 secs || 54138899 markings, 88066182 edges, 28749 markings/sec, 1920 secs
lola: STP completed || 33 tries, 32036782 fired transitions, 1925 secs || 54283420 markings, 88307528 edges, 28904 markings/sec, 1925 secs
lola: STP completed || 33 tries, 32121980 fired transitions, 1930 secs || 54424283 markings, 88536691 edges, 28173 markings/sec, 1930 secs
lola: STP completed || 33 tries, 32206689 fired transitions, 1935 secs || 54566532 markings, 88776962 edges, 28450 markings/sec, 1935 secs
lola: STP completed || 33 tries, 32290125 fired transitions, 1940 secs || 54706469 markings, 89006188 edges, 27987 markings/sec, 1940 secs
lola: STP completed || 33 tries, 32372651 fired transitions, 1945 secs || 54848303 markings, 89239634 edges, 28367 markings/sec, 1945 secs
lola: STP completed || 33 tries, 32449141 fired transitions, 1950 secs || 54987781 markings, 89480606 edges, 27896 markings/sec, 1950 secs
lola: STP completed || 33 tries, 32525374 fired transitions, 1955 secs || 55116421 markings, 89696352 edges, 25728 markings/sec, 1955 secs
lola: STP completed || 33 tries, 32609511 fired transitions, 1960 secs || 55259792 markings, 89932513 edges, 28674 markings/sec, 1960 secs
lola: STP completed || 33 tries, 32694041 fired transitions, 1965 secs || 55402192 markings, 90160676 edges, 28480 markings/sec, 1965 secs
lola: STP completed || 33 tries, 32777497 fired transitions, 1970 secs || 55543821 markings, 90387538 edges, 28326 markings/sec, 1970 secs
lola: STP completed || 33 tries, 32861268 fired transitions, 1975 secs || 55684533 markings, 90614060 edges, 28142 markings/sec, 1975 secs
lola: STP completed || 33 tries, 32944764 fired transitions, 1980 secs || 55824701 markings, 90842961 edges, 28034 markings/sec, 1980 secs
lola: STP completed || 34 tries, 33028824 fired transitions, 1985 secs || 55965979 markings, 91070258 edges, 28256 markings/sec, 1985 secs
lola: STP completed || 34 tries, 33112329 fired transitions, 1990 secs || 56109521 markings, 91301939 edges, 28708 markings/sec, 1990 secs
lola: STP completed || 34 tries, 33197250 fired transitions, 1995 secs || 56251755 markings, 91534267 edges, 28447 markings/sec, 1995 secs
lola: STP completed || 34 tries, 33280982 fired transitions, 2000 secs || 56392661 markings, 91765851 edges, 28181 markings/sec, 2000 secs
lola: STP completed || 34 tries, 33366561 fired transitions, 2005 secs || 56535232 markings, 92001662 edges, 28514 markings/sec, 2005 secs
lola: STP completed || 34 tries, 33450385 fired transitions, 2010 secs || 56677719 markings, 92237207 edges, 28497 markings/sec, 2010 secs
lola: STP completed || 34 tries, 33533982 fired transitions, 2015 secs || 56816418 markings, 92468647 edges, 27740 markings/sec, 2015 secs
lola: STP completed || 34 tries, 33617724 fired transitions, 2020 secs || 56959253 markings, 92710078 edges, 28567 markings/sec, 2020 secs
lola: STP completed || 34 tries, 33701998 fired transitions, 2025 secs || 57103497 markings, 92951366 edges, 28849 markings/sec, 2025 secs
lola: STP completed || 34 tries, 33785721 fired transitions, 2030 secs || 57253667 markings, 93189398 edges, 30034 markings/sec, 2030 secs
lola: STP completed || 34 tries, 33869524 fired transitions, 2035 secs || 57399267 markings, 93432146 edges, 29120 markings/sec, 2035 secs
lola: STP completed || 34 tries, 33954781 fired transitions, 2040 secs || 57541793 markings, 93673580 edges, 28505 markings/sec, 2040 secs
lola: STP completed || 35 tries, 34038381 fired transitions, 2045 secs || 57687852 markings, 93918491 edges, 29212 markings/sec, 2045 secs
lola: STP completed || 35 tries, 34122663 fired transitions, 2050 secs || 57831463 markings, 94158161 edges, 28722 markings/sec, 2050 secs
lola: STP completed || 35 tries, 34206107 fired transitions, 2055 secs || 57972154 markings, 94385531 edges, 28138 markings/sec, 2055 secs
lola: STP completed || 35 tries, 34290288 fired transitions, 2060 secs || 58112801 markings, 94614126 edges, 28129 markings/sec, 2060 secs
lola: STP completed || 35 tries, 34357852 fired transitions, 2065 secs || 58251478 markings, 94839584 edges, 27735 markings/sec, 2065 secs
lola: STP completed || 35 tries, 34442486 fired transitions, 2070 secs || 58395161 markings, 95073169 edges, 28737 markings/sec, 2070 secs
lola: STP completed || 35 tries, 34527667 fired transitions, 2075 secs || 58537926 markings, 95299884 edges, 28553 markings/sec, 2075 secs
lola: STP completed || 35 tries, 34612102 fired transitions, 2080 secs || 58678362 markings, 95531937 edges, 28087 markings/sec, 2080 secs
lola: STP completed || 35 tries, 34695817 fired transitions, 2085 secs || 58821625 markings, 95762086 edges, 28653 markings/sec, 2085 secs
lola: STP completed || 35 tries, 34779214 fired transitions, 2090 secs || 58966273 markings, 95993541 edges, 28930 markings/sec, 2090 secs
lola: STP completed || 35 tries, 34863869 fired transitions, 2095 secs || 59108546 markings, 96219462 edges, 28455 markings/sec, 2095 secs
lola: STP completed || 35 tries, 34949194 fired transitions, 2100 secs || 59253211 markings, 96457663 edges, 28933 markings/sec, 2100 secs
lola: STP completed || 36 tries, 35033079 fired transitions, 2105 secs || 59391256 markings, 96676563 edges, 27609 markings/sec, 2105 secs
lola: STP completed || 36 tries, 35117728 fired transitions, 2110 secs || 59531910 markings, 96904552 edges, 28131 markings/sec, 2110 secs
lola: STP completed || 36 tries, 35200223 fired transitions, 2115 secs || 59675204 markings, 97137859 edges, 28659 markings/sec, 2115 secs
lola: STP completed || 36 tries, 35284361 fired transitions, 2120 secs || 59818199 markings, 97373957 edges, 28599 markings/sec, 2120 secs
lola: STP completed || 36 tries, 35368562 fired transitions, 2125 secs || 59963359 markings, 97615983 edges, 29032 markings/sec, 2125 secs
lola: STP completed || 36 tries, 35452719 fired transitions, 2130 secs || 60104923 markings, 97843714 edges, 28313 markings/sec, 2130 secs
lola: STP completed || 36 tries, 35536091 fired transitions, 2135 secs || 60246207 markings, 98077621 edges, 28257 markings/sec, 2135 secs
lola: STP completed || 36 tries, 35619215 fired transitions, 2140 secs || 60389204 markings, 98318844 edges, 28599 markings/sec, 2140 secs
lola: STP completed || 36 tries, 35702975 fired transitions, 2145 secs || 60532698 markings, 98571059 edges, 28699 markings/sec, 2145 secs
lola: STP completed || 36 tries, 35787431 fired transitions, 2150 secs || 60673588 markings, 98811255 edges, 28178 markings/sec, 2150 secs
lola: STP completed || 36 tries, 35872219 fired transitions, 2155 secs || 60820742 markings, 99070893 edges, 29431 markings/sec, 2155 secs
lola: STP completed || 36 tries, 35939233 fired transitions, 2160 secs || 60969326 markings, 99330089 edges, 29717 markings/sec, 2160 secs
lola: STP completed || 37 tries, 36023244 fired transitions, 2165 secs || 61117520 markings, 99562886 edges, 29639 markings/sec, 2165 secs
lola: STP completed || 37 tries, 36107332 fired transitions, 2170 secs || 61267460 markings, 99812421 edges, 29988 markings/sec, 2170 secs
lola: STP completed || 37 tries, 36178617 fired transitions, 2175 secs || 61413594 markings, 100043983 edges, 29227 markings/sec, 2175 secs
lola: STP completed || 37 tries, 36258925 fired transitions, 2180 secs || 61558329 markings, 100273815 edges, 28947 markings/sec, 2180 secs
lola: STP completed || 37 tries, 36341666 fired transitions, 2185 secs || 61701596 markings, 100504585 edges, 28653 markings/sec, 2185 secs
lola: STP completed || 37 tries, 36425161 fired transitions, 2190 secs || 61846960 markings, 100741780 edges, 29073 markings/sec, 2190 secs
lola: STP completed || 37 tries, 36509410 fired transitions, 2195 secs || 61991138 markings, 100972613 edges, 28836 markings/sec, 2195 secs
lola: STP completed || 37 tries, 36594374 fired transitions, 2200 secs || 62137189 markings, 101207622 edges, 29210 markings/sec, 2200 secs
lola: STP completed || 37 tries, 36678534 fired transitions, 2205 secs || 62285139 markings, 101458166 edges, 29590 markings/sec, 2205 secs
lola: STP completed || 37 tries, 36762197 fired transitions, 2210 secs || 62431383 markings, 101706748 edges, 29249 markings/sec, 2210 secs
lola: STP completed || 37 tries, 36846697 fired transitions, 2215 secs || 62576776 markings, 101945393 edges, 29079 markings/sec, 2215 secs
lola: STP completed || 37 tries, 36930617 fired transitions, 2220 secs || 62723224 markings, 102188309 edges, 29290 markings/sec, 2220 secs
lola: STP completed || 38 tries, 37014168 fired transitions, 2225 secs || 62869967 markings, 102433701 edges, 29349 markings/sec, 2225 secs
lola: STP completed || 38 tries, 37098575 fired transitions, 2230 secs || 63018313 markings, 102683601 edges, 29669 markings/sec, 2230 secs
lola: STP completed || 38 tries, 37182863 fired transitions, 2235 secs || 63163228 markings, 102911567 edges, 28983 markings/sec, 2235 secs
lola: STP completed || 38 tries, 37268000 fired transitions, 2240 secs || 63307467 markings, 103143535 edges, 28848 markings/sec, 2240 secs
lola: STP completed || 38 tries, 37353053 fired transitions, 2245 secs || 63451518 markings, 103379247 edges, 28810 markings/sec, 2245 secs
lola: STP completed || 38 tries, 37437750 fired transitions, 2250 secs || 63592273 markings, 103608674 edges, 28151 markings/sec, 2250 secs
lola: STP completed || 38 tries, 37508362 fired transitions, 2255 secs || 63736008 markings, 103847501 edges, 28747 markings/sec, 2255 secs
lola: STP completed || 38 tries, 37589016 fired transitions, 2260 secs || 63880809 markings, 104087967 edges, 28960 markings/sec, 2260 secs
lola: STP completed || 38 tries, 37672647 fired transitions, 2265 secs || 64027287 markings, 104335328 edges, 29296 markings/sec, 2265 secs
lola: STP completed || 38 tries, 37747762 fired transitions, 2270 secs || 64171445 markings, 104583287 edges, 28832 markings/sec, 2270 secs
lola: STP completed || 38 tries, 37823554 fired transitions, 2275 secs || 64315691 markings, 104831716 edges, 28849 markings/sec, 2275 secs
lola: STP completed || 38 tries, 37907696 fired transitions, 2280 secs || 64461385 markings, 105081400 edges, 29139 markings/sec, 2280 secs
lola: STP completed || 38 tries, 37991158 fired transitions, 2285 secs || 64605005 markings, 105314677 edges, 28724 markings/sec, 2285 secs
lola: STP completed || 39 tries, 38074647 fired transitions, 2290 secs || 64748911 markings, 105554138 edges, 28781 markings/sec, 2290 secs
lola: STP completed || 39 tries, 38158768 fired transitions, 2295 secs || 64890442 markings, 105791006 edges, 28306 markings/sec, 2295 secs
lola: STP completed || 39 tries, 38242022 fired transitions, 2300 secs || 65032176 markings, 106031769 edges, 28347 markings/sec, 2300 secs
lola: STP completed || 39 tries, 38326923 fired transitions, 2305 secs || 65174745 markings, 106264894 edges, 28514 markings/sec, 2305 secs
lola: STP completed || 39 tries, 38408215 fired transitions, 2310 secs || 65319173 markings, 106507784 edges, 28886 markings/sec, 2310 secs
lola: STP completed || 39 tries, 38492263 fired transitions, 2315 secs || 65461760 markings, 106743167 edges, 28517 markings/sec, 2315 secs
lola: STP completed || 39 tries, 38575867 fired transitions, 2320 secs || 65597607 markings, 106972280 edges, 27169 markings/sec, 2320 secs
lola: STP completed || 39 tries, 38659495 fired transitions, 2325 secs || 65743814 markings, 107222199 edges, 29241 markings/sec, 2325 secs
lola: STP completed || 39 tries, 38744225 fired transitions, 2330 secs || 65885531 markings, 107462827 edges, 28343 markings/sec, 2330 secs
lola: STP completed || 39 tries, 38828974 fired transitions, 2335 secs || 66029402 markings, 107700960 edges, 28774 markings/sec, 2335 secs
lola: STP completed || 39 tries, 38904644 fired transitions, 2340 secs || 66163062 markings, 107926892 edges, 26732 markings/sec, 2340 secs
lola: STP completed || 39 tries, 38982028 fired transitions, 2345 secs || 66305100 markings, 108158426 edges, 28408 markings/sec, 2345 secs
lola: STP completed || 40 tries, 39053913 fired transitions, 2350 secs || 66448004 markings, 108404791 edges, 28581 markings/sec, 2350 secs
lola: STP completed || 40 tries, 39120298 fired transitions, 2355 secs || 66585737 markings, 108632102 edges, 27547 markings/sec, 2355 secs
lola: STP completed || 40 tries, 39204607 fired transitions, 2360 secs || 66729266 markings, 108862778 edges, 28706 markings/sec, 2360 secs
lola: STP completed || 40 tries, 39288493 fired transitions, 2365 secs || 66873290 markings, 109095583 edges, 28805 markings/sec, 2365 secs
lola: STP completed || 40 tries, 39372989 fired transitions, 2370 secs || 67015311 markings, 109320418 edges, 28404 markings/sec, 2370 secs
lola: STP completed || 40 tries, 39457416 fired transitions, 2375 secs || 67159463 markings, 109553126 edges, 28830 markings/sec, 2375 secs
lola: STP completed || 40 tries, 39540482 fired transitions, 2380 secs || 67303198 markings, 109794657 edges, 28747 markings/sec, 2380 secs
lola: STP completed || 40 tries, 39621419 fired transitions, 2385 secs || 67444162 markings, 110033169 edges, 28193 markings/sec, 2385 secs
lola: STP completed || 40 tries, 39702659 fired transitions, 2390 secs || 67583874 markings, 110260077 edges, 27942 markings/sec, 2390 secs
lola: STP completed || 40 tries, 39786415 fired transitions, 2395 secs || 67724831 markings, 110491669 edges, 28191 markings/sec, 2395 secs
lola: STP completed || 40 tries, 39870756 fired transitions, 2400 secs || 67864448 markings, 110716333 edges, 27923 markings/sec, 2400 secs
lola: STP completed || 40 tries, 39954423 fired transitions, 2405 secs || 68004301 markings, 110944602 edges, 27971 markings/sec, 2405 secs
lola: STP completed || 41 tries, 40038141 fired transitions, 2410 secs || 68144025 markings, 111173298 edges, 27945 markings/sec, 2410 secs
lola: STP completed || 41 tries, 40121559 fired transitions, 2415 secs || 68285606 markings, 111405056 edges, 28316 markings/sec, 2415 secs
lola: STP completed || 41 tries, 40205208 fired transitions, 2420 secs || 68425762 markings, 111628171 edges, 28031 markings/sec, 2420 secs
lola: STP completed || 41 tries, 40289181 fired transitions, 2425 secs || 68570614 markings, 111872363 edges, 28970 markings/sec, 2425 secs
lola: STP completed || 41 tries, 40363633 fired transitions, 2430 secs || 68711178 markings, 112104713 edges, 28113 markings/sec, 2430 secs
lola: STP completed || 41 tries, 40439931 fired transitions, 2435 secs || 68853632 markings, 112343358 edges, 28491 markings/sec, 2435 secs
lola: STP completed || 41 tries, 40523737 fired transitions, 2440 secs || 68997261 markings, 112580767 edges, 28726 markings/sec, 2440 secs
lola: STP completed || 41 tries, 40608233 fired transitions, 2445 secs || 69140390 markings, 112817405 edges, 28626 markings/sec, 2445 secs
lola: STP completed || 41 tries, 40691824 fired transitions, 2450 secs || 69286391 markings, 113068543 edges, 29200 markings/sec, 2450 secs
lola: STP completed || 41 tries, 40775663 fired transitions, 2455 secs || 69426548 markings, 113296525 edges, 28031 markings/sec, 2455 secs
lola: STP completed || 41 tries, 40860278 fired transitions, 2460 secs || 69569036 markings, 113531725 edges, 28498 markings/sec, 2460 secs
lola: STP completed || 41 tries, 40944232 fired transitions, 2465 secs || 69714217 markings, 113787067 edges, 29036 markings/sec, 2465 secs
lola: STP completed || 42 tries, 41028601 fired transitions, 2470 secs || 69858176 markings, 114030621 edges, 28792 markings/sec, 2470 secs
lola: STP completed || 42 tries, 41110708 fired transitions, 2475 secs || 70000145 markings, 114268699 edges, 28394 markings/sec, 2475 secs
lola: STP completed || 42 tries, 41194969 fired transitions, 2480 secs || 70143720 markings, 114508145 edges, 28715 markings/sec, 2480 secs
lola: STP completed || 42 tries, 41277697 fired transitions, 2485 secs || 70287098 markings, 114761281 edges, 28676 markings/sec, 2485 secs
lola: STP completed || 42 tries, 41361471 fired transitions, 2490 secs || 70430026 markings, 115007772 edges, 28586 markings/sec, 2490 secs
lola: STP completed || 42 tries, 41445330 fired transitions, 2495 secs || 70571504 markings, 115249808 edges, 28296 markings/sec, 2495 secs
lola: STP completed || 42 tries, 41529398 fired transitions, 2500 secs || 70711374 markings, 115483460 edges, 27974 markings/sec, 2500 secs
lola: STP completed || 42 tries, 41612645 fired transitions, 2505 secs || 70851523 markings, 115716822 edges, 28030 markings/sec, 2505 secs
lola: STP completed || 42 tries, 41695923 fired transitions, 2510 secs || 70990464 markings, 115941384 edges, 27788 markings/sec, 2510 secs
lola: STP completed || 42 tries, 41781150 fired transitions, 2515 secs || 71130617 markings, 116167033 edges, 28031 markings/sec, 2515 secs
lola: STP completed || 42 tries, 41865593 fired transitions, 2520 secs || 71274675 markings, 116406420 edges, 28812 markings/sec, 2520 secs
lola: STP completed || 42 tries, 41948370 fired transitions, 2525 secs || 71415565 markings, 116637260 edges, 28178 markings/sec, 2525 secs
lola: STP completed || 43 tries, 42031836 fired transitions, 2530 secs || 71556824 markings, 116867445 edges, 28252 markings/sec, 2530 secs
lola: STP completed || 43 tries, 42117062 fired transitions, 2535 secs || 71702924 markings, 117113361 edges, 29220 markings/sec, 2535 secs
lola: STP completed || 43 tries, 42201354 fired transitions, 2540 secs || 71843366 markings, 117340437 edges, 28088 markings/sec, 2540 secs
lola: STP completed || 43 tries, 42285357 fired transitions, 2545 secs || 71983095 markings, 117567793 edges, 27946 markings/sec, 2545 secs
lola: STP completed || 43 tries, 42370021 fired transitions, 2550 secs || 72125363 markings, 117810187 edges, 28454 markings/sec, 2550 secs
lola: STP completed || 43 tries, 42454885 fired transitions, 2555 secs || 72266988 markings, 118045536 edges, 28325 markings/sec, 2555 secs
lola: STP completed || 43 tries, 42522382 fired transitions, 2560 secs || 72409333 markings, 118274466 edges, 28469 markings/sec, 2560 secs
lola: STP completed || 43 tries, 42607180 fired transitions, 2565 secs || 72553799 markings, 118506201 edges, 28893 markings/sec, 2565 secs
lola: STP completed || 43 tries, 42689641 fired transitions, 2570 secs || 72699262 markings, 118742509 edges, 29093 markings/sec, 2570 secs
lola: STP completed || 43 tries, 42771601 fired transitions, 2575 secs || 72843159 markings, 118972479 edges, 28779 markings/sec, 2575 secs
lola: STP completed || 43 tries, 42856253 fired transitions, 2580 secs || 72984502 markings, 119197208 edges, 28269 markings/sec, 2580 secs
lola: STP completed || 43 tries, 42939774 fired transitions, 2585 secs || 73125543 markings, 119420588 edges, 28208 markings/sec, 2585 secs
lola: STP completed || 44 tries, 43023862 fired transitions, 2590 secs || 73268192 markings, 119652628 edges, 28530 markings/sec, 2590 secs
lola: STP completed || 44 tries, 43106868 fired transitions, 2595 secs || 73410510 markings, 119888589 edges, 28464 markings/sec, 2595 secs
lola: STP completed || 44 tries, 43190749 fired transitions, 2600 secs || 73553011 markings, 120133318 edges, 28500 markings/sec, 2600 secs
lola: STP completed || 44 tries, 43275619 fired transitions, 2605 secs || 73693764 markings, 120360268 edges, 28151 markings/sec, 2605 secs
lola: STP completed || 44 tries, 43360194 fired transitions, 2610 secs || 73836093 markings, 120592171 edges, 28466 markings/sec, 2610 secs
lola: STP completed || 44 tries, 43444657 fired transitions, 2615 secs || 73977271 markings, 120820257 edges, 28236 markings/sec, 2615 secs
lola: STP completed || 44 tries, 43529088 fired transitions, 2620 secs || 74117972 markings, 121044003 edges, 28140 markings/sec, 2620 secs
lola: STP completed || 44 tries, 43612411 fired transitions, 2625 secs || 74258562 markings, 121266877 edges, 28118 markings/sec, 2625 secs
lola: STP completed || 44 tries, 43696331 fired transitions, 2630 secs || 74398630 markings, 121491630 edges, 28014 markings/sec, 2630 secs
lola: STP completed || 44 tries, 43779253 fired transitions, 2635 secs || 74538851 markings, 121719350 edges, 28044 markings/sec, 2635 secs
lola: STP completed || 44 tries, 43863624 fired transitions, 2640 secs || 74679058 markings, 121946883 edges, 28041 markings/sec, 2640 secs
lola: STP completed || 44 tries, 43947589 fired transitions, 2645 secs || 74822460 markings, 122187519 edges, 28680 markings/sec, 2645 secs
lola: STP completed || 45 tries, 44031829 fired transitions, 2650 secs || 74966221 markings, 122426589 edges, 28752 markings/sec, 2650 secs
lola: STP completed || 45 tries, 44112722 fired transitions, 2655 secs || 75109106 markings, 122665824 edges, 28577 markings/sec, 2655 secs
lola: STP completed || 45 tries, 44197379 fired transitions, 2660 secs || 75256910 markings, 122905446 edges, 29561 markings/sec, 2660 secs
lola: STP completed || 45 tries, 44281506 fired transitions, 2665 secs || 75402282 markings, 123147571 edges, 29074 markings/sec, 2665 secs
lola: STP completed || 45 tries, 44365289 fired transitions, 2670 secs || 75548484 markings, 123386378 edges, 29240 markings/sec, 2670 secs
lola: STP completed || 45 tries, 44449817 fired transitions, 2675 secs || 75692771 markings, 123631603 edges, 28857 markings/sec, 2675 secs
lola: STP completed || 45 tries, 44534128 fired transitions, 2680 secs || 75836307 markings, 123875949 edges, 28707 markings/sec, 2680 secs
lola: STP completed || 45 tries, 44618041 fired transitions, 2685 secs || 75981917 markings, 124134618 edges, 29122 markings/sec, 2685 secs
lola: STP completed || 45 tries, 44701459 fired transitions, 2690 secs || 76126594 markings, 124383874 edges, 28935 markings/sec, 2690 secs
lola: STP completed || 45 tries, 44784879 fired transitions, 2695 secs || 76270739 markings, 124630650 edges, 28829 markings/sec, 2695 secs
lola: STP completed || 45 tries, 44868239 fired transitions, 2700 secs || 76413163 markings, 124871283 edges, 28485 markings/sec, 2700 secs
lola: STP completed || 45 tries, 44951428 fired transitions, 2705 secs || 76559806 markings, 125127549 edges, 29329 markings/sec, 2705 secs
lola: STP completed || 46 tries, 45036787 fired transitions, 2710 secs || 76700739 markings, 125355536 edges, 28187 markings/sec, 2710 secs
lola: STP completed || 46 tries, 45121562 fired transitions, 2715 secs || 76845397 markings, 125603146 edges, 28932 markings/sec, 2715 secs
lola: STP completed || 46 tries, 45188479 fired transitions, 2720 secs || 76987340 markings, 125845930 edges, 28389 markings/sec, 2720 secs
lola: STP completed || 46 tries, 45272622 fired transitions, 2725 secs || 77128820 markings, 126081820 edges, 28296 markings/sec, 2725 secs
lola: STP completed || 46 tries, 45357098 fired transitions, 2730 secs || 77269700 markings, 126312104 edges, 28176 markings/sec, 2730 secs
lola: STP completed || 46 tries, 45427208 fired transitions, 2735 secs || 77411416 markings, 126542919 edges, 28343 markings/sec, 2735 secs
lola: STP completed || 46 tries, 45508222 fired transitions, 2740 secs || 77554967 markings, 126783467 edges, 28710 markings/sec, 2740 secs
lola: STP completed || 46 tries, 45591406 fired transitions, 2745 secs || 77695685 markings, 127014692 edges, 28144 markings/sec, 2745 secs
lola: STP completed || 46 tries, 45674579 fired transitions, 2750 secs || 77833715 markings, 127234948 edges, 27606 markings/sec, 2750 secs
lola: STP completed || 46 tries, 45757666 fired transitions, 2755 secs || 77970455 markings, 127454181 edges, 27348 markings/sec, 2755 secs
lola: STP completed || 46 tries, 45837980 fired transitions, 2760 secs || 78107548 markings, 127674267 edges, 27419 markings/sec, 2760 secs
lola: STP completed || 46 tries, 45920825 fired transitions, 2765 secs || 78247168 markings, 127896289 edges, 27924 markings/sec, 2765 secs
lola: STP completed || 47 tries, 46004867 fired transitions, 2770 secs || 78386347 markings, 128123632 edges, 27836 markings/sec, 2770 secs
lola: STP completed || 47 tries, 46088258 fired transitions, 2775 secs || 78528891 markings, 128366785 edges, 28509 markings/sec, 2775 secs
lola: STP completed || 47 tries, 46172350 fired transitions, 2780 secs || 78670855 markings, 128603191 edges, 28393 markings/sec, 2780 secs
lola: STP completed || 47 tries, 46256012 fired transitions, 2785 secs || 78811819 markings, 128830926 edges, 28193 markings/sec, 2785 secs
lola: STP completed || 47 tries, 46341020 fired transitions, 2790 secs || 78954688 markings, 129074547 edges, 28574 markings/sec, 2790 secs
lola: STP completed || 47 tries, 46423562 fired transitions, 2795 secs || 79099523 markings, 129308185 edges, 28967 markings/sec, 2795 secs
lola: STP completed || 47 tries, 46505333 fired transitions, 2800 secs || 79243986 markings, 129541584 edges, 28893 markings/sec, 2800 secs
lola: STP completed || 47 tries, 46587101 fired transitions, 2805 secs || 79387595 markings, 129768762 edges, 28722 markings/sec, 2805 secs
lola: STP completed || 47 tries, 46669066 fired transitions, 2810 secs || 79525622 markings, 129983137 edges, 27605 markings/sec, 2810 secs
lola: STP completed || 47 tries, 46751003 fired transitions, 2815 secs || 79665684 markings, 130205382 edges, 28012 markings/sec, 2815 secs
lola: STP completed || 47 tries, 46832457 fired transitions, 2820 secs || 79809402 markings, 130432748 edges, 28744 markings/sec, 2820 secs
lola: STP completed || 47 tries, 46917621 fired transitions, 2825 secs || 79951955 markings, 130653874 edges, 28511 markings/sec, 2825 secs
lola: STP completed || 48 tries, 47002376 fired transitions, 2830 secs || 80095167 markings, 130877899 edges, 28642 markings/sec, 2830 secs
lola: STP completed || 48 tries, 47086731 fired transitions, 2835 secs || 80241965 markings, 131113593 edges, 29360 markings/sec, 2835 secs
lola: STP completed || 48 tries, 47170431 fired transitions, 2840 secs || 80383917 markings, 131333630 edges, 28390 markings/sec, 2840 secs
lola: STP completed || 48 tries, 47254503 fired transitions, 2845 secs || 80522486 markings, 131550076 edges, 27714 markings/sec, 2845 secs
lola: STP completed || 48 tries, 47339473 fired transitions, 2850 secs || 80642576 markings, 131736261 edges, 24018 markings/sec, 2850 secs
lola: STP completed || 48 tries, 47423284 fired transitions, 2855 secs || 80782935 markings, 131954430 edges, 28072 markings/sec, 2855 secs
lola: STP completed || 48 tries, 47508462 fired transitions, 2860 secs || 80926782 markings, 132182744 edges, 28769 markings/sec, 2860 secs
lola: STP completed || 48 tries, 47592330 fired transitions, 2865 secs || 81072238 markings, 132421473 edges, 29091 markings/sec, 2865 secs
lola: STP completed || 48 tries, 47676369 fired transitions, 2870 secs || 81217230 markings, 132657813 edges, 28998 markings/sec, 2870 secs
lola: STP completed || 48 tries, 47760479 fired transitions, 2875 secs || 81363618 markings, 132893284 edges, 29278 markings/sec, 2875 secs
lola: STP completed || 48 tries, 47844024 fired transitions, 2880 secs || 81509304 markings, 133133934 edges, 29137 markings/sec, 2880 secs
lola: STP completed || 48 tries, 47928345 fired transitions, 2885 secs || 81652434 markings, 133367062 edges, 28626 markings/sec, 2885 secs
lola: STP completed || 49 tries, 48013583 fired transitions, 2890 secs || 81796471 markings, 133602428 edges, 28807 markings/sec, 2890 secs
lola: STP completed || 49 tries, 48097908 fired transitions, 2895 secs || 81940682 markings, 133833861 edges, 28842 markings/sec, 2895 secs
lola: STP completed || 49 tries, 48181374 fired transitions, 2900 secs || 82084690 markings, 134067159 edges, 28802 markings/sec, 2900 secs
lola: STP completed || 49 tries, 48265825 fired transitions, 2905 secs || 82229405 markings, 134307140 edges, 28943 markings/sec, 2905 secs
lola: STP completed || 49 tries, 48349376 fired transitions, 2910 secs || 82371593 markings, 134537254 edges, 28438 markings/sec, 2910 secs
lola: STP completed || 49 tries, 48433767 fired transitions, 2915 secs || 82515642 markings, 134770447 edges, 28810 markings/sec, 2915 secs
lola: STP completed || 49 tries, 48519170 fired transitions, 2920 secs || 82658836 markings, 135001733 edges, 28639 markings/sec, 2920 secs
lola: STP completed || 49 tries, 48603635 fired transitions, 2925 secs || 82806815 markings, 135250233 edges, 29596 markings/sec, 2925 secs
lola: STP completed || 49 tries, 48687677 fired transitions, 2930 secs || 82954073 markings, 135492104 edges, 29452 markings/sec, 2930 secs
lola: STP completed || 49 tries, 48772177 fired transitions, 2935 secs || 83100672 markings, 135730861 edges, 29320 markings/sec, 2935 secs
lola: STP completed || 49 tries, 48856583 fired transitions, 2940 secs || 83246401 markings, 135967415 edges, 29146 markings/sec, 2940 secs
lola: STP completed || 49 tries, 48940019 fired transitions, 2945 secs || 83389941 markings, 136202491 edges, 28708 markings/sec, 2945 secs
lola: STP completed || 50 tries, 49023779 fired transitions, 2950 secs || 83535611 markings, 136444324 edges, 29134 markings/sec, 2950 secs
lola: STP completed || 50 tries, 49108047 fired transitions, 2955 secs || 83679281 markings, 136674466 edges, 28734 markings/sec, 2955 secs
lola: STP completed || 50 tries, 49192161 fired transitions, 2960 secs || 83810477 markings, 136882754 edges, 26239 markings/sec, 2960 secs
lola: STP completed || 50 tries, 49275934 fired transitions, 2965 secs || 83955070 markings, 137118331 edges, 28919 markings/sec, 2965 secs
lola: STP completed || 50 tries, 49357346 fired transitions, 2970 secs || 84098893 markings, 137350684 edges, 28765 markings/sec, 2970 secs
lola: STP completed || 50 tries, 49441350 fired transitions, 2975 secs || 84240385 markings, 137575397 edges, 28298 markings/sec, 2975 secs
lola: STP completed || 50 tries, 49525966 fired transitions, 2980 secs || 84384647 markings, 137819653 edges, 28852 markings/sec, 2980 secs
lola: STP completed || 50 tries, 49610555 fired transitions, 2985 secs || 84532712 markings, 138073588 edges, 29613 markings/sec, 2985 secs
lola: STP completed || 50 tries, 49695349 fired transitions, 2990 secs || 84662998 markings, 138290480 edges, 26057 markings/sec, 2990 secs
lola: STP completed || 50 tries, 49780121 fired transitions, 2995 secs || 84793658 markings, 138497569 edges, 26132 markings/sec, 2995 secs
lola: STP completed || 50 tries, 49864316 fired transitions, 3000 secs || 84936626 markings, 138725654 edges, 28594 markings/sec, 3000 secs
lola: STP completed || 50 tries, 49948364 fired transitions, 3005 secs || 85078659 markings, 138952869 edges, 28407 markings/sec, 3005 secs
lola: STP completed || 51 tries, 50032612 fired transitions, 3010 secs || 85221954 markings, 139184888 edges, 28659 markings/sec, 3010 secs
lola: STP completed || 51 tries, 50116448 fired transitions, 3015 secs || 85366016 markings, 139426197 edges, 28812 markings/sec, 3015 secs
lola: STP completed || 51 tries, 50200513 fired transitions, 3020 secs || 85510855 markings, 139664680 edges, 28968 markings/sec, 3020 secs
lola: STP completed || 51 tries, 50285297 fired transitions, 3025 secs || 85656666 markings, 139906753 edges, 29162 markings/sec, 3025 secs
lola: STP completed || 51 tries, 50368480 fired transitions, 3030 secs || 85799891 markings, 140150680 edges, 28645 markings/sec, 3030 secs
lola: STP completed || 51 tries, 50453866 fired transitions, 3035 secs || 85943527 markings, 140382729 edges, 28727 markings/sec, 3035 secs
lola: STP completed || 51 tries, 50538006 fired transitions, 3040 secs || 86057542 markings, 140564968 edges, 22803 markings/sec, 3040 secs
lola: STP completed || 51 tries, 50621446 fired transitions, 3045 secs || 86204289 markings, 140808127 edges, 29349 markings/sec, 3045 secs
lola: STP completed || 51 tries, 50704481 fired transitions, 3050 secs || 86345529 markings, 141032838 edges, 28248 markings/sec, 3050 secs
lola: STP completed || 51 tries, 50788721 fired transitions, 3055 secs || 86491093 markings, 141276058 edges, 29113 markings/sec, 3055 secs
lola: STP completed || 51 tries, 50873459 fired transitions, 3060 secs || 86634094 markings, 141509523 edges, 28600 markings/sec, 3060 secs
lola: STP completed || 51 tries, 50958552 fired transitions, 3065 secs || 86778488 markings, 141751284 edges, 28879 markings/sec, 3065 secs
lola: STP completed || 52 tries, 51042472 fired transitions, 3070 secs || 86923030 markings, 141992442 edges, 28908 markings/sec, 3070 secs
lola: STP completed || 52 tries, 51126806 fired transitions, 3075 secs || 87069206 markings, 142232875 edges, 29235 markings/sec, 3075 secs
lola: STP completed || 52 tries, 51211195 fired transitions, 3080 secs || 87214672 markings, 142469174 edges, 29093 markings/sec, 3080 secs
lola: STP completed || 52 tries, 51295133 fired transitions, 3085 secs || 87356497 markings, 142697317 edges, 28365 markings/sec, 3085 secs
lola: STP completed || 52 tries, 51379164 fired transitions, 3090 secs || 87498954 markings, 142925975 edges, 28491 markings/sec, 3090 secs
lola: STP completed || 52 tries, 51463643 fired transitions, 3095 secs || 87643129 markings, 143165920 edges, 28835 markings/sec, 3095 secs
lola: STP completed || 52 tries, 51547241 fired transitions, 3100 secs || 87785380 markings, 143398807 edges, 28450 markings/sec, 3100 secs
lola: STP completed || 52 tries, 51631148 fired transitions, 3105 secs || 87931094 markings, 143645227 edges, 29143 markings/sec, 3105 secs
lola: STP completed || 52 tries, 51714666 fired transitions, 3110 secs || 88074932 markings, 143884510 edges, 28768 markings/sec, 3110 secs
lola: STP completed || 52 tries, 51798669 fired transitions, 3115 secs || 88219518 markings, 144129564 edges, 28917 markings/sec, 3115 secs
lola: STP completed || 52 tries, 51884148 fired transitions, 3120 secs || 88335057 markings, 144322849 edges, 23108 markings/sec, 3120 secs
lola: STP completed || 52 tries, 51968508 fired transitions, 3125 secs || 88478023 markings, 144551372 edges, 28593 markings/sec, 3125 secs
lola: STP completed || 53 tries, 52053770 fired transitions, 3130 secs || 88619295 markings, 144777537 edges, 28254 markings/sec, 3130 secs
lola: STP completed || 53 tries, 52137327 fired transitions, 3135 secs || 88739415 markings, 144972231 edges, 24024 markings/sec, 3135 secs
lola: STP completed || 53 tries, 52221425 fired transitions, 3140 secs || 88876767 markings, 145198205 edges, 27470 markings/sec, 3140 secs
lola: STP completed || 53 tries, 52306587 fired transitions, 3145 secs || 89020755 markings, 145431634 edges, 28798 markings/sec, 3145 secs
lola: STP completed || 53 tries, 52391980 fired transitions, 3150 secs || 89148941 markings, 145638396 edges, 25637 markings/sec, 3150 secs
lola: STP completed || 53 tries, 52475872 fired transitions, 3155 secs || 89278184 markings, 145846675 edges, 25849 markings/sec, 3155 secs
lola: STP completed || 53 tries, 52560851 fired transitions, 3160 secs || 89420701 markings, 146081727 edges, 28503 markings/sec, 3160 secs
lola: STP completed || 53 tries, 52644879 fired transitions, 3165 secs || 89558709 markings, 146314944 edges, 27602 markings/sec, 3165 secs
lola: STP completed || 53 tries, 52728480 fired transitions, 3170 secs || 89680402 markings, 146515971 edges, 24339 markings/sec, 3170 secs
lola: STP completed || 53 tries, 52813548 fired transitions, 3175 secs || 89821511 markings, 146743606 edges, 28222 markings/sec, 3175 secs
lola: STP completed || 53 tries, 52897104 fired transitions, 3180 secs || 89963989 markings, 146973150 edges, 28496 markings/sec, 3180 secs
lola: STP completed || 53 tries, 52980878 fired transitions, 3185 secs || 90077090 markings, 147151104 edges, 22620 markings/sec, 3185 secs
lola: STP completed || 54 tries, 53064164 fired transitions, 3190 secs || 90216311 markings, 147370784 edges, 27844 markings/sec, 3190 secs
lola: STP completed || 54 tries, 53148173 fired transitions, 3195 secs || 90357185 markings, 147592798 edges, 28175 markings/sec, 3195 secs
lola: STP completed || 54 tries, 53232724 fired transitions, 3200 secs || 90498562 markings, 147816388 edges, 28275 markings/sec, 3200 secs
lola: STP completed || 54 tries, 53316651 fired transitions, 3205 secs || 90645384 markings, 148057948 edges, 29364 markings/sec, 3205 secs
lola: STP completed || 54 tries, 53399998 fired transitions, 3210 secs || 90788417 markings, 148288624 edges, 28607 markings/sec, 3210 secs
lola: STP completed || 54 tries, 53484480 fired transitions, 3215 secs || 90908587 markings, 148479681 edges, 24034 markings/sec, 3215 secs
lola: STP completed || 54 tries, 53568927 fired transitions, 3220 secs || 91048098 markings, 148707422 edges, 27902 markings/sec, 3220 secs
lola: STP completed || 54 tries, 53652897 fired transitions, 3225 secs || 91190253 markings, 148934245 edges, 28431 markings/sec, 3225 secs
lola: STP completed || 54 tries, 53736842 fired transitions, 3230 secs || 91334038 markings, 149170096 edges, 28757 markings/sec, 3230 secs
lola: STP completed || 54 tries, 53820483 fired transitions, 3235 secs || 91477728 markings, 149405957 edges, 28738 markings/sec, 3235 secs
lola: STP completed || 54 tries, 53904778 fired transitions, 3240 secs || 91621811 markings, 149648437 edges, 28817 markings/sec, 3240 secs
lola: STP completed || 54 tries, 53988505 fired transitions, 3245 secs || 91758682 markings, 149879694 edges, 27374 markings/sec, 3245 secs
lola: STP completed || 55 tries, 54072585 fired transitions, 3250 secs || 91885050 markings, 150088480 edges, 25274 markings/sec, 3250 secs
lola: STP completed || 55 tries, 54156874 fired transitions, 3255 secs || 92032828 markings, 150337762 edges, 29556 markings/sec, 3255 secs
lola: STP completed || 55 tries, 54240072 fired transitions, 3260 secs || 92177519 markings, 150578714 edges, 28938 markings/sec, 3260 secs
lola: STP completed || 55 tries, 54324501 fired transitions, 3265 secs || 92295387 markings, 150782378 edges, 23574 markings/sec, 3265 secs
lola: STP completed || 55 tries, 54408867 fired transitions, 3270 secs || 92442703 markings, 151031042 edges, 29463 markings/sec, 3270 secs
lola: STP completed || 55 tries, 54493625 fired transitions, 3275 secs || 92589085 markings, 151283826 edges, 29276 markings/sec, 3275 secs
lola: STP completed || 55 tries, 54578051 fired transitions, 3280 secs || 92707650 markings, 151486586 edges, 23713 markings/sec, 3280 secs
lola: STP completed || 55 tries, 54662631 fired transitions, 3285 secs || 92853646 markings, 151727039 edges, 29199 markings/sec, 3285 secs
lola: STP completed || 55 tries, 54747154 fired transitions, 3290 secs || 92999529 markings, 151972306 edges, 29177 markings/sec, 3290 secs
lola: STP completed || 55 tries, 54832330 fired transitions, 3295 secs || 93123413 markings, 152178024 edges, 24777 markings/sec, 3295 secs
lola: STP completed || 55 tries, 54915443 fired transitions, 3300 secs || 93261436 markings, 152405657 edges, 27605 markings/sec, 3300 secs
lola: STP completed || 56 tries, 55000451 fired transitions, 3305 secs || 93405427 markings, 152643365 edges, 28798 markings/sec, 3305 secs
lola: STP completed || 56 tries, 55083572 fired transitions, 3310 secs || 93533684 markings, 152865415 edges, 25651 markings/sec, 3310 secs
lola: STP completed || 56 tries, 55167051 fired transitions, 3315 secs || 93664285 markings, 153082042 edges, 26120 markings/sec, 3315 secs
lola: STP completed || 56 tries, 55251934 fired transitions, 3320 secs || 93810490 markings, 153326142 edges, 29241 markings/sec, 3320 secs
lola: STP completed || 56 tries, 55334947 fired transitions, 3325 secs || 93953537 markings, 153562437 edges, 28609 markings/sec, 3325 secs
lola: STP completed || 56 tries, 55419548 fired transitions, 3330 secs || 94098964 markings, 153800998 edges, 29085 markings/sec, 3330 secs
lola: STP completed || 56 tries, 55502770 fired transitions, 3335 secs || 94244417 markings, 154032827 edges, 29091 markings/sec, 3335 secs
lola: STP completed || 56 tries, 55588066 fired transitions, 3340 secs || 94391395 markings, 154271711 edges, 29396 markings/sec, 3340 secs
lola: STP completed || 56 tries, 55670398 fired transitions, 3345 secs || 94533476 markings, 154503371 edges, 28416 markings/sec, 3345 secs
lola: STP completed || 56 tries, 55755315 fired transitions, 3350 secs || 94678991 markings, 154747752 edges, 29103 markings/sec, 3350 secs
lola: STP completed || 56 tries, 55840185 fired transitions, 3355 secs || 94825724 markings, 154986860 edges, 29347 markings/sec, 3355 secs
lola: STP completed || 56 tries, 55923689 fired transitions, 3360 secs || 94972022 markings, 155220393 edges, 29260 markings/sec, 3360 secs
lola: STP completed || 57 tries, 56007776 fired transitions, 3365 secs || 95120022 markings, 155467071 edges, 29600 markings/sec, 3365 secs
lola: STP completed || 57 tries, 56091483 fired transitions, 3370 secs || 95268890 markings, 155719974 edges, 29774 markings/sec, 3370 secs
lola: STP completed || 57 tries, 56175977 fired transitions, 3375 secs || 95417100 markings, 155963415 edges, 29642 markings/sec, 3375 secs
lola: STP completed || 57 tries, 56258875 fired transitions, 3380 secs || 95563134 markings, 156198821 edges, 29207 markings/sec, 3380 secs
lola: STP completed || 57 tries, 56344318 fired transitions, 3385 secs || 95709298 markings, 156432601 edges, 29233 markings/sec, 3385 secs
lola: STP completed || 57 tries, 56428794 fired transitions, 3390 secs || 95855283 markings, 156669301 edges, 29197 markings/sec, 3390 secs
lola: STP completed || 57 tries, 56514357 fired transitions, 3395 secs || 96000919 markings, 156905072 edges, 29127 markings/sec, 3395 secs
lola: STP completed || 57 tries, 56598325 fired transitions, 3400 secs || 96147569 markings, 157144809 edges, 29330 markings/sec, 3400 secs
lola: STP completed || 57 tries, 56682157 fired transitions, 3405 secs || 96287449 markings, 157383400 edges, 27976 markings/sec, 3405 secs
lola: STP completed || 57 tries, 56765173 fired transitions, 3410 secs || 96411113 markings, 157591739 edges, 24733 markings/sec, 3410 secs
lola: STP completed || 57 tries, 56849210 fired transitions, 3415 secs || 96553570 markings, 157823383 edges, 28491 markings/sec, 3415 secs
lola: STP completed || 57 tries, 56933965 fired transitions, 3420 secs || 96699495 markings, 158067666 edges, 29185 markings/sec, 3420 secs
lola: STP completed || 58 tries, 57018391 fired transitions, 3425 secs || 96843431 markings, 158305997 edges, 28787 markings/sec, 3425 secs
lola: STP completed || 58 tries, 57103913 fired transitions, 3430 secs || 96991154 markings, 158557802 edges, 29545 markings/sec, 3430 secs
lola: STP completed || 58 tries, 57187995 fired transitions, 3435 secs || 97138039 markings, 158809497 edges, 29377 markings/sec, 3435 secs
lola: STP completed || 58 tries, 57265986 fired transitions, 3440 secs || 97257027 markings, 159004952 edges, 23798 markings/sec, 3440 secs
lola: STP completed || 58 tries, 57350816 fired transitions, 3445 secs || 97402899 markings, 159245929 edges, 29174 markings/sec, 3445 secs
lola: STP completed || 58 tries, 57433828 fired transitions, 3450 secs || 97549458 markings, 159497729 edges, 29312 markings/sec, 3450 secs
lola: STP completed || 58 tries, 57519073 fired transitions, 3455 secs || 97699749 markings, 159756593 edges, 30058 markings/sec, 3455 secs
lola: STP completed || 58 tries, 57602377 fired transitions, 3460 secs || 97846393 markings, 160003218 edges, 29329 markings/sec, 3460 secs
lola: STP completed || 58 tries, 57687177 fired transitions, 3465 secs || 97995152 markings, 160258452 edges, 29752 markings/sec, 3465 secs
lola: STP completed || 58 tries, 57771125 fired transitions, 3470 secs || 98142421 markings, 160498915 edges, 29454 markings/sec, 3470 secs
lola: STP completed || 58 tries, 57854970 fired transitions, 3475 secs || 98291055 markings, 160763566 edges, 29727 markings/sec, 3475 secs
lola: STP completed || 58 tries, 57940302 fired transitions, 3480 secs || 98435623 markings, 161005602 edges, 28914 markings/sec, 3480 secs
lola: STP completed || 59 tries, 58024701 fired transitions, 3485 secs || 98575103 markings, 161250720 edges, 27896 markings/sec, 3485 secs
lola: STP completed || 59 tries, 58107834 fired transitions, 3490 secs || 98702951 markings, 161477603 edges, 25570 markings/sec, 3490 secs
lola: STP completed || 59 tries, 58192383 fired transitions, 3495 secs || 98850745 markings, 161736562 edges, 29559 markings/sec, 3495 secs
lola: STP completed || 59 tries, 58277079 fired transitions, 3500 secs || 99000921 markings, 161978051 edges, 30035 markings/sec, 3500 secs
lola: STP completed || 59 tries, 58360788 fired transitions, 3505 secs || 99150256 markings, 162241310 edges, 29867 markings/sec, 3505 secs
lola: STP completed || 59 tries, 58444878 fired transitions, 3510 secs || 99299549 markings, 162507606 edges, 29859 markings/sec, 3510 secs
lola: STP completed || 59 tries, 58529055 fired transitions, 3515 secs || 99449562 markings, 162771798 edges, 30003 markings/sec, 3515 secs
lola: STP completed || 59 tries, 58613102 fired transitions, 3520 secs || 99570737 markings, 162985832 edges, 24235 markings/sec, 3520 secs
lola: STP completed || 59 tries, 58696550 fired transitions, 3525 secs || 99712887 markings, 163221051 edges, 28430 markings/sec, 3525 secs
lola: STP completed || 59 tries, 58771964 fired transitions, 3530 secs || 99854746 markings, 163456334 edges, 28372 markings/sec, 3530 secs
lola: STP completed || 59 tries, 58848251 fired transitions, 3535 secs || 99977226 markings, 163649114 edges, 24496 markings/sec, 3535 secs
lola: STP completed || 59 tries, 58933399 fired transitions, 3540 secs || 100117864 markings, 163880697 edges, 28128 markings/sec, 3540 secs
lola: STP completed || 60 tries, 59016719 fired transitions, 3545 secs || 100266357 markings, 164131910 edges, 29699 markings/sec, 3545 secs
lola: STP completed || 60 tries, 59099921 fired transitions, 3550 secs || 100397257 markings, 164344781 edges, 26180 markings/sec, 3550 secs
lola: STP completed || 60 tries, 59183478 fired transitions, 3555 secs || 100528567 markings, 164557813 edges, 26262 markings/sec, 3555 secs
lola: STP completed || 60 tries, 59267614 fired transitions, 3560 secs || 100673355 markings, 164797540 edges, 28958 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 10432956 KB
lola: time consumption: 3571 seconds
BK_STOP 1526678498526
--------------------
content from stderr:
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="FlexibleBarrier-PT-16a"
export BK_EXAMINATION="ReachabilityDeadlock"
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
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-16a.tgz
mv FlexibleBarrier-PT-16a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-16a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-blw7-152649998200188"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 ;