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 864K
-rw-r--r-- 1 mcc users 4.2K May 30 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 30 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K May 29 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 28 08:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 28 08:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.5K May 28 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 28 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 8.3K May 27 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw------- 1 mcc users 672K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is EGFr-PT-10421, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700278
=====================================================================

--------------------
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 EGFr-PT-10421-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527787829537

info: Time: 3600 - MCC
===========================================================================================
prep: translating EGFr-PT-10421 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EGFr-PT-10421 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ EGFr-PT-10421 @ 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: 586/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 731 transition conflict sets
lola: TASK
lola: reading formula from EGFr-PT-10421-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 2 generators (2 in search tree, 0 by composition)
lola: representing 4 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 7204 variables and 45872 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 126223 fired transitions, 0 secs || 124836 markings, 150696 edges, 24967 markings/sec, 0 secs
lola: STP completed || 1 tries, 257232 fired transitions, 5 secs || 253973 markings, 308002 edges, 25827 markings/sec, 5 secs
lola: STP completed || 1 tries, 394482 fired transitions, 10 secs || 380040 markings, 461577 edges, 25213 markings/sec, 10 secs
lola: STP completed || 1 tries, 531998 fired transitions, 15 secs || 505955 markings, 617201 edges, 25183 markings/sec, 15 secs
lola: STP completed || 1 tries, 671551 fired transitions, 20 secs || 631698 markings, 772891 edges, 25149 markings/sec, 20 secs
lola: STP completed || 1 tries, 810671 fired transitions, 25 secs || 757512 markings, 928685 edges, 25163 markings/sec, 25 secs
lola: STP completed || 1 tries, 948806 fired transitions, 30 secs || 883249 markings, 1083774 edges, 25147 markings/sec, 30 secs
lola: STP completed || 2 tries, 1086028 fired transitions, 35 secs || 1009301 markings, 1239887 edges, 25210 markings/sec, 35 secs
lola: STP completed || 2 tries, 1227479 fired transitions, 40 secs || 1142420 markings, 1406513 edges, 26624 markings/sec, 40 secs
lola: STP completed || 2 tries, 1373377 fired transitions, 45 secs || 1286064 markings, 1586473 edges, 28729 markings/sec, 45 secs
lola: STP completed || 2 tries, 1522985 fired transitions, 50 secs || 1434402 markings, 1773597 edges, 29668 markings/sec, 50 secs
lola: STP completed || 2 tries, 1671850 fired transitions, 55 secs || 1582346 markings, 1959087 edges, 29589 markings/sec, 55 secs
lola: STP completed || 2 tries, 1821519 fired transitions, 60 secs || 1731030 markings, 2145731 edges, 29737 markings/sec, 60 secs
lola: STP completed || 2 tries, 1971590 fired transitions, 65 secs || 1878321 markings, 2331880 edges, 29458 markings/sec, 65 secs
lola: STP completed || 3 tries, 2126607 fired transitions, 70 secs || 2029911 markings, 2524418 edges, 30318 markings/sec, 70 secs
lola: STP completed || 3 tries, 2283570 fired transitions, 75 secs || 2180407 markings, 2715824 edges, 30099 markings/sec, 75 secs
lola: STP completed || 3 tries, 2434440 fired transitions, 80 secs || 2328676 markings, 2904130 edges, 29654 markings/sec, 80 secs
lola: STP completed || 3 tries, 2581588 fired transitions, 85 secs || 2475991 markings, 3090629 edges, 29463 markings/sec, 85 secs
lola: STP completed || 3 tries, 2729551 fired transitions, 90 secs || 2621567 markings, 3275659 edges, 29115 markings/sec, 90 secs
lola: STP completed || 3 tries, 2873868 fired transitions, 95 secs || 2764367 markings, 3459067 edges, 28560 markings/sec, 95 secs
lola: STP completed || 4 tries, 3018314 fired transitions, 100 secs || 2907610 markings, 3639777 edges, 28649 markings/sec, 100 secs
lola: STP completed || 4 tries, 3164090 fired transitions, 105 secs || 3051539 markings, 3814556 edges, 28786 markings/sec, 105 secs
lola: STP completed || 4 tries, 3315585 fired transitions, 110 secs || 3199850 markings, 3996552 edges, 29662 markings/sec, 110 secs
lola: STP completed || 4 tries, 3470932 fired transitions, 115 secs || 3351071 markings, 4184480 edges, 30244 markings/sec, 115 secs
lola: STP completed || 4 tries, 3629151 fired transitions, 120 secs || 3504037 markings, 4375249 edges, 30593 markings/sec, 120 secs
lola: STP completed || 4 tries, 3787073 fired transitions, 125 secs || 3656398 markings, 4564856 edges, 30472 markings/sec, 125 secs
lola: STP completed || 4 tries, 3944667 fired transitions, 130 secs || 3808866 markings, 4754539 edges, 30494 markings/sec, 130 secs
lola: STP completed || 5 tries, 4102721 fired transitions, 135 secs || 3961622 markings, 4944677 edges, 30551 markings/sec, 135 secs
lola: STP completed || 5 tries, 4258335 fired transitions, 140 secs || 4112036 markings, 5131011 edges, 30083 markings/sec, 140 secs
lola: STP completed || 5 tries, 4409319 fired transitions, 145 secs || 4260212 markings, 5318576 edges, 29635 markings/sec, 145 secs
lola: STP completed || 5 tries, 4566672 fired transitions, 150 secs || 4411486 markings, 5508629 edges, 30255 markings/sec, 150 secs
lola: STP completed || 5 tries, 4723453 fired transitions, 155 secs || 4562232 markings, 5698755 edges, 30149 markings/sec, 155 secs
lola: STP completed || 5 tries, 4880180 fired transitions, 160 secs || 4712932 markings, 5887935 edges, 30140 markings/sec, 160 secs
lola: STP completed || 6 tries, 5033605 fired transitions, 165 secs || 4863042 markings, 6077060 edges, 30022 markings/sec, 165 secs
lola: STP completed || 6 tries, 5190611 fired transitions, 170 secs || 5013973 markings, 6268476 edges, 30186 markings/sec, 170 secs
lola: STP completed || 6 tries, 5342573 fired transitions, 175 secs || 5160264 markings, 6454297 edges, 29258 markings/sec, 175 secs
lola: STP completed || 6 tries, 5489677 fired transitions, 180 secs || 5302273 markings, 6635368 edges, 28402 markings/sec, 180 secs
lola: STP completed || 6 tries, 5636501 fired transitions, 185 secs || 5444232 markings, 6814336 edges, 28392 markings/sec, 185 secs
lola: STP completed || 6 tries, 5785179 fired transitions, 190 secs || 5587193 markings, 6998372 edges, 28592 markings/sec, 190 secs
lola: STP completed || 6 tries, 5927167 fired transitions, 195 secs || 5709132 markings, 7152133 edges, 24388 markings/sec, 195 secs
lola: STP completed || 7 tries, 6070197 fired transitions, 200 secs || 5829556 markings, 7304264 edges, 24085 markings/sec, 200 secs
lola: STP completed || 7 tries, 6213775 fired transitions, 205 secs || 5949671 markings, 7458285 edges, 24023 markings/sec, 205 secs
lola: STP completed || 7 tries, 6353059 fired transitions, 210 secs || 6069953 markings, 7611669 edges, 24056 markings/sec, 210 secs
lola: STP completed || 7 tries, 6491714 fired transitions, 215 secs || 6192315 markings, 7767502 edges, 24472 markings/sec, 215 secs
lola: STP completed || 7 tries, 6634616 fired transitions, 220 secs || 6316870 markings, 7923710 edges, 24911 markings/sec, 220 secs
lola: STP completed || 7 tries, 6789454 fired transitions, 225 secs || 6467410 markings, 8115239 edges, 30108 markings/sec, 225 secs
lola: STP completed || 7 tries, 6944716 fired transitions, 230 secs || 6618096 markings, 8306776 edges, 30137 markings/sec, 230 secs
lola: STP completed || 8 tries, 7099964 fired transitions, 235 secs || 6769138 markings, 8492692 edges, 30208 markings/sec, 235 secs
lola: STP completed || 8 tries, 7254246 fired transitions, 240 secs || 6919680 markings, 8675700 edges, 30108 markings/sec, 240 secs
lola: STP completed || 8 tries, 7409135 fired transitions, 245 secs || 7072048 markings, 8862286 edges, 30474 markings/sec, 245 secs
lola: STP completed || 8 tries, 7564365 fired transitions, 250 secs || 7224062 markings, 9049768 edges, 30403 markings/sec, 250 secs
lola: STP completed || 8 tries, 7718446 fired transitions, 255 secs || 7376501 markings, 9238186 edges, 30488 markings/sec, 255 secs
lola: STP completed || 8 tries, 7873778 fired transitions, 260 secs || 7528858 markings, 9426953 edges, 30471 markings/sec, 260 secs
lola: STP completed || 9 tries, 8026333 fired transitions, 265 secs || 7680103 markings, 9615588 edges, 30249 markings/sec, 265 secs
lola: STP completed || 9 tries, 8180031 fired transitions, 270 secs || 7831764 markings, 9804667 edges, 30332 markings/sec, 270 secs
lola: STP completed || 9 tries, 8336741 fired transitions, 275 secs || 7982561 markings, 9993043 edges, 30159 markings/sec, 275 secs
lola: STP completed || 9 tries, 8490381 fired transitions, 280 secs || 8131770 markings, 10180022 edges, 29842 markings/sec, 280 secs
lola: STP completed || 9 tries, 8641556 fired transitions, 285 secs || 8280706 markings, 10366411 edges, 29787 markings/sec, 285 secs
lola: STP completed || 9 tries, 8799700 fired transitions, 290 secs || 8428457 markings, 10551740 edges, 29550 markings/sec, 290 secs
lola: STP completed || 9 tries, 8949263 fired transitions, 295 secs || 8575065 markings, 10737181 edges, 29322 markings/sec, 295 secs
lola: STP completed || 10 tries, 9095269 fired transitions, 300 secs || 8721975 markings, 10924462 edges, 29382 markings/sec, 300 secs
lola: STP completed || 10 tries, 9247792 fired transitions, 305 secs || 8871391 markings, 11113392 edges, 29883 markings/sec, 305 secs
lola: STP completed || 10 tries, 9400133 fired transitions, 310 secs || 9020120 markings, 11302694 edges, 29746 markings/sec, 310 secs
lola: STP completed || 10 tries, 9552877 fired transitions, 315 secs || 9166810 markings, 11488662 edges, 29338 markings/sec, 315 secs
lola: STP completed || 10 tries, 9702320 fired transitions, 320 secs || 9315701 markings, 11677727 edges, 29778 markings/sec, 320 secs
lola: STP completed || 10 tries, 9856673 fired transitions, 325 secs || 9466774 markings, 11869143 edges, 30215 markings/sec, 325 secs
lola: STP completed || 11 tries, 10009352 fired transitions, 330 secs || 9615786 markings, 12057733 edges, 29802 markings/sec, 330 secs
lola: STP completed || 11 tries, 10163340 fired transitions, 335 secs || 9765856 markings, 12248298 edges, 30014 markings/sec, 335 secs
lola: STP completed || 11 tries, 10307081 fired transitions, 340 secs || 9904543 markings, 12424946 edges, 27737 markings/sec, 340 secs
lola: STP completed || 11 tries, 10435238 fired transitions, 345 secs || 10027481 markings, 12582177 edges, 24588 markings/sec, 345 secs
lola: STP completed || 11 tries, 10563911 fired transitions, 350 secs || 10152059 markings, 12741528 edges, 24916 markings/sec, 350 secs
lola: STP completed || 11 tries, 10694233 fired transitions, 355 secs || 10275699 markings, 12900120 edges, 24728 markings/sec, 355 secs
lola: STP completed || 11 tries, 10824113 fired transitions, 360 secs || 10397706 markings, 13055400 edges, 24401 markings/sec, 360 secs
lola: STP completed || 11 tries, 10953976 fired transitions, 365 secs || 10520348 markings, 13210479 edges, 24528 markings/sec, 365 secs
lola: STP completed || 12 tries, 11084323 fired transitions, 370 secs || 10641980 markings, 13368731 edges, 24326 markings/sec, 370 secs
lola: STP completed || 12 tries, 11213790 fired transitions, 375 secs || 10763856 markings, 13523216 edges, 24375 markings/sec, 375 secs
lola: STP completed || 12 tries, 11343321 fired transitions, 380 secs || 10885025 markings, 13677960 edges, 24234 markings/sec, 380 secs
lola: STP completed || 12 tries, 11473033 fired transitions, 385 secs || 11006556 markings, 13835169 edges, 24306 markings/sec, 385 secs
lola: STP completed || 12 tries, 11602355 fired transitions, 390 secs || 11127779 markings, 13991689 edges, 24245 markings/sec, 390 secs
lola: STP completed || 12 tries, 11732172 fired transitions, 395 secs || 11249272 markings, 14146773 edges, 24299 markings/sec, 395 secs
lola: STP completed || 12 tries, 11861590 fired transitions, 400 secs || 11371001 markings, 14301447 edges, 24346 markings/sec, 400 secs
lola: STP completed || 12 tries, 11991625 fired transitions, 405 secs || 11492559 markings, 14457152 edges, 24312 markings/sec, 405 secs
lola: STP completed || 13 tries, 12121940 fired transitions, 410 secs || 11615916 markings, 14614397 edges, 24671 markings/sec, 410 secs
lola: STP completed || 13 tries, 12254376 fired transitions, 415 secs || 11740404 markings, 14772704 edges, 24898 markings/sec, 415 secs
lola: STP completed || 13 tries, 12387248 fired transitions, 420 secs || 11864980 markings, 14932659 edges, 24915 markings/sec, 420 secs
lola: STP completed || 13 tries, 12519623 fired transitions, 425 secs || 11990073 markings, 15091672 edges, 25019 markings/sec, 425 secs
lola: STP completed || 13 tries, 12654526 fired transitions, 430 secs || 12116851 markings, 15254077 edges, 25356 markings/sec, 430 secs
lola: STP completed || 13 tries, 12788576 fired transitions, 435 secs || 12240946 markings, 15415989 edges, 24819 markings/sec, 435 secs
lola: STP completed || 13 tries, 12920837 fired transitions, 440 secs || 12365119 markings, 15575901 edges, 24835 markings/sec, 440 secs
lola: STP completed || 14 tries, 13053220 fired transitions, 445 secs || 12491065 markings, 15736610 edges, 25189 markings/sec, 445 secs
lola: STP completed || 14 tries, 13184984 fired transitions, 450 secs || 12617579 markings, 15899853 edges, 25303 markings/sec, 450 secs
lola: STP completed || 14 tries, 13316306 fired transitions, 455 secs || 12749221 markings, 16069728 edges, 26328 markings/sec, 455 secs
lola: STP completed || 14 tries, 13461741 fired transitions, 460 secs || 12891888 markings, 16254690 edges, 28533 markings/sec, 460 secs
lola: STP completed || 14 tries, 13611574 fired transitions, 465 secs || 13040041 markings, 16446234 edges, 29631 markings/sec, 465 secs
lola: STP completed || 14 tries, 13762279 fired transitions, 470 secs || 13188533 markings, 16637150 edges, 29698 markings/sec, 470 secs
lola: STP completed || 14 tries, 13912807 fired transitions, 475 secs || 13336966 markings, 16828662 edges, 29687 markings/sec, 475 secs
lola: STP completed || 15 tries, 14065363 fired transitions, 480 secs || 13488286 markings, 17024412 edges, 30264 markings/sec, 480 secs
lola: STP completed || 15 tries, 14221199 fired transitions, 485 secs || 13634596 markings, 17213467 edges, 29262 markings/sec, 485 secs
lola: STP completed || 15 tries, 14376244 fired transitions, 490 secs || 13783879 markings, 17408148 edges, 29857 markings/sec, 490 secs
lola: STP completed || 15 tries, 14531923 fired transitions, 495 secs || 13934286 markings, 17602631 edges, 30081 markings/sec, 495 secs
lola: STP completed || 15 tries, 14685641 fired transitions, 500 secs || 14085917 markings, 17799417 edges, 30326 markings/sec, 500 secs
lola: STP completed || 15 tries, 14839155 fired transitions, 505 secs || 14234806 markings, 17993267 edges, 29778 markings/sec, 505 secs
lola: STP completed || 15 tries, 14993198 fired transitions, 510 secs || 14384223 markings, 18188131 edges, 29883 markings/sec, 510 secs
lola: STP completed || 16 tries, 15147475 fired transitions, 515 secs || 14535289 markings, 18382246 edges, 30213 markings/sec, 515 secs
lola: STP completed || 16 tries, 15299380 fired transitions, 520 secs || 14684837 markings, 18576306 edges, 29910 markings/sec, 520 secs
lola: STP completed || 16 tries, 15450203 fired transitions, 525 secs || 14834217 markings, 18768269 edges, 29876 markings/sec, 525 secs
lola: STP completed || 16 tries, 15602310 fired transitions, 530 secs || 14983641 markings, 18962424 edges, 29885 markings/sec, 530 secs
lola: STP completed || 16 tries, 15754958 fired transitions, 535 secs || 15132794 markings, 19153371 edges, 29831 markings/sec, 535 secs
lola: STP completed || 16 tries, 15905755 fired transitions, 540 secs || 15280308 markings, 19345929 edges, 29503 markings/sec, 540 secs
lola: STP completed || 17 tries, 16057306 fired transitions, 545 secs || 15429011 markings, 19538539 edges, 29741 markings/sec, 545 secs
lola: STP completed || 17 tries, 16207720 fired transitions, 550 secs || 15576988 markings, 19730282 edges, 29595 markings/sec, 550 secs
lola: STP completed || 17 tries, 16355878 fired transitions, 555 secs || 15722060 markings, 19918408 edges, 29014 markings/sec, 555 secs
lola: STP completed || 17 tries, 16504946 fired transitions, 560 secs || 15868553 markings, 20108801 edges, 29299 markings/sec, 560 secs
lola: STP completed || 17 tries, 16650798 fired transitions, 565 secs || 16014032 markings, 20298824 edges, 29096 markings/sec, 565 secs
lola: STP completed || 17 tries, 16801551 fired transitions, 570 secs || 16157426 markings, 20486594 edges, 28679 markings/sec, 570 secs
lola: STP completed || 17 tries, 16954275 fired transitions, 575 secs || 16306996 markings, 20681621 edges, 29914 markings/sec, 575 secs
lola: STP completed || 18 tries, 17105001 fired transitions, 580 secs || 16456267 markings, 20875980 edges, 29854 markings/sec, 580 secs
lola: STP completed || 18 tries, 17261680 fired transitions, 585 secs || 16604955 markings, 21070342 edges, 29738 markings/sec, 585 secs
lola: STP completed || 18 tries, 17414732 fired transitions, 590 secs || 16754073 markings, 21265370 edges, 29824 markings/sec, 590 secs
lola: STP completed || 18 tries, 17568089 fired transitions, 595 secs || 16902767 markings, 21459066 edges, 29739 markings/sec, 595 secs
lola: STP completed || 18 tries, 17722890 fired transitions, 600 secs || 17051635 markings, 21653837 edges, 29774 markings/sec, 600 secs
lola: STP completed || 18 tries, 17872456 fired transitions, 605 secs || 17198893 markings, 21848123 edges, 29452 markings/sec, 605 secs
lola: STP completed || 19 tries, 18022250 fired transitions, 610 secs || 17343556 markings, 22036358 edges, 28933 markings/sec, 610 secs
lola: STP completed || 19 tries, 18172389 fired transitions, 615 secs || 17490505 markings, 22227398 edges, 29390 markings/sec, 615 secs
lola: STP completed || 19 tries, 18323913 fired transitions, 620 secs || 17637697 markings, 22420957 edges, 29438 markings/sec, 620 secs
lola: STP completed || 19 tries, 18473663 fired transitions, 625 secs || 17784641 markings, 22611919 edges, 29389 markings/sec, 625 secs
lola: STP completed || 19 tries, 18621503 fired transitions, 630 secs || 17928939 markings, 22801518 edges, 28860 markings/sec, 630 secs
lola: STP completed || 19 tries, 18769217 fired transitions, 635 secs || 18075166 markings, 22995295 edges, 29245 markings/sec, 635 secs
lola: STP completed || 19 tries, 18921530 fired transitions, 640 secs || 18222272 markings, 23188192 edges, 29421 markings/sec, 640 secs
lola: STP completed || 20 tries, 19072854 fired transitions, 645 secs || 18368172 markings, 23377591 edges, 29180 markings/sec, 645 secs
lola: STP completed || 20 tries, 19224568 fired transitions, 650 secs || 18513883 markings, 23568304 edges, 29142 markings/sec, 650 secs
lola: STP completed || 20 tries, 19377084 fired transitions, 655 secs || 18660845 markings, 23760426 edges, 29392 markings/sec, 655 secs
lola: STP completed || 20 tries, 19532343 fired transitions, 660 secs || 18810473 markings, 23956405 edges, 29926 markings/sec, 660 secs
lola: STP completed || 20 tries, 19688091 fired transitions, 665 secs || 18959188 markings, 24150989 edges, 29743 markings/sec, 665 secs
lola: STP completed || 20 tries, 19841164 fired transitions, 670 secs || 19106493 markings, 24343693 edges, 29461 markings/sec, 670 secs
lola: STP completed || 20 tries, 19992114 fired transitions, 675 secs || 19253161 markings, 24535879 edges, 29334 markings/sec, 675 secs
lola: STP completed || 21 tries, 20142032 fired transitions, 680 secs || 19397356 markings, 24724775 edges, 28839 markings/sec, 680 secs
lola: STP completed || 21 tries, 20295682 fired transitions, 685 secs || 19545076 markings, 24917051 edges, 29544 markings/sec, 685 secs
lola: STP completed || 21 tries, 20446836 fired transitions, 690 secs || 19690567 markings, 25108377 edges, 29098 markings/sec, 690 secs
lola: STP completed || 21 tries, 20602195 fired transitions, 695 secs || 19838918 markings, 25302593 edges, 29670 markings/sec, 695 secs
lola: STP completed || 21 tries, 20753116 fired transitions, 700 secs || 19983218 markings, 25491460 edges, 28860 markings/sec, 700 secs
lola: STP completed || 21 tries, 20901417 fired transitions, 705 secs || 20126001 markings, 25679101 edges, 28557 markings/sec, 705 secs
lola: STP completed || 22 tries, 21054761 fired transitions, 710 secs || 20274490 markings, 25875563 edges, 29698 markings/sec, 710 secs
lola: STP completed || 22 tries, 21203168 fired transitions, 715 secs || 20417082 markings, 26062234 edges, 28518 markings/sec, 715 secs
lola: STP completed || 22 tries, 21354808 fired transitions, 720 secs || 20564994 markings, 26258262 edges, 29582 markings/sec, 720 secs
lola: STP completed || 22 tries, 21505799 fired transitions, 725 secs || 20709963 markings, 26448929 edges, 28994 markings/sec, 725 secs
lola: STP completed || 22 tries, 21655207 fired transitions, 730 secs || 20854999 markings, 26638977 edges, 29007 markings/sec, 730 secs
lola: STP completed || 22 tries, 21804596 fired transitions, 735 secs || 20997559 markings, 26829704 edges, 28512 markings/sec, 735 secs
lola: STP completed || 22 tries, 21954472 fired transitions, 740 secs || 21143448 markings, 27023020 edges, 29178 markings/sec, 740 secs
lola: STP completed || 23 tries, 22104757 fired transitions, 745 secs || 21288210 markings, 27212574 edges, 28952 markings/sec, 745 secs
lola: STP completed || 23 tries, 22258013 fired transitions, 750 secs || 21436605 markings, 27410208 edges, 29679 markings/sec, 750 secs
lola: STP completed || 23 tries, 22410962 fired transitions, 755 secs || 21585499 markings, 27604326 edges, 29779 markings/sec, 755 secs
lola: STP completed || 23 tries, 22564113 fired transitions, 760 secs || 21734506 markings, 27801192 edges, 29801 markings/sec, 760 secs
lola: STP completed || 23 tries, 22715829 fired transitions, 765 secs || 21881570 markings, 27994554 edges, 29413 markings/sec, 765 secs
lola: STP completed || 23 tries, 22863082 fired transitions, 770 secs || 22024496 markings, 28182472 edges, 28585 markings/sec, 770 secs
lola: STP completed || 24 tries, 23008279 fired transitions, 775 secs || 22164046 markings, 28368708 edges, 27910 markings/sec, 775 secs
lola: STP completed || 24 tries, 23152107 fired transitions, 780 secs || 22299283 markings, 28547164 edges, 27047 markings/sec, 780 secs
lola: STP completed || 24 tries, 23281286 fired transitions, 785 secs || 22421425 markings, 28708916 edges, 24428 markings/sec, 785 secs
lola: STP completed || 24 tries, 23410436 fired transitions, 790 secs || 22543424 markings, 28871154 edges, 24400 markings/sec, 790 secs
lola: STP completed || 24 tries, 23539742 fired transitions, 795 secs || 22667026 markings, 29034664 edges, 24720 markings/sec, 795 secs
lola: STP completed || 24 tries, 23668739 fired transitions, 800 secs || 22793246 markings, 29201623 edges, 25244 markings/sec, 800 secs
lola: STP completed || 24 tries, 23798002 fired transitions, 805 secs || 22914656 markings, 29362217 edges, 24282 markings/sec, 805 secs
lola: STP completed || 24 tries, 23927326 fired transitions, 810 secs || 23035625 markings, 29523700 edges, 24194 markings/sec, 810 secs
lola: STP completed || 25 tries, 24056596 fired transitions, 815 secs || 23157502 markings, 29686894 edges, 24375 markings/sec, 815 secs
lola: STP completed || 25 tries, 24185896 fired transitions, 820 secs || 23278709 markings, 29847100 edges, 24241 markings/sec, 820 secs
lola: STP completed || 25 tries, 24315153 fired transitions, 825 secs || 23401100 markings, 30009933 edges, 24478 markings/sec, 825 secs
lola: STP completed || 25 tries, 24443033 fired transitions, 830 secs || 23533102 markings, 30184676 edges, 26400 markings/sec, 830 secs
lola: STP completed || 25 tries, 24570759 fired transitions, 835 secs || 23665382 markings, 30361000 edges, 26456 markings/sec, 835 secs
lola: STP completed || 25 tries, 24698830 fired transitions, 840 secs || 23797385 markings, 30537431 edges, 26401 markings/sec, 840 secs
lola: STP completed || 25 tries, 24826066 fired transitions, 845 secs || 23926853 markings, 30709813 edges, 25894 markings/sec, 845 secs
lola: STP completed || 25 tries, 24970181 fired transitions, 850 secs || 24070208 markings, 30899811 edges, 28671 markings/sec, 850 secs
lola: STP completed || 26 tries, 25123193 fired transitions, 855 secs || 24217687 markings, 31095843 edges, 29496 markings/sec, 855 secs
lola: STP completed || 26 tries, 25273559 fired transitions, 860 secs || 24362691 markings, 31287646 edges, 29001 markings/sec, 860 secs
lola: STP completed || 26 tries, 25426436 fired transitions, 865 secs || 24510268 markings, 31484343 edges, 29515 markings/sec, 865 secs
lola: STP completed || 26 tries, 25580068 fired transitions, 870 secs || 24656496 markings, 31677296 edges, 29246 markings/sec, 870 secs
lola: STP completed || 26 tries, 25732048 fired transitions, 875 secs || 24801860 markings, 31872780 edges, 29073 markings/sec, 875 secs
lola: STP completed || 26 tries, 25875740 fired transitions, 880 secs || 24942857 markings, 32059006 edges, 28199 markings/sec, 880 secs
lola: STP completed || 27 tries, 26020986 fired transitions, 885 secs || 25083566 markings, 32246750 edges, 28142 markings/sec, 885 secs
lola: STP completed || 27 tries, 26166960 fired transitions, 890 secs || 25226547 markings, 32437274 edges, 28596 markings/sec, 890 secs
lola: STP completed || 27 tries, 26311847 fired transitions, 895 secs || 25367654 markings, 32625050 edges, 28221 markings/sec, 895 secs
lola: STP completed || 27 tries, 26454741 fired transitions, 900 secs || 25508081 markings, 32812071 edges, 28085 markings/sec, 900 secs
lola: STP completed || 27 tries, 26597709 fired transitions, 905 secs || 25648346 markings, 32999040 edges, 28053 markings/sec, 905 secs
lola: STP completed || 27 tries, 26741465 fired transitions, 910 secs || 25789165 markings, 33185860 edges, 28164 markings/sec, 910 secs
lola: STP completed || 27 tries, 26886619 fired transitions, 915 secs || 25927580 markings, 33371668 edges, 27683 markings/sec, 915 secs
lola: STP completed || 28 tries, 27040305 fired transitions, 920 secs || 26073002 markings, 33565229 edges, 29084 markings/sec, 920 secs
lola: STP completed || 28 tries, 27197656 fired transitions, 925 secs || 26222398 markings, 33766485 edges, 29879 markings/sec, 925 secs
lola: STP completed || 28 tries, 27350753 fired transitions, 930 secs || 26368674 markings, 33961958 edges, 29255 markings/sec, 930 secs
lola: STP completed || 28 tries, 27495243 fired transitions, 935 secs || 26512294 markings, 34152244 edges, 28724 markings/sec, 935 secs
lola: STP completed || 28 tries, 27646403 fired transitions, 940 secs || 26659248 markings, 34347332 edges, 29391 markings/sec, 940 secs
lola: STP completed || 28 tries, 27799243 fired transitions, 945 secs || 26809324 markings, 34547131 edges, 30015 markings/sec, 945 secs
lola: STP completed || 28 tries, 27949713 fired transitions, 950 secs || 26955420 markings, 34741457 edges, 29219 markings/sec, 950 secs
lola: STP completed || 29 tries, 28104457 fired transitions, 955 secs || 27104206 markings, 34941370 edges, 29757 markings/sec, 955 secs
lola: STP completed || 29 tries, 28258067 fired transitions, 960 secs || 27252417 markings, 35139491 edges, 29642 markings/sec, 960 secs
lola: STP completed || 29 tries, 28413307 fired transitions, 965 secs || 27400643 markings, 35339752 edges, 29645 markings/sec, 965 secs
lola: STP completed || 29 tries, 28566137 fired transitions, 970 secs || 27548938 markings, 35538639 edges, 29659 markings/sec, 970 secs
lola: STP completed || 29 tries, 28716016 fired transitions, 975 secs || 27693285 markings, 35733059 edges, 28869 markings/sec, 975 secs
lola: STP completed || 29 tries, 28865988 fired transitions, 980 secs || 27837923 markings, 35926178 edges, 28928 markings/sec, 980 secs
lola: STP completed || 30 tries, 29015106 fired transitions, 985 secs || 27982771 markings, 36119702 edges, 28970 markings/sec, 985 secs
lola: STP completed || 30 tries, 29162363 fired transitions, 990 secs || 28127960 markings, 36315001 edges, 29038 markings/sec, 990 secs
lola: STP completed || 30 tries, 29311932 fired transitions, 995 secs || 28273004 markings, 36507232 edges, 29009 markings/sec, 995 secs
lola: STP completed || 30 tries, 29461516 fired transitions, 1000 secs || 28417709 markings, 36701758 edges, 28941 markings/sec, 1000 secs
lola: STP completed || 30 tries, 29611228 fired transitions, 1005 secs || 28561336 markings, 36894885 edges, 28725 markings/sec, 1005 secs
lola: STP completed || 30 tries, 29759102 fired transitions, 1010 secs || 28706952 markings, 37089893 edges, 29123 markings/sec, 1010 secs
lola: STP completed || 30 tries, 29909986 fired transitions, 1015 secs || 28852824 markings, 37286302 edges, 29174 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30059435 fired transitions, 1020 secs || 28997165 markings, 37481861 edges, 28868 markings/sec, 1020 secs
lola: STP completed || 31 tries, 30209231 fired transitions, 1025 secs || 29141664 markings, 37678135 edges, 28900 markings/sec, 1025 secs
lola: STP completed || 31 tries, 30360879 fired transitions, 1030 secs || 29288380 markings, 37874757 edges, 29343 markings/sec, 1030 secs
lola: STP completed || 31 tries, 30509931 fired transitions, 1035 secs || 29432902 markings, 38067308 edges, 28904 markings/sec, 1035 secs
lola: STP completed || 31 tries, 30658829 fired transitions, 1040 secs || 29577079 markings, 38259601 edges, 28835 markings/sec, 1040 secs
lola: STP completed || 31 tries, 30808640 fired transitions, 1045 secs || 29721984 markings, 38453462 edges, 28981 markings/sec, 1045 secs
lola: STP completed || 31 tries, 30957572 fired transitions, 1050 secs || 29866692 markings, 38647044 edges, 28942 markings/sec, 1050 secs
lola: STP completed || 32 tries, 31107712 fired transitions, 1055 secs || 30012182 markings, 38842910 edges, 29098 markings/sec, 1055 secs
lola: STP completed || 32 tries, 31256942 fired transitions, 1060 secs || 30156825 markings, 39039759 edges, 28929 markings/sec, 1060 secs
lola: STP completed || 32 tries, 31406445 fired transitions, 1065 secs || 30301775 markings, 39232832 edges, 28990 markings/sec, 1065 secs
lola: STP completed || 32 tries, 31555173 fired transitions, 1070 secs || 30446100 markings, 39429194 edges, 28865 markings/sec, 1070 secs
lola: STP completed || 32 tries, 31707029 fired transitions, 1075 secs || 30594366 markings, 39627704 edges, 29653 markings/sec, 1075 secs
lola: STP completed || 32 tries, 31856328 fired transitions, 1080 secs || 30736394 markings, 39821499 edges, 28406 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32002009 fired transitions, 1085 secs || 30881036 markings, 40015259 edges, 28928 markings/sec, 1085 secs
lola: STP completed || 33 tries, 32150862 fired transitions, 1090 secs || 31025300 markings, 40211374 edges, 28853 markings/sec, 1090 secs
lola: STP completed || 33 tries, 32302117 fired transitions, 1095 secs || 31170449 markings, 40408521 edges, 29030 markings/sec, 1095 secs
lola: STP completed || 33 tries, 32451859 fired transitions, 1100 secs || 31315546 markings, 40600710 edges, 29019 markings/sec, 1100 secs
lola: STP completed || 33 tries, 32601090 fired transitions, 1105 secs || 31460653 markings, 40795371 edges, 29021 markings/sec, 1105 secs
lola: STP completed || 33 tries, 32752399 fired transitions, 1110 secs || 31606817 markings, 40991921 edges, 29233 markings/sec, 1110 secs
lola: STP completed || 33 tries, 32907201 fired transitions, 1115 secs || 31756013 markings, 41193582 edges, 29839 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33059684 fired transitions, 1120 secs || 31902012 markings, 41389622 edges, 29200 markings/sec, 1120 secs
lola: STP completed || 34 tries, 33209417 fired transitions, 1125 secs || 32045698 markings, 41584726 edges, 28737 markings/sec, 1125 secs
lola: STP completed || 34 tries, 33358821 fired transitions, 1130 secs || 32189783 markings, 41780303 edges, 28817 markings/sec, 1130 secs
lola: STP completed || 34 tries, 33507862 fired transitions, 1135 secs || 32334424 markings, 41976327 edges, 28928 markings/sec, 1135 secs
lola: STP completed || 34 tries, 33658055 fired transitions, 1140 secs || 32478374 markings, 42170144 edges, 28790 markings/sec, 1140 secs
lola: STP completed || 34 tries, 33807274 fired transitions, 1145 secs || 32623306 markings, 42365269 edges, 28986 markings/sec, 1145 secs
lola: STP completed || 34 tries, 33958088 fired transitions, 1150 secs || 32769955 markings, 42561786 edges, 29330 markings/sec, 1150 secs
lola: STP completed || 35 tries, 34111444 fired transitions, 1155 secs || 32917370 markings, 42762241 edges, 29483 markings/sec, 1155 secs
lola: STP completed || 35 tries, 34262690 fired transitions, 1160 secs || 33064939 markings, 42960742 edges, 29514 markings/sec, 1160 secs
lola: STP completed || 35 tries, 34416866 fired transitions, 1165 secs || 33214062 markings, 43162776 edges, 29825 markings/sec, 1165 secs
lola: STP completed || 35 tries, 34567897 fired transitions, 1170 secs || 33361267 markings, 43363109 edges, 29441 markings/sec, 1170 secs
lola: STP completed || 35 tries, 34719644 fired transitions, 1175 secs || 33507810 markings, 43561799 edges, 29309 markings/sec, 1175 secs
lola: STP completed || 35 tries, 34875390 fired transitions, 1180 secs || 33657416 markings, 43763006 edges, 29921 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35031148 fired transitions, 1185 secs || 33807558 markings, 43966744 edges, 30028 markings/sec, 1185 secs
lola: STP completed || 36 tries, 35185462 fired transitions, 1190 secs || 33955767 markings, 44170013 edges, 29642 markings/sec, 1190 secs
lola: STP completed || 36 tries, 35339232 fired transitions, 1195 secs || 34105305 markings, 44371399 edges, 29908 markings/sec, 1195 secs
lola: STP completed || 36 tries, 35495069 fired transitions, 1200 secs || 34253575 markings, 44572543 edges, 29654 markings/sec, 1200 secs
lola: STP completed || 36 tries, 35649660 fired transitions, 1205 secs || 34402864 markings, 44773664 edges, 29858 markings/sec, 1205 secs
lola: STP completed || 36 tries, 35806529 fired transitions, 1210 secs || 34551790 markings, 44973359 edges, 29785 markings/sec, 1210 secs
lola: STP completed || 36 tries, 35961080 fired transitions, 1215 secs || 34699018 markings, 45172181 edges, 29446 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36116940 fired transitions, 1220 secs || 34847313 markings, 45373508 edges, 29659 markings/sec, 1220 secs
lola: STP completed || 37 tries, 36272348 fired transitions, 1225 secs || 34995925 markings, 45573702 edges, 29722 markings/sec, 1225 secs
lola: STP completed || 37 tries, 36426894 fired transitions, 1230 secs || 35144852 markings, 45774706 edges, 29785 markings/sec, 1230 secs
lola: STP completed || 37 tries, 36581499 fired transitions, 1235 secs || 35293798 markings, 45977333 edges, 29789 markings/sec, 1235 secs
lola: STP completed || 37 tries, 36736248 fired transitions, 1240 secs || 35442829 markings, 46180871 edges, 29806 markings/sec, 1240 secs
lola: STP completed || 37 tries, 36890799 fired transitions, 1245 secs || 35590797 markings, 46380236 edges, 29594 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37045638 fired transitions, 1250 secs || 35740176 markings, 46582748 edges, 29876 markings/sec, 1250 secs
lola: STP completed || 38 tries, 37199686 fired transitions, 1255 secs || 35888210 markings, 46785978 edges, 29607 markings/sec, 1255 secs
lola: STP completed || 38 tries, 37350844 fired transitions, 1260 secs || 36033211 markings, 46983351 edges, 29000 markings/sec, 1260 secs
lola: STP completed || 38 tries, 37500420 fired transitions, 1265 secs || 36177197 markings, 47178304 edges, 28797 markings/sec, 1265 secs
lola: STP completed || 38 tries, 37654963 fired transitions, 1270 secs || 36326112 markings, 47379895 edges, 29783 markings/sec, 1270 secs
lola: STP completed || 38 tries, 37808724 fired transitions, 1275 secs || 36474804 markings, 47582700 edges, 29738 markings/sec, 1275 secs
lola: STP completed || 38 tries, 37963458 fired transitions, 1280 secs || 36623548 markings, 47784175 edges, 29749 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38118029 fired transitions, 1285 secs || 36773438 markings, 47986563 edges, 29978 markings/sec, 1285 secs
lola: STP completed || 39 tries, 38272707 fired transitions, 1290 secs || 36922158 markings, 48188238 edges, 29744 markings/sec, 1290 secs
lola: STP completed || 39 tries, 38426738 fired transitions, 1295 secs || 37071624 markings, 48391623 edges, 29893 markings/sec, 1295 secs
lola: STP completed || 39 tries, 38582600 fired transitions, 1300 secs || 37219998 markings, 48594340 edges, 29675 markings/sec, 1300 secs
lola: STP completed || 39 tries, 38730253 fired transitions, 1305 secs || 37364426 markings, 48789560 edges, 28886 markings/sec, 1305 secs
lola: STP completed || 39 tries, 38880134 fired transitions, 1310 secs || 37504620 markings, 48981456 edges, 28039 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39031057 fired transitions, 1315 secs || 37652076 markings, 49182329 edges, 29491 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39184281 fired transitions, 1320 secs || 37800360 markings, 49385546 edges, 29657 markings/sec, 1320 secs
lola: STP completed || 40 tries, 39340205 fired transitions, 1325 secs || 37943236 markings, 49580373 edges, 28575 markings/sec, 1325 secs
lola: STP completed || 40 tries, 39492662 fired transitions, 1330 secs || 38082917 markings, 49773457 edges, 27936 markings/sec, 1330 secs
lola: STP completed || 40 tries, 39642527 fired transitions, 1335 secs || 38225155 markings, 49968206 edges, 28448 markings/sec, 1335 secs
lola: STP completed || 40 tries, 39791447 fired transitions, 1340 secs || 38368806 markings, 50163921 edges, 28730 markings/sec, 1340 secs
lola: STP completed || 40 tries, 39945856 fired transitions, 1345 secs || 38518955 markings, 50368470 edges, 30030 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40100178 fired transitions, 1350 secs || 38668806 markings, 50570281 edges, 29970 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40253874 fired transitions, 1355 secs || 38817124 markings, 50772301 edges, 29664 markings/sec, 1355 secs
lola: STP completed || 41 tries, 40408614 fired transitions, 1360 secs || 38964707 markings, 50973045 edges, 29517 markings/sec, 1360 secs
lola: STP completed || 41 tries, 40565709 fired transitions, 1365 secs || 39112005 markings, 51172997 edges, 29460 markings/sec, 1365 secs
lola: STP completed || 41 tries, 40723192 fired transitions, 1370 secs || 39260143 markings, 51375261 edges, 29628 markings/sec, 1370 secs
lola: STP completed || 41 tries, 40879919 fired transitions, 1375 secs || 39408378 markings, 51578270 edges, 29647 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41038678 fired transitions, 1380 secs || 39557182 markings, 51782169 edges, 29761 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41198805 fired transitions, 1385 secs || 39707021 markings, 51988310 edges, 29968 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41353929 fired transitions, 1390 secs || 39852986 markings, 52187218 edges, 29193 markings/sec, 1390 secs
lola: STP completed || 42 tries, 41509131 fired transitions, 1395 secs || 39999091 markings, 52386448 edges, 29221 markings/sec, 1395 secs
lola: STP completed || 42 tries, 41667251 fired transitions, 1400 secs || 40147866 markings, 52588050 edges, 29755 markings/sec, 1400 secs
lola: STP completed || 42 tries, 41824857 fired transitions, 1405 secs || 40296351 markings, 52788738 edges, 29697 markings/sec, 1405 secs
lola: STP completed || 42 tries, 41982619 fired transitions, 1410 secs || 40445084 markings, 52987887 edges, 29747 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42140900 fired transitions, 1415 secs || 40593383 markings, 53190802 edges, 29660 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42298647 fired transitions, 1420 secs || 40741436 markings, 53393394 edges, 29611 markings/sec, 1420 secs
lola: STP completed || 43 tries, 42456729 fired transitions, 1425 secs || 40889786 markings, 53594656 edges, 29670 markings/sec, 1425 secs
lola: STP completed || 43 tries, 42617428 fired transitions, 1430 secs || 41040446 markings, 53800791 edges, 30132 markings/sec, 1430 secs
lola: STP completed || 43 tries, 42776086 fired transitions, 1435 secs || 41189598 markings, 54003353 edges, 29830 markings/sec, 1435 secs
lola: STP completed || 43 tries, 42934524 fired transitions, 1440 secs || 41338481 markings, 54205057 edges, 29777 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43092633 fired transitions, 1445 secs || 41486568 markings, 54408068 edges, 29617 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43251038 fired transitions, 1450 secs || 41635135 markings, 54610447 edges, 29713 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43412796 fired transitions, 1455 secs || 41786998 markings, 54817334 edges, 30373 markings/sec, 1455 secs
lola: STP completed || 44 tries, 43576225 fired transitions, 1460 secs || 41940002 markings, 55027656 edges, 30601 markings/sec, 1460 secs
lola: STP completed || 44 tries, 43739439 fired transitions, 1465 secs || 42093005 markings, 55237793 edges, 30601 markings/sec, 1465 secs
lola: STP completed || 44 tries, 43897037 fired transitions, 1470 secs || 42241400 markings, 55442033 edges, 29679 markings/sec, 1470 secs
lola: STP completed || 45 tries, 44055488 fired transitions, 1475 secs || 42390346 markings, 55645107 edges, 29789 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44213631 fired transitions, 1480 secs || 42538970 markings, 55847728 edges, 29725 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44374977 fired transitions, 1485 secs || 42690608 markings, 56053497 edges, 30328 markings/sec, 1485 secs
lola: STP completed || 45 tries, 44534603 fired transitions, 1490 secs || 42840059 markings, 56259812 edges, 29890 markings/sec, 1490 secs
lola: STP completed || 45 tries, 44692207 fired transitions, 1495 secs || 42988278 markings, 56462414 edges, 29644 markings/sec, 1495 secs
lola: STP completed || 45 tries, 44851484 fired transitions, 1500 secs || 43138125 markings, 56667411 edges, 29969 markings/sec, 1500 secs
lola: STP completed || 46 tries, 45011874 fired transitions, 1505 secs || 43288441 markings, 56872170 edges, 30063 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45170023 fired transitions, 1510 secs || 43436990 markings, 57075141 edges, 29710 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45328271 fired transitions, 1515 secs || 43585284 markings, 57277684 edges, 29659 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45486457 fired transitions, 1520 secs || 43733967 markings, 57479987 edges, 29737 markings/sec, 1520 secs
lola: STP completed || 46 tries, 45645035 fired transitions, 1525 secs || 43883443 markings, 57682238 edges, 29895 markings/sec, 1525 secs
lola: STP completed || 46 tries, 45806896 fired transitions, 1530 secs || 44035556 markings, 57889503 edges, 30423 markings/sec, 1530 secs
lola: STP completed || 46 tries, 45964749 fired transitions, 1535 secs || 44183910 markings, 58091354 edges, 29671 markings/sec, 1535 secs
lola: STP completed || 47 tries, 46122560 fired transitions, 1540 secs || 44332681 markings, 58293827 edges, 29754 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46280863 fired transitions, 1545 secs || 44481170 markings, 58496552 edges, 29698 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46438558 fired transitions, 1550 secs || 44628915 markings, 58700164 edges, 29549 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46596544 fired transitions, 1555 secs || 44777553 markings, 58903433 edges, 29728 markings/sec, 1555 secs
lola: STP completed || 47 tries, 46754100 fired transitions, 1560 secs || 44925541 markings, 59105480 edges, 29598 markings/sec, 1560 secs
lola: STP completed || 47 tries, 46913184 fired transitions, 1565 secs || 45074867 markings, 59308341 edges, 29865 markings/sec, 1565 secs
lola: STP completed || 48 tries, 47068073 fired transitions, 1570 secs || 45221025 markings, 59508876 edges, 29232 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47221766 fired transitions, 1575 secs || 45365470 markings, 59706023 edges, 28889 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47376500 fired transitions, 1580 secs || 45510403 markings, 59903251 edges, 28987 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47533352 fired transitions, 1585 secs || 45657123 markings, 60104112 edges, 29344 markings/sec, 1585 secs
lola: STP completed || 48 tries, 47692706 fired transitions, 1590 secs || 45807103 markings, 60308969 edges, 29996 markings/sec, 1590 secs
lola: STP completed || 48 tries, 47850641 fired transitions, 1595 secs || 45955668 markings, 60511795 edges, 29713 markings/sec, 1595 secs
lola: STP completed || 48 tries, 47994480 fired transitions, 1600 secs || 46092634 markings, 60698200 edges, 27393 markings/sec, 1600 secs
lola: STP completed || 49 tries, 48143210 fired transitions, 1605 secs || 46233286 markings, 60889496 edges, 28130 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48288886 fired transitions, 1610 secs || 46372364 markings, 61080915 edges, 27816 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48441533 fired transitions, 1615 secs || 46516497 markings, 61277413 edges, 28827 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48598193 fired transitions, 1620 secs || 46663977 markings, 61478647 edges, 29496 markings/sec, 1620 secs
lola: STP completed || 49 tries, 48756343 fired transitions, 1625 secs || 46812172 markings, 61683646 edges, 29639 markings/sec, 1625 secs
lola: STP completed || 49 tries, 48915703 fired transitions, 1630 secs || 46962011 markings, 61891570 edges, 29968 markings/sec, 1630 secs
lola: STP completed || 50 tries, 49077603 fired transitions, 1635 secs || 47113625 markings, 62100760 edges, 30323 markings/sec, 1635 secs
lola: STP completed || 50 tries, 49235140 fired transitions, 1640 secs || 47262266 markings, 62300780 edges, 29728 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49393293 fired transitions, 1645 secs || 47411189 markings, 62503604 edges, 29785 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49553537 fired transitions, 1650 secs || 47561855 markings, 62710248 edges, 30133 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49711863 fired transitions, 1655 secs || 47711006 markings, 62914677 edges, 29830 markings/sec, 1655 secs
lola: STP completed || 50 tries, 49869932 fired transitions, 1660 secs || 47859766 markings, 63119150 edges, 29752 markings/sec, 1660 secs
lola: STP completed || 51 tries, 50031378 fired transitions, 1665 secs || 48011182 markings, 63329856 edges, 30283 markings/sec, 1665 secs
lola: STP completed || 51 tries, 50191372 fired transitions, 1670 secs || 48161872 markings, 63535605 edges, 30138 markings/sec, 1670 secs
lola: STP completed || 51 tries, 50355012 fired transitions, 1675 secs || 48315992 markings, 63744313 edges, 30824 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50514773 fired transitions, 1680 secs || 48465538 markings, 63953242 edges, 29909 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50672637 fired transitions, 1685 secs || 48613835 markings, 64159563 edges, 29659 markings/sec, 1685 secs
lola: STP completed || 51 tries, 50831014 fired transitions, 1690 secs || 48762688 markings, 64363631 edges, 29771 markings/sec, 1690 secs
lola: STP completed || 51 tries, 50990607 fired transitions, 1695 secs || 48914430 markings, 64572352 edges, 30348 markings/sec, 1695 secs
lola: STP completed || 52 tries, 51152315 fired transitions, 1700 secs || 49066278 markings, 64780813 edges, 30370 markings/sec, 1700 secs
lola: STP completed || 52 tries, 51313037 fired transitions, 1705 secs || 49217864 markings, 64988708 edges, 30317 markings/sec, 1705 secs
lola: STP completed || 52 tries, 51474594 fired transitions, 1710 secs || 49372503 markings, 65199044 edges, 30928 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51634858 fired transitions, 1715 secs || 49525929 markings, 65409536 edges, 30685 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51794522 fired transitions, 1720 secs || 49679401 markings, 65623402 edges, 30694 markings/sec, 1720 secs
lola: STP completed || 52 tries, 51954092 fired transitions, 1725 secs || 49832422 markings, 65832834 edges, 30604 markings/sec, 1725 secs
lola: STP completed || 53 tries, 52111904 fired transitions, 1730 secs || 49985898 markings, 66041571 edges, 30695 markings/sec, 1730 secs
lola: STP completed || 53 tries, 52259940 fired transitions, 1735 secs || 50128557 markings, 66237207 edges, 28532 markings/sec, 1735 secs
lola: STP completed || 53 tries, 52406097 fired transitions, 1740 secs || 50269764 markings, 66430444 edges, 28241 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52550761 fired transitions, 1745 secs || 50408715 markings, 66623262 edges, 27790 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52698704 fired transitions, 1750 secs || 50548698 markings, 66818717 edges, 27997 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52855746 fired transitions, 1755 secs || 50697537 markings, 67025026 edges, 29768 markings/sec, 1755 secs
lola: STP completed || 54 tries, 53012021 fired transitions, 1760 secs || 50845956 markings, 67226491 edges, 29684 markings/sec, 1760 secs
lola: STP completed || 54 tries, 53167084 fired transitions, 1765 secs || 50994113 markings, 67428658 edges, 29631 markings/sec, 1765 secs
lola: STP completed || 54 tries, 53323203 fired transitions, 1770 secs || 51142452 markings, 67633354 edges, 29668 markings/sec, 1770 secs
lola: STP completed || 54 tries, 53477349 fired transitions, 1775 secs || 51291371 markings, 67837111 edges, 29784 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53635086 fired transitions, 1780 secs || 51440529 markings, 68041902 edges, 29832 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53787119 fired transitions, 1785 secs || 51587923 markings, 68244960 edges, 29479 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53943911 fired transitions, 1790 secs || 51738065 markings, 68454756 edges, 30028 markings/sec, 1790 secs
lola: STP completed || 55 tries, 54098791 fired transitions, 1795 secs || 51885781 markings, 68659077 edges, 29543 markings/sec, 1795 secs
lola: STP completed || 55 tries, 54254523 fired transitions, 1800 secs || 52034336 markings, 68862779 edges, 29711 markings/sec, 1800 secs
lola: STP completed || 55 tries, 54409644 fired transitions, 1805 secs || 52180862 markings, 69067030 edges, 29305 markings/sec, 1805 secs
lola: STP completed || 55 tries, 54564854 fired transitions, 1810 secs || 52329992 markings, 69269578 edges, 29826 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54718369 fired transitions, 1815 secs || 52474851 markings, 69470832 edges, 28972 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54872403 fired transitions, 1820 secs || 52623383 markings, 69674443 edges, 29706 markings/sec, 1820 secs
lola: STP completed || 56 tries, 55026192 fired transitions, 1825 secs || 52770549 markings, 69877856 edges, 29433 markings/sec, 1825 secs
lola: STP completed || 56 tries, 55182778 fired transitions, 1830 secs || 52920996 markings, 70083692 edges, 30089 markings/sec, 1830 secs
lola: STP completed || 56 tries, 55340741 fired transitions, 1835 secs || 53071493 markings, 70291709 edges, 30099 markings/sec, 1835 secs
lola: STP completed || 56 tries, 55494846 fired transitions, 1840 secs || 53220326 markings, 70497402 edges, 29767 markings/sec, 1840 secs
lola: STP completed || 56 tries, 55647563 fired transitions, 1845 secs || 53367568 markings, 70700137 edges, 29448 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55803823 fired transitions, 1850 secs || 53515131 markings, 70905181 edges, 29513 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55959597 fired transitions, 1855 secs || 53662389 markings, 71107898 edges, 29452 markings/sec, 1855 secs
lola: STP completed || 57 tries, 56114123 fired transitions, 1860 secs || 53811162 markings, 71312670 edges, 29755 markings/sec, 1860 secs
lola: STP completed || 57 tries, 56266004 fired transitions, 1865 secs || 53959826 markings, 71517986 edges, 29733 markings/sec, 1865 secs
lola: STP completed || 57 tries, 56420070 fired transitions, 1870 secs || 54108661 markings, 71723523 edges, 29767 markings/sec, 1870 secs
lola: STP completed || 57 tries, 56576205 fired transitions, 1875 secs || 54258851 markings, 71930051 edges, 30038 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56732855 fired transitions, 1880 secs || 54408645 markings, 72136837 edges, 29959 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56886794 fired transitions, 1885 secs || 54555780 markings, 72339052 edges, 29427 markings/sec, 1885 secs
lola: STP completed || 58 tries, 57041025 fired transitions, 1890 secs || 54702499 markings, 72542527 edges, 29344 markings/sec, 1890 secs
lola: STP completed || 58 tries, 57192017 fired transitions, 1895 secs || 54847032 markings, 72742761 edges, 28907 markings/sec, 1895 secs
lola: STP completed || 58 tries, 57341908 fired transitions, 1900 secs || 54990172 markings, 72938617 edges, 28628 markings/sec, 1900 secs
lola: STP completed || 58 tries, 57488947 fired transitions, 1905 secs || 55133663 markings, 73133782 edges, 28698 markings/sec, 1905 secs
lola: STP completed || 58 tries, 57639944 fired transitions, 1910 secs || 55278713 markings, 73334421 edges, 29010 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57787769 fired transitions, 1915 secs || 55419832 markings, 73528022 edges, 28224 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57932562 fired transitions, 1920 secs || 55557105 markings, 73716507 edges, 27455 markings/sec, 1920 secs
lola: STP completed || 59 tries, 58074230 fired transitions, 1925 secs || 55696040 markings, 73908873 edges, 27787 markings/sec, 1925 secs
lola: STP completed || 59 tries, 58208188 fired transitions, 1930 secs || 55826772 markings, 74088588 edges, 26146 markings/sec, 1930 secs
lola: STP completed || 59 tries, 58355310 fired transitions, 1935 secs || 55965136 markings, 74279333 edges, 27673 markings/sec, 1935 secs
lola: STP completed || 59 tries, 58502392 fired transitions, 1940 secs || 56103389 markings, 74469532 edges, 27651 markings/sec, 1940 secs
lola: STP completed || 59 tries, 58649542 fired transitions, 1945 secs || 56241924 markings, 74659612 edges, 27707 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58796760 fired transitions, 1950 secs || 56380413 markings, 74849529 edges, 27698 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58944301 fired transitions, 1955 secs || 56518701 markings, 75039328 edges, 27658 markings/sec, 1955 secs
lola: STP completed || 60 tries, 59092895 fired transitions, 1960 secs || 56657826 markings, 75232503 edges, 27825 markings/sec, 1960 secs
lola: STP completed || 60 tries, 59243112 fired transitions, 1965 secs || 56798409 markings, 75427625 edges, 28117 markings/sec, 1965 secs
lola: STP completed || 60 tries, 59393344 fired transitions, 1970 secs || 56939320 markings, 75619100 edges, 28182 markings/sec, 1970 secs
lola: STP completed || 60 tries, 59544581 fired transitions, 1975 secs || 57080203 markings, 75814801 edges, 28177 markings/sec, 1975 secs
lola: STP completed || 60 tries, 59697766 fired transitions, 1980 secs || 57222987 markings, 76012417 edges, 28557 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59850452 fired transitions, 1985 secs || 57366160 markings, 76210246 edges, 28635 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59993021 fired transitions, 1990 secs || 57499941 markings, 76392929 edges, 26756 markings/sec, 1990 secs
lola: STP completed || 61 tries, 60128584 fired transitions, 1995 secs || 57624672 markings, 76567463 edges, 24946 markings/sec, 1995 secs
lola: STP completed || 61 tries, 60262003 fired transitions, 2000 secs || 57749296 markings, 76740852 edges, 24925 markings/sec, 2000 secs
lola: STP completed || 61 tries, 60394382 fired transitions, 2005 secs || 57872288 markings, 76910447 edges, 24598 markings/sec, 2005 secs
lola: STP completed || 61 tries, 60526851 fired transitions, 2010 secs || 57995814 markings, 77081685 edges, 24705 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60655821 fired transitions, 2015 secs || 58113881 markings, 77244053 edges, 23613 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60787326 fired transitions, 2020 secs || 58230371 markings, 77406504 edges, 23298 markings/sec, 2020 secs
lola: STP completed || 61 tries, 60920964 fired transitions, 2025 secs || 58347246 markings, 77568811 edges, 23375 markings/sec, 2025 secs
lola: STP completed || 62 tries, 61064014 fired transitions, 2030 secs || 58478732 markings, 77752027 edges, 26297 markings/sec, 2030 secs
lola: STP completed || 62 tries, 61194970 fired transitions, 2035 secs || 58599667 markings, 77917077 edges, 24187 markings/sec, 2035 secs
lola: STP completed || 62 tries, 61337007 fired transitions, 2040 secs || 58732109 markings, 78100191 edges, 26488 markings/sec, 2040 secs
lola: STP completed || 62 tries, 61485786 fired transitions, 2045 secs || 58871429 markings, 78293500 edges, 27864 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61633775 fired transitions, 2050 secs || 59010949 markings, 78485005 edges, 27904 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61780688 fired transitions, 2055 secs || 59149235 markings, 78676243 edges, 27657 markings/sec, 2055 secs
lola: STP completed || 62 tries, 61908632 fired transitions, 2060 secs || 59274589 markings, 78849165 edges, 25071 markings/sec, 2060 secs
lola: STP completed || 63 tries, 62057983 fired transitions, 2065 secs || 59414495 markings, 79042355 edges, 27981 markings/sec, 2065 secs
lola: STP completed || 63 tries, 62214196 fired transitions, 2070 secs || 59561326 markings, 79246352 edges, 29366 markings/sec, 2070 secs
lola: STP completed || 63 tries, 62366261 fired transitions, 2075 secs || 59703802 markings, 79444157 edges, 28495 markings/sec, 2075 secs
lola: STP completed || 63 tries, 62513467 fired transitions, 2080 secs || 59842604 markings, 79635457 edges, 27760 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62647580 fired transitions, 2085 secs || 59966500 markings, 79805537 edges, 24779 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62781978 fired transitions, 2090 secs || 60084054 markings, 79968596 edges, 23511 markings/sec, 2090 secs
lola: STP completed || 63 tries, 62912110 fired transitions, 2095 secs || 60204772 markings, 80136757 edges, 24144 markings/sec, 2095 secs
lola: STP completed || 64 tries, 63041888 fired transitions, 2100 secs || 60323695 markings, 80301163 edges, 23785 markings/sec, 2100 secs
lola: STP completed || 64 tries, 63170541 fired transitions, 2105 secs || 60448321 markings, 80473467 edges, 24925 markings/sec, 2105 secs
lola: STP completed || 64 tries, 63307770 fired transitions, 2110 secs || 60578968 markings, 80655070 edges, 26129 markings/sec, 2110 secs
lola: STP completed || 64 tries, 63443720 fired transitions, 2115 secs || 60705408 markings, 80831119 edges, 25288 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63576485 fired transitions, 2120 secs || 60825263 markings, 80996920 edges, 23971 markings/sec, 2120 secs
lola: STP completed || 64 tries, 63709967 fired transitions, 2125 secs || 60945765 markings, 81164829 edges, 24100 markings/sec, 2125 secs
lola: STP completed || 64 tries, 63860092 fired transitions, 2130 secs || 61083625 markings, 81355576 edges, 27572 markings/sec, 2130 secs
lola: STP completed || 65 tries, 64007254 fired transitions, 2135 secs || 61221473 markings, 81547769 edges, 27570 markings/sec, 2135 secs
lola: STP completed || 65 tries, 64161798 fired transitions, 2140 secs || 61365413 markings, 81745038 edges, 28788 markings/sec, 2140 secs
lola: STP completed || 65 tries, 64317862 fired transitions, 2145 secs || 61510932 markings, 81948217 edges, 29104 markings/sec, 2145 secs
lola: STP completed || 65 tries, 64467021 fired transitions, 2150 secs || 61650109 markings, 82143678 edges, 27835 markings/sec, 2150 secs
lola: STP completed || 65 tries, 64622459 fired transitions, 2155 secs || 61795468 markings, 82346542 edges, 29072 markings/sec, 2155 secs
lola: STP completed || 65 tries, 64768302 fired transitions, 2160 secs || 61933486 markings, 82539747 edges, 27604 markings/sec, 2160 secs
lola: STP completed || 65 tries, 64912624 fired transitions, 2165 secs || 62071783 markings, 82733636 edges, 27659 markings/sec, 2165 secs
lola: STP completed || 66 tries, 65057378 fired transitions, 2170 secs || 62209332 markings, 82925348 edges, 27510 markings/sec, 2170 secs
lola: STP completed || 66 tries, 65204037 fired transitions, 2175 secs || 62350734 markings, 83121022 edges, 28280 markings/sec, 2175 secs
lola: STP completed || 66 tries, 65347505 fired transitions, 2180 secs || 62487585 markings, 83309793 edges, 27370 markings/sec, 2180 secs
lola: STP completed || 66 tries, 65491364 fired transitions, 2185 secs || 62624120 markings, 83499935 edges, 27307 markings/sec, 2185 secs
lola: STP completed || 66 tries, 65635782 fired transitions, 2190 secs || 62760704 markings, 83688227 edges, 27317 markings/sec, 2190 secs
lola: STP completed || 66 tries, 65779699 fired transitions, 2195 secs || 62898853 markings, 83880789 edges, 27630 markings/sec, 2195 secs
lola: STP completed || 66 tries, 65926025 fired transitions, 2200 secs || 63036763 markings, 84073091 edges, 27582 markings/sec, 2200 secs
lola: STP completed || 67 tries, 66068651 fired transitions, 2205 secs || 63171453 markings, 84260860 edges, 26938 markings/sec, 2205 secs
lola: STP completed || 67 tries, 66213017 fired transitions, 2210 secs || 63308909 markings, 84450816 edges, 27491 markings/sec, 2210 secs
lola: STP completed || 67 tries, 66357206 fired transitions, 2215 secs || 63446979 markings, 84642816 edges, 27614 markings/sec, 2215 secs
lola: STP completed || 67 tries, 66503058 fired transitions, 2220 secs || 63585732 markings, 84836759 edges, 27751 markings/sec, 2220 secs
lola: STP completed || 67 tries, 66647010 fired transitions, 2225 secs || 63722227 markings, 85025409 edges, 27299 markings/sec, 2225 secs
lola: STP completed || 67 tries, 66791327 fired transitions, 2230 secs || 63860181 markings, 85218867 edges, 27591 markings/sec, 2230 secs
lola: STP completed || 67 tries, 66938081 fired transitions, 2235 secs || 63999301 markings, 85413447 edges, 27824 markings/sec, 2235 secs
lola: STP completed || 68 tries, 67083793 fired transitions, 2240 secs || 64138223 markings, 85604484 edges, 27784 markings/sec, 2240 secs
lola: STP completed || 68 tries, 67233375 fired transitions, 2245 secs || 64279115 markings, 85801389 edges, 28178 markings/sec, 2245 secs
lola: STP completed || 68 tries, 67380496 fired transitions, 2250 secs || 64416067 markings, 85990753 edges, 27390 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67525918 fired transitions, 2255 secs || 64551900 markings, 86181750 edges, 27167 markings/sec, 2255 secs
lola: STP completed || 68 tries, 67675004 fired transitions, 2260 secs || 64693305 markings, 86379329 edges, 28281 markings/sec, 2260 secs
lola: STP completed || 68 tries, 67822131 fired transitions, 2265 secs || 64833570 markings, 86574369 edges, 28053 markings/sec, 2265 secs
lola: STP completed || 68 tries, 67968982 fired transitions, 2270 secs || 64972716 markings, 86769093 edges, 27829 markings/sec, 2270 secs
lola: STP completed || 69 tries, 68117958 fired transitions, 2275 secs || 65112607 markings, 86962662 edges, 27978 markings/sec, 2275 secs
lola: STP completed || 69 tries, 68274049 fired transitions, 2280 secs || 65261045 markings, 87169248 edges, 29688 markings/sec, 2280 secs
lola: STP completed || 69 tries, 68426649 fired transitions, 2285 secs || 65406567 markings, 87372639 edges, 29104 markings/sec, 2285 secs
lola: STP completed || 69 tries, 68574191 fired transitions, 2290 secs || 65546810 markings, 87570384 edges, 28049 markings/sec, 2290 secs
lola: STP completed || 69 tries, 68717364 fired transitions, 2295 secs || 65685056 markings, 87764909 edges, 27649 markings/sec, 2295 secs
lola: STP completed || 69 tries, 68865969 fired transitions, 2300 secs || 65824410 markings, 87960944 edges, 27871 markings/sec, 2300 secs
lola: STP completed || 70 tries, 69016055 fired transitions, 2305 secs || 65964687 markings, 88160847 edges, 28055 markings/sec, 2305 secs
lola: STP completed || 70 tries, 69160432 fired transitions, 2310 secs || 66104214 markings, 88354051 edges, 27905 markings/sec, 2310 secs
lola: STP completed || 70 tries, 69306490 fired transitions, 2315 secs || 66243124 markings, 88548934 edges, 27782 markings/sec, 2315 secs
lola: STP completed || 70 tries, 69452700 fired transitions, 2320 secs || 66381000 markings, 88738076 edges, 27575 markings/sec, 2320 secs
lola: STP completed || 70 tries, 69599638 fired transitions, 2325 secs || 66519238 markings, 88931068 edges, 27648 markings/sec, 2325 secs
lola: STP completed || 70 tries, 69751214 fired transitions, 2330 secs || 66660179 markings, 89128188 edges, 28188 markings/sec, 2330 secs
lola: STP completed || 70 tries, 69899850 fired transitions, 2335 secs || 66797643 markings, 89320987 edges, 27493 markings/sec, 2335 secs
lola: STP completed || 71 tries, 70052789 fired transitions, 2340 secs || 66941928 markings, 89520599 edges, 28857 markings/sec, 2340 secs
lola: STP completed || 71 tries, 70211199 fired transitions, 2345 secs || 67094825 markings, 89732685 edges, 30579 markings/sec, 2345 secs
lola: STP completed || 71 tries, 70356008 fired transitions, 2350 secs || 67233847 markings, 89926981 edges, 27804 markings/sec, 2350 secs
lola: STP completed || 71 tries, 70502891 fired transitions, 2355 secs || 67371944 markings, 90119605 edges, 27619 markings/sec, 2355 secs
lola: STP completed || 71 tries, 70650214 fired transitions, 2360 secs || 67509825 markings, 90311404 edges, 27576 markings/sec, 2360 secs
lola: STP completed || 71 tries, 70797215 fired transitions, 2365 secs || 67647868 markings, 90502081 edges, 27609 markings/sec, 2365 secs
lola: STP completed || 71 tries, 70944486 fired transitions, 2370 secs || 67785890 markings, 90695089 edges, 27604 markings/sec, 2370 secs
lola: STP completed || 72 tries, 71091545 fired transitions, 2375 secs || 67923177 markings, 90887929 edges, 27457 markings/sec, 2375 secs
lola: STP completed || 72 tries, 71238764 fired transitions, 2380 secs || 68060973 markings, 91080306 edges, 27559 markings/sec, 2380 secs
lola: STP completed || 72 tries, 71385814 fired transitions, 2385 secs || 68198752 markings, 91272774 edges, 27556 markings/sec, 2385 secs
lola: STP completed || 72 tries, 71532858 fired transitions, 2390 secs || 68337206 markings, 91464225 edges, 27691 markings/sec, 2390 secs
lola: STP completed || 72 tries, 71688722 fired transitions, 2395 secs || 68482802 markings, 91665857 edges, 29119 markings/sec, 2395 secs
lola: STP completed || 72 tries, 71851909 fired transitions, 2400 secs || 68634287 markings, 91879491 edges, 30297 markings/sec, 2400 secs
lola: STP completed || 73 tries, 72015522 fired transitions, 2405 secs || 68786241 markings, 92091298 edges, 30391 markings/sec, 2405 secs
lola: STP completed || 73 tries, 72178661 fired transitions, 2410 secs || 68938055 markings, 92302407 edges, 30363 markings/sec, 2410 secs
lola: STP completed || 73 tries, 72342433 fired transitions, 2415 secs || 69088788 markings, 92513974 edges, 30147 markings/sec, 2415 secs
lola: STP completed || 73 tries, 72506137 fired transitions, 2420 secs || 69240724 markings, 92725790 edges, 30387 markings/sec, 2420 secs
lola: STP completed || 73 tries, 72670578 fired transitions, 2425 secs || 69393307 markings, 92940230 edges, 30517 markings/sec, 2425 secs
lola: STP completed || 73 tries, 72819186 fired transitions, 2430 secs || 69532513 markings, 93133045 edges, 27841 markings/sec, 2430 secs
lola: STP completed || 73 tries, 72966553 fired transitions, 2435 secs || 69669995 markings, 93327634 edges, 27496 markings/sec, 2435 secs
lola: STP completed || 74 tries, 73113680 fired transitions, 2440 secs || 69807396 markings, 93519714 edges, 27480 markings/sec, 2440 secs
lola: STP completed || 74 tries, 73261090 fired transitions, 2445 secs || 69945053 markings, 93711928 edges, 27531 markings/sec, 2445 secs
lola: STP completed || 74 tries, 73413964 fired transitions, 2450 secs || 70087998 markings, 93908666 edges, 28589 markings/sec, 2450 secs
lola: STP completed || 74 tries, 73561306 fired transitions, 2455 secs || 70219831 markings, 94093541 edges, 26367 markings/sec, 2455 secs
lola: STP completed || 74 tries, 73708521 fired transitions, 2460 secs || 70357887 markings, 94284058 edges, 27611 markings/sec, 2460 secs
lola: STP completed || 74 tries, 73855945 fired transitions, 2465 secs || 70496033 markings, 94476768 edges, 27629 markings/sec, 2465 secs
lola: STP completed || 75 tries, 74008692 fired transitions, 2470 secs || 70638399 markings, 94674970 edges, 28473 markings/sec, 2470 secs
lola: STP completed || 75 tries, 74170395 fired transitions, 2475 secs || 70788342 markings, 94884514 edges, 29989 markings/sec, 2475 secs
lola: STP completed || 75 tries, 74333246 fired transitions, 2480 secs || 70939490 markings, 95096635 edges, 30230 markings/sec, 2480 secs
lola: STP completed || 75 tries, 74497033 fired transitions, 2485 secs || 71091268 markings, 95309400 edges, 30356 markings/sec, 2485 secs
lola: STP completed || 75 tries, 74660310 fired transitions, 2490 secs || 71243122 markings, 95520093 edges, 30371 markings/sec, 2490 secs
lola: STP completed || 75 tries, 74823697 fired transitions, 2495 secs || 71395069 markings, 95731722 edges, 30389 markings/sec, 2495 secs
lola: STP completed || 75 tries, 74986564 fired transitions, 2500 secs || 71547053 markings, 95941081 edges, 30397 markings/sec, 2500 secs
lola: STP completed || 76 tries, 75149350 fired transitions, 2505 secs || 71699321 markings, 96152869 edges, 30454 markings/sec, 2505 secs
lola: STP completed || 76 tries, 75312563 fired transitions, 2510 secs || 71849654 markings, 96363740 edges, 30067 markings/sec, 2510 secs
lola: STP completed || 76 tries, 75474285 fired transitions, 2515 secs || 72000426 markings, 96573545 edges, 30154 markings/sec, 2515 secs
lola: STP completed || 76 tries, 75634640 fired transitions, 2520 secs || 72150161 markings, 96781646 edges, 29947 markings/sec, 2520 secs
lola: STP completed || 76 tries, 75796667 fired transitions, 2525 secs || 72303629 markings, 96994503 edges, 30694 markings/sec, 2525 secs
lola: STP completed || 76 tries, 75957882 fired transitions, 2530 secs || 72454673 markings, 97206803 edges, 30209 markings/sec, 2530 secs
lola: STP completed || 77 tries, 76122698 fired transitions, 2535 secs || 72609822 markings, 97423973 edges, 31030 markings/sec, 2535 secs
lola: STP completed || 77 tries, 76282222 fired transitions, 2540 secs || 72760841 markings, 97636202 edges, 30204 markings/sec, 2540 secs
lola: STP completed || 77 tries, 76440756 fired transitions, 2545 secs || 72913340 markings, 97848751 edges, 30500 markings/sec, 2545 secs
lola: STP completed || 77 tries, 76602054 fired transitions, 2550 secs || 73066547 markings, 98062304 edges, 30641 markings/sec, 2550 secs
lola: STP completed || 77 tries, 76763067 fired transitions, 2555 secs || 73217731 markings, 98273147 edges, 30237 markings/sec, 2555 secs
lola: STP completed || 77 tries, 76924525 fired transitions, 2560 secs || 73368692 markings, 98484381 edges, 30192 markings/sec, 2560 secs
lola: STP completed || 78 tries, 77084610 fired transitions, 2565 secs || 73519296 markings, 98695471 edges, 30121 markings/sec, 2565 secs
lola: STP completed || 78 tries, 77243754 fired transitions, 2570 secs || 73670992 markings, 98907935 edges, 30339 markings/sec, 2570 secs
lola: STP completed || 78 tries, 77403690 fired transitions, 2575 secs || 73821125 markings, 99119434 edges, 30027 markings/sec, 2575 secs
lola: STP completed || 78 tries, 77563737 fired transitions, 2580 secs || 73966715 markings, 99324098 edges, 29118 markings/sec, 2580 secs
lola: STP completed || 78 tries, 77719666 fired transitions, 2585 secs || 74119474 markings, 99537390 edges, 30552 markings/sec, 2585 secs
lola: STP completed || 78 tries, 77878464 fired transitions, 2590 secs || 74271608 markings, 99750107 edges, 30427 markings/sec, 2590 secs
lola: STP completed || 79 tries, 78029842 fired transitions, 2595 secs || 74415475 markings, 99953706 edges, 28773 markings/sec, 2595 secs
lola: STP completed || 79 tries, 78172566 fired transitions, 2600 secs || 74554220 markings, 100147963 edges, 27749 markings/sec, 2600 secs
lola: STP completed || 79 tries, 78316056 fired transitions, 2605 secs || 74693015 markings, 100340090 edges, 27759 markings/sec, 2605 secs
lola: STP completed || 79 tries, 78464818 fired transitions, 2610 secs || 74836394 markings, 100540350 edges, 28676 markings/sec, 2610 secs
lola: STP completed || 79 tries, 78621778 fired transitions, 2615 secs || 74985679 markings, 100750806 edges, 29857 markings/sec, 2615 secs
lola: STP completed || 79 tries, 78780659 fired transitions, 2620 secs || 75135204 markings, 100960664 edges, 29905 markings/sec, 2620 secs
lola: STP completed || 79 tries, 78941969 fired transitions, 2625 secs || 75289614 markings, 101177937 edges, 30882 markings/sec, 2625 secs
lola: STP completed || 80 tries, 79104657 fired transitions, 2630 secs || 75445302 markings, 101398587 edges, 31138 markings/sec, 2630 secs
lola: STP completed || 80 tries, 79267981 fired transitions, 2635 secs || 75603614 markings, 101620376 edges, 31662 markings/sec, 2635 secs
lola: STP completed || 80 tries, 79436169 fired transitions, 2640 secs || 75764532 markings, 101848405 edges, 32184 markings/sec, 2640 secs
lola: STP completed || 80 tries, 79602085 fired transitions, 2645 secs || 75923349 markings, 102070620 edges, 31763 markings/sec, 2645 secs
lola: STP completed || 80 tries, 79772552 fired transitions, 2650 secs || 76084355 markings, 102297046 edges, 32201 markings/sec, 2650 secs
lola: STP completed || 80 tries, 79941287 fired transitions, 2655 secs || 76246259 markings, 102526836 edges, 32381 markings/sec, 2655 secs
lola: STP completed || 81 tries, 80109960 fired transitions, 2660 secs || 76407936 markings, 102752716 edges, 32335 markings/sec, 2660 secs
lola: STP completed || 81 tries, 80281584 fired transitions, 2665 secs || 76568036 markings, 102980211 edges, 32020 markings/sec, 2665 secs
lola: STP completed || 81 tries, 80450609 fired transitions, 2670 secs || 76728780 markings, 103208517 edges, 32149 markings/sec, 2670 secs
lola: STP completed || 81 tries, 80616932 fired transitions, 2675 secs || 76885441 markings, 103428782 edges, 31332 markings/sec, 2675 secs
lola: STP completed || 81 tries, 80781555 fired transitions, 2680 secs || 77041374 markings, 103647079 edges, 31187 markings/sec, 2680 secs
lola: STP completed || 81 tries, 80948029 fired transitions, 2685 secs || 77197370 markings, 103866799 edges, 31199 markings/sec, 2685 secs
lola: STP completed || 82 tries, 81112135 fired transitions, 2690 secs || 77353561 markings, 104083525 edges, 31238 markings/sec, 2690 secs
lola: STP completed || 82 tries, 81278321 fired transitions, 2695 secs || 77509819 markings, 104298865 edges, 31252 markings/sec, 2695 secs
lola: STP completed || 82 tries, 81442930 fired transitions, 2700 secs || 77668339 markings, 104518233 edges, 31704 markings/sec, 2700 secs
lola: STP completed || 82 tries, 81603923 fired transitions, 2705 secs || 77825332 markings, 104737942 edges, 31399 markings/sec, 2705 secs
lola: STP completed || 82 tries, 81768568 fired transitions, 2710 secs || 77981688 markings, 104957529 edges, 31271 markings/sec, 2710 secs
lola: STP completed || 82 tries, 81933951 fired transitions, 2715 secs || 78138901 markings, 105178229 edges, 31443 markings/sec, 2715 secs
lola: STP completed || 83 tries, 82099398 fired transitions, 2720 secs || 78295469 markings, 105399775 edges, 31314 markings/sec, 2720 secs
lola: STP completed || 83 tries, 82263650 fired transitions, 2725 secs || 78451936 markings, 105619563 edges, 31293 markings/sec, 2725 secs
lola: STP completed || 83 tries, 82430174 fired transitions, 2730 secs || 78608798 markings, 105840480 edges, 31372 markings/sec, 2730 secs
lola: STP completed || 83 tries, 82590161 fired transitions, 2735 secs || 78762415 markings, 106056167 edges, 30723 markings/sec, 2735 secs
lola: STP completed || 83 tries, 82754570 fired transitions, 2740 secs || 78918592 markings, 106276655 edges, 31235 markings/sec, 2740 secs
lola: STP completed || 83 tries, 82920223 fired transitions, 2745 secs || 79071667 markings, 106493177 edges, 30615 markings/sec, 2745 secs
lola: STP completed || 84 tries, 83084742 fired transitions, 2750 secs || 79228375 markings, 106712841 edges, 31342 markings/sec, 2750 secs
lola: STP completed || 84 tries, 83251132 fired transitions, 2755 secs || 79385621 markings, 106934622 edges, 31449 markings/sec, 2755 secs
lola: STP completed || 84 tries, 83415156 fired transitions, 2760 secs || 79542640 markings, 107156544 edges, 31404 markings/sec, 2760 secs
lola: STP completed || 84 tries, 83580715 fired transitions, 2765 secs || 79698675 markings, 107376550 edges, 31207 markings/sec, 2765 secs
lola: STP completed || 84 tries, 83746991 fired transitions, 2770 secs || 79854216 markings, 107593905 edges, 31108 markings/sec, 2770 secs
lola: STP completed || 84 tries, 83909498 fired transitions, 2775 secs || 80008424 markings, 107811234 edges, 30842 markings/sec, 2775 secs
lola: STP completed || 85 tries, 84073230 fired transitions, 2780 secs || 80165700 markings, 108032525 edges, 31455 markings/sec, 2780 secs
lola: STP completed || 85 tries, 84240319 fired transitions, 2785 secs || 80321275 markings, 108251305 edges, 31115 markings/sec, 2785 secs
lola: STP completed || 85 tries, 84404866 fired transitions, 2790 secs || 80478161 markings, 108471153 edges, 31377 markings/sec, 2790 secs
lola: STP completed || 85 tries, 84570724 fired transitions, 2795 secs || 80635158 markings, 108693029 edges, 31399 markings/sec, 2795 secs
lola: STP completed || 85 tries, 84732688 fired transitions, 2800 secs || 80791794 markings, 108915014 edges, 31327 markings/sec, 2800 secs
lola: STP completed || 85 tries, 84899755 fired transitions, 2805 secs || 80945972 markings, 109132523 edges, 30836 markings/sec, 2805 secs
lola: STP completed || 86 tries, 85064281 fired transitions, 2810 secs || 81100469 markings, 109351728 edges, 30899 markings/sec, 2810 secs
lola: STP completed || 86 tries, 85231709 fired transitions, 2815 secs || 81254515 markings, 109570701 edges, 30809 markings/sec, 2815 secs
lola: STP completed || 86 tries, 85396382 fired transitions, 2820 secs || 81412525 markings, 109794727 edges, 31602 markings/sec, 2820 secs
lola: STP completed || 86 tries, 85561478 fired transitions, 2825 secs || 81568853 markings, 110014931 edges, 31266 markings/sec, 2825 secs
lola: STP completed || 86 tries, 85726224 fired transitions, 2830 secs || 81725871 markings, 110236948 edges, 31404 markings/sec, 2830 secs
lola: STP completed || 86 tries, 85891217 fired transitions, 2835 secs || 81881798 markings, 110460852 edges, 31185 markings/sec, 2835 secs
lola: STP completed || 87 tries, 86056747 fired transitions, 2840 secs || 82039217 markings, 110680479 edges, 31484 markings/sec, 2840 secs
lola: STP completed || 87 tries, 86222342 fired transitions, 2845 secs || 82196827 markings, 110900813 edges, 31522 markings/sec, 2845 secs
lola: STP completed || 87 tries, 86387692 fired transitions, 2850 secs || 82354166 markings, 111120897 edges, 31468 markings/sec, 2850 secs
lola: STP completed || 87 tries, 86552765 fired transitions, 2855 secs || 82512115 markings, 111340165 edges, 31590 markings/sec, 2855 secs
lola: STP completed || 87 tries, 86716768 fired transitions, 2860 secs || 82669334 markings, 111560445 edges, 31444 markings/sec, 2860 secs
lola: STP completed || 87 tries, 86879539 fired transitions, 2865 secs || 82827171 markings, 111781496 edges, 31567 markings/sec, 2865 secs
lola: STP completed || 88 tries, 87044503 fired transitions, 2870 secs || 82983509 markings, 112001281 edges, 31268 markings/sec, 2870 secs
lola: STP completed || 88 tries, 87208830 fired transitions, 2875 secs || 83139938 markings, 112218504 edges, 31286 markings/sec, 2875 secs
lola: STP completed || 88 tries, 87373377 fired transitions, 2880 secs || 83296668 markings, 112440863 edges, 31346 markings/sec, 2880 secs
lola: STP completed || 88 tries, 87538763 fired transitions, 2885 secs || 83452843 markings, 112661501 edges, 31235 markings/sec, 2885 secs
lola: STP completed || 88 tries, 87703535 fired transitions, 2890 secs || 83609115 markings, 112879815 edges, 31254 markings/sec, 2890 secs
lola: STP completed || 88 tries, 87868713 fired transitions, 2895 secs || 83766233 markings, 113099623 edges, 31424 markings/sec, 2895 secs
lola: STP completed || 89 tries, 88032452 fired transitions, 2900 secs || 83922953 markings, 113323438 edges, 31344 markings/sec, 2900 secs
lola: STP completed || 89 tries, 88196897 fired transitions, 2905 secs || 84079468 markings, 113540062 edges, 31303 markings/sec, 2905 secs
lola: STP completed || 89 tries, 88356409 fired transitions, 2910 secs || 84230706 markings, 113755488 edges, 30248 markings/sec, 2910 secs
lola: STP completed || 89 tries, 88519887 fired transitions, 2915 secs || 84387757 markings, 113979462 edges, 31410 markings/sec, 2915 secs
lola: STP completed || 89 tries, 88684934 fired transitions, 2920 secs || 84543379 markings, 114201022 edges, 31124 markings/sec, 2920 secs
lola: STP completed || 89 tries, 88849505 fired transitions, 2925 secs || 84700149 markings, 114420561 edges, 31354 markings/sec, 2925 secs
lola: STP completed || 90 tries, 89013443 fired transitions, 2930 secs || 84856713 markings, 114641338 edges, 31313 markings/sec, 2930 secs
lola: STP completed || 90 tries, 89178952 fired transitions, 2935 secs || 85013057 markings, 114861617 edges, 31269 markings/sec, 2935 secs
lola: STP completed || 90 tries, 89342660 fired transitions, 2940 secs || 85169060 markings, 115083639 edges, 31201 markings/sec, 2940 secs
lola: STP completed || 90 tries, 89504571 fired transitions, 2945 secs || 85323252 markings, 115297913 edges, 30838 markings/sec, 2945 secs
lola: STP completed || 90 tries, 89666787 fired transitions, 2950 secs || 85477912 markings, 115513021 edges, 30932 markings/sec, 2950 secs
lola: STP completed || 90 tries, 89827374 fired transitions, 2955 secs || 85630012 markings, 115729059 edges, 30420 markings/sec, 2955 secs
lola: STP completed || 90 tries, 89985332 fired transitions, 2960 secs || 85778806 markings, 115939608 edges, 29759 markings/sec, 2960 secs
lola: STP completed || 91 tries, 90151017 fired transitions, 2965 secs || 85933486 markings, 116158940 edges, 30936 markings/sec, 2965 secs
lola: STP completed || 91 tries, 90299075 fired transitions, 2970 secs || 86070889 markings, 116352640 edges, 27481 markings/sec, 2970 secs
lola: STP completed || 91 tries, 90449554 fired transitions, 2975 secs || 86208928 markings, 116547834 edges, 27608 markings/sec, 2975 secs
lola: STP completed || 91 tries, 90613577 fired transitions, 2980 secs || 86360717 markings, 116762492 edges, 30358 markings/sec, 2980 secs
lola: STP completed || 91 tries, 90781693 fired transitions, 2985 secs || 86516671 markings, 116980688 edges, 31191 markings/sec, 2985 secs
lola: STP completed || 91 tries, 90918065 fired transitions, 2990 secs || 86648342 markings, 117165420 edges, 26334 markings/sec, 2990 secs
lola: STP completed || 92 tries, 91053222 fired transitions, 2995 secs || 86781767 markings, 117354138 edges, 26685 markings/sec, 2995 secs
lola: STP completed || 92 tries, 91195230 fired transitions, 3000 secs || 86920254 markings, 117549094 edges, 27697 markings/sec, 3000 secs
lola: STP completed || 92 tries, 91362798 fired transitions, 3005 secs || 87075906 markings, 117767769 edges, 31130 markings/sec, 3005 secs
lola: STP completed || 92 tries, 91525984 fired transitions, 3010 secs || 87227408 markings, 117980104 edges, 30300 markings/sec, 3010 secs
lola: STP completed || 92 tries, 91680912 fired transitions, 3015 secs || 87371283 markings, 118182316 edges, 28775 markings/sec, 3015 secs
lola: STP completed || 92 tries, 91828224 fired transitions, 3020 secs || 87508607 markings, 118377152 edges, 27465 markings/sec, 3020 secs
lola: STP completed || 92 tries, 91978565 fired transitions, 3025 secs || 87649105 markings, 118575370 edges, 28100 markings/sec, 3025 secs
lola: STP completed || 93 tries, 92127258 fired transitions, 3030 secs || 87787626 markings, 118770243 edges, 27704 markings/sec, 3030 secs
lola: STP completed || 93 tries, 92274221 fired transitions, 3035 secs || 87925012 markings, 118964600 edges, 27477 markings/sec, 3035 secs
lola: STP completed || 93 tries, 92421490 fired transitions, 3040 secs || 88062308 markings, 119158519 edges, 27459 markings/sec, 3040 secs
lola: STP completed || 93 tries, 92568700 fired transitions, 3045 secs || 88200029 markings, 119352745 edges, 27544 markings/sec, 3045 secs
lola: STP completed || 93 tries, 92715926 fired transitions, 3050 secs || 88337179 markings, 119544360 edges, 27430 markings/sec, 3050 secs
lola: STP completed || 93 tries, 92862395 fired transitions, 3055 secs || 88474694 markings, 119739478 edges, 27503 markings/sec, 3055 secs
lola: STP completed || 94 tries, 93006623 fired transitions, 3060 secs || 88612388 markings, 119932280 edges, 27539 markings/sec, 3060 secs
lola: STP completed || 94 tries, 93151021 fired transitions, 3065 secs || 88750751 markings, 120126700 edges, 27673 markings/sec, 3065 secs
lola: STP completed || 94 tries, 93293332 fired transitions, 3070 secs || 88888233 markings, 120322282 edges, 27496 markings/sec, 3070 secs
lola: STP completed || 94 tries, 93437365 fired transitions, 3075 secs || 89026286 markings, 120516304 edges, 27611 markings/sec, 3075 secs
lola: STP completed || 94 tries, 93580625 fired transitions, 3080 secs || 89164577 markings, 120712570 edges, 27658 markings/sec, 3080 secs
lola: STP completed || 94 tries, 93724841 fired transitions, 3085 secs || 89302496 markings, 120907635 edges, 27584 markings/sec, 3085 secs
lola: STP completed || 94 tries, 93869246 fired transitions, 3090 secs || 89441835 markings, 121109005 edges, 27868 markings/sec, 3090 secs
lola: STP completed || 95 tries, 94012829 fired transitions, 3095 secs || 89579604 markings, 121304182 edges, 27554 markings/sec, 3095 secs
lola: STP completed || 95 tries, 94157424 fired transitions, 3100 secs || 89715201 markings, 121498135 edges, 27119 markings/sec, 3100 secs
lola: STP completed || 95 tries, 94302160 fired transitions, 3105 secs || 89852186 markings, 121693825 edges, 27397 markings/sec, 3105 secs
lola: STP completed || 95 tries, 94443522 fired transitions, 3110 secs || 89990830 markings, 121888869 edges, 27729 markings/sec, 3110 secs
lola: STP completed || 95 tries, 94599216 fired transitions, 3115 secs || 90137529 markings, 122097320 edges, 29340 markings/sec, 3115 secs
lola: STP completed || 95 tries, 94763275 fired transitions, 3120 secs || 90294860 markings, 122321615 edges, 31466 markings/sec, 3120 secs
lola: STP completed || 95 tries, 94924772 fired transitions, 3125 secs || 90449054 markings, 122538547 edges, 30839 markings/sec, 3125 secs
lola: STP completed || 96 tries, 95087895 fired transitions, 3130 secs || 90605706 markings, 122760817 edges, 31330 markings/sec, 3130 secs
lola: STP completed || 96 tries, 95250702 fired transitions, 3135 secs || 90759956 markings, 122976944 edges, 30850 markings/sec, 3135 secs
lola: STP completed || 96 tries, 95412196 fired transitions, 3140 secs || 90909084 markings, 123188756 edges, 29826 markings/sec, 3140 secs
lola: STP completed || 96 tries, 95572101 fired transitions, 3145 secs || 91061084 markings, 123403742 edges, 30400 markings/sec, 3145 secs
lola: STP completed || 96 tries, 95734482 fired transitions, 3150 secs || 91212232 markings, 123617978 edges, 30230 markings/sec, 3150 secs
lola: STP completed || 96 tries, 95895929 fired transitions, 3155 secs || 91362780 markings, 123830344 edges, 30110 markings/sec, 3155 secs
lola: STP completed || 97 tries, 96056534 fired transitions, 3160 secs || 91514448 markings, 124042909 edges, 30334 markings/sec, 3160 secs
lola: STP completed || 97 tries, 96216049 fired transitions, 3165 secs || 91667058 markings, 124255681 edges, 30522 markings/sec, 3165 secs
lola: STP completed || 97 tries, 96377827 fired transitions, 3170 secs || 91817113 markings, 124469785 edges, 30011 markings/sec, 3170 secs
lola: STP completed || 97 tries, 96539206 fired transitions, 3175 secs || 91967875 markings, 124685447 edges, 30152 markings/sec, 3175 secs
lola: STP completed || 97 tries, 96697266 fired transitions, 3180 secs || 92119146 markings, 124899404 edges, 30254 markings/sec, 3180 secs
lola: STP completed || 97 tries, 96857326 fired transitions, 3185 secs || 92271353 markings, 125114236 edges, 30441 markings/sec, 3185 secs
lola: STP completed || 98 tries, 97016401 fired transitions, 3190 secs || 92422664 markings, 125330996 edges, 30262 markings/sec, 3190 secs
lola: STP completed || 98 tries, 97177497 fired transitions, 3195 secs || 92573740 markings, 125545203 edges, 30215 markings/sec, 3195 secs
lola: STP completed || 98 tries, 97336249 fired transitions, 3200 secs || 92724498 markings, 125759835 edges, 30152 markings/sec, 3200 secs
lola: STP completed || 98 tries, 97497269 fired transitions, 3205 secs || 92876116 markings, 125975022 edges, 30324 markings/sec, 3205 secs
lola: STP completed || 98 tries, 97656824 fired transitions, 3210 secs || 93028831 markings, 126187921 edges, 30543 markings/sec, 3210 secs
lola: STP completed || 98 tries, 97814207 fired transitions, 3215 secs || 93177900 markings, 126399042 edges, 29814 markings/sec, 3215 secs
lola: STP completed || 98 tries, 97958036 fired transitions, 3220 secs || 93316312 markings, 126591905 edges, 27682 markings/sec, 3220 secs
lola: STP completed || 99 tries, 98103003 fired transitions, 3225 secs || 93452829 markings, 126785796 edges, 27303 markings/sec, 3225 secs
lola: STP completed || 99 tries, 98246555 fired transitions, 3230 secs || 93590396 markings, 126983509 edges, 27513 markings/sec, 3230 secs
lola: STP completed || 99 tries, 98387650 fired transitions, 3235 secs || 93728511 markings, 127179909 edges, 27623 markings/sec, 3235 secs
lola: STP completed || 99 tries, 98532148 fired transitions, 3240 secs || 93866358 markings, 127376156 edges, 27569 markings/sec, 3240 secs
lola: STP completed || 99 tries, 98679155 fired transitions, 3245 secs || 94003601 markings, 127571618 edges, 27449 markings/sec, 3245 secs
lola: STP completed || 99 tries, 98826402 fired transitions, 3250 secs || 94140948 markings, 127765778 edges, 27469 markings/sec, 3250 secs
lola: STP completed || 99 tries, 98973649 fired transitions, 3255 secs || 94278247 markings, 127960250 edges, 27460 markings/sec, 3255 secs
lola: STP completed || 100 tries, 99120735 fired transitions, 3260 secs || 94415452 markings, 128154848 edges, 27441 markings/sec, 3260 secs
lola: STP completed || 100 tries, 99271334 fired transitions, 3265 secs || 94556023 markings, 128353695 edges, 28114 markings/sec, 3265 secs
lola: STP completed || 100 tries, 99418198 fired transitions, 3270 secs || 94693246 markings, 128547900 edges, 27445 markings/sec, 3270 secs
lola: STP completed || 100 tries, 99565371 fired transitions, 3275 secs || 94830549 markings, 128744316 edges, 27461 markings/sec, 3275 secs
lola: STP completed || 100 tries, 99712871 fired transitions, 3280 secs || 94968152 markings, 128937425 edges, 27521 markings/sec, 3280 secs
lola: STP completed || 100 tries, 99860354 fired transitions, 3285 secs || 95105365 markings, 129132070 edges, 27443 markings/sec, 3285 secs
lola: STP completed || 101 tries, 100007579 fired transitions, 3290 secs || 95242773 markings, 129325774 edges, 27482 markings/sec, 3290 secs
lola: STP completed || 101 tries, 100156949 fired transitions, 3295 secs || 95381826 markings, 129521563 edges, 27811 markings/sec, 3295 secs
lola: STP completed || 101 tries, 100304226 fired transitions, 3300 secs || 95519320 markings, 129716818 edges, 27499 markings/sec, 3300 secs
lola: STP completed || 101 tries, 100451481 fired transitions, 3305 secs || 95656132 markings, 129912927 edges, 27362 markings/sec, 3305 secs
lola: STP completed || 101 tries, 100598931 fired transitions, 3310 secs || 95793777 markings, 130106319 edges, 27529 markings/sec, 3310 secs
lola: STP completed || 101 tries, 100746222 fired transitions, 3315 secs || 95931068 markings, 130301310 edges, 27458 markings/sec, 3315 secs
lola: STP completed || 101 tries, 100893558 fired transitions, 3320 secs || 96068950 markings, 130494493 edges, 27576 markings/sec, 3320 secs
lola: STP completed || 102 tries, 101043713 fired transitions, 3325 secs || 96208823 markings, 130691320 edges, 27975 markings/sec, 3325 secs
lola: STP completed || 102 tries, 101207079 fired transitions, 3330 secs || 96360434 markings, 130904645 edges, 30322 markings/sec, 3330 secs
lola: STP completed || 102 tries, 101370469 fired transitions, 3335 secs || 96511403 markings, 131121818 edges, 30194 markings/sec, 3335 secs
lola: STP completed || 102 tries, 101534387 fired transitions, 3340 secs || 96663246 markings, 131338437 edges, 30369 markings/sec, 3340 secs
lola: STP completed || 102 tries, 101695421 fired transitions, 3345 secs || 96812588 markings, 131549636 edges, 29868 markings/sec, 3345 secs
lola: STP completed || 102 tries, 101858902 fired transitions, 3350 secs || 96964368 markings, 131763589 edges, 30356 markings/sec, 3350 secs
lola: STP completed || 103 tries, 102022203 fired transitions, 3355 secs || 97116281 markings, 131977705 edges, 30383 markings/sec, 3355 secs
lola: STP completed || 103 tries, 102185509 fired transitions, 3360 secs || 97267299 markings, 132192776 edges, 30204 markings/sec, 3360 secs
lola: STP completed || 103 tries, 102348971 fired transitions, 3365 secs || 97418297 markings, 132409056 edges, 30200 markings/sec, 3365 secs
lola: STP completed || 103 tries, 102512994 fired transitions, 3370 secs || 97570533 markings, 132623213 edges, 30447 markings/sec, 3370 secs
lola: STP completed || 103 tries, 102676350 fired transitions, 3375 secs || 97722437 markings, 132836645 edges, 30381 markings/sec, 3375 secs
lola: STP completed || 103 tries, 102839671 fired transitions, 3380 secs || 97874070 markings, 133051572 edges, 30327 markings/sec, 3380 secs
lola: STP completed || 104 tries, 103003093 fired transitions, 3385 secs || 98025754 markings, 133266740 edges, 30337 markings/sec, 3385 secs
lola: STP completed || 104 tries, 103166402 fired transitions, 3390 secs || 98177271 markings, 133481381 edges, 30303 markings/sec, 3390 secs
lola: STP completed || 104 tries, 103330012 fired transitions, 3395 secs || 98328784 markings, 133696400 edges, 30303 markings/sec, 3395 secs
lola: STP completed || 104 tries, 103495934 fired transitions, 3400 secs || 98482284 markings, 133914325 edges, 30700 markings/sec, 3400 secs
lola: STP completed || 104 tries, 103663790 fired transitions, 3405 secs || 98638840 markings, 134135085 edges, 31311 markings/sec, 3405 secs
lola: STP completed || 104 tries, 103829718 fired transitions, 3410 secs || 98796305 markings, 134356871 edges, 31493 markings/sec, 3410 secs
lola: STP completed || 104 tries, 103998342 fired transitions, 3415 secs || 98952186 markings, 134581257 edges, 31176 markings/sec, 3415 secs
lola: STP completed || 105 tries, 104162842 fired transitions, 3420 secs || 99104741 markings, 134796944 edges, 30511 markings/sec, 3420 secs
lola: STP completed || 105 tries, 104326520 fired transitions, 3425 secs || 99256337 markings, 135012713 edges, 30319 markings/sec, 3425 secs
lola: STP completed || 105 tries, 104489920 fired transitions, 3430 secs || 99407413 markings, 135227324 edges, 30215 markings/sec, 3430 secs
lola: STP completed || 105 tries, 104653372 fired transitions, 3435 secs || 99559186 markings, 135442285 edges, 30355 markings/sec, 3435 secs
lola: STP completed || 105 tries, 104816865 fired transitions, 3440 secs || 99710747 markings, 135656841 edges, 30312 markings/sec, 3440 secs
lola: STP completed || 105 tries, 104979597 fired transitions, 3445 secs || 99861068 markings, 135872876 edges, 30064 markings/sec, 3445 secs
lola: STP completed || 106 tries, 105143091 fired transitions, 3450 secs || 100013457 markings, 136085020 edges, 30478 markings/sec, 3450 secs
lola: STP completed || 106 tries, 105306538 fired transitions, 3455 secs || 100165020 markings, 136300016 edges, 30313 markings/sec, 3455 secs
lola: STP completed || 106 tries, 105469987 fired transitions, 3460 secs || 100316293 markings, 136515209 edges, 30255 markings/sec, 3460 secs
lola: STP completed || 106 tries, 105633280 fired transitions, 3465 secs || 100468342 markings, 136729850 edges, 30410 markings/sec, 3465 secs
lola: STP completed || 106 tries, 105786863 fired transitions, 3470 secs || 100613361 markings, 136937704 edges, 29004 markings/sec, 3470 secs
lola: STP completed || 106 tries, 105946831 fired transitions, 3475 secs || 100764986 markings, 137152650 edges, 30325 markings/sec, 3475 secs
lola: STP completed || 107 tries, 106110651 fired transitions, 3480 secs || 100916621 markings, 137368612 edges, 30327 markings/sec, 3480 secs
lola: STP completed || 107 tries, 106271955 fired transitions, 3485 secs || 101068440 markings, 137584299 edges, 30364 markings/sec, 3485 secs
lola: STP completed || 107 tries, 106431472 fired transitions, 3490 secs || 101220222 markings, 137799023 edges, 30356 markings/sec, 3490 secs
lola: STP completed || 107 tries, 106589552 fired transitions, 3495 secs || 101370566 markings, 138015542 edges, 30069 markings/sec, 3495 secs
lola: STP completed || 107 tries, 106749303 fired transitions, 3500 secs || 101522031 markings, 138233357 edges, 30293 markings/sec, 3500 secs
lola: STP completed || 107 tries, 106909139 fired transitions, 3505 secs || 101672390 markings, 138449710 edges, 30072 markings/sec, 3505 secs
lola: STP completed || 108 tries, 107069064 fired transitions, 3510 secs || 101824293 markings, 138666452 edges, 30381 markings/sec, 3510 secs
lola: STP completed || 108 tries, 107229729 fired transitions, 3515 secs || 101976259 markings, 138880962 edges, 30393 markings/sec, 3515 secs
lola: STP completed || 108 tries, 107388315 fired transitions, 3520 secs || 102128505 markings, 139096700 edges, 30449 markings/sec, 3520 secs
lola: STP completed || 108 tries, 107548174 fired transitions, 3525 secs || 102281092 markings, 139311214 edges, 30517 markings/sec, 3525 secs
lola: STP completed || 108 tries, 107707735 fired transitions, 3530 secs || 102432849 markings, 139528560 edges, 30351 markings/sec, 3530 secs
lola: STP completed || 108 tries, 107868178 fired transitions, 3535 secs || 102584394 markings, 139743612 edges, 30309 markings/sec, 3535 secs
lola: STP completed || 109 tries, 108027827 fired transitions, 3540 secs || 102736083 markings, 139959695 edges, 30338 markings/sec, 3540 secs
lola: STP completed || 109 tries, 108188372 fired transitions, 3545 secs || 102888217 markings, 140176800 edges, 30427 markings/sec, 3545 secs
lola: STP completed || 109 tries, 108346962 fired transitions, 3550 secs || 103036420 markings, 140388993 edges, 29641 markings/sec, 3550 secs
lola: STP completed || 109 tries, 108508480 fired transitions, 3555 secs || 103187134 markings, 140604860 edges, 30143 markings/sec, 3555 secs
lola: STP completed || 109 tries, 108668405 fired transitions, 3560 secs || 103338329 markings, 140820175 edges, 30239 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 9139948 KB
lola: time consumption: 3570 seconds

BK_STOP 1527791400355

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EGFr-PT-10421"
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/EGFr-PT-10421.tgz
mv EGFr-PT-10421 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 EGFr-PT-10421, 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 r280-csrt-152749169700278"
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 ;