About the Execution of LoLA for Raft-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.450 | 3237264.00 | 6626748.00 | 11917.20 | [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 252K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K 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 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 89K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-06, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578800139
=====================================================================
--------------------
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 Raft-PT-06-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526950097324
info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Raft-PT-06 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-06 @ 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: 520/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 188
lola: finding significant places
lola: 188 places, 332 transitions, 152 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 325 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-06-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 41 generators (6 in search tree, 35 by composition)
lola: representing 720 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 6386 variables and 22939 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 168593 fired transitions, 0 secs || 154550 markings, 936519 edges, 30910 markings/sec, 0 secs
lola: STP completed || 1 tries, 322980 fired transitions, 5 secs || 291885 markings, 1781447 edges, 27467 markings/sec, 5 secs
lola: STP completed || 1 tries, 478287 fired transitions, 10 secs || 432851 markings, 2646544 edges, 28193 markings/sec, 10 secs
lola: STP completed || 1 tries, 639092 fired transitions, 15 secs || 578360 markings, 3538029 edges, 29102 markings/sec, 15 secs
lola: STP completed || 1 tries, 812316 fired transitions, 20 secs || 733221 markings, 4489885 edges, 30972 markings/sec, 20 secs
lola: STP completed || 1 tries, 972584 fired transitions, 25 secs || 875425 markings, 5380144 edges, 28441 markings/sec, 25 secs
lola: STP completed || 2 tries, 1127561 fired transitions, 30 secs || 1014685 markings, 6231668 edges, 27852 markings/sec, 30 secs
lola: STP completed || 2 tries, 1284078 fired transitions, 35 secs || 1155298 markings, 7100442 edges, 28123 markings/sec, 35 secs
lola: STP completed || 2 tries, 1438834 fired transitions, 40 secs || 1295174 markings, 7962552 edges, 27975 markings/sec, 40 secs
lola: STP completed || 2 tries, 1593921 fired transitions, 45 secs || 1435489 markings, 8834736 edges, 28063 markings/sec, 45 secs
lola: STP completed || 2 tries, 1757802 fired transitions, 50 secs || 1580752 markings, 9744101 edges, 29053 markings/sec, 50 secs
lola: STP completed || 2 tries, 1913726 fired transitions, 55 secs || 1722674 markings, 10608186 edges, 28384 markings/sec, 55 secs
lola: STP completed || 3 tries, 2067790 fired transitions, 60 secs || 1864086 markings, 11472695 edges, 28282 markings/sec, 60 secs
lola: STP completed || 3 tries, 2222777 fired transitions, 65 secs || 2001426 markings, 12327965 edges, 27468 markings/sec, 65 secs
lola: STP completed || 3 tries, 2378315 fired transitions, 70 secs || 2137696 markings, 13178440 edges, 27254 markings/sec, 70 secs
lola: STP completed || 3 tries, 2533757 fired transitions, 75 secs || 2274919 markings, 14037617 edges, 27445 markings/sec, 75 secs
lola: STP completed || 3 tries, 2690363 fired transitions, 80 secs || 2411429 markings, 14903802 edges, 27302 markings/sec, 80 secs
lola: STP completed || 3 tries, 2846309 fired transitions, 85 secs || 2549590 markings, 15767165 edges, 27632 markings/sec, 85 secs
lola: STP completed || 4 tries, 3002272 fired transitions, 90 secs || 2686519 markings, 16639442 edges, 27386 markings/sec, 90 secs
lola: STP completed || 4 tries, 3156681 fired transitions, 95 secs || 2828526 markings, 17504635 edges, 28401 markings/sec, 95 secs
lola: STP completed || 4 tries, 3311986 fired transitions, 100 secs || 2968716 markings, 18375182 edges, 28038 markings/sec, 100 secs
lola: STP completed || 4 tries, 3467179 fired transitions, 105 secs || 3109792 markings, 19241208 edges, 28215 markings/sec, 105 secs
lola: STP completed || 4 tries, 3622399 fired transitions, 110 secs || 3250774 markings, 20107100 edges, 28196 markings/sec, 110 secs
lola: STP completed || 4 tries, 3778211 fired transitions, 115 secs || 3390252 markings, 20979111 edges, 27896 markings/sec, 115 secs
lola: STP completed || 4 tries, 3934640 fired transitions, 120 secs || 3529830 markings, 21842426 edges, 27916 markings/sec, 120 secs
lola: STP completed || 5 tries, 4088730 fired transitions, 125 secs || 3669470 markings, 22691058 edges, 27928 markings/sec, 125 secs
lola: STP completed || 5 tries, 4244517 fired transitions, 130 secs || 3809069 markings, 23544850 edges, 27920 markings/sec, 130 secs
lola: STP completed || 5 tries, 4400813 fired transitions, 135 secs || 3949251 markings, 24402222 edges, 28036 markings/sec, 135 secs
lola: STP completed || 5 tries, 4552929 fired transitions, 140 secs || 4088069 markings, 25252530 edges, 27764 markings/sec, 140 secs
lola: STP completed || 5 tries, 4705117 fired transitions, 145 secs || 4227941 markings, 26110172 edges, 27974 markings/sec, 145 secs
lola: STP completed || 5 tries, 4860928 fired transitions, 150 secs || 4366759 markings, 26958387 edges, 27764 markings/sec, 150 secs
lola: STP completed || 6 tries, 5017728 fired transitions, 155 secs || 4504999 markings, 27809998 edges, 27648 markings/sec, 155 secs
lola: STP completed || 6 tries, 5174757 fired transitions, 160 secs || 4644469 markings, 28661106 edges, 27894 markings/sec, 160 secs
lola: STP completed || 6 tries, 5331135 fired transitions, 165 secs || 4782546 markings, 29513783 edges, 27615 markings/sec, 165 secs
lola: STP completed || 6 tries, 5487896 fired transitions, 170 secs || 4920959 markings, 30372318 edges, 27683 markings/sec, 170 secs
lola: STP completed || 6 tries, 5644765 fired transitions, 175 secs || 5057229 markings, 31226515 edges, 27254 markings/sec, 175 secs
lola: STP completed || 6 tries, 5801420 fired transitions, 180 secs || 5193459 markings, 32095458 edges, 27246 markings/sec, 180 secs
lola: STP completed || 6 tries, 5957621 fired transitions, 185 secs || 5329576 markings, 32957867 edges, 27223 markings/sec, 185 secs
lola: STP completed || 7 tries, 6113291 fired transitions, 190 secs || 5467480 markings, 33808122 edges, 27581 markings/sec, 190 secs
lola: STP completed || 7 tries, 6271926 fired transitions, 195 secs || 5607641 markings, 34660726 edges, 28032 markings/sec, 195 secs
lola: STP completed || 7 tries, 6429784 fired transitions, 200 secs || 5743562 markings, 35504659 edges, 27184 markings/sec, 200 secs
lola: STP completed || 7 tries, 6585847 fired transitions, 205 secs || 5880466 markings, 36360730 edges, 27381 markings/sec, 205 secs
lola: STP completed || 7 tries, 6741544 fired transitions, 210 secs || 6017210 markings, 37224243 edges, 27349 markings/sec, 210 secs
lola: STP completed || 7 tries, 6897996 fired transitions, 215 secs || 6152400 markings, 38085584 edges, 27038 markings/sec, 215 secs
lola: STP completed || 8 tries, 7054722 fired transitions, 220 secs || 6290287 markings, 38945703 edges, 27577 markings/sec, 220 secs
lola: STP completed || 8 tries, 7210867 fired transitions, 225 secs || 6426995 markings, 39803533 edges, 27342 markings/sec, 225 secs
lola: STP completed || 8 tries, 7366657 fired transitions, 230 secs || 6561641 markings, 40649897 edges, 26929 markings/sec, 230 secs
lola: STP completed || 8 tries, 7523614 fired transitions, 235 secs || 6697421 markings, 41504405 edges, 27156 markings/sec, 235 secs
lola: STP completed || 8 tries, 7680614 fired transitions, 240 secs || 6831413 markings, 42376443 edges, 26798 markings/sec, 240 secs
lola: STP completed || 8 tries, 7835281 fired transitions, 245 secs || 6966727 markings, 43227440 edges, 27063 markings/sec, 245 secs
lola: STP completed || 8 tries, 7989676 fired transitions, 250 secs || 7100646 markings, 44072782 edges, 26784 markings/sec, 250 secs
lola: STP completed || 9 tries, 8145655 fired transitions, 255 secs || 7238240 markings, 44914123 edges, 27519 markings/sec, 255 secs
lola: STP completed || 9 tries, 8300953 fired transitions, 260 secs || 7375689 markings, 45758975 edges, 27490 markings/sec, 260 secs
lola: STP completed || 9 tries, 8456595 fired transitions, 265 secs || 7512079 markings, 46596970 edges, 27278 markings/sec, 265 secs
lola: STP completed || 9 tries, 8613223 fired transitions, 270 secs || 7646809 markings, 47436128 edges, 26946 markings/sec, 270 secs
lola: STP completed || 9 tries, 8770679 fired transitions, 275 secs || 7783907 markings, 48293004 edges, 27420 markings/sec, 275 secs
lola: STP completed || 9 tries, 8927028 fired transitions, 280 secs || 7921964 markings, 49153281 edges, 27611 markings/sec, 280 secs
lola: STP completed || 10 tries, 9083400 fired transitions, 285 secs || 8057206 markings, 50012281 edges, 27048 markings/sec, 285 secs
lola: STP completed || 10 tries, 9241840 fired transitions, 290 secs || 8189481 markings, 50853753 edges, 26455 markings/sec, 290 secs
lola: STP completed || 10 tries, 9399122 fired transitions, 295 secs || 8322741 markings, 51709451 edges, 26652 markings/sec, 295 secs
lola: STP completed || 10 tries, 9556462 fired transitions, 300 secs || 8457888 markings, 52576877 edges, 27029 markings/sec, 300 secs
lola: STP completed || 10 tries, 9713696 fired transitions, 305 secs || 8593703 markings, 53438670 edges, 27163 markings/sec, 305 secs
lola: STP completed || 10 tries, 9870617 fired transitions, 310 secs || 8730090 markings, 54301186 edges, 27277 markings/sec, 310 secs
lola: STP completed || 11 tries, 10026784 fired transitions, 315 secs || 8867284 markings, 55164296 edges, 27439 markings/sec, 315 secs
lola: STP completed || 11 tries, 10183590 fired transitions, 320 secs || 9005264 markings, 56027462 edges, 27596 markings/sec, 320 secs
lola: STP completed || 11 tries, 10341535 fired transitions, 325 secs || 9141496 markings, 56898397 edges, 27246 markings/sec, 325 secs
lola: STP completed || 11 tries, 10497170 fired transitions, 330 secs || 9277199 markings, 57753600 edges, 27141 markings/sec, 330 secs
lola: STP completed || 11 tries, 10652671 fired transitions, 335 secs || 9415305 markings, 58609257 edges, 27621 markings/sec, 335 secs
lola: STP completed || 11 tries, 10807884 fired transitions, 340 secs || 9546439 markings, 59447510 edges, 26227 markings/sec, 340 secs
lola: STP completed || 11 tries, 10963036 fired transitions, 345 secs || 9682980 markings, 60279958 edges, 27308 markings/sec, 345 secs
lola: STP completed || 12 tries, 11118973 fired transitions, 350 secs || 9822387 markings, 61131786 edges, 27881 markings/sec, 350 secs
lola: STP completed || 12 tries, 11274364 fired transitions, 355 secs || 9959059 markings, 61981433 edges, 27334 markings/sec, 355 secs
lola: STP completed || 12 tries, 11430098 fired transitions, 360 secs || 10096490 markings, 62840623 edges, 27486 markings/sec, 360 secs
lola: STP completed || 12 tries, 11586463 fired transitions, 365 secs || 10232285 markings, 63698095 edges, 27159 markings/sec, 365 secs
lola: STP completed || 12 tries, 11740963 fired transitions, 370 secs || 10371924 markings, 64557141 edges, 27928 markings/sec, 370 secs
lola: STP completed || 12 tries, 11907012 fired transitions, 375 secs || 10519452 markings, 65458802 edges, 29506 markings/sec, 375 secs
lola: STP completed || 13 tries, 12063119 fired transitions, 380 secs || 10656505 markings, 66301675 edges, 27411 markings/sec, 380 secs
lola: STP completed || 13 tries, 12219446 fired transitions, 385 secs || 10792555 markings, 67160209 edges, 27210 markings/sec, 385 secs
lola: STP completed || 13 tries, 12375330 fired transitions, 390 secs || 10929896 markings, 68014778 edges, 27468 markings/sec, 390 secs
lola: STP completed || 13 tries, 12531683 fired transitions, 395 secs || 11063925 markings, 68857645 edges, 26806 markings/sec, 395 secs
lola: STP completed || 13 tries, 12687887 fired transitions, 400 secs || 11201948 markings, 69713309 edges, 27605 markings/sec, 400 secs
lola: STP completed || 13 tries, 12845675 fired transitions, 405 secs || 11340947 markings, 70570892 edges, 27800 markings/sec, 405 secs
lola: STP completed || 14 tries, 13001948 fired transitions, 410 secs || 11478442 markings, 71418801 edges, 27499 markings/sec, 410 secs
lola: STP completed || 14 tries, 13156738 fired transitions, 415 secs || 11619914 markings, 72284552 edges, 28294 markings/sec, 415 secs
lola: STP completed || 14 tries, 13315512 fired transitions, 420 secs || 11762356 markings, 73154166 edges, 28488 markings/sec, 420 secs
lola: STP completed || 14 tries, 13473641 fired transitions, 425 secs || 11904247 markings, 74037378 edges, 28378 markings/sec, 425 secs
lola: STP completed || 14 tries, 13629203 fired transitions, 430 secs || 12045182 markings, 74901515 edges, 28187 markings/sec, 430 secs
lola: STP completed || 14 tries, 13785044 fired transitions, 435 secs || 12185827 markings, 75766710 edges, 28129 markings/sec, 435 secs
lola: STP completed || 14 tries, 13940824 fired transitions, 440 secs || 12324134 markings, 76623505 edges, 27661 markings/sec, 440 secs
lola: STP completed || 15 tries, 14095750 fired transitions, 445 secs || 12461792 markings, 77484360 edges, 27532 markings/sec, 445 secs
lola: STP completed || 15 tries, 14251039 fired transitions, 450 secs || 12602185 markings, 78347467 edges, 28079 markings/sec, 450 secs
lola: STP completed || 15 tries, 14414182 fired transitions, 455 secs || 12747685 markings, 79246099 edges, 29100 markings/sec, 455 secs
lola: STP completed || 15 tries, 14588571 fired transitions, 460 secs || 12900782 markings, 80195551 edges, 30619 markings/sec, 460 secs
lola: STP completed || 15 tries, 14757364 fired transitions, 465 secs || 13051116 markings, 81118324 edges, 30067 markings/sec, 465 secs
lola: STP completed || 15 tries, 14913786 fired transitions, 470 secs || 13189036 markings, 81984133 edges, 27584 markings/sec, 470 secs
lola: STP completed || 16 tries, 15070118 fired transitions, 475 secs || 13330878 markings, 82847884 edges, 28368 markings/sec, 475 secs
lola: STP completed || 16 tries, 15225699 fired transitions, 480 secs || 13471764 markings, 83715344 edges, 28177 markings/sec, 480 secs
lola: STP completed || 16 tries, 15380562 fired transitions, 485 secs || 13610034 markings, 84571905 edges, 27654 markings/sec, 485 secs
lola: STP completed || 16 tries, 15535610 fired transitions, 490 secs || 13748692 markings, 85429239 edges, 27732 markings/sec, 490 secs
lola: STP completed || 16 tries, 15687818 fired transitions, 495 secs || 13879123 markings, 86247457 edges, 26086 markings/sec, 495 secs
lola: STP completed || 16 tries, 15841477 fired transitions, 500 secs || 14018173 markings, 87115838 edges, 27810 markings/sec, 500 secs
lola: STP completed || 17 tries, 16009243 fired transitions, 505 secs || 14168417 markings, 88033599 edges, 30049 markings/sec, 505 secs
lola: STP completed || 17 tries, 16184681 fired transitions, 510 secs || 14323274 markings, 88992400 edges, 30971 markings/sec, 510 secs
lola: STP completed || 17 tries, 16359928 fired transitions, 515 secs || 14477450 markings, 89941489 edges, 30835 markings/sec, 515 secs
lola: STP completed || 17 tries, 16520385 fired transitions, 520 secs || 14618077 markings, 90828947 edges, 28125 markings/sec, 520 secs
lola: STP completed || 17 tries, 16678166 fired transitions, 525 secs || 14753245 markings, 91685250 edges, 27034 markings/sec, 525 secs
lola: STP completed || 17 tries, 16831067 fired transitions, 530 secs || 14886286 markings, 92531097 edges, 26608 markings/sec, 530 secs
lola: STP completed || 17 tries, 16986927 fired transitions, 535 secs || 15024004 markings, 93405122 edges, 27544 markings/sec, 535 secs
lola: STP completed || 18 tries, 17144113 fired transitions, 540 secs || 15163964 markings, 94270405 edges, 27992 markings/sec, 540 secs
lola: STP completed || 18 tries, 17300904 fired transitions, 545 secs || 15302929 markings, 95136104 edges, 27793 markings/sec, 545 secs
lola: STP completed || 18 tries, 17463208 fired transitions, 550 secs || 15446339 markings, 96033517 edges, 28682 markings/sec, 550 secs
lola: STP completed || 18 tries, 17618313 fired transitions, 555 secs || 15587296 markings, 96891515 edges, 28191 markings/sec, 555 secs
lola: STP completed || 18 tries, 17773653 fired transitions, 560 secs || 15727092 markings, 97748263 edges, 27959 markings/sec, 560 secs
lola: STP completed || 18 tries, 17929994 fired transitions, 565 secs || 15865036 markings, 98605405 edges, 27589 markings/sec, 565 secs
lola: STP completed || 19 tries, 18086956 fired transitions, 570 secs || 16003285 markings, 99472862 edges, 27650 markings/sec, 570 secs
lola: STP completed || 19 tries, 18243770 fired transitions, 575 secs || 16140479 markings, 100334232 edges, 27439 markings/sec, 575 secs
lola: STP completed || 19 tries, 18400721 fired transitions, 580 secs || 16278374 markings, 101196413 edges, 27579 markings/sec, 580 secs
lola: STP completed || 19 tries, 18564511 fired transitions, 585 secs || 16424988 markings, 102099610 edges, 29323 markings/sec, 585 secs
lola: STP completed || 19 tries, 18720662 fired transitions, 590 secs || 16562412 markings, 102960996 edges, 27485 markings/sec, 590 secs
lola: STP completed || 19 tries, 18875575 fired transitions, 595 secs || 16701545 markings, 103810529 edges, 27827 markings/sec, 595 secs
lola: STP completed || 20 tries, 19031766 fired transitions, 600 secs || 16840909 markings, 104668871 edges, 27873 markings/sec, 600 secs
lola: STP completed || 20 tries, 19187716 fired transitions, 605 secs || 16980047 markings, 105533203 edges, 27828 markings/sec, 605 secs
lola: STP completed || 20 tries, 19344269 fired transitions, 610 secs || 17118093 markings, 106392477 edges, 27609 markings/sec, 610 secs
lola: STP completed || 20 tries, 19501440 fired transitions, 615 secs || 17255854 markings, 107262043 edges, 27552 markings/sec, 615 secs
lola: STP completed || 20 tries, 19659723 fired transitions, 620 secs || 17395626 markings, 108131589 edges, 27954 markings/sec, 620 secs
lola: STP completed || 20 tries, 19815987 fired transitions, 625 secs || 17531732 markings, 108991508 edges, 27221 markings/sec, 625 secs
lola: STP completed || 20 tries, 19972466 fired transitions, 630 secs || 17668355 markings, 109857203 edges, 27325 markings/sec, 630 secs
lola: STP completed || 21 tries, 20126939 fired transitions, 635 secs || 17808020 markings, 110703334 edges, 27933 markings/sec, 635 secs
lola: STP completed || 21 tries, 20282435 fired transitions, 640 secs || 17946062 markings, 111549675 edges, 27608 markings/sec, 640 secs
lola: STP completed || 21 tries, 20437668 fired transitions, 645 secs || 18083797 markings, 112400816 edges, 27547 markings/sec, 645 secs
lola: STP completed || 21 tries, 20592598 fired transitions, 650 secs || 18222694 markings, 113251926 edges, 27779 markings/sec, 650 secs
lola: STP completed || 21 tries, 20748174 fired transitions, 655 secs || 18360382 markings, 114098192 edges, 27538 markings/sec, 655 secs
lola: STP completed || 21 tries, 20902806 fired transitions, 660 secs || 18497733 markings, 114962827 edges, 27470 markings/sec, 660 secs
lola: STP completed || 22 tries, 21058825 fired transitions, 665 secs || 18635765 markings, 115822657 edges, 27606 markings/sec, 665 secs
lola: STP completed || 22 tries, 21215348 fired transitions, 670 secs || 18770940 markings, 116684023 edges, 27035 markings/sec, 670 secs
lola: STP completed || 22 tries, 21370688 fired transitions, 675 secs || 18911166 markings, 117547194 edges, 28045 markings/sec, 675 secs
lola: STP completed || 22 tries, 21526554 fired transitions, 680 secs || 19052155 markings, 118406680 edges, 28198 markings/sec, 680 secs
lola: STP completed || 22 tries, 21682449 fired transitions, 685 secs || 19191404 markings, 119267109 edges, 27850 markings/sec, 685 secs
lola: STP completed || 22 tries, 21838386 fired transitions, 690 secs || 19331338 markings, 120129581 edges, 27987 markings/sec, 690 secs
lola: STP completed || 22 tries, 21994454 fired transitions, 695 secs || 19469200 markings, 120998438 edges, 27572 markings/sec, 695 secs
lola: STP completed || 23 tries, 22150356 fired transitions, 700 secs || 19606475 markings, 121855884 edges, 27455 markings/sec, 700 secs
lola: STP completed || 23 tries, 22305564 fired transitions, 705 secs || 19741180 markings, 122713948 edges, 26941 markings/sec, 705 secs
lola: STP completed || 23 tries, 22460431 fired transitions, 710 secs || 19877850 markings, 123562127 edges, 27334 markings/sec, 710 secs
lola: STP completed || 23 tries, 22614469 fired transitions, 715 secs || 20015723 markings, 124401010 edges, 27575 markings/sec, 715 secs
lola: STP completed || 23 tries, 22769365 fired transitions, 720 secs || 20152781 markings, 125251419 edges, 27412 markings/sec, 720 secs
lola: STP completed || 23 tries, 22925740 fired transitions, 725 secs || 20290783 markings, 126101481 edges, 27600 markings/sec, 725 secs
lola: STP completed || 24 tries, 23081904 fired transitions, 730 secs || 20429785 markings, 126958402 edges, 27800 markings/sec, 730 secs
lola: STP completed || 24 tries, 23238274 fired transitions, 735 secs || 20569701 markings, 127812765 edges, 27983 markings/sec, 735 secs
lola: STP completed || 24 tries, 23395224 fired transitions, 740 secs || 20708277 markings, 128672536 edges, 27715 markings/sec, 740 secs
lola: STP completed || 24 tries, 23550549 fired transitions, 745 secs || 20843528 markings, 129520467 edges, 27050 markings/sec, 745 secs
lola: STP completed || 24 tries, 23706347 fired transitions, 750 secs || 20981013 markings, 130359925 edges, 27497 markings/sec, 750 secs
lola: STP completed || 24 tries, 23862413 fired transitions, 755 secs || 21117368 markings, 131197932 edges, 27271 markings/sec, 755 secs
lola: STP completed || 25 tries, 24018815 fired transitions, 760 secs || 21253190 markings, 132046190 edges, 27164 markings/sec, 760 secs
lola: STP completed || 25 tries, 24175531 fired transitions, 765 secs || 21389400 markings, 132894104 edges, 27242 markings/sec, 765 secs
lola: STP completed || 25 tries, 24331292 fired transitions, 770 secs || 21527107 markings, 133738944 edges, 27541 markings/sec, 770 secs
lola: STP completed || 25 tries, 24487037 fired transitions, 775 secs || 21665242 markings, 134584147 edges, 27627 markings/sec, 775 secs
lola: STP completed || 25 tries, 24642698 fired transitions, 780 secs || 21803709 markings, 135435645 edges, 27693 markings/sec, 780 secs
lola: STP completed || 25 tries, 24818116 fired transitions, 785 secs || 21955536 markings, 136387892 edges, 30365 markings/sec, 785 secs
lola: STP completed || 25 tries, 24993218 fired transitions, 790 secs || 22109876 markings, 137342075 edges, 30868 markings/sec, 790 secs
lola: STP completed || 26 tries, 25152838 fired transitions, 795 secs || 22248005 markings, 138219426 edges, 27626 markings/sec, 795 secs
lola: STP completed || 26 tries, 25307858 fired transitions, 800 secs || 22382528 markings, 139070175 edges, 26905 markings/sec, 800 secs
lola: STP completed || 26 tries, 25461753 fired transitions, 805 secs || 22518921 markings, 139910435 edges, 27279 markings/sec, 805 secs
lola: STP completed || 26 tries, 25617141 fired transitions, 810 secs || 22658153 markings, 140765457 edges, 27846 markings/sec, 810 secs
lola: STP completed || 26 tries, 25772763 fired transitions, 815 secs || 22795825 markings, 141631069 edges, 27534 markings/sec, 815 secs
lola: STP completed || 26 tries, 25928132 fired transitions, 820 secs || 22935500 markings, 142483126 edges, 27935 markings/sec, 820 secs
lola: STP completed || 27 tries, 26089464 fired transitions, 825 secs || 23079188 markings, 143377607 edges, 28738 markings/sec, 825 secs
lola: STP completed || 27 tries, 26245178 fired transitions, 830 secs || 23214106 markings, 144248505 edges, 26984 markings/sec, 830 secs
lola: STP completed || 27 tries, 26399524 fired transitions, 835 secs || 23348122 markings, 145093848 edges, 26803 markings/sec, 835 secs
lola: STP completed || 27 tries, 26554456 fired transitions, 840 secs || 23486305 markings, 145948433 edges, 27637 markings/sec, 840 secs
lola: STP completed || 27 tries, 26709232 fired transitions, 845 secs || 23622644 markings, 146788130 edges, 27268 markings/sec, 845 secs
lola: STP completed || 27 tries, 26863414 fired transitions, 850 secs || 23758280 markings, 147629720 edges, 27127 markings/sec, 850 secs
lola: STP completed || 28 tries, 27019564 fired transitions, 855 secs || 23896166 markings, 148483743 edges, 27577 markings/sec, 855 secs
lola: STP completed || 28 tries, 27175243 fired transitions, 860 secs || 24036930 markings, 149338268 edges, 28153 markings/sec, 860 secs
lola: STP completed || 28 tries, 27337437 fired transitions, 865 secs || 24179312 markings, 150209430 edges, 28476 markings/sec, 865 secs
lola: STP completed || 28 tries, 27494332 fired transitions, 870 secs || 24315683 markings, 151063445 edges, 27274 markings/sec, 870 secs
lola: STP completed || 28 tries, 27648909 fired transitions, 875 secs || 24454720 markings, 151917466 edges, 27807 markings/sec, 875 secs
lola: STP completed || 28 tries, 27823573 fired transitions, 880 secs || 24606647 markings, 152860758 edges, 30385 markings/sec, 880 secs
lola: STP completed || 28 tries, 27986607 fired transitions, 885 secs || 24747479 markings, 153743993 edges, 28166 markings/sec, 885 secs
lola: STP completed || 29 tries, 28150847 fired transitions, 890 secs || 24889886 markings, 154637530 edges, 28481 markings/sec, 890 secs
lola: STP completed || 29 tries, 28326392 fired transitions, 895 secs || 25041175 markings, 155587251 edges, 30258 markings/sec, 895 secs
lola: STP completed || 29 tries, 28486847 fired transitions, 900 secs || 25186369 markings, 156480681 edges, 29039 markings/sec, 900 secs
lola: STP completed || 29 tries, 28642113 fired transitions, 905 secs || 25323075 markings, 157325955 edges, 27341 markings/sec, 905 secs
lola: STP completed || 29 tries, 28795350 fired transitions, 910 secs || 25461193 markings, 158167520 edges, 27624 markings/sec, 910 secs
lola: STP completed || 29 tries, 28950034 fired transitions, 915 secs || 25598643 markings, 159013644 edges, 27490 markings/sec, 915 secs
lola: STP completed || 30 tries, 29104808 fired transitions, 920 secs || 25733733 markings, 159869336 edges, 27018 markings/sec, 920 secs
lola: STP completed || 30 tries, 29262230 fired transitions, 925 secs || 25869435 markings, 160735344 edges, 27140 markings/sec, 925 secs
lola: STP completed || 30 tries, 29415926 fired transitions, 930 secs || 26005360 markings, 161572387 edges, 27185 markings/sec, 930 secs
lola: STP completed || 30 tries, 29571130 fired transitions, 935 secs || 26142386 markings, 162425056 edges, 27405 markings/sec, 935 secs
lola: STP completed || 30 tries, 29726714 fired transitions, 940 secs || 26279265 markings, 163278631 edges, 27376 markings/sec, 940 secs
lola: STP completed || 30 tries, 29882740 fired transitions, 945 secs || 26417983 markings, 164124115 edges, 27744 markings/sec, 945 secs
lola: STP completed || 31 tries, 30039200 fired transitions, 950 secs || 26553329 markings, 164973751 edges, 27069 markings/sec, 950 secs
lola: STP completed || 31 tries, 30194246 fired transitions, 955 secs || 26687574 markings, 165830249 edges, 26849 markings/sec, 955 secs
lola: STP completed || 31 tries, 30349098 fired transitions, 960 secs || 26822177 markings, 166682873 edges, 26921 markings/sec, 960 secs
lola: STP completed || 31 tries, 30501662 fired transitions, 965 secs || 26959095 markings, 167523350 edges, 27384 markings/sec, 965 secs
lola: STP completed || 31 tries, 30657606 fired transitions, 970 secs || 27095529 markings, 168374658 edges, 27287 markings/sec, 970 secs
lola: STP completed || 31 tries, 30813831 fired transitions, 975 secs || 27228667 markings, 169233667 edges, 26628 markings/sec, 975 secs
lola: STP completed || 31 tries, 30969605 fired transitions, 980 secs || 27363466 markings, 170088605 edges, 26960 markings/sec, 980 secs
lola: STP completed || 32 tries, 31124180 fired transitions, 985 secs || 27497272 markings, 170939540 edges, 26761 markings/sec, 985 secs
lola: STP completed || 32 tries, 31280549 fired transitions, 990 secs || 27629172 markings, 171786666 edges, 26380 markings/sec, 990 secs
lola: STP completed || 32 tries, 31435474 fired transitions, 995 secs || 27763193 markings, 172617208 edges, 26804 markings/sec, 995 secs
lola: STP completed || 32 tries, 31590298 fired transitions, 1000 secs || 27900535 markings, 173467708 edges, 27468 markings/sec, 1000 secs
lola: STP completed || 32 tries, 31746307 fired transitions, 1005 secs || 28034353 markings, 174313907 edges, 26764 markings/sec, 1005 secs
lola: STP completed || 32 tries, 31902331 fired transitions, 1010 secs || 28167969 markings, 175168792 edges, 26723 markings/sec, 1010 secs
lola: STP completed || 33 tries, 32058335 fired transitions, 1015 secs || 28300412 markings, 176020099 edges, 26489 markings/sec, 1015 secs
lola: STP completed || 33 tries, 32213983 fired transitions, 1020 secs || 28434948 markings, 176865016 edges, 26907 markings/sec, 1020 secs
lola: STP completed || 33 tries, 32381637 fired transitions, 1025 secs || 28581474 markings, 177776841 edges, 29305 markings/sec, 1025 secs
lola: STP completed || 33 tries, 32537033 fired transitions, 1030 secs || 28715283 markings, 178632665 edges, 26762 markings/sec, 1030 secs
lola: STP completed || 33 tries, 32694464 fired transitions, 1035 secs || 28849996 markings, 179495788 edges, 26943 markings/sec, 1035 secs
lola: STP completed || 33 tries, 32852091 fired transitions, 1040 secs || 28982716 markings, 180347173 edges, 26544 markings/sec, 1040 secs
lola: STP completed || 34 tries, 33008533 fired transitions, 1045 secs || 29116639 markings, 181197806 edges, 26785 markings/sec, 1045 secs
lola: STP completed || 34 tries, 33164902 fired transitions, 1050 secs || 29254304 markings, 182055170 edges, 27533 markings/sec, 1050 secs
lola: STP completed || 34 tries, 33321835 fired transitions, 1055 secs || 29389152 markings, 182912957 edges, 26970 markings/sec, 1055 secs
lola: STP completed || 34 tries, 33478264 fired transitions, 1060 secs || 29524053 markings, 183835735 edges, 26980 markings/sec, 1060 secs
lola: STP completed || 34 tries, 33633298 fired transitions, 1065 secs || 29655389 markings, 184813052 edges, 26267 markings/sec, 1065 secs
lola: STP completed || 34 tries, 33788627 fired transitions, 1070 secs || 29781458 markings, 185737085 edges, 25214 markings/sec, 1070 secs
lola: STP completed || 34 tries, 33944646 fired transitions, 1075 secs || 29905301 markings, 186662552 edges, 24769 markings/sec, 1075 secs
lola: STP completed || 35 tries, 34099695 fired transitions, 1080 secs || 30035257 markings, 187625620 edges, 25991 markings/sec, 1080 secs
lola: STP completed || 35 tries, 34255552 fired transitions, 1085 secs || 30164018 markings, 188595475 edges, 25752 markings/sec, 1085 secs
lola: STP completed || 35 tries, 34410515 fired transitions, 1090 secs || 30288869 markings, 189551481 edges, 24970 markings/sec, 1090 secs
lola: STP completed || 35 tries, 34566182 fired transitions, 1095 secs || 30414325 markings, 190526569 edges, 25091 markings/sec, 1095 secs
lola: STP completed || 35 tries, 34723093 fired transitions, 1100 secs || 30538233 markings, 191508449 edges, 24782 markings/sec, 1100 secs
lola: STP completed || 35 tries, 34880436 fired transitions, 1105 secs || 30658004 markings, 192479043 edges, 23954 markings/sec, 1105 secs
lola: STP completed || 36 tries, 35035940 fired transitions, 1110 secs || 30782954 markings, 193440479 edges, 24990 markings/sec, 1110 secs
lola: STP completed || 36 tries, 35191138 fired transitions, 1115 secs || 30911877 markings, 194394295 edges, 25785 markings/sec, 1115 secs
lola: STP completed || 36 tries, 35347262 fired transitions, 1120 secs || 31037758 markings, 195332706 edges, 25176 markings/sec, 1120 secs
lola: STP completed || 36 tries, 35504029 fired transitions, 1125 secs || 31160679 markings, 196241484 edges, 24584 markings/sec, 1125 secs
lola: STP completed || 36 tries, 35660015 fired transitions, 1130 secs || 31282239 markings, 197160747 edges, 24312 markings/sec, 1130 secs
lola: STP completed || 36 tries, 35814415 fired transitions, 1135 secs || 31411806 markings, 198115572 edges, 25913 markings/sec, 1135 secs
lola: STP completed || 36 tries, 35969732 fired transitions, 1140 secs || 31540342 markings, 199075030 edges, 25707 markings/sec, 1140 secs
lola: STP completed || 37 tries, 36126556 fired transitions, 1145 secs || 31664710 markings, 200038517 edges, 24874 markings/sec, 1145 secs
lola: STP completed || 37 tries, 36282862 fired transitions, 1150 secs || 31790973 markings, 201005237 edges, 25253 markings/sec, 1150 secs
lola: STP completed || 37 tries, 36438275 fired transitions, 1155 secs || 31920476 markings, 201961815 edges, 25901 markings/sec, 1155 secs
lola: STP completed || 37 tries, 36594327 fired transitions, 1160 secs || 32047546 markings, 202929339 edges, 25414 markings/sec, 1160 secs
lola: STP completed || 37 tries, 36757964 fired transitions, 1165 secs || 32183892 markings, 203940084 edges, 27269 markings/sec, 1165 secs
lola: STP completed || 37 tries, 36922899 fired transitions, 1170 secs || 32318371 markings, 204950458 edges, 26896 markings/sec, 1170 secs
lola: STP completed || 38 tries, 37080660 fired transitions, 1175 secs || 32441403 markings, 205860092 edges, 24606 markings/sec, 1175 secs
lola: STP completed || 38 tries, 37238293 fired transitions, 1180 secs || 32562261 markings, 206778058 edges, 24172 markings/sec, 1180 secs
lola: STP completed || 38 tries, 37395537 fired transitions, 1185 secs || 32678985 markings, 207690879 edges, 23345 markings/sec, 1185 secs
lola: STP completed || 38 tries, 37559360 fired transitions, 1190 secs || 32803310 markings, 208683305 edges, 24865 markings/sec, 1190 secs
lola: STP completed || 38 tries, 37728710 fired transitions, 1195 secs || 32930034 markings, 209711515 edges, 25345 markings/sec, 1195 secs
lola: STP completed || 38 tries, 37886006 fired transitions, 1200 secs || 33052062 markings, 210689254 edges, 24406 markings/sec, 1200 secs
lola: STP completed || 39 tries, 38043641 fired transitions, 1205 secs || 33173927 markings, 211659961 edges, 24373 markings/sec, 1205 secs
lola: STP completed || 39 tries, 38204654 fired transitions, 1210 secs || 33306099 markings, 212635746 edges, 26434 markings/sec, 1210 secs
lola: STP completed || 39 tries, 38373796 fired transitions, 1215 secs || 33445104 markings, 213664054 edges, 27801 markings/sec, 1215 secs
lola: STP completed || 39 tries, 38529585 fired transitions, 1220 secs || 33570932 markings, 214604321 edges, 25166 markings/sec, 1220 secs
lola: STP completed || 39 tries, 38687512 fired transitions, 1225 secs || 33694575 markings, 215515043 edges, 24729 markings/sec, 1225 secs
lola: STP completed || 39 tries, 38843994 fired transitions, 1230 secs || 33817083 markings, 216428590 edges, 24502 markings/sec, 1230 secs
lola: STP completed || 40 tries, 39000182 fired transitions, 1235 secs || 33938110 markings, 217345376 edges, 24205 markings/sec, 1235 secs
lola: STP completed || 40 tries, 39157307 fired transitions, 1240 secs || 34059788 markings, 218295172 edges, 24336 markings/sec, 1240 secs
lola: STP completed || 40 tries, 39314479 fired transitions, 1245 secs || 34178741 markings, 219238692 edges, 23791 markings/sec, 1245 secs
lola: STP completed || 40 tries, 39471278 fired transitions, 1250 secs || 34294440 markings, 220155656 edges, 23140 markings/sec, 1250 secs
lola: STP completed || 40 tries, 39628265 fired transitions, 1255 secs || 34416424 markings, 221049497 edges, 24397 markings/sec, 1255 secs
lola: STP completed || 40 tries, 39785734 fired transitions, 1260 secs || 34534911 markings, 221945074 edges, 23697 markings/sec, 1260 secs
lola: STP completed || 40 tries, 39942443 fired transitions, 1265 secs || 34652549 markings, 222836844 edges, 23528 markings/sec, 1265 secs
lola: STP completed || 41 tries, 40105916 fired transitions, 1270 secs || 34784067 markings, 223807036 edges, 26304 markings/sec, 1270 secs
lola: STP completed || 41 tries, 40278933 fired transitions, 1275 secs || 34924131 markings, 224839001 edges, 28013 markings/sec, 1275 secs
lola: STP completed || 41 tries, 40435465 fired transitions, 1280 secs || 35049381 markings, 225776731 edges, 25050 markings/sec, 1280 secs
lola: STP completed || 41 tries, 40594897 fired transitions, 1285 secs || 35174371 markings, 226727030 edges, 24998 markings/sec, 1285 secs
lola: STP completed || 41 tries, 40752341 fired transitions, 1290 secs || 35293658 markings, 227672197 edges, 23857 markings/sec, 1290 secs
lola: STP completed || 41 tries, 40909310 fired transitions, 1295 secs || 35411757 markings, 228625679 edges, 23620 markings/sec, 1295 secs
lola: STP completed || 42 tries, 41065334 fired transitions, 1300 secs || 35533463 markings, 229571983 edges, 24341 markings/sec, 1300 secs
lola: STP completed || 42 tries, 41223496 fired transitions, 1305 secs || 35648919 markings, 230524543 edges, 23091 markings/sec, 1305 secs
lola: STP completed || 42 tries, 41381853 fired transitions, 1310 secs || 35766944 markings, 231487490 edges, 23605 markings/sec, 1310 secs
lola: STP completed || 42 tries, 41538680 fired transitions, 1315 secs || 35891689 markings, 232430072 edges, 24949 markings/sec, 1315 secs
lola: STP completed || 42 tries, 41695883 fired transitions, 1320 secs || 36015906 markings, 233375906 edges, 24843 markings/sec, 1320 secs
lola: STP completed || 42 tries, 41851671 fired transitions, 1325 secs || 36144329 markings, 234331990 edges, 25685 markings/sec, 1325 secs
lola: STP completed || 43 tries, 42007821 fired transitions, 1330 secs || 36272418 markings, 235285098 edges, 25618 markings/sec, 1330 secs
lola: STP completed || 43 tries, 42164097 fired transitions, 1335 secs || 36395960 markings, 236211468 edges, 24708 markings/sec, 1335 secs
lola: STP completed || 43 tries, 42321180 fired transitions, 1340 secs || 36518437 markings, 237118620 edges, 24495 markings/sec, 1340 secs
lola: STP completed || 43 tries, 42477635 fired transitions, 1345 secs || 36642850 markings, 238049780 edges, 24883 markings/sec, 1345 secs
lola: STP completed || 43 tries, 42632811 fired transitions, 1350 secs || 36771058 markings, 238997299 edges, 25642 markings/sec, 1350 secs
lola: STP completed || 43 tries, 42788219 fired transitions, 1355 secs || 36894727 markings, 239943642 edges, 24734 markings/sec, 1355 secs
lola: STP completed || 43 tries, 42945274 fired transitions, 1360 secs || 37015356 markings, 240885795 edges, 24126 markings/sec, 1360 secs
lola: STP completed || 44 tries, 43103100 fired transitions, 1365 secs || 37132422 markings, 241824087 edges, 23413 markings/sec, 1365 secs
lola: STP completed || 44 tries, 43261478 fired transitions, 1370 secs || 37250669 markings, 242782596 edges, 23649 markings/sec, 1370 secs
lola: STP completed || 44 tries, 43419340 fired transitions, 1375 secs || 37367405 markings, 243745951 edges, 23347 markings/sec, 1375 secs
lola: STP completed || 44 tries, 43577160 fired transitions, 1380 secs || 37485499 markings, 244695322 edges, 23619 markings/sec, 1380 secs
lola: STP completed || 44 tries, 43734420 fired transitions, 1385 secs || 37605709 markings, 245652112 edges, 24042 markings/sec, 1385 secs
lola: STP completed || 44 tries, 43893240 fired transitions, 1390 secs || 37720667 markings, 246596491 edges, 22992 markings/sec, 1390 secs
lola: STP completed || 45 tries, 44049912 fired transitions, 1395 secs || 37839836 markings, 247536573 edges, 23834 markings/sec, 1395 secs
lola: STP completed || 45 tries, 44206879 fired transitions, 1400 secs || 37958335 markings, 248477042 edges, 23700 markings/sec, 1400 secs
lola: STP completed || 45 tries, 44362094 fired transitions, 1405 secs || 38084216 markings, 249402683 edges, 25176 markings/sec, 1405 secs
lola: STP completed || 45 tries, 44518786 fired transitions, 1410 secs || 38207651 markings, 250335431 edges, 24687 markings/sec, 1410 secs
lola: STP completed || 45 tries, 44677334 fired transitions, 1415 secs || 38323999 markings, 251283034 edges, 23270 markings/sec, 1415 secs
lola: STP completed || 45 tries, 44833822 fired transitions, 1420 secs || 38448410 markings, 252198735 edges, 24882 markings/sec, 1420 secs
lola: STP completed || 45 tries, 44990367 fired transitions, 1425 secs || 38571425 markings, 253117642 edges, 24603 markings/sec, 1425 secs
lola: STP completed || 46 tries, 45146746 fired transitions, 1430 secs || 38693215 markings, 254068993 edges, 24358 markings/sec, 1430 secs
lola: STP completed || 46 tries, 45301363 fired transitions, 1435 secs || 38823704 markings, 255029189 edges, 26098 markings/sec, 1435 secs
lola: STP completed || 46 tries, 45457024 fired transitions, 1440 secs || 38950797 markings, 255998404 edges, 25419 markings/sec, 1440 secs
lola: STP completed || 46 tries, 45613335 fired transitions, 1445 secs || 39074839 markings, 256940043 edges, 24808 markings/sec, 1445 secs
lola: STP completed || 46 tries, 45769288 fired transitions, 1450 secs || 39195632 markings, 257838158 edges, 24159 markings/sec, 1450 secs
lola: STP completed || 46 tries, 45924631 fired transitions, 1455 secs || 39323945 markings, 258783992 edges, 25663 markings/sec, 1455 secs
lola: STP completed || 47 tries, 46084002 fired transitions, 1460 secs || 39458424 markings, 259775730 edges, 26896 markings/sec, 1460 secs
lola: STP completed || 47 tries, 46255736 fired transitions, 1465 secs || 39603468 markings, 260864049 edges, 29009 markings/sec, 1465 secs
lola: STP completed || 47 tries, 46411572 fired transitions, 1470 secs || 39734722 markings, 261835931 edges, 26251 markings/sec, 1470 secs
lola: STP completed || 47 tries, 46567232 fired transitions, 1475 secs || 39863869 markings, 262795038 edges, 25829 markings/sec, 1475 secs
lola: STP completed || 47 tries, 46732105 fired transitions, 1480 secs || 39997238 markings, 263806861 edges, 26674 markings/sec, 1480 secs
lola: STP completed || 47 tries, 46888294 fired transitions, 1485 secs || 40120930 markings, 264716232 edges, 24738 markings/sec, 1485 secs
lola: STP completed || 48 tries, 47047580 fired transitions, 1490 secs || 40244107 markings, 265644766 edges, 24635 markings/sec, 1490 secs
lola: STP completed || 48 tries, 47223676 fired transitions, 1495 secs || 40380308 markings, 266722584 edges, 27240 markings/sec, 1495 secs
lola: STP completed || 48 tries, 47399263 fired transitions, 1500 secs || 40518777 markings, 267832703 edges, 27694 markings/sec, 1500 secs
lola: STP completed || 48 tries, 47575358 fired transitions, 1505 secs || 40654498 markings, 268919960 edges, 27144 markings/sec, 1505 secs
lola: STP completed || 48 tries, 47733859 fired transitions, 1510 secs || 40788583 markings, 269902706 edges, 26817 markings/sec, 1510 secs
lola: STP completed || 48 tries, 47889713 fired transitions, 1515 secs || 40917553 markings, 270860569 edges, 25794 markings/sec, 1515 secs
lola: STP completed || 49 tries, 48045885 fired transitions, 1520 secs || 41045561 markings, 271807541 edges, 25602 markings/sec, 1520 secs
lola: STP completed || 49 tries, 48202345 fired transitions, 1525 secs || 41169657 markings, 272733958 edges, 24819 markings/sec, 1525 secs
lola: STP completed || 49 tries, 48359360 fired transitions, 1530 secs || 41289708 markings, 273623948 edges, 24010 markings/sec, 1530 secs
lola: STP completed || 49 tries, 48516235 fired transitions, 1535 secs || 41410278 markings, 274540400 edges, 24114 markings/sec, 1535 secs
lola: STP completed || 49 tries, 48672653 fired transitions, 1540 secs || 41533599 markings, 275497896 edges, 24664 markings/sec, 1540 secs
lola: STP completed || 49 tries, 48829408 fired transitions, 1545 secs || 41657956 markings, 276465051 edges, 24871 markings/sec, 1545 secs
lola: STP completed || 49 tries, 48985730 fired transitions, 1550 secs || 41787068 markings, 277416257 edges, 25822 markings/sec, 1550 secs
lola: STP completed || 50 tries, 49142402 fired transitions, 1555 secs || 41914525 markings, 278379438 edges, 25491 markings/sec, 1555 secs
lola: STP completed || 50 tries, 49298966 fired transitions, 1560 secs || 42041880 markings, 279324590 edges, 25471 markings/sec, 1560 secs
lola: STP completed || 50 tries, 49455365 fired transitions, 1565 secs || 42166267 markings, 280249291 edges, 24877 markings/sec, 1565 secs
lola: STP completed || 50 tries, 49610798 fired transitions, 1570 secs || 42288358 markings, 281154031 edges, 24418 markings/sec, 1570 secs
lola: STP completed || 50 tries, 49768359 fired transitions, 1575 secs || 42409591 markings, 282049726 edges, 24247 markings/sec, 1575 secs
lola: STP completed || 50 tries, 49925191 fired transitions, 1580 secs || 42530007 markings, 282979929 edges, 24083 markings/sec, 1580 secs
lola: STP completed || 51 tries, 50093013 fired transitions, 1585 secs || 42657299 markings, 283989557 edges, 25458 markings/sec, 1585 secs
lola: STP completed || 51 tries, 50256930 fired transitions, 1590 secs || 42780307 markings, 284992184 edges, 24602 markings/sec, 1590 secs
lola: STP completed || 51 tries, 50414562 fired transitions, 1595 secs || 42903267 markings, 285952283 edges, 24592 markings/sec, 1595 secs
lola: STP completed || 51 tries, 50572069 fired transitions, 1600 secs || 43023700 markings, 286893441 edges, 24087 markings/sec, 1600 secs
lola: STP completed || 51 tries, 50729054 fired transitions, 1605 secs || 43143669 markings, 287860862 edges, 23994 markings/sec, 1605 secs
lola: STP completed || 51 tries, 50886466 fired transitions, 1610 secs || 43260707 markings, 288818326 edges, 23408 markings/sec, 1610 secs
lola: STP completed || 52 tries, 51043255 fired transitions, 1615 secs || 43379868 markings, 289769241 edges, 23832 markings/sec, 1615 secs
lola: STP completed || 52 tries, 51199670 fired transitions, 1620 secs || 43504991 markings, 290691733 edges, 25025 markings/sec, 1620 secs
lola: STP completed || 52 tries, 51355038 fired transitions, 1625 secs || 43629057 markings, 291607669 edges, 24813 markings/sec, 1625 secs
lola: STP completed || 52 tries, 51510513 fired transitions, 1630 secs || 43751755 markings, 292527291 edges, 24540 markings/sec, 1630 secs
lola: STP completed || 52 tries, 51668659 fired transitions, 1635 secs || 43867881 markings, 293460909 edges, 23225 markings/sec, 1635 secs
lola: STP completed || 52 tries, 51825362 fired transitions, 1640 secs || 43988239 markings, 294367285 edges, 24072 markings/sec, 1640 secs
lola: STP completed || 52 tries, 51981832 fired transitions, 1645 secs || 44107483 markings, 295259642 edges, 23849 markings/sec, 1645 secs
lola: STP completed || 53 tries, 52137988 fired transitions, 1650 secs || 44228028 markings, 296186760 edges, 24109 markings/sec, 1650 secs
lola: STP completed || 53 tries, 52295165 fired transitions, 1655 secs || 44345371 markings, 297135290 edges, 23469 markings/sec, 1655 secs
lola: STP completed || 53 tries, 52451848 fired transitions, 1660 secs || 44467329 markings, 298067808 edges, 24392 markings/sec, 1660 secs
lola: STP completed || 53 tries, 52609005 fired transitions, 1665 secs || 44589337 markings, 298991576 edges, 24402 markings/sec, 1665 secs
lola: STP completed || 53 tries, 52766374 fired transitions, 1670 secs || 44709511 markings, 299960045 edges, 24035 markings/sec, 1670 secs
lola: STP completed || 53 tries, 52923551 fired transitions, 1675 secs || 44826141 markings, 300924632 edges, 23326 markings/sec, 1675 secs
lola: STP completed || 54 tries, 53078635 fired transitions, 1680 secs || 44954281 markings, 301897095 edges, 25628 markings/sec, 1680 secs
lola: STP completed || 54 tries, 53233218 fired transitions, 1685 secs || 45082799 markings, 302852116 edges, 25704 markings/sec, 1685 secs
lola: STP completed || 54 tries, 53388723 fired transitions, 1690 secs || 45209102 markings, 303812812 edges, 25261 markings/sec, 1690 secs
lola: STP completed || 54 tries, 53544534 fired transitions, 1695 secs || 45331467 markings, 304710652 edges, 24473 markings/sec, 1695 secs
lola: STP completed || 54 tries, 53701955 fired transitions, 1700 secs || 45450107 markings, 305604002 edges, 23728 markings/sec, 1700 secs
lola: STP completed || 54 tries, 53858049 fired transitions, 1705 secs || 45577158 markings, 306548714 edges, 25410 markings/sec, 1705 secs
lola: STP completed || 55 tries, 54012981 fired transitions, 1710 secs || 45704565 markings, 307499842 edges, 25481 markings/sec, 1710 secs
lola: STP completed || 55 tries, 54171074 fired transitions, 1715 secs || 45835371 markings, 308459374 edges, 26161 markings/sec, 1715 secs
lola: STP completed || 55 tries, 54346433 fired transitions, 1720 secs || 45977658 markings, 309520037 edges, 28457 markings/sec, 1720 secs
lola: STP completed || 55 tries, 54522121 fired transitions, 1725 secs || 46122148 markings, 310601013 edges, 28898 markings/sec, 1725 secs
lola: STP completed || 55 tries, 54696960 fired transitions, 1730 secs || 46265177 markings, 311665019 edges, 28606 markings/sec, 1730 secs
lola: STP completed || 55 tries, 54862026 fired transitions, 1735 secs || 46393491 markings, 312613221 edges, 25663 markings/sec, 1735 secs
lola: STP completed || 56 tries, 55019534 fired transitions, 1740 secs || 46515261 markings, 313527428 edges, 24354 markings/sec, 1740 secs
lola: STP completed || 56 tries, 55177572 fired transitions, 1745 secs || 46637577 markings, 314474047 edges, 24463 markings/sec, 1745 secs
lola: STP completed || 56 tries, 55335594 fired transitions, 1750 secs || 46759139 markings, 315431491 edges, 24312 markings/sec, 1750 secs
lola: STP completed || 56 tries, 55493190 fired transitions, 1755 secs || 46876019 markings, 316377283 edges, 23376 markings/sec, 1755 secs
lola: STP completed || 56 tries, 55667850 fired transitions, 1760 secs || 47014028 markings, 317451697 edges, 27602 markings/sec, 1760 secs
lola: STP completed || 56 tries, 55844040 fired transitions, 1765 secs || 47149847 markings, 318520428 edges, 27164 markings/sec, 1765 secs
lola: STP completed || 57 tries, 56020295 fired transitions, 1770 secs || 47282363 markings, 319575855 edges, 26503 markings/sec, 1770 secs
lola: STP completed || 57 tries, 56195994 fired transitions, 1775 secs || 47429044 markings, 320657033 edges, 29336 markings/sec, 1775 secs
lola: STP completed || 57 tries, 56352712 fired transitions, 1780 secs || 47555002 markings, 321615553 edges, 25192 markings/sec, 1780 secs
lola: STP completed || 57 tries, 56509338 fired transitions, 1785 secs || 47678183 markings, 322529260 edges, 24636 markings/sec, 1785 secs
lola: STP completed || 57 tries, 56665678 fired transitions, 1790 secs || 47802666 markings, 323445400 edges, 24897 markings/sec, 1790 secs
lola: STP completed || 57 tries, 56821613 fired transitions, 1795 secs || 47932093 markings, 324403974 edges, 25885 markings/sec, 1795 secs
lola: STP completed || 57 tries, 56978200 fired transitions, 1800 secs || 48054619 markings, 325332973 edges, 24505 markings/sec, 1800 secs
lola: STP completed || 58 tries, 57135456 fired transitions, 1805 secs || 48177315 markings, 326272784 edges, 24539 markings/sec, 1805 secs
lola: STP completed || 58 tries, 57292458 fired transitions, 1810 secs || 48298946 markings, 327230931 edges, 24326 markings/sec, 1810 secs
lola: STP completed || 58 tries, 57450250 fired transitions, 1815 secs || 48417752 markings, 328192564 edges, 23761 markings/sec, 1815 secs
lola: STP completed || 58 tries, 57609062 fired transitions, 1820 secs || 48532848 markings, 329140498 edges, 23019 markings/sec, 1820 secs
lola: STP completed || 58 tries, 57765841 fired transitions, 1825 secs || 48653223 markings, 330083725 edges, 24075 markings/sec, 1825 secs
lola: STP completed || 58 tries, 57922313 fired transitions, 1830 secs || 48780397 markings, 331018577 edges, 25435 markings/sec, 1830 secs
lola: STP completed || 59 tries, 58078091 fired transitions, 1835 secs || 48909279 markings, 331968851 edges, 25776 markings/sec, 1835 secs
lola: STP completed || 59 tries, 58233740 fired transitions, 1840 secs || 49037358 markings, 332919639 edges, 25616 markings/sec, 1840 secs
lola: STP completed || 59 tries, 58402728 fired transitions, 1845 secs || 49173108 markings, 333932293 edges, 27150 markings/sec, 1845 secs
lola: STP completed || 59 tries, 58564410 fired transitions, 1850 secs || 49300230 markings, 334873994 edges, 25424 markings/sec, 1850 secs
lola: STP completed || 59 tries, 58722002 fired transitions, 1855 secs || 49421524 markings, 335795988 edges, 24259 markings/sec, 1855 secs
lola: STP completed || 59 tries, 58877481 fired transitions, 1860 secs || 49550980 markings, 336755494 edges, 25891 markings/sec, 1860 secs
lola: STP completed || 60 tries, 59033431 fired transitions, 1865 secs || 49681536 markings, 337732098 edges, 26111 markings/sec, 1865 secs
lola: STP completed || 60 tries, 59190535 fired transitions, 1870 secs || 49809415 markings, 338727579 edges, 25576 markings/sec, 1870 secs
lola: STP completed || 60 tries, 59347454 fired transitions, 1875 secs || 49930696 markings, 339688665 edges, 24256 markings/sec, 1875 secs
lola: STP completed || 60 tries, 59502322 fired transitions, 1880 secs || 50059120 markings, 340637732 edges, 25685 markings/sec, 1880 secs
lola: STP completed || 60 tries, 59658776 fired transitions, 1885 secs || 50185230 markings, 341576499 edges, 25222 markings/sec, 1885 secs
lola: STP completed || 60 tries, 59816692 fired transitions, 1890 secs || 50307130 markings, 342474218 edges, 24380 markings/sec, 1890 secs
lola: STP completed || 60 tries, 59971872 fired transitions, 1895 secs || 50425681 markings, 343366971 edges, 23710 markings/sec, 1895 secs
lola: STP completed || 61 tries, 60125432 fired transitions, 1900 secs || 50555078 markings, 344315922 edges, 25879 markings/sec, 1900 secs
lola: STP completed || 61 tries, 60280023 fired transitions, 1905 secs || 50682413 markings, 345270115 edges, 25467 markings/sec, 1905 secs
lola: STP completed || 61 tries, 60435468 fired transitions, 1910 secs || 50802841 markings, 346201191 edges, 24086 markings/sec, 1910 secs
lola: STP completed || 61 tries, 60592061 fired transitions, 1915 secs || 50921314 markings, 347135284 edges, 23695 markings/sec, 1915 secs
lola: STP completed || 61 tries, 60747902 fired transitions, 1920 secs || 51042611 markings, 348065885 edges, 24259 markings/sec, 1920 secs
lola: STP completed || 61 tries, 60904487 fired transitions, 1925 secs || 51161829 markings, 348945960 edges, 23844 markings/sec, 1925 secs
lola: STP completed || 62 tries, 61061193 fired transitions, 1930 secs || 51278033 markings, 349821479 edges, 23241 markings/sec, 1930 secs
lola: STP completed || 62 tries, 61217200 fired transitions, 1935 secs || 51406238 markings, 350760820 edges, 25641 markings/sec, 1935 secs
lola: STP completed || 62 tries, 61374289 fired transitions, 1940 secs || 51530876 markings, 351698735 edges, 24928 markings/sec, 1940 secs
lola: STP completed || 62 tries, 61530138 fired transitions, 1945 secs || 51657693 markings, 352641807 edges, 25363 markings/sec, 1945 secs
lola: STP completed || 62 tries, 61686774 fired transitions, 1950 secs || 51781727 markings, 353571528 edges, 24807 markings/sec, 1950 secs
lola: STP completed || 62 tries, 61845308 fired transitions, 1955 secs || 51902067 markings, 354499861 edges, 24068 markings/sec, 1955 secs
lola: STP completed || 63 tries, 62002591 fired transitions, 1960 secs || 52021011 markings, 355438399 edges, 23789 markings/sec, 1960 secs
lola: STP completed || 63 tries, 62159368 fired transitions, 1965 secs || 52145879 markings, 356354373 edges, 24974 markings/sec, 1965 secs
lola: STP completed || 63 tries, 62316844 fired transitions, 1970 secs || 52268752 markings, 357274022 edges, 24575 markings/sec, 1970 secs
lola: STP completed || 63 tries, 62474954 fired transitions, 1975 secs || 52387529 markings, 358164716 edges, 23755 markings/sec, 1975 secs
lola: STP completed || 63 tries, 62633037 fired transitions, 1980 secs || 52505635 markings, 359040557 edges, 23621 markings/sec, 1980 secs
lola: STP completed || 63 tries, 62790769 fired transitions, 1985 secs || 52625908 markings, 359942692 edges, 24055 markings/sec, 1985 secs
lola: STP completed || 63 tries, 62947180 fired transitions, 1990 secs || 52751652 markings, 360870338 edges, 25149 markings/sec, 1990 secs
lola: STP completed || 64 tries, 63105373 fired transitions, 1995 secs || 52873773 markings, 361798566 edges, 24424 markings/sec, 1995 secs
lola: STP completed || 64 tries, 63263610 fired transitions, 2000 secs || 52988318 markings, 362696633 edges, 22909 markings/sec, 2000 secs
lola: STP completed || 64 tries, 63421418 fired transitions, 2005 secs || 53109073 markings, 363617023 edges, 24151 markings/sec, 2005 secs
lola: STP completed || 64 tries, 63578141 fired transitions, 2010 secs || 53235299 markings, 364553240 edges, 25245 markings/sec, 2010 secs
lola: STP completed || 64 tries, 63735117 fired transitions, 2015 secs || 53357709 markings, 365466188 edges, 24482 markings/sec, 2015 secs
lola: STP completed || 64 tries, 63893375 fired transitions, 2020 secs || 53477001 markings, 366349078 edges, 23858 markings/sec, 2020 secs
lola: STP completed || 65 tries, 64052323 fired transitions, 2025 secs || 53596494 markings, 367238187 edges, 23899 markings/sec, 2025 secs
lola: STP completed || 65 tries, 64209864 fired transitions, 2030 secs || 53715232 markings, 368114479 edges, 23748 markings/sec, 2030 secs
lola: STP completed || 65 tries, 64366963 fired transitions, 2035 secs || 53832367 markings, 368999777 edges, 23427 markings/sec, 2035 secs
lola: STP completed || 65 tries, 64523567 fired transitions, 2040 secs || 53956624 markings, 369918256 edges, 24851 markings/sec, 2040 secs
lola: STP completed || 65 tries, 64681571 fired transitions, 2045 secs || 54082283 markings, 370854065 edges, 25132 markings/sec, 2045 secs
lola: STP completed || 65 tries, 64838106 fired transitions, 2050 secs || 54208748 markings, 371792752 edges, 25293 markings/sec, 2050 secs
lola: STP completed || 65 tries, 64984565 fired transitions, 2055 secs || 54326765 markings, 372668557 edges, 23603 markings/sec, 2055 secs
lola: STP completed || 66 tries, 65139791 fired transitions, 2060 secs || 54454896 markings, 373611755 edges, 25626 markings/sec, 2060 secs
lola: STP completed || 66 tries, 65295778 fired transitions, 2065 secs || 54581561 markings, 374566387 edges, 25333 markings/sec, 2065 secs
lola: STP completed || 66 tries, 65452560 fired transitions, 2070 secs || 54704404 markings, 375512176 edges, 24569 markings/sec, 2070 secs
lola: STP completed || 66 tries, 65611268 fired transitions, 2075 secs || 54820594 markings, 376418933 edges, 23238 markings/sec, 2075 secs
lola: STP completed || 66 tries, 65768985 fired transitions, 2080 secs || 54939742 markings, 377346433 edges, 23830 markings/sec, 2080 secs
lola: STP completed || 66 tries, 65927014 fired transitions, 2085 secs || 55056895 markings, 378262609 edges, 23431 markings/sec, 2085 secs
lola: STP completed || 67 tries, 66096461 fired transitions, 2090 secs || 55178738 markings, 379240369 edges, 24369 markings/sec, 2090 secs
lola: STP completed || 67 tries, 66269571 fired transitions, 2095 secs || 55306343 markings, 380274464 edges, 25521 markings/sec, 2095 secs
lola: STP completed || 67 tries, 66427080 fired transitions, 2100 secs || 55423503 markings, 381220906 edges, 23432 markings/sec, 2100 secs
lola: STP completed || 67 tries, 66583863 fired transitions, 2105 secs || 55539297 markings, 382127772 edges, 23159 markings/sec, 2105 secs
lola: STP completed || 67 tries, 66740746 fired transitions, 2110 secs || 55651181 markings, 383049171 edges, 22377 markings/sec, 2110 secs
lola: STP completed || 67 tries, 66898627 fired transitions, 2115 secs || 55768821 markings, 383969402 edges, 23528 markings/sec, 2115 secs
lola: STP completed || 68 tries, 67055996 fired transitions, 2120 secs || 55881806 markings, 384894387 edges, 22597 markings/sec, 2120 secs
lola: STP completed || 68 tries, 67212088 fired transitions, 2125 secs || 56000080 markings, 385827386 edges, 23655 markings/sec, 2125 secs
lola: STP completed || 68 tries, 67369713 fired transitions, 2130 secs || 56113029 markings, 386751505 edges, 22590 markings/sec, 2130 secs
lola: STP completed || 68 tries, 67526979 fired transitions, 2135 secs || 56230811 markings, 387682106 edges, 23556 markings/sec, 2135 secs
lola: STP completed || 68 tries, 67692286 fired transitions, 2140 secs || 56352959 markings, 388651436 edges, 24430 markings/sec, 2140 secs
lola: STP completed || 68 tries, 67859769 fired transitions, 2145 secs || 56482576 markings, 389657403 edges, 25923 markings/sec, 2145 secs
lola: STP completed || 69 tries, 68016954 fired transitions, 2150 secs || 56600884 markings, 390579199 edges, 23662 markings/sec, 2150 secs
lola: STP completed || 69 tries, 68172672 fired transitions, 2155 secs || 56724165 markings, 391493493 edges, 24656 markings/sec, 2155 secs
lola: STP completed || 69 tries, 68330444 fired transitions, 2160 secs || 56840349 markings, 392427824 edges, 23237 markings/sec, 2160 secs
lola: STP completed || 69 tries, 68488024 fired transitions, 2165 secs || 56958312 markings, 393358145 edges, 23593 markings/sec, 2165 secs
lola: STP completed || 69 tries, 68644078 fired transitions, 2170 secs || 57081205 markings, 394257082 edges, 24579 markings/sec, 2170 secs
lola: STP completed || 69 tries, 68800740 fired transitions, 2175 secs || 57200541 markings, 395158496 edges, 23867 markings/sec, 2175 secs
lola: STP completed || 69 tries, 68957364 fired transitions, 2180 secs || 57316348 markings, 396080916 edges, 23161 markings/sec, 2180 secs
lola: STP completed || 70 tries, 69115518 fired transitions, 2185 secs || 57429448 markings, 397024027 edges, 22620 markings/sec, 2185 secs
lola: STP completed || 70 tries, 69272383 fired transitions, 2190 secs || 57551217 markings, 397938702 edges, 24354 markings/sec, 2190 secs
lola: STP completed || 70 tries, 69428663 fired transitions, 2195 secs || 57671201 markings, 398837538 edges, 23997 markings/sec, 2195 secs
lola: STP completed || 70 tries, 69585295 fired transitions, 2200 secs || 57788728 markings, 399736156 edges, 23505 markings/sec, 2200 secs
lola: STP completed || 70 tries, 69743388 fired transitions, 2205 secs || 57904310 markings, 400637239 edges, 23116 markings/sec, 2205 secs
lola: STP completed || 70 tries, 69901620 fired transitions, 2210 secs || 58019984 markings, 401552655 edges, 23135 markings/sec, 2210 secs
lola: STP completed || 71 tries, 70059941 fired transitions, 2215 secs || 58136887 markings, 402469267 edges, 23381 markings/sec, 2215 secs
lola: STP completed || 71 tries, 70219061 fired transitions, 2220 secs || 58249599 markings, 403400102 edges, 22542 markings/sec, 2220 secs
lola: STP completed || 71 tries, 70378496 fired transitions, 2225 secs || 58363775 markings, 404317324 edges, 22835 markings/sec, 2225 secs
lola: STP completed || 71 tries, 70538567 fired transitions, 2230 secs || 58477433 markings, 405252638 edges, 22732 markings/sec, 2230 secs
lola: STP completed || 71 tries, 70699119 fired transitions, 2235 secs || 58589923 markings, 406184971 edges, 22498 markings/sec, 2235 secs
lola: STP completed || 71 tries, 70857797 fired transitions, 2240 secs || 58701401 markings, 407111419 edges, 22296 markings/sec, 2240 secs
lola: STP completed || 72 tries, 71014828 fired transitions, 2245 secs || 58819230 markings, 408045967 edges, 23566 markings/sec, 2245 secs
lola: STP completed || 72 tries, 71174164 fired transitions, 2250 secs || 58936634 markings, 408967406 edges, 23481 markings/sec, 2250 secs
lola: STP completed || 72 tries, 71333587 fired transitions, 2255 secs || 59057138 markings, 409858655 edges, 24101 markings/sec, 2255 secs
lola: STP completed || 72 tries, 71492885 fired transitions, 2260 secs || 59175610 markings, 410751523 edges, 23694 markings/sec, 2260 secs
lola: STP completed || 72 tries, 71650791 fired transitions, 2265 secs || 59297727 markings, 411664236 edges, 24423 markings/sec, 2265 secs
lola: STP completed || 72 tries, 71807485 fired transitions, 2270 secs || 59422317 markings, 412591667 edges, 24918 markings/sec, 2270 secs
lola: STP completed || 72 tries, 71965785 fired transitions, 2275 secs || 59546250 markings, 413530415 edges, 24787 markings/sec, 2275 secs
lola: STP completed || 73 tries, 72122480 fired transitions, 2280 secs || 59672977 markings, 414464199 edges, 25345 markings/sec, 2280 secs
lola: STP completed || 73 tries, 72279917 fired transitions, 2285 secs || 59797832 markings, 415407713 edges, 24971 markings/sec, 2285 secs
lola: STP completed || 73 tries, 72438451 fired transitions, 2290 secs || 59915683 markings, 416338821 edges, 23570 markings/sec, 2290 secs
lola: STP completed || 73 tries, 72596307 fired transitions, 2295 secs || 60034856 markings, 417257357 edges, 23835 markings/sec, 2295 secs
lola: STP completed || 73 tries, 72752694 fired transitions, 2300 secs || 60159688 markings, 418183527 edges, 24966 markings/sec, 2300 secs
lola: STP completed || 73 tries, 72909349 fired transitions, 2305 secs || 60286982 markings, 419111200 edges, 25459 markings/sec, 2305 secs
lola: STP completed || 74 tries, 73066117 fired transitions, 2310 secs || 60408717 markings, 420032943 edges, 24347 markings/sec, 2310 secs
lola: STP completed || 74 tries, 73224539 fired transitions, 2315 secs || 60527439 markings, 420912988 edges, 23744 markings/sec, 2315 secs
lola: STP completed || 74 tries, 73382782 fired transitions, 2320 secs || 60644891 markings, 421787440 edges, 23490 markings/sec, 2320 secs
lola: STP completed || 74 tries, 73540387 fired transitions, 2325 secs || 60760168 markings, 422676660 edges, 23055 markings/sec, 2325 secs
lola: STP completed || 74 tries, 73695758 fired transitions, 2330 secs || 60878641 markings, 423593534 edges, 23695 markings/sec, 2330 secs
lola: STP completed || 74 tries, 73852370 fired transitions, 2335 secs || 60997405 markings, 424517105 edges, 23753 markings/sec, 2335 secs
lola: STP completed || 75 tries, 74010466 fired transitions, 2340 secs || 61118785 markings, 425445078 edges, 24276 markings/sec, 2340 secs
lola: STP completed || 75 tries, 74166670 fired transitions, 2345 secs || 61242017 markings, 426363518 edges, 24646 markings/sec, 2345 secs
lola: STP completed || 75 tries, 74322957 fired transitions, 2350 secs || 61366903 markings, 427289700 edges, 24977 markings/sec, 2350 secs
lola: STP completed || 75 tries, 74484034 fired transitions, 2355 secs || 61496805 markings, 428247926 edges, 25980 markings/sec, 2355 secs
lola: STP completed || 75 tries, 74640628 fired transitions, 2360 secs || 61619010 markings, 429163159 edges, 24441 markings/sec, 2360 secs
lola: STP completed || 75 tries, 74796737 fired transitions, 2365 secs || 61737308 markings, 430035211 edges, 23660 markings/sec, 2365 secs
lola: STP completed || 75 tries, 74954296 fired transitions, 2370 secs || 61853809 markings, 430917828 edges, 23300 markings/sec, 2370 secs
lola: STP completed || 76 tries, 75111963 fired transitions, 2375 secs || 61971867 markings, 431838189 edges, 23612 markings/sec, 2375 secs
lola: STP completed || 76 tries, 75270118 fired transitions, 2380 secs || 62088190 markings, 432756049 edges, 23265 markings/sec, 2380 secs
lola: STP completed || 76 tries, 75428027 fired transitions, 2385 secs || 62201479 markings, 433664682 edges, 22658 markings/sec, 2385 secs
lola: STP completed || 76 tries, 75587067 fired transitions, 2390 secs || 62314014 markings, 434596659 edges, 22507 markings/sec, 2390 secs
lola: STP completed || 76 tries, 75744896 fired transitions, 2395 secs || 62429662 markings, 435532040 edges, 23130 markings/sec, 2395 secs
lola: STP completed || 76 tries, 75899233 fired transitions, 2400 secs || 62541537 markings, 436443510 edges, 22375 markings/sec, 2400 secs
lola: STP completed || 77 tries, 76056954 fired transitions, 2405 secs || 62657171 markings, 437353517 edges, 23127 markings/sec, 2405 secs
lola: STP completed || 77 tries, 76216789 fired transitions, 2410 secs || 62770544 markings, 438285974 edges, 22675 markings/sec, 2410 secs
lola: STP completed || 77 tries, 76373781 fired transitions, 2415 secs || 62891167 markings, 439197644 edges, 24125 markings/sec, 2415 secs
lola: STP completed || 77 tries, 76531040 fired transitions, 2420 secs || 63011792 markings, 440101028 edges, 24125 markings/sec, 2420 secs
lola: STP completed || 77 tries, 76688812 fired transitions, 2425 secs || 63126945 markings, 441008747 edges, 23031 markings/sec, 2425 secs
lola: STP completed || 77 tries, 76846249 fired transitions, 2430 secs || 63243048 markings, 441927262 edges, 23221 markings/sec, 2430 secs
lola: STP completed || 78 tries, 77003388 fired transitions, 2435 secs || 63361616 markings, 442827228 edges, 23714 markings/sec, 2435 secs
lola: STP completed || 78 tries, 77159373 fired transitions, 2440 secs || 63483199 markings, 443723171 edges, 24317 markings/sec, 2440 secs
lola: STP completed || 78 tries, 77316647 fired transitions, 2445 secs || 63601755 markings, 444610451 edges, 23711 markings/sec, 2445 secs
lola: STP completed || 78 tries, 77474150 fired transitions, 2450 secs || 63720933 markings, 445510649 edges, 23836 markings/sec, 2450 secs
lola: STP completed || 78 tries, 77631523 fired transitions, 2455 secs || 63841573 markings, 446402737 edges, 24128 markings/sec, 2455 secs
lola: STP completed || 78 tries, 77789554 fired transitions, 2460 secs || 63960212 markings, 447296891 edges, 23728 markings/sec, 2460 secs
lola: STP completed || 78 tries, 77945712 fired transitions, 2465 secs || 64075169 markings, 448210814 edges, 22991 markings/sec, 2465 secs
lola: STP completed || 79 tries, 78102097 fired transitions, 2470 secs || 64194226 markings, 449151028 edges, 23811 markings/sec, 2470 secs
lola: STP completed || 79 tries, 78259408 fired transitions, 2475 secs || 64310860 markings, 450069272 edges, 23327 markings/sec, 2475 secs
lola: STP completed || 79 tries, 78415983 fired transitions, 2480 secs || 64424721 markings, 450996508 edges, 22772 markings/sec, 2480 secs
lola: STP completed || 79 tries, 78572807 fired transitions, 2485 secs || 64541033 markings, 451911097 edges, 23262 markings/sec, 2485 secs
lola: STP completed || 79 tries, 78732090 fired transitions, 2490 secs || 64656942 markings, 452816423 edges, 23182 markings/sec, 2490 secs
lola: STP completed || 79 tries, 78907434 fired transitions, 2495 secs || 64788095 markings, 453840210 edges, 26231 markings/sec, 2495 secs
lola: STP completed || 80 tries, 79082749 fired transitions, 2500 secs || 64915183 markings, 454881839 edges, 25418 markings/sec, 2500 secs
lola: STP completed || 80 tries, 79248086 fired transitions, 2505 secs || 65043272 markings, 455891845 edges, 25618 markings/sec, 2505 secs
lola: STP completed || 80 tries, 79424505 fired transitions, 2510 secs || 65166946 markings, 456933819 edges, 24735 markings/sec, 2510 secs
lola: STP completed || 80 tries, 79599613 fired transitions, 2515 secs || 65296923 markings, 457964433 edges, 25995 markings/sec, 2515 secs
lola: STP completed || 80 tries, 79775358 fired transitions, 2520 secs || 65425804 markings, 458995777 edges, 25776 markings/sec, 2520 secs
lola: STP completed || 80 tries, 79951922 fired transitions, 2525 secs || 65550063 markings, 460033095 edges, 24852 markings/sec, 2525 secs
lola: STP completed || 81 tries, 80127216 fired transitions, 2530 secs || 65688183 markings, 461075821 edges, 27624 markings/sec, 2530 secs
lola: STP completed || 81 tries, 80299746 fired transitions, 2535 secs || 65825879 markings, 462101702 edges, 27539 markings/sec, 2535 secs
lola: STP completed || 81 tries, 80474863 fired transitions, 2540 secs || 65972021 markings, 463178693 edges, 29228 markings/sec, 2540 secs
lola: STP completed || 81 tries, 80647578 fired transitions, 2545 secs || 66118569 markings, 464269219 edges, 29310 markings/sec, 2545 secs
lola: STP completed || 81 tries, 80816113 fired transitions, 2550 secs || 66261505 markings, 465326636 edges, 28587 markings/sec, 2550 secs
lola: STP completed || 81 tries, 80976829 fired transitions, 2555 secs || 66393213 markings, 466331119 edges, 26342 markings/sec, 2555 secs
lola: STP completed || 82 tries, 81152190 fired transitions, 2560 secs || 66532949 markings, 467418953 edges, 27947 markings/sec, 2560 secs
lola: STP completed || 82 tries, 81328358 fired transitions, 2565 secs || 66670316 markings, 468512763 edges, 27473 markings/sec, 2565 secs
lola: STP completed || 82 tries, 81504063 fired transitions, 2570 secs || 66810827 markings, 469596943 edges, 28102 markings/sec, 2570 secs
lola: STP completed || 82 tries, 81678861 fired transitions, 2575 secs || 66945398 markings, 470663374 edges, 26914 markings/sec, 2575 secs
lola: STP completed || 82 tries, 81843396 fired transitions, 2580 secs || 67079784 markings, 471669830 edges, 26877 markings/sec, 2580 secs
lola: STP completed || 82 tries, 81999179 fired transitions, 2585 secs || 67207375 markings, 472625131 edges, 25518 markings/sec, 2585 secs
lola: STP completed || 83 tries, 82155468 fired transitions, 2590 secs || 67337864 markings, 473579854 edges, 26098 markings/sec, 2590 secs
lola: STP completed || 83 tries, 82312574 fired transitions, 2595 secs || 67465806 markings, 474529909 edges, 25588 markings/sec, 2595 secs
lola: STP completed || 83 tries, 82469566 fired transitions, 2600 secs || 67591767 markings, 475463906 edges, 25192 markings/sec, 2600 secs
lola: STP completed || 83 tries, 82626604 fired transitions, 2605 secs || 67717858 markings, 476395069 edges, 25218 markings/sec, 2605 secs
lola: STP completed || 83 tries, 82783950 fired transitions, 2610 secs || 67840349 markings, 477306397 edges, 24498 markings/sec, 2610 secs
lola: STP completed || 83 tries, 82940699 fired transitions, 2615 secs || 67964509 markings, 478256702 edges, 24832 markings/sec, 2615 secs
lola: STP completed || 84 tries, 83098300 fired transitions, 2620 secs || 68087295 markings, 479168332 edges, 24557 markings/sec, 2620 secs
lola: STP completed || 84 tries, 83256138 fired transitions, 2625 secs || 68209358 markings, 480077822 edges, 24413 markings/sec, 2625 secs
lola: STP completed || 84 tries, 83412989 fired transitions, 2630 secs || 68336808 markings, 481017415 edges, 25490 markings/sec, 2630 secs
lola: STP completed || 84 tries, 83570152 fired transitions, 2635 secs || 68462488 markings, 481954867 edges, 25136 markings/sec, 2635 secs
lola: STP completed || 84 tries, 83727367 fired transitions, 2640 secs || 68584636 markings, 482889141 edges, 24430 markings/sec, 2640 secs
lola: STP completed || 84 tries, 83884814 fired transitions, 2645 secs || 68704441 markings, 483818942 edges, 23961 markings/sec, 2645 secs
lola: STP completed || 85 tries, 84042998 fired transitions, 2650 secs || 68824646 markings, 484773723 edges, 24041 markings/sec, 2650 secs
lola: STP completed || 85 tries, 84201172 fired transitions, 2655 secs || 68945271 markings, 485726897 edges, 24125 markings/sec, 2655 secs
lola: STP completed || 85 tries, 84359473 fired transitions, 2660 secs || 69064091 markings, 486651001 edges, 23764 markings/sec, 2660 secs
lola: STP completed || 85 tries, 84517168 fired transitions, 2665 secs || 69183592 markings, 487603250 edges, 23900 markings/sec, 2665 secs
lola: STP completed || 85 tries, 84675847 fired transitions, 2670 secs || 69299640 markings, 488553040 edges, 23210 markings/sec, 2670 secs
lola: STP completed || 85 tries, 84832988 fired transitions, 2675 secs || 69421516 markings, 489475473 edges, 24375 markings/sec, 2675 secs
lola: STP completed || 85 tries, 84991509 fired transitions, 2680 secs || 69538613 markings, 490428039 edges, 23419 markings/sec, 2680 secs
lola: STP completed || 86 tries, 85150535 fired transitions, 2685 secs || 69655285 markings, 491391317 edges, 23334 markings/sec, 2685 secs
lola: STP completed || 86 tries, 85306001 fired transitions, 2690 secs || 69771262 markings, 492331197 edges, 23195 markings/sec, 2690 secs
lola: STP completed || 86 tries, 85463079 fired transitions, 2695 secs || 69890363 markings, 493281607 edges, 23820 markings/sec, 2695 secs
lola: STP completed || 86 tries, 85619888 fired transitions, 2700 secs || 70015411 markings, 494204066 edges, 25010 markings/sec, 2700 secs
lola: STP completed || 86 tries, 85777613 fired transitions, 2705 secs || 70137719 markings, 495134197 edges, 24462 markings/sec, 2705 secs
lola: STP completed || 86 tries, 85936219 fired transitions, 2710 secs || 70256377 markings, 496073200 edges, 23732 markings/sec, 2710 secs
lola: STP completed || 87 tries, 86093502 fired transitions, 2715 secs || 70380672 markings, 496996548 edges, 24859 markings/sec, 2715 secs
lola: STP completed || 87 tries, 86250350 fired transitions, 2720 secs || 70503378 markings, 497909950 edges, 24541 markings/sec, 2720 secs
lola: STP completed || 87 tries, 86408180 fired transitions, 2725 secs || 70623722 markings, 498831481 edges, 24069 markings/sec, 2725 secs
lola: STP completed || 87 tries, 86562722 fired transitions, 2730 secs || 70750842 markings, 499775299 edges, 25424 markings/sec, 2730 secs
lola: STP completed || 87 tries, 86718326 fired transitions, 2735 secs || 70879899 markings, 500739242 edges, 25811 markings/sec, 2735 secs
lola: STP completed || 87 tries, 86874524 fired transitions, 2740 secs || 71010087 markings, 501703469 edges, 26038 markings/sec, 2740 secs
lola: STP completed || 88 tries, 87030344 fired transitions, 2745 secs || 71141131 markings, 502675506 edges, 26209 markings/sec, 2745 secs
lola: STP completed || 88 tries, 87187796 fired transitions, 2750 secs || 71266523 markings, 503649755 edges, 25078 markings/sec, 2750 secs
lola: STP completed || 88 tries, 87345883 fired transitions, 2755 secs || 71389068 markings, 504626912 edges, 24509 markings/sec, 2755 secs
lola: STP completed || 88 tries, 87503786 fired transitions, 2760 secs || 71511837 markings, 505602073 edges, 24554 markings/sec, 2760 secs
lola: STP completed || 88 tries, 87660721 fired transitions, 2765 secs || 71631758 markings, 506548269 edges, 23984 markings/sec, 2765 secs
lola: STP completed || 88 tries, 87818646 fired transitions, 2770 secs || 71753854 markings, 507479582 edges, 24419 markings/sec, 2770 secs
lola: STP completed || 88 tries, 87976623 fired transitions, 2775 secs || 71876101 markings, 508392088 edges, 24449 markings/sec, 2775 secs
lola: STP completed || 89 tries, 88132963 fired transitions, 2780 secs || 72001159 markings, 509323656 edges, 25012 markings/sec, 2780 secs
lola: STP completed || 89 tries, 88287630 fired transitions, 2785 secs || 72128194 markings, 510256759 edges, 25407 markings/sec, 2785 secs
lola: STP completed || 89 tries, 88443223 fired transitions, 2790 secs || 72256556 markings, 511204959 edges, 25672 markings/sec, 2790 secs
lola: STP completed || 89 tries, 88598546 fired transitions, 2795 secs || 72383714 markings, 512148770 edges, 25432 markings/sec, 2795 secs
lola: STP completed || 89 tries, 88755069 fired transitions, 2800 secs || 72503812 markings, 513076155 edges, 24020 markings/sec, 2800 secs
lola: STP completed || 89 tries, 88911745 fired transitions, 2805 secs || 72624885 markings, 514015551 edges, 24215 markings/sec, 2805 secs
lola: STP completed || 90 tries, 89068502 fired transitions, 2810 secs || 72745589 markings, 514970600 edges, 24141 markings/sec, 2810 secs
lola: STP completed || 90 tries, 89226863 fired transitions, 2815 secs || 72861952 markings, 515922251 edges, 23273 markings/sec, 2815 secs
lola: STP completed || 90 tries, 89385228 fired transitions, 2820 secs || 72981160 markings, 516876735 edges, 23842 markings/sec, 2820 secs
lola: STP completed || 90 tries, 89542645 fired transitions, 2825 secs || 73101280 markings, 517810843 edges, 24024 markings/sec, 2825 secs
lola: STP completed || 90 tries, 89698642 fired transitions, 2830 secs || 73224739 markings, 518760732 edges, 24692 markings/sec, 2830 secs
lola: STP completed || 90 tries, 89837324 fired transitions, 2835 secs || 73335659 markings, 519585928 edges, 22184 markings/sec, 2835 secs
lola: STP completed || 90 tries, 89993593 fired transitions, 2840 secs || 73460959 markings, 520541762 edges, 25060 markings/sec, 2840 secs
lola: STP completed || 91 tries, 90148680 fired transitions, 2845 secs || 73593252 markings, 521521249 edges, 26459 markings/sec, 2845 secs
lola: STP completed || 91 tries, 90304185 fired transitions, 2850 secs || 73723759 markings, 522497068 edges, 26101 markings/sec, 2850 secs
lola: STP completed || 91 tries, 90459533 fired transitions, 2855 secs || 73851835 markings, 523448893 edges, 25615 markings/sec, 2855 secs
lola: STP completed || 91 tries, 90614942 fired transitions, 2860 secs || 73978848 markings, 524396275 edges, 25403 markings/sec, 2860 secs
lola: STP completed || 91 tries, 90771324 fired transitions, 2865 secs || 74105694 markings, 525337200 edges, 25369 markings/sec, 2865 secs
lola: STP completed || 91 tries, 90927509 fired transitions, 2870 secs || 74229304 markings, 526252424 edges, 24722 markings/sec, 2870 secs
lola: STP completed || 92 tries, 91084633 fired transitions, 2875 secs || 74349715 markings, 527174121 edges, 24082 markings/sec, 2875 secs
lola: STP completed || 92 tries, 91241344 fired transitions, 2880 secs || 74475134 markings, 528151572 edges, 25084 markings/sec, 2880 secs
lola: STP completed || 92 tries, 91396336 fired transitions, 2885 secs || 74604706 markings, 529106591 edges, 25914 markings/sec, 2885 secs
lola: STP completed || 92 tries, 91551756 fired transitions, 2890 secs || 74733174 markings, 530068249 edges, 25694 markings/sec, 2890 secs
lola: STP completed || 92 tries, 91706981 fired transitions, 2895 secs || 74859526 markings, 530993918 edges, 25270 markings/sec, 2895 secs
lola: STP completed || 92 tries, 91864245 fired transitions, 2900 secs || 74984493 markings, 531922037 edges, 24993 markings/sec, 2900 secs
lola: STP completed || 93 tries, 92021494 fired transitions, 2905 secs || 75106236 markings, 532817564 edges, 24349 markings/sec, 2905 secs
lola: STP completed || 93 tries, 92178599 fired transitions, 2910 secs || 75224281 markings, 533715200 edges, 23609 markings/sec, 2910 secs
lola: STP completed || 93 tries, 92336522 fired transitions, 2915 secs || 75343120 markings, 534635104 edges, 23768 markings/sec, 2915 secs
lola: STP completed || 93 tries, 92493655 fired transitions, 2920 secs || 75464630 markings, 535589521 edges, 24302 markings/sec, 2920 secs
lola: STP completed || 93 tries, 92651502 fired transitions, 2925 secs || 75581004 markings, 536529847 edges, 23275 markings/sec, 2925 secs
lola: STP completed || 93 tries, 92808857 fired transitions, 2930 secs || 75700425 markings, 537483455 edges, 23884 markings/sec, 2930 secs
lola: STP completed || 93 tries, 92964425 fired transitions, 2935 secs || 75828744 markings, 538423518 edges, 25664 markings/sec, 2935 secs
lola: STP completed || 94 tries, 93120694 fired transitions, 2940 secs || 75954157 markings, 539367274 edges, 25083 markings/sec, 2940 secs
lola: STP completed || 94 tries, 93277538 fired transitions, 2945 secs || 76079792 markings, 540285320 edges, 25127 markings/sec, 2945 secs
lola: STP completed || 94 tries, 93435201 fired transitions, 2950 secs || 76202734 markings, 541215547 edges, 24588 markings/sec, 2950 secs
lola: STP completed || 94 tries, 93592696 fired transitions, 2955 secs || 76324824 markings, 542120040 edges, 24418 markings/sec, 2955 secs
lola: STP completed || 94 tries, 93749832 fired transitions, 2960 secs || 76444702 markings, 543011328 edges, 23976 markings/sec, 2960 secs
lola: STP completed || 94 tries, 93908049 fired transitions, 2965 secs || 76562401 markings, 543925422 edges, 23540 markings/sec, 2965 secs
lola: STP completed || 95 tries, 94065917 fired transitions, 2970 secs || 76683124 markings, 544872457 edges, 24145 markings/sec, 2970 secs
lola: STP completed || 95 tries, 94224045 fired transitions, 2975 secs || 76799480 markings, 545805805 edges, 23271 markings/sec, 2975 secs
lola: STP completed || 95 tries, 94381514 fired transitions, 2980 secs || 76917281 markings, 546725607 edges, 23560 markings/sec, 2980 secs
lola: STP completed || 95 tries, 94539271 fired transitions, 2985 secs || 77035338 markings, 547676397 edges, 23611 markings/sec, 2985 secs
lola: STP completed || 95 tries, 94697629 fired transitions, 2990 secs || 77150919 markings, 548619691 edges, 23116 markings/sec, 2990 secs
lola: STP completed || 95 tries, 94855411 fired transitions, 2995 secs || 77269727 markings, 549564602 edges, 23762 markings/sec, 2995 secs
lola: STP completed || 96 tries, 95013209 fired transitions, 3000 secs || 77389344 markings, 550499581 edges, 23923 markings/sec, 3000 secs
lola: STP completed || 96 tries, 95170667 fired transitions, 3005 secs || 77508127 markings, 551449389 edges, 23757 markings/sec, 3005 secs
lola: STP completed || 96 tries, 95327741 fired transitions, 3010 secs || 77629219 markings, 552406836 edges, 24218 markings/sec, 3010 secs
lola: STP completed || 96 tries, 95484313 fired transitions, 3015 secs || 77751192 markings, 553336979 edges, 24395 markings/sec, 3015 secs
lola: STP completed || 96 tries, 95641816 fired transitions, 3020 secs || 77867799 markings, 554305771 edges, 23321 markings/sec, 3020 secs
lola: STP completed || 96 tries, 95798068 fired transitions, 3025 secs || 77986006 markings, 555256792 edges, 23641 markings/sec, 3025 secs
lola: STP completed || 96 tries, 95954265 fired transitions, 3030 secs || 78114396 markings, 556203873 edges, 25678 markings/sec, 3030 secs
lola: STP completed || 97 tries, 96119585 fired transitions, 3035 secs || 78238981 markings, 557187750 edges, 24917 markings/sec, 3035 secs
lola: STP completed || 97 tries, 96285065 fired transitions, 3040 secs || 78364329 markings, 558171965 edges, 25070 markings/sec, 3040 secs
lola: STP completed || 97 tries, 96441860 fired transitions, 3045 secs || 78489072 markings, 559094733 edges, 24949 markings/sec, 3045 secs
lola: STP completed || 97 tries, 96598210 fired transitions, 3050 secs || 78610818 markings, 560005805 edges, 24349 markings/sec, 3050 secs
lola: STP completed || 97 tries, 96756294 fired transitions, 3055 secs || 78733458 markings, 560948072 edges, 24528 markings/sec, 3055 secs
lola: STP completed || 97 tries, 96909623 fired transitions, 3060 secs || 78854034 markings, 561847073 edges, 24115 markings/sec, 3060 secs
lola: STP completed || 98 tries, 97066856 fired transitions, 3065 secs || 78975382 markings, 562751901 edges, 24270 markings/sec, 3065 secs
lola: STP completed || 98 tries, 97225565 fired transitions, 3070 secs || 79093472 markings, 563664101 edges, 23618 markings/sec, 3070 secs
lola: STP completed || 98 tries, 97385058 fired transitions, 3075 secs || 79211934 markings, 564591628 edges, 23692 markings/sec, 3075 secs
lola: STP completed || 98 tries, 97543075 fired transitions, 3080 secs || 79327120 markings, 565544745 edges, 23037 markings/sec, 3080 secs
lola: STP completed || 98 tries, 97699951 fired transitions, 3085 secs || 79450569 markings, 566503876 edges, 24690 markings/sec, 3085 secs
lola: STP completed || 98 tries, 97857317 fired transitions, 3090 secs || 79569395 markings, 567456397 edges, 23765 markings/sec, 3090 secs
lola: STP completed || 99 tries, 98014081 fired transitions, 3095 secs || 79685451 markings, 568409043 edges, 23211 markings/sec, 3095 secs
lola: STP completed || 99 tries, 98171698 fired transitions, 3100 secs || 79800791 markings, 569355209 edges, 23068 markings/sec, 3100 secs
lola: STP completed || 99 tries, 98329612 fired transitions, 3105 secs || 79916985 markings, 570280485 edges, 23239 markings/sec, 3105 secs
lola: STP completed || 99 tries, 98487471 fired transitions, 3110 secs || 80033127 markings, 571231742 edges, 23228 markings/sec, 3110 secs
lola: STP completed || 99 tries, 98646252 fired transitions, 3115 secs || 80146523 markings, 572163233 edges, 22679 markings/sec, 3115 secs
lola: STP completed || 99 tries, 98805391 fired transitions, 3120 secs || 80260615 markings, 573114491 edges, 22818 markings/sec, 3120 secs
lola: STP completed || 99 tries, 98964101 fired transitions, 3125 secs || 80377388 markings, 574066170 edges, 23355 markings/sec, 3125 secs
lola: STP completed || 100 tries, 99119953 fired transitions, 3130 secs || 80507065 markings, 575021034 edges, 25935 markings/sec, 3130 secs
lola: STP completed || 100 tries, 99276365 fired transitions, 3135 secs || 80634284 markings, 575984329 edges, 25444 markings/sec, 3135 secs
lola: STP completed || 100 tries, 99431507 fired transitions, 3140 secs || 80760052 markings, 576920381 edges, 25154 markings/sec, 3140 secs
lola: STP completed || 100 tries, 99597283 fired transitions, 3145 secs || 80896109 markings, 577934080 edges, 27211 markings/sec, 3145 secs
lola: STP completed || 100 tries, 99756757 fired transitions, 3150 secs || 81022318 markings, 578873199 edges, 25242 markings/sec, 3150 secs
lola: STP completed || 100 tries, 99912723 fired transitions, 3155 secs || 81144619 markings, 579780169 edges, 24460 markings/sec, 3155 secs
lola: STP completed || 101 tries, 100068654 fired transitions, 3160 secs || 81265539 markings, 580709051 edges, 24184 markings/sec, 3160 secs
lola: STP completed || 101 tries, 100220601 fired transitions, 3165 secs || 81355312 markings, 581419725 edges, 17955 markings/sec, 3165 secs
lola: STP completed || 101 tries, 100262230 fired transitions, 3170 secs || 81357008 markings, 581433998 edges, 339 markings/sec, 3170 secs
lola: STP completed || 101 tries, 100373801 fired transitions, 3175 secs || 81378187 markings, 581605408 edges, 4236 markings/sec, 3175 secs
lola: STP completed || 101 tries, 100400430 fired transitions, 3180 secs || 81383525 markings, 581647966 edges, 1068 markings/sec, 3180 secs
lola: STP completed || 101 tries, 100453168 fired transitions, 3185 secs || 81395448 markings, 581745747 edges, 2385 markings/sec, 3185 secs
lola: STP completed || 101 tries, 100491457 fired transitions, 3190 secs || 81398040 markings, 581767441 edges, 518 markings/sec, 3190 secs
lola: STP completed || 101 tries, 100568116 fired transitions, 3195 secs || 81404878 markings, 581821179 edges, 1368 markings/sec, 3195 secs
lola: STP completed || 101 tries, 100654336 fired transitions, 3200 secs || 81414633 markings, 581897246 edges, 1951 markings/sec, 3200 secs
lola: STP completed || 101 tries, 100755242 fired transitions, 3205 secs || 81436352 markings, 582069131 edges, 4344 markings/sec, 3205 secs
BK_STOP 1526953334588
--------------------
content from stderr:
Killed
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="Raft-PT-06"
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/Raft-PT-06.tgz
mv Raft-PT-06 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 Raft-PT-06, 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 r136-qhx2-152673578800139"
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 ;