fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r064-smll-152649735100034
Last Updated
June 26, 2018

About the Execution of LoLA for DLCround-PT-05a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9587.660 3570885.00 7184953.00 7088.30 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 259K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-05a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735100034
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-05a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526597700319

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-05a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-05a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-05a @ 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: 1222/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 167
lola: finding significant places
lola: 167 places, 1055 transitions, 79 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 906 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-05a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 15554 variables and 65115 clauses shipped to Minisat
lola: computed 30 generators (12 in search tree, 18 by composition)
lola: representing 276480 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 32435 fired transitions, 0 secs || 37386 markings, 1063387 edges, 7477 markings/sec, 0 secs
lola: STP completed || 1 tries, 69812 fired transitions, 5 secs || 84181 markings, 2244109 edges, 9359 markings/sec, 5 secs
lola: STP completed || 1 tries, 106790 fired transitions, 10 secs || 125740 markings, 3392819 edges, 8312 markings/sec, 10 secs
lola: STP completed || 1 tries, 144370 fired transitions, 15 secs || 174347 markings, 4629601 edges, 9721 markings/sec, 15 secs
lola: STP completed || 1 tries, 182935 fired transitions, 20 secs || 227121 markings, 5892054 edges, 10555 markings/sec, 20 secs
lola: STP completed || 1 tries, 221331 fired transitions, 25 secs || 275045 markings, 7120474 edges, 9585 markings/sec, 25 secs
lola: STP completed || 1 tries, 260723 fired transitions, 30 secs || 328938 markings, 8400751 edges, 10779 markings/sec, 30 secs
lola: STP completed || 1 tries, 298643 fired transitions, 35 secs || 377679 markings, 9657157 edges, 9748 markings/sec, 35 secs
lola: STP completed || 1 tries, 336583 fired transitions, 40 secs || 423351 markings, 10892309 edges, 9134 markings/sec, 40 secs
lola: STP completed || 1 tries, 374644 fired transitions, 45 secs || 467774 markings, 12118832 edges, 8885 markings/sec, 45 secs
lola: STP completed || 1 tries, 413118 fired transitions, 50 secs || 519717 markings, 13386729 edges, 10389 markings/sec, 50 secs
lola: STP completed || 1 tries, 452386 fired transitions, 55 secs || 572250 markings, 14670257 edges, 10507 markings/sec, 55 secs
lola: STP completed || 1 tries, 490875 fired transitions, 60 secs || 622974 markings, 15929561 edges, 10145 markings/sec, 60 secs
lola: STP completed || 1 tries, 528771 fired transitions, 65 secs || 675501 markings, 17178828 edges, 10505 markings/sec, 65 secs
lola: STP completed || 1 tries, 566312 fired transitions, 70 secs || 721505 markings, 18390809 edges, 9201 markings/sec, 70 secs
lola: STP completed || 1 tries, 603825 fired transitions, 75 secs || 768018 markings, 19623397 edges, 9303 markings/sec, 75 secs
lola: STP completed || 1 tries, 641311 fired transitions, 80 secs || 814700 markings, 20843912 edges, 9336 markings/sec, 80 secs
lola: STP completed || 1 tries, 678990 fired transitions, 85 secs || 862957 markings, 22075448 edges, 9651 markings/sec, 85 secs
lola: STP completed || 1 tries, 716517 fired transitions, 90 secs || 910588 markings, 23290575 edges, 9526 markings/sec, 90 secs
lola: STP completed || 1 tries, 754092 fired transitions, 95 secs || 958360 markings, 24522068 edges, 9554 markings/sec, 95 secs
lola: STP completed || 1 tries, 791533 fired transitions, 100 secs || 1007848 markings, 25747706 edges, 9898 markings/sec, 100 secs
lola: STP completed || 1 tries, 829162 fired transitions, 105 secs || 1052995 markings, 26966204 edges, 9029 markings/sec, 105 secs
lola: STP completed || 1 tries, 866894 fired transitions, 110 secs || 1101252 markings, 28192947 edges, 9651 markings/sec, 110 secs
lola: STP completed || 1 tries, 904669 fired transitions, 115 secs || 1146523 markings, 29400400 edges, 9054 markings/sec, 115 secs
lola: STP completed || 1 tries, 942230 fired transitions, 120 secs || 1197007 markings, 30621147 edges, 10097 markings/sec, 120 secs
lola: STP completed || 1 tries, 979803 fired transitions, 125 secs || 1241893 markings, 31830679 edges, 8977 markings/sec, 125 secs
lola: STP completed || 2 tries, 1017296 fired transitions, 130 secs || 1296579 markings, 33069210 edges, 10937 markings/sec, 130 secs
lola: STP completed || 2 tries, 1054663 fired transitions, 135 secs || 1343449 markings, 34275610 edges, 9374 markings/sec, 135 secs
lola: STP completed || 2 tries, 1092249 fired transitions, 140 secs || 1389133 markings, 35496553 edges, 9137 markings/sec, 140 secs
lola: STP completed || 2 tries, 1129888 fired transitions, 145 secs || 1434082 markings, 36711390 edges, 8990 markings/sec, 145 secs
lola: STP completed || 2 tries, 1167294 fired transitions, 150 secs || 1480180 markings, 37922562 edges, 9220 markings/sec, 150 secs
lola: STP completed || 2 tries, 1204663 fired transitions, 155 secs || 1526312 markings, 39139147 edges, 9226 markings/sec, 155 secs
lola: STP completed || 2 tries, 1242318 fired transitions, 160 secs || 1576414 markings, 40363384 edges, 10020 markings/sec, 160 secs
lola: STP completed || 2 tries, 1279882 fired transitions, 165 secs || 1628693 markings, 41595733 edges, 10456 markings/sec, 165 secs
lola: STP completed || 2 tries, 1318084 fired transitions, 170 secs || 1680535 markings, 42846753 edges, 10368 markings/sec, 170 secs
lola: STP completed || 2 tries, 1356330 fired transitions, 175 secs || 1731269 markings, 44093944 edges, 10147 markings/sec, 175 secs
lola: STP completed || 2 tries, 1394534 fired transitions, 180 secs || 1785457 markings, 45362085 edges, 10838 markings/sec, 180 secs
lola: STP completed || 2 tries, 1432787 fired transitions, 185 secs || 1838943 markings, 46623359 edges, 10697 markings/sec, 185 secs
lola: STP completed || 2 tries, 1471097 fired transitions, 190 secs || 1891401 markings, 47885281 edges, 10492 markings/sec, 190 secs
lola: STP completed || 2 tries, 1509250 fired transitions, 195 secs || 1939654 markings, 49140002 edges, 9651 markings/sec, 195 secs
lola: STP completed || 2 tries, 1547491 fired transitions, 200 secs || 1992526 markings, 50398710 edges, 10574 markings/sec, 200 secs
lola: STP completed || 2 tries, 1585709 fired transitions, 205 secs || 2045291 markings, 51664478 edges, 10553 markings/sec, 205 secs
lola: STP completed || 2 tries, 1624192 fired transitions, 210 secs || 2098292 markings, 52923654 edges, 10600 markings/sec, 210 secs
lola: STP completed || 2 tries, 1662542 fired transitions, 215 secs || 2150170 markings, 54173496 edges, 10376 markings/sec, 215 secs
lola: STP completed || 2 tries, 1701007 fired transitions, 220 secs || 2205445 markings, 55444365 edges, 11055 markings/sec, 220 secs
lola: STP completed || 2 tries, 1739365 fired transitions, 225 secs || 2250993 markings, 56677867 edges, 9110 markings/sec, 225 secs
lola: STP completed || 2 tries, 1777702 fired transitions, 230 secs || 2305561 markings, 57944266 edges, 10914 markings/sec, 230 secs
lola: STP completed || 2 tries, 1815800 fired transitions, 235 secs || 2360374 markings, 59213362 edges, 10963 markings/sec, 235 secs
lola: STP completed || 2 tries, 1854144 fired transitions, 240 secs || 2416234 markings, 60479481 edges, 11172 markings/sec, 240 secs
lola: STP completed || 2 tries, 1892439 fired transitions, 245 secs || 2466968 markings, 61730738 edges, 10147 markings/sec, 245 secs
lola: STP completed || 2 tries, 1930728 fired transitions, 250 secs || 2518589 markings, 62983629 edges, 10324 markings/sec, 250 secs
lola: STP completed || 2 tries, 1968965 fired transitions, 255 secs || 2571061 markings, 64242740 edges, 10494 markings/sec, 255 secs
lola: STP completed || 3 tries, 2007211 fired transitions, 260 secs || 2627020 markings, 65517023 edges, 11192 markings/sec, 260 secs
lola: STP completed || 3 tries, 2045360 fired transitions, 265 secs || 2674485 markings, 66769565 edges, 9493 markings/sec, 265 secs
lola: STP completed || 3 tries, 2083582 fired transitions, 270 secs || 2723748 markings, 68020298 edges, 9853 markings/sec, 270 secs
lola: STP completed || 3 tries, 2121767 fired transitions, 275 secs || 2770976 markings, 69261379 edges, 9446 markings/sec, 275 secs
lola: STP completed || 3 tries, 2160036 fired transitions, 280 secs || 2827660 markings, 70541542 edges, 11337 markings/sec, 280 secs
lola: STP completed || 3 tries, 2198256 fired transitions, 285 secs || 2881938 markings, 71803413 edges, 10856 markings/sec, 285 secs
lola: STP completed || 3 tries, 2236410 fired transitions, 290 secs || 2937253 markings, 73077654 edges, 11063 markings/sec, 290 secs
lola: STP completed || 3 tries, 2274727 fired transitions, 295 secs || 2990595 markings, 74339080 edges, 10668 markings/sec, 295 secs
lola: STP completed || 3 tries, 2313016 fired transitions, 300 secs || 3040929 markings, 75582701 edges, 10067 markings/sec, 300 secs
lola: STP completed || 3 tries, 2351235 fired transitions, 305 secs || 3096109 markings, 76848683 edges, 11036 markings/sec, 305 secs
lola: STP completed || 3 tries, 2389334 fired transitions, 310 secs || 3150561 markings, 78112095 edges, 10890 markings/sec, 310 secs
lola: STP completed || 3 tries, 2427610 fired transitions, 315 secs || 3207110 markings, 79386212 edges, 11310 markings/sec, 315 secs
lola: STP completed || 3 tries, 2465830 fired transitions, 320 secs || 3263075 markings, 80661841 edges, 11193 markings/sec, 320 secs
lola: STP completed || 3 tries, 2504155 fired transitions, 325 secs || 3315592 markings, 81913931 edges, 10503 markings/sec, 325 secs
lola: STP completed || 3 tries, 2542297 fired transitions, 330 secs || 3372710 markings, 83184165 edges, 11424 markings/sec, 330 secs
lola: STP completed || 3 tries, 2580545 fired transitions, 335 secs || 3430365 markings, 84455530 edges, 11531 markings/sec, 335 secs
lola: STP completed || 3 tries, 2618634 fired transitions, 340 secs || 3481939 markings, 85698749 edges, 10315 markings/sec, 340 secs
lola: STP completed || 3 tries, 2656816 fired transitions, 345 secs || 3540707 markings, 86982977 edges, 11754 markings/sec, 345 secs
lola: STP completed || 3 tries, 2694966 fired transitions, 350 secs || 3591150 markings, 88221518 edges, 10089 markings/sec, 350 secs
lola: STP completed || 3 tries, 2733323 fired transitions, 355 secs || 3647205 markings, 89491274 edges, 11211 markings/sec, 355 secs
lola: STP completed || 3 tries, 2771559 fired transitions, 360 secs || 3702832 markings, 90755927 edges, 11125 markings/sec, 360 secs
lola: STP completed || 3 tries, 2809668 fired transitions, 365 secs || 3762270 markings, 92043969 edges, 11888 markings/sec, 365 secs
lola: STP completed || 3 tries, 2847976 fired transitions, 370 secs || 3816864 markings, 93305707 edges, 10919 markings/sec, 370 secs
lola: STP completed || 3 tries, 2886216 fired transitions, 375 secs || 3872829 markings, 94569180 edges, 11193 markings/sec, 375 secs
lola: STP completed || 3 tries, 2924434 fired transitions, 380 secs || 3931476 markings, 95848458 edges, 11729 markings/sec, 380 secs
lola: STP completed || 3 tries, 2962754 fired transitions, 385 secs || 3988621 markings, 97119585 edges, 11429 markings/sec, 385 secs
lola: STP completed || 4 tries, 3001139 fired transitions, 390 secs || 4033672 markings, 98343239 edges, 9010 markings/sec, 390 secs
lola: STP completed || 4 tries, 3039343 fired transitions, 395 secs || 4093299 markings, 99625050 edges, 11925 markings/sec, 395 secs
lola: STP completed || 4 tries, 3077837 fired transitions, 400 secs || 4147659 markings, 100884089 edges, 10872 markings/sec, 400 secs
lola: STP completed || 4 tries, 3116074 fired transitions, 405 secs || 4204906 markings, 102158940 edges, 11449 markings/sec, 405 secs
lola: STP completed || 4 tries, 3154293 fired transitions, 410 secs || 4263461 markings, 103438518 edges, 11711 markings/sec, 410 secs
lola: STP completed || 4 tries, 3192699 fired transitions, 415 secs || 4325691 markings, 104733464 edges, 12446 markings/sec, 415 secs
lola: STP completed || 4 tries, 3230951 fired transitions, 420 secs || 4373440 markings, 105965299 edges, 9550 markings/sec, 420 secs
lola: STP completed || 4 tries, 3269119 fired transitions, 425 secs || 4429067 markings, 107225550 edges, 11125 markings/sec, 425 secs
lola: STP completed || 4 tries, 3307331 fired transitions, 430 secs || 4483585 markings, 108488933 edges, 10904 markings/sec, 430 secs
lola: STP completed || 4 tries, 3345439 fired transitions, 435 secs || 4532722 markings, 109732749 edges, 9827 markings/sec, 435 secs
lola: STP completed || 4 tries, 3383760 fired transitions, 440 secs || 4580444 markings, 110991642 edges, 9544 markings/sec, 440 secs
lola: STP completed || 4 tries, 3422020 fired transitions, 445 secs || 4626656 markings, 112221924 edges, 9242 markings/sec, 445 secs
lola: STP completed || 4 tries, 3460154 fired transitions, 450 secs || 4677046 markings, 113473871 edges, 10078 markings/sec, 450 secs
lola: STP completed || 4 tries, 3498270 fired transitions, 455 secs || 4726712 markings, 114727483 edges, 9933 markings/sec, 455 secs
lola: STP completed || 4 tries, 3536585 fired transitions, 460 secs || 4776969 markings, 115980506 edges, 10051 markings/sec, 460 secs
lola: STP completed || 4 tries, 3574873 fired transitions, 465 secs || 4831290 markings, 117242894 edges, 10864 markings/sec, 465 secs
lola: STP completed || 4 tries, 3613208 fired transitions, 470 secs || 4887582 markings, 118504091 edges, 11258 markings/sec, 470 secs
lola: STP completed || 4 tries, 3651508 fired transitions, 475 secs || 4947487 markings, 119789731 edges, 11981 markings/sec, 475 secs
lola: STP completed || 4 tries, 3689703 fired transitions, 480 secs || 5012296 markings, 121091552 edges, 12962 markings/sec, 480 secs
lola: STP completed || 4 tries, 3728321 fired transitions, 485 secs || 5073566 markings, 122374667 edges, 12254 markings/sec, 485 secs
lola: STP completed || 4 tries, 3766632 fired transitions, 490 secs || 5125580 markings, 123618562 edges, 10403 markings/sec, 490 secs
lola: STP completed || 4 tries, 3804809 fired transitions, 495 secs || 5181020 markings, 124882683 edges, 11088 markings/sec, 495 secs
lola: STP completed || 4 tries, 3843055 fired transitions, 500 secs || 5240692 markings, 126160541 edges, 11934 markings/sec, 500 secs
lola: STP completed || 4 tries, 3881579 fired transitions, 505 secs || 5300774 markings, 127438848 edges, 12016 markings/sec, 505 secs
lola: STP completed || 4 tries, 3919901 fired transitions, 510 secs || 5353490 markings, 128696173 edges, 10543 markings/sec, 510 secs
lola: STP completed || 4 tries, 3958108 fired transitions, 515 secs || 5401846 markings, 129927949 edges, 9671 markings/sec, 515 secs
lola: STP completed || 4 tries, 3996383 fired transitions, 520 secs || 5462550 markings, 131209523 edges, 12141 markings/sec, 520 secs
lola: STP completed || 5 tries, 4034521 fired transitions, 525 secs || 5521522 markings, 132489642 edges, 11794 markings/sec, 525 secs
lola: STP completed || 5 tries, 4072792 fired transitions, 530 secs || 5576383 markings, 133749412 edges, 10972 markings/sec, 530 secs
lola: STP completed || 5 tries, 4111115 fired transitions, 535 secs || 5635880 markings, 135028961 edges, 11899 markings/sec, 535 secs
lola: STP completed || 5 tries, 4149236 fired transitions, 540 secs || 5689571 markings, 136288258 edges, 10738 markings/sec, 540 secs
lola: STP completed || 5 tries, 4187561 fired transitions, 545 secs || 5745253 markings, 137555461 edges, 11136 markings/sec, 545 secs
lola: STP completed || 5 tries, 4226058 fired transitions, 550 secs || 5805249 markings, 138835773 edges, 11999 markings/sec, 550 secs
lola: STP completed || 5 tries, 4264330 fired transitions, 555 secs || 5862074 markings, 140100275 edges, 11365 markings/sec, 555 secs
lola: STP completed || 5 tries, 4302622 fired transitions, 560 secs || 5921707 markings, 141377255 edges, 11927 markings/sec, 560 secs
lola: STP completed || 5 tries, 4340805 fired transitions, 565 secs || 5980090 markings, 142650749 edges, 11677 markings/sec, 565 secs
lola: STP completed || 5 tries, 4379170 fired transitions, 570 secs || 6038883 markings, 143921385 edges, 11759 markings/sec, 570 secs
lola: STP completed || 5 tries, 4417342 fired transitions, 575 secs || 6100352 markings, 145206215 edges, 12294 markings/sec, 575 secs
lola: STP completed || 5 tries, 4455419 fired transitions, 580 secs || 6165076 markings, 146514953 edges, 12945 markings/sec, 580 secs
lola: STP completed || 5 tries, 4493581 fired transitions, 585 secs || 6212427 markings, 147745073 edges, 9470 markings/sec, 585 secs
lola: STP completed || 5 tries, 4531795 fired transitions, 590 secs || 6263588 markings, 148989133 edges, 10232 markings/sec, 590 secs
lola: STP completed || 5 tries, 4570130 fired transitions, 595 secs || 6322081 markings, 150258276 edges, 11699 markings/sec, 595 secs
lola: STP completed || 5 tries, 4608211 fired transitions, 600 secs || 6382354 markings, 151531844 edges, 12055 markings/sec, 600 secs
lola: STP completed || 5 tries, 4646563 fired transitions, 605 secs || 6442844 markings, 152815045 edges, 12098 markings/sec, 605 secs
lola: STP completed || 5 tries, 4684834 fired transitions, 610 secs || 6500093 markings, 154085276 edges, 11450 markings/sec, 610 secs
lola: STP completed || 5 tries, 4723116 fired transitions, 615 secs || 6554306 markings, 155344167 edges, 10843 markings/sec, 615 secs
lola: STP completed || 5 tries, 4761346 fired transitions, 620 secs || 6612896 markings, 156608249 edges, 11718 markings/sec, 620 secs
lola: STP completed || 5 tries, 4799524 fired transitions, 625 secs || 6674974 markings, 157891845 edges, 12416 markings/sec, 625 secs
lola: STP completed || 5 tries, 4837883 fired transitions, 630 secs || 6728387 markings, 159132990 edges, 10683 markings/sec, 630 secs
lola: STP completed || 5 tries, 4875888 fired transitions, 635 secs || 6780744 markings, 160367379 edges, 10471 markings/sec, 635 secs
lola: STP completed || 5 tries, 4913361 fired transitions, 640 secs || 6834003 markings, 161590494 edges, 10652 markings/sec, 640 secs
lola: STP completed || 5 tries, 4950656 fired transitions, 645 secs || 6891813 markings, 162831208 edges, 11562 markings/sec, 645 secs
lola: STP completed || 5 tries, 4987856 fired transitions, 650 secs || 6952982 markings, 164089688 edges, 12234 markings/sec, 650 secs
lola: STP completed || 6 tries, 5025350 fired transitions, 655 secs || 7013180 markings, 165340453 edges, 12040 markings/sec, 655 secs
lola: STP completed || 6 tries, 5062637 fired transitions, 660 secs || 7074074 markings, 166594084 edges, 12179 markings/sec, 660 secs
lola: STP completed || 6 tries, 5099852 fired transitions, 665 secs || 7130173 markings, 167837235 edges, 11220 markings/sec, 665 secs
lola: STP completed || 6 tries, 5138707 fired transitions, 670 secs || 7180168 markings, 169008208 edges, 9999 markings/sec, 670 secs
lola: STP completed || 6 tries, 5177579 fired transitions, 675 secs || 7241798 markings, 170267246 edges, 12326 markings/sec, 675 secs
lola: STP completed || 6 tries, 5214844 fired transitions, 680 secs || 7301242 markings, 171513172 edges, 11889 markings/sec, 680 secs
lola: STP completed || 6 tries, 5252226 fired transitions, 685 secs || 7364732 markings, 172786496 edges, 12698 markings/sec, 685 secs
lola: STP completed || 6 tries, 5287544 fired transitions, 690 secs || 7421181 markings, 174039100 edges, 11290 markings/sec, 690 secs
lola: STP completed || 6 tries, 5325825 fired transitions, 695 secs || 7479319 markings, 175305617 edges, 11628 markings/sec, 695 secs
lola: STP completed || 6 tries, 5364108 fired transitions, 700 secs || 7541018 markings, 176586431 edges, 12340 markings/sec, 700 secs
lola: STP completed || 6 tries, 5402440 fired transitions, 705 secs || 7600566 markings, 177880749 edges, 11910 markings/sec, 705 secs
lola: STP completed || 6 tries, 5440717 fired transitions, 710 secs || 7654589 markings, 179147125 edges, 10805 markings/sec, 710 secs
lola: STP completed || 6 tries, 5478901 fired transitions, 715 secs || 7701722 markings, 180398083 edges, 9427 markings/sec, 715 secs
lola: STP completed || 6 tries, 5517023 fired transitions, 720 secs || 7756144 markings, 181667312 edges, 10884 markings/sec, 720 secs
lola: STP completed || 6 tries, 5554925 fired transitions, 725 secs || 7808836 markings, 182922287 edges, 10538 markings/sec, 725 secs
lola: STP completed || 6 tries, 5592201 fired transitions, 730 secs || 7861170 markings, 184149401 edges, 10467 markings/sec, 730 secs
lola: STP completed || 6 tries, 5629415 fired transitions, 735 secs || 7916422 markings, 185374395 edges, 11050 markings/sec, 735 secs
lola: STP completed || 6 tries, 5666716 fired transitions, 740 secs || 7977084 markings, 186635262 edges, 12132 markings/sec, 740 secs
lola: STP completed || 6 tries, 5704125 fired transitions, 745 secs || 8041726 markings, 187910922 edges, 12928 markings/sec, 745 secs
lola: STP completed || 6 tries, 5738641 fired transitions, 750 secs || 8096316 markings, 189153133 edges, 10918 markings/sec, 750 secs
lola: STP completed || 6 tries, 5776735 fired transitions, 755 secs || 8140706 markings, 190380324 edges, 8878 markings/sec, 755 secs
lola: STP completed || 6 tries, 5815085 fired transitions, 760 secs || 8196523 markings, 191649948 edges, 11163 markings/sec, 760 secs
lola: STP completed || 6 tries, 5853265 fired transitions, 765 secs || 8249995 markings, 192906770 edges, 10694 markings/sec, 765 secs
lola: STP completed || 6 tries, 5891438 fired transitions, 770 secs || 8306397 markings, 194174804 edges, 11280 markings/sec, 770 secs
lola: STP completed || 6 tries, 5929759 fired transitions, 775 secs || 8361496 markings, 195426508 edges, 11020 markings/sec, 775 secs
lola: STP completed || 6 tries, 5967931 fired transitions, 780 secs || 8413996 markings, 196683276 edges, 10500 markings/sec, 780 secs
lola: STP completed || 7 tries, 6006182 fired transitions, 785 secs || 8477095 markings, 197972474 edges, 12620 markings/sec, 785 secs
lola: STP completed || 7 tries, 6044544 fired transitions, 790 secs || 8538233 markings, 199253126 edges, 12228 markings/sec, 790 secs
lola: STP completed || 7 tries, 6082821 fired transitions, 795 secs || 8593168 markings, 200502821 edges, 10987 markings/sec, 795 secs
lola: STP completed || 7 tries, 6121163 fired transitions, 800 secs || 8657395 markings, 201793118 edges, 12845 markings/sec, 800 secs
lola: STP completed || 7 tries, 6159457 fired transitions, 805 secs || 8716866 markings, 203070046 edges, 11894 markings/sec, 805 secs
lola: STP completed || 7 tries, 6197713 fired transitions, 810 secs || 8776109 markings, 204346233 edges, 11849 markings/sec, 810 secs
lola: STP completed || 7 tries, 6236053 fired transitions, 815 secs || 8835985 markings, 205621856 edges, 11975 markings/sec, 815 secs
lola: STP completed || 7 tries, 6274312 fired transitions, 820 secs || 8901271 markings, 206917530 edges, 13057 markings/sec, 820 secs
lola: STP completed || 7 tries, 6312469 fired transitions, 825 secs || 8966182 markings, 208226450 edges, 12982 markings/sec, 825 secs
lola: STP completed || 7 tries, 6350631 fired transitions, 830 secs || 9031697 markings, 209531123 edges, 13103 markings/sec, 830 secs
lola: STP completed || 7 tries, 6388896 fired transitions, 835 secs || 9089036 markings, 210802787 edges, 11468 markings/sec, 835 secs
lola: STP completed || 7 tries, 6427180 fired transitions, 840 secs || 9154380 markings, 212096995 edges, 13069 markings/sec, 840 secs
lola: STP completed || 7 tries, 6465447 fired transitions, 845 secs || 9215355 markings, 213376851 edges, 12195 markings/sec, 845 secs
lola: STP completed || 7 tries, 6503790 fired transitions, 850 secs || 9272725 markings, 214640491 edges, 11474 markings/sec, 850 secs
lola: STP completed || 7 tries, 6542091 fired transitions, 855 secs || 9330243 markings, 215905209 edges, 11504 markings/sec, 855 secs
lola: STP completed || 7 tries, 6580217 fired transitions, 860 secs || 9391513 markings, 217181545 edges, 12254 markings/sec, 860 secs
lola: STP completed || 7 tries, 6618463 fired transitions, 865 secs || 9449105 markings, 218449908 edges, 11518 markings/sec, 865 secs
lola: STP completed || 7 tries, 6656736 fired transitions, 870 secs || 9509287 markings, 219745018 edges, 12036 markings/sec, 870 secs
lola: STP completed || 7 tries, 6694961 fired transitions, 875 secs || 9568354 markings, 221019432 edges, 11813 markings/sec, 875 secs
lola: STP completed || 7 tries, 6733287 fired transitions, 880 secs || 9628824 markings, 222290657 edges, 12094 markings/sec, 880 secs
lola: STP completed || 7 tries, 6771505 fired transitions, 885 secs || 9690821 markings, 223573775 edges, 12399 markings/sec, 885 secs
lola: STP completed || 7 tries, 6809821 fired transitions, 890 secs || 9739944 markings, 224817874 edges, 9825 markings/sec, 890 secs
lola: STP completed || 7 tries, 6848218 fired transitions, 895 secs || 9794960 markings, 226084676 edges, 11003 markings/sec, 895 secs
lola: STP completed || 7 tries, 6886344 fired transitions, 900 secs || 9843001 markings, 227323227 edges, 9608 markings/sec, 900 secs
lola: STP completed || 7 tries, 6924647 fired transitions, 905 secs || 9895619 markings, 228573761 edges, 10524 markings/sec, 905 secs
lola: STP completed || 7 tries, 6962925 fired transitions, 910 secs || 9958585 markings, 229858893 edges, 12593 markings/sec, 910 secs
lola: STP completed || 8 tries, 7001284 fired transitions, 915 secs || 10020826 markings, 231140405 edges, 12448 markings/sec, 915 secs
lola: STP completed || 8 tries, 7039666 fired transitions, 920 secs || 10084667 markings, 232433583 edges, 12768 markings/sec, 920 secs
lola: STP completed || 8 tries, 7078022 fired transitions, 925 secs || 10144744 markings, 233710919 edges, 12015 markings/sec, 925 secs
lola: STP completed || 8 tries, 7116251 fired transitions, 930 secs || 10200734 markings, 234979128 edges, 11198 markings/sec, 930 secs
lola: STP completed || 8 tries, 7154557 fired transitions, 935 secs || 10254461 markings, 236241147 edges, 10745 markings/sec, 935 secs
lola: STP completed || 8 tries, 7192791 fired transitions, 940 secs || 10303313 markings, 237478347 edges, 9770 markings/sec, 940 secs
lola: STP completed || 8 tries, 7231105 fired transitions, 945 secs || 10367749 markings, 238786550 edges, 12887 markings/sec, 945 secs
lola: STP completed || 8 tries, 7269485 fired transitions, 950 secs || 10435397 markings, 240091130 edges, 13530 markings/sec, 950 secs
lola: STP completed || 8 tries, 7307883 fired transitions, 955 secs || 10496952 markings, 241379398 edges, 12311 markings/sec, 955 secs
lola: STP completed || 8 tries, 7345186 fired transitions, 960 secs || 10560454 markings, 242665629 edges, 12700 markings/sec, 960 secs
lola: STP completed || 8 tries, 7381282 fired transitions, 965 secs || 10623341 markings, 243946665 edges, 12577 markings/sec, 965 secs
lola: STP completed || 8 tries, 7419676 fired transitions, 970 secs || 10678508 markings, 245212278 edges, 11033 markings/sec, 970 secs
lola: STP completed || 8 tries, 7457934 fired transitions, 975 secs || 10732586 markings, 246481155 edges, 10816 markings/sec, 975 secs
lola: STP completed || 8 tries, 7496164 fired transitions, 980 secs || 10793848 markings, 247767137 edges, 12252 markings/sec, 980 secs
lola: STP completed || 8 tries, 7534427 fired transitions, 985 secs || 10847255 markings, 249023676 edges, 10681 markings/sec, 985 secs
lola: STP completed || 8 tries, 7572728 fired transitions, 990 secs || 10905881 markings, 250286269 edges, 11725 markings/sec, 990 secs
lola: STP completed || 8 tries, 7610782 fired transitions, 995 secs || 10961823 markings, 251553718 edges, 11188 markings/sec, 995 secs
lola: STP completed || 8 tries, 7648979 fired transitions, 1000 secs || 11016649 markings, 252819757 edges, 10965 markings/sec, 1000 secs
lola: STP completed || 8 tries, 7687403 fired transitions, 1005 secs || 11062600 markings, 254051335 edges, 9190 markings/sec, 1005 secs
lola: STP completed || 8 tries, 7725697 fired transitions, 1010 secs || 11118657 markings, 255322497 edges, 11211 markings/sec, 1010 secs
lola: STP completed || 8 tries, 7764295 fired transitions, 1015 secs || 11181353 markings, 256604486 edges, 12539 markings/sec, 1015 secs
lola: STP completed || 8 tries, 7802540 fired transitions, 1020 secs || 11244638 markings, 257898126 edges, 12657 markings/sec, 1020 secs
lola: STP completed || 8 tries, 7840838 fired transitions, 1025 secs || 11308795 markings, 259202642 edges, 12831 markings/sec, 1025 secs
lola: STP completed || 8 tries, 7879182 fired transitions, 1030 secs || 11363170 markings, 260485678 edges, 10875 markings/sec, 1030 secs
lola: STP completed || 8 tries, 7917655 fired transitions, 1035 secs || 11421179 markings, 261767901 edges, 11602 markings/sec, 1035 secs
lola: STP completed || 8 tries, 7955974 fired transitions, 1040 secs || 11481458 markings, 263038701 edges, 12056 markings/sec, 1040 secs
lola: STP completed || 8 tries, 7994316 fired transitions, 1045 secs || 11541968 markings, 264312904 edges, 12102 markings/sec, 1045 secs
lola: STP completed || 9 tries, 8032632 fired transitions, 1050 secs || 11588652 markings, 265554954 edges, 9337 markings/sec, 1050 secs
lola: STP completed || 9 tries, 8070784 fired transitions, 1055 secs || 11639305 markings, 266794762 edges, 10131 markings/sec, 1055 secs
lola: STP completed || 9 tries, 8109179 fired transitions, 1060 secs || 11693241 markings, 268053424 edges, 10787 markings/sec, 1060 secs
lola: STP completed || 9 tries, 8147523 fired transitions, 1065 secs || 11757627 markings, 269348255 edges, 12877 markings/sec, 1065 secs
lola: STP completed || 9 tries, 8185918 fired transitions, 1070 secs || 11819208 markings, 270623214 edges, 12316 markings/sec, 1070 secs
lola: STP completed || 9 tries, 8224353 fired transitions, 1075 secs || 11881791 markings, 271911402 edges, 12517 markings/sec, 1075 secs
lola: STP completed || 9 tries, 8262715 fired transitions, 1080 secs || 11936993 markings, 273157385 edges, 11040 markings/sec, 1080 secs
lola: STP completed || 9 tries, 8301134 fired transitions, 1085 secs || 12005166 markings, 274483024 edges, 13635 markings/sec, 1085 secs
lola: STP completed || 9 tries, 8339502 fired transitions, 1090 secs || 12060084 markings, 275765731 edges, 10984 markings/sec, 1090 secs
lola: STP completed || 9 tries, 8377939 fired transitions, 1095 secs || 12118276 markings, 277039174 edges, 11638 markings/sec, 1095 secs
lola: STP completed || 9 tries, 8416339 fired transitions, 1100 secs || 12175815 markings, 278301029 edges, 11508 markings/sec, 1100 secs
lola: STP completed || 9 tries, 8454713 fired transitions, 1105 secs || 12236429 markings, 279580196 edges, 12123 markings/sec, 1105 secs
lola: STP completed || 9 tries, 8493052 fired transitions, 1110 secs || 12297746 markings, 280849467 edges, 12263 markings/sec, 1110 secs
lola: STP completed || 9 tries, 8531373 fired transitions, 1115 secs || 12346081 markings, 282096695 edges, 9667 markings/sec, 1115 secs
lola: STP completed || 9 tries, 8569764 fired transitions, 1120 secs || 12399584 markings, 283356743 edges, 10701 markings/sec, 1120 secs
lola: STP completed || 9 tries, 8607985 fired transitions, 1125 secs || 12463918 markings, 284637471 edges, 12867 markings/sec, 1125 secs
lola: STP completed || 9 tries, 8646375 fired transitions, 1130 secs || 12519318 markings, 285903607 edges, 11080 markings/sec, 1130 secs
lola: STP completed || 9 tries, 8684716 fired transitions, 1135 secs || 12573877 markings, 287163786 edges, 10912 markings/sec, 1135 secs
lola: STP completed || 9 tries, 8723080 fired transitions, 1140 secs || 12641909 markings, 288466185 edges, 13606 markings/sec, 1140 secs
lola: STP completed || 9 tries, 8761362 fired transitions, 1145 secs || 12701150 markings, 289742785 edges, 11848 markings/sec, 1145 secs
lola: STP completed || 9 tries, 8799798 fired transitions, 1150 secs || 12753385 markings, 291003253 edges, 10447 markings/sec, 1150 secs
lola: STP completed || 9 tries, 8837948 fired transitions, 1155 secs || 12807263 markings, 292267097 edges, 10776 markings/sec, 1155 secs
lola: STP completed || 9 tries, 8876341 fired transitions, 1160 secs || 12861314 markings, 293521104 edges, 10810 markings/sec, 1160 secs
lola: STP completed || 9 tries, 8914574 fired transitions, 1165 secs || 12915024 markings, 294775589 edges, 10742 markings/sec, 1165 secs
lola: STP completed || 9 tries, 8953068 fired transitions, 1170 secs || 12970816 markings, 296045751 edges, 11158 markings/sec, 1170 secs
lola: STP completed || 9 tries, 8991420 fired transitions, 1175 secs || 13035189 markings, 297332453 edges, 12875 markings/sec, 1175 secs
lola: STP completed || 10 tries, 9029701 fired transitions, 1180 secs || 13090857 markings, 298609811 edges, 11134 markings/sec, 1180 secs
lola: STP completed || 10 tries, 9068056 fired transitions, 1185 secs || 13152400 markings, 299889733 edges, 12309 markings/sec, 1185 secs
lola: STP completed || 10 tries, 9106253 fired transitions, 1190 secs || 13207216 markings, 301160259 edges, 10963 markings/sec, 1190 secs
lola: STP completed || 10 tries, 9144293 fired transitions, 1195 secs || 13257679 markings, 302406408 edges, 10093 markings/sec, 1195 secs
lola: STP completed || 10 tries, 9182566 fired transitions, 1200 secs || 13311744 markings, 303661294 edges, 10813 markings/sec, 1200 secs
lola: STP completed || 10 tries, 9220995 fired transitions, 1205 secs || 13369683 markings, 304938885 edges, 11588 markings/sec, 1205 secs
lola: STP completed || 10 tries, 9259246 fired transitions, 1210 secs || 13431210 markings, 306230240 edges, 12305 markings/sec, 1210 secs
lola: STP completed || 10 tries, 9297539 fired transitions, 1215 secs || 13482974 markings, 307484499 edges, 10353 markings/sec, 1215 secs
lola: STP completed || 10 tries, 9335847 fired transitions, 1220 secs || 13535596 markings, 308735106 edges, 10524 markings/sec, 1220 secs
lola: STP completed || 10 tries, 9374197 fired transitions, 1225 secs || 13595835 markings, 310008887 edges, 12048 markings/sec, 1225 secs
lola: STP completed || 10 tries, 9412631 fired transitions, 1230 secs || 13664215 markings, 311320646 edges, 13676 markings/sec, 1230 secs
lola: STP completed || 10 tries, 9450731 fired transitions, 1235 secs || 13719494 markings, 312579376 edges, 11056 markings/sec, 1235 secs
lola: STP completed || 10 tries, 9489046 fired transitions, 1240 secs || 13776297 markings, 313839451 edges, 11361 markings/sec, 1240 secs
lola: STP completed || 10 tries, 9527487 fired transitions, 1245 secs || 13844215 markings, 315146480 edges, 13584 markings/sec, 1245 secs
lola: STP completed || 10 tries, 9565901 fired transitions, 1250 secs || 13902177 markings, 316416760 edges, 11592 markings/sec, 1250 secs
lola: STP completed || 10 tries, 9604185 fired transitions, 1255 secs || 13967618 markings, 317719322 edges, 13088 markings/sec, 1255 secs
lola: STP completed || 10 tries, 9642580 fired transitions, 1260 secs || 14029262 markings, 318998449 edges, 12329 markings/sec, 1260 secs
lola: STP completed || 10 tries, 9681094 fired transitions, 1265 secs || 14091503 markings, 320287004 edges, 12448 markings/sec, 1265 secs
lola: STP completed || 10 tries, 9719232 fired transitions, 1270 secs || 14154528 markings, 321572972 edges, 12605 markings/sec, 1270 secs
lola: STP completed || 10 tries, 9757528 fired transitions, 1275 secs || 14199027 markings, 322793721 edges, 8900 markings/sec, 1275 secs
lola: STP completed || 10 tries, 9795847 fired transitions, 1280 secs || 14255133 markings, 324064918 edges, 11221 markings/sec, 1280 secs
lola: STP completed || 10 tries, 9834153 fired transitions, 1285 secs || 14314188 markings, 325340897 edges, 11811 markings/sec, 1285 secs
lola: STP completed || 10 tries, 9872376 fired transitions, 1290 secs || 14380205 markings, 326637247 edges, 13203 markings/sec, 1290 secs
lola: STP completed || 10 tries, 9910577 fired transitions, 1295 secs || 14441988 markings, 327915486 edges, 12357 markings/sec, 1295 secs
lola: STP completed || 10 tries, 9948993 fired transitions, 1300 secs || 14507486 markings, 329214293 edges, 13100 markings/sec, 1300 secs
lola: STP completed || 10 tries, 9987399 fired transitions, 1305 secs || 14557021 markings, 330456451 edges, 9907 markings/sec, 1305 secs
lola: STP completed || 11 tries, 10026074 fired transitions, 1310 secs || 14612327 markings, 331724450 edges, 11061 markings/sec, 1310 secs
lola: STP completed || 11 tries, 10064716 fired transitions, 1315 secs || 14672019 markings, 332998098 edges, 11938 markings/sec, 1315 secs
lola: STP completed || 11 tries, 10103457 fired transitions, 1320 secs || 14734884 markings, 334263700 edges, 12573 markings/sec, 1320 secs
lola: STP completed || 11 tries, 10142847 fired transitions, 1325 secs || 14800251 markings, 335575351 edges, 13073 markings/sec, 1325 secs
lola: STP completed || 11 tries, 10181985 fired transitions, 1330 secs || 14862436 markings, 336874525 edges, 12437 markings/sec, 1330 secs
lola: STP completed || 11 tries, 10221675 fired transitions, 1335 secs || 14923878 markings, 338184925 edges, 12288 markings/sec, 1335 secs
lola: STP completed || 11 tries, 10259453 fired transitions, 1340 secs || 14986789 markings, 339454119 edges, 12582 markings/sec, 1340 secs
lola: STP completed || 11 tries, 10297496 fired transitions, 1345 secs || 15047202 markings, 340736117 edges, 12083 markings/sec, 1345 secs
lola: STP completed || 11 tries, 10336151 fired transitions, 1350 secs || 15104153 markings, 342004530 edges, 11390 markings/sec, 1350 secs
lola: STP completed || 11 tries, 10375813 fired transitions, 1355 secs || 15166932 markings, 343322298 edges, 12556 markings/sec, 1355 secs
lola: STP completed || 11 tries, 10415372 fired transitions, 1360 secs || 15226730 markings, 344636809 edges, 11960 markings/sec, 1360 secs
lola: STP completed || 11 tries, 10455007 fired transitions, 1365 secs || 15286505 markings, 345938567 edges, 11955 markings/sec, 1365 secs
lola: STP completed || 11 tries, 10494636 fired transitions, 1370 secs || 15348788 markings, 347260495 edges, 12457 markings/sec, 1370 secs
lola: STP completed || 11 tries, 10534121 fired transitions, 1375 secs || 15413397 markings, 348585498 edges, 12922 markings/sec, 1375 secs
lola: STP completed || 11 tries, 10573796 fired transitions, 1380 secs || 15473570 markings, 349895675 edges, 12035 markings/sec, 1380 secs
lola: STP completed || 11 tries, 10613360 fired transitions, 1385 secs || 15535583 markings, 351218226 edges, 12403 markings/sec, 1385 secs
lola: STP completed || 11 tries, 10653009 fired transitions, 1390 secs || 15600136 markings, 352541585 edges, 12911 markings/sec, 1390 secs
lola: STP completed || 11 tries, 10692824 fired transitions, 1395 secs || 15666981 markings, 353861134 edges, 13369 markings/sec, 1395 secs
lola: STP completed || 11 tries, 10732422 fired transitions, 1400 secs || 15731176 markings, 355171158 edges, 12839 markings/sec, 1400 secs
lola: STP completed || 11 tries, 10771648 fired transitions, 1405 secs || 15792895 markings, 356494067 edges, 12344 markings/sec, 1405 secs
lola: STP completed || 11 tries, 10811309 fired transitions, 1410 secs || 15858978 markings, 357814538 edges, 13217 markings/sec, 1410 secs
lola: STP completed || 11 tries, 10850699 fired transitions, 1415 secs || 15917695 markings, 359120297 edges, 11743 markings/sec, 1415 secs
lola: STP completed || 11 tries, 10890367 fired transitions, 1420 secs || 15982457 markings, 360428100 edges, 12952 markings/sec, 1420 secs
lola: STP completed || 11 tries, 10930049 fired transitions, 1425 secs || 16042330 markings, 361734417 edges, 11975 markings/sec, 1425 secs
lola: STP completed || 11 tries, 10969740 fired transitions, 1430 secs || 16101602 markings, 363030695 edges, 11854 markings/sec, 1430 secs
lola: STP completed || 12 tries, 11009336 fired transitions, 1435 secs || 16163256 markings, 364338371 edges, 12331 markings/sec, 1435 secs
lola: STP completed || 12 tries, 11047479 fired transitions, 1440 secs || 16223912 markings, 365603495 edges, 12131 markings/sec, 1440 secs
lola: STP completed || 12 tries, 11086834 fired transitions, 1445 secs || 16280229 markings, 366897323 edges, 11263 markings/sec, 1445 secs
lola: STP completed || 12 tries, 11126434 fired transitions, 1450 secs || 16335890 markings, 368183027 edges, 11132 markings/sec, 1450 secs
lola: STP completed || 12 tries, 11166007 fired transitions, 1455 secs || 16401417 markings, 369508035 edges, 13105 markings/sec, 1455 secs
lola: STP completed || 12 tries, 11205543 fired transitions, 1460 secs || 16464888 markings, 370826589 edges, 12694 markings/sec, 1460 secs
lola: STP completed || 12 tries, 11242984 fired transitions, 1465 secs || 16527430 markings, 372112808 edges, 12508 markings/sec, 1465 secs
lola: STP completed || 12 tries, 11280398 fired transitions, 1470 secs || 16585735 markings, 373363509 edges, 11661 markings/sec, 1470 secs
lola: STP completed || 12 tries, 11317567 fired transitions, 1475 secs || 16639829 markings, 374593295 edges, 10819 markings/sec, 1475 secs
lola: STP completed || 12 tries, 11354787 fired transitions, 1480 secs || 16702923 markings, 375849708 edges, 12619 markings/sec, 1480 secs
lola: STP completed || 12 tries, 11392037 fired transitions, 1485 secs || 16769062 markings, 377117603 edges, 13228 markings/sec, 1485 secs
lola: STP completed || 12 tries, 11429556 fired transitions, 1490 secs || 16832571 markings, 378381544 edges, 12702 markings/sec, 1490 secs
lola: STP completed || 12 tries, 11466833 fired transitions, 1495 secs || 16890520 markings, 379630917 edges, 11590 markings/sec, 1495 secs
lola: STP completed || 12 tries, 11504152 fired transitions, 1500 secs || 16947696 markings, 380879248 edges, 11435 markings/sec, 1500 secs
lola: STP completed || 12 tries, 11539275 fired transitions, 1505 secs || 17007764 markings, 382151657 edges, 12014 markings/sec, 1505 secs
lola: STP completed || 12 tries, 11577343 fired transitions, 1510 secs || 17061983 markings, 383415028 edges, 10844 markings/sec, 1510 secs
lola: STP completed || 12 tries, 11614861 fired transitions, 1515 secs || 17114409 markings, 384667962 edges, 10485 markings/sec, 1515 secs
lola: STP completed || 12 tries, 11652138 fired transitions, 1520 secs || 17166167 markings, 385892657 edges, 10352 markings/sec, 1520 secs
lola: STP completed || 12 tries, 11689402 fired transitions, 1525 secs || 17224339 markings, 387152176 edges, 11634 markings/sec, 1525 secs
lola: STP completed || 12 tries, 11724349 fired transitions, 1530 secs || 17280809 markings, 388395837 edges, 11294 markings/sec, 1530 secs
lola: STP completed || 12 tries, 11762735 fired transitions, 1535 secs || 17344509 markings, 389699807 edges, 12740 markings/sec, 1535 secs
lola: STP completed || 12 tries, 11799973 fired transitions, 1540 secs || 17406032 markings, 390949256 edges, 12305 markings/sec, 1540 secs
lola: STP completed || 12 tries, 11837311 fired transitions, 1545 secs || 17469207 markings, 392210579 edges, 12635 markings/sec, 1545 secs
lola: STP completed || 12 tries, 11874643 fired transitions, 1550 secs || 17524800 markings, 393456371 edges, 11119 markings/sec, 1550 secs
lola: STP completed || 12 tries, 11912083 fired transitions, 1555 secs || 17578178 markings, 394688465 edges, 10676 markings/sec, 1555 secs
lola: STP completed || 12 tries, 11949491 fired transitions, 1560 secs || 17631554 markings, 395906584 edges, 10675 markings/sec, 1560 secs
lola: STP completed || 12 tries, 11987060 fired transitions, 1565 secs || 17693485 markings, 397154694 edges, 12386 markings/sec, 1565 secs
lola: STP completed || 13 tries, 12024292 fired transitions, 1570 secs || 17755839 markings, 398416871 edges, 12471 markings/sec, 1570 secs
lola: STP completed || 13 tries, 12060489 fired transitions, 1575 secs || 17811760 markings, 399680883 edges, 11184 markings/sec, 1575 secs
lola: STP completed || 13 tries, 12098766 fired transitions, 1580 secs || 17874242 markings, 400959441 edges, 12496 markings/sec, 1580 secs
lola: STP completed || 13 tries, 12135896 fired transitions, 1585 secs || 17939516 markings, 402232441 edges, 13055 markings/sec, 1585 secs
lola: STP completed || 13 tries, 12173375 fired transitions, 1590 secs || 17995324 markings, 403468848 edges, 11162 markings/sec, 1590 secs
lola: STP completed || 13 tries, 12210434 fired transitions, 1595 secs || 18061456 markings, 404745394 edges, 13226 markings/sec, 1595 secs
lola: STP completed || 13 tries, 12247796 fired transitions, 1600 secs || 18125434 markings, 406018067 edges, 12796 markings/sec, 1600 secs
lola: STP completed || 13 tries, 12285175 fired transitions, 1605 secs || 18184223 markings, 407263876 edges, 11758 markings/sec, 1605 secs
lola: STP completed || 13 tries, 12322461 fired transitions, 1610 secs || 18241954 markings, 408512644 edges, 11546 markings/sec, 1610 secs
lola: STP completed || 13 tries, 12359739 fired transitions, 1615 secs || 18285693 markings, 409703557 edges, 8748 markings/sec, 1615 secs
lola: STP completed || 13 tries, 12396959 fired transitions, 1620 secs || 18341523 markings, 410946826 edges, 11166 markings/sec, 1620 secs
lola: STP completed || 13 tries, 12434350 fired transitions, 1625 secs || 18406856 markings, 412222306 edges, 13067 markings/sec, 1625 secs
lola: STP completed || 13 tries, 12471892 fired transitions, 1630 secs || 18471309 markings, 413492434 edges, 12891 markings/sec, 1630 secs
lola: STP completed || 13 tries, 12509034 fired transitions, 1635 secs || 18534353 markings, 414748297 edges, 12609 markings/sec, 1635 secs
lola: STP completed || 13 tries, 12546294 fired transitions, 1640 secs || 18601961 markings, 416024381 edges, 13522 markings/sec, 1640 secs
lola: STP completed || 13 tries, 12583696 fired transitions, 1645 secs || 18656823 markings, 417264438 edges, 10972 markings/sec, 1645 secs
lola: STP completed || 13 tries, 12621028 fired transitions, 1650 secs || 18712777 markings, 418501194 edges, 11191 markings/sec, 1650 secs
lola: STP completed || 13 tries, 12658089 fired transitions, 1655 secs || 18772868 markings, 419759147 edges, 12018 markings/sec, 1655 secs
lola: STP completed || 13 tries, 12695368 fired transitions, 1660 secs || 18834307 markings, 421011107 edges, 12288 markings/sec, 1660 secs
lola: STP completed || 13 tries, 12732524 fired transitions, 1665 secs || 18888832 markings, 422258146 edges, 10905 markings/sec, 1665 secs
lola: STP completed || 13 tries, 12769832 fired transitions, 1670 secs || 18945801 markings, 423494707 edges, 11394 markings/sec, 1670 secs
lola: STP completed || 13 tries, 12807012 fired transitions, 1675 secs || 19001338 markings, 424726938 edges, 11107 markings/sec, 1675 secs
lola: STP completed || 13 tries, 12844386 fired transitions, 1680 secs || 19057717 markings, 425972643 edges, 11276 markings/sec, 1680 secs
lola: STP completed || 13 tries, 12881723 fired transitions, 1685 secs || 19110311 markings, 427195962 edges, 10519 markings/sec, 1685 secs
lola: STP completed || 13 tries, 12918929 fired transitions, 1690 secs || 19172379 markings, 428453906 edges, 12414 markings/sec, 1690 secs
lola: STP completed || 13 tries, 12956171 fired transitions, 1695 secs || 19226791 markings, 429686589 edges, 10882 markings/sec, 1695 secs
lola: STP completed || 13 tries, 12993447 fired transitions, 1700 secs || 19289885 markings, 430948710 edges, 12619 markings/sec, 1700 secs
lola: STP completed || 14 tries, 13030888 fired transitions, 1705 secs || 19346171 markings, 432188917 edges, 11257 markings/sec, 1705 secs
lola: STP completed || 14 tries, 13068074 fired transitions, 1710 secs || 19406291 markings, 433442081 edges, 12024 markings/sec, 1710 secs
lola: STP completed || 14 tries, 13105385 fired transitions, 1715 secs || 19467285 markings, 434704651 edges, 12199 markings/sec, 1715 secs
lola: STP completed || 14 tries, 13140591 fired transitions, 1720 secs || 19530143 markings, 435985347 edges, 12572 markings/sec, 1720 secs
lola: STP completed || 14 tries, 13178919 fired transitions, 1725 secs || 19582271 markings, 437154953 edges, 10426 markings/sec, 1725 secs
lola: STP completed || 14 tries, 13217625 fired transitions, 1730 secs || 19644278 markings, 438424824 edges, 12401 markings/sec, 1730 secs
lola: STP completed || 14 tries, 13256328 fired transitions, 1735 secs || 19710254 markings, 439697676 edges, 13195 markings/sec, 1735 secs
lola: STP completed || 14 tries, 13295036 fired transitions, 1740 secs || 19766481 markings, 440943260 edges, 11245 markings/sec, 1740 secs
lola: STP completed || 14 tries, 13333827 fired transitions, 1745 secs || 19826345 markings, 442217149 edges, 11973 markings/sec, 1745 secs
lola: STP completed || 14 tries, 13371501 fired transitions, 1750 secs || 19889375 markings, 443481102 edges, 12606 markings/sec, 1750 secs
lola: STP completed || 14 tries, 13409846 fired transitions, 1755 secs || 19951330 markings, 444756919 edges, 12391 markings/sec, 1755 secs
lola: STP completed || 14 tries, 13448375 fired transitions, 1760 secs || 20010967 markings, 446023774 edges, 11927 markings/sec, 1760 secs
lola: STP completed || 14 tries, 13486757 fired transitions, 1765 secs || 20072829 markings, 447292529 edges, 12372 markings/sec, 1765 secs
lola: STP completed || 14 tries, 13525217 fired transitions, 1770 secs || 20134801 markings, 448565341 edges, 12394 markings/sec, 1770 secs
lola: STP completed || 14 tries, 13563651 fired transitions, 1775 secs || 20191839 markings, 449822446 edges, 11408 markings/sec, 1775 secs
lola: STP completed || 14 tries, 13601989 fired transitions, 1780 secs || 20255277 markings, 451107263 edges, 12688 markings/sec, 1780 secs
lola: STP completed || 14 tries, 13640229 fired transitions, 1785 secs || 20321622 markings, 452386466 edges, 13269 markings/sec, 1785 secs
lola: STP completed || 14 tries, 13678665 fired transitions, 1790 secs || 20387158 markings, 453675830 edges, 13107 markings/sec, 1790 secs
lola: STP completed || 14 tries, 13717170 fired transitions, 1795 secs || 20450553 markings, 454953865 edges, 12679 markings/sec, 1795 secs
lola: STP completed || 14 tries, 13755511 fired transitions, 1800 secs || 20503390 markings, 456200519 edges, 10567 markings/sec, 1800 secs
lola: STP completed || 14 tries, 13793873 fired transitions, 1805 secs || 20556135 markings, 457443278 edges, 10549 markings/sec, 1805 secs
lola: STP completed || 14 tries, 13832258 fired transitions, 1810 secs || 20617778 markings, 458721352 edges, 12329 markings/sec, 1810 secs
lola: STP completed || 14 tries, 13870649 fired transitions, 1815 secs || 20680167 markings, 459995528 edges, 12478 markings/sec, 1815 secs
lola: STP completed || 14 tries, 13909033 fired transitions, 1820 secs || 20743203 markings, 461272412 edges, 12607 markings/sec, 1820 secs
lola: STP completed || 14 tries, 13947455 fired transitions, 1825 secs || 20801334 markings, 462532063 edges, 11626 markings/sec, 1825 secs
lola: STP completed || 14 tries, 13985824 fired transitions, 1830 secs || 20863680 markings, 463820582 edges, 12469 markings/sec, 1830 secs
lola: STP completed || 15 tries, 14024361 fired transitions, 1835 secs || 20929432 markings, 465108195 edges, 13150 markings/sec, 1835 secs
lola: STP completed || 15 tries, 14062642 fired transitions, 1840 secs || 20991992 markings, 466386802 edges, 12512 markings/sec, 1840 secs
lola: STP completed || 15 tries, 14101208 fired transitions, 1845 secs || 21056621 markings, 467671486 edges, 12926 markings/sec, 1845 secs
lola: STP completed || 15 tries, 14140257 fired transitions, 1850 secs || 21118949 markings, 468962627 edges, 12466 markings/sec, 1850 secs
lola: STP completed || 15 tries, 14179973 fired transitions, 1855 secs || 21186552 markings, 470300885 edges, 13521 markings/sec, 1855 secs
lola: STP completed || 15 tries, 14218976 fired transitions, 1860 secs || 21254174 markings, 471607373 edges, 13524 markings/sec, 1860 secs
lola: STP completed || 15 tries, 14256757 fired transitions, 1865 secs || 21315792 markings, 472864048 edges, 12324 markings/sec, 1865 secs
lola: STP completed || 15 tries, 14294595 fired transitions, 1870 secs || 21377177 markings, 474118331 edges, 12277 markings/sec, 1870 secs
lola: STP completed || 15 tries, 14332444 fired transitions, 1875 secs || 21439214 markings, 475374894 edges, 12407 markings/sec, 1875 secs
lola: STP completed || 15 tries, 14370187 fired transitions, 1880 secs || 21491640 markings, 476598377 edges, 10485 markings/sec, 1880 secs
lola: STP completed || 15 tries, 14408029 fired transitions, 1885 secs || 21552251 markings, 477855511 edges, 12122 markings/sec, 1885 secs
lola: STP completed || 15 tries, 14445891 fired transitions, 1890 secs || 21611062 markings, 479115252 edges, 11762 markings/sec, 1890 secs
lola: STP completed || 15 tries, 14483720 fired transitions, 1895 secs || 21671506 markings, 480368105 edges, 12089 markings/sec, 1895 secs
lola: STP completed || 15 tries, 14521600 fired transitions, 1900 secs || 21730603 markings, 481623214 edges, 11819 markings/sec, 1900 secs
lola: STP completed || 15 tries, 14559218 fired transitions, 1905 secs || 21793540 markings, 482890406 edges, 12587 markings/sec, 1905 secs
lola: STP completed || 15 tries, 14597352 fired transitions, 1910 secs || 21853431 markings, 484141623 edges, 11978 markings/sec, 1910 secs
lola: STP completed || 15 tries, 14634943 fired transitions, 1915 secs || 21918368 markings, 485407347 edges, 12987 markings/sec, 1915 secs
lola: STP completed || 15 tries, 14672313 fired transitions, 1920 secs || 21983982 markings, 486678234 edges, 13123 markings/sec, 1920 secs
lola: STP completed || 15 tries, 14709731 fired transitions, 1925 secs || 22047339 markings, 487939353 edges, 12671 markings/sec, 1925 secs
lola: STP completed || 15 tries, 14747182 fired transitions, 1930 secs || 22109640 markings, 489191529 edges, 12460 markings/sec, 1930 secs
lola: STP completed || 15 tries, 14784687 fired transitions, 1935 secs || 22174900 markings, 490465395 edges, 13052 markings/sec, 1935 secs
lola: STP completed || 15 tries, 14822030 fired transitions, 1940 secs || 22233257 markings, 491715637 edges, 11671 markings/sec, 1940 secs
lola: STP completed || 15 tries, 14860344 fired transitions, 1945 secs || 22295732 markings, 493000569 edges, 12495 markings/sec, 1945 secs
lola: STP completed || 15 tries, 14898795 fired transitions, 1950 secs || 22359111 markings, 494298308 edges, 12676 markings/sec, 1950 secs
lola: STP completed || 15 tries, 14937197 fired transitions, 1955 secs || 22419517 markings, 495563959 edges, 12081 markings/sec, 1955 secs
lola: STP completed || 15 tries, 14975475 fired transitions, 1960 secs || 22479733 markings, 496827388 edges, 12043 markings/sec, 1960 secs
lola: STP completed || 16 tries, 15013672 fired transitions, 1965 secs || 22542090 markings, 498105598 edges, 12471 markings/sec, 1965 secs
lola: STP completed || 16 tries, 15051905 fired transitions, 1970 secs || 22605277 markings, 499388837 edges, 12637 markings/sec, 1970 secs
lola: STP completed || 16 tries, 15090197 fired transitions, 1975 secs || 22661547 markings, 500650357 edges, 11254 markings/sec, 1975 secs
lola: STP completed || 16 tries, 15128535 fired transitions, 1980 secs || 22726215 markings, 501937194 edges, 12934 markings/sec, 1980 secs
lola: STP completed || 16 tries, 15166760 fired transitions, 1985 secs || 22788787 markings, 503223748 edges, 12514 markings/sec, 1985 secs
lola: STP completed || 16 tries, 15205172 fired transitions, 1990 secs || 22854618 markings, 504513075 edges, 13166 markings/sec, 1990 secs
lola: STP completed || 16 tries, 15243463 fired transitions, 1995 secs || 22917788 markings, 505800781 edges, 12634 markings/sec, 1995 secs
lola: STP completed || 16 tries, 15281650 fired transitions, 2000 secs || 22983545 markings, 507104977 edges, 13151 markings/sec, 2000 secs
lola: STP completed || 16 tries, 15319896 fired transitions, 2005 secs || 23043930 markings, 508392389 edges, 12077 markings/sec, 2005 secs
lola: STP completed || 16 tries, 15358223 fired transitions, 2010 secs || 23107992 markings, 509688117 edges, 12812 markings/sec, 2010 secs
lola: STP completed || 16 tries, 15396491 fired transitions, 2015 secs || 23169042 markings, 510967145 edges, 12210 markings/sec, 2015 secs
lola: STP completed || 16 tries, 15434780 fired transitions, 2020 secs || 23229349 markings, 512252912 edges, 12061 markings/sec, 2020 secs
lola: STP completed || 16 tries, 15472957 fired transitions, 2025 secs || 23295025 markings, 513554580 edges, 13135 markings/sec, 2025 secs
lola: STP completed || 16 tries, 15511396 fired transitions, 2030 secs || 23364799 markings, 514872089 edges, 13955 markings/sec, 2030 secs
lola: STP completed || 16 tries, 15549548 fired transitions, 2035 secs || 23425879 markings, 516160152 edges, 12216 markings/sec, 2035 secs
lola: STP completed || 16 tries, 15587856 fired transitions, 2040 secs || 23486887 markings, 517446758 edges, 12202 markings/sec, 2040 secs
lola: STP completed || 16 tries, 15626099 fired transitions, 2045 secs || 23549785 markings, 518734961 edges, 12580 markings/sec, 2045 secs
lola: STP completed || 16 tries, 15664375 fired transitions, 2050 secs || 23615246 markings, 520032543 edges, 13092 markings/sec, 2050 secs
lola: STP completed || 16 tries, 15702715 fired transitions, 2055 secs || 23675444 markings, 521322732 edges, 12040 markings/sec, 2055 secs
lola: STP completed || 16 tries, 15740985 fired transitions, 2060 secs || 23737030 markings, 522606968 edges, 12317 markings/sec, 2060 secs
lola: STP completed || 16 tries, 15779182 fired transitions, 2065 secs || 23798742 markings, 523896447 edges, 12342 markings/sec, 2065 secs
lola: STP completed || 16 tries, 15817548 fired transitions, 2070 secs || 23865198 markings, 525208114 edges, 13291 markings/sec, 2070 secs
lola: STP completed || 16 tries, 15855818 fired transitions, 2075 secs || 23928244 markings, 526505080 edges, 12609 markings/sec, 2075 secs
lola: STP completed || 16 tries, 15894084 fired transitions, 2080 secs || 23995447 markings, 527815910 edges, 13441 markings/sec, 2080 secs
lola: STP completed || 16 tries, 15932504 fired transitions, 2085 secs || 24062025 markings, 529122899 edges, 13316 markings/sec, 2085 secs
lola: STP completed || 16 tries, 15970817 fired transitions, 2090 secs || 24125267 markings, 530419996 edges, 12648 markings/sec, 2090 secs
lola: STP completed || 17 tries, 16008999 fired transitions, 2095 secs || 24186775 markings, 531706593 edges, 12302 markings/sec, 2095 secs
lola: STP completed || 17 tries, 16047387 fired transitions, 2100 secs || 24250942 markings, 533003919 edges, 12833 markings/sec, 2100 secs
lola: STP completed || 17 tries, 16085687 fired transitions, 2105 secs || 24313549 markings, 534302878 edges, 12521 markings/sec, 2105 secs
lola: STP completed || 17 tries, 16124094 fired transitions, 2110 secs || 24376641 markings, 535600858 edges, 12618 markings/sec, 2110 secs
lola: STP completed || 17 tries, 16162030 fired transitions, 2115 secs || 24435701 markings, 536867327 edges, 11812 markings/sec, 2115 secs
lola: STP completed || 17 tries, 16200002 fired transitions, 2120 secs || 24494943 markings, 538057297 edges, 11848 markings/sec, 2120 secs
lola: STP completed || 17 tries, 16237432 fired transitions, 2125 secs || 24555380 markings, 539318189 edges, 12087 markings/sec, 2125 secs
lola: STP completed || 17 tries, 16274593 fired transitions, 2130 secs || 24618854 markings, 540589234 edges, 12695 markings/sec, 2130 secs
lola: STP completed || 17 tries, 16311871 fired transitions, 2135 secs || 24680382 markings, 541854990 edges, 12306 markings/sec, 2135 secs
lola: STP completed || 17 tries, 16349176 fired transitions, 2140 secs || 24740655 markings, 543111558 edges, 12055 markings/sec, 2140 secs
lola: STP completed || 17 tries, 16386523 fired transitions, 2145 secs || 24799594 markings, 544360529 edges, 11788 markings/sec, 2145 secs
lola: STP completed || 17 tries, 16423753 fired transitions, 2150 secs || 24856959 markings, 545602813 edges, 11473 markings/sec, 2150 secs
lola: STP completed || 17 tries, 16461149 fired transitions, 2155 secs || 24920470 markings, 546868761 edges, 12702 markings/sec, 2155 secs
lola: STP completed || 17 tries, 16498422 fired transitions, 2160 secs || 24970926 markings, 548086170 edges, 10091 markings/sec, 2160 secs
lola: STP completed || 17 tries, 16535690 fired transitions, 2165 secs || 25033986 markings, 549359738 edges, 12612 markings/sec, 2165 secs
lola: STP completed || 17 tries, 16572943 fired transitions, 2170 secs || 25095434 markings, 550630228 edges, 12290 markings/sec, 2170 secs
lola: STP completed || 17 tries, 16610200 fired transitions, 2175 secs || 25159881 markings, 551898732 edges, 12889 markings/sec, 2175 secs
lola: STP completed || 17 tries, 16647642 fired transitions, 2180 secs || 25222745 markings, 553170661 edges, 12573 markings/sec, 2180 secs
lola: STP completed || 17 tries, 16685691 fired transitions, 2185 secs || 25285241 markings, 554381996 edges, 12499 markings/sec, 2185 secs
lola: STP completed || 17 tries, 16723046 fired transitions, 2190 secs || 25351825 markings, 555657903 edges, 13317 markings/sec, 2190 secs
lola: STP completed || 17 tries, 16760390 fired transitions, 2195 secs || 25414362 markings, 556923306 edges, 12507 markings/sec, 2195 secs
lola: STP completed || 17 tries, 16797774 fired transitions, 2200 secs || 25479130 markings, 558196559 edges, 12954 markings/sec, 2200 secs
lola: STP completed || 17 tries, 16835189 fired transitions, 2205 secs || 25535495 markings, 559436576 edges, 11273 markings/sec, 2205 secs
lola: STP completed || 17 tries, 16872479 fired transitions, 2210 secs || 25598643 markings, 560699591 edges, 12630 markings/sec, 2210 secs
lola: STP completed || 17 tries, 16911277 fired transitions, 2215 secs || 25661470 markings, 561915167 edges, 12565 markings/sec, 2215 secs
lola: STP completed || 17 tries, 16950200 fired transitions, 2220 secs || 25723583 markings, 563186518 edges, 12423 markings/sec, 2220 secs
lola: STP completed || 17 tries, 16987774 fired transitions, 2225 secs || 25772008 markings, 564391827 edges, 9685 markings/sec, 2225 secs
lola: STP completed || 18 tries, 17025126 fired transitions, 2230 secs || 25831884 markings, 565652684 edges, 11975 markings/sec, 2230 secs
lola: STP completed || 18 tries, 17062703 fired transitions, 2235 secs || 25890809 markings, 566888391 edges, 11785 markings/sec, 2235 secs
lola: STP completed || 18 tries, 17099968 fired transitions, 2240 secs || 25959537 markings, 568173803 edges, 13746 markings/sec, 2240 secs
lola: STP completed || 18 tries, 17137537 fired transitions, 2245 secs || 26018380 markings, 569424864 edges, 11769 markings/sec, 2245 secs
lola: STP completed || 18 tries, 17174922 fired transitions, 2250 secs || 26079476 markings, 570688076 edges, 12219 markings/sec, 2250 secs
lola: STP completed || 18 tries, 17213828 fired transitions, 2255 secs || 26135875 markings, 571871034 edges, 11280 markings/sec, 2255 secs
lola: STP completed || 18 tries, 17251031 fired transitions, 2260 secs || 26202072 markings, 573149277 edges, 13239 markings/sec, 2260 secs
lola: STP completed || 18 tries, 17288173 fired transitions, 2265 secs || 26261354 markings, 574406439 edges, 11856 markings/sec, 2265 secs
lola: STP completed || 18 tries, 17325570 fired transitions, 2270 secs || 26323848 markings, 575666855 edges, 12499 markings/sec, 2270 secs
lola: STP completed || 18 tries, 17364338 fired transitions, 2275 secs || 26385123 markings, 576880848 edges, 12255 markings/sec, 2275 secs
lola: STP completed || 18 tries, 17403279 fired transitions, 2280 secs || 26448415 markings, 578140755 edges, 12658 markings/sec, 2280 secs
lola: STP completed || 18 tries, 17442016 fired transitions, 2285 secs || 26513847 markings, 579423318 edges, 13086 markings/sec, 2285 secs
lola: STP completed || 18 tries, 17481080 fired transitions, 2290 secs || 26574927 markings, 580676419 edges, 12216 markings/sec, 2290 secs
lola: STP completed || 18 tries, 17519818 fired transitions, 2295 secs || 26635097 markings, 581943808 edges, 12034 markings/sec, 2295 secs
lola: STP completed || 18 tries, 17558768 fired transitions, 2300 secs || 26694010 markings, 583201200 edges, 11783 markings/sec, 2300 secs
lola: STP completed || 18 tries, 17597569 fired transitions, 2305 secs || 26749764 markings, 584442945 edges, 11151 markings/sec, 2305 secs
lola: STP completed || 18 tries, 17636472 fired transitions, 2310 secs || 26813254 markings, 585714883 edges, 12698 markings/sec, 2310 secs
lola: STP completed || 18 tries, 17675477 fired transitions, 2315 secs || 26878549 markings, 586991335 edges, 13059 markings/sec, 2315 secs
lola: STP completed || 18 tries, 17714529 fired transitions, 2320 secs || 26940828 markings, 588258281 edges, 12456 markings/sec, 2320 secs
lola: STP completed || 18 tries, 17753254 fired transitions, 2325 secs || 27005298 markings, 589530273 edges, 12894 markings/sec, 2325 secs
lola: STP completed || 18 tries, 17791921 fired transitions, 2330 secs || 27070216 markings, 590806026 edges, 12984 markings/sec, 2330 secs
lola: STP completed || 18 tries, 17830667 fired transitions, 2335 secs || 27132549 markings, 592076112 edges, 12467 markings/sec, 2335 secs
lola: STP completed || 18 tries, 17869452 fired transitions, 2340 secs || 27194679 markings, 593345671 edges, 12426 markings/sec, 2340 secs
lola: STP completed || 18 tries, 17908300 fired transitions, 2345 secs || 27258173 markings, 594612233 edges, 12699 markings/sec, 2345 secs
lola: STP completed || 18 tries, 17947500 fired transitions, 2350 secs || 27319580 markings, 595873857 edges, 12281 markings/sec, 2350 secs
lola: STP completed || 18 tries, 17986279 fired transitions, 2355 secs || 27377628 markings, 597119332 edges, 11610 markings/sec, 2355 secs
lola: STP completed || 19 tries, 18025214 fired transitions, 2360 secs || 27436754 markings, 598374007 edges, 11825 markings/sec, 2360 secs
lola: STP completed || 19 tries, 18064242 fired transitions, 2365 secs || 27500103 markings, 599642536 edges, 12670 markings/sec, 2365 secs
lola: STP completed || 19 tries, 18103048 fired transitions, 2370 secs || 27559062 markings, 600888090 edges, 11792 markings/sec, 2370 secs
lola: STP completed || 19 tries, 18141779 fired transitions, 2375 secs || 27624537 markings, 602170938 edges, 13095 markings/sec, 2375 secs
lola: STP completed || 19 tries, 18180628 fired transitions, 2380 secs || 27692466 markings, 603461275 edges, 13586 markings/sec, 2380 secs
lola: STP completed || 19 tries, 18219506 fired transitions, 2385 secs || 27757434 markings, 604740936 edges, 12994 markings/sec, 2385 secs
lola: STP completed || 19 tries, 18258235 fired transitions, 2390 secs || 27820486 markings, 606010708 edges, 12610 markings/sec, 2390 secs
lola: STP completed || 19 tries, 18297162 fired transitions, 2395 secs || 27885557 markings, 607295565 edges, 13014 markings/sec, 2395 secs
lola: STP completed || 19 tries, 18336080 fired transitions, 2400 secs || 27950713 markings, 608574187 edges, 13031 markings/sec, 2400 secs
lola: STP completed || 19 tries, 18374864 fired transitions, 2405 secs || 28013412 markings, 609848599 edges, 12540 markings/sec, 2405 secs
lola: STP completed || 19 tries, 18413655 fired transitions, 2410 secs || 28075535 markings, 611114695 edges, 12425 markings/sec, 2410 secs
lola: STP completed || 19 tries, 18452300 fired transitions, 2415 secs || 28128831 markings, 612351034 edges, 10659 markings/sec, 2415 secs
lola: STP completed || 19 tries, 18490992 fired transitions, 2420 secs || 28193276 markings, 613620665 edges, 12889 markings/sec, 2420 secs
lola: STP completed || 19 tries, 18529868 fired transitions, 2425 secs || 28260410 markings, 614907611 edges, 13427 markings/sec, 2425 secs
lola: STP completed || 19 tries, 18568804 fired transitions, 2430 secs || 28322366 markings, 616182570 edges, 12391 markings/sec, 2430 secs
lola: STP completed || 19 tries, 18607759 fired transitions, 2435 secs || 28388316 markings, 617472198 edges, 13190 markings/sec, 2435 secs
lola: STP completed || 19 tries, 18646847 fired transitions, 2440 secs || 28451856 markings, 618741957 edges, 12708 markings/sec, 2440 secs
lola: STP completed || 19 tries, 18685498 fired transitions, 2445 secs || 28513065 markings, 620014530 edges, 12242 markings/sec, 2445 secs
lola: STP completed || 19 tries, 18724408 fired transitions, 2450 secs || 28577584 markings, 621284100 edges, 12904 markings/sec, 2450 secs
lola: STP completed || 19 tries, 18763210 fired transitions, 2455 secs || 28639558 markings, 622556854 edges, 12395 markings/sec, 2455 secs
lola: STP completed || 19 tries, 18800622 fired transitions, 2460 secs || 28700155 markings, 623808860 edges, 12119 markings/sec, 2460 secs
lola: STP completed || 19 tries, 18838085 fired transitions, 2465 secs || 28757297 markings, 624982178 edges, 11428 markings/sec, 2465 secs
lola: STP completed || 19 tries, 18876818 fired transitions, 2470 secs || 28822576 markings, 626261708 edges, 13056 markings/sec, 2470 secs
lola: STP completed || 19 tries, 18914215 fired transitions, 2475 secs || 28883404 markings, 627517301 edges, 12166 markings/sec, 2475 secs
lola: STP completed || 19 tries, 18951369 fired transitions, 2480 secs || 28945370 markings, 628783978 edges, 12393 markings/sec, 2480 secs
lola: STP completed || 19 tries, 18988937 fired transitions, 2485 secs || 29001810 markings, 629968981 edges, 11288 markings/sec, 2485 secs
lola: STP completed || 20 tries, 19026221 fired transitions, 2490 secs || 29065532 markings, 631231737 edges, 12744 markings/sec, 2490 secs
lola: STP completed || 20 tries, 19063494 fired transitions, 2495 secs || 29132184 markings, 632506671 edges, 13330 markings/sec, 2495 secs
lola: STP completed || 20 tries, 19100810 fired transitions, 2500 secs || 29193796 markings, 633758779 edges, 12322 markings/sec, 2500 secs
lola: STP completed || 20 tries, 19138056 fired transitions, 2505 secs || 29260540 markings, 635042763 edges, 13349 markings/sec, 2505 secs
lola: STP completed || 20 tries, 19175353 fired transitions, 2510 secs || 29322622 markings, 636305539 edges, 12416 markings/sec, 2510 secs
lola: STP completed || 20 tries, 19212539 fired transitions, 2515 secs || 29388903 markings, 637574271 edges, 13256 markings/sec, 2515 secs
lola: STP completed || 20 tries, 19249922 fired transitions, 2520 secs || 29449769 markings, 638826220 edges, 12173 markings/sec, 2520 secs
lola: STP completed || 20 tries, 19287367 fired transitions, 2525 secs || 29514440 markings, 640106036 edges, 12934 markings/sec, 2525 secs
lola: STP completed || 20 tries, 19324645 fired transitions, 2530 secs || 29575835 markings, 641366886 edges, 12279 markings/sec, 2530 secs
lola: STP completed || 20 tries, 19362180 fired transitions, 2535 secs || 29638760 markings, 642627627 edges, 12585 markings/sec, 2535 secs
lola: STP completed || 20 tries, 19399547 fired transitions, 2540 secs || 29703554 markings, 643906840 edges, 12959 markings/sec, 2540 secs
lola: STP completed || 20 tries, 19436861 fired transitions, 2545 secs || 29765665 markings, 645151063 edges, 12422 markings/sec, 2545 secs
lola: STP completed || 20 tries, 19474464 fired transitions, 2550 secs || 29823736 markings, 646340793 edges, 11614 markings/sec, 2550 secs
lola: STP completed || 20 tries, 19511839 fired transitions, 2555 secs || 29893074 markings, 647627445 edges, 13868 markings/sec, 2555 secs
lola: STP completed || 20 tries, 19549537 fired transitions, 2560 secs || 29952916 markings, 648829358 edges, 11968 markings/sec, 2560 secs
lola: STP completed || 20 tries, 19588391 fired transitions, 2565 secs || 30017071 markings, 650093088 edges, 12831 markings/sec, 2565 secs
lola: STP completed || 20 tries, 19625722 fired transitions, 2570 secs || 30083812 markings, 651373879 edges, 13348 markings/sec, 2570 secs
lola: STP completed || 20 tries, 19663202 fired transitions, 2575 secs || 30145567 markings, 652638423 edges, 12351 markings/sec, 2575 secs
lola: STP completed || 20 tries, 19700432 fired transitions, 2580 secs || 30208505 markings, 653904640 edges, 12588 markings/sec, 2580 secs
lola: STP completed || 20 tries, 19737748 fired transitions, 2585 secs || 30269995 markings, 655159184 edges, 12298 markings/sec, 2585 secs
lola: STP completed || 20 tries, 19775038 fired transitions, 2590 secs || 30335400 markings, 656433505 edges, 13081 markings/sec, 2590 secs
lola: STP completed || 20 tries, 19812672 fired transitions, 2595 secs || 30403102 markings, 657718630 edges, 13540 markings/sec, 2595 secs
lola: STP completed || 20 tries, 19851544 fired transitions, 2600 secs || 30460897 markings, 658917394 edges, 11559 markings/sec, 2600 secs
lola: STP completed || 20 tries, 19888910 fired transitions, 2605 secs || 30509222 markings, 660149962 edges, 9665 markings/sec, 2605 secs
lola: STP completed || 20 tries, 19926233 fired transitions, 2610 secs || 30559941 markings, 661392306 edges, 10144 markings/sec, 2610 secs
lola: STP completed || 20 tries, 19963755 fired transitions, 2615 secs || 30611738 markings, 662645335 edges, 10359 markings/sec, 2615 secs
lola: STP completed || 21 tries, 20001009 fired transitions, 2620 secs || 30664568 markings, 663893070 edges, 10566 markings/sec, 2620 secs
lola: STP completed || 21 tries, 20038367 fired transitions, 2625 secs || 30724011 markings, 665148520 edges, 11889 markings/sec, 2625 secs
lola: STP completed || 21 tries, 20075624 fired transitions, 2630 secs || 30785264 markings, 666415190 edges, 12251 markings/sec, 2630 secs
lola: STP completed || 21 tries, 20114001 fired transitions, 2635 secs || 30845732 markings, 667621018 edges, 12094 markings/sec, 2635 secs
lola: STP completed || 21 tries, 20151791 fired transitions, 2640 secs || 30910825 markings, 668902731 edges, 13019 markings/sec, 2640 secs
lola: STP completed || 21 tries, 20189497 fired transitions, 2645 secs || 30973400 markings, 670170099 edges, 12515 markings/sec, 2645 secs
lola: STP completed || 21 tries, 20227229 fired transitions, 2650 secs || 31033326 markings, 671384474 edges, 11985 markings/sec, 2650 secs
lola: STP completed || 21 tries, 20265788 fired transitions, 2655 secs || 31092253 markings, 672624506 edges, 11785 markings/sec, 2655 secs
lola: STP completed || 21 tries, 20303298 fired transitions, 2660 secs || 31154565 markings, 673887521 edges, 12462 markings/sec, 2660 secs
lola: STP completed || 21 tries, 20340698 fired transitions, 2665 secs || 31213603 markings, 675131785 edges, 11808 markings/sec, 2665 secs
lola: STP completed || 21 tries, 20377873 fired transitions, 2670 secs || 31275807 markings, 676391667 edges, 12441 markings/sec, 2670 secs
lola: STP completed || 21 tries, 20416598 fired transitions, 2675 secs || 31339545 markings, 677621412 edges, 12748 markings/sec, 2675 secs
lola: STP completed || 21 tries, 20455496 fired transitions, 2680 secs || 31402216 markings, 678886982 edges, 12534 markings/sec, 2680 secs
lola: STP completed || 21 tries, 20492709 fired transitions, 2685 secs || 31464443 markings, 680145784 edges, 12445 markings/sec, 2685 secs
lola: STP completed || 21 tries, 20531388 fired transitions, 2690 secs || 31526247 markings, 681348989 edges, 12361 markings/sec, 2690 secs
lola: STP completed || 21 tries, 20569032 fired transitions, 2695 secs || 31592105 markings, 682626859 edges, 13172 markings/sec, 2695 secs
lola: STP completed || 21 tries, 20606285 fired transitions, 2700 secs || 31656085 markings, 683898241 edges, 12796 markings/sec, 2700 secs
lola: STP completed || 21 tries, 20644964 fired transitions, 2705 secs || 31716915 markings, 685097197 edges, 12166 markings/sec, 2705 secs
lola: STP completed || 21 tries, 20682448 fired transitions, 2710 secs || 31780297 markings, 686363677 edges, 12676 markings/sec, 2710 secs
lola: STP completed || 21 tries, 20719984 fired transitions, 2715 secs || 31845545 markings, 687633797 edges, 13050 markings/sec, 2715 secs
lola: STP completed || 21 tries, 20757161 fired transitions, 2720 secs || 31911279 markings, 688908767 edges, 13147 markings/sec, 2720 secs
lola: STP completed || 21 tries, 20794697 fired transitions, 2725 secs || 31977457 markings, 690188082 edges, 13236 markings/sec, 2725 secs
lola: STP completed || 21 tries, 20832797 fired transitions, 2730 secs || 32039044 markings, 691383141 edges, 12317 markings/sec, 2730 secs
lola: STP completed || 21 tries, 20871729 fired transitions, 2735 secs || 32102541 markings, 692641965 edges, 12699 markings/sec, 2735 secs
lola: STP completed || 21 tries, 20910632 fired transitions, 2740 secs || 32168856 markings, 693927489 edges, 13263 markings/sec, 2740 secs
lola: STP completed || 21 tries, 20947806 fired transitions, 2745 secs || 32233368 markings, 695197708 edges, 12902 markings/sec, 2745 secs
lola: STP completed || 21 tries, 20985179 fired transitions, 2750 secs || 32298587 markings, 696461601 edges, 13044 markings/sec, 2750 secs
lola: STP completed || 22 tries, 21022460 fired transitions, 2755 secs || 32361648 markings, 697726625 edges, 12612 markings/sec, 2755 secs
lola: STP completed || 22 tries, 21060103 fired transitions, 2760 secs || 32424634 markings, 698941043 edges, 12597 markings/sec, 2760 secs
lola: STP completed || 22 tries, 21098734 fired transitions, 2765 secs || 32484747 markings, 700192368 edges, 12023 markings/sec, 2765 secs
lola: STP completed || 22 tries, 21136115 fired transitions, 2770 secs || 32552106 markings, 701476461 edges, 13472 markings/sec, 2770 secs
lola: STP completed || 22 tries, 21173274 fired transitions, 2775 secs || 32617013 markings, 702743201 edges, 12981 markings/sec, 2775 secs
lola: STP completed || 22 tries, 21210626 fired transitions, 2780 secs || 32677857 markings, 703993253 edges, 12169 markings/sec, 2780 secs
lola: STP completed || 22 tries, 21248855 fired transitions, 2785 secs || 32738155 markings, 705157692 edges, 12060 markings/sec, 2785 secs
lola: STP completed || 22 tries, 21287680 fired transitions, 2790 secs || 32801074 markings, 706428188 edges, 12584 markings/sec, 2790 secs
lola: STP completed || 22 tries, 21324975 fired transitions, 2795 secs || 32857099 markings, 707683557 edges, 11205 markings/sec, 2795 secs
lola: STP completed || 22 tries, 21362319 fired transitions, 2800 secs || 32905810 markings, 708919662 edges, 9742 markings/sec, 2800 secs
lola: STP completed || 22 tries, 21399699 fired transitions, 2805 secs || 32956755 markings, 710167416 edges, 10189 markings/sec, 2805 secs
lola: STP completed || 22 tries, 21436892 fired transitions, 2810 secs || 33008502 markings, 711412188 edges, 10349 markings/sec, 2810 secs
lola: STP completed || 22 tries, 21474052 fired transitions, 2815 secs || 33061200 markings, 712660877 edges, 10540 markings/sec, 2815 secs
lola: STP completed || 22 tries, 21511243 fired transitions, 2820 secs || 33119694 markings, 713915752 edges, 11699 markings/sec, 2820 secs
lola: STP completed || 22 tries, 21549171 fired transitions, 2825 secs || 33185400 markings, 715196464 edges, 13141 markings/sec, 2825 secs
lola: STP completed || 22 tries, 21586430 fired transitions, 2830 secs || 33253729 markings, 716480143 edges, 13666 markings/sec, 2830 secs
lola: STP completed || 22 tries, 21625080 fired transitions, 2835 secs || 33306953 markings, 717657995 edges, 10645 markings/sec, 2835 secs
lola: STP completed || 22 tries, 21663799 fired transitions, 2840 secs || 33370125 markings, 718926206 edges, 12634 markings/sec, 2840 secs
lola: STP completed || 22 tries, 21702585 fired transitions, 2845 secs || 33433462 markings, 720198653 edges, 12667 markings/sec, 2845 secs
lola: STP completed || 22 tries, 21741368 fired transitions, 2850 secs || 33498078 markings, 721473864 edges, 12923 markings/sec, 2850 secs
lola: STP completed || 22 tries, 21779959 fired transitions, 2855 secs || 33546367 markings, 722714381 edges, 9658 markings/sec, 2855 secs
lola: STP completed || 22 tries, 21817256 fired transitions, 2860 secs || 33592455 markings, 723936955 edges, 9218 markings/sec, 2860 secs
lola: STP completed || 22 tries, 21855875 fired transitions, 2865 secs || 33637134 markings, 725106373 edges, 8936 markings/sec, 2865 secs
lola: STP completed || 22 tries, 21891960 fired transitions, 2870 secs || 33686676 markings, 726332047 edges, 9908 markings/sec, 2870 secs
lola: STP completed || 22 tries, 21930180 fired transitions, 2875 secs || 33735289 markings, 727577063 edges, 9723 markings/sec, 2875 secs
lola: STP completed || 22 tries, 21968375 fired transitions, 2880 secs || 33782388 markings, 728825826 edges, 9420 markings/sec, 2880 secs
lola: STP completed || 23 tries, 22006695 fired transitions, 2885 secs || 33829723 markings, 730074506 edges, 9467 markings/sec, 2885 secs
lola: STP completed || 23 tries, 22044753 fired transitions, 2890 secs || 33876003 markings, 731305945 edges, 9256 markings/sec, 2890 secs
lola: STP completed || 23 tries, 22082983 fired transitions, 2895 secs || 33927299 markings, 732547740 edges, 10259 markings/sec, 2895 secs
lola: STP completed || 23 tries, 22121187 fired transitions, 2900 secs || 33975598 markings, 733798377 edges, 9660 markings/sec, 2900 secs
lola: STP completed || 23 tries, 22159376 fired transitions, 2905 secs || 34027493 markings, 735054485 edges, 10379 markings/sec, 2905 secs
lola: STP completed || 23 tries, 22197548 fired transitions, 2910 secs || 34078885 markings, 736306455 edges, 10278 markings/sec, 2910 secs
lola: STP completed || 23 tries, 22235845 fired transitions, 2915 secs || 34130572 markings, 737553336 edges, 10337 markings/sec, 2915 secs
lola: STP completed || 23 tries, 22274102 fired transitions, 2920 secs || 34182940 markings, 738802778 edges, 10474 markings/sec, 2920 secs
lola: STP completed || 23 tries, 22311960 fired transitions, 2925 secs || 34235693 markings, 740046140 edges, 10551 markings/sec, 2925 secs
lola: STP completed || 23 tries, 22347017 fired transitions, 2930 secs || 34288246 markings, 741284645 edges, 10511 markings/sec, 2930 secs
lola: STP completed || 23 tries, 22385411 fired transitions, 2935 secs || 34341509 markings, 742544398 edges, 10653 markings/sec, 2935 secs
lola: STP completed || 23 tries, 22423603 fired transitions, 2940 secs || 34393328 markings, 743795767 edges, 10364 markings/sec, 2940 secs
lola: STP completed || 23 tries, 22461845 fired transitions, 2945 secs || 34447175 markings, 745057163 edges, 10769 markings/sec, 2945 secs
lola: STP completed || 23 tries, 22500112 fired transitions, 2950 secs || 34501664 markings, 746322157 edges, 10898 markings/sec, 2950 secs
lola: STP completed || 23 tries, 22538239 fired transitions, 2955 secs || 34546212 markings, 747563133 edges, 8910 markings/sec, 2955 secs
lola: STP completed || 23 tries, 22576378 fired transitions, 2960 secs || 34600990 markings, 748824272 edges, 10956 markings/sec, 2960 secs
lola: STP completed || 23 tries, 22614750 fired transitions, 2965 secs || 34657502 markings, 750100069 edges, 11302 markings/sec, 2965 secs
lola: STP completed || 23 tries, 22653095 fired transitions, 2970 secs || 34707198 markings, 751353361 edges, 9939 markings/sec, 2970 secs
lola: STP completed || 23 tries, 22691372 fired transitions, 2975 secs || 34758856 markings, 752614693 edges, 10332 markings/sec, 2975 secs
lola: STP completed || 23 tries, 22729623 fired transitions, 2980 secs || 34811541 markings, 753877805 edges, 10537 markings/sec, 2980 secs
lola: STP completed || 23 tries, 22767823 fired transitions, 2985 secs || 34860226 markings, 755121562 edges, 9737 markings/sec, 2985 secs
lola: STP completed || 23 tries, 22806056 fired transitions, 2990 secs || 34918033 markings, 756398415 edges, 11561 markings/sec, 2990 secs
lola: STP completed || 23 tries, 22844216 fired transitions, 2995 secs || 34971752 markings, 757647309 edges, 10744 markings/sec, 2995 secs
lola: STP completed || 23 tries, 22881540 fired transitions, 3000 secs || 35022323 markings, 758868916 edges, 10114 markings/sec, 3000 secs
lola: STP completed || 23 tries, 22918815 fired transitions, 3005 secs || 35077348 markings, 760111077 edges, 11005 markings/sec, 3005 secs
lola: STP completed || 23 tries, 22956142 fired transitions, 3010 secs || 35132251 markings, 761354674 edges, 10981 markings/sec, 3010 secs
lola: STP completed || 23 tries, 22993385 fired transitions, 3015 secs || 35184224 markings, 762582437 edges, 10395 markings/sec, 3015 secs
lola: STP completed || 24 tries, 23030798 fired transitions, 3020 secs || 35229934 markings, 763784382 edges, 9142 markings/sec, 3020 secs
lola: STP completed || 24 tries, 23068112 fired transitions, 3025 secs || 35285056 markings, 765026768 edges, 11024 markings/sec, 3025 secs
lola: STP completed || 24 tries, 23105791 fired transitions, 3030 secs || 35339208 markings, 766267838 edges, 10830 markings/sec, 3030 secs
lola: STP completed || 24 tries, 23143047 fired transitions, 3035 secs || 35391215 markings, 767496549 edges, 10401 markings/sec, 3035 secs
lola: STP completed || 24 tries, 23180274 fired transitions, 3040 secs || 35442548 markings, 768720166 edges, 10267 markings/sec, 3040 secs
lola: STP completed || 24 tries, 23217712 fired transitions, 3045 secs || 35495813 markings, 769955850 edges, 10653 markings/sec, 3045 secs
lola: STP completed || 24 tries, 23255741 fired transitions, 3050 secs || 35548229 markings, 771113314 edges, 10483 markings/sec, 3050 secs
lola: STP completed || 24 tries, 23294178 fired transitions, 3055 secs || 35602200 markings, 772355545 edges, 10794 markings/sec, 3055 secs
lola: STP completed || 24 tries, 23332963 fired transitions, 3060 secs || 35656935 markings, 773605055 edges, 10947 markings/sec, 3060 secs
lola: STP completed || 24 tries, 23371678 fired transitions, 3065 secs || 35713947 markings, 774863388 edges, 11402 markings/sec, 3065 secs
lola: STP completed || 24 tries, 23410513 fired transitions, 3070 secs || 35768915 markings, 776110686 edges, 10994 markings/sec, 3070 secs
lola: STP completed || 24 tries, 23449314 fired transitions, 3075 secs || 35828028 markings, 777382083 edges, 11823 markings/sec, 3075 secs
lola: STP completed || 24 tries, 23487816 fired transitions, 3080 secs || 35885756 markings, 778645524 edges, 11546 markings/sec, 3080 secs
lola: STP completed || 24 tries, 23526440 fired transitions, 3085 secs || 35943634 markings, 779906724 edges, 11576 markings/sec, 3085 secs
lola: STP completed || 24 tries, 23564441 fired transitions, 3090 secs || 35997602 markings, 781138949 edges, 10794 markings/sec, 3090 secs
lola: STP completed || 24 tries, 23602056 fired transitions, 3095 secs || 36059185 markings, 782414625 edges, 12317 markings/sec, 3095 secs
lola: STP completed || 24 tries, 23639495 fired transitions, 3100 secs || 36109640 markings, 783640474 edges, 10091 markings/sec, 3100 secs
lola: STP completed || 24 tries, 23676973 fired transitions, 3105 secs || 36163181 markings, 784870906 edges, 10708 markings/sec, 3105 secs
lola: STP completed || 24 tries, 23714243 fired transitions, 3110 secs || 36215375 markings, 786091969 edges, 10439 markings/sec, 3110 secs
lola: STP completed || 24 tries, 23751564 fired transitions, 3115 secs || 36273916 markings, 787347748 edges, 11708 markings/sec, 3115 secs
lola: STP completed || 24 tries, 23788751 fired transitions, 3120 secs || 36334394 markings, 788616117 edges, 12096 markings/sec, 3120 secs
lola: STP completed || 24 tries, 23827462 fired transitions, 3125 secs || 36392137 markings, 789823583 edges, 11549 markings/sec, 3125 secs
lola: STP completed || 24 tries, 23864943 fired transitions, 3130 secs || 36452278 markings, 791084888 edges, 12028 markings/sec, 3130 secs
lola: STP completed || 24 tries, 23902286 fired transitions, 3135 secs || 36512180 markings, 792352444 edges, 11980 markings/sec, 3135 secs
lola: STP completed || 24 tries, 23939582 fired transitions, 3140 secs || 36574288 markings, 793626180 edges, 12422 markings/sec, 3140 secs
lola: STP completed || 24 tries, 23977132 fired transitions, 3145 secs || 36637202 markings, 794902125 edges, 12583 markings/sec, 3145 secs
lola: STP completed || 25 tries, 24015986 fired transitions, 3150 secs || 36684902 markings, 796068938 edges, 9540 markings/sec, 3150 secs
lola: STP completed || 25 tries, 24053265 fired transitions, 3155 secs || 36733850 markings, 797280817 edges, 9790 markings/sec, 3155 secs
lola: STP completed || 25 tries, 24090709 fired transitions, 3160 secs || 36795486 markings, 798560411 edges, 12327 markings/sec, 3160 secs
lola: STP completed || 25 tries, 24127998 fired transitions, 3165 secs || 36843077 markings, 799771280 edges, 9518 markings/sec, 3165 secs
lola: STP completed || 25 tries, 24162707 fired transitions, 3170 secs || 36901083 markings, 801031425 edges, 11601 markings/sec, 3170 secs
lola: STP completed || 25 tries, 24200932 fired transitions, 3175 secs || 36967367 markings, 802347697 edges, 13257 markings/sec, 3175 secs
lola: STP completed || 25 tries, 24239078 fired transitions, 3180 secs || 37030994 markings, 803651178 edges, 12725 markings/sec, 3180 secs
lola: STP completed || 25 tries, 24277419 fired transitions, 3185 secs || 37095319 markings, 804958283 edges, 12865 markings/sec, 3185 secs
lola: STP completed || 25 tries, 24315423 fired transitions, 3190 secs || 37158982 markings, 806242251 edges, 12733 markings/sec, 3190 secs
lola: STP completed || 25 tries, 24352795 fired transitions, 3195 secs || 37221213 markings, 807502910 edges, 12446 markings/sec, 3195 secs
lola: STP completed || 25 tries, 24390100 fired transitions, 3200 secs || 37282724 markings, 808765861 edges, 12302 markings/sec, 3200 secs
lola: STP completed || 25 tries, 24427449 fired transitions, 3205 secs || 37347155 markings, 810031691 edges, 12886 markings/sec, 3205 secs
lola: STP completed || 25 tries, 24464641 fired transitions, 3210 secs || 37407014 markings, 811277060 edges, 11972 markings/sec, 3210 secs
lola: STP completed || 25 tries, 24501843 fired transitions, 3215 secs || 37469939 markings, 812539772 edges, 12585 markings/sec, 3215 secs
lola: STP completed || 25 tries, 24539331 fired transitions, 3220 secs || 37526761 markings, 813771151 edges, 11364 markings/sec, 3220 secs
lola: STP completed || 25 tries, 24576679 fired transitions, 3225 secs || 37591619 markings, 815034474 edges, 12972 markings/sec, 3225 secs
lola: STP completed || 25 tries, 24614096 fired transitions, 3230 secs || 37658268 markings, 816311664 edges, 13330 markings/sec, 3230 secs
lola: STP completed || 25 tries, 24651445 fired transitions, 3235 secs || 37725795 markings, 817583533 edges, 13505 markings/sec, 3235 secs
lola: STP completed || 25 tries, 24688602 fired transitions, 3240 secs || 37788469 markings, 818844742 edges, 12535 markings/sec, 3240 secs
lola: STP completed || 25 tries, 24725758 fired transitions, 3245 secs || 37846769 markings, 820079305 edges, 11660 markings/sec, 3245 secs
lola: STP completed || 25 tries, 24762968 fired transitions, 3250 secs || 37915585 markings, 821364265 edges, 13763 markings/sec, 3250 secs
lola: STP completed || 25 tries, 24800314 fired transitions, 3255 secs || 37976353 markings, 822615891 edges, 12154 markings/sec, 3255 secs
lola: STP completed || 25 tries, 24837652 fired transitions, 3260 secs || 38040862 markings, 823885237 edges, 12902 markings/sec, 3260 secs
lola: STP completed || 25 tries, 24874944 fired transitions, 3265 secs || 38104734 markings, 825151023 edges, 12774 markings/sec, 3265 secs
lola: STP completed || 25 tries, 24912424 fired transitions, 3270 secs || 38167826 markings, 826416064 edges, 12618 markings/sec, 3270 secs
lola: STP completed || 25 tries, 24949834 fired transitions, 3275 secs || 38229540 markings, 827681637 edges, 12343 markings/sec, 3275 secs
lola: STP completed || 25 tries, 24987210 fired transitions, 3280 secs || 38288340 markings, 828926487 edges, 11760 markings/sec, 3280 secs
lola: STP completed || 26 tries, 25024401 fired transitions, 3285 secs || 38340291 markings, 830150555 edges, 10390 markings/sec, 3285 secs
lola: STP completed || 26 tries, 25062028 fired transitions, 3290 secs || 38396936 markings, 831365879 edges, 11329 markings/sec, 3290 secs
lola: STP completed || 26 tries, 25100650 fired transitions, 3295 secs || 38461410 markings, 832590259 edges, 12895 markings/sec, 3295 secs
lola: STP completed || 26 tries, 25139365 fired transitions, 3300 secs || 38515700 markings, 833822059 edges, 10858 markings/sec, 3300 secs
lola: STP completed || 26 tries, 25178134 fired transitions, 3305 secs || 38578233 markings, 835084929 edges, 12507 markings/sec, 3305 secs
lola: STP completed || 26 tries, 25216847 fired transitions, 3310 secs || 38641397 markings, 836349338 edges, 12633 markings/sec, 3310 secs
lola: STP completed || 26 tries, 25255444 fired transitions, 3315 secs || 38704521 markings, 837617369 edges, 12625 markings/sec, 3315 secs
lola: STP completed || 26 tries, 25294121 fired transitions, 3320 secs || 38757760 markings, 838871097 edges, 10648 markings/sec, 3320 secs
lola: STP completed || 26 tries, 25331312 fired transitions, 3325 secs || 38806519 markings, 840105035 edges, 9752 markings/sec, 3325 secs
lola: STP completed || 26 tries, 25368749 fired transitions, 3330 secs || 38851132 markings, 841326885 edges, 8923 markings/sec, 3330 secs
lola: STP completed || 26 tries, 25406151 fired transitions, 3335 secs || 38899189 markings, 842542050 edges, 9611 markings/sec, 3335 secs
lola: STP completed || 26 tries, 25443447 fired transitions, 3340 secs || 38949315 markings, 843767475 edges, 10025 markings/sec, 3340 secs
lola: STP completed || 26 tries, 25480733 fired transitions, 3345 secs || 38998193 markings, 844988121 edges, 9776 markings/sec, 3345 secs
lola: STP completed || 26 tries, 25517796 fired transitions, 3350 secs || 39048913 markings, 846214372 edges, 10144 markings/sec, 3350 secs
lola: STP completed || 26 tries, 25555005 fired transitions, 3355 secs || 39102500 markings, 847452560 edges, 10717 markings/sec, 3355 secs
lola: STP completed || 26 tries, 25592479 fired transitions, 3360 secs || 39154110 markings, 848684998 edges, 10322 markings/sec, 3360 secs
lola: STP completed || 26 tries, 25629825 fired transitions, 3365 secs || 39205551 markings, 849917273 edges, 10288 markings/sec, 3365 secs
lola: STP completed || 26 tries, 25667195 fired transitions, 3370 secs || 39256270 markings, 851140315 edges, 10144 markings/sec, 3370 secs
lola: STP completed || 26 tries, 25704512 fired transitions, 3375 secs || 39307017 markings, 852364590 edges, 10149 markings/sec, 3375 secs
lola: STP completed || 26 tries, 25741623 fired transitions, 3380 secs || 39351000 markings, 853580950 edges, 8797 markings/sec, 3380 secs
lola: STP completed || 26 tries, 25779073 fired transitions, 3385 secs || 39398712 markings, 854796539 edges, 9542 markings/sec, 3385 secs
lola: STP completed || 26 tries, 25816578 fired transitions, 3390 secs || 39457602 markings, 856049742 edges, 11778 markings/sec, 3390 secs
lola: STP completed || 26 tries, 25853968 fired transitions, 3395 secs || 39518312 markings, 857305098 edges, 12142 markings/sec, 3395 secs
lola: STP completed || 26 tries, 25891683 fired transitions, 3400 secs || 39581939 markings, 858569889 edges, 12725 markings/sec, 3400 secs
lola: STP completed || 26 tries, 25929004 fired transitions, 3405 secs || 39645197 markings, 859829655 edges, 12652 markings/sec, 3405 secs
lola: STP completed || 26 tries, 25966282 fired transitions, 3410 secs || 39710653 markings, 861100507 edges, 13091 markings/sec, 3410 secs
lola: STP completed || 27 tries, 26003763 fired transitions, 3415 secs || 39774017 markings, 862365601 edges, 12673 markings/sec, 3415 secs
lola: STP completed || 27 tries, 26041128 fired transitions, 3420 secs || 39839589 markings, 863647266 edges, 13114 markings/sec, 3420 secs
lola: STP completed || 27 tries, 26078591 fired transitions, 3425 secs || 39903080 markings, 864913654 edges, 12698 markings/sec, 3425 secs
lola: STP completed || 27 tries, 26115797 fired transitions, 3430 secs || 39969339 markings, 866186383 edges, 13252 markings/sec, 3430 secs
lola: STP completed || 27 tries, 26153144 fired transitions, 3435 secs || 40034872 markings, 867474232 edges, 13107 markings/sec, 3435 secs
lola: STP completed || 27 tries, 26190386 fired transitions, 3440 secs || 40096483 markings, 868727533 edges, 12322 markings/sec, 3440 secs
lola: STP completed || 27 tries, 26227840 fired transitions, 3445 secs || 40165144 markings, 870006883 edges, 13732 markings/sec, 3445 secs
lola: STP completed || 27 tries, 26265217 fired transitions, 3450 secs || 40231472 markings, 871283425 edges, 13266 markings/sec, 3450 secs
lola: STP completed || 27 tries, 26303230 fired transitions, 3455 secs || 40283646 markings, 872454759 edges, 10435 markings/sec, 3455 secs
lola: STP completed || 27 tries, 26340592 fired transitions, 3460 secs || 40330717 markings, 873658129 edges, 9414 markings/sec, 3460 secs
lola: STP completed || 27 tries, 26377830 fired transitions, 3465 secs || 40380591 markings, 874874528 edges, 9975 markings/sec, 3465 secs
lola: STP completed || 27 tries, 26415271 fired transitions, 3470 secs || 40445702 markings, 876149094 edges, 13022 markings/sec, 3470 secs
lola: STP completed || 27 tries, 26452793 fired transitions, 3475 secs || 40508653 markings, 877406573 edges, 12590 markings/sec, 3475 secs
lola: STP completed || 27 tries, 26491248 fired transitions, 3480 secs || 40570704 markings, 878613576 edges, 12410 markings/sec, 3480 secs
lola: STP completed || 27 tries, 26528486 fired transitions, 3485 secs || 40634346 markings, 879876982 edges, 12728 markings/sec, 3485 secs
lola: STP completed || 27 tries, 26565752 fired transitions, 3490 secs || 40697510 markings, 881134157 edges, 12633 markings/sec, 3490 secs
lola: STP completed || 27 tries, 26603226 fired transitions, 3495 secs || 40759922 markings, 882339749 edges, 12482 markings/sec, 3495 secs
lola: STP completed || 27 tries, 26642012 fired transitions, 3500 secs || 40826053 markings, 883611104 edges, 13226 markings/sec, 3500 secs
lola: STP completed || 27 tries, 26680710 fired transitions, 3505 secs || 40891018 markings, 884886135 edges, 12993 markings/sec, 3505 secs
lola: STP completed || 27 tries, 26717984 fired transitions, 3510 secs || 40949477 markings, 886123108 edges, 11692 markings/sec, 3510 secs
lola: STP completed || 27 tries, 26755355 fired transitions, 3515 secs || 41013634 markings, 887386521 edges, 12831 markings/sec, 3515 secs
lola: STP completed || 27 tries, 26792720 fired transitions, 3520 secs || 41078558 markings, 888656754 edges, 12985 markings/sec, 3520 secs
lola: STP completed || 27 tries, 26830984 fired transitions, 3525 secs || 41139184 markings, 889859002 edges, 12125 markings/sec, 3525 secs
lola: STP completed || 27 tries, 26866257 fired transitions, 3530 secs || 41197407 markings, 891104118 edges, 11645 markings/sec, 3530 secs
lola: STP completed || 27 tries, 26904504 fired transitions, 3535 secs || 41263017 markings, 892393245 edges, 13122 markings/sec, 3535 secs
lola: STP completed || 27 tries, 26942816 fired transitions, 3540 secs || 41327759 markings, 893683636 edges, 12948 markings/sec, 3540 secs
lola: STP completed || 27 tries, 26980967 fired transitions, 3545 secs || 41394031 markings, 894984715 edges, 13254 markings/sec, 3545 secs
lola: STP completed || 28 tries, 27018516 fired transitions, 3550 secs || 41461509 markings, 896268181 edges, 13496 markings/sec, 3550 secs
lola: STP completed || 28 tries, 27055950 fired transitions, 3555 secs || 41526564 markings, 897541962 edges, 13011 markings/sec, 3555 secs
lola: STP completed || 28 tries, 27094144 fired transitions, 3560 secs || 41589511 markings, 898730781 edges, 12589 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 9591972 KB
lola: time consumption: 3570 seconds

BK_STOP 1526601271204

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-05a.tgz
mv DLCround-PT-05a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-05a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735100034"
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 ;