About the Execution of LoLA for DLCshifumi-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1472.330 | 3569603.00 | 7502375.00 | 6876.60 | [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 7.0M
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 6.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-6a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400216
=====================================================================
--------------------
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 DLCshifumi-PT-6a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526736850698
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-6a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCshifumi-PT-6a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCshifumi-PT-6a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 29504/65536 symbol table entries, 13256 collisions
lola: preprocessing...
lola: Size of bit vector: 3568
lola: finding significant places
lola: 3568 places, 25936 transitions, 1153 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 22565 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-6a-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: STP: formula with 376418 variables and 1625279 clauses shipped to Minisat
lola: STP running || 1 tries, 194 fired transitions, 0 secs
lola: 0 generators; 6343420 candidates remain ( 0%), 0 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 392 fired transitions, 5 secs
lola: 461 generators; 6321789 candidates remain ( 0%), 5 secs
lola: STP completed || 1 tries, 605 fired transitions, 10 secs
lola: 1460 generators; 6292736 candidates remain ( 0%), 10 secs
lola: STP completed || 1 tries, 812 fired transitions, 15 secs
lola: 1640 generators; 6271467 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 1015 fired transitions, 20 secs
lola: 1819 generators; 6250234 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 1209 fired transitions, 25 secs
lola: 1997 generators; 6229037 candidates remain ( 0%), 25 secs
lola: STP completed || 1 tries, 1408 fired transitions, 30 secs
lola: 2174 generators; 6207876 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 1598 fired transitions, 35 secs
lola: 2350 generators; 6193788 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 1785 fired transitions, 40 secs
lola: 2408 generators; 6179832 candidates remain ( 0%), 40 secs
lola: STP completed || 1 tries, 1964 fired transitions, 45 secs
lola: 2693 generators; 6165494 candidates remain ( 0%), 45 secs
lola: STP completed || 1 tries, 2138 fired transitions, 50 secs
lola: 2870 generators; 6151451 candidates remain ( 0%), 50 secs
lola: STP completed || 1 tries, 2308 fired transitions, 55 secs
lola: 3043 generators; 6116425 candidates remain ( 0%), 55 secs
lola: STP completed || 1 tries, 2484 fired transitions, 60 secs
lola: 3215 generators; 6092133 candidates remain ( 0%), 60 secs
lola: STP completed || 1 tries, 2654 fired transitions, 65 secs
lola: 3385 generators; 6071206 candidates remain ( 0%), 65 secs
lola: STP completed || 1 tries, 2826 fired transitions, 70 secs
lola: 3554 generators; 6043360 candidates remain ( 0%), 70 secs
lola: STP completed || 1 tries, 3006 fired transitions, 75 secs
lola: 3887 generators; 6029295 candidates remain ( 0%), 75 secs
lola: STP completed || 1 tries, 3169 fired transitions, 80 secs
lola: 4053 generators; 6008477 candidates remain ( 0%), 80 secs
lola: STP completed || 1 tries, 3341 fired transitions, 85 secs
lola: 4218 generators; 5984235 candidates remain ( 0%), 85 secs
lola: STP completed || 1 tries, 3506 fired transitions, 90 secs
lola: 4220 generators; 5956752 candidates remain ( 0%), 90 secs
lola: STP completed || 1 tries, 3672 fired transitions, 95 secs
lola: 4383 generators; 5949849 candidates remain ( 0%), 95 secs
lola: STP completed || 1 tries, 3837 fired transitions, 100 secs
lola: 4546 generators; 5929168 candidates remain ( 0%), 100 secs
lola: STP completed || 1 tries, 4005 fired transitions, 105 secs
lola: 4708 generators; 5908523 candidates remain ( 0%), 105 secs
lola: STP completed || 1 tries, 4171 fired transitions, 110 secs
lola: 4869 generators; 5887914 candidates remain ( 0%), 110 secs
lola: STP completed || 1 tries, 4333 fired transitions, 115 secs
lola: 5028 generators; 5874038 candidates remain ( 0%), 115 secs
lola: STP completed || 1 tries, 4497 fired transitions, 120 secs
lola: 5187 generators; 5853490 candidates remain ( 0%), 120 secs
lola: 5345 generators; 5833288 candidates remain ( 0%), 125 secs
lola: STP completed || 1 tries, 4661 fired transitions, 125 secs
lola: 5502 generators; 5809249 candidates remain ( 0%), 130 secs
lola: STP completed || 1 tries, 4818 fired transitions, 130 secs
lola: 5504 generators; 5799180 candidates remain ( 0%), 135 secs
lola: STP completed || 1 tries, 4982 fired transitions, 135 secs
lola: 5815 generators; 5778608 candidates remain ( 0%), 140 secs
lola: STP completed || 1 tries, 5135 fired transitions, 140 secs
lola: 5944 generators; 5764890 candidates remain ( 0%), 145 secs
lola: STP completed || 1 tries, 5297 fired transitions, 145 secs
lola: 5970 generators; 5758227 candidates remain ( 0%), 150 secs
lola: STP completed || 1 tries, 5462 fired transitions, 150 secs
lola: 6124 generators; 5737882 candidates remain ( 0%), 155 secs
lola: STP completed || 1 tries, 5634 fired transitions, 155 secs
lola: 6277 generators; 5717573 candidates remain ( 0%), 160 secs
lola: STP completed || 1 tries, 5808 fired transitions, 160 secs
lola: 6429 generators; 5697300 candidates remain ( 0%), 165 secs
lola: STP completed || 1 tries, 5976 fired transitions, 165 secs
lola: 6580 generators; 5677063 candidates remain ( 0%), 170 secs
lola: STP completed || 1 tries, 6131 fired transitions, 170 secs
lola: 6878 generators; 5656714 candidates remain ( 0%), 175 secs
lola: STP completed || 1 tries, 6293 fired transitions, 175 secs
lola: 7026 generators; 5623129 candidates remain ( 0%), 180 secs
lola: STP completed || 1 tries, 6456 fired transitions, 180 secs
lola: 7173 generators; 5603025 candidates remain ( 0%), 185 secs
lola: STP completed || 1 tries, 6614 fired transitions, 185 secs
lola: 7319 generators; 5582957 candidates remain ( 0%), 190 secs
lola: STP completed || 1 tries, 6775 fired transitions, 190 secs
lola: 7464 generators; 5562925 candidates remain ( 0%), 195 secs
lola: STP completed || 1 tries, 6943 fired transitions, 195 secs
lola: 7608 generators; 5542929 candidates remain ( 0%), 200 secs
lola: STP completed || 1 tries, 7108 fired transitions, 200 secs
lola: 7609 generators; 5536412 candidates remain ( 0%), 205 secs
lola: STP completed || 1 tries, 7270 fired transitions, 205 secs
lola: 7752 generators; 5516463 candidates remain ( 0%), 210 secs
lola: STP completed || 1 tries, 7427 fired transitions, 210 secs
lola: 7894 generators; 5496550 candidates remain ( 0%), 215 secs
lola: STP completed || 1 tries, 7593 fired transitions, 215 secs
lola: 8035 generators; 5476673 candidates remain ( 0%), 220 secs
lola: STP completed || 1 tries, 7750 fired transitions, 220 secs
lola: 8175 generators; 5456832 candidates remain ( 0%), 225 secs
lola: STP completed || 1 tries, 7916 fired transitions, 225 secs
lola: 8314 generators; 5437027 candidates remain ( 0%), 230 secs
lola: STP completed || 1 tries, 8072 fired transitions, 230 secs
lola: 8452 generators; 5417258 candidates remain ( 0%), 235 secs
lola: STP completed || 1 tries, 8238 fired transitions, 235 secs
lola: 8589 generators; 5397525 candidates remain ( 0%), 240 secs
lola: STP completed || 1 tries, 8409 fired transitions, 240 secs
lola: 8725 generators; 5377828 candidates remain ( 0%), 245 secs
lola: STP completed || 1 tries, 8572 fired transitions, 245 secs
lola: 8860 generators; 5358167 candidates remain ( 0%), 250 secs
lola: STP completed || 1 tries, 8739 fired transitions, 250 secs
lola: 8994 generators; 5338542 candidates remain ( 0%), 255 secs
lola: STP completed || 1 tries, 8909 fired transitions, 255 secs
lola: 9127 generators; 5318953 candidates remain ( 0%), 260 secs
lola: STP completed || 1 tries, 9084 fired transitions, 260 secs
lola: 9259 generators; 5299400 candidates remain ( 0%), 265 secs
lola: STP completed || 1 tries, 9244 fired transitions, 265 secs
lola: 9390 generators; 5279883 candidates remain ( 0%), 270 secs
lola: STP completed || 1 tries, 9403 fired transitions, 270 secs
lola: 9520 generators; 5260402 candidates remain ( 0%), 275 secs
lola: STP completed || 1 tries, 9568 fired transitions, 275 secs
lola: 9649 generators; 5240957 candidates remain ( 0%), 280 secs
lola: STP completed || 1 tries, 9736 fired transitions, 280 secs
lola: 9777 generators; 5221548 candidates remain ( 0%), 285 secs
lola: STP completed || 1 tries, 9908 fired transitions, 285 secs
lola: 9904 generators; 5202055 candidates remain ( 0%), 290 secs
lola: STP completed || 1 tries, 10074 fired transitions, 290 secs
lola: 10033 generators; 5144034 candidates remain ( 0%), 295 secs
lola: STP completed || 1 tries, 10238 fired transitions, 295 secs
lola: 10036 generators; 5115205 candidates remain ( 0%), 300 secs
lola: STP completed || 1 tries, 10400 fired transitions, 300 secs
lola: 10039 generators; 5070646 candidates remain ( 0%), 305 secs
lola: time limit for symmetry computation exceeded - aborting
lola: STP completed || 1 tries, 10570 fired transitions, 305 secs
lola: symmetry computation interrupted: continue with partial generating set
lola: computed 10039 generators (124 in search tree, 9915 by composition)
lola: representing 3.3374E+146 symmetries
lola: 2 dead branches visited in search tree
lola: STP completed || 1 tries, 10753 fired transitions, 310 secs || 4792 markings, 49256 edges, 958 markings/sec, 310 secs
lola: STP completed || 1 tries, 10933 fired transitions, 315 secs || 9249 markings, 110925 edges, 891 markings/sec, 315 secs
lola: STP completed || 1 tries, 11114 fired transitions, 320 secs || 11139 markings, 174740 edges, 378 markings/sec, 320 secs
lola: STP completed || 1 tries, 11289 fired transitions, 325 secs || 11312 markings, 224771 edges, 35 markings/sec, 325 secs
lola: STP completed || 1 tries, 11465 fired transitions, 330 secs || 11486 markings, 272228 edges, 35 markings/sec, 330 secs
lola: STP completed || 1 tries, 11650 fired transitions, 335 secs || 11661 markings, 319709 edges, 35 markings/sec, 335 secs
lola: STP completed || 1 tries, 11830 fired transitions, 340 secs || 11837 markings, 367140 edges, 35 markings/sec, 340 secs
lola: STP completed || 1 tries, 12010 fired transitions, 345 secs || 12012 markings, 414246 edges, 35 markings/sec, 345 secs
lola: STP completed || 1 tries, 12183 fired transitions, 350 secs || 12188 markings, 461143 edges, 35 markings/sec, 350 secs
lola: STP completed || 1 tries, 12366 fired transitions, 355 secs || 12363 markings, 508596 edges, 35 markings/sec, 355 secs
lola: STP completed || 1 tries, 12548 fired transitions, 360 secs || 12537 markings, 555637 edges, 35 markings/sec, 360 secs
lola: STP completed || 1 tries, 12724 fired transitions, 365 secs || 12713 markings, 603292 edges, 35 markings/sec, 365 secs
lola: STP completed || 1 tries, 12903 fired transitions, 370 secs || 12887 markings, 650360 edges, 35 markings/sec, 370 secs
lola: STP completed || 1 tries, 13089 fired transitions, 375 secs || 13063 markings, 697809 edges, 35 markings/sec, 375 secs
lola: STP completed || 1 tries, 13261 fired transitions, 380 secs || 13238 markings, 745251 edges, 35 markings/sec, 380 secs
lola: STP completed || 1 tries, 13441 fired transitions, 385 secs || 13412 markings, 792521 edges, 35 markings/sec, 385 secs
lola: STP completed || 1 tries, 13624 fired transitions, 390 secs || 13586 markings, 839571 edges, 35 markings/sec, 390 secs
lola: STP completed || 1 tries, 13800 fired transitions, 395 secs || 13760 markings, 886639 edges, 35 markings/sec, 395 secs
lola: STP completed || 1 tries, 13971 fired transitions, 400 secs || 13933 markings, 933769 edges, 35 markings/sec, 400 secs
lola: STP completed || 1 tries, 14154 fired transitions, 405 secs || 14107 markings, 980979 edges, 35 markings/sec, 405 secs
lola: STP completed || 1 tries, 14336 fired transitions, 410 secs || 14283 markings, 1028203 edges, 35 markings/sec, 410 secs
lola: STP completed || 1 tries, 14515 fired transitions, 415 secs || 14457 markings, 1075272 edges, 35 markings/sec, 415 secs
lola: STP completed || 1 tries, 14693 fired transitions, 420 secs || 14637 markings, 1124109 edges, 36 markings/sec, 420 secs
lola: STP completed || 1 tries, 14867 fired transitions, 425 secs || 14814 markings, 1171970 edges, 35 markings/sec, 425 secs
lola: STP completed || 1 tries, 15043 fired transitions, 430 secs || 14989 markings, 1220000 edges, 35 markings/sec, 430 secs
lola: STP completed || 1 tries, 15216 fired transitions, 435 secs || 15151 markings, 1264039 edges, 32 markings/sec, 435 secs
lola: STP completed || 1 tries, 15395 fired transitions, 440 secs || 15324 markings, 1310719 edges, 35 markings/sec, 440 secs
lola: STP completed || 1 tries, 15576 fired transitions, 445 secs || 15498 markings, 1357630 edges, 35 markings/sec, 445 secs
lola: STP completed || 1 tries, 15759 fired transitions, 450 secs || 15674 markings, 1404864 edges, 35 markings/sec, 450 secs
lola: STP completed || 1 tries, 15935 fired transitions, 455 secs || 15846 markings, 1451899 edges, 34 markings/sec, 455 secs
lola: STP completed || 1 tries, 16112 fired transitions, 460 secs || 16020 markings, 1498954 edges, 35 markings/sec, 460 secs
lola: STP completed || 1 tries, 16295 fired transitions, 465 secs || 16194 markings, 1546021 edges, 35 markings/sec, 465 secs
lola: STP completed || 1 tries, 16471 fired transitions, 470 secs || 16368 markings, 1592732 edges, 35 markings/sec, 470 secs
lola: STP completed || 1 tries, 16647 fired transitions, 475 secs || 16542 markings, 1639541 edges, 35 markings/sec, 475 secs
lola: STP completed || 1 tries, 16837 fired transitions, 480 secs || 16716 markings, 1686598 edges, 35 markings/sec, 480 secs
lola: STP completed || 1 tries, 17016 fired transitions, 485 secs || 16888 markings, 1734039 edges, 34 markings/sec, 485 secs
lola: STP completed || 1 tries, 17196 fired transitions, 490 secs || 17062 markings, 1781089 edges, 35 markings/sec, 490 secs
lola: STP completed || 1 tries, 17375 fired transitions, 495 secs || 17234 markings, 1827840 edges, 34 markings/sec, 495 secs
lola: STP completed || 1 tries, 17553 fired transitions, 500 secs || 17408 markings, 1874600 edges, 35 markings/sec, 500 secs
lola: STP completed || 1 tries, 17724 fired transitions, 505 secs || 17581 markings, 1921078 edges, 35 markings/sec, 505 secs
lola: STP completed || 1 tries, 17900 fired transitions, 510 secs || 17752 markings, 1966917 edges, 34 markings/sec, 510 secs
lola: STP completed || 1 tries, 18063 fired transitions, 515 secs || 17923 markings, 2013672 edges, 34 markings/sec, 515 secs
lola: STP completed || 1 tries, 18234 fired transitions, 520 secs || 18096 markings, 2060100 edges, 35 markings/sec, 520 secs
lola: STP completed || 1 tries, 18408 fired transitions, 525 secs || 18265 markings, 2105763 edges, 34 markings/sec, 525 secs
lola: STP completed || 1 tries, 18580 fired transitions, 530 secs || 18438 markings, 2152379 edges, 35 markings/sec, 530 secs
lola: STP completed || 1 tries, 18755 fired transitions, 535 secs || 18607 markings, 2198846 edges, 34 markings/sec, 535 secs
lola: STP completed || 1 tries, 18932 fired transitions, 540 secs || 18779 markings, 2245103 edges, 34 markings/sec, 540 secs
lola: STP completed || 1 tries, 19111 fired transitions, 545 secs || 18948 markings, 2290970 edges, 34 markings/sec, 545 secs
lola: STP completed || 1 tries, 19277 fired transitions, 550 secs || 19120 markings, 2337048 edges, 34 markings/sec, 550 secs
lola: STP completed || 1 tries, 19453 fired transitions, 555 secs || 19291 markings, 2383101 edges, 34 markings/sec, 555 secs
lola: STP completed || 1 tries, 19627 fired transitions, 560 secs || 19452 markings, 2426847 edges, 32 markings/sec, 560 secs
lola: STP completed || 1 tries, 19815 fired transitions, 565 secs || 19624 markings, 2473792 edges, 34 markings/sec, 565 secs
lola: STP completed || 1 tries, 20009 fired transitions, 570 secs || 19797 markings, 2520804 edges, 35 markings/sec, 570 secs
lola: STP completed || 1 tries, 20188 fired transitions, 575 secs || 19967 markings, 2566920 edges, 34 markings/sec, 575 secs
lola: STP completed || 1 tries, 20380 fired transitions, 580 secs || 20141 markings, 2613406 edges, 35 markings/sec, 580 secs
lola: STP completed || 1 tries, 20557 fired transitions, 585 secs || 20312 markings, 2659451 edges, 34 markings/sec, 585 secs
lola: STP completed || 1 tries, 20732 fired transitions, 590 secs || 20481 markings, 2706078 edges, 34 markings/sec, 590 secs
lola: STP completed || 1 tries, 20913 fired transitions, 595 secs || 20653 markings, 2752373 edges, 34 markings/sec, 595 secs
lola: STP completed || 1 tries, 21091 fired transitions, 600 secs || 20814 markings, 2796035 edges, 32 markings/sec, 600 secs
lola: STP completed || 1 tries, 21256 fired transitions, 605 secs || 20985 markings, 2841712 edges, 34 markings/sec, 605 secs
lola: STP completed || 1 tries, 21430 fired transitions, 610 secs || 21157 markings, 2888368 edges, 34 markings/sec, 610 secs
lola: STP completed || 1 tries, 21610 fired transitions, 615 secs || 21328 markings, 2934967 edges, 34 markings/sec, 615 secs
lola: STP completed || 1 tries, 21771 fired transitions, 620 secs || 21500 markings, 2981646 edges, 34 markings/sec, 620 secs
lola: STP completed || 1 tries, 21953 fired transitions, 625 secs || 21673 markings, 3027723 edges, 35 markings/sec, 625 secs
lola: STP completed || 1 tries, 22126 fired transitions, 630 secs || 21842 markings, 3074143 edges, 34 markings/sec, 630 secs
lola: STP completed || 1 tries, 22296 fired transitions, 635 secs || 22014 markings, 3120845 edges, 34 markings/sec, 635 secs
lola: STP completed || 1 tries, 22484 fired transitions, 640 secs || 22178 markings, 3164972 edges, 33 markings/sec, 640 secs
lola: STP completed || 1 tries, 22658 fired transitions, 645 secs || 22347 markings, 3210749 edges, 34 markings/sec, 645 secs
lola: STP completed || 1 tries, 22824 fired transitions, 650 secs || 22518 markings, 3257530 edges, 34 markings/sec, 650 secs
lola: STP completed || 1 tries, 23017 fired transitions, 655 secs || 22680 markings, 3301275 edges, 32 markings/sec, 655 secs
lola: STP completed || 1 tries, 23209 fired transitions, 660 secs || 22854 markings, 3348343 edges, 35 markings/sec, 660 secs
lola: STP completed || 1 tries, 23387 fired transitions, 665 secs || 23027 markings, 3395250 edges, 35 markings/sec, 665 secs
lola: STP completed || 1 tries, 23572 fired transitions, 670 secs || 23202 markings, 3441895 edges, 35 markings/sec, 670 secs
lola: STP completed || 1 tries, 23759 fired transitions, 675 secs || 23378 markings, 3489341 edges, 35 markings/sec, 675 secs
lola: STP completed || 1 tries, 23938 fired transitions, 680 secs || 23548 markings, 3535968 edges, 34 markings/sec, 680 secs
lola: STP completed || 1 tries, 24113 fired transitions, 685 secs || 23717 markings, 3581836 edges, 34 markings/sec, 685 secs
lola: STP completed || 1 tries, 24285 fired transitions, 690 secs || 23899 markings, 3628682 edges, 36 markings/sec, 690 secs
lola: STP completed || 1 tries, 24464 fired transitions, 695 secs || 24260 markings, 3679988 edges, 72 markings/sec, 695 secs
lola: STP completed || 1 tries, 24636 fired transitions, 700 secs || 24528 markings, 3729018 edges, 54 markings/sec, 700 secs
lola: STP completed || 1 tries, 24808 fired transitions, 705 secs || 24711 markings, 3777272 edges, 37 markings/sec, 705 secs
lola: STP completed || 1 tries, 24987 fired transitions, 710 secs || 24964 markings, 3826305 edges, 51 markings/sec, 710 secs
lola: STP completed || 1 tries, 25160 fired transitions, 715 secs || 25128 markings, 3872541 edges, 33 markings/sec, 715 secs
lola: STP completed || 1 tries, 25331 fired transitions, 720 secs || 25310 markings, 3920668 edges, 36 markings/sec, 720 secs
lola: STP completed || 1 tries, 25509 fired transitions, 725 secs || 25572 markings, 3970346 edges, 52 markings/sec, 725 secs
lola: STP completed || 1 tries, 25686 fired transitions, 730 secs || 25926 markings, 4020243 edges, 71 markings/sec, 730 secs
lola: STP completed || 1 tries, 25866 fired transitions, 735 secs || 26238 markings, 4070014 edges, 62 markings/sec, 735 secs
lola: STP completed || 1 tries, 26047 fired transitions, 740 secs || 26526 markings, 4118247 edges, 58 markings/sec, 740 secs
lola: STP completed || 1 tries, 26227 fired transitions, 745 secs || 26694 markings, 4164335 edges, 34 markings/sec, 745 secs
lola: STP completed || 1 tries, 26425 fired transitions, 750 secs || 26968 markings, 4214207 edges, 55 markings/sec, 750 secs
lola: STP completed || 1 tries, 26586 fired transitions, 755 secs || 27255 markings, 4262982 edges, 57 markings/sec, 755 secs
lola: STP completed || 1 tries, 26771 fired transitions, 760 secs || 27464 markings, 4312252 edges, 42 markings/sec, 760 secs
lola: STP completed || 1 tries, 26940 fired transitions, 765 secs || 27801 markings, 4362491 edges, 67 markings/sec, 765 secs
lola: STP completed || 1 tries, 27120 fired transitions, 770 secs || 28077 markings, 4412087 edges, 55 markings/sec, 770 secs
lola: STP completed || 1 tries, 27309 fired transitions, 775 secs || 28370 markings, 4459814 edges, 59 markings/sec, 775 secs
lola: STP completed || 1 tries, 27495 fired transitions, 780 secs || 28685 markings, 4510475 edges, 63 markings/sec, 780 secs
lola: STP completed || 1 tries, 27686 fired transitions, 785 secs || 28943 markings, 4557529 edges, 52 markings/sec, 785 secs
lola: STP completed || 1 tries, 27848 fired transitions, 790 secs || 29244 markings, 4607995 edges, 60 markings/sec, 790 secs
lola: STP completed || 1 tries, 28011 fired transitions, 795 secs || 29429 markings, 4655836 edges, 37 markings/sec, 795 secs
lola: STP completed || 1 tries, 28200 fired transitions, 800 secs || 29605 markings, 4701089 edges, 35 markings/sec, 800 secs
lola: STP completed || 1 tries, 28389 fired transitions, 805 secs || 29881 markings, 4751812 edges, 55 markings/sec, 805 secs
lola: STP completed || 1 tries, 28563 fired transitions, 810 secs || 30023 markings, 4797301 edges, 28 markings/sec, 810 secs
lola: STP completed || 1 tries, 28729 fired transitions, 815 secs || 30211 markings, 4846016 edges, 38 markings/sec, 815 secs
lola: STP completed || 1 tries, 28897 fired transitions, 820 secs || 30516 markings, 4896191 edges, 61 markings/sec, 820 secs
lola: STP completed || 1 tries, 29069 fired transitions, 825 secs || 30870 markings, 4946201 edges, 71 markings/sec, 825 secs
lola: STP completed || 1 tries, 29254 fired transitions, 830 secs || 31181 markings, 4993827 edges, 62 markings/sec, 830 secs
lola: STP completed || 1 tries, 29429 fired transitions, 835 secs || 31390 markings, 5040614 edges, 42 markings/sec, 835 secs
lola: STP completed || 1 tries, 29616 fired transitions, 840 secs || 31569 markings, 5088128 edges, 36 markings/sec, 840 secs
lola: STP completed || 1 tries, 29785 fired transitions, 845 secs || 31918 markings, 5138016 edges, 70 markings/sec, 845 secs
lola: STP completed || 1 tries, 29970 fired transitions, 850 secs || 32194 markings, 5184626 edges, 55 markings/sec, 850 secs
lola: STP completed || 1 tries, 30159 fired transitions, 855 secs || 32505 markings, 5234173 edges, 62 markings/sec, 855 secs
lola: STP completed || 1 tries, 30328 fired transitions, 860 secs || 32750 markings, 5283293 edges, 49 markings/sec, 860 secs
lola: STP completed || 1 tries, 30503 fired transitions, 865 secs || 33099 markings, 5333494 edges, 70 markings/sec, 865 secs
lola: STP completed || 1 tries, 30673 fired transitions, 870 secs || 33371 markings, 5382383 edges, 54 markings/sec, 870 secs
lola: STP completed || 1 tries, 30846 fired transitions, 875 secs || 33512 markings, 5428627 edges, 28 markings/sec, 875 secs
lola: STP completed || 1 tries, 31016 fired transitions, 880 secs || 33720 markings, 5476842 edges, 42 markings/sec, 880 secs
lola: STP completed || 1 tries, 31186 fired transitions, 885 secs || 33914 markings, 5525121 edges, 39 markings/sec, 885 secs
lola: STP completed || 1 tries, 31363 fired transitions, 890 secs || 34111 markings, 5574292 edges, 39 markings/sec, 890 secs
lola: STP completed || 1 tries, 31539 fired transitions, 895 secs || 34325 markings, 5623499 edges, 43 markings/sec, 895 secs
lola: STP completed || 1 tries, 31721 fired transitions, 900 secs || 34523 markings, 5672174 edges, 40 markings/sec, 900 secs
lola: STP completed || 1 tries, 31889 fired transitions, 905 secs || 34714 markings, 5722339 edges, 38 markings/sec, 905 secs
lola: STP completed || 1 tries, 32059 fired transitions, 910 secs || 34961 markings, 5774395 edges, 49 markings/sec, 910 secs
lola: STP completed || 1 tries, 32235 fired transitions, 915 secs || 35291 markings, 5824798 edges, 66 markings/sec, 915 secs
lola: STP completed || 1 tries, 32408 fired transitions, 920 secs || 35624 markings, 5874242 edges, 67 markings/sec, 920 secs
lola: STP completed || 1 tries, 32584 fired transitions, 925 secs || 35942 markings, 5926016 edges, 64 markings/sec, 925 secs
lola: STP completed || 1 tries, 32734 fired transitions, 930 secs || 36297 markings, 5978423 edges, 71 markings/sec, 930 secs
lola: STP completed || 1 tries, 32913 fired transitions, 935 secs || 36609 markings, 6028714 edges, 62 markings/sec, 935 secs
lola: STP completed || 1 tries, 33084 fired transitions, 940 secs || 36798 markings, 6076978 edges, 38 markings/sec, 940 secs
lola: STP completed || 1 tries, 33272 fired transitions, 945 secs || 37023 markings, 6128762 edges, 45 markings/sec, 945 secs
lola: STP completed || 1 tries, 33462 fired transitions, 950 secs || 37266 markings, 6179339 edges, 49 markings/sec, 950 secs
lola: STP completed || 1 tries, 33629 fired transitions, 955 secs || 37428 markings, 6227884 edges, 32 markings/sec, 955 secs
lola: STP completed || 1 tries, 33803 fired transitions, 960 secs || 37681 markings, 6279752 edges, 51 markings/sec, 960 secs
lola: STP completed || 1 tries, 33966 fired transitions, 965 secs || 38048 markings, 6332324 edges, 73 markings/sec, 965 secs
lola: STP completed || 1 tries, 34144 fired transitions, 970 secs || 38361 markings, 6384141 edges, 63 markings/sec, 970 secs
lola: STP completed || 1 tries, 34323 fired transitions, 975 secs || 38666 markings, 6432109 edges, 61 markings/sec, 975 secs
lola: STP completed || 1 tries, 34499 fired transitions, 980 secs || 38814 markings, 6479545 edges, 30 markings/sec, 980 secs
lola: STP completed || 1 tries, 34666 fired transitions, 985 secs || 39138 markings, 6531344 edges, 65 markings/sec, 985 secs
lola: STP completed || 1 tries, 34842 fired transitions, 990 secs || 39466 markings, 6583747 edges, 66 markings/sec, 990 secs
lola: STP completed || 1 tries, 35010 fired transitions, 995 secs || 39777 markings, 6634778 edges, 62 markings/sec, 995 secs
lola: STP completed || 1 tries, 35191 fired transitions, 1000 secs || 40026 markings, 6685193 edges, 50 markings/sec, 1000 secs
lola: STP completed || 1 tries, 35358 fired transitions, 1005 secs || 40401 markings, 6737839 edges, 75 markings/sec, 1005 secs
lola: STP completed || 1 tries, 35527 fired transitions, 1010 secs || 40717 markings, 6789251 edges, 63 markings/sec, 1010 secs
lola: STP completed || 1 tries, 35700 fired transitions, 1015 secs || 41039 markings, 6840616 edges, 64 markings/sec, 1015 secs
lola: STP completed || 1 tries, 35877 fired transitions, 1020 secs || 41367 markings, 6892026 edges, 66 markings/sec, 1020 secs
lola: STP completed || 1 tries, 36054 fired transitions, 1025 secs || 41639 markings, 6943579 edges, 54 markings/sec, 1025 secs
lola: STP completed || 1 tries, 36225 fired transitions, 1030 secs || 41786 markings, 6990947 edges, 29 markings/sec, 1030 secs
lola: STP completed || 1 tries, 36406 fired transitions, 1035 secs || 42010 markings, 7042791 edges, 45 markings/sec, 1035 secs
lola: STP completed || 1 tries, 36583 fired transitions, 1040 secs || 42373 markings, 7095271 edges, 73 markings/sec, 1040 secs
lola: STP completed || 1 tries, 36761 fired transitions, 1045 secs || 42630 markings, 7146352 edges, 51 markings/sec, 1045 secs
lola: STP completed || 1 tries, 36933 fired transitions, 1050 secs || 42839 markings, 7197009 edges, 42 markings/sec, 1050 secs
lola: STP completed || 1 tries, 37112 fired transitions, 1055 secs || 43035 markings, 7246587 edges, 39 markings/sec, 1055 secs
lola: STP completed || 1 tries, 37289 fired transitions, 1060 secs || 43225 markings, 7296966 edges, 38 markings/sec, 1060 secs
lola: STP completed || 1 tries, 37466 fired transitions, 1065 secs || 43446 markings, 7348008 edges, 44 markings/sec, 1065 secs
lola: STP completed || 1 tries, 37647 fired transitions, 1070 secs || 43764 markings, 7400626 edges, 64 markings/sec, 1070 secs
lola: STP completed || 1 tries, 37830 fired transitions, 1075 secs || 44129 markings, 7452473 edges, 73 markings/sec, 1075 secs
lola: STP completed || 1 tries, 38011 fired transitions, 1080 secs || 44397 markings, 7503487 edges, 54 markings/sec, 1080 secs
lola: STP completed || 1 tries, 38186 fired transitions, 1085 secs || 44703 markings, 7555314 edges, 61 markings/sec, 1085 secs
lola: STP completed || 1 tries, 38369 fired transitions, 1090 secs || 44983 markings, 7603103 edges, 56 markings/sec, 1090 secs
lola: STP completed || 1 tries, 38547 fired transitions, 1095 secs || 45182 markings, 7653180 edges, 40 markings/sec, 1095 secs
lola: STP completed || 1 tries, 38736 fired transitions, 1100 secs || 45401 markings, 7704487 edges, 44 markings/sec, 1100 secs
lola: STP completed || 1 tries, 38918 fired transitions, 1105 secs || 45652 markings, 7754726 edges, 50 markings/sec, 1105 secs
lola: STP completed || 1 tries, 39096 fired transitions, 1110 secs || 45807 markings, 7803192 edges, 31 markings/sec, 1110 secs
lola: STP completed || 1 tries, 39274 fired transitions, 1115 secs || 46055 markings, 7855145 edges, 50 markings/sec, 1115 secs
lola: STP completed || 1 tries, 39455 fired transitions, 1120 secs || 46421 markings, 7907755 edges, 73 markings/sec, 1120 secs
lola: STP completed || 1 tries, 39636 fired transitions, 1125 secs || 46743 markings, 7958827 edges, 64 markings/sec, 1125 secs
lola: STP completed || 1 tries, 39823 fired transitions, 1130 secs || 47080 markings, 8011158 edges, 67 markings/sec, 1130 secs
lola: STP completed || 1 tries, 40003 fired transitions, 1135 secs || 47439 markings, 8063878 edges, 72 markings/sec, 1135 secs
lola: STP completed || 1 tries, 40178 fired transitions, 1140 secs || 47681 markings, 8114190 edges, 48 markings/sec, 1140 secs
lola: STP completed || 1 tries, 40354 fired transitions, 1145 secs || 47836 markings, 8162030 edges, 31 markings/sec, 1145 secs
lola: STP completed || 1 tries, 40527 fired transitions, 1150 secs || 48133 markings, 8212735 edges, 59 markings/sec, 1150 secs
lola: STP completed || 1 tries, 40700 fired transitions, 1155 secs || 48471 markings, 8262793 edges, 68 markings/sec, 1155 secs
lola: STP completed || 1 tries, 40887 fired transitions, 1160 secs || 48817 markings, 8313437 edges, 69 markings/sec, 1160 secs
lola: STP completed || 1 tries, 41061 fired transitions, 1165 secs || 49154 markings, 8366354 edges, 67 markings/sec, 1165 secs
lola: STP completed || 1 tries, 41243 fired transitions, 1170 secs || 49355 markings, 8416677 edges, 40 markings/sec, 1170 secs
lola: STP completed || 1 tries, 41414 fired transitions, 1175 secs || 49708 markings, 8468407 edges, 71 markings/sec, 1175 secs
lola: STP completed || 1 tries, 41594 fired transitions, 1180 secs || 50001 markings, 8520771 edges, 59 markings/sec, 1180 secs
lola: STP completed || 1 tries, 41773 fired transitions, 1185 secs || 50325 markings, 8572095 edges, 65 markings/sec, 1185 secs
lola: STP completed || 1 tries, 41950 fired transitions, 1190 secs || 50649 markings, 8624359 edges, 65 markings/sec, 1190 secs
lola: STP completed || 1 tries, 42133 fired transitions, 1195 secs || 50924 markings, 8677011 edges, 55 markings/sec, 1195 secs
lola: STP completed || 1 tries, 42309 fired transitions, 1200 secs || 51269 markings, 8729003 edges, 69 markings/sec, 1200 secs
lola: STP completed || 1 tries, 42480 fired transitions, 1205 secs || 51596 markings, 8780446 edges, 65 markings/sec, 1205 secs
lola: STP completed || 1 tries, 42661 fired transitions, 1210 secs || 51959 markings, 8832105 edges, 73 markings/sec, 1210 secs
lola: STP completed || 1 tries, 42839 fired transitions, 1215 secs || 52298 markings, 8883727 edges, 68 markings/sec, 1215 secs
lola: STP completed || 1 tries, 43010 fired transitions, 1220 secs || 52595 markings, 8935074 edges, 59 markings/sec, 1220 secs
lola: STP completed || 1 tries, 43184 fired transitions, 1225 secs || 52923 markings, 8987622 edges, 66 markings/sec, 1225 secs
lola: STP completed || 1 tries, 43360 fired transitions, 1230 secs || 53243 markings, 9038342 edges, 64 markings/sec, 1230 secs
lola: STP completed || 1 tries, 43543 fired transitions, 1235 secs || 53568 markings, 9089795 edges, 65 markings/sec, 1235 secs
lola: STP completed || 1 tries, 43727 fired transitions, 1240 secs || 53884 markings, 9141788 edges, 63 markings/sec, 1240 secs
lola: STP completed || 1 tries, 43905 fired transitions, 1245 secs || 54194 markings, 9192545 edges, 62 markings/sec, 1245 secs
lola: STP completed || 1 tries, 44085 fired transitions, 1250 secs || 54497 markings, 9243800 edges, 61 markings/sec, 1250 secs
lola: STP completed || 1 tries, 44272 fired transitions, 1255 secs || 54821 markings, 9294108 edges, 65 markings/sec, 1255 secs
lola: STP completed || 1 tries, 44458 fired transitions, 1260 secs || 55196 markings, 9346277 edges, 75 markings/sec, 1260 secs
lola: STP completed || 1 tries, 44646 fired transitions, 1265 secs || 55527 markings, 9396827 edges, 66 markings/sec, 1265 secs
lola: STP completed || 1 tries, 44831 fired transitions, 1270 secs || 55846 markings, 9448312 edges, 64 markings/sec, 1270 secs
lola: STP completed || 1 tries, 45021 fired transitions, 1275 secs || 56071 markings, 9497104 edges, 45 markings/sec, 1275 secs
lola: STP completed || 1 tries, 45212 fired transitions, 1280 secs || 56428 markings, 9548436 edges, 71 markings/sec, 1280 secs
lola: STP completed || 1 tries, 45374 fired transitions, 1285 secs || 56787 markings, 9600121 edges, 72 markings/sec, 1285 secs
lola: STP completed || 1 tries, 45550 fired transitions, 1290 secs || 57104 markings, 9652669 edges, 63 markings/sec, 1290 secs
lola: STP completed || 1 tries, 45708 fired transitions, 1295 secs || 57418 markings, 9697753 edges, 63 markings/sec, 1295 secs
lola: STP completed || 1 tries, 45883 fired transitions, 1300 secs || 57702 markings, 9743114 edges, 57 markings/sec, 1300 secs
lola: STP completed || 1 tries, 46052 fired transitions, 1305 secs || 57983 markings, 9791371 edges, 56 markings/sec, 1305 secs
lola: STP completed || 1 tries, 46235 fired transitions, 1310 secs || 58267 markings, 9835813 edges, 57 markings/sec, 1310 secs
lola: STP completed || 1 tries, 46408 fired transitions, 1315 secs || 58561 markings, 9881529 edges, 59 markings/sec, 1315 secs
lola: STP completed || 1 tries, 46577 fired transitions, 1320 secs || 58870 markings, 9927848 edges, 62 markings/sec, 1320 secs
lola: STP completed || 1 tries, 46749 fired transitions, 1325 secs || 59173 markings, 9976018 edges, 61 markings/sec, 1325 secs
lola: STP completed || 1 tries, 46921 fired transitions, 1330 secs || 59452 markings, 10024465 edges, 56 markings/sec, 1330 secs
lola: STP completed || 1 tries, 47100 fired transitions, 1335 secs || 59763 markings, 10074365 edges, 62 markings/sec, 1335 secs
lola: STP completed || 1 tries, 47264 fired transitions, 1340 secs || 60082 markings, 10122392 edges, 64 markings/sec, 1340 secs
lola: STP completed || 1 tries, 47452 fired transitions, 1345 secs || 60401 markings, 10171865 edges, 64 markings/sec, 1345 secs
lola: STP completed || 1 tries, 47630 fired transitions, 1350 secs || 60679 markings, 10221534 edges, 56 markings/sec, 1350 secs
lola: STP completed || 1 tries, 47805 fired transitions, 1355 secs || 60970 markings, 10271049 edges, 58 markings/sec, 1355 secs
lola: STP completed || 1 tries, 47976 fired transitions, 1360 secs || 61287 markings, 10321062 edges, 63 markings/sec, 1360 secs
lola: STP completed || 1 tries, 48159 fired transitions, 1365 secs || 61689 markings, 10370151 edges, 80 markings/sec, 1365 secs
lola: STP completed || 1 tries, 48343 fired transitions, 1370 secs || 61974 markings, 10421007 edges, 57 markings/sec, 1370 secs
lola: STP completed || 1 tries, 48529 fired transitions, 1375 secs || 62299 markings, 10472610 edges, 65 markings/sec, 1375 secs
lola: STP completed || 1 tries, 48717 fired transitions, 1380 secs || 62632 markings, 10524033 edges, 67 markings/sec, 1380 secs
lola: STP completed || 1 tries, 48889 fired transitions, 1385 secs || 62966 markings, 10573690 edges, 67 markings/sec, 1385 secs
lola: STP completed || 1 tries, 49073 fired transitions, 1390 secs || 63289 markings, 10624274 edges, 65 markings/sec, 1390 secs
lola: STP completed || 1 tries, 49249 fired transitions, 1395 secs || 63600 markings, 10674765 edges, 62 markings/sec, 1395 secs
lola: STP completed || 1 tries, 49413 fired transitions, 1400 secs || 63937 markings, 10718445 edges, 67 markings/sec, 1400 secs
lola: STP completed || 1 tries, 49588 fired transitions, 1405 secs || 64247 markings, 10767091 edges, 62 markings/sec, 1405 secs
lola: STP completed || 1 tries, 49767 fired transitions, 1410 secs || 64558 markings, 10817947 edges, 62 markings/sec, 1410 secs
lola: STP completed || 1 tries, 49934 fired transitions, 1415 secs || 64931 markings, 10867818 edges, 75 markings/sec, 1415 secs
lola: STP completed || 1 tries, 50113 fired transitions, 1420 secs || 65283 markings, 10920006 edges, 70 markings/sec, 1420 secs
lola: STP completed || 1 tries, 50285 fired transitions, 1425 secs || 65699 markings, 10969596 edges, 83 markings/sec, 1425 secs
lola: STP completed || 1 tries, 50473 fired transitions, 1430 secs || 66019 markings, 11020143 edges, 64 markings/sec, 1430 secs
lola: STP completed || 1 tries, 50642 fired transitions, 1435 secs || 66357 markings, 11072593 edges, 68 markings/sec, 1435 secs
lola: STP completed || 1 tries, 50825 fired transitions, 1440 secs || 66651 markings, 11124909 edges, 59 markings/sec, 1440 secs
lola: STP completed || 1 tries, 50976 fired transitions, 1445 secs || 66999 markings, 11175158 edges, 70 markings/sec, 1445 secs
lola: STP completed || 1 tries, 51147 fired transitions, 1450 secs || 67374 markings, 11225266 edges, 75 markings/sec, 1450 secs
lola: STP completed || 1 tries, 51332 fired transitions, 1455 secs || 67737 markings, 11279215 edges, 73 markings/sec, 1455 secs
lola: STP completed || 1 tries, 51522 fired transitions, 1460 secs || 68164 markings, 11331107 edges, 85 markings/sec, 1460 secs
lola: STP completed || 1 tries, 51705 fired transitions, 1465 secs || 68488 markings, 11383578 edges, 65 markings/sec, 1465 secs
lola: STP completed || 1 tries, 51880 fired transitions, 1470 secs || 68859 markings, 11433417 edges, 74 markings/sec, 1470 secs
lola: STP completed || 1 tries, 52068 fired transitions, 1475 secs || 69213 markings, 11485651 edges, 71 markings/sec, 1475 secs
lola: STP completed || 1 tries, 52250 fired transitions, 1480 secs || 69629 markings, 11535104 edges, 83 markings/sec, 1480 secs
lola: STP completed || 1 tries, 52430 fired transitions, 1485 secs || 69918 markings, 11584232 edges, 58 markings/sec, 1485 secs
lola: STP completed || 1 tries, 52594 fired transitions, 1490 secs || 70256 markings, 11630339 edges, 68 markings/sec, 1490 secs
lola: STP completed || 1 tries, 52783 fired transitions, 1495 secs || 70464 markings, 11678536 edges, 42 markings/sec, 1495 secs
lola: STP completed || 1 tries, 52966 fired transitions, 1500 secs || 70680 markings, 11727431 edges, 43 markings/sec, 1500 secs
lola: STP completed || 1 tries, 53160 fired transitions, 1505 secs || 70880 markings, 11777379 edges, 40 markings/sec, 1505 secs
lola: STP completed || 1 tries, 53340 fired transitions, 1510 secs || 71059 markings, 11825622 edges, 36 markings/sec, 1510 secs
lola: STP completed || 1 tries, 53523 fired transitions, 1515 secs || 71254 markings, 11875554 edges, 39 markings/sec, 1515 secs
lola: STP completed || 1 tries, 53695 fired transitions, 1520 secs || 71491 markings, 11924581 edges, 47 markings/sec, 1520 secs
lola: STP completed || 1 tries, 53857 fired transitions, 1525 secs || 71745 markings, 11975429 edges, 51 markings/sec, 1525 secs
lola: STP completed || 1 tries, 54040 fired transitions, 1530 secs || 71966 markings, 12026073 edges, 44 markings/sec, 1530 secs
lola: STP completed || 1 tries, 54210 fired transitions, 1535 secs || 72289 markings, 12074804 edges, 65 markings/sec, 1535 secs
lola: STP completed || 1 tries, 54374 fired transitions, 1540 secs || 72476 markings, 12121948 edges, 37 markings/sec, 1540 secs
lola: STP completed || 1 tries, 54531 fired transitions, 1545 secs || 72695 markings, 12171868 edges, 44 markings/sec, 1545 secs
lola: STP completed || 1 tries, 54701 fired transitions, 1550 secs || 72889 markings, 12218684 edges, 39 markings/sec, 1550 secs
lola: STP completed || 1 tries, 54872 fired transitions, 1555 secs || 73079 markings, 12266237 edges, 38 markings/sec, 1555 secs
lola: STP completed || 1 tries, 55047 fired transitions, 1560 secs || 73283 markings, 12313772 edges, 41 markings/sec, 1560 secs
lola: STP completed || 1 tries, 55215 fired transitions, 1565 secs || 73491 markings, 12360842 edges, 42 markings/sec, 1565 secs
lola: STP completed || 1 tries, 55386 fired transitions, 1570 secs || 73694 markings, 12408264 edges, 41 markings/sec, 1570 secs
lola: STP completed || 1 tries, 55565 fired transitions, 1575 secs || 73876 markings, 12455732 edges, 36 markings/sec, 1575 secs
lola: STP completed || 1 tries, 55743 fired transitions, 1580 secs || 74088 markings, 12505331 edges, 42 markings/sec, 1580 secs
lola: STP completed || 1 tries, 55925 fired transitions, 1585 secs || 74278 markings, 12551892 edges, 38 markings/sec, 1585 secs
lola: STP completed || 1 tries, 56113 fired transitions, 1590 secs || 74488 markings, 12600626 edges, 42 markings/sec, 1590 secs
lola: STP completed || 1 tries, 56282 fired transitions, 1595 secs || 74698 markings, 12648722 edges, 42 markings/sec, 1595 secs
lola: STP completed || 1 tries, 56464 fired transitions, 1600 secs || 74882 markings, 12696896 edges, 37 markings/sec, 1600 secs
lola: STP completed || 1 tries, 56635 fired transitions, 1605 secs || 75099 markings, 12745679 edges, 43 markings/sec, 1605 secs
lola: STP completed || 1 tries, 56802 fired transitions, 1610 secs || 75276 markings, 12790799 edges, 35 markings/sec, 1610 secs
lola: STP completed || 1 tries, 56963 fired transitions, 1615 secs || 75455 markings, 12839390 edges, 36 markings/sec, 1615 secs
lola: STP completed || 1 tries, 57143 fired transitions, 1620 secs || 75631 markings, 12886359 edges, 35 markings/sec, 1620 secs
lola: STP completed || 1 tries, 57308 fired transitions, 1625 secs || 75802 markings, 12932533 edges, 34 markings/sec, 1625 secs
lola: STP completed || 1 tries, 57471 fired transitions, 1630 secs || 75969 markings, 12978374 edges, 33 markings/sec, 1630 secs
lola: STP completed || 1 tries, 57641 fired transitions, 1635 secs || 76139 markings, 13024438 edges, 34 markings/sec, 1635 secs
lola: STP completed || 1 tries, 57808 fired transitions, 1640 secs || 76317 markings, 13071972 edges, 36 markings/sec, 1640 secs
lola: STP completed || 1 tries, 57969 fired transitions, 1645 secs || 76491 markings, 13119433 edges, 35 markings/sec, 1645 secs
lola: STP completed || 1 tries, 58133 fired transitions, 1650 secs || 76666 markings, 13166833 edges, 35 markings/sec, 1650 secs
lola: STP completed || 1 tries, 58301 fired transitions, 1655 secs || 76843 markings, 13214841 edges, 35 markings/sec, 1655 secs
lola: STP completed || 1 tries, 58475 fired transitions, 1660 secs || 77017 markings, 13261331 edges, 35 markings/sec, 1660 secs
lola: STP completed || 1 tries, 58641 fired transitions, 1665 secs || 77188 markings, 13307591 edges, 34 markings/sec, 1665 secs
lola: STP completed || 1 tries, 58817 fired transitions, 1670 secs || 77355 markings, 13353631 edges, 33 markings/sec, 1670 secs
lola: STP completed || 1 tries, 58984 fired transitions, 1675 secs || 77524 markings, 13399311 edges, 34 markings/sec, 1675 secs
lola: STP completed || 1 tries, 59150 fired transitions, 1680 secs || 77694 markings, 13445458 edges, 34 markings/sec, 1680 secs
lola: STP completed || 1 tries, 59322 fired transitions, 1685 secs || 77864 markings, 13490640 edges, 34 markings/sec, 1685 secs
lola: STP completed || 1 tries, 59494 fired transitions, 1690 secs || 78031 markings, 13536170 edges, 33 markings/sec, 1690 secs
lola: STP completed || 1 tries, 59663 fired transitions, 1695 secs || 78200 markings, 13582337 edges, 34 markings/sec, 1695 secs
lola: STP completed || 1 tries, 59852 fired transitions, 1700 secs || 78369 markings, 13627998 edges, 34 markings/sec, 1700 secs
lola: STP completed || 1 tries, 60025 fired transitions, 1705 secs || 78539 markings, 13673918 edges, 34 markings/sec, 1705 secs
lola: STP completed || 1 tries, 60203 fired transitions, 1710 secs || 78712 markings, 13719952 edges, 35 markings/sec, 1710 secs
lola: STP completed || 1 tries, 60384 fired transitions, 1715 secs || 78880 markings, 13765803 edges, 34 markings/sec, 1715 secs
lola: STP completed || 1 tries, 60560 fired transitions, 1720 secs || 79047 markings, 13811283 edges, 33 markings/sec, 1720 secs
lola: STP completed || 1 tries, 60729 fired transitions, 1725 secs || 79217 markings, 13856963 edges, 34 markings/sec, 1725 secs
lola: STP completed || 1 tries, 60910 fired transitions, 1730 secs || 79386 markings, 13902570 edges, 34 markings/sec, 1730 secs
lola: STP completed || 1 tries, 61083 fired transitions, 1735 secs || 79662 markings, 13952166 edges, 55 markings/sec, 1735 secs
lola: STP completed || 1 tries, 61253 fired transitions, 1740 secs || 79915 markings, 14001077 edges, 51 markings/sec, 1740 secs
lola: STP completed || 1 tries, 61416 fired transitions, 1745 secs || 80122 markings, 14050612 edges, 41 markings/sec, 1745 secs
lola: STP completed || 1 tries, 61582 fired transitions, 1750 secs || 80315 markings, 14098217 edges, 39 markings/sec, 1750 secs
lola: STP completed || 1 tries, 61756 fired transitions, 1755 secs || 80498 markings, 14146097 edges, 37 markings/sec, 1755 secs
lola: STP completed || 1 tries, 61915 fired transitions, 1760 secs || 80689 markings, 14193186 edges, 38 markings/sec, 1760 secs
lola: STP completed || 1 tries, 62086 fired transitions, 1765 secs || 80890 markings, 14243383 edges, 40 markings/sec, 1765 secs
lola: STP completed || 1 tries, 62243 fired transitions, 1770 secs || 81112 markings, 14293643 edges, 44 markings/sec, 1770 secs
lola: STP completed || 1 tries, 62418 fired transitions, 1775 secs || 81311 markings, 14344152 edges, 40 markings/sec, 1775 secs
lola: STP completed || 1 tries, 62587 fired transitions, 1780 secs || 81502 markings, 14393576 edges, 38 markings/sec, 1780 secs
lola: STP completed || 1 tries, 62760 fired transitions, 1785 secs || 81703 markings, 14443591 edges, 40 markings/sec, 1785 secs
lola: STP completed || 1 tries, 62929 fired transitions, 1790 secs || 81935 markings, 14494929 edges, 46 markings/sec, 1790 secs
lola: STP completed || 1 tries, 63104 fired transitions, 1795 secs || 82126 markings, 14544984 edges, 38 markings/sec, 1795 secs
lola: STP completed || 1 tries, 63288 fired transitions, 1800 secs || 82319 markings, 14593416 edges, 39 markings/sec, 1800 secs
lola: STP completed || 1 tries, 63462 fired transitions, 1805 secs || 82503 markings, 14640823 edges, 37 markings/sec, 1805 secs
lola: STP completed || 1 tries, 63631 fired transitions, 1810 secs || 82721 markings, 14691794 edges, 44 markings/sec, 1810 secs
lola: STP completed || 1 tries, 63810 fired transitions, 1815 secs || 82946 markings, 14740510 edges, 45 markings/sec, 1815 secs
lola: STP completed || 1 tries, 63971 fired transitions, 1820 secs || 83271 markings, 14791468 edges, 65 markings/sec, 1820 secs
lola: STP completed || 1 tries, 64152 fired transitions, 1825 secs || 83540 markings, 14842638 edges, 54 markings/sec, 1825 secs
lola: STP completed || 1 tries, 64327 fired transitions, 1830 secs || 83816 markings, 14894801 edges, 55 markings/sec, 1830 secs
lola: STP completed || 1 tries, 64511 fired transitions, 1835 secs || 83953 markings, 14940460 edges, 27 markings/sec, 1835 secs
lola: STP completed || 1 tries, 64686 fired transitions, 1840 secs || 84260 markings, 14991524 edges, 61 markings/sec, 1840 secs
lola: STP completed || 1 tries, 64852 fired transitions, 1845 secs || 84586 markings, 15042313 edges, 65 markings/sec, 1845 secs
lola: STP completed || 1 tries, 65030 fired transitions, 1850 secs || 84897 markings, 15092570 edges, 62 markings/sec, 1850 secs
lola: STP completed || 1 tries, 65206 fired transitions, 1855 secs || 85246 markings, 15142793 edges, 70 markings/sec, 1855 secs
lola: STP completed || 1 tries, 65381 fired transitions, 1860 secs || 85604 markings, 15191575 edges, 72 markings/sec, 1860 secs
lola: STP completed || 1 tries, 65558 fired transitions, 1865 secs || 85968 markings, 15243187 edges, 73 markings/sec, 1865 secs
lola: STP completed || 1 tries, 65720 fired transitions, 1870 secs || 86269 markings, 15293058 edges, 60 markings/sec, 1870 secs
lola: STP completed || 1 tries, 65879 fired transitions, 1875 secs || 86605 markings, 15344020 edges, 67 markings/sec, 1875 secs
lola: STP completed || 1 tries, 66052 fired transitions, 1880 secs || 86943 markings, 15393752 edges, 68 markings/sec, 1880 secs
lola: STP completed || 1 tries, 66222 fired transitions, 1885 secs || 87266 markings, 15444706 edges, 65 markings/sec, 1885 secs
lola: STP completed || 1 tries, 66394 fired transitions, 1890 secs || 87612 markings, 15493500 edges, 69 markings/sec, 1890 secs
lola: STP completed || 1 tries, 66579 fired transitions, 1895 secs || 87925 markings, 15545968 edges, 63 markings/sec, 1895 secs
lola: STP completed || 1 tries, 66765 fired transitions, 1900 secs || 88250 markings, 15596671 edges, 65 markings/sec, 1900 secs
lola: STP completed || 1 tries, 66942 fired transitions, 1905 secs || 88550 markings, 15648622 edges, 60 markings/sec, 1905 secs
lola: STP completed || 1 tries, 67136 fired transitions, 1910 secs || 88888 markings, 15697430 edges, 68 markings/sec, 1910 secs
lola: STP completed || 1 tries, 67324 fired transitions, 1915 secs || 89214 markings, 15750049 edges, 65 markings/sec, 1915 secs
lola: STP completed || 1 tries, 67506 fired transitions, 1920 secs || 89550 markings, 15801125 edges, 67 markings/sec, 1920 secs
lola: STP completed || 1 tries, 67688 fired transitions, 1925 secs || 89887 markings, 15852539 edges, 67 markings/sec, 1925 secs
lola: STP completed || 1 tries, 67875 fired transitions, 1930 secs || 90213 markings, 15903947 edges, 65 markings/sec, 1930 secs
lola: STP completed || 1 tries, 68055 fired transitions, 1935 secs || 90521 markings, 15951953 edges, 62 markings/sec, 1935 secs
lola: STP completed || 1 tries, 68219 fired transitions, 1940 secs || 90843 markings, 16003097 edges, 64 markings/sec, 1940 secs
lola: STP completed || 1 tries, 68388 fired transitions, 1945 secs || 91183 markings, 16050914 edges, 68 markings/sec, 1945 secs
lola: STP completed || 1 tries, 68550 fired transitions, 1950 secs || 91494 markings, 16103240 edges, 62 markings/sec, 1950 secs
lola: STP completed || 1 tries, 68736 fired transitions, 1955 secs || 91787 markings, 16153679 edges, 59 markings/sec, 1955 secs
lola: STP completed || 1 tries, 68910 fired transitions, 1960 secs || 92097 markings, 16203273 edges, 62 markings/sec, 1960 secs
lola: STP completed || 1 tries, 69084 fired transitions, 1965 secs || 92420 markings, 16254991 edges, 65 markings/sec, 1965 secs
lola: STP completed || 1 tries, 69269 fired transitions, 1970 secs || 92743 markings, 16307019 edges, 65 markings/sec, 1970 secs
lola: STP completed || 1 tries, 69449 fired transitions, 1975 secs || 93072 markings, 16358539 edges, 66 markings/sec, 1975 secs
lola: STP completed || 1 tries, 69625 fired transitions, 1980 secs || 93324 markings, 16407624 edges, 50 markings/sec, 1980 secs
lola: STP completed || 1 tries, 69797 fired transitions, 1985 secs || 93498 markings, 16455031 edges, 35 markings/sec, 1985 secs
lola: STP completed || 1 tries, 69973 fired transitions, 1990 secs || 93675 markings, 16503093 edges, 35 markings/sec, 1990 secs
lola: STP completed || 1 tries, 70147 fired transitions, 1995 secs || 93851 markings, 16550615 edges, 35 markings/sec, 1995 secs
lola: STP completed || 1 tries, 70323 fired transitions, 2000 secs || 94027 markings, 16598619 edges, 35 markings/sec, 2000 secs
lola: STP completed || 1 tries, 70500 fired transitions, 2005 secs || 94205 markings, 16646398 edges, 36 markings/sec, 2005 secs
lola: STP completed || 1 tries, 70677 fired transitions, 2010 secs || 94384 markings, 16694338 edges, 36 markings/sec, 2010 secs
lola: STP completed || 1 tries, 70849 fired transitions, 2015 secs || 94559 markings, 16742372 edges, 35 markings/sec, 2015 secs
lola: STP completed || 1 tries, 71018 fired transitions, 2020 secs || 94729 markings, 16788365 edges, 34 markings/sec, 2020 secs
lola: STP completed || 1 tries, 71190 fired transitions, 2025 secs || 94895 markings, 16833498 edges, 33 markings/sec, 2025 secs
lola: STP completed || 1 tries, 71366 fired transitions, 2030 secs || 95071 markings, 16880945 edges, 35 markings/sec, 2030 secs
lola: STP completed || 1 tries, 71548 fired transitions, 2035 secs || 95254 markings, 16929609 edges, 37 markings/sec, 2035 secs
lola: STP completed || 1 tries, 71731 fired transitions, 2040 secs || 95431 markings, 16978557 edges, 35 markings/sec, 2040 secs
lola: STP completed || 1 tries, 71920 fired transitions, 2045 secs || 95612 markings, 17027503 edges, 36 markings/sec, 2045 secs
lola: STP completed || 1 tries, 72094 fired transitions, 2050 secs || 95781 markings, 17073350 edges, 34 markings/sec, 2050 secs
lola: STP completed || 1 tries, 72266 fired transitions, 2055 secs || 95950 markings, 17119012 edges, 34 markings/sec, 2055 secs
lola: STP completed || 1 tries, 72441 fired transitions, 2060 secs || 96128 markings, 17166517 edges, 36 markings/sec, 2060 secs
lola: STP completed || 1 tries, 72628 fired transitions, 2065 secs || 96306 markings, 17215724 edges, 36 markings/sec, 2065 secs
lola: STP completed || 1 tries, 72809 fired transitions, 2070 secs || 96488 markings, 17264572 edges, 36 markings/sec, 2070 secs
lola: STP completed || 1 tries, 72995 fired transitions, 2075 secs || 96669 markings, 17312864 edges, 36 markings/sec, 2075 secs
lola: STP completed || 1 tries, 73182 fired transitions, 2080 secs || 96843 markings, 17359930 edges, 35 markings/sec, 2080 secs
lola: STP completed || 1 tries, 73372 fired transitions, 2085 secs || 97023 markings, 17409247 edges, 36 markings/sec, 2085 secs
lola: STP completed || 1 tries, 73568 fired transitions, 2090 secs || 97205 markings, 17457812 edges, 36 markings/sec, 2090 secs
lola: STP completed || 1 tries, 73742 fired transitions, 2095 secs || 97384 markings, 17506330 edges, 36 markings/sec, 2095 secs
lola: STP completed || 1 tries, 73921 fired transitions, 2100 secs || 97564 markings, 17555700 edges, 36 markings/sec, 2100 secs
lola: STP completed || 1 tries, 74099 fired transitions, 2105 secs || 97744 markings, 17604550 edges, 36 markings/sec, 2105 secs
lola: STP completed || 1 tries, 74286 fired transitions, 2110 secs || 97927 markings, 17653240 edges, 37 markings/sec, 2110 secs
lola: STP completed || 1 tries, 74470 fired transitions, 2115 secs || 98106 markings, 17701475 edges, 36 markings/sec, 2115 secs
lola: STP completed || 1 tries, 74648 fired transitions, 2120 secs || 98282 markings, 17750438 edges, 35 markings/sec, 2120 secs
lola: STP completed || 1 tries, 74827 fired transitions, 2125 secs || 98464 markings, 17799160 edges, 36 markings/sec, 2125 secs
lola: STP completed || 1 tries, 75003 fired transitions, 2130 secs || 98645 markings, 17847459 edges, 36 markings/sec, 2130 secs
lola: STP completed || 1 tries, 75178 fired transitions, 2135 secs || 98823 markings, 17896848 edges, 36 markings/sec, 2135 secs
lola: STP completed || 1 tries, 75363 fired transitions, 2140 secs || 99001 markings, 17944288 edges, 36 markings/sec, 2140 secs
lola: STP completed || 1 tries, 75556 fired transitions, 2145 secs || 99179 markings, 17992784 edges, 36 markings/sec, 2145 secs
lola: STP completed || 1 tries, 75752 fired transitions, 2150 secs || 99362 markings, 18041795 edges, 37 markings/sec, 2150 secs
lola: STP completed || 1 tries, 75939 fired transitions, 2155 secs || 99540 markings, 18090293 edges, 36 markings/sec, 2155 secs
lola: STP completed || 1 tries, 76130 fired transitions, 2160 secs || 99854 markings, 18144892 edges, 63 markings/sec, 2160 secs
lola: STP completed || 1 tries, 76318 fired transitions, 2165 secs || 100257 markings, 18197848 edges, 81 markings/sec, 2165 secs
lola: STP completed || 1 tries, 76502 fired transitions, 2170 secs || 100660 markings, 18251280 edges, 81 markings/sec, 2170 secs
lola: STP completed || 1 tries, 76685 fired transitions, 2175 secs || 101031 markings, 18302237 edges, 74 markings/sec, 2175 secs
lola: STP completed || 1 tries, 76863 fired transitions, 2180 secs || 101387 markings, 18352005 edges, 71 markings/sec, 2180 secs
lola: STP completed || 1 tries, 77051 fired transitions, 2185 secs || 101715 markings, 18404310 edges, 66 markings/sec, 2185 secs
lola: STP completed || 1 tries, 77236 fired transitions, 2190 secs || 102021 markings, 18456774 edges, 61 markings/sec, 2190 secs
lola: STP completed || 1 tries, 77412 fired transitions, 2195 secs || 102350 markings, 18507931 edges, 66 markings/sec, 2195 secs
lola: STP completed || 1 tries, 77588 fired transitions, 2200 secs || 102643 markings, 18559778 edges, 59 markings/sec, 2200 secs
lola: STP completed || 1 tries, 77765 fired transitions, 2205 secs || 102997 markings, 18611344 edges, 71 markings/sec, 2205 secs
lola: STP completed || 1 tries, 77940 fired transitions, 2210 secs || 103373 markings, 18659275 edges, 75 markings/sec, 2210 secs
lola: STP completed || 1 tries, 78115 fired transitions, 2215 secs || 103687 markings, 18707733 edges, 63 markings/sec, 2215 secs
lola: STP completed || 1 tries, 78290 fired transitions, 2220 secs || 104029 markings, 18755486 edges, 68 markings/sec, 2220 secs
lola: STP completed || 1 tries, 78456 fired transitions, 2225 secs || 104353 markings, 18805655 edges, 65 markings/sec, 2225 secs
lola: STP completed || 1 tries, 78643 fired transitions, 2230 secs || 104686 markings, 18856404 edges, 67 markings/sec, 2230 secs
lola: STP completed || 1 tries, 78820 fired transitions, 2235 secs || 105057 markings, 18908291 edges, 74 markings/sec, 2235 secs
lola: STP completed || 1 tries, 78999 fired transitions, 2240 secs || 105268 markings, 18959174 edges, 42 markings/sec, 2240 secs
lola: STP completed || 1 tries, 79180 fired transitions, 2245 secs || 105458 markings, 19009444 edges, 38 markings/sec, 2245 secs
lola: STP completed || 1 tries, 79358 fired transitions, 2250 secs || 105757 markings, 19062188 edges, 60 markings/sec, 2250 secs
lola: STP completed || 1 tries, 79539 fired transitions, 2255 secs || 106048 markings, 19115622 edges, 58 markings/sec, 2255 secs
lola: STP completed || 1 tries, 79720 fired transitions, 2260 secs || 106262 markings, 19165875 edges, 43 markings/sec, 2260 secs
lola: STP completed || 1 tries, 79901 fired transitions, 2265 secs || 106484 markings, 19217105 edges, 44 markings/sec, 2265 secs
lola: STP completed || 1 tries, 80082 fired transitions, 2270 secs || 106734 markings, 19268569 edges, 50 markings/sec, 2270 secs
lola: STP completed || 1 tries, 80272 fired transitions, 2275 secs || 106923 markings, 19318612 edges, 38 markings/sec, 2275 secs
lola: STP completed || 1 tries, 80459 fired transitions, 2280 secs || 107132 markings, 19370279 edges, 42 markings/sec, 2280 secs
lola: STP completed || 1 tries, 80643 fired transitions, 2285 secs || 107470 markings, 19421812 edges, 68 markings/sec, 2285 secs
lola: STP completed || 1 tries, 80834 fired transitions, 2290 secs || 107808 markings, 19474908 edges, 68 markings/sec, 2290 secs
lola: STP completed || 1 tries, 81018 fired transitions, 2295 secs || 108110 markings, 19527411 edges, 60 markings/sec, 2295 secs
lola: STP completed || 1 tries, 81203 fired transitions, 2300 secs || 108453 markings, 19579889 edges, 69 markings/sec, 2300 secs
lola: STP completed || 1 tries, 81381 fired transitions, 2305 secs || 108813 markings, 19630413 edges, 72 markings/sec, 2305 secs
lola: STP completed || 1 tries, 81559 fired transitions, 2310 secs || 109140 markings, 19682838 edges, 65 markings/sec, 2310 secs
lola: STP completed || 1 tries, 81746 fired transitions, 2315 secs || 109423 markings, 19735195 edges, 57 markings/sec, 2315 secs
lola: STP completed || 1 tries, 81937 fired transitions, 2320 secs || 109619 markings, 19786241 edges, 39 markings/sec, 2320 secs
lola: STP completed || 1 tries, 82123 fired transitions, 2325 secs || 109849 markings, 19837879 edges, 46 markings/sec, 2325 secs
lola: STP completed || 1 tries, 82306 fired transitions, 2330 secs || 110053 markings, 19888689 edges, 41 markings/sec, 2330 secs
lola: STP completed || 1 tries, 82480 fired transitions, 2335 secs || 110230 markings, 19938660 edges, 35 markings/sec, 2335 secs
lola: STP completed || 1 tries, 82653 fired transitions, 2340 secs || 110427 markings, 19989736 edges, 39 markings/sec, 2340 secs
lola: STP completed || 1 tries, 82833 fired transitions, 2345 secs || 110659 markings, 20041380 edges, 46 markings/sec, 2345 secs
lola: STP completed || 1 tries, 83008 fired transitions, 2350 secs || 110919 markings, 20090501 edges, 52 markings/sec, 2350 secs
lola: STP completed || 1 tries, 83195 fired transitions, 2355 secs || 111250 markings, 20143133 edges, 66 markings/sec, 2355 secs
lola: STP completed || 1 tries, 83378 fired transitions, 2360 secs || 111605 markings, 20194731 edges, 71 markings/sec, 2360 secs
lola: STP completed || 1 tries, 83555 fired transitions, 2365 secs || 111930 markings, 20248006 edges, 65 markings/sec, 2365 secs
lola: STP completed || 1 tries, 83727 fired transitions, 2370 secs || 112268 markings, 20296157 edges, 68 markings/sec, 2370 secs
lola: STP completed || 1 tries, 83912 fired transitions, 2375 secs || 112629 markings, 20349314 edges, 72 markings/sec, 2375 secs
lola: STP completed || 1 tries, 84096 fired transitions, 2380 secs || 112899 markings, 20399865 edges, 54 markings/sec, 2380 secs
lola: STP completed || 1 tries, 84285 fired transitions, 2385 secs || 113217 markings, 20451747 edges, 64 markings/sec, 2385 secs
lola: STP completed || 1 tries, 84476 fired transitions, 2390 secs || 113518 markings, 20504108 edges, 60 markings/sec, 2390 secs
lola: STP completed || 1 tries, 84674 fired transitions, 2395 secs || 113782 markings, 20556008 edges, 53 markings/sec, 2395 secs
lola: STP completed || 1 tries, 84861 fired transitions, 2400 secs || 113999 markings, 20608173 edges, 43 markings/sec, 2400 secs
lola: STP completed || 1 tries, 85041 fired transitions, 2405 secs || 114214 markings, 20659146 edges, 43 markings/sec, 2405 secs
lola: STP completed || 1 tries, 85194 fired transitions, 2410 secs || 114397 markings, 20707623 edges, 37 markings/sec, 2410 secs
lola: STP completed || 1 tries, 85376 fired transitions, 2415 secs || 114598 markings, 20757896 edges, 40 markings/sec, 2415 secs
lola: STP completed || 1 tries, 85535 fired transitions, 2420 secs || 114745 markings, 20805386 edges, 29 markings/sec, 2420 secs
lola: STP completed || 1 tries, 85712 fired transitions, 2425 secs || 114943 markings, 20855108 edges, 40 markings/sec, 2425 secs
lola: STP completed || 1 tries, 85903 fired transitions, 2430 secs || 115288 markings, 20908488 edges, 69 markings/sec, 2430 secs
lola: STP completed || 1 tries, 86071 fired transitions, 2435 secs || 115642 markings, 20957330 edges, 71 markings/sec, 2435 secs
lola: STP completed || 1 tries, 86255 fired transitions, 2440 secs || 115966 markings, 21008533 edges, 65 markings/sec, 2440 secs
lola: STP completed || 1 tries, 86432 fired transitions, 2445 secs || 116293 markings, 21060274 edges, 65 markings/sec, 2445 secs
lola: STP completed || 1 tries, 86621 fired transitions, 2450 secs || 116643 markings, 21113492 edges, 70 markings/sec, 2450 secs
lola: STP completed || 1 tries, 86787 fired transitions, 2455 secs || 116969 markings, 21162364 edges, 65 markings/sec, 2455 secs
lola: STP completed || 1 tries, 86955 fired transitions, 2460 secs || 117273 markings, 21210858 edges, 61 markings/sec, 2460 secs
lola: STP completed || 1 tries, 87128 fired transitions, 2465 secs || 117604 markings, 21257250 edges, 66 markings/sec, 2465 secs
lola: STP completed || 1 tries, 87285 fired transitions, 2470 secs || 117927 markings, 21305396 edges, 65 markings/sec, 2470 secs
lola: STP completed || 1 tries, 87442 fired transitions, 2475 secs || 118204 markings, 21355232 edges, 55 markings/sec, 2475 secs
lola: STP completed || 1 tries, 87615 fired transitions, 2480 secs || 118511 markings, 21405313 edges, 61 markings/sec, 2480 secs
lola: STP completed || 1 tries, 87785 fired transitions, 2485 secs || 118823 markings, 21456615 edges, 62 markings/sec, 2485 secs
lola: STP completed || 1 tries, 87964 fired transitions, 2490 secs || 119119 markings, 21506533 edges, 59 markings/sec, 2490 secs
lola: STP completed || 1 tries, 88135 fired transitions, 2495 secs || 119441 markings, 21557566 edges, 64 markings/sec, 2495 secs
lola: STP completed || 1 tries, 88316 fired transitions, 2500 secs || 119730 markings, 21608307 edges, 58 markings/sec, 2500 secs
lola: STP completed || 1 tries, 88487 fired transitions, 2505 secs || 120098 markings, 21658272 edges, 74 markings/sec, 2505 secs
lola: STP completed || 1 tries, 88660 fired transitions, 2510 secs || 120425 markings, 21707665 edges, 65 markings/sec, 2510 secs
lola: STP completed || 1 tries, 88835 fired transitions, 2515 secs || 120732 markings, 21759271 edges, 61 markings/sec, 2515 secs
lola: STP completed || 1 tries, 89011 fired transitions, 2520 secs || 120996 markings, 21806851 edges, 53 markings/sec, 2520 secs
lola: STP completed || 1 tries, 89189 fired transitions, 2525 secs || 121268 markings, 21857951 edges, 54 markings/sec, 2525 secs
lola: STP completed || 1 tries, 89366 fired transitions, 2530 secs || 121538 markings, 21907366 edges, 54 markings/sec, 2530 secs
lola: STP completed || 1 tries, 89538 fired transitions, 2535 secs || 121894 markings, 21957791 edges, 71 markings/sec, 2535 secs
lola: STP completed || 1 tries, 89711 fired transitions, 2540 secs || 122325 markings, 22009972 edges, 86 markings/sec, 2540 secs
lola: STP completed || 1 tries, 89893 fired transitions, 2545 secs || 122660 markings, 22061251 edges, 67 markings/sec, 2545 secs
lola: STP completed || 1 tries, 90073 fired transitions, 2550 secs || 122978 markings, 22113829 edges, 64 markings/sec, 2550 secs
lola: STP completed || 1 tries, 90255 fired transitions, 2555 secs || 123324 markings, 22164040 edges, 69 markings/sec, 2555 secs
lola: STP completed || 1 tries, 90427 fired transitions, 2560 secs || 123604 markings, 22214663 edges, 56 markings/sec, 2560 secs
lola: STP completed || 1 tries, 90612 fired transitions, 2565 secs || 123970 markings, 22267563 edges, 73 markings/sec, 2565 secs
lola: STP completed || 1 tries, 90783 fired transitions, 2570 secs || 124371 markings, 22319754 edges, 80 markings/sec, 2570 secs
lola: STP completed || 1 tries, 90947 fired transitions, 2575 secs || 124686 markings, 22369074 edges, 63 markings/sec, 2575 secs
lola: STP completed || 1 tries, 91114 fired transitions, 2580 secs || 124959 markings, 22416172 edges, 55 markings/sec, 2580 secs
lola: STP completed || 1 tries, 91286 fired transitions, 2585 secs || 125283 markings, 22467870 edges, 65 markings/sec, 2585 secs
lola: STP completed || 1 tries, 91467 fired transitions, 2590 secs || 125610 markings, 22519826 edges, 65 markings/sec, 2590 secs
lola: STP completed || 1 tries, 91646 fired transitions, 2595 secs || 125941 markings, 22570979 edges, 66 markings/sec, 2595 secs
lola: STP completed || 1 tries, 91829 fired transitions, 2600 secs || 126264 markings, 22624987 edges, 65 markings/sec, 2600 secs
lola: STP completed || 1 tries, 92012 fired transitions, 2605 secs || 126509 markings, 22672867 edges, 49 markings/sec, 2605 secs
lola: STP completed || 1 tries, 92195 fired transitions, 2610 secs || 126856 markings, 22723371 edges, 69 markings/sec, 2610 secs
lola: STP completed || 1 tries, 92381 fired transitions, 2615 secs || 127199 markings, 22776338 edges, 69 markings/sec, 2615 secs
lola: STP completed || 1 tries, 92564 fired transitions, 2620 secs || 127534 markings, 22828592 edges, 67 markings/sec, 2620 secs
lola: STP completed || 1 tries, 92741 fired transitions, 2625 secs || 127839 markings, 22879907 edges, 61 markings/sec, 2625 secs
lola: STP completed || 1 tries, 92917 fired transitions, 2630 secs || 128122 markings, 22929762 edges, 57 markings/sec, 2630 secs
lola: STP completed || 1 tries, 93092 fired transitions, 2635 secs || 128447 markings, 22979668 edges, 65 markings/sec, 2635 secs
lola: STP completed || 1 tries, 93268 fired transitions, 2640 secs || 128764 markings, 23028817 edges, 63 markings/sec, 2640 secs
lola: STP completed || 1 tries, 93444 fired transitions, 2645 secs || 129107 markings, 23079959 edges, 69 markings/sec, 2645 secs
lola: STP completed || 1 tries, 93608 fired transitions, 2650 secs || 129456 markings, 23131228 edges, 70 markings/sec, 2650 secs
lola: STP completed || 1 tries, 93795 fired transitions, 2655 secs || 129749 markings, 23183397 edges, 59 markings/sec, 2655 secs
lola: STP completed || 1 tries, 93971 fired transitions, 2660 secs || 130055 markings, 23235077 edges, 61 markings/sec, 2660 secs
lola: STP completed || 1 tries, 94156 fired transitions, 2665 secs || 130380 markings, 23287051 edges, 65 markings/sec, 2665 secs
lola: STP completed || 1 tries, 94320 fired transitions, 2670 secs || 130638 markings, 23336245 edges, 52 markings/sec, 2670 secs
lola: STP completed || 1 tries, 94485 fired transitions, 2675 secs || 130908 markings, 23385913 edges, 54 markings/sec, 2675 secs
lola: STP completed || 1 tries, 94645 fired transitions, 2680 secs || 131227 markings, 23437226 edges, 64 markings/sec, 2680 secs
lola: STP completed || 1 tries, 94817 fired transitions, 2685 secs || 131562 markings, 23486096 edges, 67 markings/sec, 2685 secs
lola: STP completed || 1 tries, 94989 fired transitions, 2690 secs || 131892 markings, 23533645 edges, 66 markings/sec, 2690 secs
lola: STP completed || 1 tries, 95148 fired transitions, 2695 secs || 132238 markings, 23583081 edges, 69 markings/sec, 2695 secs
lola: STP completed || 1 tries, 95308 fired transitions, 2700 secs || 132589 markings, 23632301 edges, 70 markings/sec, 2700 secs
lola: STP completed || 1 tries, 95469 fired transitions, 2705 secs || 132940 markings, 23683230 edges, 70 markings/sec, 2705 secs
lola: STP completed || 1 tries, 95631 fired transitions, 2710 secs || 133320 markings, 23731566 edges, 76 markings/sec, 2710 secs
lola: STP completed || 1 tries, 95795 fired transitions, 2715 secs || 133623 markings, 23780754 edges, 61 markings/sec, 2715 secs
lola: STP completed || 1 tries, 95957 fired transitions, 2720 secs || 133925 markings, 23830315 edges, 60 markings/sec, 2720 secs
lola: STP completed || 1 tries, 96125 fired transitions, 2725 secs || 134290 markings, 23876445 edges, 73 markings/sec, 2725 secs
lola: STP completed || 1 tries, 96293 fired transitions, 2730 secs || 134673 markings, 23922834 edges, 77 markings/sec, 2730 secs
lola: STP completed || 1 tries, 96453 fired transitions, 2735 secs || 134988 markings, 23972829 edges, 63 markings/sec, 2735 secs
lola: STP completed || 1 tries, 96629 fired transitions, 2740 secs || 135254 markings, 24022065 edges, 53 markings/sec, 2740 secs
lola: STP completed || 1 tries, 96811 fired transitions, 2745 secs || 135535 markings, 24070456 edges, 56 markings/sec, 2745 secs
lola: STP completed || 1 tries, 96974 fired transitions, 2750 secs || 135854 markings, 24122867 edges, 64 markings/sec, 2750 secs
lola: STP completed || 1 tries, 97145 fired transitions, 2755 secs || 136155 markings, 24170994 edges, 60 markings/sec, 2755 secs
lola: STP completed || 1 tries, 97315 fired transitions, 2760 secs || 136442 markings, 24221524 edges, 57 markings/sec, 2760 secs
lola: STP completed || 1 tries, 97484 fired transitions, 2765 secs || 136758 markings, 24272045 edges, 63 markings/sec, 2765 secs
lola: STP completed || 1 tries, 97649 fired transitions, 2770 secs || 137052 markings, 24322093 edges, 59 markings/sec, 2770 secs
lola: STP completed || 1 tries, 97816 fired transitions, 2775 secs || 137403 markings, 24374407 edges, 70 markings/sec, 2775 secs
lola: STP completed || 1 tries, 98009 fired transitions, 2780 secs || 137769 markings, 24425940 edges, 73 markings/sec, 2780 secs
lola: STP completed || 1 tries, 98196 fired transitions, 2785 secs || 138170 markings, 24479185 edges, 80 markings/sec, 2785 secs
lola: STP completed || 1 tries, 98378 fired transitions, 2790 secs || 138635 markings, 24529253 edges, 93 markings/sec, 2790 secs
lola: STP completed || 1 tries, 98559 fired transitions, 2795 secs || 139018 markings, 24580393 edges, 77 markings/sec, 2795 secs
lola: STP completed || 1 tries, 98730 fired transitions, 2800 secs || 139427 markings, 24630381 edges, 82 markings/sec, 2800 secs
lola: STP completed || 1 tries, 98910 fired transitions, 2805 secs || 139771 markings, 24681240 edges, 69 markings/sec, 2805 secs
lola: STP completed || 1 tries, 99089 fired transitions, 2810 secs || 140069 markings, 24732298 edges, 60 markings/sec, 2810 secs
lola: STP completed || 1 tries, 99265 fired transitions, 2815 secs || 140425 markings, 24782268 edges, 71 markings/sec, 2815 secs
lola: STP completed || 1 tries, 99453 fired transitions, 2820 secs || 140746 markings, 24835380 edges, 64 markings/sec, 2820 secs
lola: STP completed || 1 tries, 99641 fired transitions, 2825 secs || 141079 markings, 24887965 edges, 67 markings/sec, 2825 secs
lola: STP completed || 1 tries, 99812 fired transitions, 2830 secs || 141499 markings, 24938483 edges, 84 markings/sec, 2830 secs
lola: STP completed || 1 tries, 99998 fired transitions, 2835 secs || 141777 markings, 24991569 edges, 56 markings/sec, 2835 secs
lola: STP completed || 1 tries, 100196 fired transitions, 2840 secs || 142152 markings, 25043925 edges, 75 markings/sec, 2840 secs
lola: STP completed || 1 tries, 100381 fired transitions, 2845 secs || 142532 markings, 25096156 edges, 76 markings/sec, 2845 secs
lola: STP completed || 1 tries, 100564 fired transitions, 2850 secs || 142866 markings, 25150302 edges, 67 markings/sec, 2850 secs
lola: STP completed || 1 tries, 100755 fired transitions, 2855 secs || 143236 markings, 25201461 edges, 74 markings/sec, 2855 secs
lola: STP completed || 1 tries, 100946 fired transitions, 2860 secs || 143565 markings, 25248883 edges, 66 markings/sec, 2860 secs
lola: STP completed || 1 tries, 101124 fired transitions, 2865 secs || 143986 markings, 25300788 edges, 84 markings/sec, 2865 secs
lola: STP completed || 1 tries, 101306 fired transitions, 2870 secs || 144342 markings, 25349528 edges, 71 markings/sec, 2870 secs
lola: STP completed || 1 tries, 101497 fired transitions, 2875 secs || 144742 markings, 25401562 edges, 80 markings/sec, 2875 secs
lola: STP completed || 1 tries, 101679 fired transitions, 2880 secs || 145171 markings, 25453797 edges, 86 markings/sec, 2880 secs
lola: STP completed || 1 tries, 101864 fired transitions, 2885 secs || 145536 markings, 25507916 edges, 73 markings/sec, 2885 secs
lola: STP completed || 1 tries, 102041 fired transitions, 2890 secs || 145997 markings, 25556997 edges, 92 markings/sec, 2890 secs
lola: STP completed || 1 tries, 102220 fired transitions, 2895 secs || 146454 markings, 25608727 edges, 91 markings/sec, 2895 secs
lola: STP completed || 1 tries, 102405 fired transitions, 2900 secs || 146797 markings, 25661541 edges, 69 markings/sec, 2900 secs
lola: STP completed || 1 tries, 102600 fired transitions, 2905 secs || 147164 markings, 25716057 edges, 73 markings/sec, 2905 secs
lola: STP completed || 1 tries, 102794 fired transitions, 2910 secs || 147546 markings, 25769586 edges, 76 markings/sec, 2910 secs
lola: STP completed || 1 tries, 102978 fired transitions, 2915 secs || 147973 markings, 25819533 edges, 85 markings/sec, 2915 secs
lola: STP completed || 1 tries, 103168 fired transitions, 2920 secs || 148374 markings, 25870115 edges, 80 markings/sec, 2920 secs
lola: STP completed || 1 tries, 103350 fired transitions, 2925 secs || 148699 markings, 25923117 edges, 65 markings/sec, 2925 secs
lola: STP completed || 1 tries, 103535 fired transitions, 2930 secs || 149036 markings, 25975618 edges, 67 markings/sec, 2930 secs
lola: STP completed || 1 tries, 103711 fired transitions, 2935 secs || 149361 markings, 26026981 edges, 65 markings/sec, 2935 secs
lola: STP completed || 1 tries, 103902 fired transitions, 2940 secs || 149725 markings, 26076694 edges, 73 markings/sec, 2940 secs
lola: STP completed || 1 tries, 104082 fired transitions, 2945 secs || 150036 markings, 26129822 edges, 62 markings/sec, 2945 secs
lola: STP completed || 1 tries, 104264 fired transitions, 2950 secs || 150389 markings, 26182385 edges, 71 markings/sec, 2950 secs
lola: STP completed || 1 tries, 104434 fired transitions, 2955 secs || 150803 markings, 26230167 edges, 83 markings/sec, 2955 secs
lola: STP completed || 1 tries, 104604 fired transitions, 2960 secs || 151211 markings, 26278324 edges, 82 markings/sec, 2960 secs
lola: STP completed || 1 tries, 104790 fired transitions, 2965 secs || 151516 markings, 26329232 edges, 61 markings/sec, 2965 secs
lola: STP completed || 1 tries, 104974 fired transitions, 2970 secs || 151897 markings, 26376606 edges, 76 markings/sec, 2970 secs
lola: STP completed || 1 tries, 105146 fired transitions, 2975 secs || 152194 markings, 26428919 edges, 59 markings/sec, 2975 secs
lola: STP completed || 1 tries, 105327 fired transitions, 2980 secs || 152552 markings, 26480760 edges, 72 markings/sec, 2980 secs
lola: STP completed || 1 tries, 105503 fired transitions, 2985 secs || 152895 markings, 26527923 edges, 69 markings/sec, 2985 secs
lola: STP completed || 1 tries, 105682 fired transitions, 2990 secs || 153240 markings, 26579253 edges, 69 markings/sec, 2990 secs
lola: STP completed || 1 tries, 105845 fired transitions, 2995 secs || 153558 markings, 26630277 edges, 64 markings/sec, 2995 secs
lola: STP completed || 1 tries, 106026 fired transitions, 3000 secs || 153831 markings, 26679974 edges, 55 markings/sec, 3000 secs
lola: STP completed || 1 tries, 106198 fired transitions, 3005 secs || 154152 markings, 26730721 edges, 64 markings/sec, 3005 secs
lola: STP completed || 1 tries, 106376 fired transitions, 3010 secs || 154478 markings, 26782103 edges, 65 markings/sec, 3010 secs
lola: STP completed || 1 tries, 106551 fired transitions, 3015 secs || 154838 markings, 26830206 edges, 72 markings/sec, 3015 secs
lola: STP completed || 1 tries, 106713 fired transitions, 3020 secs || 155131 markings, 26880126 edges, 59 markings/sec, 3020 secs
lola: STP completed || 1 tries, 106873 fired transitions, 3025 secs || 155436 markings, 26929489 edges, 61 markings/sec, 3025 secs
lola: STP completed || 1 tries, 107035 fired transitions, 3030 secs || 155775 markings, 26976806 edges, 68 markings/sec, 3030 secs
lola: STP completed || 1 tries, 107199 fired transitions, 3035 secs || 156066 markings, 27025577 edges, 58 markings/sec, 3035 secs
lola: STP completed || 1 tries, 107367 fired transitions, 3040 secs || 156451 markings, 27071522 edges, 77 markings/sec, 3040 secs
lola: STP completed || 1 tries, 107534 fired transitions, 3045 secs || 156833 markings, 27121281 edges, 76 markings/sec, 3045 secs
lola: STP completed || 1 tries, 107712 fired transitions, 3050 secs || 157145 markings, 27172068 edges, 62 markings/sec, 3050 secs
lola: STP completed || 1 tries, 107881 fired transitions, 3055 secs || 157464 markings, 27219445 edges, 64 markings/sec, 3055 secs
lola: STP completed || 1 tries, 108051 fired transitions, 3060 secs || 157749 markings, 27268283 edges, 57 markings/sec, 3060 secs
lola: STP completed || 1 tries, 108218 fired transitions, 3065 secs || 158084 markings, 27317035 edges, 67 markings/sec, 3065 secs
lola: STP completed || 1 tries, 108383 fired transitions, 3070 secs || 158373 markings, 27366737 edges, 58 markings/sec, 3070 secs
lola: STP completed || 1 tries, 108566 fired transitions, 3075 secs || 158709 markings, 27415782 edges, 67 markings/sec, 3075 secs
lola: STP completed || 1 tries, 108731 fired transitions, 3080 secs || 159039 markings, 27464298 edges, 66 markings/sec, 3080 secs
lola: STP completed || 1 tries, 108906 fired transitions, 3085 secs || 159392 markings, 27514469 edges, 71 markings/sec, 3085 secs
lola: STP completed || 1 tries, 109084 fired transitions, 3090 secs || 159690 markings, 27564989 edges, 60 markings/sec, 3090 secs
lola: STP completed || 1 tries, 109276 fired transitions, 3095 secs || 159987 markings, 27615779 edges, 59 markings/sec, 3095 secs
lola: STP completed || 1 tries, 109461 fired transitions, 3100 secs || 160366 markings, 27665030 edges, 76 markings/sec, 3100 secs
lola: STP completed || 1 tries, 109644 fired transitions, 3105 secs || 160697 markings, 27715305 edges, 66 markings/sec, 3105 secs
lola: STP completed || 1 tries, 109827 fired transitions, 3110 secs || 161121 markings, 27765261 edges, 85 markings/sec, 3110 secs
lola: STP completed || 1 tries, 110003 fired transitions, 3115 secs || 161392 markings, 27817814 edges, 54 markings/sec, 3115 secs
lola: STP completed || 1 tries, 110183 fired transitions, 3120 secs || 161710 markings, 27869384 edges, 64 markings/sec, 3120 secs
lola: STP completed || 1 tries, 110358 fired transitions, 3125 secs || 162094 markings, 27918918 edges, 77 markings/sec, 3125 secs
lola: STP completed || 1 tries, 110531 fired transitions, 3130 secs || 162431 markings, 27967754 edges, 67 markings/sec, 3130 secs
lola: STP completed || 1 tries, 110698 fired transitions, 3135 secs || 162733 markings, 28019042 edges, 60 markings/sec, 3135 secs
lola: STP completed || 1 tries, 110872 fired transitions, 3140 secs || 163054 markings, 28069604 edges, 64 markings/sec, 3140 secs
lola: STP completed || 1 tries, 111045 fired transitions, 3145 secs || 163372 markings, 28118561 edges, 64 markings/sec, 3145 secs
lola: STP completed || 1 tries, 111223 fired transitions, 3150 secs || 163661 markings, 28169604 edges, 58 markings/sec, 3150 secs
lola: STP completed || 1 tries, 111394 fired transitions, 3155 secs || 163942 markings, 28218836 edges, 56 markings/sec, 3155 secs
lola: STP completed || 1 tries, 111562 fired transitions, 3160 secs || 164258 markings, 28266814 edges, 63 markings/sec, 3160 secs
lola: STP completed || 1 tries, 111724 fired transitions, 3165 secs || 164562 markings, 28316140 edges, 61 markings/sec, 3165 secs
lola: STP completed || 1 tries, 111890 fired transitions, 3170 secs || 164904 markings, 28368589 edges, 68 markings/sec, 3170 secs
lola: STP completed || 1 tries, 112057 fired transitions, 3175 secs || 165237 markings, 28419338 edges, 67 markings/sec, 3175 secs
lola: STP completed || 1 tries, 112222 fired transitions, 3180 secs || 165540 markings, 28468793 edges, 61 markings/sec, 3180 secs
lola: STP completed || 1 tries, 112405 fired transitions, 3185 secs || 165885 markings, 28518231 edges, 69 markings/sec, 3185 secs
lola: STP completed || 1 tries, 112591 fired transitions, 3190 secs || 166207 markings, 28568625 edges, 64 markings/sec, 3190 secs
lola: STP completed || 1 tries, 112760 fired transitions, 3195 secs || 166505 markings, 28618497 edges, 60 markings/sec, 3195 secs
lola: STP completed || 1 tries, 112929 fired transitions, 3200 secs || 166797 markings, 28669188 edges, 58 markings/sec, 3200 secs
lola: STP completed || 1 tries, 113107 fired transitions, 3205 secs || 167090 markings, 28720049 edges, 59 markings/sec, 3205 secs
lola: STP completed || 1 tries, 113286 fired transitions, 3210 secs || 167476 markings, 28769109 edges, 77 markings/sec, 3210 secs
lola: STP completed || 1 tries, 113466 fired transitions, 3215 secs || 167837 markings, 28819980 edges, 72 markings/sec, 3215 secs
lola: STP completed || 1 tries, 113652 fired transitions, 3220 secs || 168175 markings, 28869889 edges, 68 markings/sec, 3220 secs
lola: STP completed || 1 tries, 113836 fired transitions, 3225 secs || 168490 markings, 28922087 edges, 63 markings/sec, 3225 secs
lola: STP completed || 1 tries, 114016 fired transitions, 3230 secs || 168856 markings, 28976251 edges, 73 markings/sec, 3230 secs
lola: STP completed || 1 tries, 114182 fired transitions, 3235 secs || 169234 markings, 29026334 edges, 76 markings/sec, 3235 secs
lola: STP completed || 1 tries, 114345 fired transitions, 3240 secs || 169546 markings, 29077513 edges, 62 markings/sec, 3240 secs
lola: STP completed || 1 tries, 114512 fired transitions, 3245 secs || 169832 markings, 29127513 edges, 57 markings/sec, 3245 secs
lola: STP completed || 1 tries, 114685 fired transitions, 3250 secs || 170191 markings, 29178281 edges, 72 markings/sec, 3250 secs
lola: STP completed || 1 tries, 114849 fired transitions, 3255 secs || 170521 markings, 29229324 edges, 66 markings/sec, 3255 secs
lola: STP completed || 1 tries, 115025 fired transitions, 3260 secs || 170850 markings, 29277740 edges, 66 markings/sec, 3260 secs
lola: STP completed || 1 tries, 115202 fired transitions, 3265 secs || 171181 markings, 29328606 edges, 66 markings/sec, 3265 secs
lola: STP completed || 1 tries, 115389 fired transitions, 3270 secs || 171521 markings, 29376461 edges, 68 markings/sec, 3270 secs
lola: STP completed || 1 tries, 115569 fired transitions, 3275 secs || 171856 markings, 29429029 edges, 67 markings/sec, 3275 secs
lola: STP completed || 1 tries, 115763 fired transitions, 3280 secs || 172189 markings, 29482379 edges, 67 markings/sec, 3280 secs
lola: STP completed || 1 tries, 115946 fired transitions, 3285 secs || 172519 markings, 29534228 edges, 66 markings/sec, 3285 secs
lola: STP completed || 1 tries, 116138 fired transitions, 3290 secs || 172894 markings, 29585922 edges, 75 markings/sec, 3290 secs
lola: STP completed || 1 tries, 116316 fired transitions, 3295 secs || 173274 markings, 29640063 edges, 76 markings/sec, 3295 secs
lola: STP completed || 1 tries, 116504 fired transitions, 3300 secs || 173650 markings, 29694211 edges, 75 markings/sec, 3300 secs
lola: STP completed || 1 tries, 116691 fired transitions, 3305 secs || 174104 markings, 29744108 edges, 91 markings/sec, 3305 secs
lola: STP completed || 1 tries, 116881 fired transitions, 3310 secs || 174404 markings, 29794330 edges, 60 markings/sec, 3310 secs
lola: STP completed || 1 tries, 117071 fired transitions, 3315 secs || 174722 markings, 29846851 edges, 64 markings/sec, 3315 secs
lola: STP completed || 1 tries, 117258 fired transitions, 3320 secs || 175042 markings, 29899765 edges, 64 markings/sec, 3320 secs
lola: STP completed || 1 tries, 117447 fired transitions, 3325 secs || 175485 markings, 29950206 edges, 89 markings/sec, 3325 secs
lola: STP completed || 1 tries, 117627 fired transitions, 3330 secs || 175857 markings, 30002154 edges, 74 markings/sec, 3330 secs
lola: STP completed || 1 tries, 117807 fired transitions, 3335 secs || 176208 markings, 30050545 edges, 70 markings/sec, 3335 secs
lola: STP completed || 1 tries, 117985 fired transitions, 3340 secs || 176524 markings, 30102268 edges, 63 markings/sec, 3340 secs
lola: STP completed || 1 tries, 118167 fired transitions, 3345 secs || 176899 markings, 30152016 edges, 75 markings/sec, 3345 secs
lola: STP completed || 1 tries, 118358 fired transitions, 3350 secs || 177227 markings, 30202976 edges, 66 markings/sec, 3350 secs
lola: STP completed || 1 tries, 118540 fired transitions, 3355 secs || 177548 markings, 30252377 edges, 64 markings/sec, 3355 secs
lola: STP completed || 1 tries, 118711 fired transitions, 3360 secs || 177871 markings, 30302237 edges, 65 markings/sec, 3360 secs
lola: STP completed || 1 tries, 118876 fired transitions, 3365 secs || 178250 markings, 30349128 edges, 76 markings/sec, 3365 secs
lola: STP completed || 1 tries, 119032 fired transitions, 3370 secs || 178663 markings, 30396920 edges, 83 markings/sec, 3370 secs
lola: STP completed || 1 tries, 119218 fired transitions, 3375 secs || 179010 markings, 30448870 edges, 69 markings/sec, 3375 secs
lola: STP completed || 1 tries, 119391 fired transitions, 3380 secs || 179373 markings, 30501168 edges, 73 markings/sec, 3380 secs
lola: STP completed || 1 tries, 119586 fired transitions, 3385 secs || 179718 markings, 30553541 edges, 69 markings/sec, 3385 secs
lola: STP completed || 1 tries, 119770 fired transitions, 3390 secs || 180070 markings, 30603421 edges, 70 markings/sec, 3390 secs
lola: STP completed || 1 tries, 119958 fired transitions, 3395 secs || 180434 markings, 30655589 edges, 73 markings/sec, 3395 secs
lola: STP completed || 1 tries, 120141 fired transitions, 3400 secs || 180746 markings, 30708298 edges, 62 markings/sec, 3400 secs
lola: STP completed || 1 tries, 120337 fired transitions, 3405 secs || 181076 markings, 30759052 edges, 66 markings/sec, 3405 secs
lola: STP completed || 1 tries, 120522 fired transitions, 3410 secs || 181379 markings, 30809709 edges, 61 markings/sec, 3410 secs
lola: STP completed || 1 tries, 120714 fired transitions, 3415 secs || 181678 markings, 30861810 edges, 60 markings/sec, 3415 secs
lola: STP completed || 1 tries, 120897 fired transitions, 3420 secs || 182046 markings, 30911193 edges, 74 markings/sec, 3420 secs
lola: STP completed || 1 tries, 121096 fired transitions, 3425 secs || 182463 markings, 30962936 edges, 83 markings/sec, 3425 secs
lola: STP completed || 1 tries, 121282 fired transitions, 3430 secs || 182788 markings, 31015995 edges, 65 markings/sec, 3430 secs
lola: STP completed || 1 tries, 121457 fired transitions, 3435 secs || 183182 markings, 31068538 edges, 79 markings/sec, 3435 secs
lola: STP completed || 1 tries, 121642 fired transitions, 3440 secs || 183578 markings, 31122049 edges, 79 markings/sec, 3440 secs
lola: STP completed || 1 tries, 121814 fired transitions, 3445 secs || 183987 markings, 31173347 edges, 82 markings/sec, 3445 secs
lola: STP completed || 1 tries, 121999 fired transitions, 3450 secs || 184446 markings, 31223623 edges, 92 markings/sec, 3450 secs
lola: STP completed || 1 tries, 122181 fired transitions, 3455 secs || 184810 markings, 31275170 edges, 73 markings/sec, 3455 secs
lola: STP completed || 1 tries, 122373 fired transitions, 3460 secs || 185238 markings, 31325841 edges, 86 markings/sec, 3460 secs
lola: STP completed || 1 tries, 122560 fired transitions, 3465 secs || 185562 markings, 31378176 edges, 65 markings/sec, 3465 secs
lola: STP completed || 1 tries, 122732 fired transitions, 3470 secs || 185937 markings, 31430411 edges, 75 markings/sec, 3470 secs
lola: STP completed || 1 tries, 122908 fired transitions, 3475 secs || 186247 markings, 31484113 edges, 62 markings/sec, 3475 secs
lola: STP completed || 1 tries, 123090 fired transitions, 3480 secs || 186571 markings, 31536716 edges, 65 markings/sec, 3480 secs
lola: STP completed || 1 tries, 123277 fired transitions, 3485 secs || 186918 markings, 31590018 edges, 69 markings/sec, 3485 secs
lola: STP completed || 1 tries, 123462 fired transitions, 3490 secs || 187383 markings, 31638324 edges, 93 markings/sec, 3490 secs
lola: STP completed || 1 tries, 123642 fired transitions, 3495 secs || 187675 markings, 31689944 edges, 58 markings/sec, 3495 secs
lola: STP completed || 1 tries, 123811 fired transitions, 3500 secs || 187964 markings, 31740231 edges, 58 markings/sec, 3500 secs
lola: STP completed || 1 tries, 123989 fired transitions, 3505 secs || 188300 markings, 31791660 edges, 67 markings/sec, 3505 secs
lola: STP completed || 1 tries, 124160 fired transitions, 3510 secs || 188656 markings, 31843396 edges, 71 markings/sec, 3510 secs
lola: STP completed || 1 tries, 124333 fired transitions, 3515 secs || 189068 markings, 31892195 edges, 82 markings/sec, 3515 secs
lola: STP completed || 1 tries, 124517 fired transitions, 3520 secs || 189365 markings, 31944099 edges, 59 markings/sec, 3520 secs
lola: STP completed || 1 tries, 124682 fired transitions, 3525 secs || 189645 markings, 31992853 edges, 56 markings/sec, 3525 secs
lola: STP completed || 1 tries, 124852 fired transitions, 3530 secs || 189939 markings, 32043402 edges, 59 markings/sec, 3530 secs
lola: STP completed || 1 tries, 125032 fired transitions, 3535 secs || 190261 markings, 32095357 edges, 64 markings/sec, 3535 secs
lola: STP completed || 1 tries, 125212 fired transitions, 3540 secs || 190594 markings, 32146056 edges, 67 markings/sec, 3540 secs
lola: STP completed || 1 tries, 125388 fired transitions, 3545 secs || 191054 markings, 32191891 edges, 92 markings/sec, 3545 secs
lola: STP completed || 1 tries, 125564 fired transitions, 3550 secs || 191381 markings, 32242446 edges, 65 markings/sec, 3550 secs
lola: STP completed || 1 tries, 125739 fired transitions, 3555 secs || 191750 markings, 32295059 edges, 74 markings/sec, 3555 secs
lola: STP completed || 1 tries, 125907 fired transitions, 3560 secs || 192116 markings, 32347536 edges, 73 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1286712 KB
lola: time consumption: 3569 seconds
BK_STOP 1526740420301
--------------------
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="DLCshifumi-PT-6a"
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/DLCshifumi-PT-6a.tgz
mv DLCshifumi-PT-6a 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 DLCshifumi-PT-6a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400216"
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 ;