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 368K
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.9K 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 11K 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 7.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 200K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-04a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735100020
=====================================================================

--------------------
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 DLCround-PT-04a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526587296383

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-04a 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 DLCround-PT-04a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-04a @ 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: 962/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 139
lola: finding significant places
lola: 139 places, 823 transitions, 70 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-04a-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 26 generators (11 in search tree, 15 by composition)
lola: representing 46080 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 12230 variables and 50590 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 52335 fired transitions, 0 secs || 88534 markings, 1395619 edges, 17707 markings/sec, 0 secs
lola: STP completed || 1 tries, 108463 fired transitions, 5 secs || 185122 markings, 2892627 edges, 19318 markings/sec, 5 secs
lola: STP completed || 1 tries, 164757 fired transitions, 10 secs || 285477 markings, 4404823 edges, 20071 markings/sec, 10 secs
lola: STP completed || 1 tries, 220842 fired transitions, 15 secs || 385133 markings, 5919531 edges, 19931 markings/sec, 15 secs
lola: STP completed || 1 tries, 277009 fired transitions, 20 secs || 482048 markings, 7411923 edges, 19383 markings/sec, 20 secs
lola: STP completed || 1 tries, 333204 fired transitions, 25 secs || 579191 markings, 8909028 edges, 19429 markings/sec, 25 secs
lola: STP completed || 1 tries, 389467 fired transitions, 30 secs || 676031 markings, 10391100 edges, 19368 markings/sec, 30 secs
lola: STP completed || 1 tries, 445914 fired transitions, 35 secs || 772995 markings, 11880813 edges, 19393 markings/sec, 35 secs
lola: STP completed || 1 tries, 501877 fired transitions, 40 secs || 872590 markings, 13375021 edges, 19919 markings/sec, 40 secs
lola: STP completed || 1 tries, 557950 fired transitions, 45 secs || 969902 markings, 14860549 edges, 19462 markings/sec, 45 secs
lola: STP completed || 1 tries, 614002 fired transitions, 50 secs || 1069901 markings, 16352425 edges, 20000 markings/sec, 50 secs
lola: STP completed || 1 tries, 670032 fired transitions, 55 secs || 1168822 markings, 17841254 edges, 19784 markings/sec, 55 secs
lola: STP completed || 1 tries, 725805 fired transitions, 60 secs || 1268962 markings, 19333132 edges, 20028 markings/sec, 60 secs
lola: STP completed || 1 tries, 781918 fired transitions, 65 secs || 1363250 markings, 20813805 edges, 18858 markings/sec, 65 secs
lola: STP completed || 1 tries, 838186 fired transitions, 70 secs || 1463252 markings, 22309388 edges, 20000 markings/sec, 70 secs
lola: STP completed || 1 tries, 894203 fired transitions, 75 secs || 1563352 markings, 23796546 edges, 20020 markings/sec, 75 secs
lola: STP completed || 1 tries, 950105 fired transitions, 80 secs || 1660349 markings, 25282124 edges, 19399 markings/sec, 80 secs
lola: STP completed || 2 tries, 1006130 fired transitions, 85 secs || 1762357 markings, 26788100 edges, 20402 markings/sec, 85 secs
lola: STP completed || 2 tries, 1062152 fired transitions, 90 secs || 1860441 markings, 28268666 edges, 19617 markings/sec, 90 secs
lola: STP completed || 2 tries, 1118191 fired transitions, 95 secs || 1960728 markings, 29753279 edges, 20057 markings/sec, 95 secs
lola: STP completed || 2 tries, 1174365 fired transitions, 100 secs || 2057925 markings, 31240548 edges, 19439 markings/sec, 100 secs
lola: STP completed || 2 tries, 1230775 fired transitions, 105 secs || 2154479 markings, 32727020 edges, 19311 markings/sec, 105 secs
lola: STP completed || 2 tries, 1287004 fired transitions, 110 secs || 2251249 markings, 34198923 edges, 19354 markings/sec, 110 secs
lola: STP completed || 2 tries, 1343173 fired transitions, 115 secs || 2352401 markings, 35687216 edges, 20230 markings/sec, 115 secs
lola: STP completed || 2 tries, 1399369 fired transitions, 120 secs || 2452611 markings, 37174754 edges, 20042 markings/sec, 120 secs
lola: STP completed || 2 tries, 1455324 fired transitions, 125 secs || 2555100 markings, 38669126 edges, 20498 markings/sec, 125 secs
lola: STP completed || 2 tries, 1511321 fired transitions, 130 secs || 2656662 markings, 40157436 edges, 20312 markings/sec, 130 secs
lola: STP completed || 2 tries, 1567745 fired transitions, 135 secs || 2754958 markings, 41646335 edges, 19659 markings/sec, 135 secs
lola: STP completed || 2 tries, 1623978 fired transitions, 140 secs || 2855465 markings, 43136862 edges, 20101 markings/sec, 140 secs
lola: STP completed || 2 tries, 1680421 fired transitions, 145 secs || 2956942 markings, 44628416 edges, 20295 markings/sec, 145 secs
lola: STP completed || 2 tries, 1736473 fired transitions, 150 secs || 3053642 markings, 46109702 edges, 19340 markings/sec, 150 secs
lola: STP completed || 2 tries, 1792416 fired transitions, 155 secs || 3153177 markings, 47598018 edges, 19907 markings/sec, 155 secs
lola: STP completed || 2 tries, 1848600 fired transitions, 160 secs || 3251317 markings, 49079417 edges, 19628 markings/sec, 160 secs
lola: STP completed || 2 tries, 1904766 fired transitions, 165 secs || 3347232 markings, 50557010 edges, 19183 markings/sec, 165 secs
lola: STP completed || 2 tries, 1960849 fired transitions, 170 secs || 3443944 markings, 52046487 edges, 19342 markings/sec, 170 secs
lola: STP completed || 3 tries, 2017087 fired transitions, 175 secs || 3544494 markings, 53545890 edges, 20110 markings/sec, 175 secs
lola: STP completed || 3 tries, 2073064 fired transitions, 180 secs || 3644652 markings, 55047622 edges, 20032 markings/sec, 180 secs
lola: STP completed || 3 tries, 2129473 fired transitions, 185 secs || 3738609 markings, 56519223 edges, 18791 markings/sec, 185 secs
lola: STP completed || 3 tries, 2185665 fired transitions, 190 secs || 3839895 markings, 58009562 edges, 20257 markings/sec, 190 secs
lola: STP completed || 3 tries, 2241957 fired transitions, 195 secs || 3940913 markings, 59494067 edges, 20204 markings/sec, 195 secs
lola: STP completed || 3 tries, 2298276 fired transitions, 200 secs || 4041226 markings, 60984630 edges, 20063 markings/sec, 200 secs
lola: STP completed || 3 tries, 2354279 fired transitions, 205 secs || 4142168 markings, 62479475 edges, 20188 markings/sec, 205 secs
lola: STP completed || 3 tries, 2410523 fired transitions, 210 secs || 4242304 markings, 63970457 edges, 20027 markings/sec, 210 secs
lola: STP completed || 3 tries, 2466817 fired transitions, 215 secs || 4342635 markings, 65463860 edges, 20066 markings/sec, 215 secs
lola: STP completed || 3 tries, 2523092 fired transitions, 220 secs || 4440099 markings, 66937508 edges, 19493 markings/sec, 220 secs
lola: STP completed || 3 tries, 2579424 fired transitions, 225 secs || 4539797 markings, 68420873 edges, 19940 markings/sec, 225 secs
lola: STP completed || 3 tries, 2635634 fired transitions, 230 secs || 4640376 markings, 69912992 edges, 20116 markings/sec, 230 secs
lola: STP completed || 3 tries, 2691849 fired transitions, 235 secs || 4737293 markings, 71392811 edges, 19383 markings/sec, 235 secs
lola: STP completed || 3 tries, 2747955 fired transitions, 240 secs || 4837081 markings, 72882664 edges, 19958 markings/sec, 240 secs
lola: STP completed || 3 tries, 2804363 fired transitions, 245 secs || 4934992 markings, 74368253 edges, 19582 markings/sec, 245 secs
lola: STP completed || 3 tries, 2860454 fired transitions, 250 secs || 5033437 markings, 75840622 edges, 19689 markings/sec, 250 secs
lola: STP completed || 3 tries, 2916691 fired transitions, 255 secs || 5133791 markings, 77329795 edges, 20071 markings/sec, 255 secs
lola: STP completed || 3 tries, 2972914 fired transitions, 260 secs || 5233470 markings, 78814549 edges, 19936 markings/sec, 260 secs
lola: STP completed || 4 tries, 3028979 fired transitions, 265 secs || 5334616 markings, 80309484 edges, 20229 markings/sec, 265 secs
lola: STP completed || 4 tries, 3085309 fired transitions, 270 secs || 5436279 markings, 81805305 edges, 20333 markings/sec, 270 secs
lola: STP completed || 4 tries, 3141532 fired transitions, 275 secs || 5537129 markings, 83301005 edges, 20170 markings/sec, 275 secs
lola: STP completed || 4 tries, 3197704 fired transitions, 280 secs || 5633796 markings, 84776365 edges, 19333 markings/sec, 280 secs
lola: STP completed || 4 tries, 3253825 fired transitions, 285 secs || 5735649 markings, 86275820 edges, 20371 markings/sec, 285 secs
lola: STP completed || 4 tries, 3309967 fired transitions, 290 secs || 5835578 markings, 87762402 edges, 19986 markings/sec, 290 secs
lola: STP completed || 4 tries, 3365786 fired transitions, 295 secs || 5933781 markings, 89242822 edges, 19641 markings/sec, 295 secs
lola: STP completed || 4 tries, 3422010 fired transitions, 300 secs || 6033935 markings, 90723893 edges, 20031 markings/sec, 300 secs
lola: STP completed || 4 tries, 3478114 fired transitions, 305 secs || 6133925 markings, 92205150 edges, 19998 markings/sec, 305 secs
lola: STP completed || 4 tries, 3533940 fired transitions, 310 secs || 6234223 markings, 93686947 edges, 20060 markings/sec, 310 secs
lola: STP completed || 4 tries, 3590105 fired transitions, 315 secs || 6333783 markings, 95162377 edges, 19912 markings/sec, 315 secs
lola: STP completed || 4 tries, 3646266 fired transitions, 320 secs || 6436089 markings, 96659487 edges, 20461 markings/sec, 320 secs
lola: STP completed || 4 tries, 3702260 fired transitions, 325 secs || 6537205 markings, 98140452 edges, 20223 markings/sec, 325 secs
lola: STP completed || 4 tries, 3758360 fired transitions, 330 secs || 6637359 markings, 99620219 edges, 20031 markings/sec, 330 secs
lola: STP completed || 4 tries, 3814589 fired transitions, 335 secs || 6734194 markings, 101090201 edges, 19367 markings/sec, 335 secs
lola: STP completed || 4 tries, 3870908 fired transitions, 340 secs || 6829742 markings, 102550022 edges, 19110 markings/sec, 340 secs
lola: STP completed || 4 tries, 3927050 fired transitions, 345 secs || 6930536 markings, 104035873 edges, 20159 markings/sec, 345 secs
lola: STP completed || 4 tries, 3983465 fired transitions, 350 secs || 7032015 markings, 105526990 edges, 20296 markings/sec, 350 secs
lola: STP completed || 5 tries, 4039642 fired transitions, 355 secs || 7134309 markings, 107021682 edges, 20459 markings/sec, 355 secs
lola: STP completed || 5 tries, 4095453 fired transitions, 360 secs || 7234844 markings, 108509745 edges, 20107 markings/sec, 360 secs
lola: STP completed || 5 tries, 4151869 fired transitions, 365 secs || 7335946 markings, 109995700 edges, 20220 markings/sec, 365 secs
lola: STP completed || 5 tries, 4207867 fired transitions, 370 secs || 7433766 markings, 111470221 edges, 19564 markings/sec, 370 secs
lola: STP completed || 5 tries, 4263757 fired transitions, 375 secs || 7529720 markings, 112933967 edges, 19191 markings/sec, 375 secs
lola: STP completed || 5 tries, 4319844 fired transitions, 380 secs || 7631453 markings, 114422496 edges, 20347 markings/sec, 380 secs
lola: STP completed || 5 tries, 4375925 fired transitions, 385 secs || 7732737 markings, 115920074 edges, 20257 markings/sec, 385 secs
lola: STP completed || 5 tries, 4432293 fired transitions, 390 secs || 7834168 markings, 117413851 edges, 20286 markings/sec, 390 secs
lola: STP completed || 5 tries, 4488577 fired transitions, 395 secs || 7933792 markings, 118898913 edges, 19925 markings/sec, 395 secs
lola: STP completed || 5 tries, 4544914 fired transitions, 400 secs || 8034954 markings, 120389004 edges, 20232 markings/sec, 400 secs
lola: STP completed || 5 tries, 4601398 fired transitions, 405 secs || 8137644 markings, 121890303 edges, 20538 markings/sec, 405 secs
lola: STP completed || 5 tries, 4657639 fired transitions, 410 secs || 8235450 markings, 123350610 edges, 19561 markings/sec, 410 secs
lola: STP completed || 5 tries, 4713904 fired transitions, 415 secs || 8334585 markings, 124822037 edges, 19827 markings/sec, 415 secs
lola: STP completed || 5 tries, 4770220 fired transitions, 420 secs || 8434373 markings, 126303517 edges, 19958 markings/sec, 420 secs
lola: STP completed || 5 tries, 4826471 fired transitions, 425 secs || 8534314 markings, 127785923 edges, 19988 markings/sec, 425 secs
lola: STP completed || 5 tries, 4882839 fired transitions, 430 secs || 8634687 markings, 129268956 edges, 20075 markings/sec, 430 secs
lola: STP completed || 5 tries, 4939180 fired transitions, 435 secs || 8737370 markings, 130759352 edges, 20537 markings/sec, 435 secs
lola: STP completed || 5 tries, 4995452 fired transitions, 440 secs || 8836622 markings, 132244603 edges, 19850 markings/sec, 440 secs
lola: STP completed || 6 tries, 5051852 fired transitions, 445 secs || 8937623 markings, 133730443 edges, 20200 markings/sec, 445 secs
lola: STP completed || 6 tries, 5108054 fired transitions, 450 secs || 9039678 markings, 135216428 edges, 20411 markings/sec, 450 secs
lola: STP completed || 6 tries, 5164379 fired transitions, 455 secs || 9138751 markings, 136696369 edges, 19815 markings/sec, 455 secs
lola: STP completed || 6 tries, 5220677 fired transitions, 460 secs || 9239781 markings, 138184917 edges, 20206 markings/sec, 460 secs
lola: STP completed || 6 tries, 5276909 fired transitions, 465 secs || 9341505 markings, 139671049 edges, 20345 markings/sec, 465 secs
lola: STP completed || 6 tries, 5333243 fired transitions, 470 secs || 9440950 markings, 141151153 edges, 19889 markings/sec, 470 secs
lola: STP completed || 6 tries, 5389659 fired transitions, 475 secs || 9542790 markings, 142640411 edges, 20368 markings/sec, 475 secs
lola: STP completed || 6 tries, 5446048 fired transitions, 480 secs || 9643436 markings, 144124127 edges, 20129 markings/sec, 480 secs
lola: STP completed || 6 tries, 5502660 fired transitions, 485 secs || 9745667 markings, 145615023 edges, 20446 markings/sec, 485 secs
lola: STP completed || 6 tries, 5558844 fired transitions, 490 secs || 9845704 markings, 147097021 edges, 20007 markings/sec, 490 secs
lola: STP completed || 6 tries, 5614992 fired transitions, 495 secs || 9949193 markings, 148591404 edges, 20698 markings/sec, 495 secs
lola: STP completed || 6 tries, 5671297 fired transitions, 500 secs || 10050278 markings, 150082563 edges, 20217 markings/sec, 500 secs
lola: STP completed || 6 tries, 5727688 fired transitions, 505 secs || 10151458 markings, 151565698 edges, 20236 markings/sec, 505 secs
lola: STP completed || 6 tries, 5784039 fired transitions, 510 secs || 10254590 markings, 153066627 edges, 20626 markings/sec, 510 secs
lola: STP completed || 6 tries, 5840381 fired transitions, 515 secs || 10356054 markings, 154556382 edges, 20293 markings/sec, 515 secs
lola: STP completed || 6 tries, 5896570 fired transitions, 520 secs || 10451902 markings, 156020895 edges, 19170 markings/sec, 520 secs
lola: STP completed || 6 tries, 5952696 fired transitions, 525 secs || 10555300 markings, 157530670 edges, 20680 markings/sec, 525 secs
lola: STP completed || 7 tries, 6008766 fired transitions, 530 secs || 10658151 markings, 159030063 edges, 20570 markings/sec, 530 secs
lola: STP completed || 7 tries, 6064978 fired transitions, 535 secs || 10761307 markings, 160532782 edges, 20631 markings/sec, 535 secs
lola: STP completed || 7 tries, 6121006 fired transitions, 540 secs || 10864037 markings, 162037511 edges, 20546 markings/sec, 540 secs
lola: STP completed || 7 tries, 6177095 fired transitions, 545 secs || 10962829 markings, 163516816 edges, 19758 markings/sec, 545 secs
lola: STP completed || 7 tries, 6233280 fired transitions, 550 secs || 11062779 markings, 165007697 edges, 19990 markings/sec, 550 secs
lola: STP completed || 7 tries, 6289520 fired transitions, 555 secs || 11163537 markings, 166495814 edges, 20152 markings/sec, 555 secs
lola: STP completed || 7 tries, 6345927 fired transitions, 560 secs || 11266603 markings, 167991902 edges, 20613 markings/sec, 560 secs
lola: STP completed || 7 tries, 6402025 fired transitions, 565 secs || 11366251 markings, 169473086 edges, 19930 markings/sec, 565 secs
lola: STP completed || 7 tries, 6458176 fired transitions, 570 secs || 11464212 markings, 170948840 edges, 19592 markings/sec, 570 secs
lola: STP completed || 7 tries, 6514480 fired transitions, 575 secs || 11563242 markings, 172421886 edges, 19806 markings/sec, 575 secs
lola: STP completed || 7 tries, 6570743 fired transitions, 580 secs || 11661087 markings, 173897149 edges, 19569 markings/sec, 580 secs
lola: STP completed || 7 tries, 6626908 fired transitions, 585 secs || 11764369 markings, 175394220 edges, 20656 markings/sec, 585 secs
lola: STP completed || 7 tries, 6683260 fired transitions, 590 secs || 11869869 markings, 176912468 edges, 21100 markings/sec, 590 secs
lola: STP completed || 7 tries, 6739586 fired transitions, 595 secs || 11971775 markings, 178409150 edges, 20381 markings/sec, 595 secs
lola: STP completed || 7 tries, 6795956 fired transitions, 600 secs || 12073565 markings, 179912503 edges, 20358 markings/sec, 600 secs
lola: STP completed || 7 tries, 6852395 fired transitions, 605 secs || 12174680 markings, 181407667 edges, 20223 markings/sec, 605 secs
lola: STP completed || 7 tries, 6908902 fired transitions, 610 secs || 12276170 markings, 182890832 edges, 20298 markings/sec, 610 secs
lola: STP completed || 7 tries, 6965372 fired transitions, 615 secs || 12378061 markings, 184385515 edges, 20378 markings/sec, 615 secs
lola: STP completed || 8 tries, 7021581 fired transitions, 620 secs || 12480906 markings, 185877286 edges, 20569 markings/sec, 620 secs
lola: STP completed || 8 tries, 7078026 fired transitions, 625 secs || 12581857 markings, 187368079 edges, 20190 markings/sec, 625 secs
lola: STP completed || 8 tries, 7134161 fired transitions, 630 secs || 12682671 markings, 188856148 edges, 20163 markings/sec, 630 secs
lola: STP completed || 8 tries, 7190051 fired transitions, 635 secs || 12782444 markings, 190326663 edges, 19955 markings/sec, 635 secs
lola: STP completed || 8 tries, 7246354 fired transitions, 640 secs || 12883977 markings, 191819058 edges, 20307 markings/sec, 640 secs
lola: STP completed || 8 tries, 7302911 fired transitions, 645 secs || 12987659 markings, 193313246 edges, 20736 markings/sec, 645 secs
lola: STP completed || 8 tries, 7359129 fired transitions, 650 secs || 13088193 markings, 194791348 edges, 20107 markings/sec, 650 secs
lola: STP completed || 8 tries, 7415400 fired transitions, 655 secs || 13188345 markings, 196274901 edges, 20030 markings/sec, 655 secs
lola: STP completed || 8 tries, 7471891 fired transitions, 660 secs || 13291875 markings, 197768727 edges, 20706 markings/sec, 660 secs
lola: STP completed || 8 tries, 7528182 fired transitions, 665 secs || 13392308 markings, 199246269 edges, 20087 markings/sec, 665 secs
lola: STP completed || 8 tries, 7584439 fired transitions, 670 secs || 13494961 markings, 200745280 edges, 20531 markings/sec, 670 secs
lola: STP completed || 8 tries, 7640824 fired transitions, 675 secs || 13596158 markings, 202224794 edges, 20239 markings/sec, 675 secs
lola: STP completed || 8 tries, 7697077 fired transitions, 680 secs || 13700522 markings, 203729466 edges, 20873 markings/sec, 680 secs
lola: STP completed || 8 tries, 7753626 fired transitions, 685 secs || 13799913 markings, 205203680 edges, 19878 markings/sec, 685 secs
lola: STP completed || 8 tries, 7809807 fired transitions, 690 secs || 13901744 markings, 206690658 edges, 20366 markings/sec, 690 secs
lola: STP completed || 8 tries, 7866009 fired transitions, 695 secs || 14001139 markings, 208167705 edges, 19879 markings/sec, 695 secs
lola: STP completed || 8 tries, 7922232 fired transitions, 700 secs || 14102890 markings, 209650755 edges, 20350 markings/sec, 700 secs
lola: STP completed || 8 tries, 7978574 fired transitions, 705 secs || 14207490 markings, 211150626 edges, 20920 markings/sec, 705 secs
lola: STP completed || 9 tries, 8034894 fired transitions, 710 secs || 14308418 markings, 212628371 edges, 20186 markings/sec, 710 secs
lola: STP completed || 9 tries, 8091447 fired transitions, 715 secs || 14412202 markings, 214125050 edges, 20757 markings/sec, 715 secs
lola: STP completed || 9 tries, 8147909 fired transitions, 720 secs || 14513980 markings, 215621529 edges, 20356 markings/sec, 720 secs
lola: STP completed || 9 tries, 8204361 fired transitions, 725 secs || 14614654 markings, 217102302 edges, 20135 markings/sec, 725 secs
lola: STP completed || 9 tries, 8260740 fired transitions, 730 secs || 14717193 markings, 218589136 edges, 20508 markings/sec, 730 secs
lola: STP completed || 9 tries, 8317330 fired transitions, 735 secs || 14817014 markings, 220065519 edges, 19964 markings/sec, 735 secs
lola: STP completed || 9 tries, 8373630 fired transitions, 740 secs || 14920154 markings, 221545781 edges, 20628 markings/sec, 740 secs
lola: STP completed || 9 tries, 8430093 fired transitions, 745 secs || 15020954 markings, 223023200 edges, 20160 markings/sec, 745 secs
lola: STP completed || 9 tries, 8486605 fired transitions, 750 secs || 15121151 markings, 224506008 edges, 20039 markings/sec, 750 secs
lola: STP completed || 9 tries, 8542782 fired transitions, 755 secs || 15223527 markings, 225991942 edges, 20475 markings/sec, 755 secs
lola: STP completed || 9 tries, 8599092 fired transitions, 760 secs || 15324541 markings, 227466516 edges, 20203 markings/sec, 760 secs
lola: STP completed || 9 tries, 8649037 fired transitions, 765 secs || 15428575 markings, 228968857 edges, 20807 markings/sec, 765 secs
lola: STP completed || 9 tries, 8703992 fired transitions, 770 secs || 15530090 markings, 230450473 edges, 20303 markings/sec, 770 secs
lola: STP completed || 9 tries, 8760346 fired transitions, 775 secs || 15631480 markings, 231934295 edges, 20278 markings/sec, 775 secs
lola: STP completed || 9 tries, 8816569 fired transitions, 780 secs || 15733245 markings, 233411514 edges, 20353 markings/sec, 780 secs
lola: STP completed || 9 tries, 8872810 fired transitions, 785 secs || 15836158 markings, 234898596 edges, 20583 markings/sec, 785 secs
lola: STP completed || 9 tries, 8929242 fired transitions, 790 secs || 15940239 markings, 236380700 edges, 20816 markings/sec, 790 secs
lola: STP completed || 9 tries, 8985424 fired transitions, 795 secs || 16043885 markings, 237868158 edges, 20729 markings/sec, 795 secs
lola: STP completed || 10 tries, 9041654 fired transitions, 800 secs || 16147363 markings, 239353809 edges, 20696 markings/sec, 800 secs
lola: STP completed || 10 tries, 9098270 fired transitions, 805 secs || 16248400 markings, 240834370 edges, 20207 markings/sec, 805 secs
lola: STP completed || 10 tries, 9154684 fired transitions, 810 secs || 16350189 markings, 242316078 edges, 20358 markings/sec, 810 secs
lola: STP completed || 10 tries, 9211011 fired transitions, 815 secs || 16453800 markings, 243803829 edges, 20722 markings/sec, 815 secs
lola: STP completed || 10 tries, 9267431 fired transitions, 820 secs || 16556471 markings, 245288050 edges, 20534 markings/sec, 820 secs
lola: STP completed || 10 tries, 9323781 fired transitions, 825 secs || 16659801 markings, 246774577 edges, 20666 markings/sec, 825 secs
lola: STP completed || 10 tries, 9379411 fired transitions, 830 secs || 16760617 markings, 248244397 edges, 20163 markings/sec, 830 secs
lola: STP completed || 10 tries, 9435822 fired transitions, 835 secs || 16865517 markings, 249739604 edges, 20980 markings/sec, 835 secs
lola: STP completed || 10 tries, 9492327 fired transitions, 840 secs || 16969955 markings, 251235528 edges, 20888 markings/sec, 840 secs
lola: STP completed || 10 tries, 9548812 fired transitions, 845 secs || 17073552 markings, 252723087 edges, 20719 markings/sec, 845 secs
lola: STP completed || 10 tries, 9605102 fired transitions, 850 secs || 17178842 markings, 254209076 edges, 21058 markings/sec, 850 secs
lola: STP completed || 10 tries, 9661292 fired transitions, 855 secs || 17276160 markings, 255672399 edges, 19464 markings/sec, 855 secs
lola: STP completed || 10 tries, 9717710 fired transitions, 860 secs || 17376365 markings, 257142591 edges, 20041 markings/sec, 860 secs
lola: STP completed || 10 tries, 9773999 fired transitions, 865 secs || 17479561 markings, 258626329 edges, 20639 markings/sec, 865 secs
lola: STP completed || 10 tries, 9830283 fired transitions, 870 secs || 17582843 markings, 260115825 edges, 20656 markings/sec, 870 secs
lola: STP completed || 10 tries, 9886703 fired transitions, 875 secs || 17689645 markings, 261612952 edges, 21360 markings/sec, 875 secs
lola: STP completed || 10 tries, 9942912 fired transitions, 880 secs || 17792609 markings, 263091319 edges, 20593 markings/sec, 880 secs
lola: STP completed || 10 tries, 9999371 fired transitions, 885 secs || 17894433 markings, 264574577 edges, 20365 markings/sec, 885 secs
lola: STP completed || 11 tries, 10055713 fired transitions, 890 secs || 17998640 markings, 266064331 edges, 20841 markings/sec, 890 secs
lola: STP completed || 11 tries, 10112114 fired transitions, 895 secs || 18098225 markings, 267534546 edges, 19917 markings/sec, 895 secs
lola: STP completed || 11 tries, 10168417 fired transitions, 900 secs || 18204510 markings, 269034485 edges, 21257 markings/sec, 900 secs
lola: STP completed || 11 tries, 10224925 fired transitions, 905 secs || 18309606 markings, 270521438 edges, 21019 markings/sec, 905 secs
lola: STP completed || 11 tries, 10281239 fired transitions, 910 secs || 18413629 markings, 272002569 edges, 20805 markings/sec, 910 secs
lola: STP completed || 11 tries, 10337850 fired transitions, 915 secs || 18516900 markings, 273493646 edges, 20654 markings/sec, 915 secs
lola: STP completed || 11 tries, 10394298 fired transitions, 920 secs || 18623248 markings, 274984877 edges, 21270 markings/sec, 920 secs
lola: STP completed || 11 tries, 10450727 fired transitions, 925 secs || 18726722 markings, 276473783 edges, 20695 markings/sec, 925 secs
lola: STP completed || 11 tries, 10506611 fired transitions, 930 secs || 18829866 markings, 277959994 edges, 20629 markings/sec, 930 secs
lola: STP completed || 11 tries, 10562842 fired transitions, 935 secs || 18934311 markings, 279444960 edges, 20889 markings/sec, 935 secs
lola: STP completed || 11 tries, 10619105 fired transitions, 940 secs || 19038627 markings, 280929937 edges, 20863 markings/sec, 940 secs
lola: STP completed || 11 tries, 10675492 fired transitions, 945 secs || 19139866 markings, 282402953 edges, 20248 markings/sec, 945 secs
lola: STP completed || 11 tries, 10731998 fired transitions, 950 secs || 19244042 markings, 283898028 edges, 20835 markings/sec, 950 secs
lola: STP completed || 11 tries, 10788621 fired transitions, 955 secs || 19347247 markings, 285381937 edges, 20641 markings/sec, 955 secs
lola: STP completed || 11 tries, 10845241 fired transitions, 960 secs || 19450913 markings, 286866265 edges, 20733 markings/sec, 960 secs
lola: STP completed || 11 tries, 10901534 fired transitions, 965 secs || 19550369 markings, 288330497 edges, 19891 markings/sec, 965 secs
lola: STP completed || 11 tries, 10957760 fired transitions, 970 secs || 19654879 markings, 289823538 edges, 20902 markings/sec, 970 secs
lola: STP completed || 12 tries, 11014215 fired transitions, 975 secs || 19758953 markings, 291320309 edges, 20815 markings/sec, 975 secs
lola: STP completed || 12 tries, 11070455 fired transitions, 980 secs || 19861600 markings, 292807648 edges, 20529 markings/sec, 980 secs
lola: STP completed || 12 tries, 11126517 fired transitions, 985 secs || 19965955 markings, 294294585 edges, 20871 markings/sec, 985 secs
lola: STP completed || 12 tries, 11182986 fired transitions, 990 secs || 20062772 markings, 295749521 edges, 19363 markings/sec, 990 secs
lola: STP completed || 12 tries, 11239400 fired transitions, 995 secs || 20165458 markings, 297239191 edges, 20537 markings/sec, 995 secs
lola: STP completed || 12 tries, 11295903 fired transitions, 1000 secs || 20270121 markings, 298728873 edges, 20933 markings/sec, 1000 secs
lola: STP completed || 12 tries, 11352068 fired transitions, 1005 secs || 20368755 markings, 300195326 edges, 19727 markings/sec, 1005 secs
lola: STP completed || 12 tries, 11408211 fired transitions, 1010 secs || 20472997 markings, 301677785 edges, 20848 markings/sec, 1010 secs
lola: STP completed || 12 tries, 11464518 fired transitions, 1015 secs || 20576943 markings, 303166523 edges, 20789 markings/sec, 1015 secs
lola: STP completed || 12 tries, 11520575 fired transitions, 1020 secs || 20680360 markings, 304650477 edges, 20683 markings/sec, 1020 secs
lola: STP completed || 12 tries, 11576951 fired transitions, 1025 secs || 20787331 markings, 306148345 edges, 21394 markings/sec, 1025 secs
lola: STP completed || 12 tries, 11633106 fired transitions, 1030 secs || 20888079 markings, 307632217 edges, 20150 markings/sec, 1030 secs
lola: STP completed || 12 tries, 11689372 fired transitions, 1035 secs || 20990892 markings, 309121038 edges, 20563 markings/sec, 1035 secs
lola: STP completed || 12 tries, 11745503 fired transitions, 1040 secs || 21096124 markings, 310614313 edges, 21046 markings/sec, 1040 secs
lola: STP completed || 12 tries, 11801526 fired transitions, 1045 secs || 21201642 markings, 312108619 edges, 21104 markings/sec, 1045 secs
lola: STP completed || 12 tries, 11857741 fired transitions, 1050 secs || 21308042 markings, 313606724 edges, 21280 markings/sec, 1050 secs
lola: STP completed || 12 tries, 11913982 fired transitions, 1055 secs || 21410729 markings, 315092457 edges, 20537 markings/sec, 1055 secs
lola: STP completed || 12 tries, 11970237 fired transitions, 1060 secs || 21515744 markings, 316585881 edges, 21003 markings/sec, 1060 secs
lola: STP completed || 13 tries, 12026408 fired transitions, 1065 secs || 21617856 markings, 318068443 edges, 20422 markings/sec, 1065 secs
lola: STP completed || 13 tries, 12082473 fired transitions, 1070 secs || 21719850 markings, 319548805 edges, 20399 markings/sec, 1070 secs
lola: STP completed || 13 tries, 12138718 fired transitions, 1075 secs || 21825736 markings, 321048162 edges, 21177 markings/sec, 1075 secs
lola: STP completed || 13 tries, 12195086 fired transitions, 1080 secs || 21929533 markings, 322539676 edges, 20759 markings/sec, 1080 secs
lola: STP completed || 13 tries, 12251014 fired transitions, 1085 secs || 22037080 markings, 324043005 edges, 21509 markings/sec, 1085 secs
lola: STP completed || 13 tries, 12306927 fired transitions, 1090 secs || 22140896 markings, 325524377 edges, 20763 markings/sec, 1090 secs
lola: STP completed || 13 tries, 12363195 fired transitions, 1095 secs || 22246075 markings, 327012938 edges, 21036 markings/sec, 1095 secs
lola: STP completed || 13 tries, 12419562 fired transitions, 1100 secs || 22350166 markings, 328505843 edges, 20818 markings/sec, 1100 secs
lola: STP completed || 13 tries, 12475905 fired transitions, 1105 secs || 22453740 markings, 329992385 edges, 20715 markings/sec, 1105 secs
lola: STP completed || 13 tries, 12532018 fired transitions, 1110 secs || 22558967 markings, 331484105 edges, 21045 markings/sec, 1110 secs
lola: STP completed || 13 tries, 12588439 fired transitions, 1115 secs || 22661346 markings, 332955452 edges, 20476 markings/sec, 1115 secs
lola: STP completed || 13 tries, 12644743 fired transitions, 1120 secs || 22765745 markings, 334447862 edges, 20880 markings/sec, 1120 secs
lola: STP completed || 13 tries, 12701002 fired transitions, 1125 secs || 22869175 markings, 335937510 edges, 20686 markings/sec, 1125 secs
lola: STP completed || 13 tries, 12757319 fired transitions, 1130 secs || 22973352 markings, 337425985 edges, 20835 markings/sec, 1130 secs
lola: STP completed || 13 tries, 12813330 fired transitions, 1135 secs || 23081693 markings, 338932601 edges, 21668 markings/sec, 1135 secs
lola: STP completed || 13 tries, 12869447 fired transitions, 1140 secs || 23184252 markings, 340416307 edges, 20512 markings/sec, 1140 secs
lola: STP completed || 13 tries, 12925522 fired transitions, 1145 secs || 23285228 markings, 341890578 edges, 20195 markings/sec, 1145 secs
lola: STP completed || 13 tries, 12981472 fired transitions, 1150 secs || 23388776 markings, 343373020 edges, 20710 markings/sec, 1150 secs
lola: STP completed || 14 tries, 13037485 fired transitions, 1155 secs || 23493022 markings, 344861377 edges, 20849 markings/sec, 1155 secs
lola: STP completed || 14 tries, 13093603 fired transitions, 1160 secs || 23594823 markings, 346333367 edges, 20360 markings/sec, 1160 secs
lola: STP completed || 14 tries, 13149924 fired transitions, 1165 secs || 23701440 markings, 347828444 edges, 21323 markings/sec, 1165 secs
lola: STP completed || 14 tries, 13206374 fired transitions, 1170 secs || 23807727 markings, 349325610 edges, 21257 markings/sec, 1170 secs
lola: STP completed || 14 tries, 13262410 fired transitions, 1175 secs || 23913258 markings, 350821931 edges, 21106 markings/sec, 1175 secs
lola: STP completed || 14 tries, 13318570 fired transitions, 1180 secs || 24017126 markings, 352304693 edges, 20774 markings/sec, 1180 secs
lola: STP completed || 14 tries, 13374915 fired transitions, 1185 secs || 24121634 markings, 353793979 edges, 20902 markings/sec, 1185 secs
lola: STP completed || 14 tries, 13431200 fired transitions, 1190 secs || 24227781 markings, 355285428 edges, 21229 markings/sec, 1190 secs
lola: STP completed || 14 tries, 13487537 fired transitions, 1195 secs || 24328613 markings, 356755302 edges, 20166 markings/sec, 1195 secs
lola: STP completed || 14 tries, 13543738 fired transitions, 1200 secs || 24432423 markings, 358239233 edges, 20762 markings/sec, 1200 secs
lola: STP completed || 14 tries, 13599979 fired transitions, 1205 secs || 24536458 markings, 359724745 edges, 20807 markings/sec, 1205 secs
lola: STP completed || 14 tries, 13656199 fired transitions, 1210 secs || 24639863 markings, 361206820 edges, 20681 markings/sec, 1210 secs
lola: STP completed || 14 tries, 13712654 fired transitions, 1215 secs || 24743124 markings, 362680829 edges, 20652 markings/sec, 1215 secs
lola: STP completed || 14 tries, 13768599 fired transitions, 1220 secs || 24847817 markings, 364175561 edges, 20939 markings/sec, 1220 secs
lola: STP completed || 14 tries, 13824690 fired transitions, 1225 secs || 24954691 markings, 365682200 edges, 21375 markings/sec, 1225 secs
lola: STP completed || 14 tries, 13880720 fired transitions, 1230 secs || 25059520 markings, 367177410 edges, 20966 markings/sec, 1230 secs
lola: STP completed || 14 tries, 13937025 fired transitions, 1235 secs || 25161616 markings, 368667676 edges, 20419 markings/sec, 1235 secs
lola: STP completed || 14 tries, 13993326 fired transitions, 1240 secs || 25265837 markings, 370155428 edges, 20844 markings/sec, 1240 secs
lola: STP completed || 15 tries, 14049529 fired transitions, 1245 secs || 25368554 markings, 371640726 edges, 20543 markings/sec, 1245 secs
lola: STP completed || 15 tries, 14105904 fired transitions, 1250 secs || 25474807 markings, 373137833 edges, 21251 markings/sec, 1250 secs
lola: STP completed || 15 tries, 14162291 fired transitions, 1255 secs || 25578928 markings, 374625778 edges, 20824 markings/sec, 1255 secs
lola: STP completed || 15 tries, 14218312 fired transitions, 1260 secs || 25684090 markings, 376115412 edges, 21032 markings/sec, 1260 secs
lola: STP completed || 15 tries, 14274429 fired transitions, 1265 secs || 25790499 markings, 377608993 edges, 21282 markings/sec, 1265 secs
lola: STP completed || 15 tries, 14330296 fired transitions, 1270 secs || 25894785 markings, 379094077 edges, 20857 markings/sec, 1270 secs
lola: STP completed || 15 tries, 14386609 fired transitions, 1275 secs || 26002815 markings, 380599359 edges, 21606 markings/sec, 1275 secs
lola: STP completed || 15 tries, 14442938 fired transitions, 1280 secs || 26108887 markings, 382100320 edges, 21214 markings/sec, 1280 secs
lola: STP completed || 15 tries, 14499075 fired transitions, 1285 secs || 26212318 markings, 383583019 edges, 20686 markings/sec, 1285 secs
lola: STP completed || 15 tries, 14555232 fired transitions, 1290 secs || 26314915 markings, 385061287 edges, 20519 markings/sec, 1290 secs
lola: STP completed || 15 tries, 14611331 fired transitions, 1295 secs || 26420248 markings, 386546096 edges, 21067 markings/sec, 1295 secs
lola: STP completed || 15 tries, 14667551 fired transitions, 1300 secs || 26524223 markings, 388025222 edges, 20795 markings/sec, 1300 secs
lola: STP completed || 15 tries, 14723787 fired transitions, 1305 secs || 26629287 markings, 389514941 edges, 21013 markings/sec, 1305 secs
lola: STP completed || 15 tries, 14780018 fired transitions, 1310 secs || 26735750 markings, 391009863 edges, 21293 markings/sec, 1310 secs
lola: STP completed || 15 tries, 14836509 fired transitions, 1315 secs || 26839753 markings, 392495792 edges, 20801 markings/sec, 1315 secs
lola: STP completed || 15 tries, 14892296 fired transitions, 1320 secs || 26946840 markings, 393998586 edges, 21417 markings/sec, 1320 secs
lola: STP completed || 15 tries, 14948517 fired transitions, 1325 secs || 27050260 markings, 395484445 edges, 20684 markings/sec, 1325 secs
lola: STP completed || 16 tries, 15004849 fired transitions, 1330 secs || 27157100 markings, 396980894 edges, 21368 markings/sec, 1330 secs
lola: STP completed || 16 tries, 15061046 fired transitions, 1335 secs || 27259499 markings, 398464173 edges, 20480 markings/sec, 1335 secs
lola: STP completed || 16 tries, 15117169 fired transitions, 1340 secs || 27362873 markings, 399943470 edges, 20675 markings/sec, 1340 secs
lola: STP completed || 16 tries, 15173261 fired transitions, 1345 secs || 27468752 markings, 401439661 edges, 21176 markings/sec, 1345 secs
lola: STP completed || 16 tries, 15229354 fired transitions, 1350 secs || 27574341 markings, 402923585 edges, 21118 markings/sec, 1350 secs
lola: STP completed || 16 tries, 15285175 fired transitions, 1355 secs || 27682329 markings, 404431296 edges, 21598 markings/sec, 1355 secs
lola: STP completed || 16 tries, 15341561 fired transitions, 1360 secs || 27786363 markings, 405920389 edges, 20807 markings/sec, 1360 secs
lola: STP completed || 16 tries, 15397906 fired transitions, 1365 secs || 27892538 markings, 407414986 edges, 21235 markings/sec, 1365 secs
lola: STP completed || 16 tries, 15454303 fired transitions, 1370 secs || 27998162 markings, 408900208 edges, 21125 markings/sec, 1370 secs
lola: STP completed || 16 tries, 15510475 fired transitions, 1375 secs || 28103370 markings, 410389349 edges, 21042 markings/sec, 1375 secs
lola: STP completed || 16 tries, 15566657 fired transitions, 1380 secs || 28206537 markings, 411866636 edges, 20633 markings/sec, 1380 secs
lola: STP completed || 16 tries, 15622763 fired transitions, 1385 secs || 28313096 markings, 413352183 edges, 21312 markings/sec, 1385 secs
lola: STP completed || 16 tries, 15679250 fired transitions, 1390 secs || 28417205 markings, 414834136 edges, 20822 markings/sec, 1390 secs
lola: STP completed || 16 tries, 15735245 fired transitions, 1395 secs || 28521324 markings, 416320462 edges, 20824 markings/sec, 1395 secs
lola: STP completed || 16 tries, 15791369 fired transitions, 1400 secs || 28628138 markings, 417813922 edges, 21363 markings/sec, 1400 secs
lola: STP completed || 16 tries, 15847680 fired transitions, 1405 secs || 28734395 markings, 419306975 edges, 21251 markings/sec, 1405 secs
lola: STP completed || 16 tries, 15903619 fired transitions, 1410 secs || 28839946 markings, 420799693 edges, 21110 markings/sec, 1410 secs
lola: STP completed || 16 tries, 15959763 fired transitions, 1415 secs || 28944552 markings, 422280967 edges, 20921 markings/sec, 1415 secs
lola: STP completed || 17 tries, 16016162 fired transitions, 1420 secs || 29049711 markings, 423771458 edges, 21032 markings/sec, 1420 secs
lola: STP completed || 17 tries, 16072444 fired transitions, 1425 secs || 29155706 markings, 425268940 edges, 21199 markings/sec, 1425 secs
lola: STP completed || 17 tries, 16128717 fired transitions, 1430 secs || 29262035 markings, 426765730 edges, 21266 markings/sec, 1430 secs
lola: STP completed || 17 tries, 16184847 fired transitions, 1435 secs || 29368288 markings, 428257535 edges, 21251 markings/sec, 1435 secs
lola: STP completed || 17 tries, 16240932 fired transitions, 1440 secs || 29475607 markings, 429758919 edges, 21464 markings/sec, 1440 secs
lola: STP completed || 17 tries, 16297006 fired transitions, 1445 secs || 29580670 markings, 431252846 edges, 21013 markings/sec, 1445 secs
lola: STP completed || 17 tries, 16353189 fired transitions, 1450 secs || 29685933 markings, 432740527 edges, 21053 markings/sec, 1450 secs
lola: STP completed || 17 tries, 16409431 fired transitions, 1455 secs || 29794366 markings, 434246777 edges, 21687 markings/sec, 1455 secs
lola: STP completed || 17 tries, 16465634 fired transitions, 1460 secs || 29898803 markings, 435734650 edges, 20887 markings/sec, 1460 secs
lola: STP completed || 17 tries, 16521683 fired transitions, 1465 secs || 30007453 markings, 437240097 edges, 21730 markings/sec, 1465 secs
lola: STP completed || 17 tries, 16578206 fired transitions, 1470 secs || 30112580 markings, 438726721 edges, 21025 markings/sec, 1470 secs
lola: STP completed || 17 tries, 16634308 fired transitions, 1475 secs || 30219335 markings, 440216367 edges, 21351 markings/sec, 1475 secs
lola: STP completed || 17 tries, 16690533 fired transitions, 1480 secs || 30327722 markings, 441718192 edges, 21677 markings/sec, 1480 secs
lola: STP completed || 17 tries, 16746572 fired transitions, 1485 secs || 30434230 markings, 443212311 edges, 21302 markings/sec, 1485 secs
lola: STP completed || 17 tries, 16802947 fired transitions, 1490 secs || 30541173 markings, 444707099 edges, 21389 markings/sec, 1490 secs
lola: STP completed || 17 tries, 16859274 fired transitions, 1495 secs || 30646802 markings, 446196667 edges, 21126 markings/sec, 1495 secs
lola: STP completed || 17 tries, 16915759 fired transitions, 1500 secs || 30754543 markings, 447696511 edges, 21548 markings/sec, 1500 secs
lola: STP completed || 17 tries, 16972428 fired transitions, 1505 secs || 30861233 markings, 449200013 edges, 21338 markings/sec, 1505 secs
lola: STP completed || 18 tries, 17028510 fired transitions, 1510 secs || 30965216 markings, 450686427 edges, 20797 markings/sec, 1510 secs
lola: STP completed || 18 tries, 17084744 fired transitions, 1515 secs || 31070469 markings, 452168727 edges, 21051 markings/sec, 1515 secs
lola: STP completed || 18 tries, 17140913 fired transitions, 1520 secs || 31177128 markings, 453670756 edges, 21332 markings/sec, 1520 secs
lola: STP completed || 18 tries, 17197331 fired transitions, 1525 secs || 31283750 markings, 455167531 edges, 21324 markings/sec, 1525 secs
lola: STP completed || 18 tries, 17253397 fired transitions, 1530 secs || 31389850 markings, 456661522 edges, 21220 markings/sec, 1530 secs
lola: STP completed || 18 tries, 17309443 fired transitions, 1535 secs || 31498427 markings, 458162909 edges, 21715 markings/sec, 1535 secs
lola: STP completed || 18 tries, 17365262 fired transitions, 1540 secs || 31606209 markings, 459670901 edges, 21556 markings/sec, 1540 secs
lola: STP completed || 18 tries, 17421226 fired transitions, 1545 secs || 31711051 markings, 461158005 edges, 20968 markings/sec, 1545 secs
lola: STP completed || 18 tries, 17477404 fired transitions, 1550 secs || 31816261 markings, 462638554 edges, 21042 markings/sec, 1550 secs
lola: STP completed || 18 tries, 17533810 fired transitions, 1555 secs || 31921942 markings, 464130229 edges, 21136 markings/sec, 1555 secs
lola: STP completed || 18 tries, 17589994 fired transitions, 1560 secs || 32028778 markings, 465626433 edges, 21367 markings/sec, 1560 secs
lola: STP completed || 18 tries, 17646365 fired transitions, 1565 secs || 32135556 markings, 467131078 edges, 21356 markings/sec, 1565 secs
lola: STP completed || 18 tries, 17702603 fired transitions, 1570 secs || 32243276 markings, 468629432 edges, 21544 markings/sec, 1570 secs
lola: STP completed || 18 tries, 17758555 fired transitions, 1575 secs || 32346061 markings, 470119225 edges, 20557 markings/sec, 1575 secs
lola: STP completed || 18 tries, 17814523 fired transitions, 1580 secs || 32451155 markings, 471609432 edges, 21019 markings/sec, 1580 secs
lola: STP completed || 18 tries, 17870716 fired transitions, 1585 secs || 32559030 markings, 473111167 edges, 21575 markings/sec, 1585 secs
lola: STP completed || 18 tries, 17926976 fired transitions, 1590 secs || 32665236 markings, 474600366 edges, 21241 markings/sec, 1590 secs
lola: STP completed || 18 tries, 17983303 fired transitions, 1595 secs || 32772730 markings, 476104186 edges, 21499 markings/sec, 1595 secs
lola: STP completed || 19 tries, 18039476 fired transitions, 1600 secs || 32877888 markings, 477594161 edges, 21032 markings/sec, 1600 secs
lola: STP completed || 19 tries, 18095559 fired transitions, 1605 secs || 32981711 markings, 479077456 edges, 20765 markings/sec, 1605 secs
lola: STP completed || 19 tries, 18151870 fired transitions, 1610 secs || 33088349 markings, 480573702 edges, 21328 markings/sec, 1610 secs
lola: STP completed || 19 tries, 18207914 fired transitions, 1615 secs || 33194967 markings, 482068358 edges, 21324 markings/sec, 1615 secs
lola: STP completed || 19 tries, 18264494 fired transitions, 1620 secs || 33302765 markings, 483574900 edges, 21560 markings/sec, 1620 secs
lola: STP completed || 19 tries, 18320816 fired transitions, 1625 secs || 33411067 markings, 485077928 edges, 21660 markings/sec, 1625 secs
lola: STP completed || 19 tries, 18377407 fired transitions, 1630 secs || 33518453 markings, 486573764 edges, 21477 markings/sec, 1630 secs
lola: STP completed || 19 tries, 18433818 fired transitions, 1635 secs || 33622846 markings, 488061651 edges, 20879 markings/sec, 1635 secs
lola: STP completed || 19 tries, 18490274 fired transitions, 1640 secs || 33729379 markings, 489568825 edges, 21307 markings/sec, 1640 secs
lola: STP completed || 19 tries, 18546699 fired transitions, 1645 secs || 33839096 markings, 491081714 edges, 21943 markings/sec, 1645 secs
lola: STP completed || 19 tries, 18603124 fired transitions, 1650 secs || 33946558 markings, 492584920 edges, 21492 markings/sec, 1650 secs
lola: STP completed || 19 tries, 18659519 fired transitions, 1655 secs || 34053812 markings, 494096299 edges, 21451 markings/sec, 1655 secs
lola: STP completed || 19 tries, 18715889 fired transitions, 1660 secs || 34160847 markings, 495609645 edges, 21407 markings/sec, 1660 secs
lola: STP completed || 19 tries, 18772395 fired transitions, 1665 secs || 34266131 markings, 497114165 edges, 21057 markings/sec, 1665 secs
lola: STP completed || 19 tries, 18828901 fired transitions, 1670 secs || 34373557 markings, 498625064 edges, 21485 markings/sec, 1670 secs
lola: STP completed || 19 tries, 18885282 fired transitions, 1675 secs || 34479913 markings, 500137057 edges, 21271 markings/sec, 1675 secs
lola: STP completed || 19 tries, 18941472 fired transitions, 1680 secs || 34589894 markings, 501664079 edges, 21996 markings/sec, 1680 secs
lola: STP completed || 19 tries, 18997716 fired transitions, 1685 secs || 34700284 markings, 503193668 edges, 22078 markings/sec, 1685 secs
lola: STP completed || 20 tries, 19053945 fired transitions, 1690 secs || 34806818 markings, 504697582 edges, 21307 markings/sec, 1690 secs
lola: STP completed || 20 tries, 19110598 fired transitions, 1695 secs || 34916207 markings, 506209514 edges, 21878 markings/sec, 1695 secs
lola: STP completed || 20 tries, 19166929 fired transitions, 1700 secs || 35023371 markings, 507709808 edges, 21433 markings/sec, 1700 secs
lola: STP completed || 20 tries, 19223071 fired transitions, 1705 secs || 35130757 markings, 509216128 edges, 21477 markings/sec, 1705 secs
lola: STP completed || 20 tries, 19279295 fired transitions, 1710 secs || 35237500 markings, 510718939 edges, 21349 markings/sec, 1710 secs
lola: STP completed || 20 tries, 19335753 fired transitions, 1715 secs || 35345457 markings, 512215369 edges, 21591 markings/sec, 1715 secs
lola: STP completed || 20 tries, 19392362 fired transitions, 1720 secs || 35452202 markings, 513708996 edges, 21349 markings/sec, 1720 secs
lola: STP completed || 20 tries, 19448620 fired transitions, 1725 secs || 35559072 markings, 515212595 edges, 21374 markings/sec, 1725 secs
lola: STP completed || 20 tries, 19504929 fired transitions, 1730 secs || 35666708 markings, 516711918 edges, 21527 markings/sec, 1730 secs
lola: STP completed || 20 tries, 19561124 fired transitions, 1735 secs || 35774354 markings, 518216741 edges, 21529 markings/sec, 1735 secs
lola: STP completed || 20 tries, 19617508 fired transitions, 1740 secs || 35882943 markings, 519731199 edges, 21718 markings/sec, 1740 secs
lola: STP completed || 20 tries, 19673916 fired transitions, 1745 secs || 35993240 markings, 521249852 edges, 22059 markings/sec, 1745 secs
lola: STP completed || 20 tries, 19730050 fired transitions, 1750 secs || 36100301 markings, 522757745 edges, 21412 markings/sec, 1750 secs
lola: STP completed || 20 tries, 19786230 fired transitions, 1755 secs || 36210709 markings, 524271081 edges, 22082 markings/sec, 1755 secs
lola: STP completed || 20 tries, 19842530 fired transitions, 1760 secs || 36319223 markings, 525787000 edges, 21703 markings/sec, 1760 secs
lola: STP completed || 20 tries, 19898736 fired transitions, 1765 secs || 36430411 markings, 527317470 edges, 22238 markings/sec, 1765 secs
lola: STP completed || 20 tries, 19954834 fired transitions, 1770 secs || 36538605 markings, 528830472 edges, 21639 markings/sec, 1770 secs
lola: STP completed || 21 tries, 20010965 fired transitions, 1775 secs || 36648160 markings, 530357831 edges, 21911 markings/sec, 1775 secs
lola: STP completed || 21 tries, 20067105 fired transitions, 1780 secs || 36755247 markings, 531873181 edges, 21417 markings/sec, 1780 secs
lola: STP completed || 21 tries, 20123050 fired transitions, 1785 secs || 36863179 markings, 533402224 edges, 21586 markings/sec, 1785 secs
lola: STP completed || 21 tries, 20179264 fired transitions, 1790 secs || 36973851 markings, 534929990 edges, 22134 markings/sec, 1790 secs
lola: STP completed || 21 tries, 20235316 fired transitions, 1795 secs || 37084057 markings, 536453956 edges, 22041 markings/sec, 1795 secs
lola: STP completed || 21 tries, 20291271 fired transitions, 1800 secs || 37197246 markings, 537995879 edges, 22638 markings/sec, 1800 secs
lola: STP completed || 21 tries, 20347652 fired transitions, 1805 secs || 37308901 markings, 539527798 edges, 22331 markings/sec, 1805 secs
lola: STP completed || 21 tries, 20403939 fired transitions, 1810 secs || 37418324 markings, 541044148 edges, 21885 markings/sec, 1810 secs
lola: STP completed || 21 tries, 20460408 fired transitions, 1815 secs || 37525635 markings, 542560294 edges, 21462 markings/sec, 1815 secs
lola: STP completed || 21 tries, 20516750 fired transitions, 1820 secs || 37633687 markings, 544063148 edges, 21610 markings/sec, 1820 secs
lola: STP completed || 21 tries, 20573093 fired transitions, 1825 secs || 37743295 markings, 545577054 edges, 21922 markings/sec, 1825 secs
lola: STP completed || 21 tries, 20629562 fired transitions, 1830 secs || 37853307 markings, 547090074 edges, 22002 markings/sec, 1830 secs
lola: STP completed || 21 tries, 20685929 fired transitions, 1835 secs || 37962545 markings, 548606257 edges, 21848 markings/sec, 1835 secs
lola: STP completed || 21 tries, 20742314 fired transitions, 1840 secs || 38072265 markings, 550133898 edges, 21944 markings/sec, 1840 secs
lola: STP completed || 21 tries, 20798636 fired transitions, 1845 secs || 38184160 markings, 551676617 edges, 22379 markings/sec, 1845 secs
lola: STP completed || 21 tries, 20854832 fired transitions, 1850 secs || 38293589 markings, 553211593 edges, 21886 markings/sec, 1850 secs
lola: STP completed || 21 tries, 20911182 fired transitions, 1855 secs || 38405107 markings, 554740140 edges, 22304 markings/sec, 1855 secs
lola: STP completed || 21 tries, 20967585 fired transitions, 1860 secs || 38516747 markings, 556281603 edges, 22328 markings/sec, 1860 secs
lola: STP completed || 22 tries, 21023893 fired transitions, 1865 secs || 38627439 markings, 557811913 edges, 22138 markings/sec, 1865 secs
lola: STP completed || 22 tries, 21080231 fired transitions, 1870 secs || 38739276 markings, 559334230 edges, 22367 markings/sec, 1870 secs
lola: STP completed || 22 tries, 21136675 fired transitions, 1875 secs || 38851646 markings, 560873120 edges, 22474 markings/sec, 1875 secs
lola: STP completed || 22 tries, 21193020 fired transitions, 1880 secs || 38965786 markings, 562412620 edges, 22828 markings/sec, 1880 secs
lola: STP completed || 22 tries, 21249499 fired transitions, 1885 secs || 39077833 markings, 563934427 edges, 22409 markings/sec, 1885 secs
lola: STP completed || 22 tries, 21306031 fired transitions, 1890 secs || 39187214 markings, 565471777 edges, 21876 markings/sec, 1890 secs
lola: STP completed || 22 tries, 21362569 fired transitions, 1895 secs || 39296612 markings, 567022298 edges, 21880 markings/sec, 1895 secs
lola: STP completed || 22 tries, 21419014 fired transitions, 1900 secs || 39407685 markings, 568568135 edges, 22215 markings/sec, 1900 secs
lola: STP completed || 22 tries, 21475148 fired transitions, 1905 secs || 39519997 markings, 570117261 edges, 22462 markings/sec, 1905 secs
lola: STP completed || 22 tries, 21531645 fired transitions, 1910 secs || 39633517 markings, 571685138 edges, 22704 markings/sec, 1910 secs
lola: STP completed || 22 tries, 21587981 fired transitions, 1915 secs || 39746430 markings, 573241966 edges, 22583 markings/sec, 1915 secs
lola: STP completed || 22 tries, 21644243 fired transitions, 1920 secs || 39857525 markings, 574796578 edges, 22219 markings/sec, 1920 secs
lola: STP completed || 22 tries, 21700542 fired transitions, 1925 secs || 39971558 markings, 576368426 edges, 22807 markings/sec, 1925 secs
lola: STP completed || 22 tries, 21756820 fired transitions, 1930 secs || 40083247 markings, 577950457 edges, 22338 markings/sec, 1930 secs
lola: STP completed || 22 tries, 21813180 fired transitions, 1935 secs || 40194219 markings, 579546957 edges, 22194 markings/sec, 1935 secs
lola: STP completed || 22 tries, 21869452 fired transitions, 1940 secs || 40306020 markings, 581126654 edges, 22360 markings/sec, 1940 secs
lola: STP completed || 22 tries, 21925832 fired transitions, 1945 secs || 40417741 markings, 582733692 edges, 22344 markings/sec, 1945 secs
lola: STP completed || 22 tries, 21982094 fired transitions, 1950 secs || 40527099 markings, 584333168 edges, 21872 markings/sec, 1950 secs
lola: STP completed || 23 tries, 22038432 fired transitions, 1955 secs || 40640044 markings, 585958071 edges, 22589 markings/sec, 1955 secs
lola: STP completed || 23 tries, 22094861 fired transitions, 1960 secs || 40750048 markings, 587597521 edges, 22001 markings/sec, 1960 secs
lola: STP completed || 23 tries, 22151266 fired transitions, 1965 secs || 40863740 markings, 589301864 edges, 22738 markings/sec, 1965 secs
lola: STP completed || 23 tries, 22207498 fired transitions, 1970 secs || 40973126 markings, 591058540 edges, 21877 markings/sec, 1970 secs
lola: STP completed || 23 tries, 22264007 fired transitions, 1975 secs || 41066237 markings, 593341918 edges, 18622 markings/sec, 1975 secs
lola: STP completed || 23 tries, 22320697 fired transitions, 1980 secs || 41141726 markings, 596412275 edges, 15098 markings/sec, 1980 secs
lola: STP completed || 23 tries, 22377495 fired transitions, 1985 secs || 41211525 markings, 599592783 edges, 13960 markings/sec, 1985 secs
lola: STP completed || 23 tries, 22433889 fired transitions, 1990 secs || 41280249 markings, 602803256 edges, 13745 markings/sec, 1990 secs
lola: STP completed || 23 tries, 22490328 fired transitions, 1995 secs || 41345569 markings, 606047985 edges, 13064 markings/sec, 1995 secs
lola: STP completed || 23 tries, 22546994 fired transitions, 2000 secs || 41412443 markings, 609324773 edges, 13375 markings/sec, 2000 secs
lola: STP completed || 23 tries, 22603671 fired transitions, 2005 secs || 41480333 markings, 612610130 edges, 13578 markings/sec, 2005 secs
lola: STP completed || 23 tries, 22660134 fired transitions, 2010 secs || 41547663 markings, 615892693 edges, 13466 markings/sec, 2010 secs
lola: STP completed || 23 tries, 22716561 fired transitions, 2015 secs || 41614019 markings, 619202647 edges, 13271 markings/sec, 2015 secs
lola: STP completed || 23 tries, 22773159 fired transitions, 2020 secs || 41677925 markings, 622538868 edges, 12781 markings/sec, 2020 secs
lola: STP completed || 23 tries, 22829629 fired transitions, 2025 secs || 41745184 markings, 625885382 edges, 13452 markings/sec, 2025 secs
lola: STP completed || 23 tries, 22886412 fired transitions, 2030 secs || 41810522 markings, 629226814 edges, 13068 markings/sec, 2030 secs
lola: STP completed || 23 tries, 22942827 fired transitions, 2035 secs || 41875983 markings, 632568950 edges, 13092 markings/sec, 2035 secs
lola: STP completed || 23 tries, 22999235 fired transitions, 2040 secs || 41940407 markings, 635932173 edges, 12885 markings/sec, 2040 secs
lola: STP completed || 24 tries, 23055886 fired transitions, 2045 secs || 42004538 markings, 639314383 edges, 12826 markings/sec, 2045 secs
lola: STP completed || 24 tries, 23112457 fired transitions, 2050 secs || 42068977 markings, 642694697 edges, 12888 markings/sec, 2050 secs
lola: STP completed || 24 tries, 23168826 fired transitions, 2055 secs || 42132250 markings, 646065353 edges, 12655 markings/sec, 2055 secs
lola: STP completed || 24 tries, 23225228 fired transitions, 2060 secs || 42197445 markings, 649457505 edges, 13039 markings/sec, 2060 secs
lola: STP completed || 24 tries, 23281846 fired transitions, 2065 secs || 42259243 markings, 652837623 edges, 12360 markings/sec, 2065 secs
lola: STP completed || 24 tries, 23338465 fired transitions, 2070 secs || 42322762 markings, 656227153 edges, 12704 markings/sec, 2070 secs
lola: STP completed || 24 tries, 23394852 fired transitions, 2075 secs || 42387165 markings, 659617251 edges, 12881 markings/sec, 2075 secs
lola: STP completed || 24 tries, 23451407 fired transitions, 2080 secs || 42449366 markings, 663021903 edges, 12440 markings/sec, 2080 secs
lola: STP completed || 24 tries, 23507722 fired transitions, 2085 secs || 42511622 markings, 666434630 edges, 12451 markings/sec, 2085 secs
lola: STP completed || 24 tries, 23564461 fired transitions, 2090 secs || 42573786 markings, 669817149 edges, 12433 markings/sec, 2090 secs
lola: STP completed || 24 tries, 23620621 fired transitions, 2095 secs || 42635287 markings, 673228205 edges, 12300 markings/sec, 2095 secs
lola: STP completed || 24 tries, 23677306 fired transitions, 2100 secs || 42700421 markings, 676638346 edges, 13027 markings/sec, 2100 secs
lola: STP completed || 24 tries, 23733849 fired transitions, 2105 secs || 42760708 markings, 680043504 edges, 12057 markings/sec, 2105 secs
lola: STP completed || 24 tries, 23790015 fired transitions, 2110 secs || 42823044 markings, 683439579 edges, 12467 markings/sec, 2110 secs
lola: STP completed || 24 tries, 23846635 fired transitions, 2115 secs || 42885387 markings, 686860343 edges, 12469 markings/sec, 2115 secs
lola: STP completed || 24 tries, 23903337 fired transitions, 2120 secs || 42947739 markings, 690295279 edges, 12470 markings/sec, 2120 secs
lola: STP completed || 24 tries, 23959924 fired transitions, 2125 secs || 43009554 markings, 693726568 edges, 12363 markings/sec, 2125 secs
lola: STP completed || 25 tries, 24016418 fired transitions, 2130 secs || 43070678 markings, 697188283 edges, 12225 markings/sec, 2130 secs
lola: STP completed || 25 tries, 24072688 fired transitions, 2135 secs || 43133888 markings, 700611379 edges, 12642 markings/sec, 2135 secs
lola: STP completed || 25 tries, 24129323 fired transitions, 2140 secs || 43194268 markings, 704054106 edges, 12076 markings/sec, 2140 secs
lola: STP completed || 25 tries, 24185945 fired transitions, 2145 secs || 43254656 markings, 707482918 edges, 12078 markings/sec, 2145 secs
lola: STP completed || 25 tries, 24242591 fired transitions, 2150 secs || 43313324 markings, 710896726 edges, 11734 markings/sec, 2150 secs
lola: STP completed || 25 tries, 24299306 fired transitions, 2155 secs || 43372321 markings, 714339902 edges, 11799 markings/sec, 2155 secs
lola: STP completed || 25 tries, 24356120 fired transitions, 2160 secs || 43432916 markings, 717783939 edges, 12119 markings/sec, 2160 secs
lola: STP completed || 25 tries, 24412478 fired transitions, 2165 secs || 43492762 markings, 721219589 edges, 11969 markings/sec, 2165 secs
lola: STP completed || 25 tries, 24469099 fired transitions, 2170 secs || 43551303 markings, 724654881 edges, 11708 markings/sec, 2170 secs
lola: STP completed || 25 tries, 24525599 fired transitions, 2175 secs || 43611113 markings, 728101707 edges, 11962 markings/sec, 2175 secs
lola: STP completed || 25 tries, 24582252 fired transitions, 2180 secs || 43671824 markings, 731558382 edges, 12142 markings/sec, 2180 secs
lola: STP completed || 25 tries, 24638651 fired transitions, 2185 secs || 43731489 markings, 735009340 edges, 11933 markings/sec, 2185 secs
lola: STP completed || 25 tries, 24695212 fired transitions, 2190 secs || 43790992 markings, 738459747 edges, 11901 markings/sec, 2190 secs
lola: STP completed || 25 tries, 24751503 fired transitions, 2195 secs || 43852398 markings, 741922965 edges, 12281 markings/sec, 2195 secs
lola: STP completed || 25 tries, 24807730 fired transitions, 2200 secs || 43911327 markings, 745388680 edges, 11786 markings/sec, 2200 secs
lola: STP completed || 25 tries, 24864135 fired transitions, 2205 secs || 43970835 markings, 748857877 edges, 11902 markings/sec, 2205 secs
lola: STP completed || 25 tries, 24920610 fired transitions, 2210 secs || 44028659 markings, 752322972 edges, 11565 markings/sec, 2210 secs
lola: STP completed || 25 tries, 24976710 fired transitions, 2215 secs || 44088985 markings, 755823292 edges, 12065 markings/sec, 2215 secs
lola: STP completed || 26 tries, 25033428 fired transitions, 2220 secs || 44147971 markings, 759294593 edges, 11797 markings/sec, 2220 secs
lola: STP completed || 26 tries, 25089884 fired transitions, 2225 secs || 44206592 markings, 762776621 edges, 11724 markings/sec, 2225 secs
lola: STP completed || 26 tries, 25146189 fired transitions, 2230 secs || 44267071 markings, 766267362 edges, 12096 markings/sec, 2230 secs
lola: STP completed || 26 tries, 25202288 fired transitions, 2235 secs || 44326911 markings, 769740024 edges, 11968 markings/sec, 2235 secs
lola: STP completed || 26 tries, 25259048 fired transitions, 2240 secs || 44385430 markings, 773217240 edges, 11704 markings/sec, 2240 secs
lola: STP completed || 26 tries, 25315513 fired transitions, 2245 secs || 44445026 markings, 776713973 edges, 11919 markings/sec, 2245 secs
lola: STP completed || 26 tries, 25371910 fired transitions, 2250 secs || 44502866 markings, 780207101 edges, 11568 markings/sec, 2250 secs
lola: STP completed || 26 tries, 25428604 fired transitions, 2255 secs || 44563320 markings, 783693503 edges, 12091 markings/sec, 2255 secs
lola: STP completed || 26 tries, 25485242 fired transitions, 2260 secs || 44622901 markings, 787181369 edges, 11916 markings/sec, 2260 secs
lola: STP completed || 26 tries, 25541892 fired transitions, 2265 secs || 44682506 markings, 790669763 edges, 11921 markings/sec, 2265 secs
lola: STP completed || 26 tries, 25598622 fired transitions, 2270 secs || 44740690 markings, 794180293 edges, 11637 markings/sec, 2270 secs
lola: STP completed || 26 tries, 25655164 fired transitions, 2275 secs || 44799291 markings, 797689763 edges, 11720 markings/sec, 2275 secs
lola: STP completed || 26 tries, 25711878 fired transitions, 2280 secs || 44857824 markings, 801196280 edges, 11707 markings/sec, 2280 secs
lola: STP completed || 26 tries, 25768515 fired transitions, 2285 secs || 44915553 markings, 804692427 edges, 11546 markings/sec, 2285 secs
lola: STP completed || 26 tries, 25825110 fired transitions, 2290 secs || 44973563 markings, 808216019 edges, 11602 markings/sec, 2290 secs
lola: STP completed || 26 tries, 25881671 fired transitions, 2295 secs || 45033030 markings, 811730184 edges, 11893 markings/sec, 2295 secs
lola: STP completed || 26 tries, 25938474 fired transitions, 2300 secs || 45090726 markings, 815259398 edges, 11539 markings/sec, 2300 secs
lola: STP completed || 26 tries, 25994826 fired transitions, 2305 secs || 45148079 markings, 818778273 edges, 11471 markings/sec, 2305 secs
lola: STP completed || 27 tries, 26051202 fired transitions, 2310 secs || 45204891 markings, 822288348 edges, 11362 markings/sec, 2310 secs
lola: STP completed || 27 tries, 26107725 fired transitions, 2315 secs || 45263127 markings, 825806665 edges, 11647 markings/sec, 2315 secs
lola: STP completed || 27 tries, 26164244 fired transitions, 2320 secs || 45320715 markings, 829320020 edges, 11518 markings/sec, 2320 secs
lola: STP completed || 27 tries, 26220891 fired transitions, 2325 secs || 45378614 markings, 832843367 edges, 11580 markings/sec, 2325 secs
lola: STP completed || 27 tries, 26277760 fired transitions, 2330 secs || 45435216 markings, 836361423 edges, 11320 markings/sec, 2330 secs
lola: STP completed || 27 tries, 26334317 fired transitions, 2335 secs || 45492431 markings, 839889281 edges, 11443 markings/sec, 2335 secs
lola: STP completed || 27 tries, 26391068 fired transitions, 2340 secs || 45551831 markings, 843423661 edges, 11880 markings/sec, 2340 secs
lola: STP completed || 27 tries, 26447821 fired transitions, 2345 secs || 45610579 markings, 846945894 edges, 11750 markings/sec, 2345 secs
lola: STP completed || 27 tries, 26504811 fired transitions, 2350 secs || 45667717 markings, 850471212 edges, 11428 markings/sec, 2350 secs
lola: STP completed || 27 tries, 26561025 fired transitions, 2355 secs || 45726072 markings, 854020461 edges, 11671 markings/sec, 2355 secs
lola: STP completed || 27 tries, 26617613 fired transitions, 2360 secs || 45782715 markings, 857567977 edges, 11329 markings/sec, 2360 secs
lola: STP completed || 27 tries, 26674234 fired transitions, 2365 secs || 45840410 markings, 861114131 edges, 11539 markings/sec, 2365 secs
lola: STP completed || 27 tries, 26730808 fired transitions, 2370 secs || 45898645 markings, 864665580 edges, 11647 markings/sec, 2370 secs
lola: STP completed || 27 tries, 26786862 fired transitions, 2375 secs || 45956398 markings, 868204410 edges, 11551 markings/sec, 2375 secs
lola: STP completed || 27 tries, 26843301 fired transitions, 2380 secs || 46011473 markings, 871760556 edges, 11015 markings/sec, 2380 secs
lola: STP completed || 27 tries, 26900057 fired transitions, 2385 secs || 46069500 markings, 875317359 edges, 11605 markings/sec, 2385 secs
lola: STP completed || 27 tries, 26956478 fired transitions, 2390 secs || 46127595 markings, 878870782 edges, 11619 markings/sec, 2390 secs
lola: STP completed || 28 tries, 27013311 fired transitions, 2395 secs || 46185566 markings, 882430609 edges, 11594 markings/sec, 2395 secs
lola: STP completed || 28 tries, 27069931 fired transitions, 2400 secs || 46243089 markings, 885927308 edges, 11505 markings/sec, 2400 secs
lola: STP completed || 28 tries, 27126755 fired transitions, 2405 secs || 46298938 markings, 889429648 edges, 11170 markings/sec, 2405 secs
lola: STP completed || 28 tries, 27183458 fired transitions, 2410 secs || 46353712 markings, 892987398 edges, 10955 markings/sec, 2410 secs
lola: STP completed || 28 tries, 27240205 fired transitions, 2415 secs || 46408291 markings, 896477973 edges, 10916 markings/sec, 2415 secs
lola: STP completed || 28 tries, 27296954 fired transitions, 2420 secs || 46463733 markings, 899989537 edges, 11088 markings/sec, 2420 secs
lola: STP completed || 28 tries, 27353791 fired transitions, 2425 secs || 46520780 markings, 903549964 edges, 11409 markings/sec, 2425 secs
lola: STP completed || 28 tries, 27410320 fired transitions, 2430 secs || 46577398 markings, 907079823 edges, 11324 markings/sec, 2430 secs
lola: STP completed || 28 tries, 27466844 fired transitions, 2435 secs || 46634219 markings, 910594737 edges, 11364 markings/sec, 2435 secs
lola: STP completed || 28 tries, 27523113 fired transitions, 2440 secs || 46691246 markings, 914148332 edges, 11405 markings/sec, 2440 secs
lola: STP completed || 28 tries, 27579961 fired transitions, 2445 secs || 46746864 markings, 917693033 edges, 11124 markings/sec, 2445 secs
lola: STP completed || 28 tries, 27636288 fired transitions, 2450 secs || 46804165 markings, 921254480 edges, 11460 markings/sec, 2450 secs
lola: STP completed || 28 tries, 27692909 fired transitions, 2455 secs || 46862626 markings, 924800229 edges, 11692 markings/sec, 2455 secs
lola: STP completed || 28 tries, 27749682 fired transitions, 2460 secs || 46918335 markings, 928363550 edges, 11142 markings/sec, 2460 secs
lola: STP completed || 28 tries, 27806505 fired transitions, 2465 secs || 46973043 markings, 931930601 edges, 10942 markings/sec, 2465 secs
lola: STP completed || 28 tries, 27863127 fired transitions, 2470 secs || 47031928 markings, 935489081 edges, 11777 markings/sec, 2470 secs
lola: STP completed || 28 tries, 27919519 fired transitions, 2475 secs || 47087480 markings, 939040597 edges, 11110 markings/sec, 2475 secs
lola: STP completed || 28 tries, 27976251 fired transitions, 2480 secs || 47143047 markings, 942586184 edges, 11113 markings/sec, 2480 secs
lola: STP completed || 29 tries, 28032912 fired transitions, 2485 secs || 47199772 markings, 946111504 edges, 11345 markings/sec, 2485 secs
lola: STP completed || 29 tries, 28089471 fired transitions, 2490 secs || 47254146 markings, 949690765 edges, 10875 markings/sec, 2490 secs
lola: STP completed || 29 tries, 28145829 fired transitions, 2495 secs || 47312964 markings, 953276365 edges, 11764 markings/sec, 2495 secs
lola: STP completed || 29 tries, 28202498 fired transitions, 2500 secs || 47371030 markings, 956864605 edges, 11613 markings/sec, 2500 secs
lola: STP completed || 29 tries, 28258893 fired transitions, 2505 secs || 47428161 markings, 960453638 edges, 11426 markings/sec, 2505 secs
lola: STP completed || 29 tries, 28315659 fired transitions, 2510 secs || 47484854 markings, 964010810 edges, 11339 markings/sec, 2510 secs
lola: STP completed || 29 tries, 28372532 fired transitions, 2515 secs || 47540397 markings, 967547075 edges, 11109 markings/sec, 2515 secs
lola: STP completed || 29 tries, 28429116 fired transitions, 2520 secs || 47597397 markings, 971128684 edges, 11400 markings/sec, 2520 secs
lola: STP completed || 29 tries, 28485795 fired transitions, 2525 secs || 47654541 markings, 974685561 edges, 11429 markings/sec, 2525 secs
lola: STP completed || 29 tries, 28542475 fired transitions, 2530 secs || 47710324 markings, 978262424 edges, 11157 markings/sec, 2530 secs
lola: STP completed || 29 tries, 28598830 fired transitions, 2535 secs || 47766343 markings, 981856324 edges, 11204 markings/sec, 2535 secs
lola: STP completed || 29 tries, 28655507 fired transitions, 2540 secs || 47823267 markings, 985425772 edges, 11385 markings/sec, 2540 secs
lola: STP completed || 29 tries, 28712017 fired transitions, 2545 secs || 47879341 markings, 988992544 edges, 11215 markings/sec, 2545 secs
lola: STP completed || 29 tries, 28768652 fired transitions, 2550 secs || 47934927 markings, 992597821 edges, 11117 markings/sec, 2550 secs
lola: STP completed || 29 tries, 28825221 fired transitions, 2555 secs || 47991609 markings, 996202303 edges, 11336 markings/sec, 2555 secs
lola: STP completed || 29 tries, 28881902 fired transitions, 2560 secs || 48046320 markings, 999810070 edges, 10942 markings/sec, 2560 secs
lola: STP completed || 29 tries, 28938379 fired transitions, 2565 secs || 48093170 markings, 1002808397 edges, 9370 markings/sec, 2565 secs
lola: STP completed || 29 tries, 28994847 fired transitions, 2570 secs || 48149821 markings, 1006317574 edges, 11330 markings/sec, 2570 secs
lola: STP completed || 30 tries, 29051466 fired transitions, 2575 secs || 48205972 markings, 1009910069 edges, 11230 markings/sec, 2575 secs
lola: STP completed || 30 tries, 29108091 fired transitions, 2580 secs || 48261867 markings, 1013518047 edges, 11179 markings/sec, 2580 secs
lola: STP completed || 30 tries, 29164578 fired transitions, 2585 secs || 48318443 markings, 1017091632 edges, 11315 markings/sec, 2585 secs
lola: STP completed || 30 tries, 29220535 fired transitions, 2590 secs || 48375553 markings, 1020686259 edges, 11422 markings/sec, 2590 secs
lola: STP completed || 30 tries, 29276832 fired transitions, 2595 secs || 48430215 markings, 1024315746 edges, 10932 markings/sec, 2595 secs
lola: STP completed || 30 tries, 29333566 fired transitions, 2600 secs || 48488152 markings, 1027947251 edges, 11587 markings/sec, 2600 secs
lola: STP completed || 30 tries, 29389941 fired transitions, 2605 secs || 48545576 markings, 1031545001 edges, 11485 markings/sec, 2605 secs
lola: STP completed || 30 tries, 29446315 fired transitions, 2610 secs || 48603697 markings, 1035132232 edges, 11624 markings/sec, 2610 secs
lola: STP completed || 30 tries, 29503020 fired transitions, 2615 secs || 48660376 markings, 1038742603 edges, 11336 markings/sec, 2615 secs
lola: STP completed || 30 tries, 29559366 fired transitions, 2620 secs || 48718073 markings, 1042344830 edges, 11539 markings/sec, 2620 secs
lola: STP completed || 30 tries, 29616111 fired transitions, 2625 secs || 48775245 markings, 1045978703 edges, 11434 markings/sec, 2625 secs
lola: STP completed || 30 tries, 29672616 fired transitions, 2630 secs || 48833515 markings, 1049609329 edges, 11654 markings/sec, 2630 secs
lola: STP completed || 30 tries, 29729442 fired transitions, 2635 secs || 48887759 markings, 1053235518 edges, 10849 markings/sec, 2635 secs
lola: STP completed || 30 tries, 29786017 fired transitions, 2640 secs || 48946440 markings, 1056851811 edges, 11736 markings/sec, 2640 secs
lola: STP completed || 30 tries, 29842781 fired transitions, 2645 secs || 49004002 markings, 1060460241 edges, 11512 markings/sec, 2645 secs
lola: STP completed || 30 tries, 29899260 fired transitions, 2650 secs || 49060182 markings, 1064057139 edges, 11236 markings/sec, 2650 secs
lola: STP completed || 30 tries, 29955618 fired transitions, 2655 secs || 49117632 markings, 1067680060 edges, 11490 markings/sec, 2655 secs
lola: STP completed || 31 tries, 30012057 fired transitions, 2660 secs || 49175339 markings, 1071272769 edges, 11541 markings/sec, 2660 secs
lola: STP completed || 31 tries, 30068615 fired transitions, 2665 secs || 49232289 markings, 1074878085 edges, 11390 markings/sec, 2665 secs
lola: STP completed || 31 tries, 30125014 fired transitions, 2670 secs || 49290853 markings, 1078490624 edges, 11713 markings/sec, 2670 secs
lola: STP completed || 31 tries, 30181476 fired transitions, 2675 secs || 49347461 markings, 1082101711 edges, 11322 markings/sec, 2675 secs
lola: STP completed || 31 tries, 30237733 fired transitions, 2680 secs || 49405502 markings, 1085718719 edges, 11608 markings/sec, 2680 secs
lola: STP completed || 31 tries, 30294220 fired transitions, 2685 secs || 49461755 markings, 1089336494 edges, 11251 markings/sec, 2685 secs
lola: STP completed || 31 tries, 30350955 fired transitions, 2690 secs || 49519550 markings, 1092944974 edges, 11559 markings/sec, 2690 secs
lola: STP completed || 31 tries, 30407136 fired transitions, 2695 secs || 49577666 markings, 1096597033 edges, 11623 markings/sec, 2695 secs
lola: STP completed || 31 tries, 30463855 fired transitions, 2700 secs || 49635304 markings, 1100203730 edges, 11528 markings/sec, 2700 secs
lola: STP completed || 31 tries, 30520383 fired transitions, 2705 secs || 49692216 markings, 1103804439 edges, 11382 markings/sec, 2705 secs
lola: STP completed || 31 tries, 30576774 fired transitions, 2710 secs || 49748444 markings, 1107446147 edges, 11246 markings/sec, 2710 secs
lola: STP completed || 31 tries, 30633220 fired transitions, 2715 secs || 49804759 markings, 1111089876 edges, 11263 markings/sec, 2715 secs
lola: STP completed || 31 tries, 30689775 fired transitions, 2720 secs || 49861930 markings, 1114725085 edges, 11434 markings/sec, 2720 secs
lola: STP completed || 31 tries, 30746102 fired transitions, 2725 secs || 49918903 markings, 1118375169 edges, 11395 markings/sec, 2725 secs
lola: STP completed || 31 tries, 30802704 fired transitions, 2730 secs || 49974493 markings, 1122009934 edges, 11118 markings/sec, 2730 secs
lola: STP completed || 31 tries, 30859223 fired transitions, 2735 secs || 50032269 markings, 1125668121 edges, 11555 markings/sec, 2735 secs
lola: STP completed || 31 tries, 30916051 fired transitions, 2740 secs || 50089011 markings, 1129291848 edges, 11348 markings/sec, 2740 secs
lola: STP completed || 31 tries, 30972358 fired transitions, 2745 secs || 50148530 markings, 1132938793 edges, 11904 markings/sec, 2745 secs
lola: STP completed || 32 tries, 31029136 fired transitions, 2750 secs || 50206472 markings, 1136583492 edges, 11588 markings/sec, 2750 secs
lola: STP completed || 32 tries, 31085924 fired transitions, 2755 secs || 50262967 markings, 1140228563 edges, 11299 markings/sec, 2755 secs
lola: STP completed || 32 tries, 31142392 fired transitions, 2760 secs || 50319574 markings, 1143838377 edges, 11321 markings/sec, 2760 secs
lola: STP completed || 32 tries, 31199104 fired transitions, 2765 secs || 50377215 markings, 1147456324 edges, 11528 markings/sec, 2765 secs
lola: STP completed || 32 tries, 31255449 fired transitions, 2770 secs || 50434657 markings, 1151091133 edges, 11488 markings/sec, 2770 secs
lola: STP completed || 32 tries, 31312227 fired transitions, 2775 secs || 50490067 markings, 1154730055 edges, 11082 markings/sec, 2775 secs
lola: STP completed || 32 tries, 31368835 fired transitions, 2780 secs || 50546137 markings, 1158373644 edges, 11214 markings/sec, 2780 secs
lola: STP completed || 32 tries, 31425356 fired transitions, 2785 secs || 50604139 markings, 1162046730 edges, 11600 markings/sec, 2785 secs
lola: STP completed || 32 tries, 31481821 fired transitions, 2790 secs || 50661981 markings, 1165697293 edges, 11568 markings/sec, 2790 secs
lola: STP completed || 32 tries, 31538691 fired transitions, 2795 secs || 50718017 markings, 1169344723 edges, 11207 markings/sec, 2795 secs
lola: STP completed || 32 tries, 31595199 fired transitions, 2800 secs || 50775941 markings, 1172981541 edges, 11585 markings/sec, 2800 secs
lola: STP completed || 32 tries, 31651743 fired transitions, 2805 secs || 50832760 markings, 1176629744 edges, 11364 markings/sec, 2805 secs
lola: STP completed || 32 tries, 31707944 fired transitions, 2810 secs || 50888951 markings, 1180252808 edges, 11238 markings/sec, 2810 secs
lola: STP completed || 32 tries, 31764511 fired transitions, 2815 secs || 50948128 markings, 1183890363 edges, 11835 markings/sec, 2815 secs
lola: STP completed || 32 tries, 31821074 fired transitions, 2820 secs || 51007053 markings, 1187553405 edges, 11785 markings/sec, 2820 secs
lola: STP completed || 32 tries, 31877803 fired transitions, 2825 secs || 51066289 markings, 1191218532 edges, 11847 markings/sec, 2825 secs
lola: STP completed || 32 tries, 31934603 fired transitions, 2830 secs || 51125191 markings, 1194834228 edges, 11780 markings/sec, 2830 secs
lola: STP completed || 32 tries, 31991120 fired transitions, 2835 secs || 51184320 markings, 1198445625 edges, 11826 markings/sec, 2835 secs
lola: STP completed || 33 tries, 32047686 fired transitions, 2840 secs || 51243576 markings, 1202103219 edges, 11851 markings/sec, 2840 secs
lola: STP completed || 33 tries, 32104393 fired transitions, 2845 secs || 51303001 markings, 1205763851 edges, 11885 markings/sec, 2845 secs
lola: STP completed || 33 tries, 32160903 fired transitions, 2850 secs || 51361423 markings, 1209414156 edges, 11684 markings/sec, 2850 secs
lola: STP completed || 33 tries, 32217555 fired transitions, 2855 secs || 51420832 markings, 1213088246 edges, 11882 markings/sec, 2855 secs
lola: STP completed || 33 tries, 32273897 fired transitions, 2860 secs || 51480742 markings, 1216758350 edges, 11982 markings/sec, 2860 secs
lola: STP completed || 33 tries, 32330520 fired transitions, 2865 secs || 51529387 markings, 1219813433 edges, 9729 markings/sec, 2865 secs
lola: STP completed || 33 tries, 32387048 fired transitions, 2870 secs || 51586961 markings, 1223350184 edges, 11515 markings/sec, 2870 secs
lola: STP completed || 33 tries, 32444007 fired transitions, 2875 secs || 51646449 markings, 1226999532 edges, 11898 markings/sec, 2875 secs
lola: STP completed || 33 tries, 32500661 fired transitions, 2880 secs || 51704629 markings, 1230614474 edges, 11636 markings/sec, 2880 secs
lola: STP completed || 33 tries, 32557160 fired transitions, 2885 secs || 51766685 markings, 1234235686 edges, 12411 markings/sec, 2885 secs
lola: STP completed || 33 tries, 32613774 fired transitions, 2890 secs || 51825997 markings, 1237896295 edges, 11862 markings/sec, 2890 secs
lola: STP completed || 33 tries, 32670500 fired transitions, 2895 secs || 51885918 markings, 1241544186 edges, 11984 markings/sec, 2895 secs
lola: STP completed || 33 tries, 32727018 fired transitions, 2900 secs || 51946599 markings, 1245195545 edges, 12136 markings/sec, 2900 secs
lola: STP completed || 33 tries, 32783799 fired transitions, 2905 secs || 52005149 markings, 1248841120 edges, 11710 markings/sec, 2905 secs
lola: STP completed || 33 tries, 32840484 fired transitions, 2910 secs || 52066447 markings, 1252470292 edges, 12260 markings/sec, 2910 secs
lola: STP completed || 33 tries, 32897279 fired transitions, 2915 secs || 52129094 markings, 1256117885 edges, 12529 markings/sec, 2915 secs
lola: STP completed || 33 tries, 32954098 fired transitions, 2920 secs || 52191980 markings, 1259795929 edges, 12577 markings/sec, 2920 secs
lola: STP completed || 34 tries, 33010974 fired transitions, 2925 secs || 52251853 markings, 1263427612 edges, 11975 markings/sec, 2925 secs
lola: STP completed || 34 tries, 33067517 fired transitions, 2930 secs || 52316174 markings, 1267141307 edges, 12864 markings/sec, 2930 secs
lola: STP completed || 34 tries, 33124083 fired transitions, 2935 secs || 52376379 markings, 1270793249 edges, 12041 markings/sec, 2935 secs
lola: STP completed || 34 tries, 33180715 fired transitions, 2940 secs || 52439347 markings, 1274489860 edges, 12594 markings/sec, 2940 secs
lola: STP completed || 34 tries, 33237521 fired transitions, 2945 secs || 52501455 markings, 1278198892 edges, 12422 markings/sec, 2945 secs
lola: STP completed || 34 tries, 33294222 fired transitions, 2950 secs || 52563834 markings, 1281873122 edges, 12476 markings/sec, 2950 secs
lola: STP completed || 34 tries, 33351106 fired transitions, 2955 secs || 52625043 markings, 1285582366 edges, 12242 markings/sec, 2955 secs
lola: STP completed || 34 tries, 33407770 fired transitions, 2960 secs || 52685351 markings, 1289223280 edges, 12062 markings/sec, 2960 secs
lola: STP completed || 34 tries, 33464386 fired transitions, 2965 secs || 52746663 markings, 1292873588 edges, 12262 markings/sec, 2965 secs
lola: STP completed || 34 tries, 33520989 fired transitions, 2970 secs || 52808392 markings, 1296542566 edges, 12346 markings/sec, 2970 secs
lola: STP completed || 34 tries, 33577812 fired transitions, 2975 secs || 52873044 markings, 1300251467 edges, 12930 markings/sec, 2975 secs
lola: STP completed || 34 tries, 33634431 fired transitions, 2980 secs || 52935585 markings, 1304002763 edges, 12508 markings/sec, 2980 secs
lola: STP completed || 34 tries, 33690981 fired transitions, 2985 secs || 52996924 markings, 1307638936 edges, 12268 markings/sec, 2985 secs
lola: STP completed || 34 tries, 33747825 fired transitions, 2990 secs || 53056796 markings, 1311286684 edges, 11974 markings/sec, 2990 secs
lola: STP completed || 34 tries, 33804581 fired transitions, 2995 secs || 53116938 markings, 1314971565 edges, 12028 markings/sec, 2995 secs
lola: STP completed || 34 tries, 33861281 fired transitions, 3000 secs || 53178326 markings, 1318626583 edges, 12278 markings/sec, 3000 secs
lola: STP completed || 34 tries, 33917947 fired transitions, 3005 secs || 53239636 markings, 1322340157 edges, 12262 markings/sec, 3005 secs
lola: STP completed || 34 tries, 33974928 fired transitions, 3010 secs || 53301702 markings, 1326100003 edges, 12413 markings/sec, 3010 secs
lola: STP completed || 35 tries, 34031605 fired transitions, 3015 secs || 53364747 markings, 1329880831 edges, 12609 markings/sec, 3015 secs
lola: STP completed || 35 tries, 34088122 fired transitions, 3020 secs || 53425886 markings, 1333567934 edges, 12228 markings/sec, 3020 secs
lola: STP completed || 35 tries, 34144712 fired transitions, 3025 secs || 53486514 markings, 1337249559 edges, 12126 markings/sec, 3025 secs
lola: STP completed || 35 tries, 34201418 fired transitions, 3030 secs || 53550157 markings, 1340910675 edges, 12729 markings/sec, 3030 secs
lola: STP completed || 35 tries, 34258145 fired transitions, 3035 secs || 53611119 markings, 1344605724 edges, 12192 markings/sec, 3035 secs
lola: STP completed || 35 tries, 34314715 fired transitions, 3040 secs || 53675674 markings, 1348283289 edges, 12911 markings/sec, 3040 secs
lola: STP completed || 35 tries, 34370940 fired transitions, 3045 secs || 53739370 markings, 1351998334 edges, 12739 markings/sec, 3045 secs
lola: STP completed || 35 tries, 34427558 fired transitions, 3050 secs || 53799043 markings, 1355715050 edges, 11935 markings/sec, 3050 secs
lola: STP completed || 35 tries, 34484150 fired transitions, 3055 secs || 53862304 markings, 1359456698 edges, 12652 markings/sec, 3055 secs
lola: STP completed || 35 tries, 34540564 fired transitions, 3060 secs || 53924843 markings, 1363177812 edges, 12508 markings/sec, 3060 secs
lola: STP completed || 35 tries, 34597110 fired transitions, 3065 secs || 53989741 markings, 1366928229 edges, 12980 markings/sec, 3065 secs
lola: STP completed || 35 tries, 34653775 fired transitions, 3070 secs || 54053065 markings, 1370701481 edges, 12665 markings/sec, 3070 secs
lola: STP completed || 35 tries, 34710269 fired transitions, 3075 secs || 54114639 markings, 1374427453 edges, 12315 markings/sec, 3075 secs
lola: STP completed || 35 tries, 34766926 fired transitions, 3080 secs || 54177166 markings, 1378157235 edges, 12505 markings/sec, 3080 secs
lola: STP completed || 35 tries, 34823449 fired transitions, 3085 secs || 54240772 markings, 1381933140 edges, 12721 markings/sec, 3085 secs
lola: STP completed || 35 tries, 34880259 fired transitions, 3090 secs || 54303375 markings, 1385711161 edges, 12521 markings/sec, 3090 secs
lola: STP completed || 35 tries, 34936893 fired transitions, 3095 secs || 54365598 markings, 1389528005 edges, 12445 markings/sec, 3095 secs
lola: STP completed || 35 tries, 34993537 fired transitions, 3100 secs || 54426755 markings, 1393287615 edges, 12231 markings/sec, 3100 secs

FORMULA DLCround-PT-04a-ReachabilityDeadlock-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The net does not have deadlocks.
lola: 54482545 markings, 1396705681 edges
lola: memory consumption: 7354892 KB
lola: time consumption: 3110 seconds

BK_STOP 1526590406626

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-04a"
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/DLCround-PT-04a.tgz
mv DLCround-PT-04a 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 DLCround-PT-04a, 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 r064-smll-152649735100020"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;