About the Execution of LoLA for Peterson-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6213.110 | 3570652.00 | 7283276.00 | 232.30 | [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 2.2M
-rw-r--r-- 1 mcc users 90K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 242K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 63K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 204K 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.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 32K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 86K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 69K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 34K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 69K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 230K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 911K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Peterson-PT-5, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469700580
=====================================================================
--------------------
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 Peterson-PT-5-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527045017363
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-PT-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-PT-5 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Peterson-PT-5 @ 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: 2076/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 834
lola: finding significant places
lola: 834 places, 1242 transitions, 811 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1908 transition conflict sets
lola: TASK
lola: reading formula from Peterson-PT-5-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: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 25322 variables and 79923 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 99217 fired transitions, 0 secs || 155780 markings, 269956 edges, 31156 markings/sec, 0 secs
lola: STP completed || 1 tries, 198874 fired transitions, 5 secs || 315339 markings, 549032 edges, 31912 markings/sec, 5 secs
lola: STP completed || 1 tries, 298605 fired transitions, 10 secs || 476715 markings, 834500 edges, 32275 markings/sec, 10 secs
lola: STP completed || 1 tries, 398454 fired transitions, 15 secs || 633753 markings, 1110023 edges, 31408 markings/sec, 15 secs
lola: STP completed || 1 tries, 498482 fired transitions, 20 secs || 793652 markings, 1394360 edges, 31980 markings/sec, 20 secs
lola: STP completed || 1 tries, 597863 fired transitions, 25 secs || 948436 markings, 1663139 edges, 30957 markings/sec, 25 secs
lola: STP completed || 1 tries, 698830 fired transitions, 30 secs || 1110498 markings, 1949721 edges, 32412 markings/sec, 30 secs
lola: STP completed || 1 tries, 799863 fired transitions, 35 secs || 1264307 markings, 2216463 edges, 30762 markings/sec, 35 secs
lola: STP completed || 1 tries, 901122 fired transitions, 40 secs || 1421216 markings, 2491946 edges, 31382 markings/sec, 40 secs
lola: STP completed || 2 tries, 1001466 fired transitions, 45 secs || 1580044 markings, 2775390 edges, 31766 markings/sec, 45 secs
lola: STP completed || 2 tries, 1102669 fired transitions, 50 secs || 1731922 markings, 3045939 edges, 30376 markings/sec, 50 secs
lola: STP completed || 2 tries, 1220532 fired transitions, 55 secs || 1913015 markings, 3363767 edges, 36219 markings/sec, 55 secs
lola: STP completed || 2 tries, 1337300 fired transitions, 60 secs || 2093386 markings, 3681847 edges, 36074 markings/sec, 60 secs
lola: STP completed || 2 tries, 1454855 fired transitions, 65 secs || 2273904 markings, 4000399 edges, 36104 markings/sec, 65 secs
lola: STP completed || 2 tries, 1571412 fired transitions, 70 secs || 2452763 markings, 4318082 edges, 35772 markings/sec, 70 secs
lola: STP completed || 2 tries, 1687668 fired transitions, 75 secs || 2622575 markings, 4619944 edges, 33962 markings/sec, 75 secs
lola: STP completed || 2 tries, 1804300 fired transitions, 80 secs || 2802209 markings, 4935051 edges, 35927 markings/sec, 80 secs
lola: STP completed || 2 tries, 1920577 fired transitions, 85 secs || 2974119 markings, 5236708 edges, 34382 markings/sec, 85 secs
lola: STP completed || 3 tries, 2035679 fired transitions, 90 secs || 3153207 markings, 5555882 edges, 35818 markings/sec, 90 secs
lola: STP completed || 3 tries, 2152594 fired transitions, 95 secs || 3330470 markings, 5865275 edges, 35453 markings/sec, 95 secs
lola: STP completed || 3 tries, 2267945 fired transitions, 100 secs || 3492705 markings, 6168799 edges, 32447 markings/sec, 100 secs
lola: STP completed || 3 tries, 2385369 fired transitions, 105 secs || 3666595 markings, 6486219 edges, 34778 markings/sec, 105 secs
lola: STP completed || 3 tries, 2501835 fired transitions, 110 secs || 3837209 markings, 6803220 edges, 34123 markings/sec, 110 secs
lola: STP completed || 3 tries, 2619071 fired transitions, 115 secs || 4007977 markings, 7118123 edges, 34154 markings/sec, 115 secs
lola: STP completed || 3 tries, 2737473 fired transitions, 120 secs || 4178417 markings, 7432032 edges, 34088 markings/sec, 120 secs
lola: STP completed || 3 tries, 2855956 fired transitions, 125 secs || 4352058 markings, 7750483 edges, 34728 markings/sec, 125 secs
lola: STP completed || 3 tries, 2973143 fired transitions, 130 secs || 4519860 markings, 8059906 edges, 33560 markings/sec, 130 secs
lola: STP completed || 4 tries, 3089994 fired transitions, 135 secs || 4694041 markings, 8379982 edges, 34836 markings/sec, 135 secs
lola: STP completed || 4 tries, 3206504 fired transitions, 140 secs || 4865046 markings, 8697232 edges, 34201 markings/sec, 140 secs
lola: STP completed || 4 tries, 3325238 fired transitions, 145 secs || 5041308 markings, 9021534 edges, 35252 markings/sec, 145 secs
lola: STP completed || 4 tries, 3441911 fired transitions, 150 secs || 5204316 markings, 9328021 edges, 32602 markings/sec, 150 secs
lola: STP completed || 4 tries, 3559272 fired transitions, 155 secs || 5375690 markings, 9645878 edges, 34275 markings/sec, 155 secs
lola: STP completed || 4 tries, 3676607 fired transitions, 160 secs || 5547507 markings, 9966107 edges, 34363 markings/sec, 160 secs
lola: STP completed || 4 tries, 3794430 fired transitions, 165 secs || 5731731 markings, 10297595 edges, 36845 markings/sec, 165 secs
lola: STP completed || 4 tries, 3911430 fired transitions, 170 secs || 5900882 markings, 10605165 edges, 33830 markings/sec, 170 secs
lola: STP completed || 5 tries, 4027470 fired transitions, 175 secs || 6078393 markings, 10922551 edges, 35502 markings/sec, 175 secs
lola: STP completed || 5 tries, 4143753 fired transitions, 180 secs || 6257362 markings, 11241412 edges, 35794 markings/sec, 180 secs
lola: STP completed || 5 tries, 4260664 fired transitions, 185 secs || 6435037 markings, 11564107 edges, 35535 markings/sec, 185 secs
lola: STP completed || 5 tries, 4379181 fired transitions, 190 secs || 6597458 markings, 11868480 edges, 32484 markings/sec, 190 secs
lola: STP completed || 5 tries, 4496310 fired transitions, 195 secs || 6762853 markings, 12167485 edges, 33079 markings/sec, 195 secs
lola: STP completed || 5 tries, 4613418 fired transitions, 200 secs || 6935023 markings, 12481061 edges, 34434 markings/sec, 200 secs
lola: STP completed || 5 tries, 4727568 fired transitions, 205 secs || 7089302 markings, 12775782 edges, 30856 markings/sec, 205 secs
lola: STP completed || 5 tries, 4842735 fired transitions, 210 secs || 7250711 markings, 13077526 edges, 32282 markings/sec, 210 secs
lola: STP completed || 5 tries, 4959772 fired transitions, 215 secs || 7420066 markings, 13379371 edges, 33871 markings/sec, 215 secs
lola: STP completed || 6 tries, 5074934 fired transitions, 220 secs || 7591639 markings, 13694064 edges, 34315 markings/sec, 220 secs
lola: STP completed || 6 tries, 5189498 fired transitions, 225 secs || 7746564 markings, 13993546 edges, 30985 markings/sec, 225 secs
lola: STP completed || 6 tries, 5304213 fired transitions, 230 secs || 7904148 markings, 14294815 edges, 31517 markings/sec, 230 secs
lola: STP completed || 6 tries, 5419962 fired transitions, 235 secs || 8056603 markings, 14593151 edges, 30491 markings/sec, 235 secs
lola: STP completed || 6 tries, 5536261 fired transitions, 240 secs || 8222746 markings, 14904339 edges, 33229 markings/sec, 240 secs
lola: STP completed || 6 tries, 5652585 fired transitions, 245 secs || 8387917 markings, 15219559 edges, 33034 markings/sec, 245 secs
lola: STP completed || 6 tries, 5768395 fired transitions, 250 secs || 8543565 markings, 15522246 edges, 31130 markings/sec, 250 secs
lola: STP completed || 6 tries, 5885165 fired transitions, 255 secs || 8704675 markings, 15825185 edges, 32222 markings/sec, 255 secs
lola: STP completed || 7 tries, 6001361 fired transitions, 260 secs || 8860789 markings, 16128026 edges, 31223 markings/sec, 260 secs
lola: STP completed || 7 tries, 6116675 fired transitions, 265 secs || 9018428 markings, 16427286 edges, 31528 markings/sec, 265 secs
lola: STP completed || 7 tries, 6230457 fired transitions, 270 secs || 9174889 markings, 16723287 edges, 31292 markings/sec, 270 secs
lola: STP completed || 7 tries, 6346730 fired transitions, 275 secs || 9333387 markings, 17024301 edges, 31700 markings/sec, 275 secs
lola: STP completed || 7 tries, 6462854 fired transitions, 280 secs || 9491100 markings, 17329013 edges, 31543 markings/sec, 280 secs
lola: STP completed || 7 tries, 6581260 fired transitions, 285 secs || 9651232 markings, 17628810 edges, 32026 markings/sec, 285 secs
lola: STP completed || 7 tries, 6692396 fired transitions, 290 secs || 9800946 markings, 17905447 edges, 29943 markings/sec, 290 secs
lola: STP completed || 7 tries, 6797239 fired transitions, 295 secs || 9937572 markings, 18159228 edges, 27325 markings/sec, 295 secs
lola: STP completed || 7 tries, 6916394 fired transitions, 300 secs || 10098419 markings, 18460809 edges, 32169 markings/sec, 300 secs
lola: STP completed || 8 tries, 7034433 fired transitions, 305 secs || 10250887 markings, 18758017 edges, 30494 markings/sec, 305 secs
lola: STP completed || 8 tries, 7152837 fired transitions, 310 secs || 10402062 markings, 19051821 edges, 30235 markings/sec, 310 secs
lola: STP completed || 8 tries, 7271869 fired transitions, 315 secs || 10558214 markings, 19348179 edges, 31230 markings/sec, 315 secs
lola: STP completed || 8 tries, 7372182 fired transitions, 320 secs || 10702394 markings, 19623998 edges, 28836 markings/sec, 320 secs
lola: STP completed || 8 tries, 7486908 fired transitions, 325 secs || 10885290 markings, 19945077 edges, 36579 markings/sec, 325 secs
lola: STP completed || 8 tries, 7601994 fired transitions, 330 secs || 11055995 markings, 20253092 edges, 34141 markings/sec, 330 secs
lola: STP completed || 8 tries, 7717315 fired transitions, 335 secs || 11202323 markings, 20536275 edges, 29266 markings/sec, 335 secs
lola: STP completed || 8 tries, 7832613 fired transitions, 340 secs || 11340288 markings, 20812383 edges, 27593 markings/sec, 340 secs
lola: STP completed || 8 tries, 7947170 fired transitions, 345 secs || 11487989 markings, 21101711 edges, 29540 markings/sec, 345 secs
lola: STP completed || 9 tries, 8061514 fired transitions, 350 secs || 11650875 markings, 21401178 edges, 32577 markings/sec, 350 secs
lola: STP completed || 9 tries, 8174332 fired transitions, 355 secs || 11811602 markings, 21700203 edges, 32145 markings/sec, 355 secs
lola: STP completed || 9 tries, 8289990 fired transitions, 360 secs || 11973060 markings, 22002232 edges, 32292 markings/sec, 360 secs
lola: STP completed || 9 tries, 8404705 fired transitions, 365 secs || 12128502 markings, 22298938 edges, 31088 markings/sec, 365 secs
lola: STP completed || 9 tries, 8519712 fired transitions, 370 secs || 12287294 markings, 22598694 edges, 31758 markings/sec, 370 secs
lola: STP completed || 9 tries, 8634498 fired transitions, 375 secs || 12439338 markings, 22892370 edges, 30409 markings/sec, 375 secs
lola: STP completed || 9 tries, 8749551 fired transitions, 380 secs || 12595722 markings, 23189522 edges, 31277 markings/sec, 380 secs
lola: STP completed || 9 tries, 8849804 fired transitions, 385 secs || 12747891 markings, 23467878 edges, 30434 markings/sec, 385 secs
lola: STP completed || 9 tries, 8950116 fired transitions, 390 secs || 12897379 markings, 23741452 edges, 29898 markings/sec, 390 secs
lola: STP completed || 10 tries, 9052662 fired transitions, 395 secs || 13040381 markings, 24012226 edges, 28600 markings/sec, 395 secs
lola: STP completed || 10 tries, 9167632 fired transitions, 400 secs || 13207291 markings, 24319743 edges, 33382 markings/sec, 400 secs
lola: STP completed || 10 tries, 9269037 fired transitions, 405 secs || 13348158 markings, 24584922 edges, 28173 markings/sec, 405 secs
lola: STP completed || 10 tries, 9368057 fired transitions, 410 secs || 13489698 markings, 24849381 edges, 28308 markings/sec, 410 secs
lola: STP completed || 10 tries, 9467187 fired transitions, 415 secs || 13623002 markings, 25108124 edges, 26661 markings/sec, 415 secs
lola: STP completed || 10 tries, 9566752 fired transitions, 420 secs || 13767833 markings, 25377358 edges, 28966 markings/sec, 420 secs
lola: STP completed || 10 tries, 9667122 fired transitions, 425 secs || 13914550 markings, 25646363 edges, 29343 markings/sec, 425 secs
lola: STP completed || 10 tries, 9773332 fired transitions, 430 secs || 14064915 markings, 25924249 edges, 30073 markings/sec, 430 secs
lola: STP completed || 10 tries, 9889752 fired transitions, 435 secs || 14218144 markings, 26214160 edges, 30646 markings/sec, 435 secs
lola: STP completed || 11 tries, 10006523 fired transitions, 440 secs || 14367666 markings, 26502021 edges, 29904 markings/sec, 440 secs
lola: STP completed || 11 tries, 10125015 fired transitions, 445 secs || 14528649 markings, 26803253 edges, 32197 markings/sec, 445 secs
lola: STP completed || 11 tries, 10243702 fired transitions, 450 secs || 14674257 markings, 27093110 edges, 29122 markings/sec, 450 secs
lola: STP completed || 11 tries, 10361059 fired transitions, 455 secs || 14832597 markings, 27389036 edges, 31668 markings/sec, 455 secs
lola: STP completed || 11 tries, 10477444 fired transitions, 460 secs || 14977788 markings, 27670309 edges, 29038 markings/sec, 460 secs
lola: STP completed || 11 tries, 10594114 fired transitions, 465 secs || 15130959 markings, 27963450 edges, 30634 markings/sec, 465 secs
lola: STP completed || 11 tries, 10711795 fired transitions, 470 secs || 15296847 markings, 28266809 edges, 33178 markings/sec, 470 secs
lola: STP completed || 11 tries, 10830012 fired transitions, 475 secs || 15459809 markings, 28569078 edges, 32592 markings/sec, 475 secs
lola: STP completed || 11 tries, 10947651 fired transitions, 480 secs || 15611007 markings, 28858684 edges, 30240 markings/sec, 480 secs
lola: STP completed || 12 tries, 11064554 fired transitions, 485 secs || 15749018 markings, 29136754 edges, 27602 markings/sec, 485 secs
lola: STP completed || 12 tries, 11181581 fired transitions, 490 secs || 15900290 markings, 29427977 edges, 30254 markings/sec, 490 secs
lola: STP completed || 12 tries, 11298963 fired transitions, 495 secs || 16057464 markings, 29726385 edges, 31435 markings/sec, 495 secs
lola: STP completed || 12 tries, 11416532 fired transitions, 500 secs || 16224090 markings, 30031829 edges, 33325 markings/sec, 500 secs
lola: STP completed || 12 tries, 11533793 fired transitions, 505 secs || 16384383 markings, 30337855 edges, 32059 markings/sec, 505 secs
lola: STP completed || 12 tries, 11651007 fired transitions, 510 secs || 16533478 markings, 30630354 edges, 29819 markings/sec, 510 secs
lola: STP completed || 12 tries, 11768176 fired transitions, 515 secs || 16673547 markings, 30912191 edges, 28014 markings/sec, 515 secs
lola: STP completed || 12 tries, 11872151 fired transitions, 520 secs || 16807290 markings, 31178488 edges, 26749 markings/sec, 520 secs
lola: STP completed || 12 tries, 11971440 fired transitions, 525 secs || 16940039 markings, 31438441 edges, 26550 markings/sec, 525 secs
lola: STP completed || 13 tries, 12070298 fired transitions, 530 secs || 17066803 markings, 31692487 edges, 25353 markings/sec, 530 secs
lola: STP completed || 13 tries, 12167562 fired transitions, 535 secs || 17194217 markings, 31943914 edges, 25483 markings/sec, 535 secs
lola: STP completed || 13 tries, 12264212 fired transitions, 540 secs || 17318598 markings, 32190798 edges, 24876 markings/sec, 540 secs
lola: STP completed || 13 tries, 12362671 fired transitions, 545 secs || 17439157 markings, 32435806 edges, 24112 markings/sec, 545 secs
lola: STP completed || 13 tries, 12460203 fired transitions, 550 secs || 17564775 markings, 32689493 edges, 25124 markings/sec, 550 secs
lola: STP completed || 13 tries, 12558762 fired transitions, 555 secs || 17693648 markings, 32935778 edges, 25775 markings/sec, 555 secs
lola: STP completed || 13 tries, 12656619 fired transitions, 560 secs || 17812914 markings, 33170985 edges, 23853 markings/sec, 560 secs
lola: STP completed || 13 tries, 12754372 fired transitions, 565 secs || 17935736 markings, 33416060 edges, 24564 markings/sec, 565 secs
lola: STP completed || 13 tries, 12853118 fired transitions, 570 secs || 18060167 markings, 33658403 edges, 24886 markings/sec, 570 secs
lola: STP completed || 13 tries, 12951359 fired transitions, 575 secs || 18187876 markings, 33907723 edges, 25542 markings/sec, 575 secs
lola: STP completed || 14 tries, 13049770 fired transitions, 580 secs || 18310677 markings, 34150394 edges, 24560 markings/sec, 580 secs
lola: STP completed || 14 tries, 13148597 fired transitions, 585 secs || 18434781 markings, 34395472 edges, 24821 markings/sec, 585 secs
lola: STP completed || 14 tries, 13247624 fired transitions, 590 secs || 18555634 markings, 34635445 edges, 24171 markings/sec, 590 secs
lola: STP completed || 14 tries, 13345651 fired transitions, 595 secs || 18678033 markings, 34878051 edges, 24480 markings/sec, 595 secs
lola: STP completed || 14 tries, 13443795 fired transitions, 600 secs || 18802908 markings, 35123059 edges, 24975 markings/sec, 600 secs
lola: STP completed || 14 tries, 13541886 fired transitions, 605 secs || 18923318 markings, 35365165 edges, 24082 markings/sec, 605 secs
lola: STP completed || 14 tries, 13640142 fired transitions, 610 secs || 19049682 markings, 35612486 edges, 25273 markings/sec, 610 secs
lola: STP completed || 14 tries, 13738401 fired transitions, 615 secs || 19172589 markings, 35852617 edges, 24581 markings/sec, 615 secs
lola: STP completed || 14 tries, 13837292 fired transitions, 620 secs || 19290010 markings, 36087682 edges, 23484 markings/sec, 620 secs
lola: STP completed || 14 tries, 13936745 fired transitions, 625 secs || 19408289 markings, 36323437 edges, 23656 markings/sec, 625 secs
lola: STP completed || 15 tries, 14036973 fired transitions, 630 secs || 19519769 markings, 36555800 edges, 22296 markings/sec, 630 secs
lola: STP completed || 15 tries, 14136037 fired transitions, 635 secs || 19641946 markings, 36801856 edges, 24435 markings/sec, 635 secs
lola: STP completed || 15 tries, 14234564 fired transitions, 640 secs || 19761049 markings, 37042156 edges, 23821 markings/sec, 640 secs
lola: STP completed || 15 tries, 14332785 fired transitions, 645 secs || 19880462 markings, 37280931 edges, 23883 markings/sec, 645 secs
lola: STP completed || 15 tries, 14431037 fired transitions, 650 secs || 20003539 markings, 37524860 edges, 24615 markings/sec, 650 secs
lola: STP completed || 15 tries, 14535412 fired transitions, 655 secs || 20132320 markings, 37781247 edges, 25756 markings/sec, 655 secs
lola: STP completed || 15 tries, 14639394 fired transitions, 660 secs || 20253053 markings, 38022404 edges, 24147 markings/sec, 660 secs
lola: STP completed || 15 tries, 14740218 fired transitions, 665 secs || 20375051 markings, 38263211 edges, 24400 markings/sec, 665 secs
lola: STP completed || 15 tries, 14840847 fired transitions, 670 secs || 20492722 markings, 38498316 edges, 23534 markings/sec, 670 secs
lola: STP completed || 15 tries, 14941589 fired transitions, 675 secs || 20611915 markings, 38737563 edges, 23839 markings/sec, 675 secs
lola: STP completed || 16 tries, 15042068 fired transitions, 680 secs || 20726511 markings, 38971640 edges, 22919 markings/sec, 680 secs
lola: STP completed || 16 tries, 15143121 fired transitions, 685 secs || 20849055 markings, 39212521 edges, 24509 markings/sec, 685 secs
lola: STP completed || 16 tries, 15243348 fired transitions, 690 secs || 20976760 markings, 39464328 edges, 25541 markings/sec, 690 secs
lola: STP completed || 16 tries, 15342794 fired transitions, 695 secs || 21087355 markings, 39698379 edges, 22119 markings/sec, 695 secs
lola: STP completed || 16 tries, 15442567 fired transitions, 700 secs || 21212769 markings, 39945989 edges, 25083 markings/sec, 700 secs
lola: STP completed || 16 tries, 15542003 fired transitions, 705 secs || 21337494 markings, 40193255 edges, 24945 markings/sec, 705 secs
lola: STP completed || 16 tries, 15641833 fired transitions, 710 secs || 21460765 markings, 40439054 edges, 24654 markings/sec, 710 secs
lola: STP completed || 16 tries, 15742272 fired transitions, 715 secs || 21576280 markings, 40679092 edges, 23103 markings/sec, 715 secs
lola: STP completed || 16 tries, 15841654 fired transitions, 720 secs || 21692341 markings, 40920173 edges, 23212 markings/sec, 720 secs
lola: STP completed || 16 tries, 15940035 fired transitions, 725 secs || 21814046 markings, 41164832 edges, 24341 markings/sec, 725 secs
lola: STP completed || 17 tries, 16039643 fired transitions, 730 secs || 21937386 markings, 41409079 edges, 24668 markings/sec, 730 secs
lola: STP completed || 17 tries, 16140797 fired transitions, 735 secs || 22060542 markings, 41653564 edges, 24631 markings/sec, 735 secs
lola: STP completed || 17 tries, 16241540 fired transitions, 740 secs || 22185632 markings, 41899586 edges, 25018 markings/sec, 740 secs
lola: STP completed || 17 tries, 16340999 fired transitions, 745 secs || 22303429 markings, 42137360 edges, 23559 markings/sec, 745 secs
lola: STP completed || 17 tries, 16441305 fired transitions, 750 secs || 22425568 markings, 42381457 edges, 24428 markings/sec, 750 secs
lola: STP completed || 17 tries, 16541445 fired transitions, 755 secs || 22548762 markings, 42627436 edges, 24639 markings/sec, 755 secs
lola: STP completed || 17 tries, 16640680 fired transitions, 760 secs || 22663128 markings, 42862533 edges, 22873 markings/sec, 760 secs
lola: STP completed || 17 tries, 16740089 fired transitions, 765 secs || 22781555 markings, 43101079 edges, 23685 markings/sec, 765 secs
lola: STP completed || 17 tries, 16838973 fired transitions, 770 secs || 22905439 markings, 43347450 edges, 24777 markings/sec, 770 secs
lola: STP completed || 17 tries, 16937577 fired transitions, 775 secs || 23022968 markings, 43589156 edges, 23506 markings/sec, 775 secs
lola: STP completed || 18 tries, 17045159 fired transitions, 780 secs || 23153055 markings, 43861596 edges, 26017 markings/sec, 780 secs
lola: STP completed || 18 tries, 17160093 fired transitions, 785 secs || 23301408 markings, 44150589 edges, 29671 markings/sec, 785 secs
lola: STP completed || 18 tries, 17276237 fired transitions, 790 secs || 23455071 markings, 44443507 edges, 30733 markings/sec, 790 secs
lola: STP completed || 18 tries, 17390987 fired transitions, 795 secs || 23579643 markings, 44708674 edges, 24914 markings/sec, 795 secs
lola: STP completed || 18 tries, 17504957 fired transitions, 800 secs || 23703226 markings, 44970415 edges, 24717 markings/sec, 800 secs
lola: STP completed || 18 tries, 17622279 fired transitions, 805 secs || 23854757 markings, 45254342 edges, 30306 markings/sec, 805 secs
lola: STP completed || 18 tries, 17739722 fired transitions, 810 secs || 23998763 markings, 45533085 edges, 28801 markings/sec, 810 secs
lola: STP completed || 18 tries, 17856442 fired transitions, 815 secs || 24138224 markings, 45808531 edges, 27892 markings/sec, 815 secs
lola: STP completed || 18 tries, 17973573 fired transitions, 820 secs || 24274997 markings, 46081570 edges, 27355 markings/sec, 820 secs
lola: STP completed || 19 tries, 18090263 fired transitions, 825 secs || 24415905 markings, 46360305 edges, 28182 markings/sec, 825 secs
lola: STP completed || 19 tries, 18189515 fired transitions, 830 secs || 24536092 markings, 46604375 edges, 24037 markings/sec, 830 secs
lola: STP completed || 19 tries, 18285592 fired transitions, 835 secs || 24666212 markings, 46851060 edges, 26024 markings/sec, 835 secs
lola: STP completed || 19 tries, 18384833 fired transitions, 840 secs || 24807492 markings, 47111297 edges, 28256 markings/sec, 840 secs
lola: STP completed || 19 tries, 18497375 fired transitions, 845 secs || 24953424 markings, 47384992 edges, 29186 markings/sec, 845 secs
lola: STP completed || 19 tries, 18614124 fired transitions, 850 secs || 25102457 markings, 47669029 edges, 29807 markings/sec, 850 secs
lola: STP completed || 19 tries, 18731247 fired transitions, 855 secs || 25256767 markings, 47957038 edges, 30862 markings/sec, 855 secs
lola: STP completed || 19 tries, 18848309 fired transitions, 860 secs || 25414325 markings, 48244606 edges, 31512 markings/sec, 860 secs
lola: STP completed || 19 tries, 18965013 fired transitions, 865 secs || 25565749 markings, 48532835 edges, 30285 markings/sec, 865 secs
lola: STP completed || 20 tries, 19082089 fired transitions, 870 secs || 25703546 markings, 48808762 edges, 27559 markings/sec, 870 secs
lola: STP completed || 20 tries, 19181963 fired transitions, 875 secs || 25832711 markings, 49058665 edges, 25833 markings/sec, 875 secs
lola: STP completed || 20 tries, 19281269 fired transitions, 880 secs || 25958792 markings, 49305106 edges, 25216 markings/sec, 880 secs
lola: STP completed || 20 tries, 19380682 fired transitions, 885 secs || 26082787 markings, 49550444 edges, 24799 markings/sec, 885 secs
lola: STP completed || 20 tries, 19480942 fired transitions, 890 secs || 26218765 markings, 49803808 edges, 27196 markings/sec, 890 secs
lola: STP completed || 20 tries, 19581309 fired transitions, 895 secs || 26346681 markings, 50051057 edges, 25583 markings/sec, 895 secs
lola: STP completed || 20 tries, 19681509 fired transitions, 900 secs || 26469743 markings, 50297493 edges, 24612 markings/sec, 900 secs
lola: STP completed || 20 tries, 19781678 fired transitions, 905 secs || 26590098 markings, 50538982 edges, 24071 markings/sec, 905 secs
lola: STP completed || 20 tries, 19880665 fired transitions, 910 secs || 26710683 markings, 50781985 edges, 24117 markings/sec, 910 secs
lola: STP completed || 20 tries, 19980097 fired transitions, 915 secs || 26849428 markings, 51039765 edges, 27749 markings/sec, 915 secs
lola: STP completed || 21 tries, 20078807 fired transitions, 920 secs || 26973216 markings, 51289922 edges, 24758 markings/sec, 920 secs
lola: STP completed || 21 tries, 20177808 fired transitions, 925 secs || 27097070 markings, 51534242 edges, 24771 markings/sec, 925 secs
lola: STP completed || 21 tries, 20277439 fired transitions, 930 secs || 27227747 markings, 51784550 edges, 26135 markings/sec, 930 secs
lola: STP completed || 21 tries, 20378259 fired transitions, 935 secs || 27369886 markings, 52046407 edges, 28428 markings/sec, 935 secs
lola: STP completed || 21 tries, 20478121 fired transitions, 940 secs || 27507061 markings, 52300797 edges, 27435 markings/sec, 940 secs
lola: STP completed || 21 tries, 20579303 fired transitions, 945 secs || 27638442 markings, 52552404 edges, 26276 markings/sec, 945 secs
lola: STP completed || 21 tries, 20691645 fired transitions, 950 secs || 27783331 markings, 52825722 edges, 28978 markings/sec, 950 secs
lola: STP completed || 21 tries, 20792343 fired transitions, 955 secs || 27918312 markings, 53080170 edges, 26996 markings/sec, 955 secs
lola: STP completed || 21 tries, 20892605 fired transitions, 960 secs || 28053905 markings, 53334163 edges, 27119 markings/sec, 960 secs
lola: STP completed || 21 tries, 20992321 fired transitions, 965 secs || 28172811 markings, 53571775 edges, 23781 markings/sec, 965 secs
lola: STP completed || 22 tries, 21090858 fired transitions, 970 secs || 28291051 markings, 53808225 edges, 23648 markings/sec, 970 secs
lola: STP completed || 22 tries, 21195041 fired transitions, 975 secs || 28431076 markings, 54068389 edges, 28005 markings/sec, 975 secs
lola: STP completed || 22 tries, 21297515 fired transitions, 980 secs || 28574155 markings, 54332980 edges, 28616 markings/sec, 980 secs
lola: STP completed || 22 tries, 21396954 fired transitions, 985 secs || 28709556 markings, 54587866 edges, 27080 markings/sec, 985 secs
lola: STP completed || 22 tries, 21497054 fired transitions, 990 secs || 28829612 markings, 54825324 edges, 24011 markings/sec, 990 secs
lola: STP completed || 22 tries, 21597086 fired transitions, 995 secs || 28966331 markings, 55082427 edges, 27344 markings/sec, 995 secs
lola: STP completed || 22 tries, 21696703 fired transitions, 1000 secs || 29102870 markings, 55342375 edges, 27308 markings/sec, 1000 secs
lola: STP completed || 22 tries, 21796646 fired transitions, 1005 secs || 29245619 markings, 55606277 edges, 28550 markings/sec, 1005 secs
lola: STP completed || 22 tries, 21897012 fired transitions, 1010 secs || 29380919 markings, 55861634 edges, 27060 markings/sec, 1010 secs
lola: STP completed || 22 tries, 21996863 fired transitions, 1015 secs || 29511873 markings, 56113729 edges, 26191 markings/sec, 1015 secs
lola: STP completed || 23 tries, 22098743 fired transitions, 1020 secs || 29637793 markings, 56364516 edges, 25184 markings/sec, 1020 secs
lola: STP completed || 23 tries, 22214314 fired transitions, 1025 secs || 29770562 markings, 56632968 edges, 26554 markings/sec, 1025 secs
lola: STP completed || 23 tries, 22329045 fired transitions, 1030 secs || 29905471 markings, 56901961 edges, 26982 markings/sec, 1030 secs
lola: STP completed || 23 tries, 22438619 fired transitions, 1035 secs || 30041442 markings, 57169964 edges, 27194 markings/sec, 1035 secs
lola: STP completed || 23 tries, 22542742 fired transitions, 1040 secs || 30179203 markings, 57430372 edges, 27552 markings/sec, 1040 secs
lola: STP completed || 23 tries, 22642453 fired transitions, 1045 secs || 30305186 markings, 57674979 edges, 25197 markings/sec, 1045 secs
lola: STP completed || 23 tries, 22742962 fired transitions, 1050 secs || 30425878 markings, 57917920 edges, 24138 markings/sec, 1050 secs
lola: STP completed || 23 tries, 22842748 fired transitions, 1055 secs || 30555297 markings, 58168146 edges, 25884 markings/sec, 1055 secs
lola: STP completed || 23 tries, 22942012 fired transitions, 1060 secs || 30675610 markings, 58411679 edges, 24063 markings/sec, 1060 secs
lola: STP completed || 24 tries, 23041624 fired transitions, 1065 secs || 30803251 markings, 58661585 edges, 25528 markings/sec, 1065 secs
lola: STP completed || 24 tries, 23141072 fired transitions, 1070 secs || 30930329 markings, 58910764 edges, 25416 markings/sec, 1070 secs
lola: STP completed || 24 tries, 23244675 fired transitions, 1075 secs || 31075769 markings, 59181527 edges, 29088 markings/sec, 1075 secs
lola: STP completed || 24 tries, 23360399 fired transitions, 1080 secs || 31217824 markings, 59461474 edges, 28411 markings/sec, 1080 secs
lola: STP completed || 24 tries, 23476329 fired transitions, 1085 secs || 31349375 markings, 59730514 edges, 26310 markings/sec, 1085 secs
lola: STP completed || 24 tries, 23591048 fired transitions, 1090 secs || 31487804 markings, 60003889 edges, 27686 markings/sec, 1090 secs
lola: STP completed || 24 tries, 23700503 fired transitions, 1095 secs || 31628732 markings, 60276275 edges, 28186 markings/sec, 1095 secs
lola: STP completed || 24 tries, 23800251 fired transitions, 1100 secs || 31752079 markings, 60525413 edges, 24669 markings/sec, 1100 secs
lola: STP completed || 24 tries, 23899493 fired transitions, 1105 secs || 31880316 markings, 60779808 edges, 25647 markings/sec, 1105 secs
lola: STP completed || 24 tries, 23998969 fired transitions, 1110 secs || 32002417 markings, 61027538 edges, 24420 markings/sec, 1110 secs
lola: STP completed || 25 tries, 24098339 fired transitions, 1115 secs || 32124268 markings, 61275002 edges, 24370 markings/sec, 1115 secs
lola: STP completed || 25 tries, 24196960 fired transitions, 1120 secs || 32241713 markings, 61513457 edges, 23489 markings/sec, 1120 secs
lola: STP completed || 25 tries, 24295654 fired transitions, 1125 secs || 32361436 markings, 61758130 edges, 23945 markings/sec, 1125 secs
lola: STP completed || 25 tries, 24394555 fired transitions, 1130 secs || 32478607 markings, 62000232 edges, 23434 markings/sec, 1130 secs
lola: STP completed || 25 tries, 24493559 fired transitions, 1135 secs || 32588624 markings, 62235685 edges, 22003 markings/sec, 1135 secs
lola: STP completed || 25 tries, 24591726 fired transitions, 1140 secs || 32704583 markings, 62480550 edges, 23192 markings/sec, 1140 secs
lola: STP completed || 25 tries, 24690803 fired transitions, 1145 secs || 32818325 markings, 62713924 edges, 22748 markings/sec, 1145 secs
lola: STP completed || 25 tries, 24789087 fired transitions, 1150 secs || 32932863 markings, 62952286 edges, 22908 markings/sec, 1150 secs
lola: STP completed || 25 tries, 24889022 fired transitions, 1155 secs || 33050831 markings, 63195744 edges, 23594 markings/sec, 1155 secs
lola: STP completed || 25 tries, 24988228 fired transitions, 1160 secs || 33171015 markings, 63436506 edges, 24037 markings/sec, 1160 secs
lola: STP completed || 26 tries, 25086706 fired transitions, 1165 secs || 33298634 markings, 63684733 edges, 25524 markings/sec, 1165 secs
lola: STP completed || 26 tries, 25185047 fired transitions, 1170 secs || 33418828 markings, 63924815 edges, 24039 markings/sec, 1170 secs
lola: STP completed || 26 tries, 25283137 fired transitions, 1175 secs || 33542118 markings, 64168937 edges, 24658 markings/sec, 1175 secs
lola: STP completed || 26 tries, 25381752 fired transitions, 1180 secs || 33662780 markings, 64412348 edges, 24132 markings/sec, 1180 secs
lola: STP completed || 26 tries, 25481380 fired transitions, 1185 secs || 33784258 markings, 64654969 edges, 24296 markings/sec, 1185 secs
lola: STP completed || 26 tries, 25579938 fired transitions, 1190 secs || 33907551 markings, 64898611 edges, 24659 markings/sec, 1190 secs
lola: STP completed || 26 tries, 25679861 fired transitions, 1195 secs || 34026106 markings, 65137928 edges, 23711 markings/sec, 1195 secs
lola: STP completed || 26 tries, 25779074 fired transitions, 1200 secs || 34147516 markings, 65379263 edges, 24282 markings/sec, 1200 secs
lola: STP completed || 26 tries, 25878036 fired transitions, 1205 secs || 34266746 markings, 65618045 edges, 23846 markings/sec, 1205 secs
lola: STP completed || 26 tries, 25976468 fired transitions, 1210 secs || 34390065 markings, 65863034 edges, 24664 markings/sec, 1210 secs
lola: STP completed || 27 tries, 26075249 fired transitions, 1215 secs || 34506842 markings, 66100140 edges, 23355 markings/sec, 1215 secs
lola: STP completed || 27 tries, 26173752 fired transitions, 1220 secs || 34625344 markings, 66340673 edges, 23700 markings/sec, 1220 secs
lola: STP completed || 27 tries, 26271864 fired transitions, 1225 secs || 34745568 markings, 66583607 edges, 24045 markings/sec, 1225 secs
lola: STP completed || 27 tries, 26370430 fired transitions, 1230 secs || 34865061 markings, 66826728 edges, 23899 markings/sec, 1230 secs
lola: STP completed || 27 tries, 26468862 fired transitions, 1235 secs || 34985046 markings, 67067736 edges, 23997 markings/sec, 1235 secs
lola: STP completed || 27 tries, 26567655 fired transitions, 1240 secs || 35108869 markings, 67313962 edges, 24765 markings/sec, 1240 secs
lola: STP completed || 27 tries, 26667031 fired transitions, 1245 secs || 35226241 markings, 67554667 edges, 23474 markings/sec, 1245 secs
lola: STP completed || 27 tries, 26767409 fired transitions, 1250 secs || 35342375 markings, 67790987 edges, 23227 markings/sec, 1250 secs
lola: STP completed || 27 tries, 26866292 fired transitions, 1255 secs || 35466537 markings, 68037443 edges, 24832 markings/sec, 1255 secs
lola: STP completed || 27 tries, 26964637 fired transitions, 1260 secs || 35589274 markings, 68282322 edges, 24547 markings/sec, 1260 secs
lola: STP completed || 28 tries, 27063534 fired transitions, 1265 secs || 35702514 markings, 68512530 edges, 22648 markings/sec, 1265 secs
lola: STP completed || 28 tries, 27162288 fired transitions, 1270 secs || 35819814 markings, 68747018 edges, 23460 markings/sec, 1270 secs
lola: STP completed || 28 tries, 27261513 fired transitions, 1275 secs || 35933515 markings, 68977862 edges, 22740 markings/sec, 1275 secs
lola: STP completed || 28 tries, 27360873 fired transitions, 1280 secs || 36054793 markings, 69218200 edges, 24256 markings/sec, 1280 secs
lola: STP completed || 28 tries, 27459590 fired transitions, 1285 secs || 36168223 markings, 69451571 edges, 22686 markings/sec, 1285 secs
lola: STP completed || 28 tries, 27558436 fired transitions, 1290 secs || 36289042 markings, 69693849 edges, 24164 markings/sec, 1290 secs
lola: STP completed || 28 tries, 27656945 fired transitions, 1295 secs || 36404430 markings, 69932379 edges, 23078 markings/sec, 1295 secs
lola: STP completed || 28 tries, 27755692 fired transitions, 1300 secs || 36522513 markings, 70171469 edges, 23617 markings/sec, 1300 secs
lola: STP completed || 28 tries, 27855835 fired transitions, 1305 secs || 36641961 markings, 70411848 edges, 23890 markings/sec, 1305 secs
lola: STP completed || 28 tries, 27954480 fired transitions, 1310 secs || 36758028 markings, 70651300 edges, 23213 markings/sec, 1310 secs
lola: STP completed || 29 tries, 28054095 fired transitions, 1315 secs || 36874447 markings, 70891062 edges, 23284 markings/sec, 1315 secs
lola: STP completed || 29 tries, 28152789 fired transitions, 1320 secs || 36975794 markings, 71117762 edges, 20269 markings/sec, 1320 secs
lola: STP completed || 29 tries, 28250401 fired transitions, 1325 secs || 37083855 markings, 71350595 edges, 21612 markings/sec, 1325 secs
lola: STP completed || 29 tries, 28348650 fired transitions, 1330 secs || 37204168 markings, 71594726 edges, 24063 markings/sec, 1330 secs
lola: STP completed || 29 tries, 28447050 fired transitions, 1335 secs || 37342326 markings, 71852778 edges, 27632 markings/sec, 1335 secs
lola: STP completed || 29 tries, 28546114 fired transitions, 1340 secs || 37484439 markings, 72114054 edges, 28423 markings/sec, 1340 secs
lola: STP completed || 29 tries, 28645169 fired transitions, 1345 secs || 37619136 markings, 72368365 edges, 26939 markings/sec, 1345 secs
lola: STP completed || 29 tries, 28744064 fired transitions, 1350 secs || 37755741 markings, 72623893 edges, 27321 markings/sec, 1350 secs
lola: STP completed || 29 tries, 28842742 fired transitions, 1355 secs || 37892861 markings, 72883857 edges, 27424 markings/sec, 1355 secs
lola: STP completed || 29 tries, 28941402 fired transitions, 1360 secs || 38029445 markings, 73141134 edges, 27317 markings/sec, 1360 secs
lola: STP completed || 30 tries, 29040371 fired transitions, 1365 secs || 38160415 markings, 73394649 edges, 26194 markings/sec, 1365 secs
lola: STP completed || 30 tries, 29139205 fired transitions, 1370 secs || 38296467 markings, 73651281 edges, 27210 markings/sec, 1370 secs
lola: STP completed || 30 tries, 29238850 fired transitions, 1375 secs || 38426643 markings, 73904739 edges, 26035 markings/sec, 1375 secs
lola: STP completed || 30 tries, 29338031 fired transitions, 1380 secs || 38553588 markings, 74154618 edges, 25389 markings/sec, 1380 secs
lola: STP completed || 30 tries, 29437482 fired transitions, 1385 secs || 38699970 markings, 74422906 edges, 29276 markings/sec, 1385 secs
lola: STP completed || 30 tries, 29536990 fired transitions, 1390 secs || 38845453 markings, 74688206 edges, 29097 markings/sec, 1390 secs
lola: STP completed || 30 tries, 29635921 fired transitions, 1395 secs || 38978407 markings, 74941425 edges, 26591 markings/sec, 1395 secs
lola: STP completed || 30 tries, 29735971 fired transitions, 1400 secs || 39117900 markings, 75201071 edges, 27899 markings/sec, 1400 secs
lola: STP completed || 30 tries, 29836652 fired transitions, 1405 secs || 39247845 markings, 75448267 edges, 25989 markings/sec, 1405 secs
lola: STP completed || 30 tries, 29936922 fired transitions, 1410 secs || 39380723 markings, 75700131 edges, 26576 markings/sec, 1410 secs
lola: STP completed || 31 tries, 30034512 fired transitions, 1415 secs || 39518241 markings, 75955852 edges, 27504 markings/sec, 1415 secs
lola: STP completed || 31 tries, 30133358 fired transitions, 1420 secs || 39659105 markings, 76214182 edges, 28173 markings/sec, 1420 secs
lola: STP completed || 31 tries, 30231535 fired transitions, 1425 secs || 39797355 markings, 76469768 edges, 27650 markings/sec, 1425 secs
lola: STP completed || 31 tries, 30329644 fired transitions, 1430 secs || 39920219 markings, 76712372 edges, 24573 markings/sec, 1430 secs
lola: STP completed || 31 tries, 30429852 fired transitions, 1435 secs || 40057797 markings, 76968952 edges, 27516 markings/sec, 1435 secs
lola: STP completed || 31 tries, 30527610 fired transitions, 1440 secs || 40173755 markings, 77205647 edges, 23192 markings/sec, 1440 secs
lola: STP completed || 31 tries, 30627087 fired transitions, 1445 secs || 40310788 markings, 77461151 edges, 27407 markings/sec, 1445 secs
lola: STP completed || 31 tries, 30726861 fired transitions, 1450 secs || 40441171 markings, 77710685 edges, 26077 markings/sec, 1450 secs
lola: STP completed || 31 tries, 30826773 fired transitions, 1455 secs || 40566813 markings, 77957217 edges, 25128 markings/sec, 1455 secs
lola: STP completed || 31 tries, 30926878 fired transitions, 1460 secs || 40702473 markings, 78212141 edges, 27132 markings/sec, 1460 secs
lola: STP completed || 32 tries, 31026811 fired transitions, 1465 secs || 40844459 markings, 78474389 edges, 28397 markings/sec, 1465 secs
lola: STP completed || 32 tries, 31127307 fired transitions, 1470 secs || 40981100 markings, 78730727 edges, 27328 markings/sec, 1470 secs
lola: STP completed || 32 tries, 31227199 fired transitions, 1475 secs || 41099919 markings, 78966587 edges, 23764 markings/sec, 1475 secs
lola: STP completed || 32 tries, 31327427 fired transitions, 1480 secs || 41220882 markings, 79205694 edges, 24193 markings/sec, 1480 secs
lola: STP completed || 32 tries, 31426731 fired transitions, 1485 secs || 41340476 markings, 79448333 edges, 23919 markings/sec, 1485 secs
lola: STP completed || 32 tries, 31526134 fired transitions, 1490 secs || 41464167 markings, 79692744 edges, 24738 markings/sec, 1490 secs
lola: STP completed || 32 tries, 31625793 fired transitions, 1495 secs || 41605491 markings, 79952923 edges, 28265 markings/sec, 1495 secs
lola: STP completed || 32 tries, 31725512 fired transitions, 1500 secs || 41746583 markings, 80213977 edges, 28218 markings/sec, 1500 secs
lola: STP completed || 32 tries, 31824873 fired transitions, 1505 secs || 41869963 markings, 80461578 edges, 24676 markings/sec, 1505 secs
lola: STP completed || 32 tries, 31923786 fired transitions, 1510 secs || 41993965 markings, 80710751 edges, 24800 markings/sec, 1510 secs
lola: STP completed || 33 tries, 32023302 fired transitions, 1515 secs || 42129610 markings, 80970899 edges, 27129 markings/sec, 1515 secs
lola: STP completed || 33 tries, 32122668 fired transitions, 1520 secs || 42251887 markings, 81214098 edges, 24455 markings/sec, 1520 secs
lola: STP completed || 33 tries, 32221540 fired transitions, 1525 secs || 42365115 markings, 81450090 edges, 22646 markings/sec, 1525 secs
lola: STP completed || 33 tries, 32320588 fired transitions, 1530 secs || 42481583 markings, 81689339 edges, 23294 markings/sec, 1530 secs
lola: STP completed || 33 tries, 32421012 fired transitions, 1535 secs || 42607132 markings, 81936105 edges, 25110 markings/sec, 1535 secs
lola: STP completed || 33 tries, 32521523 fired transitions, 1540 secs || 42730230 markings, 82179627 edges, 24620 markings/sec, 1540 secs
lola: STP completed || 33 tries, 32622157 fired transitions, 1545 secs || 42846617 markings, 82419237 edges, 23277 markings/sec, 1545 secs
lola: STP completed || 33 tries, 32722960 fired transitions, 1550 secs || 42968242 markings, 82661588 edges, 24325 markings/sec, 1550 secs
lola: STP completed || 33 tries, 32823451 fired transitions, 1555 secs || 43085773 markings, 82901231 edges, 23506 markings/sec, 1555 secs
lola: STP completed || 33 tries, 32923496 fired transitions, 1560 secs || 43202648 markings, 83140816 edges, 23375 markings/sec, 1560 secs
lola: STP completed || 34 tries, 33022288 fired transitions, 1565 secs || 43318312 markings, 83377184 edges, 23133 markings/sec, 1565 secs
lola: STP completed || 34 tries, 33120428 fired transitions, 1570 secs || 43431158 markings, 83613050 edges, 22569 markings/sec, 1570 secs
lola: STP completed || 34 tries, 33219840 fired transitions, 1575 secs || 43545948 markings, 83849704 edges, 22958 markings/sec, 1575 secs
lola: STP completed || 34 tries, 33319433 fired transitions, 1580 secs || 43669400 markings, 84095351 edges, 24690 markings/sec, 1580 secs
lola: STP completed || 34 tries, 33419090 fired transitions, 1585 secs || 43788892 markings, 84339179 edges, 23898 markings/sec, 1585 secs
lola: STP completed || 34 tries, 33519749 fired transitions, 1590 secs || 43904554 markings, 84577612 edges, 23132 markings/sec, 1590 secs
lola: STP completed || 34 tries, 33620622 fired transitions, 1595 secs || 44021017 markings, 84814815 edges, 23293 markings/sec, 1595 secs
lola: STP completed || 34 tries, 33721760 fired transitions, 1600 secs || 44140371 markings, 85055301 edges, 23871 markings/sec, 1600 secs
lola: STP completed || 34 tries, 33820999 fired transitions, 1605 secs || 44263187 markings, 85298789 edges, 24563 markings/sec, 1605 secs
lola: STP completed || 34 tries, 33920815 fired transitions, 1610 secs || 44378210 markings, 85535601 edges, 23005 markings/sec, 1610 secs
lola: STP completed || 35 tries, 34020699 fired transitions, 1615 secs || 44499743 markings, 85777505 edges, 24307 markings/sec, 1615 secs
lola: STP completed || 35 tries, 34120393 fired transitions, 1620 secs || 44621415 markings, 86018588 edges, 24334 markings/sec, 1620 secs
lola: STP completed || 35 tries, 34220612 fired transitions, 1625 secs || 44739952 markings, 86259953 edges, 23707 markings/sec, 1625 secs
lola: STP completed || 35 tries, 34319997 fired transitions, 1630 secs || 44857458 markings, 86498448 edges, 23501 markings/sec, 1630 secs
lola: STP completed || 35 tries, 34419860 fired transitions, 1635 secs || 44978291 markings, 86739646 edges, 24167 markings/sec, 1635 secs
lola: STP completed || 35 tries, 34519456 fired transitions, 1640 secs || 45093181 markings, 86973829 edges, 22978 markings/sec, 1640 secs
lola: STP completed || 35 tries, 34619949 fired transitions, 1645 secs || 45215611 markings, 87215409 edges, 24486 markings/sec, 1645 secs
lola: STP completed || 35 tries, 34720203 fired transitions, 1650 secs || 45339652 markings, 87459162 edges, 24808 markings/sec, 1650 secs
lola: STP completed || 35 tries, 34819869 fired transitions, 1655 secs || 45448443 markings, 87689301 edges, 21758 markings/sec, 1655 secs
lola: STP completed || 35 tries, 34919649 fired transitions, 1660 secs || 45563116 markings, 87924317 edges, 22935 markings/sec, 1660 secs
lola: STP completed || 36 tries, 35019026 fired transitions, 1665 secs || 45675338 markings, 88158381 edges, 22444 markings/sec, 1665 secs
lola: STP completed || 36 tries, 35119011 fired transitions, 1670 secs || 45792477 markings, 88399876 edges, 23428 markings/sec, 1670 secs
lola: STP completed || 36 tries, 35219269 fired transitions, 1675 secs || 45907195 markings, 88636886 edges, 22944 markings/sec, 1675 secs
lola: STP completed || 36 tries, 35316834 fired transitions, 1680 secs || 46026816 markings, 88876065 edges, 23924 markings/sec, 1680 secs
lola: STP completed || 36 tries, 35412763 fired transitions, 1685 secs || 46143163 markings, 89111689 edges, 23269 markings/sec, 1685 secs
lola: STP completed || 36 tries, 35508827 fired transitions, 1690 secs || 46264209 markings, 89352201 edges, 24209 markings/sec, 1690 secs
lola: STP completed || 36 tries, 35604986 fired transitions, 1695 secs || 46380383 markings, 89589072 edges, 23235 markings/sec, 1695 secs
lola: STP completed || 36 tries, 35701443 fired transitions, 1700 secs || 46494353 markings, 89825088 edges, 22794 markings/sec, 1700 secs
lola: STP completed || 36 tries, 35798121 fired transitions, 1705 secs || 46606948 markings, 90055661 edges, 22519 markings/sec, 1705 secs
lola: STP completed || 36 tries, 35896543 fired transitions, 1710 secs || 46723774 markings, 90292759 edges, 23365 markings/sec, 1710 secs
lola: STP completed || 36 tries, 35995313 fired transitions, 1715 secs || 46836425 markings, 90528043 edges, 22530 markings/sec, 1715 secs
lola: STP completed || 37 tries, 36106120 fired transitions, 1720 secs || 46974184 markings, 90800530 edges, 27552 markings/sec, 1720 secs
lola: STP completed || 37 tries, 36214516 fired transitions, 1725 secs || 47096603 markings, 91049322 edges, 24484 markings/sec, 1725 secs
lola: STP completed || 37 tries, 36332948 fired transitions, 1730 secs || 47224696 markings, 91317254 edges, 25619 markings/sec, 1730 secs
lola: STP completed || 37 tries, 36450776 fired transitions, 1735 secs || 47347559 markings, 91582072 edges, 24573 markings/sec, 1735 secs
lola: STP completed || 37 tries, 36550357 fired transitions, 1740 secs || 47471183 markings, 91823949 edges, 24725 markings/sec, 1740 secs
lola: STP completed || 37 tries, 36650807 fired transitions, 1745 secs || 47587263 markings, 92068829 edges, 23216 markings/sec, 1745 secs
lola: STP completed || 37 tries, 36751070 fired transitions, 1750 secs || 47701017 markings, 92304722 edges, 22751 markings/sec, 1750 secs
lola: STP completed || 37 tries, 36852269 fired transitions, 1755 secs || 47814469 markings, 92538043 edges, 22690 markings/sec, 1755 secs
lola: STP completed || 37 tries, 36952086 fired transitions, 1760 secs || 47924992 markings, 92773016 edges, 22105 markings/sec, 1760 secs
lola: STP completed || 38 tries, 37052342 fired transitions, 1765 secs || 48032991 markings, 93004780 edges, 21600 markings/sec, 1765 secs
lola: STP completed || 38 tries, 37151907 fired transitions, 1770 secs || 48149596 markings, 93242681 edges, 23321 markings/sec, 1770 secs
lola: STP completed || 38 tries, 37251338 fired transitions, 1775 secs || 48265436 markings, 93479805 edges, 23168 markings/sec, 1775 secs
lola: STP completed || 38 tries, 37350631 fired transitions, 1780 secs || 48379411 markings, 93714829 edges, 22795 markings/sec, 1780 secs
lola: STP completed || 38 tries, 37449424 fired transitions, 1785 secs || 48491176 markings, 93948851 edges, 22353 markings/sec, 1785 secs
lola: STP completed || 38 tries, 37548957 fired transitions, 1790 secs || 48601914 markings, 94184901 edges, 22148 markings/sec, 1790 secs
lola: STP completed || 38 tries, 37648102 fired transitions, 1795 secs || 48720698 markings, 94424867 edges, 23757 markings/sec, 1795 secs
lola: STP completed || 38 tries, 37747454 fired transitions, 1800 secs || 48835997 markings, 94664184 edges, 23060 markings/sec, 1800 secs
lola: STP completed || 38 tries, 37846593 fired transitions, 1805 secs || 48952320 markings, 94902650 edges, 23265 markings/sec, 1805 secs
lola: STP completed || 38 tries, 37946158 fired transitions, 1810 secs || 49068892 markings, 95143285 edges, 23314 markings/sec, 1810 secs
lola: STP completed || 39 tries, 38053599 fired transitions, 1815 secs || 49194697 markings, 95403115 edges, 25161 markings/sec, 1815 secs
lola: STP completed || 39 tries, 38168837 fired transitions, 1820 secs || 49325393 markings, 95671339 edges, 26139 markings/sec, 1820 secs
lola: STP completed || 39 tries, 38283914 fired transitions, 1825 secs || 49455867 markings, 95941615 edges, 26095 markings/sec, 1825 secs
lola: STP completed || 39 tries, 38399841 fired transitions, 1830 secs || 49588462 markings, 96211213 edges, 26519 markings/sec, 1830 secs
lola: STP completed || 39 tries, 38515536 fired transitions, 1835 secs || 49720371 markings, 96480763 edges, 26382 markings/sec, 1835 secs
lola: STP completed || 39 tries, 38631373 fired transitions, 1840 secs || 49846540 markings, 96748162 edges, 25234 markings/sec, 1840 secs
lola: STP completed || 39 tries, 38747131 fired transitions, 1845 secs || 49963166 markings, 97010124 edges, 23325 markings/sec, 1845 secs
lola: STP completed || 39 tries, 38862881 fired transitions, 1850 secs || 50106539 markings, 97295012 edges, 28675 markings/sec, 1850 secs
lola: STP completed || 39 tries, 38977715 fired transitions, 1855 secs || 50251851 markings, 97584366 edges, 29062 markings/sec, 1855 secs
lola: STP completed || 40 tries, 39093013 fired transitions, 1860 secs || 50389902 markings, 97864939 edges, 27610 markings/sec, 1860 secs
lola: STP completed || 40 tries, 39209499 fired transitions, 1865 secs || 50527974 markings, 98150464 edges, 27614 markings/sec, 1865 secs
lola: STP completed || 40 tries, 39324475 fired transitions, 1870 secs || 50673330 markings, 98437121 edges, 29071 markings/sec, 1870 secs
lola: STP completed || 40 tries, 39440580 fired transitions, 1875 secs || 50809799 markings, 98718390 edges, 27294 markings/sec, 1875 secs
lola: STP completed || 40 tries, 39555971 fired transitions, 1880 secs || 50947271 markings, 98997515 edges, 27494 markings/sec, 1880 secs
lola: STP completed || 40 tries, 39671444 fired transitions, 1885 secs || 51082470 markings, 99271073 edges, 27040 markings/sec, 1885 secs
lola: STP completed || 40 tries, 39786788 fired transitions, 1890 secs || 51219784 markings, 99546981 edges, 27463 markings/sec, 1890 secs
lola: STP completed || 40 tries, 39901686 fired transitions, 1895 secs || 51352617 markings, 99820806 edges, 26567 markings/sec, 1895 secs
lola: STP completed || 41 tries, 40016164 fired transitions, 1900 secs || 51490315 markings, 100099799 edges, 27540 markings/sec, 1900 secs
lola: STP completed || 41 tries, 40131445 fired transitions, 1905 secs || 51631063 markings, 100378649 edges, 28150 markings/sec, 1905 secs
lola: STP completed || 41 tries, 40247082 fired transitions, 1910 secs || 51764319 markings, 100651450 edges, 26651 markings/sec, 1910 secs
lola: STP completed || 41 tries, 40361433 fired transitions, 1915 secs || 51899729 markings, 100926475 edges, 27082 markings/sec, 1915 secs
lola: STP completed || 41 tries, 40476590 fired transitions, 1920 secs || 52034887 markings, 101202006 edges, 27032 markings/sec, 1920 secs
lola: STP completed || 41 tries, 40591923 fired transitions, 1925 secs || 52168226 markings, 101475532 edges, 26668 markings/sec, 1925 secs
lola: STP completed || 41 tries, 40707170 fired transitions, 1930 secs || 52301638 markings, 101751169 edges, 26682 markings/sec, 1930 secs
lola: STP completed || 41 tries, 40823098 fired transitions, 1935 secs || 52438367 markings, 102025391 edges, 27346 markings/sec, 1935 secs
lola: STP completed || 41 tries, 40937899 fired transitions, 1940 secs || 52564371 markings, 102292455 edges, 25201 markings/sec, 1940 secs
lola: STP completed || 42 tries, 41053745 fired transitions, 1945 secs || 52695604 markings, 102564245 edges, 26247 markings/sec, 1945 secs
lola: STP completed || 42 tries, 41168775 fired transitions, 1950 secs || 52825383 markings, 102835577 edges, 25956 markings/sec, 1950 secs
lola: STP completed || 42 tries, 41284335 fired transitions, 1955 secs || 52943628 markings, 103093288 edges, 23649 markings/sec, 1955 secs
lola: STP completed || 42 tries, 41400843 fired transitions, 1960 secs || 53074409 markings, 103366477 edges, 26156 markings/sec, 1960 secs
lola: STP completed || 42 tries, 41517719 fired transitions, 1965 secs || 53213804 markings, 103648903 edges, 27879 markings/sec, 1965 secs
lola: STP completed || 42 tries, 41633805 fired transitions, 1970 secs || 53339158 markings, 103919935 edges, 25071 markings/sec, 1970 secs
lola: STP completed || 42 tries, 41750657 fired transitions, 1975 secs || 53469704 markings, 104194753 edges, 26109 markings/sec, 1975 secs
lola: STP completed || 42 tries, 41867152 fired transitions, 1980 secs || 53599537 markings, 104465860 edges, 25967 markings/sec, 1980 secs
lola: STP completed || 42 tries, 41984894 fired transitions, 1985 secs || 53736130 markings, 104746589 edges, 27319 markings/sec, 1985 secs
lola: STP completed || 43 tries, 42101919 fired transitions, 1990 secs || 53859378 markings, 105014904 edges, 24650 markings/sec, 1990 secs
lola: STP completed || 43 tries, 42217399 fired transitions, 1995 secs || 53991664 markings, 105288033 edges, 26457 markings/sec, 1995 secs
lola: STP completed || 43 tries, 42332349 fired transitions, 2000 secs || 54120795 markings, 105556217 edges, 25826 markings/sec, 2000 secs
lola: STP completed || 43 tries, 42446209 fired transitions, 2005 secs || 54256254 markings, 105833838 edges, 27092 markings/sec, 2005 secs
lola: STP completed || 43 tries, 42561542 fired transitions, 2010 secs || 54387402 markings, 106103847 edges, 26230 markings/sec, 2010 secs
lola: STP completed || 43 tries, 42676538 fired transitions, 2015 secs || 54516394 markings, 106373091 edges, 25798 markings/sec, 2015 secs
lola: STP completed || 43 tries, 42791493 fired transitions, 2020 secs || 54644770 markings, 106640073 edges, 25675 markings/sec, 2020 secs
lola: STP completed || 43 tries, 42905154 fired transitions, 2025 secs || 54777716 markings, 106914234 edges, 26589 markings/sec, 2025 secs
lola: STP completed || 44 tries, 43020573 fired transitions, 2030 secs || 54900004 markings, 107179331 edges, 24458 markings/sec, 2030 secs
lola: STP completed || 44 tries, 43135407 fired transitions, 2035 secs || 55017920 markings, 107441661 edges, 23583 markings/sec, 2035 secs
lola: STP completed || 44 tries, 43250388 fired transitions, 2040 secs || 55159283 markings, 107724778 edges, 28273 markings/sec, 2040 secs
lola: STP completed || 44 tries, 43366083 fired transitions, 2045 secs || 55297591 markings, 108005227 edges, 27662 markings/sec, 2045 secs
lola: STP completed || 44 tries, 43482667 fired transitions, 2050 secs || 55424922 markings, 108276151 edges, 25466 markings/sec, 2050 secs
lola: STP completed || 44 tries, 43599524 fired transitions, 2055 secs || 55563594 markings, 108560076 edges, 27734 markings/sec, 2055 secs
lola: STP completed || 44 tries, 43716409 fired transitions, 2060 secs || 55701443 markings, 108841060 edges, 27570 markings/sec, 2060 secs
lola: STP completed || 44 tries, 43832350 fired transitions, 2065 secs || 55831070 markings, 109114315 edges, 25925 markings/sec, 2065 secs
lola: STP completed || 44 tries, 43947979 fired transitions, 2070 secs || 55966958 markings, 109392541 edges, 27178 markings/sec, 2070 secs
lola: STP completed || 45 tries, 44065006 fired transitions, 2075 secs || 56093092 markings, 109664077 edges, 25227 markings/sec, 2075 secs
lola: STP completed || 45 tries, 44182185 fired transitions, 2080 secs || 56232300 markings, 109949560 edges, 27842 markings/sec, 2080 secs
lola: STP completed || 45 tries, 44299661 fired transitions, 2085 secs || 56372495 markings, 110234340 edges, 28039 markings/sec, 2085 secs
lola: STP completed || 45 tries, 44414885 fired transitions, 2090 secs || 56506447 markings, 110509940 edges, 26790 markings/sec, 2090 secs
lola: STP completed || 45 tries, 44530518 fired transitions, 2095 secs || 56642309 markings, 110785544 edges, 27172 markings/sec, 2095 secs
lola: STP completed || 45 tries, 44645669 fired transitions, 2100 secs || 56781535 markings, 111065530 edges, 27845 markings/sec, 2100 secs
lola: STP completed || 45 tries, 44759422 fired transitions, 2105 secs || 56918822 markings, 111343202 edges, 27457 markings/sec, 2105 secs
lola: STP completed || 45 tries, 44872300 fired transitions, 2110 secs || 57049677 markings, 111613621 edges, 26171 markings/sec, 2110 secs
lola: STP completed || 45 tries, 44985849 fired transitions, 2115 secs || 57187269 markings, 111890053 edges, 27518 markings/sec, 2115 secs
lola: STP completed || 46 tries, 45100670 fired transitions, 2120 secs || 57329228 markings, 112173815 edges, 28392 markings/sec, 2120 secs
lola: STP completed || 46 tries, 45215243 fired transitions, 2125 secs || 57459247 markings, 112442959 edges, 26004 markings/sec, 2125 secs
lola: STP completed || 46 tries, 45329867 fired transitions, 2130 secs || 57584736 markings, 112712031 edges, 25098 markings/sec, 2130 secs
lola: STP completed || 46 tries, 45446668 fired transitions, 2135 secs || 57721195 markings, 112990987 edges, 27292 markings/sec, 2135 secs
lola: STP completed || 46 tries, 45563033 fired transitions, 2140 secs || 57837427 markings, 113248249 edges, 23246 markings/sec, 2140 secs
lola: STP completed || 46 tries, 45679659 fired transitions, 2145 secs || 57981990 markings, 113534696 edges, 28913 markings/sec, 2145 secs
lola: STP completed || 46 tries, 45793967 fired transitions, 2150 secs || 58110252 markings, 113803165 edges, 25652 markings/sec, 2150 secs
lola: STP completed || 46 tries, 45899329 fired transitions, 2155 secs || 58230734 markings, 114052506 edges, 24096 markings/sec, 2155 secs
lola: STP completed || 47 tries, 46015203 fired transitions, 2160 secs || 58359175 markings, 114321501 edges, 25688 markings/sec, 2160 secs
lola: STP completed || 47 tries, 46131094 fired transitions, 2165 secs || 58485179 markings, 114590398 edges, 25201 markings/sec, 2165 secs
lola: STP completed || 47 tries, 46244234 fired transitions, 2170 secs || 58618093 markings, 114863587 edges, 26583 markings/sec, 2170 secs
lola: STP completed || 47 tries, 46342454 fired transitions, 2175 secs || 58728779 markings, 115096106 edges, 22137 markings/sec, 2175 secs
lola: STP completed || 47 tries, 46438461 fired transitions, 2180 secs || 58843047 markings, 115329726 edges, 22854 markings/sec, 2180 secs
lola: STP completed || 47 tries, 46542655 fired transitions, 2185 secs || 58952185 markings, 115568056 edges, 21828 markings/sec, 2185 secs
lola: STP completed || 47 tries, 46642446 fired transitions, 2190 secs || 59054653 markings, 115792382 edges, 20494 markings/sec, 2190 secs
lola: STP completed || 47 tries, 46740332 fired transitions, 2195 secs || 59154520 markings, 116017827 edges, 19973 markings/sec, 2195 secs
lola: STP completed || 47 tries, 46838048 fired transitions, 2200 secs || 59272148 markings, 116258558 edges, 23526 markings/sec, 2200 secs
lola: STP completed || 47 tries, 46935985 fired transitions, 2205 secs || 59381589 markings, 116492903 edges, 21888 markings/sec, 2205 secs
lola: STP completed || 48 tries, 47037088 fired transitions, 2210 secs || 59499937 markings, 116736643 edges, 23670 markings/sec, 2210 secs
lola: STP completed || 48 tries, 47143664 fired transitions, 2215 secs || 59601034 markings, 116963213 edges, 20219 markings/sec, 2215 secs
lola: STP completed || 48 tries, 47250868 fired transitions, 2220 secs || 59707927 markings, 117197694 edges, 21379 markings/sec, 2220 secs
lola: STP completed || 48 tries, 47359138 fired transitions, 2225 secs || 59828846 markings, 117456364 edges, 24184 markings/sec, 2225 secs
lola: STP completed || 48 tries, 47475031 fired transitions, 2230 secs || 59955199 markings, 117725877 edges, 25271 markings/sec, 2230 secs
lola: STP completed || 48 tries, 47590768 fired transitions, 2235 secs || 60081500 markings, 117994933 edges, 25260 markings/sec, 2235 secs
lola: STP completed || 48 tries, 47706786 fired transitions, 2240 secs || 60204620 markings, 118264637 edges, 24624 markings/sec, 2240 secs
lola: STP completed || 48 tries, 47819051 fired transitions, 2245 secs || 60323483 markings, 118519713 edges, 23773 markings/sec, 2245 secs
lola: STP completed || 48 tries, 47934331 fired transitions, 2250 secs || 60443602 markings, 118778118 edges, 24024 markings/sec, 2250 secs
lola: STP completed || 49 tries, 48050449 fired transitions, 2255 secs || 60558216 markings, 119037294 edges, 22923 markings/sec, 2255 secs
lola: STP completed || 49 tries, 48166047 fired transitions, 2260 secs || 60689474 markings, 119311253 edges, 26252 markings/sec, 2260 secs
lola: STP completed || 49 tries, 48281224 fired transitions, 2265 secs || 60821552 markings, 119584206 edges, 26416 markings/sec, 2265 secs
lola: STP completed || 49 tries, 48396790 fired transitions, 2270 secs || 60953051 markings, 119854923 edges, 26300 markings/sec, 2270 secs
lola: STP completed || 49 tries, 48511890 fired transitions, 2275 secs || 61075775 markings, 120118311 edges, 24545 markings/sec, 2275 secs
lola: STP completed || 49 tries, 48627151 fired transitions, 2280 secs || 61209412 markings, 120392662 edges, 26727 markings/sec, 2280 secs
lola: STP completed || 49 tries, 48743938 fired transitions, 2285 secs || 61347467 markings, 120671675 edges, 27611 markings/sec, 2285 secs
lola: STP completed || 49 tries, 48860909 fired transitions, 2290 secs || 61479909 markings, 120948119 edges, 26488 markings/sec, 2290 secs
lola: STP completed || 49 tries, 48977045 fired transitions, 2295 secs || 61622851 markings, 121230262 edges, 28588 markings/sec, 2295 secs
lola: STP completed || 50 tries, 49092674 fired transitions, 2300 secs || 61764108 markings, 121512166 edges, 28251 markings/sec, 2300 secs
lola: STP completed || 50 tries, 49208442 fired transitions, 2305 secs || 61906021 markings, 121794846 edges, 28383 markings/sec, 2305 secs
lola: STP completed || 50 tries, 49324047 fired transitions, 2310 secs || 62026123 markings, 122055170 edges, 24020 markings/sec, 2310 secs
lola: STP completed || 50 tries, 49439946 fired transitions, 2315 secs || 62147088 markings, 122317819 edges, 24193 markings/sec, 2315 secs
lola: STP completed || 50 tries, 49556825 fired transitions, 2320 secs || 62277175 markings, 122587780 edges, 26017 markings/sec, 2320 secs
lola: STP completed || 50 tries, 49674373 fired transitions, 2325 secs || 62409019 markings, 122862560 edges, 26369 markings/sec, 2325 secs
lola: STP completed || 50 tries, 49791662 fired transitions, 2330 secs || 62542381 markings, 123136122 edges, 26672 markings/sec, 2330 secs
lola: STP completed || 50 tries, 49908528 fired transitions, 2335 secs || 62661063 markings, 123398648 edges, 23736 markings/sec, 2335 secs
lola: STP completed || 51 tries, 50026391 fired transitions, 2340 secs || 62785499 markings, 123667053 edges, 24887 markings/sec, 2340 secs
lola: STP completed || 51 tries, 50142778 fired transitions, 2345 secs || 62917881 markings, 123939752 edges, 26476 markings/sec, 2345 secs
lola: STP completed || 51 tries, 50258571 fired transitions, 2350 secs || 63047321 markings, 124209131 edges, 25888 markings/sec, 2350 secs
lola: STP completed || 51 tries, 50373911 fired transitions, 2355 secs || 63169097 markings, 124472339 edges, 24355 markings/sec, 2355 secs
lola: STP completed || 51 tries, 50489234 fired transitions, 2360 secs || 63284866 markings, 124731051 edges, 23154 markings/sec, 2360 secs
lola: STP completed || 51 tries, 50605715 fired transitions, 2365 secs || 63426403 markings, 125023093 edges, 28307 markings/sec, 2365 secs
lola: STP completed || 51 tries, 50723320 fired transitions, 2370 secs || 63564471 markings, 125313241 edges, 27614 markings/sec, 2370 secs
lola: STP completed || 51 tries, 50839174 fired transitions, 2375 secs || 63699572 markings, 125597717 edges, 27020 markings/sec, 2375 secs
lola: STP completed || 51 tries, 50956149 fired transitions, 2380 secs || 63830101 markings, 125881411 edges, 26106 markings/sec, 2380 secs
lola: STP completed || 52 tries, 51073050 fired transitions, 2385 secs || 63979502 markings, 126176854 edges, 29880 markings/sec, 2385 secs
lola: STP completed || 52 tries, 51189002 fired transitions, 2390 secs || 64109164 markings, 126453731 edges, 25932 markings/sec, 2390 secs
lola: STP completed || 52 tries, 51304766 fired transitions, 2395 secs || 64258907 markings, 126747661 edges, 29949 markings/sec, 2395 secs
lola: STP completed || 52 tries, 51420805 fired transitions, 2400 secs || 64407677 markings, 127040632 edges, 29754 markings/sec, 2400 secs
lola: STP completed || 52 tries, 51538371 fired transitions, 2405 secs || 64556963 markings, 127334950 edges, 29857 markings/sec, 2405 secs
lola: STP completed || 52 tries, 51655673 fired transitions, 2410 secs || 64704405 markings, 127629035 edges, 29488 markings/sec, 2410 secs
lola: STP completed || 52 tries, 51772878 fired transitions, 2415 secs || 64851496 markings, 127921544 edges, 29418 markings/sec, 2415 secs
lola: STP completed || 52 tries, 51890818 fired transitions, 2420 secs || 64993384 markings, 128210785 edges, 28378 markings/sec, 2420 secs
lola: STP completed || 53 tries, 52008683 fired transitions, 2425 secs || 65128830 markings, 128495907 edges, 27089 markings/sec, 2425 secs
lola: STP completed || 53 tries, 52126721 fired transitions, 2430 secs || 65275243 markings, 128785806 edges, 29283 markings/sec, 2430 secs
lola: STP completed || 53 tries, 52230992 fired transitions, 2435 secs || 65401676 markings, 129043767 edges, 25287 markings/sec, 2435 secs
lola: STP completed || 53 tries, 52331154 fired transitions, 2440 secs || 65515651 markings, 129288594 edges, 22795 markings/sec, 2440 secs
lola: STP completed || 53 tries, 52431968 fired transitions, 2445 secs || 65627943 markings, 129529612 edges, 22458 markings/sec, 2445 secs
lola: STP completed || 53 tries, 52532390 fired transitions, 2450 secs || 65751807 markings, 129778512 edges, 24773 markings/sec, 2450 secs
lola: STP completed || 53 tries, 52632925 fired transitions, 2455 secs || 65873574 markings, 130027254 edges, 24353 markings/sec, 2455 secs
lola: STP completed || 53 tries, 52733564 fired transitions, 2460 secs || 66000414 markings, 130278589 edges, 25368 markings/sec, 2460 secs
lola: STP completed || 53 tries, 52834352 fired transitions, 2465 secs || 66115459 markings, 130519798 edges, 23009 markings/sec, 2465 secs
lola: STP completed || 53 tries, 52935463 fired transitions, 2470 secs || 66230331 markings, 130759656 edges, 22974 markings/sec, 2470 secs
lola: STP completed || 54 tries, 53035925 fired transitions, 2475 secs || 66351929 markings, 131008093 edges, 24320 markings/sec, 2475 secs
lola: STP completed || 54 tries, 53137412 fired transitions, 2480 secs || 66473679 markings, 131255113 edges, 24350 markings/sec, 2480 secs
lola: STP completed || 54 tries, 53237873 fired transitions, 2485 secs || 66587943 markings, 131495073 edges, 22853 markings/sec, 2485 secs
lola: STP completed || 54 tries, 53338267 fired transitions, 2490 secs || 66709272 markings, 131740205 edges, 24266 markings/sec, 2490 secs
lola: STP completed || 54 tries, 53440717 fired transitions, 2495 secs || 66824133 markings, 131980895 edges, 22972 markings/sec, 2495 secs
lola: STP completed || 54 tries, 53544963 fired transitions, 2500 secs || 66934357 markings, 132218361 edges, 22045 markings/sec, 2500 secs
lola: STP completed || 54 tries, 53649987 fired transitions, 2505 secs || 67059010 markings, 132467440 edges, 24931 markings/sec, 2505 secs
lola: STP completed || 54 tries, 53755247 fired transitions, 2510 secs || 67183623 markings, 132717159 edges, 24923 markings/sec, 2510 secs
lola: STP completed || 54 tries, 53857011 fired transitions, 2515 secs || 67290719 markings, 132951675 edges, 21419 markings/sec, 2515 secs
lola: STP completed || 54 tries, 53959788 fired transitions, 2520 secs || 67399494 markings, 133184819 edges, 21755 markings/sec, 2520 secs
lola: STP completed || 55 tries, 54065212 fired transitions, 2525 secs || 67518764 markings, 133426234 edges, 23854 markings/sec, 2525 secs
lola: STP completed || 55 tries, 54170102 fired transitions, 2530 secs || 67638149 markings, 133667436 edges, 23877 markings/sec, 2530 secs
lola: STP completed || 55 tries, 54275619 fired transitions, 2535 secs || 67759637 markings, 133909304 edges, 24298 markings/sec, 2535 secs
lola: STP completed || 55 tries, 54380645 fired transitions, 2540 secs || 67869117 markings, 134141685 edges, 21896 markings/sec, 2540 secs
lola: STP completed || 55 tries, 54485171 fired transitions, 2545 secs || 67974406 markings, 134371538 edges, 21058 markings/sec, 2545 secs
lola: STP completed || 55 tries, 54588917 fired transitions, 2550 secs || 68083736 markings, 134605373 edges, 21866 markings/sec, 2550 secs
lola: STP completed || 55 tries, 54689887 fired transitions, 2555 secs || 68188411 markings, 134835911 edges, 20935 markings/sec, 2555 secs
lola: STP completed || 55 tries, 54790890 fired transitions, 2560 secs || 68310488 markings, 135078591 edges, 24415 markings/sec, 2560 secs
lola: STP completed || 55 tries, 54892368 fired transitions, 2565 secs || 68430672 markings, 135321683 edges, 24037 markings/sec, 2565 secs
lola: STP completed || 55 tries, 54992476 fired transitions, 2570 secs || 68547405 markings, 135562334 edges, 23347 markings/sec, 2570 secs
lola: STP completed || 56 tries, 55092952 fired transitions, 2575 secs || 68668959 markings, 135805428 edges, 24311 markings/sec, 2575 secs
lola: STP completed || 56 tries, 55195775 fired transitions, 2580 secs || 68785115 markings, 136044749 edges, 23231 markings/sec, 2580 secs
lola: STP completed || 56 tries, 55300037 fired transitions, 2585 secs || 68902480 markings, 136284865 edges, 23473 markings/sec, 2585 secs
lola: STP completed || 56 tries, 55403240 fired transitions, 2590 secs || 69018393 markings, 136525415 edges, 23183 markings/sec, 2590 secs
lola: STP completed || 56 tries, 55507766 fired transitions, 2595 secs || 69138240 markings, 136767974 edges, 23969 markings/sec, 2595 secs
lola: STP completed || 56 tries, 55612041 fired transitions, 2600 secs || 69247124 markings, 136997864 edges, 21777 markings/sec, 2600 secs
lola: STP completed || 56 tries, 55715759 fired transitions, 2605 secs || 69352049 markings, 137226268 edges, 20985 markings/sec, 2605 secs
lola: STP completed || 56 tries, 55818992 fired transitions, 2610 secs || 69463380 markings, 137459041 edges, 22266 markings/sec, 2610 secs
lola: STP completed || 56 tries, 55929195 fired transitions, 2615 secs || 69583473 markings, 137712687 edges, 24019 markings/sec, 2615 secs
lola: STP completed || 57 tries, 56044926 fired transitions, 2620 secs || 69712281 markings, 137981112 edges, 25762 markings/sec, 2620 secs
lola: STP completed || 57 tries, 56160991 fired transitions, 2625 secs || 69833415 markings, 138247172 edges, 24227 markings/sec, 2625 secs
lola: STP completed || 57 tries, 56277171 fired transitions, 2630 secs || 69970254 markings, 138525584 edges, 27368 markings/sec, 2630 secs
lola: STP completed || 57 tries, 56393227 fired transitions, 2635 secs || 70107578 markings, 138805354 edges, 27465 markings/sec, 2635 secs
lola: STP completed || 57 tries, 56509160 fired transitions, 2640 secs || 70241233 markings, 139082481 edges, 26731 markings/sec, 2640 secs
lola: STP completed || 57 tries, 56623739 fired transitions, 2645 secs || 70378477 markings, 139361966 edges, 27449 markings/sec, 2645 secs
lola: STP completed || 57 tries, 56739062 fired transitions, 2650 secs || 70521341 markings, 139646781 edges, 28573 markings/sec, 2650 secs
lola: STP completed || 57 tries, 56854090 fired transitions, 2655 secs || 70656573 markings, 139922278 edges, 27046 markings/sec, 2655 secs
lola: STP completed || 57 tries, 56967936 fired transitions, 2660 secs || 70779915 markings, 140188630 edges, 24668 markings/sec, 2660 secs
lola: STP completed || 58 tries, 57083762 fired transitions, 2665 secs || 70917534 markings, 140469875 edges, 27524 markings/sec, 2665 secs
lola: STP completed || 58 tries, 57197748 fired transitions, 2670 secs || 71035086 markings, 140729250 edges, 23510 markings/sec, 2670 secs
lola: STP completed || 58 tries, 57312158 fired transitions, 2675 secs || 71173336 markings, 141007473 edges, 27650 markings/sec, 2675 secs
lola: STP completed || 58 tries, 57426382 fired transitions, 2680 secs || 71304489 markings, 141282521 edges, 26231 markings/sec, 2680 secs
lola: STP completed || 58 tries, 57542765 fired transitions, 2685 secs || 71428825 markings, 141550149 edges, 24867 markings/sec, 2685 secs
lola: STP completed || 58 tries, 57658759 fired transitions, 2690 secs || 71550520 markings, 141812150 edges, 24339 markings/sec, 2690 secs
lola: STP completed || 58 tries, 57769434 fired transitions, 2695 secs || 71700919 markings, 142099470 edges, 30080 markings/sec, 2695 secs
lola: STP completed || 58 tries, 57872838 fired transitions, 2700 secs || 71832221 markings, 142357508 edges, 26260 markings/sec, 2700 secs
lola: STP completed || 58 tries, 57975515 fired transitions, 2705 secs || 71966662 markings, 142614544 edges, 26888 markings/sec, 2705 secs
lola: STP completed || 59 tries, 58078077 fired transitions, 2710 secs || 72100940 markings, 142873036 edges, 26856 markings/sec, 2710 secs
lola: STP completed || 59 tries, 58179989 fired transitions, 2715 secs || 72225563 markings, 143126887 edges, 24925 markings/sec, 2715 secs
lola: STP completed || 59 tries, 58282278 fired transitions, 2720 secs || 72356212 markings, 143382875 edges, 26130 markings/sec, 2720 secs
lola: STP completed || 59 tries, 58384530 fired transitions, 2725 secs || 72486133 markings, 143635652 edges, 25984 markings/sec, 2725 secs
lola: STP completed || 59 tries, 58485338 fired transitions, 2730 secs || 72599398 markings, 143879615 edges, 22653 markings/sec, 2730 secs
lola: STP completed || 59 tries, 58585728 fired transitions, 2735 secs || 72719962 markings, 144129879 edges, 24113 markings/sec, 2735 secs
lola: STP completed || 59 tries, 58684962 fired transitions, 2740 secs || 72841807 markings, 144380523 edges, 24369 markings/sec, 2740 secs
lola: STP completed || 59 tries, 58784686 fired transitions, 2745 secs || 72977010 markings, 144636603 edges, 27041 markings/sec, 2745 secs
lola: STP completed || 59 tries, 58884972 fired transitions, 2750 secs || 73112405 markings, 144892097 edges, 27079 markings/sec, 2750 secs
lola: STP completed || 59 tries, 58985257 fired transitions, 2755 secs || 73242759 markings, 145149672 edges, 26071 markings/sec, 2755 secs
lola: STP completed || 60 tries, 59084144 fired transitions, 2760 secs || 73369537 markings, 145401350 edges, 25356 markings/sec, 2760 secs
lola: STP completed || 60 tries, 59183915 fired transitions, 2765 secs || 73515198 markings, 145670203 edges, 29132 markings/sec, 2765 secs
lola: STP completed || 60 tries, 59283521 fired transitions, 2770 secs || 73653994 markings, 145932557 edges, 27759 markings/sec, 2770 secs
lola: STP completed || 60 tries, 59383467 fired transitions, 2775 secs || 73795209 markings, 146195972 edges, 28243 markings/sec, 2775 secs
lola: STP completed || 60 tries, 59484017 fired transitions, 2780 secs || 73933155 markings, 146460507 edges, 27589 markings/sec, 2780 secs
lola: STP completed || 60 tries, 59600046 fired transitions, 2785 secs || 74095845 markings, 146760859 edges, 32538 markings/sec, 2785 secs
lola: STP completed || 60 tries, 59716880 fired transitions, 2790 secs || 74253248 markings, 147057253 edges, 31481 markings/sec, 2790 secs
lola: STP completed || 60 tries, 59834574 fired transitions, 2795 secs || 74401577 markings, 147346903 edges, 29666 markings/sec, 2795 secs
lola: STP completed || 60 tries, 59951706 fired transitions, 2800 secs || 74549491 markings, 147637713 edges, 29583 markings/sec, 2800 secs
lola: STP completed || 61 tries, 60059381 fired transitions, 2805 secs || 74691166 markings, 147907770 edges, 28335 markings/sec, 2805 secs
lola: STP completed || 61 tries, 60159714 fired transitions, 2810 secs || 74837006 markings, 148175953 edges, 29168 markings/sec, 2810 secs
lola: STP completed || 61 tries, 60258932 fired transitions, 2815 secs || 74964360 markings, 148428601 edges, 25471 markings/sec, 2815 secs
lola: STP completed || 61 tries, 60358171 fired transitions, 2820 secs || 75088665 markings, 148677048 edges, 24861 markings/sec, 2820 secs
lola: STP completed || 61 tries, 60456771 fired transitions, 2825 secs || 75212305 markings, 148923337 edges, 24728 markings/sec, 2825 secs
lola: STP completed || 61 tries, 60555647 fired transitions, 2830 secs || 75334460 markings, 149170961 edges, 24431 markings/sec, 2830 secs
lola: STP completed || 61 tries, 60654705 fired transitions, 2835 secs || 75460680 markings, 149420887 edges, 25244 markings/sec, 2835 secs
lola: STP completed || 61 tries, 60754223 fired transitions, 2840 secs || 75591434 markings, 149670243 edges, 26151 markings/sec, 2840 secs
lola: STP completed || 61 tries, 60853976 fired transitions, 2845 secs || 75713389 markings, 149910928 edges, 24391 markings/sec, 2845 secs
lola: STP completed || 61 tries, 60953203 fired transitions, 2850 secs || 75838122 markings, 150157930 edges, 24947 markings/sec, 2850 secs
lola: STP completed || 62 tries, 61052185 fired transitions, 2855 secs || 75958839 markings, 150400476 edges, 24143 markings/sec, 2855 secs
lola: STP completed || 62 tries, 61151281 fired transitions, 2860 secs || 76084652 markings, 150648201 edges, 25163 markings/sec, 2860 secs
lola: STP completed || 62 tries, 61250137 fired transitions, 2865 secs || 76207485 markings, 150894277 edges, 24567 markings/sec, 2865 secs
lola: STP completed || 62 tries, 61366685 fired transitions, 2870 secs || 76341131 markings, 151163830 edges, 26729 markings/sec, 2870 secs
lola: STP completed || 62 tries, 61481618 fired transitions, 2875 secs || 76470737 markings, 151434361 edges, 25921 markings/sec, 2875 secs
lola: STP completed || 62 tries, 61597550 fired transitions, 2880 secs || 76604610 markings, 151710799 edges, 26775 markings/sec, 2880 secs
lola: STP completed || 62 tries, 61714889 fired transitions, 2885 secs || 76738310 markings, 151988044 edges, 26740 markings/sec, 2885 secs
lola: STP completed || 62 tries, 61831296 fired transitions, 2890 secs || 76880939 markings, 152272371 edges, 28526 markings/sec, 2890 secs
lola: STP completed || 62 tries, 61947418 fired transitions, 2895 secs || 77022554 markings, 152555499 edges, 28323 markings/sec, 2895 secs
lola: STP completed || 63 tries, 62063171 fired transitions, 2900 secs || 77164277 markings, 152838102 edges, 28345 markings/sec, 2900 secs
lola: STP completed || 63 tries, 62180467 fired transitions, 2905 secs || 77294915 markings, 153112455 edges, 26128 markings/sec, 2905 secs
lola: STP completed || 63 tries, 62299279 fired transitions, 2910 secs || 77430379 markings, 153393726 edges, 27093 markings/sec, 2910 secs
lola: STP completed || 63 tries, 62415709 fired transitions, 2915 secs || 77571530 markings, 153680150 edges, 28230 markings/sec, 2915 secs
lola: STP completed || 63 tries, 62531592 fired transitions, 2920 secs || 77692640 markings, 153943886 edges, 24222 markings/sec, 2920 secs
lola: STP completed || 63 tries, 62645849 fired transitions, 2925 secs || 77820681 markings, 154214941 edges, 25608 markings/sec, 2925 secs
lola: STP completed || 63 tries, 62762799 fired transitions, 2930 secs || 77942345 markings, 154484662 edges, 24333 markings/sec, 2930 secs
lola: STP completed || 63 tries, 62883941 fired transitions, 2935 secs || 78080406 markings, 154769941 edges, 27612 markings/sec, 2935 secs
lola: STP completed || 64 tries, 63004912 fired transitions, 2940 secs || 78231354 markings, 155068856 edges, 30190 markings/sec, 2940 secs
lola: STP completed || 64 tries, 63126155 fired transitions, 2945 secs || 78393539 markings, 155377094 edges, 32437 markings/sec, 2945 secs
lola: STP completed || 64 tries, 63247119 fired transitions, 2950 secs || 78551015 markings, 155679804 edges, 31495 markings/sec, 2950 secs
lola: STP completed || 64 tries, 63368330 fired transitions, 2955 secs || 78694255 markings, 155972452 edges, 28648 markings/sec, 2955 secs
lola: STP completed || 64 tries, 63489128 fired transitions, 2960 secs || 78837267 markings, 156263072 edges, 28602 markings/sec, 2960 secs
lola: STP completed || 64 tries, 63610036 fired transitions, 2965 secs || 78987687 markings, 156560464 edges, 30084 markings/sec, 2965 secs
lola: STP completed || 64 tries, 63728071 fired transitions, 2970 secs || 79128504 markings, 156845402 edges, 28163 markings/sec, 2970 secs
lola: STP completed || 64 tries, 63845201 fired transitions, 2975 secs || 79272089 markings, 157132242 edges, 28717 markings/sec, 2975 secs
lola: STP completed || 64 tries, 63961482 fired transitions, 2980 secs || 79397732 markings, 157403610 edges, 25129 markings/sec, 2980 secs
lola: STP completed || 65 tries, 64080178 fired transitions, 2985 secs || 79527919 markings, 157680095 edges, 26037 markings/sec, 2985 secs
lola: STP completed || 65 tries, 64197689 fired transitions, 2990 secs || 79661159 markings, 157958509 edges, 26648 markings/sec, 2990 secs
lola: STP completed || 65 tries, 64315502 fired transitions, 2995 secs || 79780138 markings, 158222697 edges, 23796 markings/sec, 2995 secs
lola: STP completed || 65 tries, 64422466 fired transitions, 3000 secs || 79904126 markings, 158483654 edges, 24798 markings/sec, 3000 secs
lola: STP completed || 65 tries, 64520633 fired transitions, 3005 secs || 80023861 markings, 158723282 edges, 23947 markings/sec, 3005 secs
lola: STP completed || 65 tries, 64619114 fired transitions, 3010 secs || 80144998 markings, 158963105 edges, 24227 markings/sec, 3010 secs
lola: STP completed || 65 tries, 64723855 fired transitions, 3015 secs || 80271266 markings, 159219774 edges, 25254 markings/sec, 3015 secs
lola: STP completed || 65 tries, 64837522 fired transitions, 3020 secs || 80409550 markings, 159501042 edges, 27657 markings/sec, 3020 secs
lola: STP completed || 65 tries, 64951998 fired transitions, 3025 secs || 80544891 markings, 159779308 edges, 27068 markings/sec, 3025 secs
lola: STP completed || 66 tries, 65065251 fired transitions, 3030 secs || 80677291 markings, 160052752 edges, 26480 markings/sec, 3030 secs
lola: STP completed || 66 tries, 65177111 fired transitions, 3035 secs || 80809444 markings, 160324994 edges, 26431 markings/sec, 3035 secs
lola: STP completed || 66 tries, 65292472 fired transitions, 3040 secs || 80944450 markings, 160603233 edges, 27001 markings/sec, 3040 secs
lola: STP completed || 66 tries, 65407967 fired transitions, 3045 secs || 81065714 markings, 160866607 edges, 24253 markings/sec, 3045 secs
lola: STP completed || 66 tries, 65522550 fired transitions, 3050 secs || 81191772 markings, 161136841 edges, 25212 markings/sec, 3050 secs
lola: STP completed || 66 tries, 65636713 fired transitions, 3055 secs || 81326719 markings, 161412883 edges, 26989 markings/sec, 3055 secs
lola: STP completed || 66 tries, 65751138 fired transitions, 3060 secs || 81459970 markings, 161688474 edges, 26650 markings/sec, 3060 secs
lola: STP completed || 66 tries, 65865766 fired transitions, 3065 secs || 81582771 markings, 161956302 edges, 24560 markings/sec, 3065 secs
lola: STP completed || 66 tries, 65980168 fired transitions, 3070 secs || 81710950 markings, 162228511 edges, 25636 markings/sec, 3070 secs
lola: STP completed || 67 tries, 66096422 fired transitions, 3075 secs || 81855345 markings, 162517609 edges, 28879 markings/sec, 3075 secs
lola: STP completed || 67 tries, 66210990 fired transitions, 3080 secs || 81987470 markings, 162796092 edges, 26425 markings/sec, 3080 secs
lola: STP completed || 67 tries, 66326225 fired transitions, 3085 secs || 82130894 markings, 163079608 edges, 28685 markings/sec, 3085 secs
lola: STP completed || 67 tries, 66440616 fired transitions, 3090 secs || 82269172 markings, 163361880 edges, 27656 markings/sec, 3090 secs
lola: STP completed || 67 tries, 66556251 fired transitions, 3095 secs || 82413030 markings, 163648034 edges, 28772 markings/sec, 3095 secs
lola: STP completed || 67 tries, 66671946 fired transitions, 3100 secs || 82539771 markings, 163918203 edges, 25348 markings/sec, 3100 secs
lola: STP completed || 67 tries, 66792866 fired transitions, 3105 secs || 82679881 markings, 164208721 edges, 28022 markings/sec, 3105 secs
lola: STP completed || 67 tries, 66914833 fired transitions, 3110 secs || 82812297 markings, 164489576 edges, 26483 markings/sec, 3110 secs
lola: STP completed || 68 tries, 67032989 fired transitions, 3115 secs || 82945232 markings, 164768234 edges, 26587 markings/sec, 3115 secs
lola: STP completed || 68 tries, 67152943 fired transitions, 3120 secs || 83077339 markings, 165050273 edges, 26421 markings/sec, 3120 secs
lola: STP completed || 68 tries, 67274433 fired transitions, 3125 secs || 83212861 markings, 165333858 edges, 27104 markings/sec, 3125 secs
lola: STP completed || 68 tries, 67394512 fired transitions, 3130 secs || 83333684 markings, 165601453 edges, 24165 markings/sec, 3130 secs
lola: STP completed || 68 tries, 67515219 fired transitions, 3135 secs || 83503653 markings, 165917582 edges, 33994 markings/sec, 3135 secs
lola: STP completed || 68 tries, 67637048 fired transitions, 3140 secs || 83673798 markings, 166234274 edges, 34029 markings/sec, 3140 secs
lola: STP completed || 68 tries, 67759413 fired transitions, 3145 secs || 83845316 markings, 166552395 edges, 34304 markings/sec, 3145 secs
lola: STP completed || 68 tries, 67880076 fired transitions, 3150 secs || 84010952 markings, 166863182 edges, 33127 markings/sec, 3150 secs
lola: STP completed || 68 tries, 67998455 fired transitions, 3155 secs || 84178176 markings, 167172668 edges, 33445 markings/sec, 3155 secs
lola: STP completed || 69 tries, 68119009 fired transitions, 3160 secs || 84338526 markings, 167480128 edges, 32070 markings/sec, 3160 secs
lola: STP completed || 69 tries, 68238948 fired transitions, 3165 secs || 84498458 markings, 167786164 edges, 31986 markings/sec, 3165 secs
lola: STP completed || 69 tries, 68358760 fired transitions, 3170 secs || 84659110 markings, 168092894 edges, 32130 markings/sec, 3170 secs
lola: STP completed || 69 tries, 68478191 fired transitions, 3175 secs || 84817445 markings, 168399223 edges, 31667 markings/sec, 3175 secs
lola: STP completed || 69 tries, 68598152 fired transitions, 3180 secs || 84974267 markings, 168703745 edges, 31364 markings/sec, 3180 secs
lola: STP completed || 69 tries, 68718292 fired transitions, 3185 secs || 85145870 markings, 169020743 edges, 34321 markings/sec, 3185 secs
lola: STP completed || 69 tries, 68838949 fired transitions, 3190 secs || 85300385 markings, 169325073 edges, 30903 markings/sec, 3190 secs
lola: STP completed || 69 tries, 68958470 fired transitions, 3195 secs || 85460196 markings, 169626361 edges, 31962 markings/sec, 3195 secs
lola: STP completed || 70 tries, 69077308 fired transitions, 3200 secs || 85624795 markings, 169933055 edges, 32920 markings/sec, 3200 secs
lola: STP completed || 70 tries, 69195651 fired transitions, 3205 secs || 85791235 markings, 170238207 edges, 33288 markings/sec, 3205 secs
lola: STP completed || 70 tries, 69313994 fired transitions, 3210 secs || 85954168 markings, 170542119 edges, 32587 markings/sec, 3210 secs
lola: STP completed || 70 tries, 69429674 fired transitions, 3215 secs || 86113582 markings, 170837814 edges, 31883 markings/sec, 3215 secs
lola: STP completed || 70 tries, 69544898 fired transitions, 3220 secs || 86275552 markings, 171138652 edges, 32394 markings/sec, 3220 secs
lola: STP completed || 70 tries, 69662190 fired transitions, 3225 secs || 86424401 markings, 171426835 edges, 29770 markings/sec, 3225 secs
lola: STP completed || 70 tries, 69779399 fired transitions, 3230 secs || 86588277 markings, 171736400 edges, 32775 markings/sec, 3230 secs
lola: STP completed || 70 tries, 69899822 fired transitions, 3235 secs || 86738252 markings, 172039673 edges, 29995 markings/sec, 3235 secs
lola: STP completed || 71 tries, 70019594 fired transitions, 3240 secs || 86883028 markings, 172339824 edges, 28955 markings/sec, 3240 secs
lola: STP completed || 71 tries, 70137688 fired transitions, 3245 secs || 87029576 markings, 172634829 edges, 29310 markings/sec, 3245 secs
lola: STP completed || 71 tries, 70256681 fired transitions, 3250 secs || 87191196 markings, 172941482 edges, 32324 markings/sec, 3250 secs
lola: STP completed || 71 tries, 70375363 fired transitions, 3255 secs || 87352058 markings, 173243048 edges, 32172 markings/sec, 3255 secs
lola: STP completed || 71 tries, 70493006 fired transitions, 3260 secs || 87497956 markings, 173534741 edges, 29180 markings/sec, 3260 secs
lola: STP completed || 71 tries, 70613354 fired transitions, 3265 secs || 87655586 markings, 173838492 edges, 31526 markings/sec, 3265 secs
lola: STP completed || 71 tries, 70732206 fired transitions, 3270 secs || 87815789 markings, 174144579 edges, 32041 markings/sec, 3270 secs
lola: STP completed || 71 tries, 70851847 fired transitions, 3275 secs || 87966289 markings, 174440848 edges, 30100 markings/sec, 3275 secs
lola: STP completed || 71 tries, 70970168 fired transitions, 3280 secs || 88115406 markings, 174738201 edges, 29823 markings/sec, 3280 secs
lola: STP completed || 72 tries, 71088280 fired transitions, 3285 secs || 88269994 markings, 175039773 edges, 30918 markings/sec, 3285 secs
lola: STP completed || 72 tries, 71204674 fired transitions, 3290 secs || 88407099 markings, 175327500 edges, 27421 markings/sec, 3290 secs
lola: STP completed || 72 tries, 71321436 fired transitions, 3295 secs || 88561857 markings, 175628735 edges, 30952 markings/sec, 3295 secs
lola: STP completed || 72 tries, 71440875 fired transitions, 3300 secs || 88729859 markings, 175937592 edges, 33600 markings/sec, 3300 secs
lola: STP completed || 72 tries, 71561358 fired transitions, 3305 secs || 88890838 markings, 176245888 edges, 32196 markings/sec, 3305 secs
lola: STP completed || 72 tries, 71680678 fired transitions, 3310 secs || 89052318 markings, 176550086 edges, 32296 markings/sec, 3310 secs
lola: STP completed || 72 tries, 71801433 fired transitions, 3315 secs || 89209831 markings, 176852230 edges, 31503 markings/sec, 3315 secs
lola: STP completed || 72 tries, 71921220 fired transitions, 3320 secs || 89375552 markings, 177158730 edges, 33144 markings/sec, 3320 secs
lola: STP completed || 73 tries, 72039985 fired transitions, 3325 secs || 89528072 markings, 177454889 edges, 30504 markings/sec, 3325 secs
lola: STP completed || 73 tries, 72156716 fired transitions, 3330 secs || 89675356 markings, 177745226 edges, 29457 markings/sec, 3330 secs
lola: STP completed || 73 tries, 72274572 fired transitions, 3335 secs || 89833858 markings, 178047507 edges, 31700 markings/sec, 3335 secs
lola: STP completed || 73 tries, 72394527 fired transitions, 3340 secs || 89983818 markings, 178340586 edges, 29992 markings/sec, 3340 secs
lola: STP completed || 73 tries, 72516371 fired transitions, 3345 secs || 90138079 markings, 178643762 edges, 30852 markings/sec, 3345 secs
lola: STP completed || 73 tries, 72637400 fired transitions, 3350 secs || 90284443 markings, 178938306 edges, 29273 markings/sec, 3350 secs
lola: STP completed || 73 tries, 72757847 fired transitions, 3355 secs || 90430560 markings, 179226741 edges, 29223 markings/sec, 3355 secs
lola: STP completed || 73 tries, 72877154 fired transitions, 3360 secs || 90594487 markings, 179527954 edges, 32785 markings/sec, 3360 secs
lola: STP completed || 73 tries, 72997599 fired transitions, 3365 secs || 90753300 markings, 179827652 edges, 31763 markings/sec, 3365 secs
lola: STP completed || 74 tries, 73117130 fired transitions, 3370 secs || 90904623 markings, 180121658 edges, 30265 markings/sec, 3370 secs
lola: STP completed || 74 tries, 73235824 fired transitions, 3375 secs || 91048532 markings, 180408119 edges, 28782 markings/sec, 3375 secs
lola: STP completed || 74 tries, 73354806 fired transitions, 3380 secs || 91202135 markings, 180707420 edges, 30721 markings/sec, 3380 secs
lola: STP completed || 74 tries, 73472538 fired transitions, 3385 secs || 91340742 markings, 180994920 edges, 27721 markings/sec, 3385 secs
lola: STP completed || 74 tries, 73591600 fired transitions, 3390 secs || 91473164 markings, 181281769 edges, 26484 markings/sec, 3390 secs
lola: STP completed || 74 tries, 73712101 fired transitions, 3395 secs || 91607371 markings, 181566222 edges, 26841 markings/sec, 3395 secs
lola: STP completed || 74 tries, 73835092 fired transitions, 3400 secs || 91752313 markings, 181863047 edges, 28988 markings/sec, 3400 secs
lola: STP completed || 74 tries, 73955019 fired transitions, 3405 secs || 91899091 markings, 182162635 edges, 29356 markings/sec, 3405 secs
lola: STP completed || 75 tries, 74073754 fired transitions, 3410 secs || 92037588 markings, 182456780 edges, 27699 markings/sec, 3410 secs
lola: STP completed || 75 tries, 74189226 fired transitions, 3415 secs || 92170130 markings, 182734167 edges, 26508 markings/sec, 3415 secs
lola: STP completed || 75 tries, 74306302 fired transitions, 3420 secs || 92302165 markings, 183015573 edges, 26407 markings/sec, 3420 secs
lola: STP completed || 75 tries, 74425244 fired transitions, 3425 secs || 92443981 markings, 183306903 edges, 28363 markings/sec, 3425 secs
lola: STP completed || 75 tries, 74542953 fired transitions, 3430 secs || 92582231 markings, 183597781 edges, 27650 markings/sec, 3430 secs
lola: STP completed || 75 tries, 74661632 fired transitions, 3435 secs || 92717519 markings, 183886020 edges, 27058 markings/sec, 3435 secs
lola: STP completed || 75 tries, 74782119 fired transitions, 3440 secs || 92866031 markings, 184183258 edges, 29702 markings/sec, 3440 secs
lola: STP completed || 75 tries, 74903150 fired transitions, 3445 secs || 93030613 markings, 184492558 edges, 32916 markings/sec, 3445 secs
lola: STP completed || 76 tries, 75021208 fired transitions, 3450 secs || 93191820 markings, 184793203 edges, 32241 markings/sec, 3450 secs
lola: STP completed || 76 tries, 75137863 fired transitions, 3455 secs || 93350311 markings, 185089025 edges, 31698 markings/sec, 3455 secs
lola: STP completed || 76 tries, 75252867 fired transitions, 3460 secs || 93507926 markings, 185384713 edges, 31523 markings/sec, 3460 secs
lola: STP completed || 76 tries, 75368224 fired transitions, 3465 secs || 93653143 markings, 185670234 edges, 29043 markings/sec, 3465 secs
lola: STP completed || 76 tries, 75478834 fired transitions, 3470 secs || 93790859 markings, 185942721 edges, 27543 markings/sec, 3470 secs
lola: STP completed || 76 tries, 75576248 fired transitions, 3475 secs || 93918819 markings, 186188287 edges, 25592 markings/sec, 3475 secs
lola: STP completed || 76 tries, 75676384 fired transitions, 3480 secs || 94041688 markings, 186436408 edges, 24574 markings/sec, 3480 secs
lola: STP completed || 76 tries, 75775413 fired transitions, 3485 secs || 94161396 markings, 186679652 edges, 23942 markings/sec, 3485 secs
lola: STP completed || 76 tries, 75874028 fired transitions, 3490 secs || 94298350 markings, 186936078 edges, 27391 markings/sec, 3490 secs
lola: STP completed || 76 tries, 75973743 fired transitions, 3495 secs || 94441680 markings, 187198252 edges, 28666 markings/sec, 3495 secs
lola: STP completed || 77 tries, 76073468 fired transitions, 3500 secs || 94574226 markings, 187451645 edges, 26509 markings/sec, 3500 secs
lola: STP completed || 77 tries, 76173196 fired transitions, 3505 secs || 94704212 markings, 187703412 edges, 25997 markings/sec, 3505 secs
lola: STP completed || 77 tries, 76272139 fired transitions, 3510 secs || 94826830 markings, 187948092 edges, 24524 markings/sec, 3510 secs
lola: STP completed || 77 tries, 76371689 fired transitions, 3515 secs || 94963277 markings, 188211572 edges, 27289 markings/sec, 3515 secs
lola: STP completed || 77 tries, 76470872 fired transitions, 3520 secs || 95081725 markings, 188457765 edges, 23690 markings/sec, 3520 secs
lola: STP completed || 77 tries, 76569981 fired transitions, 3525 secs || 95195658 markings, 188701509 edges, 22787 markings/sec, 3525 secs
lola: STP completed || 77 tries, 76667982 fired transitions, 3530 secs || 95309960 markings, 188947293 edges, 22860 markings/sec, 3530 secs
lola: STP completed || 77 tries, 76765390 fired transitions, 3535 secs || 95429789 markings, 189199869 edges, 23966 markings/sec, 3535 secs
lola: STP completed || 77 tries, 76866644 fired transitions, 3540 secs || 95546661 markings, 189449726 edges, 23374 markings/sec, 3540 secs
lola: STP completed || 77 tries, 76982572 fired transitions, 3545 secs || 95671155 markings, 189724755 edges, 24899 markings/sec, 3545 secs
lola: STP completed || 78 tries, 77096147 fired transitions, 3550 secs || 95796919 markings, 189992827 edges, 25153 markings/sec, 3550 secs
lola: STP completed || 78 tries, 77212303 fired transitions, 3555 secs || 95932231 markings, 190268197 edges, 27062 markings/sec, 3555 secs
lola: STP completed || 78 tries, 77329071 fired transitions, 3560 secs || 96051691 markings, 190535225 edges, 23892 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 6144564 KB
lola: time consumption: 3570 seconds
BK_STOP 1527048588015
--------------------
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="Peterson-PT-5"
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/Peterson-PT-5.tgz
mv Peterson-PT-5 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 Peterson-PT-5, 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 r112-csrt-152666469700580"
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 ;