About the Execution of LoLA for TokenRing-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1029.880 | 3570000.00 | 7268383.00 | 9053.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 314M
-rw-r--r-- 1 mcc users 790K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.5M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 78M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 217K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 640K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14M May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 37M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 909K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.8M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 28M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 193K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 47M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TokenRing-PT-040, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743300349
=====================================================================
--------------------
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 TokenRing-PT-040-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527360020358
info: Time: 3600 - MCC
===========================================================================================
prep: translating TokenRing-PT-040 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TokenRing-PT-040 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TokenRing-PT-040 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 67322/65536 symbol table entries, 32756 collisions
lola: preprocessing...
lola: Size of bit vector: 53792
lola: finding significant places
lola: 1681 places, 65641 transitions, 1640 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 67322 transition conflict sets
lola: TASK
lola: reading formula from TokenRing-PT-040-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 871826 variables and 4037766 clauses shipped to Minisat
lola: STP running || 1 tries, 103 fired transitions, 0 secs || 70 markings, 69 edges, 14 markings/sec, 0 secs
lola: STP running || 1 tries, 212 fired transitions, 5 secs || 179 markings, 178 edges, 22 markings/sec, 5 secs
lola: STP running || 1 tries, 321 fired transitions, 10 secs || 287 markings, 286 edges, 22 markings/sec, 10 secs
lola: STP running || 1 tries, 429 fired transitions, 15 secs || 395 markings, 394 edges, 22 markings/sec, 15 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 539 fired transitions, 20 secs || 500 markings, 499 edges, 21 markings/sec, 20 secs
lola: STP completed || 1 tries, 654 fired transitions, 25 secs || 614 markings, 613 edges, 23 markings/sec, 25 secs
lola: STP completed || 1 tries, 769 fired transitions, 30 secs || 729 markings, 728 edges, 23 markings/sec, 30 secs
lola: STP completed || 1 tries, 885 fired transitions, 35 secs || 845 markings, 844 edges, 23 markings/sec, 35 secs
lola: STP completed || 1 tries, 1005 fired transitions, 40 secs || 965 markings, 964 edges, 24 markings/sec, 40 secs
lola: STP completed || 1 tries, 1122 fired transitions, 45 secs || 1082 markings, 1081 edges, 23 markings/sec, 45 secs
lola: STP completed || 1 tries, 1241 fired transitions, 50 secs || 1194 markings, 1193 edges, 22 markings/sec, 50 secs
lola: STP completed || 1 tries, 1359 fired transitions, 55 secs || 1312 markings, 1311 edges, 24 markings/sec, 55 secs
lola: STP completed || 1 tries, 1478 fired transitions, 60 secs || 1431 markings, 1430 edges, 24 markings/sec, 60 secs
lola: STP completed || 1 tries, 1596 fired transitions, 65 secs || 1549 markings, 1548 edges, 24 markings/sec, 65 secs
lola: STP completed || 1 tries, 1714 fired transitions, 70 secs || 1667 markings, 1666 edges, 24 markings/sec, 70 secs
lola: STP completed || 1 tries, 1833 fired transitions, 75 secs || 1786 markings, 1785 edges, 24 markings/sec, 75 secs
lola: STP completed || 1 tries, 1947 fired transitions, 80 secs || 1900 markings, 1899 edges, 23 markings/sec, 80 secs
lola: STP completed || 1 tries, 2062 fired transitions, 85 secs || 2015 markings, 2014 edges, 23 markings/sec, 85 secs
lola: STP completed || 1 tries, 2174 fired transitions, 90 secs || 2127 markings, 2140 edges, 22 markings/sec, 90 secs
lola: STP completed || 1 tries, 2288 fired transitions, 95 secs || 2240 markings, 2314 edges, 23 markings/sec, 95 secs
lola: STP completed || 1 tries, 2403 fired transitions, 100 secs || 2355 markings, 2531 edges, 23 markings/sec, 100 secs
lola: STP completed || 1 tries, 2518 fired transitions, 105 secs || 2470 markings, 2764 edges, 23 markings/sec, 105 secs
lola: STP completed || 1 tries, 2633 fired transitions, 110 secs || 2580 markings, 2971 edges, 22 markings/sec, 110 secs
lola: STP completed || 1 tries, 2747 fired transitions, 115 secs || 2697 markings, 3187 edges, 23 markings/sec, 115 secs
lola: STP completed || 1 tries, 2862 fired transitions, 120 secs || 2812 markings, 3472 edges, 23 markings/sec, 120 secs
lola: STP completed || 1 tries, 2976 fired transitions, 125 secs || 2926 markings, 3746 edges, 23 markings/sec, 125 secs
lola: STP completed || 1 tries, 3087 fired transitions, 130 secs || 3037 markings, 4002 edges, 22 markings/sec, 130 secs
lola: STP completed || 1 tries, 3197 fired transitions, 135 secs || 3147 markings, 4222 edges, 22 markings/sec, 135 secs
lola: STP completed || 1 tries, 3307 fired transitions, 140 secs || 3257 markings, 4412 edges, 22 markings/sec, 140 secs
lola: STP completed || 1 tries, 3417 fired transitions, 145 secs || 3367 markings, 4629 edges, 22 markings/sec, 145 secs
lola: STP completed || 1 tries, 3527 fired transitions, 150 secs || 3478 markings, 4848 edges, 22 markings/sec, 150 secs
lola: STP completed || 1 tries, 3637 fired transitions, 155 secs || 3587 markings, 5029 edges, 22 markings/sec, 155 secs
lola: STP completed || 1 tries, 3746 fired transitions, 160 secs || 3696 markings, 5152 edges, 22 markings/sec, 160 secs
lola: STP completed || 1 tries, 3859 fired transitions, 165 secs || 3809 markings, 5348 edges, 23 markings/sec, 165 secs
lola: STP completed || 1 tries, 3975 fired transitions, 170 secs || 3925 markings, 5579 edges, 23 markings/sec, 170 secs
lola: STP completed || 1 tries, 4090 fired transitions, 175 secs || 4040 markings, 5866 edges, 23 markings/sec, 175 secs
lola: STP completed || 1 tries, 4204 fired transitions, 180 secs || 4154 markings, 6140 edges, 23 markings/sec, 180 secs
lola: STP completed || 1 tries, 4320 fired transitions, 185 secs || 4270 markings, 6437 edges, 23 markings/sec, 185 secs
lola: STP completed || 1 tries, 4435 fired transitions, 190 secs || 4385 markings, 6702 edges, 23 markings/sec, 190 secs
lola: STP completed || 1 tries, 4550 fired transitions, 195 secs || 4500 markings, 6969 edges, 23 markings/sec, 195 secs
lola: STP completed || 1 tries, 4665 fired transitions, 200 secs || 4615 markings, 7240 edges, 23 markings/sec, 200 secs
lola: STP completed || 1 tries, 4780 fired transitions, 205 secs || 4730 markings, 7522 edges, 23 markings/sec, 205 secs
lola: STP completed || 1 tries, 4895 fired transitions, 210 secs || 4845 markings, 7754 edges, 23 markings/sec, 210 secs
lola: STP completed || 1 tries, 5009 fired transitions, 215 secs || 4959 markings, 7923 edges, 23 markings/sec, 215 secs
lola: STP completed || 1 tries, 5124 fired transitions, 220 secs || 5074 markings, 8153 edges, 23 markings/sec, 220 secs
lola: STP completed || 1 tries, 5239 fired transitions, 225 secs || 5189 markings, 8383 edges, 23 markings/sec, 225 secs
lola: STP completed || 1 tries, 5352 fired transitions, 230 secs || 5301 markings, 8604 edges, 22 markings/sec, 230 secs
lola: STP completed || 1 tries, 5463 fired transitions, 235 secs || 5412 markings, 8815 edges, 22 markings/sec, 235 secs
lola: STP completed || 1 tries, 5579 fired transitions, 240 secs || 5528 markings, 9062 edges, 23 markings/sec, 240 secs
lola: STP completed || 1 tries, 5694 fired transitions, 245 secs || 5643 markings, 9247 edges, 23 markings/sec, 245 secs
lola: STP completed || 1 tries, 5808 fired transitions, 250 secs || 5757 markings, 9544 edges, 23 markings/sec, 250 secs
lola: STP completed || 1 tries, 5922 fired transitions, 255 secs || 5871 markings, 9821 edges, 23 markings/sec, 255 secs
lola: STP completed || 1 tries, 6038 fired transitions, 260 secs || 5987 markings, 10130 edges, 23 markings/sec, 260 secs
lola: STP completed || 1 tries, 6153 fired transitions, 265 secs || 6102 markings, 10445 edges, 23 markings/sec, 265 secs
lola: STP completed || 1 tries, 6268 fired transitions, 270 secs || 6217 markings, 10765 edges, 23 markings/sec, 270 secs
lola: STP completed || 1 tries, 6382 fired transitions, 275 secs || 6331 markings, 11087 edges, 23 markings/sec, 275 secs
lola: STP completed || 1 tries, 6498 fired transitions, 280 secs || 6447 markings, 11419 edges, 23 markings/sec, 280 secs
lola: STP completed || 1 tries, 6612 fired transitions, 285 secs || 6561 markings, 11723 edges, 23 markings/sec, 285 secs
lola: STP completed || 1 tries, 6727 fired transitions, 290 secs || 6676 markings, 12034 edges, 23 markings/sec, 290 secs
lola: STP completed || 1 tries, 6842 fired transitions, 295 secs || 6791 markings, 12344 edges, 23 markings/sec, 295 secs
lola: STP completed || 1 tries, 6956 fired transitions, 300 secs || 6898 markings, 12621 edges, 21 markings/sec, 300 secs
lola: STP completed || 1 tries, 7069 fired transitions, 305 secs || 7021 markings, 12984 edges, 25 markings/sec, 305 secs
lola: STP completed || 1 tries, 7182 fired transitions, 310 secs || 7144 markings, 13312 edges, 25 markings/sec, 310 secs
lola: STP completed || 1 tries, 7296 fired transitions, 315 secs || 7268 markings, 13617 edges, 25 markings/sec, 315 secs
lola: STP completed || 1 tries, 7410 fired transitions, 320 secs || 7392 markings, 13950 edges, 25 markings/sec, 320 secs
lola: STP completed || 1 tries, 7523 fired transitions, 325 secs || 7514 markings, 14246 edges, 24 markings/sec, 325 secs
lola: STP completed || 1 tries, 7636 fired transitions, 330 secs || 7638 markings, 14524 edges, 25 markings/sec, 330 secs
lola: STP completed || 1 tries, 7750 fired transitions, 335 secs || 7762 markings, 14874 edges, 25 markings/sec, 335 secs
lola: STP completed || 1 tries, 7863 fired transitions, 340 secs || 7886 markings, 15225 edges, 25 markings/sec, 340 secs
lola: STP completed || 1 tries, 7977 fired transitions, 345 secs || 8009 markings, 15566 edges, 25 markings/sec, 345 secs
lola: STP completed || 1 tries, 8092 fired transitions, 350 secs || 8124 markings, 15862 edges, 23 markings/sec, 350 secs
lola: STP completed || 1 tries, 8207 fired transitions, 355 secs || 8239 markings, 16136 edges, 23 markings/sec, 355 secs
lola: STP completed || 1 tries, 8321 fired transitions, 360 secs || 8353 markings, 16495 edges, 23 markings/sec, 360 secs
lola: STP completed || 1 tries, 8436 fired transitions, 365 secs || 8468 markings, 16788 edges, 23 markings/sec, 365 secs
lola: STP completed || 1 tries, 8551 fired transitions, 370 secs || 8583 markings, 17128 edges, 23 markings/sec, 370 secs
lola: STP completed || 1 tries, 8665 fired transitions, 375 secs || 8697 markings, 17425 edges, 23 markings/sec, 375 secs
lola: STP completed || 1 tries, 8779 fired transitions, 380 secs || 8811 markings, 17723 edges, 23 markings/sec, 380 secs
lola: STP completed || 1 tries, 8895 fired transitions, 385 secs || 8927 markings, 18055 edges, 23 markings/sec, 385 secs
lola: STP completed || 1 tries, 9010 fired transitions, 390 secs || 9042 markings, 18322 edges, 23 markings/sec, 390 secs
lola: STP completed || 1 tries, 9125 fired transitions, 395 secs || 9157 markings, 18671 edges, 23 markings/sec, 395 secs
lola: STP completed || 1 tries, 9240 fired transitions, 400 secs || 9272 markings, 18928 edges, 23 markings/sec, 400 secs
lola: STP completed || 1 tries, 9349 fired transitions, 405 secs || 9387 markings, 19294 edges, 23 markings/sec, 405 secs
lola: STP completed || 1 tries, 9461 fired transitions, 410 secs || 9499 markings, 19620 edges, 22 markings/sec, 410 secs
lola: STP completed || 1 tries, 9577 fired transitions, 415 secs || 9615 markings, 19908 edges, 23 markings/sec, 415 secs
lola: STP completed || 1 tries, 9691 fired transitions, 420 secs || 9729 markings, 20208 edges, 23 markings/sec, 420 secs
lola: STP completed || 1 tries, 9806 fired transitions, 425 secs || 9844 markings, 20561 edges, 23 markings/sec, 425 secs
lola: STP completed || 1 tries, 9921 fired transitions, 430 secs || 9959 markings, 20906 edges, 23 markings/sec, 430 secs
lola: STP completed || 1 tries, 10035 fired transitions, 435 secs || 10073 markings, 21171 edges, 23 markings/sec, 435 secs
lola: STP completed || 1 tries, 10150 fired transitions, 440 secs || 10188 markings, 21495 edges, 23 markings/sec, 440 secs
lola: STP completed || 1 tries, 10266 fired transitions, 445 secs || 10304 markings, 21814 edges, 23 markings/sec, 445 secs
lola: STP completed || 1 tries, 10379 fired transitions, 450 secs || 10417 markings, 22129 edges, 23 markings/sec, 450 secs
lola: STP completed || 1 tries, 10498 fired transitions, 455 secs || 10536 markings, 22420 edges, 24 markings/sec, 455 secs
lola: STP completed || 1 tries, 10624 fired transitions, 460 secs || 10662 markings, 22757 edges, 25 markings/sec, 460 secs
lola: STP completed || 1 tries, 10750 fired transitions, 465 secs || 10788 markings, 23116 edges, 25 markings/sec, 465 secs
lola: STP completed || 1 tries, 10875 fired transitions, 470 secs || 10913 markings, 23418 edges, 25 markings/sec, 470 secs
lola: STP completed || 1 tries, 11000 fired transitions, 475 secs || 11038 markings, 23792 edges, 25 markings/sec, 475 secs
lola: STP completed || 1 tries, 11125 fired transitions, 480 secs || 11163 markings, 24172 edges, 25 markings/sec, 480 secs
lola: STP completed || 1 tries, 11251 fired transitions, 485 secs || 11289 markings, 24474 edges, 25 markings/sec, 485 secs
lola: STP completed || 1 tries, 11376 fired transitions, 490 secs || 11414 markings, 24808 edges, 25 markings/sec, 490 secs
lola: STP completed || 1 tries, 11501 fired transitions, 495 secs || 11539 markings, 25199 edges, 25 markings/sec, 495 secs
lola: STP completed || 1 tries, 11625 fired transitions, 500 secs || 11663 markings, 25489 edges, 25 markings/sec, 500 secs
lola: STP completed || 1 tries, 11749 fired transitions, 505 secs || 11787 markings, 25874 edges, 25 markings/sec, 505 secs
lola: STP completed || 1 tries, 11874 fired transitions, 510 secs || 11912 markings, 26209 edges, 25 markings/sec, 510 secs
lola: STP completed || 1 tries, 11999 fired transitions, 515 secs || 12037 markings, 26575 edges, 25 markings/sec, 515 secs
lola: STP completed || 1 tries, 12123 fired transitions, 520 secs || 12161 markings, 26889 edges, 25 markings/sec, 520 secs
lola: STP completed || 1 tries, 12219 fired transitions, 525 secs || 12287 markings, 27239 edges, 25 markings/sec, 525 secs
lola: STP completed || 1 tries, 12344 fired transitions, 530 secs || 12413 markings, 27571 edges, 25 markings/sec, 530 secs
lola: STP completed || 1 tries, 12470 fired transitions, 535 secs || 12539 markings, 27883 edges, 25 markings/sec, 535 secs
lola: STP completed || 1 tries, 12596 fired transitions, 540 secs || 12665 markings, 28264 edges, 25 markings/sec, 540 secs
lola: STP completed || 1 tries, 12722 fired transitions, 545 secs || 12791 markings, 28643 edges, 25 markings/sec, 545 secs
lola: STP completed || 1 tries, 12847 fired transitions, 550 secs || 12916 markings, 28940 edges, 25 markings/sec, 550 secs
lola: STP completed || 1 tries, 12973 fired transitions, 555 secs || 13042 markings, 29311 edges, 25 markings/sec, 555 secs
lola: STP completed || 1 tries, 13098 fired transitions, 560 secs || 13167 markings, 29664 edges, 25 markings/sec, 560 secs
lola: STP completed || 1 tries, 13223 fired transitions, 565 secs || 13292 markings, 29942 edges, 25 markings/sec, 565 secs
lola: STP completed || 1 tries, 13347 fired transitions, 570 secs || 13416 markings, 30310 edges, 25 markings/sec, 570 secs
lola: STP completed || 1 tries, 13473 fired transitions, 575 secs || 13542 markings, 30650 edges, 25 markings/sec, 575 secs
lola: STP completed || 1 tries, 13598 fired transitions, 580 secs || 13667 markings, 31008 edges, 25 markings/sec, 580 secs
lola: STP completed || 1 tries, 13722 fired transitions, 585 secs || 13791 markings, 31350 edges, 25 markings/sec, 585 secs
lola: STP completed || 1 tries, 13847 fired transitions, 590 secs || 13916 markings, 31729 edges, 25 markings/sec, 590 secs
lola: STP completed || 1 tries, 13974 fired transitions, 595 secs || 14043 markings, 32132 edges, 25 markings/sec, 595 secs
lola: STP completed || 1 tries, 14100 fired transitions, 600 secs || 14169 markings, 32455 edges, 25 markings/sec, 600 secs
lola: STP completed || 1 tries, 14225 fired transitions, 605 secs || 14294 markings, 32830 edges, 25 markings/sec, 605 secs
lola: STP completed || 1 tries, 14351 fired transitions, 610 secs || 14420 markings, 33174 edges, 25 markings/sec, 610 secs
lola: STP completed || 1 tries, 14476 fired transitions, 615 secs || 14545 markings, 33549 edges, 25 markings/sec, 615 secs
lola: STP completed || 1 tries, 14601 fired transitions, 620 secs || 14670 markings, 33909 edges, 25 markings/sec, 620 secs
lola: STP completed || 1 tries, 14726 fired transitions, 625 secs || 14795 markings, 34280 edges, 25 markings/sec, 625 secs
lola: STP completed || 1 tries, 14851 fired transitions, 630 secs || 14920 markings, 34632 edges, 25 markings/sec, 630 secs
lola: STP completed || 1 tries, 14976 fired transitions, 635 secs || 15045 markings, 35007 edges, 25 markings/sec, 635 secs
lola: STP completed || 1 tries, 15101 fired transitions, 640 secs || 15171 markings, 35369 edges, 25 markings/sec, 640 secs
lola: STP completed || 1 tries, 15227 fired transitions, 645 secs || 15296 markings, 35729 edges, 25 markings/sec, 645 secs
lola: STP completed || 1 tries, 15352 fired transitions, 650 secs || 15421 markings, 35995 edges, 25 markings/sec, 650 secs
lola: STP completed || 1 tries, 15477 fired transitions, 655 secs || 15546 markings, 36299 edges, 25 markings/sec, 655 secs
lola: STP completed || 1 tries, 15602 fired transitions, 660 secs || 15671 markings, 36642 edges, 25 markings/sec, 660 secs
lola: STP completed || 1 tries, 15729 fired transitions, 665 secs || 15798 markings, 36906 edges, 25 markings/sec, 665 secs
lola: STP completed || 1 tries, 15854 fired transitions, 670 secs || 15923 markings, 37234 edges, 25 markings/sec, 670 secs
lola: STP completed || 1 tries, 15980 fired transitions, 675 secs || 16049 markings, 37512 edges, 25 markings/sec, 675 secs
lola: STP completed || 1 tries, 16107 fired transitions, 680 secs || 16176 markings, 37800 edges, 25 markings/sec, 680 secs
lola: STP completed || 1 tries, 16232 fired transitions, 685 secs || 16301 markings, 38131 edges, 25 markings/sec, 685 secs
lola: STP completed || 1 tries, 16357 fired transitions, 690 secs || 16426 markings, 38569 edges, 25 markings/sec, 690 secs
lola: STP completed || 1 tries, 16483 fired transitions, 695 secs || 16552 markings, 39008 edges, 25 markings/sec, 695 secs
lola: STP completed || 1 tries, 16609 fired transitions, 700 secs || 16678 markings, 39410 edges, 25 markings/sec, 700 secs
lola: STP completed || 1 tries, 16734 fired transitions, 705 secs || 16803 markings, 39780 edges, 25 markings/sec, 705 secs
lola: STP completed || 1 tries, 16859 fired transitions, 710 secs || 16928 markings, 40187 edges, 25 markings/sec, 710 secs
lola: STP completed || 1 tries, 16985 fired transitions, 715 secs || 17054 markings, 40585 edges, 25 markings/sec, 715 secs
lola: STP completed || 1 tries, 17109 fired transitions, 720 secs || 17178 markings, 40998 edges, 25 markings/sec, 720 secs
lola: STP completed || 1 tries, 17234 fired transitions, 725 secs || 17303 markings, 41464 edges, 25 markings/sec, 725 secs
lola: STP completed || 1 tries, 17361 fired transitions, 730 secs || 17430 markings, 41813 edges, 25 markings/sec, 730 secs
lola: STP completed || 1 tries, 17487 fired transitions, 735 secs || 17556 markings, 42201 edges, 25 markings/sec, 735 secs
lola: STP completed || 1 tries, 17612 fired transitions, 740 secs || 17681 markings, 42635 edges, 25 markings/sec, 740 secs
lola: STP completed || 1 tries, 17738 fired transitions, 745 secs || 17807 markings, 43079 edges, 25 markings/sec, 745 secs
lola: STP completed || 1 tries, 17864 fired transitions, 750 secs || 17933 markings, 43444 edges, 25 markings/sec, 750 secs
lola: STP completed || 1 tries, 17990 fired transitions, 755 secs || 18059 markings, 43820 edges, 25 markings/sec, 755 secs
lola: STP completed || 1 tries, 18115 fired transitions, 760 secs || 18184 markings, 44285 edges, 25 markings/sec, 760 secs
lola: STP completed || 1 tries, 18241 fired transitions, 765 secs || 18310 markings, 44718 edges, 25 markings/sec, 765 secs
lola: STP completed || 1 tries, 18366 fired transitions, 770 secs || 18435 markings, 45078 edges, 25 markings/sec, 770 secs
lola: STP completed || 1 tries, 18492 fired transitions, 775 secs || 18561 markings, 45512 edges, 25 markings/sec, 775 secs
lola: STP completed || 1 tries, 18617 fired transitions, 780 secs || 18686 markings, 45891 edges, 25 markings/sec, 780 secs
lola: STP completed || 1 tries, 18742 fired transitions, 785 secs || 18811 markings, 46338 edges, 25 markings/sec, 785 secs
lola: STP completed || 1 tries, 18866 fired transitions, 790 secs || 18935 markings, 46724 edges, 25 markings/sec, 790 secs
lola: STP completed || 1 tries, 18992 fired transitions, 795 secs || 19061 markings, 47175 edges, 25 markings/sec, 795 secs
lola: STP completed || 1 tries, 19118 fired transitions, 800 secs || 19187 markings, 47580 edges, 25 markings/sec, 800 secs
lola: STP completed || 1 tries, 19244 fired transitions, 805 secs || 19313 markings, 47938 edges, 25 markings/sec, 805 secs
lola: STP completed || 1 tries, 19369 fired transitions, 810 secs || 19438 markings, 48389 edges, 25 markings/sec, 810 secs
lola: STP completed || 1 tries, 19495 fired transitions, 815 secs || 19564 markings, 48825 edges, 25 markings/sec, 815 secs
lola: STP completed || 1 tries, 19620 fired transitions, 820 secs || 19689 markings, 49160 edges, 25 markings/sec, 820 secs
lola: STP completed || 1 tries, 19746 fired transitions, 825 secs || 19815 markings, 49622 edges, 25 markings/sec, 825 secs
lola: STP completed || 1 tries, 19871 fired transitions, 830 secs || 19940 markings, 50075 edges, 25 markings/sec, 830 secs
lola: STP completed || 1 tries, 19997 fired transitions, 835 secs || 20066 markings, 50403 edges, 25 markings/sec, 835 secs
lola: STP completed || 1 tries, 20122 fired transitions, 840 secs || 20191 markings, 50809 edges, 25 markings/sec, 840 secs
lola: STP completed || 1 tries, 20247 fired transitions, 845 secs || 20316 markings, 51257 edges, 25 markings/sec, 845 secs
lola: STP completed || 1 tries, 20373 fired transitions, 850 secs || 20442 markings, 51637 edges, 25 markings/sec, 850 secs
lola: STP completed || 1 tries, 20497 fired transitions, 855 secs || 20566 markings, 52113 edges, 25 markings/sec, 855 secs
lola: STP completed || 1 tries, 20622 fired transitions, 860 secs || 20691 markings, 52556 edges, 25 markings/sec, 860 secs
lola: STP completed || 1 tries, 20749 fired transitions, 865 secs || 20818 markings, 52895 edges, 25 markings/sec, 865 secs
lola: STP completed || 1 tries, 20875 fired transitions, 870 secs || 20944 markings, 53339 edges, 25 markings/sec, 870 secs
lola: STP completed || 1 tries, 21000 fired transitions, 875 secs || 21069 markings, 53789 edges, 25 markings/sec, 875 secs
lola: STP completed || 1 tries, 21125 fired transitions, 880 secs || 21194 markings, 54168 edges, 25 markings/sec, 880 secs
lola: STP completed || 1 tries, 21250 fired transitions, 885 secs || 21319 markings, 54597 edges, 25 markings/sec, 885 secs
lola: STP completed || 1 tries, 21376 fired transitions, 890 secs || 21445 markings, 55018 edges, 25 markings/sec, 890 secs
lola: STP completed || 1 tries, 21501 fired transitions, 895 secs || 21570 markings, 55390 edges, 25 markings/sec, 895 secs
lola: STP completed || 1 tries, 21626 fired transitions, 900 secs || 21695 markings, 55841 edges, 25 markings/sec, 900 secs
lola: STP completed || 1 tries, 21751 fired transitions, 905 secs || 21820 markings, 56219 edges, 25 markings/sec, 905 secs
lola: STP completed || 1 tries, 21876 fired transitions, 910 secs || 21945 markings, 56591 edges, 25 markings/sec, 910 secs
lola: STP completed || 1 tries, 22001 fired transitions, 915 secs || 22070 markings, 57047 edges, 25 markings/sec, 915 secs
lola: STP completed || 1 tries, 22126 fired transitions, 920 secs || 22195 markings, 57512 edges, 25 markings/sec, 920 secs
lola: STP completed || 1 tries, 22250 fired transitions, 925 secs || 22319 markings, 57882 edges, 25 markings/sec, 925 secs
lola: STP completed || 1 tries, 22376 fired transitions, 930 secs || 22445 markings, 58314 edges, 25 markings/sec, 930 secs
lola: STP completed || 1 tries, 22502 fired transitions, 935 secs || 22571 markings, 58736 edges, 25 markings/sec, 935 secs
lola: STP completed || 1 tries, 22627 fired transitions, 940 secs || 22696 markings, 59133 edges, 25 markings/sec, 940 secs
lola: STP completed || 1 tries, 22753 fired transitions, 945 secs || 22822 markings, 59537 edges, 25 markings/sec, 945 secs
lola: STP completed || 1 tries, 22879 fired transitions, 950 secs || 22948 markings, 59970 edges, 25 markings/sec, 950 secs
lola: STP completed || 1 tries, 23004 fired transitions, 955 secs || 23073 markings, 60352 edges, 25 markings/sec, 955 secs
lola: STP completed || 1 tries, 23129 fired transitions, 960 secs || 23198 markings, 60789 edges, 25 markings/sec, 960 secs
lola: STP completed || 1 tries, 23254 fired transitions, 965 secs || 23323 markings, 61259 edges, 25 markings/sec, 965 secs
lola: STP completed || 1 tries, 23379 fired transitions, 970 secs || 23448 markings, 61624 edges, 25 markings/sec, 970 secs
lola: STP completed || 1 tries, 23505 fired transitions, 975 secs || 23574 markings, 62020 edges, 25 markings/sec, 975 secs
lola: STP completed || 1 tries, 23631 fired transitions, 980 secs || 23682 markings, 62339 edges, 22 markings/sec, 980 secs
lola: STP completed || 1 tries, 23756 fired transitions, 985 secs || 23807 markings, 62790 edges, 25 markings/sec, 985 secs
lola: STP completed || 1 tries, 23880 fired transitions, 990 secs || 23931 markings, 63244 edges, 25 markings/sec, 990 secs
lola: STP completed || 1 tries, 24004 fired transitions, 995 secs || 24055 markings, 63690 edges, 25 markings/sec, 995 secs
lola: STP completed || 1 tries, 24131 fired transitions, 1000 secs || 24182 markings, 63993 edges, 25 markings/sec, 1000 secs
lola: STP completed || 1 tries, 24256 fired transitions, 1005 secs || 24307 markings, 64452 edges, 25 markings/sec, 1005 secs
lola: STP completed || 1 tries, 24381 fired transitions, 1010 secs || 24432 markings, 64917 edges, 25 markings/sec, 1010 secs
lola: STP completed || 1 tries, 24506 fired transitions, 1015 secs || 24557 markings, 65384 edges, 25 markings/sec, 1015 secs
lola: STP completed || 1 tries, 24631 fired transitions, 1020 secs || 24682 markings, 65768 edges, 25 markings/sec, 1020 secs
lola: STP completed || 1 tries, 24756 fired transitions, 1025 secs || 24807 markings, 66216 edges, 25 markings/sec, 1025 secs
lola: STP completed || 1 tries, 24881 fired transitions, 1030 secs || 24931 markings, 66616 edges, 25 markings/sec, 1030 secs
lola: STP completed || 1 tries, 25005 fired transitions, 1035 secs || 25056 markings, 67051 edges, 25 markings/sec, 1035 secs
lola: STP completed || 1 tries, 25130 fired transitions, 1040 secs || 25181 markings, 67413 edges, 25 markings/sec, 1040 secs
lola: STP completed || 1 tries, 25255 fired transitions, 1045 secs || 25306 markings, 67692 edges, 25 markings/sec, 1045 secs
lola: STP completed || 1 tries, 25380 fired transitions, 1050 secs || 25431 markings, 68042 edges, 25 markings/sec, 1050 secs
lola: STP completed || 1 tries, 25505 fired transitions, 1055 secs || 25556 markings, 68408 edges, 25 markings/sec, 1055 secs
lola: STP completed || 1 tries, 25629 fired transitions, 1060 secs || 25680 markings, 68755 edges, 25 markings/sec, 1060 secs
lola: STP completed || 1 tries, 25756 fired transitions, 1065 secs || 25807 markings, 69053 edges, 25 markings/sec, 1065 secs
lola: STP completed || 1 tries, 25881 fired transitions, 1070 secs || 25932 markings, 69330 edges, 25 markings/sec, 1070 secs
lola: STP completed || 1 tries, 26006 fired transitions, 1075 secs || 26057 markings, 69733 edges, 25 markings/sec, 1075 secs
lola: STP completed || 1 tries, 26132 fired transitions, 1080 secs || 26183 markings, 70199 edges, 25 markings/sec, 1080 secs
lola: STP completed || 1 tries, 26258 fired transitions, 1085 secs || 26309 markings, 70685 edges, 25 markings/sec, 1085 secs
lola: STP completed || 1 tries, 26382 fired transitions, 1090 secs || 26433 markings, 71131 edges, 25 markings/sec, 1090 secs
lola: STP completed || 1 tries, 26507 fired transitions, 1095 secs || 26558 markings, 71583 edges, 25 markings/sec, 1095 secs
lola: STP completed || 1 tries, 26632 fired transitions, 1100 secs || 26683 markings, 72052 edges, 25 markings/sec, 1100 secs
lola: STP completed || 1 tries, 26758 fired transitions, 1105 secs || 26795 markings, 72425 edges, 22 markings/sec, 1105 secs
lola: STP completed || 1 tries, 26884 fired transitions, 1110 secs || 26901 markings, 72700 edges, 21 markings/sec, 1110 secs
lola: STP completed || 1 tries, 27008 fired transitions, 1115 secs || 27017 markings, 73039 edges, 23 markings/sec, 1115 secs
lola: STP completed || 1 tries, 27133 fired transitions, 1120 secs || 27142 markings, 73470 edges, 25 markings/sec, 1120 secs
lola: STP completed || 1 tries, 27257 fired transitions, 1125 secs || 27266 markings, 73900 edges, 25 markings/sec, 1125 secs
lola: STP completed || 1 tries, 27382 fired transitions, 1130 secs || 27392 markings, 74345 edges, 25 markings/sec, 1130 secs
lola: STP completed || 1 tries, 27509 fired transitions, 1135 secs || 27519 markings, 74686 edges, 25 markings/sec, 1135 secs
lola: STP completed || 1 tries, 27634 fired transitions, 1140 secs || 27644 markings, 75116 edges, 25 markings/sec, 1140 secs
lola: STP completed || 1 tries, 27756 fired transitions, 1145 secs || 27769 markings, 75539 edges, 25 markings/sec, 1145 secs
lola: STP completed || 1 tries, 27860 fired transitions, 1150 secs || 27896 markings, 75918 edges, 25 markings/sec, 1150 secs
lola: STP completed || 1 tries, 27965 fired transitions, 1155 secs || 28022 markings, 76308 edges, 25 markings/sec, 1155 secs
lola: STP completed || 1 tries, 28071 fired transitions, 1160 secs || 28148 markings, 76665 edges, 25 markings/sec, 1160 secs
lola: STP completed || 1 tries, 28176 fired transitions, 1165 secs || 28274 markings, 77060 edges, 25 markings/sec, 1165 secs
lola: STP completed || 1 tries, 28281 fired transitions, 1170 secs || 28400 markings, 77416 edges, 25 markings/sec, 1170 secs
lola: STP completed || 1 tries, 28386 fired transitions, 1175 secs || 28526 markings, 77784 edges, 25 markings/sec, 1175 secs
lola: STP completed || 1 tries, 28497 fired transitions, 1180 secs || 28652 markings, 78158 edges, 25 markings/sec, 1180 secs
lola: STP completed || 1 tries, 28615 fired transitions, 1185 secs || 28777 markings, 78520 edges, 25 markings/sec, 1185 secs
lola: STP completed || 1 tries, 28734 fired transitions, 1190 secs || 28904 markings, 78908 edges, 25 markings/sec, 1190 secs
lola: STP completed || 1 tries, 28857 fired transitions, 1195 secs || 29028 markings, 79389 edges, 25 markings/sec, 1195 secs
lola: STP completed || 1 tries, 28981 fired transitions, 1200 secs || 29152 markings, 79774 edges, 25 markings/sec, 1200 secs
lola: STP completed || 1 tries, 29108 fired transitions, 1205 secs || 29279 markings, 80231 edges, 25 markings/sec, 1205 secs
lola: STP completed || 1 tries, 29234 fired transitions, 1210 secs || 29405 markings, 80651 edges, 25 markings/sec, 1210 secs
lola: STP completed || 1 tries, 29359 fired transitions, 1215 secs || 29530 markings, 81059 edges, 25 markings/sec, 1215 secs
lola: STP completed || 1 tries, 29485 fired transitions, 1220 secs || 29656 markings, 81510 edges, 25 markings/sec, 1220 secs
lola: STP completed || 1 tries, 29611 fired transitions, 1225 secs || 29770 markings, 81903 edges, 23 markings/sec, 1225 secs
lola: STP completed || 1 tries, 29737 fired transitions, 1230 secs || 29883 markings, 82188 edges, 23 markings/sec, 1230 secs
lola: STP completed || 1 tries, 29863 fired transitions, 1235 secs || 29996 markings, 82556 edges, 23 markings/sec, 1235 secs
lola: STP completed || 1 tries, 29990 fired transitions, 1240 secs || 30108 markings, 82871 edges, 22 markings/sec, 1240 secs
lola: STP completed || 1 tries, 30116 fired transitions, 1245 secs || 30221 markings, 83180 edges, 23 markings/sec, 1245 secs
lola: STP completed || 1 tries, 30242 fired transitions, 1250 secs || 30333 markings, 83516 edges, 22 markings/sec, 1250 secs
lola: STP completed || 1 tries, 30368 fired transitions, 1255 secs || 30446 markings, 83849 edges, 23 markings/sec, 1255 secs
lola: STP completed || 1 tries, 30493 fired transitions, 1260 secs || 30568 markings, 84249 edges, 24 markings/sec, 1260 secs
lola: STP completed || 1 tries, 30617 fired transitions, 1265 secs || 30692 markings, 84731 edges, 25 markings/sec, 1265 secs
lola: STP completed || 1 tries, 30742 fired transitions, 1270 secs || 30817 markings, 85176 edges, 25 markings/sec, 1270 secs
lola: STP completed || 1 tries, 30869 fired transitions, 1275 secs || 30944 markings, 85516 edges, 25 markings/sec, 1275 secs
lola: STP completed || 1 tries, 30994 fired transitions, 1280 secs || 31069 markings, 85992 edges, 25 markings/sec, 1280 secs
lola: STP completed || 1 tries, 31119 fired transitions, 1285 secs || 31194 markings, 86440 edges, 25 markings/sec, 1285 secs
lola: STP completed || 1 tries, 31231 fired transitions, 1290 secs || 31320 markings, 86774 edges, 25 markings/sec, 1290 secs
lola: STP completed || 1 tries, 31355 fired transitions, 1295 secs || 31444 markings, 87245 edges, 25 markings/sec, 1295 secs
lola: STP completed || 1 tries, 31480 fired transitions, 1300 secs || 31569 markings, 87661 edges, 25 markings/sec, 1300 secs
lola: STP completed || 1 tries, 31597 fired transitions, 1305 secs || 31694 markings, 88064 edges, 25 markings/sec, 1305 secs
lola: STP completed || 1 tries, 31723 fired transitions, 1310 secs || 31820 markings, 88561 edges, 25 markings/sec, 1310 secs
lola: STP completed || 1 tries, 31847 fired transitions, 1315 secs || 31944 markings, 89005 edges, 25 markings/sec, 1315 secs
lola: STP completed || 1 tries, 31971 fired transitions, 1320 secs || 32068 markings, 89483 edges, 25 markings/sec, 1320 secs
lola: STP completed || 1 tries, 32096 fired transitions, 1325 secs || 32193 markings, 89969 edges, 25 markings/sec, 1325 secs
lola: STP completed || 1 tries, 32220 fired transitions, 1330 secs || 32317 markings, 90460 edges, 25 markings/sec, 1330 secs
lola: STP completed || 1 tries, 32344 fired transitions, 1335 secs || 32441 markings, 90931 edges, 25 markings/sec, 1335 secs
lola: STP completed || 1 tries, 32470 fired transitions, 1340 secs || 32567 markings, 91339 edges, 25 markings/sec, 1340 secs
lola: STP completed || 1 tries, 32595 fired transitions, 1345 secs || 32692 markings, 91773 edges, 25 markings/sec, 1345 secs
lola: STP completed || 1 tries, 32720 fired transitions, 1350 secs || 32817 markings, 92215 edges, 25 markings/sec, 1350 secs
lola: STP completed || 1 tries, 32846 fired transitions, 1355 secs || 32943 markings, 92600 edges, 25 markings/sec, 1355 secs
lola: STP completed || 1 tries, 32971 fired transitions, 1360 secs || 33068 markings, 93093 edges, 25 markings/sec, 1360 secs
lola: STP completed || 1 tries, 33096 fired transitions, 1365 secs || 33193 markings, 93545 edges, 25 markings/sec, 1365 secs
lola: STP completed || 1 tries, 33220 fired transitions, 1370 secs || 33317 markings, 94049 edges, 25 markings/sec, 1370 secs
lola: STP completed || 1 tries, 33345 fired transitions, 1375 secs || 33442 markings, 94462 edges, 25 markings/sec, 1375 secs
lola: STP completed || 1 tries, 33470 fired transitions, 1380 secs || 33566 markings, 94782 edges, 25 markings/sec, 1380 secs
lola: STP completed || 1 tries, 33594 fired transitions, 1385 secs || 33690 markings, 95269 edges, 25 markings/sec, 1385 secs
lola: STP completed || 1 tries, 33719 fired transitions, 1390 secs || 33815 markings, 95762 edges, 25 markings/sec, 1390 secs
lola: STP completed || 1 tries, 33843 fired transitions, 1395 secs || 33939 markings, 96233 edges, 25 markings/sec, 1395 secs
lola: STP completed || 1 tries, 33967 fired transitions, 1400 secs || 34063 markings, 96692 edges, 25 markings/sec, 1400 secs
lola: STP completed || 1 tries, 34092 fired transitions, 1405 secs || 34188 markings, 97177 edges, 25 markings/sec, 1405 secs
lola: STP completed || 1 tries, 34218 fired transitions, 1410 secs || 34314 markings, 97537 edges, 25 markings/sec, 1410 secs
lola: STP completed || 1 tries, 34343 fired transitions, 1415 secs || 34439 markings, 97846 edges, 25 markings/sec, 1415 secs
lola: STP completed || 1 tries, 34468 fired transitions, 1420 secs || 34564 markings, 98192 edges, 25 markings/sec, 1420 secs
lola: STP completed || 1 tries, 34593 fired transitions, 1425 secs || 34689 markings, 98546 edges, 25 markings/sec, 1425 secs
lola: STP completed || 1 tries, 34707 fired transitions, 1430 secs || 34816 markings, 98835 edges, 25 markings/sec, 1430 secs
lola: STP completed || 1 tries, 34824 fired transitions, 1435 secs || 34941 markings, 99128 edges, 25 markings/sec, 1435 secs
lola: STP completed || 1 tries, 34943 fired transitions, 1440 secs || 35066 markings, 99491 edges, 25 markings/sec, 1440 secs
lola: STP completed || 1 tries, 35062 fired transitions, 1445 secs || 35191 markings, 99874 edges, 25 markings/sec, 1445 secs
lola: STP completed || 1 tries, 35179 fired transitions, 1450 secs || 35316 markings, 100271 edges, 25 markings/sec, 1450 secs
lola: STP completed || 1 tries, 35295 fired transitions, 1455 secs || 35442 markings, 100681 edges, 25 markings/sec, 1455 secs
lola: STP completed || 1 tries, 35410 fired transitions, 1460 secs || 35568 markings, 101078 edges, 25 markings/sec, 1460 secs
lola: STP completed || 1 tries, 35525 fired transitions, 1465 secs || 35694 markings, 101478 edges, 25 markings/sec, 1465 secs
lola: STP completed || 1 tries, 35638 fired transitions, 1470 secs || 35819 markings, 101868 edges, 25 markings/sec, 1470 secs
lola: STP completed || 1 tries, 35752 fired transitions, 1475 secs || 35944 markings, 102285 edges, 25 markings/sec, 1475 secs
lola: STP completed || 1 tries, 35877 fired transitions, 1480 secs || 36071 markings, 102639 edges, 25 markings/sec, 1480 secs
lola: STP completed || 1 tries, 36003 fired transitions, 1485 secs || 36197 markings, 103089 edges, 25 markings/sec, 1485 secs
lola: STP completed || 1 tries, 36128 fired transitions, 1490 secs || 36322 markings, 103503 edges, 25 markings/sec, 1490 secs
lola: STP completed || 1 tries, 36255 fired transitions, 1495 secs || 36449 markings, 103947 edges, 25 markings/sec, 1495 secs
lola: STP completed || 1 tries, 36380 fired transitions, 1500 secs || 36574 markings, 104450 edges, 25 markings/sec, 1500 secs
lola: STP completed || 1 tries, 36505 fired transitions, 1505 secs || 36699 markings, 104921 edges, 25 markings/sec, 1505 secs
lola: STP completed || 1 tries, 36631 fired transitions, 1510 secs || 36825 markings, 105372 edges, 25 markings/sec, 1510 secs
lola: STP completed || 1 tries, 36756 fired transitions, 1515 secs || 36950 markings, 105819 edges, 25 markings/sec, 1515 secs
lola: STP completed || 1 tries, 36881 fired transitions, 1520 secs || 37075 markings, 106291 edges, 25 markings/sec, 1520 secs
lola: STP completed || 1 tries, 37006 fired transitions, 1525 secs || 37200 markings, 106729 edges, 25 markings/sec, 1525 secs
lola: STP completed || 1 tries, 37132 fired transitions, 1530 secs || 37326 markings, 107178 edges, 25 markings/sec, 1530 secs
lola: STP completed || 1 tries, 37257 fired transitions, 1535 secs || 37451 markings, 107659 edges, 25 markings/sec, 1535 secs
lola: STP completed || 1 tries, 37381 fired transitions, 1540 secs || 37575 markings, 108124 edges, 25 markings/sec, 1540 secs
lola: STP completed || 1 tries, 37508 fired transitions, 1545 secs || 37702 markings, 108552 edges, 25 markings/sec, 1545 secs
lola: STP completed || 1 tries, 37634 fired transitions, 1550 secs || 37828 markings, 108995 edges, 25 markings/sec, 1550 secs
lola: STP completed || 1 tries, 37760 fired transitions, 1555 secs || 37954 markings, 109389 edges, 25 markings/sec, 1555 secs
lola: STP completed || 1 tries, 37886 fired transitions, 1560 secs || 38080 markings, 109880 edges, 25 markings/sec, 1560 secs
lola: STP completed || 1 tries, 38011 fired transitions, 1565 secs || 38205 markings, 110277 edges, 25 markings/sec, 1565 secs
lola: STP completed || 1 tries, 38136 fired transitions, 1570 secs || 38330 markings, 110775 edges, 25 markings/sec, 1570 secs
lola: STP completed || 1 tries, 38262 fired transitions, 1575 secs || 38456 markings, 111252 edges, 25 markings/sec, 1575 secs
lola: STP completed || 1 tries, 38387 fired transitions, 1580 secs || 38581 markings, 111684 edges, 25 markings/sec, 1580 secs
lola: STP completed || 1 tries, 38511 fired transitions, 1585 secs || 38707 markings, 112167 edges, 25 markings/sec, 1585 secs
lola: STP completed || 1 tries, 38625 fired transitions, 1590 secs || 38833 markings, 112527 edges, 25 markings/sec, 1590 secs
lola: STP completed || 1 tries, 38740 fired transitions, 1595 secs || 38959 markings, 112956 edges, 25 markings/sec, 1595 secs
lola: STP completed || 1 tries, 38856 fired transitions, 1600 secs || 39085 markings, 113379 edges, 25 markings/sec, 1600 secs
lola: STP completed || 1 tries, 38978 fired transitions, 1605 secs || 39209 markings, 113778 edges, 25 markings/sec, 1605 secs
lola: STP completed || 1 tries, 39103 fired transitions, 1610 secs || 39334 markings, 114284 edges, 25 markings/sec, 1610 secs
lola: STP completed || 1 tries, 39230 fired transitions, 1615 secs || 39461 markings, 114652 edges, 25 markings/sec, 1615 secs
lola: STP completed || 1 tries, 39355 fired transitions, 1620 secs || 39586 markings, 115104 edges, 25 markings/sec, 1620 secs
lola: STP completed || 1 tries, 39480 fired transitions, 1625 secs || 39711 markings, 115549 edges, 25 markings/sec, 1625 secs
lola: STP completed || 1 tries, 39606 fired transitions, 1630 secs || 39837 markings, 115970 edges, 25 markings/sec, 1630 secs
lola: STP completed || 1 tries, 39731 fired transitions, 1635 secs || 39962 markings, 116449 edges, 25 markings/sec, 1635 secs
lola: STP completed || 1 tries, 39856 fired transitions, 1640 secs || 40087 markings, 116964 edges, 25 markings/sec, 1640 secs
lola: STP completed || 1 tries, 39981 fired transitions, 1645 secs || 40212 markings, 117347 edges, 25 markings/sec, 1645 secs
lola: STP completed || 1 tries, 40107 fired transitions, 1650 secs || 40338 markings, 117817 edges, 25 markings/sec, 1650 secs
lola: STP completed || 1 tries, 40231 fired transitions, 1655 secs || 40462 markings, 118231 edges, 25 markings/sec, 1655 secs
lola: STP completed || 1 tries, 40357 fired transitions, 1660 secs || 40588 markings, 118724 edges, 25 markings/sec, 1660 secs
lola: STP completed || 1 tries, 40482 fired transitions, 1665 secs || 40713 markings, 119182 edges, 25 markings/sec, 1665 secs
lola: STP completed || 1 tries, 40606 fired transitions, 1670 secs || 40837 markings, 119655 edges, 25 markings/sec, 1670 secs
lola: STP completed || 1 tries, 40730 fired transitions, 1675 secs || 40961 markings, 120122 edges, 25 markings/sec, 1675 secs
lola: STP completed || 1 tries, 40857 fired transitions, 1680 secs || 41088 markings, 120588 edges, 25 markings/sec, 1680 secs
lola: STP completed || 1 tries, 40983 fired transitions, 1685 secs || 41214 markings, 121020 edges, 25 markings/sec, 1685 secs
lola: STP completed || 1 tries, 41108 fired transitions, 1690 secs || 41339 markings, 121494 edges, 25 markings/sec, 1690 secs
lola: STP completed || 1 tries, 41234 fired transitions, 1695 secs || 41465 markings, 121935 edges, 25 markings/sec, 1695 secs
lola: STP completed || 1 tries, 41359 fired transitions, 1700 secs || 41590 markings, 122403 edges, 25 markings/sec, 1700 secs
lola: STP completed || 1 tries, 41482 fired transitions, 1705 secs || 41713 markings, 122871 edges, 25 markings/sec, 1705 secs
lola: STP completed || 1 tries, 41598 fired transitions, 1710 secs || 41829 markings, 123218 edges, 23 markings/sec, 1710 secs
lola: STP completed || 1 tries, 41714 fired transitions, 1715 secs || 41945 markings, 123647 edges, 23 markings/sec, 1715 secs
lola: STP completed || 1 tries, 41836 fired transitions, 1720 secs || 42067 markings, 124135 edges, 24 markings/sec, 1720 secs
lola: STP completed || 1 tries, 41960 fired transitions, 1725 secs || 42191 markings, 124607 edges, 25 markings/sec, 1725 secs
lola: STP completed || 1 tries, 42084 fired transitions, 1730 secs || 42315 markings, 125099 edges, 25 markings/sec, 1730 secs
lola: STP completed || 1 tries, 42208 fired transitions, 1735 secs || 42439 markings, 125573 edges, 25 markings/sec, 1735 secs
lola: STP completed || 1 tries, 42332 fired transitions, 1740 secs || 42563 markings, 126054 edges, 25 markings/sec, 1740 secs
lola: STP completed || 1 tries, 42456 fired transitions, 1745 secs || 42687 markings, 126507 edges, 25 markings/sec, 1745 secs
lola: STP completed || 1 tries, 42583 fired transitions, 1750 secs || 42814 markings, 126858 edges, 25 markings/sec, 1750 secs
lola: STP completed || 1 tries, 42709 fired transitions, 1755 secs || 42940 markings, 127051 edges, 25 markings/sec, 1755 secs
lola: STP completed || 1 tries, 42834 fired transitions, 1760 secs || 43065 markings, 127301 edges, 25 markings/sec, 1760 secs
lola: STP completed || 1 tries, 42961 fired transitions, 1765 secs || 43192 markings, 127558 edges, 25 markings/sec, 1765 secs
lola: STP completed || 1 tries, 43087 fired transitions, 1770 secs || 43318 markings, 127813 edges, 25 markings/sec, 1770 secs
lola: STP completed || 1 tries, 43212 fired transitions, 1775 secs || 43443 markings, 128043 edges, 25 markings/sec, 1775 secs
lola: STP completed || 1 tries, 43336 fired transitions, 1780 secs || 43567 markings, 128289 edges, 25 markings/sec, 1780 secs
lola: STP completed || 1 tries, 43461 fired transitions, 1785 secs || 43692 markings, 128644 edges, 25 markings/sec, 1785 secs
lola: STP completed || 1 tries, 43587 fired transitions, 1790 secs || 43818 markings, 128996 edges, 25 markings/sec, 1790 secs
lola: STP completed || 1 tries, 43712 fired transitions, 1795 secs || 43943 markings, 129308 edges, 25 markings/sec, 1795 secs
lola: STP completed || 1 tries, 43837 fired transitions, 1800 secs || 44068 markings, 129645 edges, 25 markings/sec, 1800 secs
lola: STP completed || 1 tries, 43962 fired transitions, 1805 secs || 44193 markings, 129977 edges, 25 markings/sec, 1805 secs
lola: STP completed || 1 tries, 44087 fired transitions, 1810 secs || 44318 markings, 130346 edges, 25 markings/sec, 1810 secs
lola: STP completed || 1 tries, 44213 fired transitions, 1815 secs || 44444 markings, 130705 edges, 25 markings/sec, 1815 secs
lola: STP completed || 1 tries, 44340 fired transitions, 1820 secs || 44571 markings, 131063 edges, 25 markings/sec, 1820 secs
lola: STP completed || 1 tries, 44465 fired transitions, 1825 secs || 44696 markings, 131434 edges, 25 markings/sec, 1825 secs
lola: STP completed || 1 tries, 44591 fired transitions, 1830 secs || 44822 markings, 131785 edges, 25 markings/sec, 1830 secs
lola: STP completed || 1 tries, 44717 fired transitions, 1835 secs || 44948 markings, 132180 edges, 25 markings/sec, 1835 secs
lola: STP completed || 1 tries, 44842 fired transitions, 1840 secs || 45073 markings, 132503 edges, 25 markings/sec, 1840 secs
lola: STP completed || 1 tries, 44967 fired transitions, 1845 secs || 45198 markings, 132831 edges, 25 markings/sec, 1845 secs
lola: STP completed || 1 tries, 45093 fired transitions, 1850 secs || 45324 markings, 133223 edges, 25 markings/sec, 1850 secs
lola: STP completed || 1 tries, 45218 fired transitions, 1855 secs || 45449 markings, 133572 edges, 25 markings/sec, 1855 secs
lola: STP completed || 1 tries, 45343 fired transitions, 1860 secs || 45574 markings, 133914 edges, 25 markings/sec, 1860 secs
lola: STP completed || 1 tries, 45468 fired transitions, 1865 secs || 45699 markings, 134291 edges, 25 markings/sec, 1865 secs
lola: STP completed || 1 tries, 45594 fired transitions, 1870 secs || 45825 markings, 134604 edges, 25 markings/sec, 1870 secs
lola: STP completed || 1 tries, 45718 fired transitions, 1875 secs || 45949 markings, 134954 edges, 25 markings/sec, 1875 secs
lola: STP completed || 1 tries, 45843 fired transitions, 1880 secs || 46074 markings, 135341 edges, 25 markings/sec, 1880 secs
lola: STP completed || 1 tries, 45971 fired transitions, 1885 secs || 46201 markings, 135668 edges, 25 markings/sec, 1885 secs
lola: STP completed || 1 tries, 46096 fired transitions, 1890 secs || 46327 markings, 135985 edges, 25 markings/sec, 1890 secs
lola: STP completed || 1 tries, 46221 fired transitions, 1895 secs || 46446 markings, 136370 edges, 24 markings/sec, 1895 secs
lola: STP completed || 1 tries, 46348 fired transitions, 1900 secs || 46552 markings, 136693 edges, 21 markings/sec, 1900 secs
lola: STP completed || 1 tries, 46474 fired transitions, 1905 secs || 46659 markings, 136982 edges, 21 markings/sec, 1905 secs
lola: STP completed || 1 tries, 46600 fired transitions, 1910 secs || 46765 markings, 137300 edges, 21 markings/sec, 1910 secs
lola: STP completed || 1 tries, 46726 fired transitions, 1915 secs || 46891 markings, 137645 edges, 25 markings/sec, 1915 secs
lola: STP completed || 1 tries, 46851 fired transitions, 1920 secs || 47010 markings, 137999 edges, 24 markings/sec, 1920 secs
lola: STP completed || 1 tries, 46977 fired transitions, 1925 secs || 47127 markings, 138331 edges, 23 markings/sec, 1925 secs
lola: STP completed || 1 tries, 47103 fired transitions, 1930 secs || 47234 markings, 138624 edges, 21 markings/sec, 1930 secs
lola: STP completed || 1 tries, 47229 fired transitions, 1935 secs || 47341 markings, 138967 edges, 21 markings/sec, 1935 secs
lola: STP completed || 1 tries, 47354 fired transitions, 1940 secs || 47447 markings, 139304 edges, 21 markings/sec, 1940 secs
lola: STP completed || 1 tries, 47479 fired transitions, 1945 secs || 47552 markings, 139541 edges, 21 markings/sec, 1945 secs
lola: STP completed || 1 tries, 47606 fired transitions, 1950 secs || 47657 markings, 139865 edges, 21 markings/sec, 1950 secs
lola: STP completed || 1 tries, 47732 fired transitions, 1955 secs || 47763 markings, 140203 edges, 21 markings/sec, 1955 secs
lola: STP completed || 1 tries, 47858 fired transitions, 1960 secs || 47869 markings, 140449 edges, 21 markings/sec, 1960 secs
lola: STP completed || 1 tries, 47984 fired transitions, 1965 secs || 47975 markings, 140769 edges, 21 markings/sec, 1965 secs
lola: STP completed || 1 tries, 48110 fired transitions, 1970 secs || 48081 markings, 141107 edges, 21 markings/sec, 1970 secs
lola: STP completed || 1 tries, 48237 fired transitions, 1975 secs || 48186 markings, 141411 edges, 21 markings/sec, 1975 secs
lola: STP completed || 1 tries, 48363 fired transitions, 1980 secs || 48292 markings, 141649 edges, 21 markings/sec, 1980 secs
lola: STP completed || 1 tries, 48489 fired transitions, 1985 secs || 48397 markings, 141888 edges, 21 markings/sec, 1985 secs
lola: STP completed || 1 tries, 48616 fired transitions, 1990 secs || 48502 markings, 142215 edges, 21 markings/sec, 1990 secs
lola: STP completed || 1 tries, 48742 fired transitions, 1995 secs || 48607 markings, 142523 edges, 21 markings/sec, 1995 secs
lola: STP completed || 1 tries, 48869 fired transitions, 2000 secs || 48713 markings, 142850 edges, 21 markings/sec, 2000 secs
lola: STP completed || 1 tries, 48995 fired transitions, 2005 secs || 48819 markings, 143115 edges, 21 markings/sec, 2005 secs
lola: STP completed || 1 tries, 49119 fired transitions, 2010 secs || 48943 markings, 143445 edges, 25 markings/sec, 2010 secs
lola: STP completed || 1 tries, 49245 fired transitions, 2015 secs || 49069 markings, 143848 edges, 25 markings/sec, 2015 secs
lola: STP completed || 1 tries, 49372 fired transitions, 2020 secs || 49196 markings, 144173 edges, 25 markings/sec, 2020 secs
lola: STP completed || 1 tries, 49497 fired transitions, 2025 secs || 49321 markings, 144558 edges, 25 markings/sec, 2025 secs
lola: STP completed || 1 tries, 49623 fired transitions, 2030 secs || 49447 markings, 144854 edges, 25 markings/sec, 2030 secs
lola: STP completed || 1 tries, 49748 fired transitions, 2035 secs || 49572 markings, 145237 edges, 25 markings/sec, 2035 secs
lola: STP completed || 1 tries, 49873 fired transitions, 2040 secs || 49697 markings, 145609 edges, 25 markings/sec, 2040 secs
lola: STP completed || 1 tries, 49999 fired transitions, 2045 secs || 49823 markings, 145997 edges, 25 markings/sec, 2045 secs
lola: STP completed || 1 tries, 50124 fired transitions, 2050 secs || 49948 markings, 146332 edges, 25 markings/sec, 2050 secs
lola: STP completed || 1 tries, 50249 fired transitions, 2055 secs || 50073 markings, 146663 edges, 25 markings/sec, 2055 secs
lola: STP completed || 1 tries, 50374 fired transitions, 2060 secs || 50198 markings, 147049 edges, 25 markings/sec, 2060 secs
lola: STP completed || 1 tries, 50499 fired transitions, 2065 secs || 50323 markings, 147403 edges, 25 markings/sec, 2065 secs
lola: STP completed || 1 tries, 50625 fired transitions, 2070 secs || 50449 markings, 147798 edges, 25 markings/sec, 2070 secs
lola: STP completed || 1 tries, 50749 fired transitions, 2075 secs || 50573 markings, 148095 edges, 25 markings/sec, 2075 secs
lola: STP completed || 1 tries, 50874 fired transitions, 2080 secs || 50698 markings, 148491 edges, 25 markings/sec, 2080 secs
lola: STP completed || 1 tries, 51001 fired transitions, 2085 secs || 50825 markings, 148893 edges, 25 markings/sec, 2085 secs
lola: STP completed || 1 tries, 51126 fired transitions, 2090 secs || 50950 markings, 149251 edges, 25 markings/sec, 2090 secs
lola: STP completed || 1 tries, 51251 fired transitions, 2095 secs || 51075 markings, 149621 edges, 25 markings/sec, 2095 secs
lola: STP completed || 1 tries, 51378 fired transitions, 2100 secs || 51202 markings, 149926 edges, 25 markings/sec, 2100 secs
lola: STP completed || 1 tries, 51503 fired transitions, 2105 secs || 51327 markings, 150325 edges, 25 markings/sec, 2105 secs
lola: STP completed || 1 tries, 51629 fired transitions, 2110 secs || 51453 markings, 150703 edges, 25 markings/sec, 2110 secs
lola: STP completed || 1 tries, 51754 fired transitions, 2115 secs || 51578 markings, 151066 edges, 25 markings/sec, 2115 secs
lola: STP completed || 1 tries, 51879 fired transitions, 2120 secs || 51703 markings, 151359 edges, 25 markings/sec, 2120 secs
lola: STP completed || 1 tries, 52004 fired transitions, 2125 secs || 51828 markings, 151742 edges, 25 markings/sec, 2125 secs
lola: STP completed || 1 tries, 52129 fired transitions, 2130 secs || 51953 markings, 152126 edges, 25 markings/sec, 2130 secs
lola: STP completed || 1 tries, 52255 fired transitions, 2135 secs || 52079 markings, 152505 edges, 25 markings/sec, 2135 secs
lola: STP completed || 1 tries, 52380 fired transitions, 2140 secs || 52204 markings, 152848 edges, 25 markings/sec, 2140 secs
lola: STP completed || 1 tries, 52504 fired transitions, 2145 secs || 52328 markings, 153229 edges, 25 markings/sec, 2145 secs
lola: STP completed || 1 tries, 52631 fired transitions, 2150 secs || 52455 markings, 153602 edges, 25 markings/sec, 2150 secs
lola: STP completed || 1 tries, 52757 fired transitions, 2155 secs || 52580 markings, 153840 edges, 25 markings/sec, 2155 secs
lola: STP completed || 1 tries, 52882 fired transitions, 2160 secs || 52705 markings, 154200 edges, 25 markings/sec, 2160 secs
lola: STP completed || 1 tries, 53008 fired transitions, 2165 secs || 52831 markings, 154549 edges, 25 markings/sec, 2165 secs
lola: STP completed || 1 tries, 53133 fired transitions, 2170 secs || 52956 markings, 154866 edges, 25 markings/sec, 2170 secs
lola: STP completed || 1 tries, 53258 fired transitions, 2175 secs || 53081 markings, 155096 edges, 25 markings/sec, 2175 secs
lola: STP completed || 1 tries, 53383 fired transitions, 2180 secs || 53206 markings, 155473 edges, 25 markings/sec, 2180 secs
lola: STP completed || 1 tries, 53508 fired transitions, 2185 secs || 53330 markings, 155921 edges, 25 markings/sec, 2185 secs
lola: STP completed || 1 tries, 53633 fired transitions, 2190 secs || 53455 markings, 156270 edges, 25 markings/sec, 2190 secs
lola: STP completed || 1 tries, 53757 fired transitions, 2195 secs || 53579 markings, 156645 edges, 25 markings/sec, 2195 secs
lola: STP completed || 1 tries, 53882 fired transitions, 2200 secs || 53704 markings, 157103 edges, 25 markings/sec, 2200 secs
lola: STP completed || 1 tries, 54007 fired transitions, 2205 secs || 53829 markings, 157558 edges, 25 markings/sec, 2205 secs
lola: STP completed || 1 tries, 54132 fired transitions, 2210 secs || 53954 markings, 158036 edges, 25 markings/sec, 2210 secs
lola: STP completed || 1 tries, 54257 fired transitions, 2215 secs || 54079 markings, 158499 edges, 25 markings/sec, 2215 secs
lola: STP completed || 1 tries, 54384 fired transitions, 2220 secs || 54206 markings, 158844 edges, 25 markings/sec, 2220 secs
lola: STP completed || 1 tries, 54509 fired transitions, 2225 secs || 54331 markings, 159338 edges, 25 markings/sec, 2225 secs
lola: STP completed || 1 tries, 54634 fired transitions, 2230 secs || 54456 markings, 159775 edges, 25 markings/sec, 2230 secs
lola: STP completed || 1 tries, 54760 fired transitions, 2235 secs || 54582 markings, 160232 edges, 25 markings/sec, 2235 secs
lola: STP completed || 1 tries, 54885 fired transitions, 2240 secs || 54707 markings, 160618 edges, 25 markings/sec, 2240 secs
lola: STP completed || 1 tries, 55010 fired transitions, 2245 secs || 54832 markings, 161079 edges, 25 markings/sec, 2245 secs
lola: STP completed || 1 tries, 55135 fired transitions, 2250 secs || 54957 markings, 161526 edges, 25 markings/sec, 2250 secs
lola: STP completed || 1 tries, 55260 fired transitions, 2255 secs || 55082 markings, 161944 edges, 25 markings/sec, 2255 secs
lola: STP completed || 1 tries, 55385 fired transitions, 2260 secs || 55207 markings, 162352 edges, 25 markings/sec, 2260 secs
lola: STP completed || 1 tries, 55510 fired transitions, 2265 secs || 55332 markings, 162773 edges, 25 markings/sec, 2265 secs
lola: STP completed || 1 tries, 55635 fired transitions, 2270 secs || 55457 markings, 163226 edges, 25 markings/sec, 2270 secs
lola: STP completed || 1 tries, 55759 fired transitions, 2275 secs || 55581 markings, 163703 edges, 25 markings/sec, 2275 secs
lola: STP completed || 1 tries, 55884 fired transitions, 2280 secs || 55706 markings, 164185 edges, 25 markings/sec, 2280 secs
lola: STP completed || 1 tries, 56011 fired transitions, 2285 secs || 55833 markings, 164595 edges, 25 markings/sec, 2285 secs
lola: STP completed || 1 tries, 56137 fired transitions, 2290 secs || 55959 markings, 165028 edges, 25 markings/sec, 2290 secs
lola: STP completed || 1 tries, 56262 fired transitions, 2295 secs || 56084 markings, 165512 edges, 25 markings/sec, 2295 secs
lola: STP completed || 1 tries, 56388 fired transitions, 2300 secs || 56210 markings, 165916 edges, 25 markings/sec, 2300 secs
lola: STP completed || 1 tries, 56514 fired transitions, 2305 secs || 56336 markings, 166353 edges, 25 markings/sec, 2305 secs
lola: STP completed || 1 tries, 56639 fired transitions, 2310 secs || 56461 markings, 166808 edges, 25 markings/sec, 2310 secs
lola: STP completed || 1 tries, 56764 fired transitions, 2315 secs || 56586 markings, 167297 edges, 25 markings/sec, 2315 secs
lola: STP completed || 1 tries, 56888 fired transitions, 2320 secs || 56710 markings, 167712 edges, 25 markings/sec, 2320 secs
lola: STP completed || 1 tries, 57013 fired transitions, 2325 secs || 56835 markings, 168143 edges, 25 markings/sec, 2325 secs
lola: STP completed || 1 tries, 57138 fired transitions, 2330 secs || 56960 markings, 168559 edges, 25 markings/sec, 2330 secs
lola: STP completed || 1 tries, 57262 fired transitions, 2335 secs || 57084 markings, 168975 edges, 25 markings/sec, 2335 secs
lola: STP completed || 1 tries, 57387 fired transitions, 2340 secs || 57208 markings, 169460 edges, 25 markings/sec, 2340 secs
lola: STP completed || 1 tries, 57510 fired transitions, 2345 secs || 57332 markings, 169954 edges, 25 markings/sec, 2345 secs
lola: STP completed || 1 tries, 57635 fired transitions, 2350 secs || 57457 markings, 170366 edges, 25 markings/sec, 2350 secs
lola: STP completed || 1 tries, 57761 fired transitions, 2355 secs || 57583 markings, 170754 edges, 25 markings/sec, 2355 secs
lola: STP completed || 1 tries, 57886 fired transitions, 2360 secs || 57708 markings, 171258 edges, 25 markings/sec, 2360 secs
lola: STP completed || 1 tries, 58010 fired transitions, 2365 secs || 57832 markings, 171675 edges, 25 markings/sec, 2365 secs
lola: STP completed || 1 tries, 58135 fired transitions, 2370 secs || 57957 markings, 172157 edges, 25 markings/sec, 2370 secs
lola: STP completed || 1 tries, 58260 fired transitions, 2375 secs || 58082 markings, 172556 edges, 25 markings/sec, 2375 secs
lola: STP completed || 1 tries, 58384 fired transitions, 2380 secs || 58206 markings, 172982 edges, 25 markings/sec, 2380 secs
lola: STP completed || 1 tries, 58506 fired transitions, 2385 secs || 58328 markings, 173423 edges, 24 markings/sec, 2385 secs
lola: STP completed || 1 tries, 58630 fired transitions, 2390 secs || 58452 markings, 173889 edges, 25 markings/sec, 2390 secs
lola: STP completed || 1 tries, 58754 fired transitions, 2395 secs || 58576 markings, 174240 edges, 25 markings/sec, 2395 secs
lola: STP completed || 1 tries, 58868 fired transitions, 2400 secs || 58690 markings, 174604 edges, 23 markings/sec, 2400 secs
lola: STP completed || 1 tries, 58982 fired transitions, 2405 secs || 58804 markings, 175043 edges, 23 markings/sec, 2405 secs
lola: STP completed || 1 tries, 59096 fired transitions, 2410 secs || 58918 markings, 175484 edges, 23 markings/sec, 2410 secs
lola: STP completed || 1 tries, 59219 fired transitions, 2415 secs || 59041 markings, 175977 edges, 25 markings/sec, 2415 secs
lola: STP completed || 1 tries, 59344 fired transitions, 2420 secs || 59166 markings, 176417 edges, 25 markings/sec, 2420 secs
lola: STP completed || 1 tries, 59470 fired transitions, 2425 secs || 59292 markings, 176821 edges, 25 markings/sec, 2425 secs
lola: STP completed || 1 tries, 59595 fired transitions, 2430 secs || 59417 markings, 177291 edges, 25 markings/sec, 2430 secs
lola: STP completed || 1 tries, 59720 fired transitions, 2435 secs || 59542 markings, 177673 edges, 25 markings/sec, 2435 secs
lola: STP completed || 1 tries, 59845 fired transitions, 2440 secs || 59667 markings, 178150 edges, 25 markings/sec, 2440 secs
lola: STP completed || 1 tries, 59969 fired transitions, 2445 secs || 59791 markings, 178570 edges, 25 markings/sec, 2445 secs
lola: STP completed || 1 tries, 60093 fired transitions, 2450 secs || 59915 markings, 179055 edges, 25 markings/sec, 2450 secs
lola: STP completed || 1 tries, 60217 fired transitions, 2455 secs || 60039 markings, 179512 edges, 25 markings/sec, 2455 secs
lola: STP completed || 1 tries, 60335 fired transitions, 2460 secs || 60157 markings, 179847 edges, 24 markings/sec, 2460 secs
lola: STP completed || 1 tries, 60460 fired transitions, 2465 secs || 60282 markings, 180246 edges, 25 markings/sec, 2465 secs
lola: STP completed || 1 tries, 60584 fired transitions, 2470 secs || 60406 markings, 180727 edges, 25 markings/sec, 2470 secs
lola: STP completed || 1 tries, 60708 fired transitions, 2475 secs || 60530 markings, 181191 edges, 25 markings/sec, 2475 secs
lola: STP completed || 1 tries, 60831 fired transitions, 2480 secs || 60653 markings, 181570 edges, 25 markings/sec, 2480 secs
lola: STP completed || 1 tries, 60955 fired transitions, 2485 secs || 60777 markings, 182066 edges, 25 markings/sec, 2485 secs
lola: STP completed || 1 tries, 61076 fired transitions, 2490 secs || 60898 markings, 182443 edges, 24 markings/sec, 2490 secs
lola: STP completed || 1 tries, 61201 fired transitions, 2495 secs || 61023 markings, 182912 edges, 25 markings/sec, 2495 secs
lola: STP completed || 1 tries, 61324 fired transitions, 2500 secs || 61146 markings, 183379 edges, 25 markings/sec, 2500 secs
lola: STP completed || 1 tries, 61449 fired transitions, 2505 secs || 61271 markings, 183847 edges, 25 markings/sec, 2505 secs
lola: STP completed || 1 tries, 61574 fired transitions, 2510 secs || 61396 markings, 184212 edges, 25 markings/sec, 2510 secs
lola: STP completed || 1 tries, 61698 fired transitions, 2515 secs || 61520 markings, 184536 edges, 25 markings/sec, 2515 secs
lola: STP completed || 1 tries, 61819 fired transitions, 2520 secs || 61641 markings, 184884 edges, 24 markings/sec, 2520 secs
lola: STP completed || 1 tries, 61936 fired transitions, 2525 secs || 61758 markings, 185194 edges, 23 markings/sec, 2525 secs
lola: STP completed || 1 tries, 62061 fired transitions, 2530 secs || 61883 markings, 185586 edges, 25 markings/sec, 2530 secs
lola: STP completed || 1 tries, 62186 fired transitions, 2535 secs || 62008 markings, 186027 edges, 25 markings/sec, 2535 secs
lola: STP completed || 1 tries, 62310 fired transitions, 2540 secs || 62132 markings, 186481 edges, 25 markings/sec, 2540 secs
lola: STP completed || 1 tries, 62435 fired transitions, 2545 secs || 62257 markings, 186937 edges, 25 markings/sec, 2545 secs
lola: STP completed || 1 tries, 62559 fired transitions, 2550 secs || 62381 markings, 187411 edges, 25 markings/sec, 2550 secs
lola: STP completed || 1 tries, 62684 fired transitions, 2555 secs || 62506 markings, 187868 edges, 25 markings/sec, 2555 secs
lola: STP completed || 1 tries, 62810 fired transitions, 2560 secs || 62632 markings, 188262 edges, 25 markings/sec, 2560 secs
lola: STP completed || 1 tries, 62935 fired transitions, 2565 secs || 62757 markings, 188722 edges, 25 markings/sec, 2565 secs
lola: STP completed || 1 tries, 63060 fired transitions, 2570 secs || 62882 markings, 189195 edges, 25 markings/sec, 2570 secs
lola: STP completed || 1 tries, 63185 fired transitions, 2575 secs || 63007 markings, 189690 edges, 25 markings/sec, 2575 secs
lola: STP completed || 1 tries, 63310 fired transitions, 2580 secs || 63132 markings, 190127 edges, 25 markings/sec, 2580 secs
lola: STP completed || 1 tries, 63434 fired transitions, 2585 secs || 63256 markings, 190557 edges, 25 markings/sec, 2585 secs
lola: STP completed || 1 tries, 63558 fired transitions, 2590 secs || 63380 markings, 191015 edges, 25 markings/sec, 2590 secs
lola: STP completed || 1 tries, 63683 fired transitions, 2595 secs || 63505 markings, 191473 edges, 25 markings/sec, 2595 secs
lola: STP completed || 1 tries, 63801 fired transitions, 2600 secs || 63623 markings, 191942 edges, 24 markings/sec, 2600 secs
lola: STP completed || 1 tries, 63922 fired transitions, 2605 secs || 63744 markings, 192406 edges, 24 markings/sec, 2605 secs
lola: STP completed || 1 tries, 64047 fired transitions, 2610 secs || 63869 markings, 192881 edges, 25 markings/sec, 2610 secs
lola: STP completed || 1 tries, 64163 fired transitions, 2615 secs || 63985 markings, 193324 edges, 23 markings/sec, 2615 secs
lola: STP completed || 1 tries, 64286 fired transitions, 2620 secs || 64108 markings, 193771 edges, 25 markings/sec, 2620 secs
lola: STP completed || 1 tries, 64412 fired transitions, 2625 secs || 64234 markings, 194191 edges, 25 markings/sec, 2625 secs
lola: STP completed || 1 tries, 64537 fired transitions, 2630 secs || 64359 markings, 194604 edges, 25 markings/sec, 2630 secs
lola: STP completed || 1 tries, 64662 fired transitions, 2635 secs || 64484 markings, 195096 edges, 25 markings/sec, 2635 secs
lola: STP completed || 1 tries, 64787 fired transitions, 2640 secs || 64609 markings, 195493 edges, 25 markings/sec, 2640 secs
lola: STP completed || 1 tries, 64913 fired transitions, 2645 secs || 64735 markings, 195991 edges, 25 markings/sec, 2645 secs
lola: STP completed || 1 tries, 65030 fired transitions, 2650 secs || 64852 markings, 196443 edges, 23 markings/sec, 2650 secs
lola: STP completed || 1 tries, 65147 fired transitions, 2655 secs || 64969 markings, 196911 edges, 23 markings/sec, 2655 secs
lola: STP completed || 1 tries, 65263 fired transitions, 2660 secs || 65085 markings, 197289 edges, 23 markings/sec, 2660 secs
lola: STP completed || 1 tries, 65379 fired transitions, 2665 secs || 65201 markings, 197756 edges, 23 markings/sec, 2665 secs
lola: STP completed || 1 tries, 65494 fired transitions, 2670 secs || 65316 markings, 198199 edges, 23 markings/sec, 2670 secs
lola: STP completed || 1 tries, 65608 fired transitions, 2675 secs || 65430 markings, 198558 edges, 23 markings/sec, 2675 secs
lola: STP completed || 1 tries, 65723 fired transitions, 2680 secs || 65545 markings, 199009 edges, 23 markings/sec, 2680 secs
lola: STP completed || 1 tries, 65836 fired transitions, 2685 secs || 65658 markings, 199467 edges, 23 markings/sec, 2685 secs
lola: STP completed || 1 tries, 65949 fired transitions, 2690 secs || 65771 markings, 199842 edges, 23 markings/sec, 2690 secs
lola: STP completed || 1 tries, 66064 fired transitions, 2695 secs || 65886 markings, 200262 edges, 23 markings/sec, 2695 secs
lola: STP completed || 1 tries, 66179 fired transitions, 2700 secs || 66001 markings, 200658 edges, 23 markings/sec, 2700 secs
lola: STP completed || 1 tries, 66292 fired transitions, 2705 secs || 66114 markings, 201022 edges, 23 markings/sec, 2705 secs
lola: STP completed || 1 tries, 66406 fired transitions, 2710 secs || 66228 markings, 201434 edges, 23 markings/sec, 2710 secs
lola: STP completed || 1 tries, 66521 fired transitions, 2715 secs || 66343 markings, 201879 edges, 23 markings/sec, 2715 secs
lola: STP completed || 1 tries, 66635 fired transitions, 2720 secs || 66457 markings, 202259 edges, 23 markings/sec, 2720 secs
lola: STP completed || 1 tries, 66749 fired transitions, 2725 secs || 66571 markings, 202699 edges, 23 markings/sec, 2725 secs
lola: STP completed || 1 tries, 66863 fired transitions, 2730 secs || 66685 markings, 203147 edges, 23 markings/sec, 2730 secs
lola: STP completed || 1 tries, 66977 fired transitions, 2735 secs || 66799 markings, 203494 edges, 23 markings/sec, 2735 secs
lola: STP completed || 1 tries, 67091 fired transitions, 2740 secs || 66913 markings, 203942 edges, 23 markings/sec, 2740 secs
lola: STP completed || 1 tries, 67205 fired transitions, 2745 secs || 67027 markings, 204402 edges, 23 markings/sec, 2745 secs
lola: STP completed || 1 tries, 67319 fired transitions, 2750 secs || 67141 markings, 204772 edges, 23 markings/sec, 2750 secs
lola: STP completed || 1 tries, 67433 fired transitions, 2755 secs || 67255 markings, 205234 edges, 23 markings/sec, 2755 secs
lola: STP completed || 1 tries, 67550 fired transitions, 2760 secs || 67372 markings, 205698 edges, 23 markings/sec, 2760 secs
lola: STP completed || 1 tries, 67665 fired transitions, 2765 secs || 67487 markings, 206093 edges, 23 markings/sec, 2765 secs
lola: STP completed || 1 tries, 67782 fired transitions, 2770 secs || 67604 markings, 206477 edges, 23 markings/sec, 2770 secs
lola: STP completed || 1 tries, 67898 fired transitions, 2775 secs || 67720 markings, 206904 edges, 23 markings/sec, 2775 secs
lola: STP completed || 1 tries, 68012 fired transitions, 2780 secs || 67834 markings, 207284 edges, 23 markings/sec, 2780 secs
lola: STP completed || 1 tries, 68126 fired transitions, 2785 secs || 67948 markings, 207706 edges, 23 markings/sec, 2785 secs
lola: STP completed || 1 tries, 68241 fired transitions, 2790 secs || 68063 markings, 208137 edges, 23 markings/sec, 2790 secs
lola: STP completed || 1 tries, 68354 fired transitions, 2795 secs || 68176 markings, 208556 edges, 23 markings/sec, 2795 secs
lola: STP completed || 1 tries, 68467 fired transitions, 2800 secs || 68289 markings, 208990 edges, 23 markings/sec, 2800 secs
lola: STP completed || 1 tries, 68580 fired transitions, 2805 secs || 68402 markings, 209383 edges, 23 markings/sec, 2805 secs
lola: STP completed || 1 tries, 68694 fired transitions, 2810 secs || 68516 markings, 209816 edges, 23 markings/sec, 2810 secs
lola: STP completed || 1 tries, 68807 fired transitions, 2815 secs || 68629 markings, 210218 edges, 23 markings/sec, 2815 secs
lola: STP completed || 1 tries, 68920 fired transitions, 2820 secs || 68742 markings, 210612 edges, 23 markings/sec, 2820 secs
lola: STP completed || 1 tries, 69033 fired transitions, 2825 secs || 68855 markings, 211056 edges, 23 markings/sec, 2825 secs
lola: STP completed || 1 tries, 69147 fired transitions, 2830 secs || 68969 markings, 211451 edges, 23 markings/sec, 2830 secs
lola: STP completed || 1 tries, 69260 fired transitions, 2835 secs || 69082 markings, 211830 edges, 23 markings/sec, 2835 secs
lola: STP completed || 1 tries, 69372 fired transitions, 2840 secs || 69194 markings, 212286 edges, 22 markings/sec, 2840 secs
lola: STP completed || 1 tries, 69488 fired transitions, 2845 secs || 69310 markings, 212624 edges, 23 markings/sec, 2845 secs
lola: STP completed || 1 tries, 69602 fired transitions, 2850 secs || 69424 markings, 213010 edges, 23 markings/sec, 2850 secs
lola: STP completed || 1 tries, 69715 fired transitions, 2855 secs || 69537 markings, 213425 edges, 23 markings/sec, 2855 secs
lola: STP completed || 1 tries, 69830 fired transitions, 2860 secs || 69652 markings, 213683 edges, 23 markings/sec, 2860 secs
lola: STP completed || 1 tries, 69945 fired transitions, 2865 secs || 69767 markings, 214026 edges, 23 markings/sec, 2865 secs
lola: STP completed || 1 tries, 70062 fired transitions, 2870 secs || 69884 markings, 214347 edges, 23 markings/sec, 2870 secs
lola: STP completed || 1 tries, 70178 fired transitions, 2875 secs || 70000 markings, 214693 edges, 23 markings/sec, 2875 secs
lola: STP completed || 1 tries, 70294 fired transitions, 2880 secs || 70116 markings, 214974 edges, 23 markings/sec, 2880 secs
lola: STP completed || 1 tries, 70410 fired transitions, 2885 secs || 70232 markings, 215412 edges, 23 markings/sec, 2885 secs
lola: STP completed || 1 tries, 70525 fired transitions, 2890 secs || 70347 markings, 215842 edges, 23 markings/sec, 2890 secs
lola: STP completed || 1 tries, 70639 fired transitions, 2895 secs || 70461 markings, 216270 edges, 23 markings/sec, 2895 secs
lola: STP completed || 1 tries, 70753 fired transitions, 2900 secs || 70575 markings, 216697 edges, 23 markings/sec, 2900 secs
lola: STP completed || 1 tries, 70867 fired transitions, 2905 secs || 70689 markings, 217149 edges, 23 markings/sec, 2905 secs
lola: STP completed || 1 tries, 70982 fired transitions, 2910 secs || 70804 markings, 217580 edges, 23 markings/sec, 2910 secs
lola: STP completed || 1 tries, 71108 fired transitions, 2915 secs || 70930 markings, 218018 edges, 25 markings/sec, 2915 secs
lola: STP completed || 1 tries, 71233 fired transitions, 2920 secs || 71055 markings, 218423 edges, 25 markings/sec, 2920 secs
lola: STP completed || 1 tries, 71357 fired transitions, 2925 secs || 71179 markings, 218902 edges, 25 markings/sec, 2925 secs
lola: STP completed || 1 tries, 71472 fired transitions, 2930 secs || 71291 markings, 219319 edges, 22 markings/sec, 2930 secs
lola: STP completed || 1 tries, 71584 fired transitions, 2935 secs || 71398 markings, 219672 edges, 21 markings/sec, 2935 secs
lola: STP completed || 1 tries, 71697 fired transitions, 2940 secs || 71504 markings, 220006 edges, 21 markings/sec, 2940 secs
lola: STP completed || 1 tries, 71809 fired transitions, 2945 secs || 71610 markings, 220329 edges, 21 markings/sec, 2945 secs
lola: STP completed || 1 tries, 71932 fired transitions, 2950 secs || 71727 markings, 220731 edges, 23 markings/sec, 2950 secs
lola: STP completed || 1 tries, 72056 fired transitions, 2955 secs || 71851 markings, 221225 edges, 25 markings/sec, 2955 secs
lola: STP completed || 1 tries, 72179 fired transitions, 2960 secs || 71974 markings, 221711 edges, 25 markings/sec, 2960 secs
lola: STP completed || 1 tries, 72303 fired transitions, 2965 secs || 72098 markings, 222169 edges, 25 markings/sec, 2965 secs
lola: STP completed || 1 tries, 72431 fired transitions, 2970 secs || 72197 markings, 222486 edges, 20 markings/sec, 2970 secs
lola: STP completed || 1 tries, 72554 fired transitions, 2975 secs || 72320 markings, 222885 edges, 25 markings/sec, 2975 secs
lola: STP completed || 1 tries, 72678 fired transitions, 2980 secs || 72444 markings, 223374 edges, 25 markings/sec, 2980 secs
lola: STP completed || 1 tries, 72804 fired transitions, 2985 secs || 72570 markings, 223801 edges, 25 markings/sec, 2985 secs
lola: STP completed || 1 tries, 72930 fired transitions, 2990 secs || 72696 markings, 224251 edges, 25 markings/sec, 2990 secs
lola: STP completed || 1 tries, 73054 fired transitions, 2995 secs || 72820 markings, 224728 edges, 25 markings/sec, 2995 secs
lola: STP completed || 1 tries, 73179 fired transitions, 3000 secs || 72945 markings, 225211 edges, 25 markings/sec, 3000 secs
lola: STP completed || 1 tries, 73304 fired transitions, 3005 secs || 73070 markings, 225648 edges, 25 markings/sec, 3005 secs
lola: STP completed || 1 tries, 73428 fired transitions, 3010 secs || 73194 markings, 226139 edges, 25 markings/sec, 3010 secs
lola: STP completed || 1 tries, 73553 fired transitions, 3015 secs || 73319 markings, 226617 edges, 25 markings/sec, 3015 secs
lola: STP completed || 1 tries, 73676 fired transitions, 3020 secs || 73442 markings, 227079 edges, 25 markings/sec, 3020 secs
lola: STP completed || 1 tries, 73800 fired transitions, 3025 secs || 73566 markings, 227583 edges, 25 markings/sec, 3025 secs
lola: STP completed || 1 tries, 73924 fired transitions, 3030 secs || 73690 markings, 228028 edges, 25 markings/sec, 3030 secs
lola: STP completed || 1 tries, 74048 fired transitions, 3035 secs || 73814 markings, 228518 edges, 25 markings/sec, 3035 secs
lola: STP completed || 1 tries, 74173 fired transitions, 3040 secs || 73939 markings, 229032 edges, 25 markings/sec, 3040 secs
lola: STP completed || 1 tries, 74291 fired transitions, 3045 secs || 74063 markings, 229426 edges, 25 markings/sec, 3045 secs
lola: STP completed || 1 tries, 74404 fired transitions, 3050 secs || 74188 markings, 229870 edges, 25 markings/sec, 3050 secs
lola: STP completed || 1 tries, 74504 fired transitions, 3055 secs || 74309 markings, 230204 edges, 24 markings/sec, 3055 secs
lola: STP completed || 1 tries, 74628 fired transitions, 3060 secs || 74433 markings, 230661 edges, 25 markings/sec, 3060 secs
lola: STP completed || 1 tries, 74753 fired transitions, 3065 secs || 74558 markings, 231152 edges, 25 markings/sec, 3065 secs
lola: STP completed || 1 tries, 74850 fired transitions, 3070 secs || 74685 markings, 231522 edges, 25 markings/sec, 3070 secs
lola: STP completed || 1 tries, 74975 fired transitions, 3075 secs || 74810 markings, 232002 edges, 25 markings/sec, 3075 secs
lola: STP completed || 1 tries, 75082 fired transitions, 3080 secs || 74936 markings, 232438 edges, 25 markings/sec, 3080 secs
lola: STP completed || 1 tries, 75207 fired transitions, 3085 secs || 75061 markings, 232942 edges, 25 markings/sec, 3085 secs
lola: STP completed || 1 tries, 75332 fired transitions, 3090 secs || 75186 markings, 233395 edges, 25 markings/sec, 3090 secs
lola: STP completed || 1 tries, 75457 fired transitions, 3095 secs || 75311 markings, 233874 edges, 25 markings/sec, 3095 secs
lola: STP completed || 1 tries, 75581 fired transitions, 3100 secs || 75435 markings, 234340 edges, 25 markings/sec, 3100 secs
lola: STP completed || 1 tries, 75705 fired transitions, 3105 secs || 75559 markings, 234749 edges, 25 markings/sec, 3105 secs
lola: STP completed || 1 tries, 75831 fired transitions, 3110 secs || 75685 markings, 235234 edges, 25 markings/sec, 3110 secs
lola: STP completed || 1 tries, 75955 fired transitions, 3115 secs || 75809 markings, 235703 edges, 25 markings/sec, 3115 secs
lola: STP completed || 1 tries, 76078 fired transitions, 3120 secs || 75932 markings, 236174 edges, 25 markings/sec, 3120 secs
lola: STP completed || 1 tries, 76204 fired transitions, 3125 secs || 76058 markings, 236564 edges, 25 markings/sec, 3125 secs
lola: STP completed || 1 tries, 76329 fired transitions, 3130 secs || 76183 markings, 237027 edges, 25 markings/sec, 3130 secs
lola: STP completed || 1 tries, 76454 fired transitions, 3135 secs || 76308 markings, 237509 edges, 25 markings/sec, 3135 secs
lola: STP completed || 1 tries, 76580 fired transitions, 3140 secs || 76434 markings, 237873 edges, 25 markings/sec, 3140 secs
lola: STP completed || 1 tries, 76704 fired transitions, 3145 secs || 76558 markings, 238386 edges, 25 markings/sec, 3145 secs
lola: STP completed || 1 tries, 76829 fired transitions, 3150 secs || 76683 markings, 238883 edges, 25 markings/sec, 3150 secs
lola: STP completed || 1 tries, 76954 fired transitions, 3155 secs || 76808 markings, 239359 edges, 25 markings/sec, 3155 secs
lola: STP completed || 1 tries, 77079 fired transitions, 3160 secs || 76933 markings, 239795 edges, 25 markings/sec, 3160 secs
lola: STP completed || 1 tries, 77203 fired transitions, 3165 secs || 77057 markings, 240244 edges, 25 markings/sec, 3165 secs
lola: STP completed || 1 tries, 77328 fired transitions, 3170 secs || 77182 markings, 240659 edges, 25 markings/sec, 3170 secs
lola: STP completed || 1 tries, 77454 fired transitions, 3175 secs || 77308 markings, 240866 edges, 25 markings/sec, 3175 secs
lola: STP completed || 1 tries, 77578 fired transitions, 3180 secs || 77432 markings, 241196 edges, 25 markings/sec, 3180 secs
lola: STP completed || 1 tries, 77702 fired transitions, 3185 secs || 77556 markings, 241511 edges, 25 markings/sec, 3185 secs
lola: STP completed || 1 tries, 77827 fired transitions, 3190 secs || 77681 markings, 241842 edges, 25 markings/sec, 3190 secs
lola: STP completed || 1 tries, 77953 fired transitions, 3195 secs || 77807 markings, 242172 edges, 25 markings/sec, 3195 secs
lola: STP completed || 1 tries, 78078 fired transitions, 3200 secs || 77932 markings, 242501 edges, 25 markings/sec, 3200 secs
lola: STP completed || 1 tries, 78204 fired transitions, 3205 secs || 78057 markings, 242877 edges, 25 markings/sec, 3205 secs
lola: STP completed || 1 tries, 78323 fired transitions, 3210 secs || 78177 markings, 243209 edges, 24 markings/sec, 3210 secs
lola: STP completed || 1 tries, 78439 fired transitions, 3215 secs || 78293 markings, 243537 edges, 23 markings/sec, 3215 secs
lola: STP completed || 1 tries, 78555 fired transitions, 3220 secs || 78409 markings, 243868 edges, 23 markings/sec, 3220 secs
lola: STP completed || 1 tries, 78681 fired transitions, 3225 secs || 78535 markings, 244219 edges, 25 markings/sec, 3225 secs
lola: STP completed || 1 tries, 78807 fired transitions, 3230 secs || 78661 markings, 244551 edges, 25 markings/sec, 3230 secs
lola: STP completed || 1 tries, 78932 fired transitions, 3235 secs || 78786 markings, 244902 edges, 25 markings/sec, 3235 secs
lola: STP completed || 1 tries, 79058 fired transitions, 3240 secs || 78912 markings, 245270 edges, 25 markings/sec, 3240 secs
lola: STP completed || 1 tries, 79184 fired transitions, 3245 secs || 79038 markings, 245592 edges, 25 markings/sec, 3245 secs
lola: STP completed || 1 tries, 79309 fired transitions, 3250 secs || 79163 markings, 245976 edges, 25 markings/sec, 3250 secs
lola: STP completed || 1 tries, 79434 fired transitions, 3255 secs || 79288 markings, 246336 edges, 25 markings/sec, 3255 secs
lola: STP completed || 1 tries, 79562 fired transitions, 3260 secs || 79416 markings, 246670 edges, 26 markings/sec, 3260 secs
lola: STP completed || 1 tries, 79689 fired transitions, 3265 secs || 79543 markings, 247020 edges, 25 markings/sec, 3265 secs
lola: STP completed || 1 tries, 79814 fired transitions, 3270 secs || 79668 markings, 247369 edges, 25 markings/sec, 3270 secs
lola: STP completed || 1 tries, 79941 fired transitions, 3275 secs || 79795 markings, 247734 edges, 25 markings/sec, 3275 secs
lola: STP completed || 1 tries, 80067 fired transitions, 3280 secs || 79921 markings, 248135 edges, 25 markings/sec, 3280 secs
lola: STP completed || 1 tries, 80193 fired transitions, 3285 secs || 80047 markings, 248479 edges, 25 markings/sec, 3285 secs
lola: STP completed || 1 tries, 80319 fired transitions, 3290 secs || 80173 markings, 248865 edges, 25 markings/sec, 3290 secs
lola: STP completed || 1 tries, 80445 fired transitions, 3295 secs || 80299 markings, 249218 edges, 25 markings/sec, 3295 secs
lola: STP completed || 1 tries, 80570 fired transitions, 3300 secs || 80424 markings, 249592 edges, 25 markings/sec, 3300 secs
lola: STP completed || 1 tries, 80696 fired transitions, 3305 secs || 80550 markings, 249915 edges, 25 markings/sec, 3305 secs
lola: STP completed || 1 tries, 80822 fired transitions, 3310 secs || 80676 markings, 250295 edges, 25 markings/sec, 3310 secs
lola: STP completed || 1 tries, 80947 fired transitions, 3315 secs || 80801 markings, 250664 edges, 25 markings/sec, 3315 secs
lola: STP completed || 1 tries, 81073 fired transitions, 3320 secs || 80927 markings, 250995 edges, 25 markings/sec, 3320 secs
lola: STP completed || 1 tries, 81199 fired transitions, 3325 secs || 81053 markings, 251382 edges, 25 markings/sec, 3325 secs
lola: STP completed || 1 tries, 81326 fired transitions, 3330 secs || 81180 markings, 251741 edges, 25 markings/sec, 3330 secs
lola: STP completed || 1 tries, 81452 fired transitions, 3335 secs || 81306 markings, 252097 edges, 25 markings/sec, 3335 secs
lola: STP completed || 1 tries, 81578 fired transitions, 3340 secs || 81432 markings, 252439 edges, 25 markings/sec, 3340 secs
lola: STP completed || 1 tries, 81704 fired transitions, 3345 secs || 81558 markings, 252811 edges, 25 markings/sec, 3345 secs
lola: STP completed || 1 tries, 81830 fired transitions, 3350 secs || 81684 markings, 253195 edges, 25 markings/sec, 3350 secs
lola: STP completed || 1 tries, 81956 fired transitions, 3355 secs || 81810 markings, 253453 edges, 25 markings/sec, 3355 secs
lola: STP completed || 1 tries, 82081 fired transitions, 3360 secs || 81935 markings, 253776 edges, 25 markings/sec, 3360 secs
lola: STP completed || 1 tries, 82206 fired transitions, 3365 secs || 82060 markings, 254097 edges, 25 markings/sec, 3365 secs
lola: STP completed || 1 tries, 82331 fired transitions, 3370 secs || 82185 markings, 254405 edges, 25 markings/sec, 3370 secs
lola: STP completed || 1 tries, 82456 fired transitions, 3375 secs || 82310 markings, 254770 edges, 25 markings/sec, 3375 secs
lola: STP completed || 1 tries, 82582 fired transitions, 3380 secs || 82436 markings, 255174 edges, 25 markings/sec, 3380 secs
lola: STP completed || 1 tries, 82707 fired transitions, 3385 secs || 82561 markings, 255547 edges, 25 markings/sec, 3385 secs
lola: STP completed || 1 tries, 82831 fired transitions, 3390 secs || 82685 markings, 255907 edges, 25 markings/sec, 3390 secs
lola: STP completed || 1 tries, 82958 fired transitions, 3395 secs || 82812 markings, 256246 edges, 25 markings/sec, 3395 secs
lola: STP completed || 1 tries, 83083 fired transitions, 3400 secs || 82938 markings, 256667 edges, 25 markings/sec, 3400 secs
lola: STP completed || 1 tries, 83207 fired transitions, 3405 secs || 83062 markings, 257129 edges, 25 markings/sec, 3405 secs
lola: STP completed || 1 tries, 83333 fired transitions, 3410 secs || 83188 markings, 257554 edges, 25 markings/sec, 3410 secs
lola: STP completed || 1 tries, 83458 fired transitions, 3415 secs || 83313 markings, 258045 edges, 25 markings/sec, 3415 secs
lola: STP completed || 1 tries, 83584 fired transitions, 3420 secs || 83439 markings, 258434 edges, 25 markings/sec, 3420 secs
lola: STP completed || 1 tries, 83709 fired transitions, 3425 secs || 83564 markings, 258859 edges, 25 markings/sec, 3425 secs
lola: STP completed || 1 tries, 83835 fired transitions, 3430 secs || 83690 markings, 259353 edges, 25 markings/sec, 3430 secs
lola: STP completed || 1 tries, 83960 fired transitions, 3435 secs || 83815 markings, 259771 edges, 25 markings/sec, 3435 secs
lola: STP completed || 1 tries, 84085 fired transitions, 3440 secs || 83940 markings, 260194 edges, 25 markings/sec, 3440 secs
lola: STP completed || 1 tries, 84211 fired transitions, 3445 secs || 84066 markings, 260680 edges, 25 markings/sec, 3445 secs
lola: STP completed || 1 tries, 84336 fired transitions, 3450 secs || 84191 markings, 261096 edges, 25 markings/sec, 3450 secs
lola: STP completed || 1 tries, 84448 fired transitions, 3455 secs || 84316 markings, 261573 edges, 25 markings/sec, 3455 secs
lola: STP completed || 1 tries, 84557 fired transitions, 3460 secs || 84442 markings, 262055 edges, 25 markings/sec, 3460 secs
lola: STP completed || 1 tries, 84666 fired transitions, 3465 secs || 84569 markings, 262546 edges, 25 markings/sec, 3465 secs
lola: STP completed || 1 tries, 84774 fired transitions, 3470 secs || 84695 markings, 262995 edges, 25 markings/sec, 3470 secs
lola: STP completed || 1 tries, 84882 fired transitions, 3475 secs || 84820 markings, 263461 edges, 25 markings/sec, 3475 secs
lola: STP completed || 1 tries, 84991 fired transitions, 3480 secs || 84947 markings, 263943 edges, 25 markings/sec, 3480 secs
lola: STP completed || 1 tries, 85100 fired transitions, 3485 secs || 85073 markings, 264386 edges, 25 markings/sec, 3485 secs
lola: STP completed || 1 tries, 85208 fired transitions, 3490 secs || 85198 markings, 264773 edges, 25 markings/sec, 3490 secs
lola: STP completed || 1 tries, 85316 fired transitions, 3495 secs || 85323 markings, 265202 edges, 25 markings/sec, 3495 secs
lola: STP completed || 1 tries, 85424 fired transitions, 3500 secs || 85448 markings, 265604 edges, 25 markings/sec, 3500 secs
lola: STP completed || 1 tries, 85532 fired transitions, 3505 secs || 85574 markings, 266041 edges, 25 markings/sec, 3505 secs
lola: STP completed || 1 tries, 85653 fired transitions, 3510 secs || 85699 markings, 266484 edges, 25 markings/sec, 3510 secs
lola: STP completed || 1 tries, 85777 fired transitions, 3515 secs || 85823 markings, 266931 edges, 25 markings/sec, 3515 secs
lola: STP completed || 1 tries, 85897 fired transitions, 3520 secs || 85942 markings, 267326 edges, 24 markings/sec, 3520 secs
lola: STP completed || 1 tries, 86015 fired transitions, 3525 secs || 86060 markings, 267682 edges, 24 markings/sec, 3525 secs
lola: STP completed || 1 tries, 86132 fired transitions, 3530 secs || 86177 markings, 268088 edges, 23 markings/sec, 3530 secs
lola: STP completed || 1 tries, 86252 fired transitions, 3535 secs || 86297 markings, 268466 edges, 24 markings/sec, 3535 secs
lola: STP completed || 1 tries, 86371 fired transitions, 3540 secs || 86416 markings, 268841 edges, 24 markings/sec, 3540 secs
lola: STP completed || 1 tries, 86488 fired transitions, 3545 secs || 86533 markings, 269224 edges, 23 markings/sec, 3545 secs
lola: STP completed || 1 tries, 86606 fired transitions, 3550 secs || 86651 markings, 269651 edges, 24 markings/sec, 3550 secs
lola: STP completed || 1 tries, 86726 fired transitions, 3555 secs || 86771 markings, 270096 edges, 24 markings/sec, 3555 secs
lola: STP completed || 1 tries, 86845 fired transitions, 3560 secs || 86890 markings, 270534 edges, 24 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 277044 KB
lola: time consumption: 3568 seconds
BK_STOP 1527363590358
--------------------
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="TokenRing-PT-040"
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/TokenRing-PT-040.tgz
mv TokenRing-PT-040 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 TokenRing-PT-040, 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 r172-smll-152708743300349"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;