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

About the Execution of LoLA for UtahNoC-PT-none

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7506.340 3570702.00 7235101.00 8910.50 [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 372K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 205K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is UtahNoC-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743400419
=====================================================================


--------------------
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 UtahNoC-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527402853364

info: Time: 3600 - MCC
===========================================================================================
prep: translating UtahNoC-PT-none 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 UtahNoC-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ UtahNoC-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1193/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 216
lola: finding significant places
lola: 216 places, 977 transitions, 208 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 979 transition conflict sets
lola: TASK
lola: reading formula from UtahNoC-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 15079 variables and 52889 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 40 generators (30 in search tree, 10 by composition)
lola: representing 5.43582E+09 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 114941 fired transitions, 0 secs || 165272 markings, 541229 edges, 33054 markings/sec, 0 secs
lola: STP completed || 1 tries, 231247 fired transitions, 5 secs || 342732 markings, 1128520 edges, 35492 markings/sec, 5 secs
lola: STP completed || 1 tries, 348022 fired transitions, 10 secs || 524708 markings, 1739207 edges, 36395 markings/sec, 10 secs
lola: STP completed || 1 tries, 463441 fired transitions, 15 secs || 710926 markings, 2355012 edges, 37244 markings/sec, 15 secs
lola: STP completed || 1 tries, 578619 fired transitions, 20 secs || 897498 markings, 2983030 edges, 37314 markings/sec, 20 secs
lola: STP completed || 1 tries, 694425 fired transitions, 25 secs || 1077603 markings, 3585716 edges, 36021 markings/sec, 25 secs
lola: STP completed || 1 tries, 809998 fired transitions, 30 secs || 1260527 markings, 4203005 edges, 36585 markings/sec, 30 secs
lola: STP completed || 1 tries, 925023 fired transitions, 35 secs || 1446083 markings, 4816659 edges, 37111 markings/sec, 35 secs
lola: STP completed || 2 tries, 1041891 fired transitions, 40 secs || 1637216 markings, 5461609 edges, 38227 markings/sec, 40 secs
lola: STP completed || 2 tries, 1158074 fired transitions, 45 secs || 1821323 markings, 6085387 edges, 36821 markings/sec, 45 secs
lola: STP completed || 2 tries, 1273455 fired transitions, 50 secs || 2005382 markings, 6707394 edges, 36812 markings/sec, 50 secs
lola: STP completed || 2 tries, 1388298 fired transitions, 55 secs || 2187600 markings, 7316627 edges, 36444 markings/sec, 55 secs
lola: STP completed || 2 tries, 1503435 fired transitions, 60 secs || 2373620 markings, 7948935 edges, 37204 markings/sec, 60 secs
lola: STP completed || 2 tries, 1620004 fired transitions, 65 secs || 2558204 markings, 8572740 edges, 36917 markings/sec, 65 secs
lola: STP completed || 2 tries, 1736096 fired transitions, 70 secs || 2737643 markings, 9179814 edges, 35888 markings/sec, 70 secs
lola: STP completed || 2 tries, 1851011 fired transitions, 75 secs || 2920620 markings, 9800255 edges, 36595 markings/sec, 75 secs
lola: STP completed || 2 tries, 1968052 fired transitions, 80 secs || 3097894 markings, 10396862 edges, 35455 markings/sec, 80 secs
lola: STP completed || 3 tries, 2085762 fired transitions, 85 secs || 3293107 markings, 11036958 edges, 39043 markings/sec, 85 secs
lola: STP completed || 3 tries, 2200043 fired transitions, 90 secs || 3457767 markings, 11593276 edges, 32932 markings/sec, 90 secs
lola: STP completed || 3 tries, 2315221 fired transitions, 95 secs || 3646239 markings, 12231354 edges, 37694 markings/sec, 95 secs
lola: STP completed || 3 tries, 2428373 fired transitions, 100 secs || 3825642 markings, 12836440 edges, 35881 markings/sec, 100 secs
lola: STP completed || 3 tries, 2542468 fired transitions, 105 secs || 4015159 markings, 13471201 edges, 37903 markings/sec, 105 secs
lola: STP completed || 3 tries, 2654570 fired transitions, 110 secs || 4202874 markings, 14089109 edges, 37543 markings/sec, 110 secs
lola: STP completed || 3 tries, 2768378 fired transitions, 115 secs || 4385933 markings, 14700238 edges, 36612 markings/sec, 115 secs
lola: STP completed || 3 tries, 2882835 fired transitions, 120 secs || 4566897 markings, 15314210 edges, 36193 markings/sec, 120 secs
lola: STP completed || 3 tries, 2995973 fired transitions, 125 secs || 4743053 markings, 15912924 edges, 35231 markings/sec, 125 secs
lola: STP completed || 4 tries, 3109670 fired transitions, 130 secs || 4925284 markings, 16521968 edges, 36446 markings/sec, 130 secs
lola: STP completed || 4 tries, 3224530 fired transitions, 135 secs || 5103281 markings, 17121468 edges, 35599 markings/sec, 135 secs
lola: STP completed || 4 tries, 3338345 fired transitions, 140 secs || 5290359 markings, 17740081 edges, 37416 markings/sec, 140 secs
lola: STP completed || 4 tries, 3453938 fired transitions, 145 secs || 5479383 markings, 18365551 edges, 37805 markings/sec, 145 secs
lola: STP completed || 4 tries, 3567183 fired transitions, 150 secs || 5655702 markings, 18964428 edges, 35264 markings/sec, 150 secs
lola: STP completed || 4 tries, 3680495 fired transitions, 155 secs || 5853145 markings, 19599933 edges, 39489 markings/sec, 155 secs
lola: STP completed || 4 tries, 3793967 fired transitions, 160 secs || 6025541 markings, 20184796 edges, 34479 markings/sec, 160 secs
lola: STP completed || 4 tries, 3908455 fired transitions, 165 secs || 6222593 markings, 20837001 edges, 39410 markings/sec, 165 secs
lola: STP completed || 5 tries, 4022163 fired transitions, 170 secs || 6410791 markings, 21470858 edges, 37640 markings/sec, 170 secs
lola: STP completed || 5 tries, 4137749 fired transitions, 175 secs || 6599291 markings, 22109754 edges, 37700 markings/sec, 175 secs
lola: STP completed || 5 tries, 4253636 fired transitions, 180 secs || 6791263 markings, 22747595 edges, 38394 markings/sec, 180 secs
lola: STP completed || 5 tries, 4371666 fired transitions, 185 secs || 6984579 markings, 23389069 edges, 38663 markings/sec, 185 secs
lola: STP completed || 5 tries, 4488740 fired transitions, 190 secs || 7161416 markings, 23986620 edges, 35367 markings/sec, 190 secs
lola: STP completed || 5 tries, 4606002 fired transitions, 195 secs || 7347313 markings, 24609465 edges, 37179 markings/sec, 195 secs
lola: STP completed || 5 tries, 4722088 fired transitions, 200 secs || 7544004 markings, 25252168 edges, 39338 markings/sec, 200 secs
lola: STP completed || 5 tries, 4837050 fired transitions, 205 secs || 7728988 markings, 25874908 edges, 36997 markings/sec, 205 secs
lola: STP completed || 5 tries, 4954249 fired transitions, 210 secs || 7922245 markings, 26511200 edges, 38651 markings/sec, 210 secs
lola: STP completed || 6 tries, 5071013 fired transitions, 215 secs || 8111795 markings, 27143760 edges, 37910 markings/sec, 215 secs
lola: STP completed || 6 tries, 5186948 fired transitions, 220 secs || 8302303 markings, 27784045 edges, 38102 markings/sec, 220 secs
lola: STP completed || 6 tries, 5303134 fired transitions, 225 secs || 8481649 markings, 28394490 edges, 35869 markings/sec, 225 secs
lola: STP completed || 6 tries, 5419491 fired transitions, 230 secs || 8664755 markings, 29010871 edges, 36621 markings/sec, 230 secs
lola: STP completed || 6 tries, 5536459 fired transitions, 235 secs || 8846882 markings, 29627573 edges, 36425 markings/sec, 235 secs
lola: STP completed || 6 tries, 5654071 fired transitions, 240 secs || 9022302 markings, 30221520 edges, 35084 markings/sec, 240 secs
lola: STP completed || 6 tries, 5770917 fired transitions, 245 secs || 9211834 markings, 30849879 edges, 37906 markings/sec, 245 secs
lola: STP completed || 6 tries, 5886664 fired transitions, 250 secs || 9398145 markings, 31473236 edges, 37262 markings/sec, 250 secs
lola: STP completed || 7 tries, 6003947 fired transitions, 255 secs || 9572179 markings, 32065598 edges, 34807 markings/sec, 255 secs
lola: STP completed || 7 tries, 6118887 fired transitions, 260 secs || 9743830 markings, 32641299 edges, 34330 markings/sec, 260 secs
lola: STP completed || 7 tries, 6234119 fired transitions, 265 secs || 9922292 markings, 33235116 edges, 35692 markings/sec, 265 secs
lola: STP completed || 7 tries, 6349347 fired transitions, 270 secs || 10112767 markings, 33873420 edges, 38095 markings/sec, 270 secs
lola: STP completed || 7 tries, 6467011 fired transitions, 275 secs || 10302687 markings, 34504706 edges, 37984 markings/sec, 275 secs
lola: STP completed || 7 tries, 6581862 fired transitions, 280 secs || 10493050 markings, 35139721 edges, 38073 markings/sec, 280 secs
lola: STP completed || 7 tries, 6698365 fired transitions, 285 secs || 10680413 markings, 35768961 edges, 37473 markings/sec, 285 secs
lola: STP completed || 7 tries, 6813593 fired transitions, 290 secs || 10864465 markings, 36390742 edges, 36810 markings/sec, 290 secs
lola: STP completed || 7 tries, 6929625 fired transitions, 295 secs || 11044409 markings, 36994308 edges, 35989 markings/sec, 295 secs
lola: STP completed || 8 tries, 7045870 fired transitions, 300 secs || 11232568 markings, 37624129 edges, 37632 markings/sec, 300 secs
lola: STP completed || 8 tries, 7162805 fired transitions, 305 secs || 11417695 markings, 38247808 edges, 37025 markings/sec, 305 secs
lola: STP completed || 8 tries, 7280275 fired transitions, 310 secs || 11593690 markings, 38847116 edges, 35199 markings/sec, 310 secs
lola: STP completed || 8 tries, 7395011 fired transitions, 315 secs || 11780647 markings, 39466776 edges, 37391 markings/sec, 315 secs
lola: STP completed || 8 tries, 7511769 fired transitions, 320 secs || 11960770 markings, 40078223 edges, 36025 markings/sec, 320 secs
lola: STP completed || 8 tries, 7628653 fired transitions, 325 secs || 12146735 markings, 40701109 edges, 37193 markings/sec, 325 secs
lola: STP completed || 8 tries, 7743395 fired transitions, 330 secs || 12334301 markings, 41326394 edges, 37513 markings/sec, 330 secs
lola: STP completed || 8 tries, 7860643 fired transitions, 335 secs || 12520457 markings, 41949903 edges, 37231 markings/sec, 335 secs
lola: STP completed || 8 tries, 7976898 fired transitions, 340 secs || 12704166 markings, 42572770 edges, 36742 markings/sec, 340 secs
lola: STP completed || 9 tries, 8095405 fired transitions, 345 secs || 12894117 markings, 43211716 edges, 37990 markings/sec, 345 secs
lola: STP completed || 9 tries, 8213050 fired transitions, 350 secs || 13081248 markings, 43840251 edges, 37426 markings/sec, 350 secs
lola: STP completed || 9 tries, 8328849 fired transitions, 355 secs || 13268540 markings, 44468369 edges, 37458 markings/sec, 355 secs
lola: STP completed || 9 tries, 8446193 fired transitions, 360 secs || 13467715 markings, 45117081 edges, 39835 markings/sec, 360 secs
lola: STP completed || 9 tries, 8562407 fired transitions, 365 secs || 13648255 markings, 45720154 edges, 36108 markings/sec, 365 secs
lola: STP completed || 9 tries, 8679380 fired transitions, 370 secs || 13831966 markings, 46343645 edges, 36742 markings/sec, 370 secs
lola: STP completed || 9 tries, 8797335 fired transitions, 375 secs || 14012490 markings, 46951415 edges, 36105 markings/sec, 375 secs
lola: STP completed || 9 tries, 8912451 fired transitions, 380 secs || 14187669 markings, 47542157 edges, 35036 markings/sec, 380 secs
lola: STP completed || 10 tries, 9030472 fired transitions, 385 secs || 14369905 markings, 48149616 edges, 36447 markings/sec, 385 secs
lola: STP completed || 10 tries, 9144368 fired transitions, 390 secs || 14545884 markings, 48743056 edges, 35196 markings/sec, 390 secs
lola: STP completed || 10 tries, 9258269 fired transitions, 395 secs || 14736013 markings, 49364264 edges, 38026 markings/sec, 395 secs
lola: STP completed || 10 tries, 9372479 fired transitions, 400 secs || 14931105 markings, 50014632 edges, 39018 markings/sec, 400 secs
lola: STP completed || 10 tries, 9489106 fired transitions, 405 secs || 15113087 markings, 50620522 edges, 36396 markings/sec, 405 secs
lola: STP completed || 10 tries, 9605710 fired transitions, 410 secs || 15293616 markings, 51219207 edges, 36106 markings/sec, 410 secs
lola: STP completed || 10 tries, 9720048 fired transitions, 415 secs || 15477329 markings, 51832806 edges, 36743 markings/sec, 415 secs
lola: STP completed || 10 tries, 9836950 fired transitions, 420 secs || 15659915 markings, 52453432 edges, 36517 markings/sec, 420 secs
lola: STP completed || 10 tries, 9953292 fired transitions, 425 secs || 15850622 markings, 53084282 edges, 38141 markings/sec, 425 secs
lola: STP completed || 11 tries, 10070501 fired transitions, 430 secs || 16031066 markings, 53695337 edges, 36089 markings/sec, 430 secs
lola: STP completed || 11 tries, 10187540 fired transitions, 435 secs || 16212168 markings, 54303588 edges, 36220 markings/sec, 435 secs
lola: STP completed || 11 tries, 10303721 fired transitions, 440 secs || 16396470 markings, 54920192 edges, 36860 markings/sec, 440 secs
lola: STP completed || 11 tries, 10421140 fired transitions, 445 secs || 16584250 markings, 55548148 edges, 37556 markings/sec, 445 secs
lola: STP completed || 11 tries, 10537825 fired transitions, 450 secs || 16783818 markings, 56208690 edges, 39914 markings/sec, 450 secs
lola: STP completed || 11 tries, 10654149 fired transitions, 455 secs || 16965592 markings, 56817797 edges, 36355 markings/sec, 455 secs
lola: STP completed || 11 tries, 10771304 fired transitions, 460 secs || 17158983 markings, 57453132 edges, 38678 markings/sec, 460 secs
lola: STP completed || 11 tries, 10888601 fired transitions, 465 secs || 17333806 markings, 58046685 edges, 34965 markings/sec, 465 secs
lola: STP completed || 12 tries, 11006475 fired transitions, 470 secs || 17517620 markings, 58660855 edges, 36763 markings/sec, 470 secs
lola: STP completed || 12 tries, 11124504 fired transitions, 475 secs || 17692580 markings, 59256658 edges, 34992 markings/sec, 475 secs
lola: STP completed || 12 tries, 11242779 fired transitions, 480 secs || 17879086 markings, 59879537 edges, 37301 markings/sec, 480 secs
lola: STP completed || 12 tries, 11358673 fired transitions, 485 secs || 18063942 markings, 60496034 edges, 36971 markings/sec, 485 secs
lola: STP completed || 12 tries, 11475989 fired transitions, 490 secs || 18258706 markings, 61142471 edges, 38953 markings/sec, 490 secs
lola: STP completed || 12 tries, 11593082 fired transitions, 495 secs || 18444236 markings, 61769324 edges, 37106 markings/sec, 495 secs
lola: STP completed || 12 tries, 11709731 fired transitions, 500 secs || 18624144 markings, 62373945 edges, 35982 markings/sec, 500 secs
lola: STP completed || 12 tries, 11825299 fired transitions, 505 secs || 18808398 markings, 62992944 edges, 36851 markings/sec, 505 secs
lola: STP completed || 12 tries, 11941745 fired transitions, 510 secs || 18986104 markings, 63597502 edges, 35541 markings/sec, 510 secs
lola: STP completed || 13 tries, 12059586 fired transitions, 515 secs || 19173874 markings, 64225870 edges, 37554 markings/sec, 515 secs
lola: STP completed || 13 tries, 12176513 fired transitions, 520 secs || 19361718 markings, 64846643 edges, 37569 markings/sec, 520 secs
lola: STP completed || 13 tries, 12291983 fired transitions, 525 secs || 19532686 markings, 65427806 edges, 34194 markings/sec, 525 secs
lola: STP completed || 13 tries, 12408237 fired transitions, 530 secs || 19709140 markings, 66021044 edges, 35291 markings/sec, 530 secs
lola: STP completed || 13 tries, 12522746 fired transitions, 535 secs || 19887949 markings, 66626883 edges, 35762 markings/sec, 535 secs
lola: STP completed || 13 tries, 12638802 fired transitions, 540 secs || 20069804 markings, 67233226 edges, 36371 markings/sec, 540 secs
lola: STP completed || 13 tries, 12755443 fired transitions, 545 secs || 20249342 markings, 67839923 edges, 35908 markings/sec, 545 secs
lola: STP completed || 13 tries, 12871736 fired transitions, 550 secs || 20437524 markings, 68462081 edges, 37636 markings/sec, 550 secs
lola: STP completed || 13 tries, 12987482 fired transitions, 555 secs || 20613539 markings, 69059767 edges, 35203 markings/sec, 555 secs
lola: STP completed || 14 tries, 13104223 fired transitions, 560 secs || 20804244 markings, 69691461 edges, 38141 markings/sec, 560 secs
lola: STP completed || 14 tries, 13221713 fired transitions, 565 secs || 20988091 markings, 70310700 edges, 36769 markings/sec, 565 secs
lola: STP completed || 14 tries, 13338949 fired transitions, 570 secs || 21168413 markings, 70919966 edges, 36064 markings/sec, 570 secs
lola: STP completed || 14 tries, 13454435 fired transitions, 575 secs || 21354073 markings, 71539784 edges, 37132 markings/sec, 575 secs
lola: STP completed || 14 tries, 13570897 fired transitions, 580 secs || 21536750 markings, 72156219 edges, 36535 markings/sec, 580 secs
lola: STP completed || 14 tries, 13688117 fired transitions, 585 secs || 21713278 markings, 72753047 edges, 35306 markings/sec, 585 secs
lola: STP completed || 14 tries, 13804830 fired transitions, 590 secs || 21888145 markings, 73347925 edges, 34973 markings/sec, 590 secs
lola: STP completed || 14 tries, 13920304 fired transitions, 595 secs || 22068029 markings, 73958542 edges, 35977 markings/sec, 595 secs
lola: STP completed || 15 tries, 14037194 fired transitions, 600 secs || 22256869 markings, 74590943 edges, 37768 markings/sec, 600 secs
lola: STP completed || 15 tries, 14152269 fired transitions, 605 secs || 22427178 markings, 75172724 edges, 34062 markings/sec, 605 secs
lola: STP completed || 15 tries, 14268984 fired transitions, 610 secs || 22613043 markings, 75800944 edges, 37173 markings/sec, 610 secs
lola: STP completed || 15 tries, 14385549 fired transitions, 615 secs || 22783926 markings, 76384295 edges, 34177 markings/sec, 615 secs
lola: STP completed || 15 tries, 14502939 fired transitions, 620 secs || 22965181 markings, 77004051 edges, 36251 markings/sec, 620 secs
lola: STP completed || 15 tries, 14620072 fired transitions, 625 secs || 23142822 markings, 77604707 edges, 35528 markings/sec, 625 secs
lola: STP completed || 15 tries, 14738477 fired transitions, 630 secs || 23330724 markings, 78229561 edges, 37580 markings/sec, 630 secs
lola: STP completed || 15 tries, 14847495 fired transitions, 635 secs || 23500258 markings, 78823161 edges, 33907 markings/sec, 635 secs
lola: STP completed || 15 tries, 14960491 fired transitions, 640 secs || 23678338 markings, 79424944 edges, 35616 markings/sec, 640 secs
lola: STP completed || 16 tries, 15073127 fired transitions, 645 secs || 23853957 markings, 80016036 edges, 35124 markings/sec, 645 secs
lola: STP completed || 16 tries, 15187510 fired transitions, 650 secs || 24032435 markings, 80616234 edges, 35696 markings/sec, 650 secs
lola: STP completed || 16 tries, 15301149 fired transitions, 655 secs || 24202719 markings, 81197520 edges, 34057 markings/sec, 655 secs
lola: STP completed || 16 tries, 15414880 fired transitions, 660 secs || 24391785 markings, 81824451 edges, 37813 markings/sec, 660 secs
lola: STP completed || 16 tries, 15526583 fired transitions, 665 secs || 24563832 markings, 82415739 edges, 34409 markings/sec, 665 secs
lola: STP completed || 16 tries, 15638738 fired transitions, 670 secs || 24744305 markings, 83026022 edges, 36095 markings/sec, 670 secs
lola: STP completed || 16 tries, 15751921 fired transitions, 675 secs || 24923523 markings, 83630130 edges, 35844 markings/sec, 675 secs
lola: STP completed || 16 tries, 15865197 fired transitions, 680 secs || 25093785 markings, 84206490 edges, 34052 markings/sec, 680 secs
lola: STP completed || 16 tries, 15977881 fired transitions, 685 secs || 25278326 markings, 84819252 edges, 36908 markings/sec, 685 secs
lola: STP completed || 17 tries, 16090704 fired transitions, 690 secs || 25446046 markings, 85391935 edges, 33544 markings/sec, 690 secs
lola: STP completed || 17 tries, 16202859 fired transitions, 695 secs || 25634575 markings, 86020024 edges, 37706 markings/sec, 695 secs
lola: STP completed || 17 tries, 16316510 fired transitions, 700 secs || 25820195 markings, 86648072 edges, 37124 markings/sec, 700 secs
lola: STP completed || 17 tries, 16428363 fired transitions, 705 secs || 26004883 markings, 87263293 edges, 36938 markings/sec, 705 secs
lola: STP completed || 17 tries, 16541377 fired transitions, 710 secs || 26180236 markings, 87857272 edges, 35071 markings/sec, 710 secs
lola: STP completed || 17 tries, 16656226 fired transitions, 715 secs || 26355765 markings, 88454370 edges, 35106 markings/sec, 715 secs
lola: STP completed || 17 tries, 16768325 fired transitions, 720 secs || 26535963 markings, 89057443 edges, 36040 markings/sec, 720 secs
lola: STP completed || 17 tries, 16881701 fired transitions, 725 secs || 26700458 markings, 89621654 edges, 32899 markings/sec, 725 secs
lola: STP completed || 17 tries, 16991982 fired transitions, 730 secs || 26868716 markings, 90200535 edges, 33652 markings/sec, 730 secs
lola: STP completed || 18 tries, 17103787 fired transitions, 735 secs || 27036711 markings, 90777338 edges, 33599 markings/sec, 735 secs
lola: STP completed || 18 tries, 17216206 fired transitions, 740 secs || 27218510 markings, 91385634 edges, 36360 markings/sec, 740 secs
lola: STP completed || 18 tries, 17333038 fired transitions, 745 secs || 27406754 markings, 92015377 edges, 37649 markings/sec, 745 secs
lola: STP completed || 18 tries, 17450256 fired transitions, 750 secs || 27592973 markings, 92637420 edges, 37244 markings/sec, 750 secs
lola: STP completed || 18 tries, 17566499 fired transitions, 755 secs || 27777317 markings, 93262583 edges, 36869 markings/sec, 755 secs
lola: STP completed || 18 tries, 17684087 fired transitions, 760 secs || 27964176 markings, 93903270 edges, 37372 markings/sec, 760 secs
lola: STP completed || 18 tries, 17800477 fired transitions, 765 secs || 28139800 markings, 94505233 edges, 35125 markings/sec, 765 secs
lola: STP completed || 18 tries, 17917443 fired transitions, 770 secs || 28314858 markings, 95102963 edges, 35012 markings/sec, 770 secs
lola: STP completed || 19 tries, 18034607 fired transitions, 775 secs || 28489818 markings, 95699436 edges, 34992 markings/sec, 775 secs
lola: STP completed || 19 tries, 18150643 fired transitions, 780 secs || 28667551 markings, 96303976 edges, 35547 markings/sec, 780 secs
lola: STP completed || 19 tries, 18266693 fired transitions, 785 secs || 28833320 markings, 96881299 edges, 33154 markings/sec, 785 secs
lola: STP completed || 19 tries, 18382898 fired transitions, 790 secs || 29003226 markings, 97466835 edges, 33981 markings/sec, 790 secs
lola: STP completed || 19 tries, 18499629 fired transitions, 795 secs || 29181919 markings, 98072773 edges, 35739 markings/sec, 795 secs
lola: STP completed || 19 tries, 18615655 fired transitions, 800 secs || 29357439 markings, 98666657 edges, 35104 markings/sec, 800 secs
lola: STP completed || 19 tries, 18730696 fired transitions, 805 secs || 29533746 markings, 99265900 edges, 35261 markings/sec, 805 secs
lola: STP completed || 19 tries, 18847443 fired transitions, 810 secs || 29710245 markings, 99862444 edges, 35300 markings/sec, 810 secs
lola: STP completed || 19 tries, 18963598 fired transitions, 815 secs || 29864900 markings, 100405991 edges, 30931 markings/sec, 815 secs
lola: STP completed || 20 tries, 19079736 fired transitions, 820 secs || 30038600 markings, 100981607 edges, 34740 markings/sec, 820 secs
lola: STP completed || 20 tries, 19195864 fired transitions, 825 secs || 30231935 markings, 101612071 edges, 38667 markings/sec, 825 secs
lola: STP completed || 20 tries, 19310412 fired transitions, 830 secs || 30416991 markings, 102239083 edges, 37011 markings/sec, 830 secs
lola: STP completed || 20 tries, 19426014 fired transitions, 835 secs || 30600282 markings, 102858735 edges, 36658 markings/sec, 835 secs
lola: STP completed || 20 tries, 19544351 fired transitions, 840 secs || 30776323 markings, 103454926 edges, 35208 markings/sec, 840 secs
lola: STP completed || 20 tries, 19659296 fired transitions, 845 secs || 30948312 markings, 104045506 edges, 34398 markings/sec, 845 secs
lola: STP completed || 20 tries, 19776171 fired transitions, 850 secs || 31120924 markings, 104637314 edges, 34522 markings/sec, 850 secs
lola: STP completed || 20 tries, 19892159 fired transitions, 855 secs || 31297212 markings, 105234589 edges, 35258 markings/sec, 855 secs
lola: STP completed || 21 tries, 20009241 fired transitions, 860 secs || 31473035 markings, 105836554 edges, 35165 markings/sec, 860 secs
lola: STP completed || 21 tries, 20125993 fired transitions, 865 secs || 31652294 markings, 106445751 edges, 35852 markings/sec, 865 secs
lola: STP completed || 21 tries, 20241555 fired transitions, 870 secs || 31821728 markings, 107021642 edges, 33887 markings/sec, 870 secs
lola: STP completed || 21 tries, 20358665 fired transitions, 875 secs || 31995805 markings, 107615416 edges, 34815 markings/sec, 875 secs
lola: STP completed || 21 tries, 20474841 fired transitions, 880 secs || 32173464 markings, 108219111 edges, 35532 markings/sec, 880 secs
lola: STP completed || 21 tries, 20592464 fired transitions, 885 secs || 32354126 markings, 108823856 edges, 36132 markings/sec, 885 secs
lola: STP completed || 21 tries, 20708716 fired transitions, 890 secs || 32523630 markings, 109396658 edges, 33901 markings/sec, 890 secs
lola: STP completed || 21 tries, 20825544 fired transitions, 895 secs || 32705698 markings, 109998985 edges, 36414 markings/sec, 895 secs
lola: STP completed || 21 tries, 20941064 fired transitions, 900 secs || 32885705 markings, 110611749 edges, 36001 markings/sec, 900 secs
lola: STP completed || 22 tries, 21057745 fired transitions, 905 secs || 33064476 markings, 111217046 edges, 35754 markings/sec, 905 secs
lola: STP completed || 22 tries, 21174420 fired transitions, 910 secs || 33243665 markings, 111817611 edges, 35838 markings/sec, 910 secs
lola: STP completed || 22 tries, 21290471 fired transitions, 915 secs || 33427448 markings, 112435357 edges, 36757 markings/sec, 915 secs
lola: STP completed || 22 tries, 21407021 fired transitions, 920 secs || 33606320 markings, 113038228 edges, 35774 markings/sec, 920 secs
lola: STP completed || 22 tries, 21523173 fired transitions, 925 secs || 33778858 markings, 113627231 edges, 34508 markings/sec, 925 secs
lola: STP completed || 22 tries, 21639797 fired transitions, 930 secs || 33948744 markings, 114202897 edges, 33977 markings/sec, 930 secs
lola: STP completed || 22 tries, 21756215 fired transitions, 935 secs || 34133297 markings, 114815378 edges, 36911 markings/sec, 935 secs
lola: STP completed || 22 tries, 21872112 fired transitions, 940 secs || 34317425 markings, 115437078 edges, 36826 markings/sec, 940 secs
lola: STP completed || 22 tries, 21991040 fired transitions, 945 secs || 34491570 markings, 116025647 edges, 34829 markings/sec, 945 secs
lola: STP completed || 23 tries, 22108652 fired transitions, 950 secs || 34656637 markings, 116586392 edges, 33013 markings/sec, 950 secs
lola: STP completed || 23 tries, 22225620 fired transitions, 955 secs || 34843128 markings, 117217779 edges, 37298 markings/sec, 955 secs
lola: STP completed || 23 tries, 22342802 fired transitions, 960 secs || 35012819 markings, 117804540 edges, 33938 markings/sec, 960 secs
lola: STP completed || 23 tries, 22458976 fired transitions, 965 secs || 35188223 markings, 118400128 edges, 35081 markings/sec, 965 secs
lola: STP completed || 23 tries, 22574936 fired transitions, 970 secs || 35370198 markings, 119012763 edges, 36395 markings/sec, 970 secs
lola: STP completed || 23 tries, 22691908 fired transitions, 975 secs || 35547690 markings, 119609291 edges, 35498 markings/sec, 975 secs
lola: STP completed || 23 tries, 22809461 fired transitions, 980 secs || 35730888 markings, 120219944 edges, 36640 markings/sec, 980 secs
lola: STP completed || 23 tries, 22925387 fired transitions, 985 secs || 35914206 markings, 120830368 edges, 36664 markings/sec, 985 secs
lola: STP completed || 24 tries, 23042711 fired transitions, 990 secs || 36095772 markings, 121448099 edges, 36313 markings/sec, 990 secs
lola: STP completed || 24 tries, 23158538 fired transitions, 995 secs || 36274588 markings, 122053471 edges, 35763 markings/sec, 995 secs
lola: STP completed || 24 tries, 23275544 fired transitions, 1000 secs || 36448603 markings, 122637605 edges, 34803 markings/sec, 1000 secs
lola: STP completed || 24 tries, 23391611 fired transitions, 1005 secs || 36621758 markings, 123228689 edges, 34631 markings/sec, 1005 secs
lola: STP completed || 24 tries, 23507703 fired transitions, 1010 secs || 36789232 markings, 123804579 edges, 33495 markings/sec, 1010 secs
lola: STP completed || 24 tries, 23623173 fired transitions, 1015 secs || 36968154 markings, 124413497 edges, 35784 markings/sec, 1015 secs
lola: STP completed || 24 tries, 23740394 fired transitions, 1020 secs || 37138884 markings, 124999914 edges, 34146 markings/sec, 1020 secs
lola: STP completed || 24 tries, 23859230 fired transitions, 1025 secs || 37316455 markings, 125605881 edges, 35514 markings/sec, 1025 secs
lola: STP completed || 24 tries, 23976444 fired transitions, 1030 secs || 37485562 markings, 126180477 edges, 33821 markings/sec, 1030 secs
lola: STP completed || 25 tries, 24093767 fired transitions, 1035 secs || 37659938 markings, 126773816 edges, 34875 markings/sec, 1035 secs
lola: STP completed || 25 tries, 24208976 fired transitions, 1040 secs || 37828426 markings, 127354849 edges, 33698 markings/sec, 1040 secs
lola: STP completed || 25 tries, 24326382 fired transitions, 1045 secs || 38005080 markings, 127947739 edges, 35331 markings/sec, 1045 secs
lola: STP completed || 25 tries, 24442341 fired transitions, 1050 secs || 38185271 markings, 128556928 edges, 36038 markings/sec, 1050 secs
lola: STP completed || 25 tries, 24558435 fired transitions, 1055 secs || 38352628 markings, 129125550 edges, 33471 markings/sec, 1055 secs
lola: STP completed || 25 tries, 24673936 fired transitions, 1060 secs || 38519525 markings, 129698680 edges, 33379 markings/sec, 1060 secs
lola: STP completed || 25 tries, 24790875 fired transitions, 1065 secs || 38675904 markings, 130233780 edges, 31276 markings/sec, 1065 secs
lola: STP completed || 25 tries, 24906650 fired transitions, 1070 secs || 38846793 markings, 130817416 edges, 34178 markings/sec, 1070 secs
lola: STP completed || 26 tries, 25020182 fired transitions, 1075 secs || 39008427 markings, 131373009 edges, 32327 markings/sec, 1075 secs
lola: STP completed || 26 tries, 25137348 fired transitions, 1080 secs || 39176541 markings, 131948527 edges, 33623 markings/sec, 1080 secs
lola: STP completed || 26 tries, 25251095 fired transitions, 1085 secs || 39335688 markings, 132497488 edges, 31829 markings/sec, 1085 secs
lola: STP completed || 26 tries, 25366911 fired transitions, 1090 secs || 39501207 markings, 133065441 edges, 33104 markings/sec, 1090 secs
lola: STP completed || 26 tries, 25481789 fired transitions, 1095 secs || 39672453 markings, 133651849 edges, 34249 markings/sec, 1095 secs
lola: STP completed || 26 tries, 25596086 fired transitions, 1100 secs || 39829969 markings, 134187906 edges, 31503 markings/sec, 1100 secs
lola: STP completed || 26 tries, 25711276 fired transitions, 1105 secs || 40001108 markings, 134762346 edges, 34228 markings/sec, 1105 secs
lola: STP completed || 26 tries, 25825820 fired transitions, 1110 secs || 40168692 markings, 135330474 edges, 33517 markings/sec, 1110 secs
lola: STP completed || 26 tries, 25939360 fired transitions, 1115 secs || 40316955 markings, 135859864 edges, 29653 markings/sec, 1115 secs
lola: STP completed || 27 tries, 26053357 fired transitions, 1120 secs || 40471658 markings, 136403516 edges, 30941 markings/sec, 1120 secs
lola: STP completed || 27 tries, 26168434 fired transitions, 1125 secs || 40634989 markings, 136972590 edges, 32666 markings/sec, 1125 secs
lola: STP completed || 27 tries, 26283179 fired transitions, 1130 secs || 40789846 markings, 137503708 edges, 30971 markings/sec, 1130 secs
lola: STP completed || 27 tries, 26397254 fired transitions, 1135 secs || 40956527 markings, 138073844 edges, 33336 markings/sec, 1135 secs
lola: STP completed || 27 tries, 26513141 fired transitions, 1140 secs || 41119675 markings, 138633546 edges, 32630 markings/sec, 1140 secs
lola: STP completed || 27 tries, 26626449 fired transitions, 1145 secs || 41294625 markings, 139218652 edges, 34990 markings/sec, 1145 secs
lola: STP completed || 27 tries, 26740606 fired transitions, 1150 secs || 41472801 markings, 139817507 edges, 35635 markings/sec, 1150 secs
lola: STP completed || 27 tries, 26855482 fired transitions, 1155 secs || 41644347 markings, 140396595 edges, 34309 markings/sec, 1155 secs
lola: STP completed || 27 tries, 26969036 fired transitions, 1160 secs || 41806031 markings, 140954050 edges, 32337 markings/sec, 1160 secs
lola: STP completed || 28 tries, 27084273 fired transitions, 1165 secs || 41976751 markings, 141529923 edges, 34144 markings/sec, 1165 secs
lola: STP completed || 28 tries, 27198663 fired transitions, 1170 secs || 42148544 markings, 142121936 edges, 34359 markings/sec, 1170 secs
lola: STP completed || 28 tries, 27313822 fired transitions, 1175 secs || 42311684 markings, 142676240 edges, 32628 markings/sec, 1175 secs
lola: STP completed || 28 tries, 27430143 fired transitions, 1180 secs || 42466966 markings, 143212332 edges, 31056 markings/sec, 1180 secs
lola: STP completed || 28 tries, 27546657 fired transitions, 1185 secs || 42637680 markings, 143789557 edges, 34143 markings/sec, 1185 secs
lola: STP completed || 28 tries, 27662901 fired transitions, 1190 secs || 42808266 markings, 144374312 edges, 34117 markings/sec, 1190 secs
lola: STP completed || 28 tries, 27779413 fired transitions, 1195 secs || 42985847 markings, 144974608 edges, 35516 markings/sec, 1195 secs
lola: STP completed || 28 tries, 27897305 fired transitions, 1200 secs || 43161962 markings, 145578390 edges, 35223 markings/sec, 1200 secs
lola: STP completed || 29 tries, 28012665 fired transitions, 1205 secs || 43323691 markings, 146136571 edges, 32346 markings/sec, 1205 secs
lola: STP completed || 29 tries, 28123287 fired transitions, 1210 secs || 43483467 markings, 146680384 edges, 31955 markings/sec, 1210 secs
lola: STP completed || 29 tries, 28236826 fired transitions, 1215 secs || 43662016 markings, 147290927 edges, 35710 markings/sec, 1215 secs
lola: STP completed || 29 tries, 28351309 fired transitions, 1220 secs || 43834009 markings, 147877496 edges, 34399 markings/sec, 1220 secs
lola: STP completed || 29 tries, 28464059 fired transitions, 1225 secs || 43993415 markings, 148431906 edges, 31881 markings/sec, 1225 secs
lola: STP completed || 29 tries, 28578315 fired transitions, 1230 secs || 44150924 markings, 148983828 edges, 31502 markings/sec, 1230 secs
lola: STP completed || 29 tries, 28695191 fired transitions, 1235 secs || 44327958 markings, 149575238 edges, 35407 markings/sec, 1235 secs
lola: STP completed || 29 tries, 28810895 fired transitions, 1240 secs || 44507212 markings, 150180136 edges, 35851 markings/sec, 1240 secs
lola: STP completed || 29 tries, 28928340 fired transitions, 1245 secs || 44697743 markings, 150819857 edges, 38106 markings/sec, 1245 secs
lola: STP completed || 30 tries, 29044987 fired transitions, 1250 secs || 44867155 markings, 151400220 edges, 33882 markings/sec, 1250 secs
lola: STP completed || 30 tries, 29160964 fired transitions, 1255 secs || 45036422 markings, 151991176 edges, 33853 markings/sec, 1255 secs
lola: STP completed || 30 tries, 29277136 fired transitions, 1260 secs || 45219650 markings, 152608182 edges, 36646 markings/sec, 1260 secs
lola: STP completed || 30 tries, 29392187 fired transitions, 1265 secs || 45397301 markings, 153207088 edges, 35530 markings/sec, 1265 secs
lola: STP completed || 30 tries, 29510085 fired transitions, 1270 secs || 45567482 markings, 153791494 edges, 34036 markings/sec, 1270 secs
lola: STP completed || 30 tries, 29626597 fired transitions, 1275 secs || 45736438 markings, 154380095 edges, 33791 markings/sec, 1275 secs
lola: STP completed || 30 tries, 29741693 fired transitions, 1280 secs || 45895114 markings, 154932585 edges, 31735 markings/sec, 1280 secs
lola: STP completed || 30 tries, 29857948 fired transitions, 1285 secs || 46061597 markings, 155513972 edges, 33297 markings/sec, 1285 secs
lola: STP completed || 30 tries, 29974601 fired transitions, 1290 secs || 46238664 markings, 156116072 edges, 35413 markings/sec, 1290 secs
lola: STP completed || 31 tries, 30091534 fired transitions, 1295 secs || 46413535 markings, 156717474 edges, 34974 markings/sec, 1295 secs
lola: STP completed || 31 tries, 30207150 fired transitions, 1300 secs || 46579356 markings, 157301661 edges, 33164 markings/sec, 1300 secs
lola: STP completed || 31 tries, 30322558 fired transitions, 1305 secs || 46749947 markings, 157885074 edges, 34118 markings/sec, 1305 secs
lola: STP completed || 31 tries, 30437272 fired transitions, 1310 secs || 46930771 markings, 158490350 edges, 36165 markings/sec, 1310 secs
lola: STP completed || 31 tries, 30555104 fired transitions, 1315 secs || 47107692 markings, 159092552 edges, 35384 markings/sec, 1315 secs
lola: STP completed || 31 tries, 30671804 fired transitions, 1320 secs || 47287407 markings, 159705117 edges, 35943 markings/sec, 1320 secs
lola: STP completed || 31 tries, 30788773 fired transitions, 1325 secs || 47465947 markings, 160317374 edges, 35708 markings/sec, 1325 secs
lola: STP completed || 31 tries, 30905846 fired transitions, 1330 secs || 47642879 markings, 160919727 edges, 35386 markings/sec, 1330 secs
lola: STP completed || 32 tries, 31023169 fired transitions, 1335 secs || 47814495 markings, 161497704 edges, 34323 markings/sec, 1335 secs
lola: STP completed || 32 tries, 31141210 fired transitions, 1340 secs || 47996505 markings, 162111621 edges, 36402 markings/sec, 1340 secs
lola: STP completed || 32 tries, 31257835 fired transitions, 1345 secs || 48162161 markings, 162687064 edges, 33131 markings/sec, 1345 secs
lola: STP completed || 32 tries, 31375113 fired transitions, 1350 secs || 48344317 markings, 163301060 edges, 36431 markings/sec, 1350 secs
lola: STP completed || 32 tries, 31494406 fired transitions, 1355 secs || 48509505 markings, 163882044 edges, 33038 markings/sec, 1355 secs
lola: STP completed || 32 tries, 31610531 fired transitions, 1360 secs || 48689630 markings, 164498635 edges, 36025 markings/sec, 1360 secs
lola: STP completed || 32 tries, 31727605 fired transitions, 1365 secs || 48858749 markings, 165079635 edges, 33824 markings/sec, 1365 secs
lola: STP completed || 32 tries, 31844053 fired transitions, 1370 secs || 49029146 markings, 165667962 edges, 34079 markings/sec, 1370 secs
lola: STP completed || 32 tries, 31960780 fired transitions, 1375 secs || 49201069 markings, 166258446 edges, 34385 markings/sec, 1375 secs
lola: STP completed || 33 tries, 32074794 fired transitions, 1380 secs || 49365286 markings, 166823474 edges, 32843 markings/sec, 1380 secs
lola: STP completed || 33 tries, 32192167 fired transitions, 1385 secs || 49547801 markings, 167437771 edges, 36503 markings/sec, 1385 secs
lola: STP completed || 33 tries, 32309705 fired transitions, 1390 secs || 49721986 markings, 168036086 edges, 34837 markings/sec, 1390 secs
lola: STP completed || 33 tries, 32425778 fired transitions, 1395 secs || 49883160 markings, 168605608 edges, 32235 markings/sec, 1395 secs
lola: STP completed || 33 tries, 32540326 fired transitions, 1400 secs || 50064245 markings, 169213196 edges, 36217 markings/sec, 1400 secs
lola: STP completed || 33 tries, 32656954 fired transitions, 1405 secs || 50234296 markings, 169800089 edges, 34010 markings/sec, 1405 secs
lola: STP completed || 33 tries, 32773187 fired transitions, 1410 secs || 50412475 markings, 170407367 edges, 35636 markings/sec, 1410 secs
lola: STP completed || 33 tries, 32888934 fired transitions, 1415 secs || 50572452 markings, 170959339 edges, 31995 markings/sec, 1415 secs
lola: STP completed || 34 tries, 33002355 fired transitions, 1420 secs || 50723491 markings, 171490561 edges, 30208 markings/sec, 1420 secs
lola: STP completed || 34 tries, 33115997 fired transitions, 1425 secs || 50892477 markings, 172064513 edges, 33797 markings/sec, 1425 secs
lola: STP completed || 34 tries, 33230115 fired transitions, 1430 secs || 51055543 markings, 172624642 edges, 32613 markings/sec, 1430 secs
lola: STP completed || 34 tries, 33346937 fired transitions, 1435 secs || 51233068 markings, 173220171 edges, 35505 markings/sec, 1435 secs
lola: STP completed || 34 tries, 33462486 fired transitions, 1440 secs || 51400555 markings, 173787613 edges, 33497 markings/sec, 1440 secs
lola: STP completed || 34 tries, 33575557 fired transitions, 1445 secs || 51562878 markings, 174345704 edges, 32465 markings/sec, 1445 secs
lola: STP completed || 34 tries, 33691522 fired transitions, 1450 secs || 51733239 markings, 174933007 edges, 34072 markings/sec, 1450 secs
lola: STP completed || 34 tries, 33807038 fired transitions, 1455 secs || 51899240 markings, 175500931 edges, 33200 markings/sec, 1455 secs
lola: STP completed || 34 tries, 33921693 fired transitions, 1460 secs || 52064991 markings, 176066754 edges, 33150 markings/sec, 1460 secs
lola: STP completed || 35 tries, 34034700 fired transitions, 1465 secs || 52226533 markings, 176628965 edges, 32308 markings/sec, 1465 secs
lola: STP completed || 35 tries, 34149501 fired transitions, 1470 secs || 52392842 markings, 177199955 edges, 33262 markings/sec, 1470 secs
lola: STP completed || 35 tries, 34264447 fired transitions, 1475 secs || 52559773 markings, 177770880 edges, 33386 markings/sec, 1475 secs
lola: STP completed || 35 tries, 34379647 fired transitions, 1480 secs || 52722764 markings, 178323862 edges, 32598 markings/sec, 1480 secs
lola: STP completed || 35 tries, 34495186 fired transitions, 1485 secs || 52890284 markings, 178897013 edges, 33504 markings/sec, 1485 secs
lola: STP completed || 35 tries, 34608721 fired transitions, 1490 secs || 53048261 markings, 179442386 edges, 31595 markings/sec, 1490 secs
lola: STP completed || 35 tries, 34722526 fired transitions, 1495 secs || 53213260 markings, 180010379 edges, 33000 markings/sec, 1495 secs
lola: STP completed || 35 tries, 34836376 fired transitions, 1500 secs || 53362449 markings, 180543374 edges, 29838 markings/sec, 1500 secs
lola: STP completed || 35 tries, 34948105 fired transitions, 1505 secs || 53519389 markings, 181096522 edges, 31388 markings/sec, 1505 secs
lola: STP completed || 36 tries, 35061945 fired transitions, 1510 secs || 53683596 markings, 181652019 edges, 32841 markings/sec, 1510 secs
lola: STP completed || 36 tries, 35178558 fired transitions, 1515 secs || 53853326 markings, 182229028 edges, 33946 markings/sec, 1515 secs
lola: STP completed || 36 tries, 35293698 fired transitions, 1520 secs || 54027912 markings, 182814713 edges, 34917 markings/sec, 1520 secs
lola: STP completed || 36 tries, 35406281 fired transitions, 1525 secs || 54198419 markings, 183390413 edges, 34101 markings/sec, 1525 secs
lola: STP completed || 36 tries, 35519270 fired transitions, 1530 secs || 54358943 markings, 183938774 edges, 32105 markings/sec, 1530 secs
lola: STP completed || 36 tries, 35634267 fired transitions, 1535 secs || 54538114 markings, 184551038 edges, 35834 markings/sec, 1535 secs
lola: STP completed || 36 tries, 35749168 fired transitions, 1540 secs || 54721628 markings, 185174432 edges, 36703 markings/sec, 1540 secs
lola: STP completed || 36 tries, 35865789 fired transitions, 1545 secs || 54901255 markings, 185776982 edges, 35925 markings/sec, 1545 secs
lola: STP completed || 36 tries, 35979988 fired transitions, 1550 secs || 55077946 markings, 186378750 edges, 35338 markings/sec, 1550 secs
lola: STP completed || 37 tries, 36096820 fired transitions, 1555 secs || 55258012 markings, 187001164 edges, 36013 markings/sec, 1555 secs
lola: STP completed || 37 tries, 36209997 fired transitions, 1560 secs || 55430140 markings, 187585611 edges, 34426 markings/sec, 1560 secs
lola: STP completed || 37 tries, 36325088 fired transitions, 1565 secs || 55601909 markings, 188182213 edges, 34354 markings/sec, 1565 secs
lola: STP completed || 37 tries, 36438526 fired transitions, 1570 secs || 55786505 markings, 188798473 edges, 36919 markings/sec, 1570 secs
lola: STP completed || 37 tries, 36553645 fired transitions, 1575 secs || 55948383 markings, 189365010 edges, 32376 markings/sec, 1575 secs
lola: STP completed || 37 tries, 36667124 fired transitions, 1580 secs || 56120857 markings, 189956821 edges, 34495 markings/sec, 1580 secs
lola: STP completed || 37 tries, 36782264 fired transitions, 1585 secs || 56290172 markings, 190542974 edges, 33863 markings/sec, 1585 secs
lola: STP completed || 37 tries, 36897843 fired transitions, 1590 secs || 56463033 markings, 191140719 edges, 34572 markings/sec, 1590 secs
lola: STP completed || 38 tries, 37011567 fired transitions, 1595 secs || 56633636 markings, 191721271 edges, 34121 markings/sec, 1595 secs
lola: STP completed || 38 tries, 37127109 fired transitions, 1600 secs || 56801782 markings, 192298135 edges, 33629 markings/sec, 1600 secs
lola: STP completed || 38 tries, 37242633 fired transitions, 1605 secs || 56973441 markings, 192878825 edges, 34332 markings/sec, 1605 secs
lola: STP completed || 38 tries, 37362319 fired transitions, 1610 secs || 57158197 markings, 193503887 edges, 36951 markings/sec, 1610 secs
lola: STP completed || 38 tries, 37483793 fired transitions, 1615 secs || 57343081 markings, 194134653 edges, 36977 markings/sec, 1615 secs
lola: STP completed || 38 tries, 37605524 fired transitions, 1620 secs || 57528040 markings, 194760334 edges, 36992 markings/sec, 1620 secs
lola: STP completed || 38 tries, 37725428 fired transitions, 1625 secs || 57709921 markings, 195387178 edges, 36376 markings/sec, 1625 secs
lola: STP completed || 38 tries, 37845631 fired transitions, 1630 secs || 57880254 markings, 195987364 edges, 34067 markings/sec, 1630 secs
lola: STP completed || 38 tries, 37967605 fired transitions, 1635 secs || 58052669 markings, 196581242 edges, 34483 markings/sec, 1635 secs
lola: STP completed || 39 tries, 38089271 fired transitions, 1640 secs || 58226706 markings, 197176705 edges, 34807 markings/sec, 1640 secs
lola: STP completed || 39 tries, 38211035 fired transitions, 1645 secs || 58404104 markings, 197788091 edges, 35480 markings/sec, 1645 secs
lola: STP completed || 39 tries, 38332475 fired transitions, 1650 secs || 58582798 markings, 198405199 edges, 35739 markings/sec, 1650 secs
lola: STP completed || 39 tries, 38450974 fired transitions, 1655 secs || 58772056 markings, 199039950 edges, 37852 markings/sec, 1655 secs
lola: STP completed || 39 tries, 38571637 fired transitions, 1660 secs || 58955565 markings, 199659957 edges, 36702 markings/sec, 1660 secs
lola: STP completed || 39 tries, 38691761 fired transitions, 1665 secs || 59126997 markings, 200257808 edges, 34286 markings/sec, 1665 secs
lola: STP completed || 39 tries, 38813495 fired transitions, 1670 secs || 59303610 markings, 200872316 edges, 35323 markings/sec, 1670 secs
lola: STP completed || 39 tries, 38936051 fired transitions, 1675 secs || 59495523 markings, 201523279 edges, 38383 markings/sec, 1675 secs
lola: STP completed || 40 tries, 39058423 fired transitions, 1680 secs || 59684267 markings, 202157999 edges, 37749 markings/sec, 1680 secs
lola: STP completed || 40 tries, 39179468 fired transitions, 1685 secs || 59858049 markings, 202760583 edges, 34756 markings/sec, 1685 secs
lola: STP completed || 40 tries, 39300637 fired transitions, 1690 secs || 60036133 markings, 203375817 edges, 35617 markings/sec, 1690 secs
lola: STP completed || 40 tries, 39421492 fired transitions, 1695 secs || 60221420 markings, 204005421 edges, 37057 markings/sec, 1695 secs
lola: STP completed || 40 tries, 39543859 fired transitions, 1700 secs || 60399934 markings, 204613158 edges, 35703 markings/sec, 1700 secs
lola: STP completed || 40 tries, 39664723 fired transitions, 1705 secs || 60579101 markings, 205232065 edges, 35833 markings/sec, 1705 secs
lola: STP completed || 40 tries, 39785999 fired transitions, 1710 secs || 60764587 markings, 205864729 edges, 37097 markings/sec, 1710 secs
lola: STP completed || 40 tries, 39906090 fired transitions, 1715 secs || 60946114 markings, 206485581 edges, 36305 markings/sec, 1715 secs
lola: STP completed || 41 tries, 40022964 fired transitions, 1720 secs || 61118270 markings, 207078924 edges, 34431 markings/sec, 1720 secs
lola: STP completed || 41 tries, 40142789 fired transitions, 1725 secs || 61295765 markings, 207693474 edges, 35499 markings/sec, 1725 secs
lola: STP completed || 41 tries, 40262596 fired transitions, 1730 secs || 61472465 markings, 208299131 edges, 35340 markings/sec, 1730 secs
lola: STP completed || 41 tries, 40383192 fired transitions, 1735 secs || 61653246 markings, 208918758 edges, 36156 markings/sec, 1735 secs
lola: STP completed || 41 tries, 40502596 fired transitions, 1740 secs || 61838762 markings, 209557544 edges, 37103 markings/sec, 1740 secs
lola: STP completed || 41 tries, 40621038 fired transitions, 1745 secs || 62026678 markings, 210197404 edges, 37583 markings/sec, 1745 secs
lola: STP completed || 41 tries, 40742241 fired transitions, 1750 secs || 62207800 markings, 210825513 edges, 36224 markings/sec, 1750 secs
lola: STP completed || 41 tries, 40863724 fired transitions, 1755 secs || 62387684 markings, 211451512 edges, 35977 markings/sec, 1755 secs
lola: STP completed || 41 tries, 40985211 fired transitions, 1760 secs || 62581454 markings, 212113512 edges, 38754 markings/sec, 1760 secs
lola: STP completed || 42 tries, 41107452 fired transitions, 1765 secs || 62766639 markings, 212755388 edges, 37037 markings/sec, 1765 secs
lola: STP completed || 42 tries, 41229533 fired transitions, 1770 secs || 62938741 markings, 213353706 edges, 34420 markings/sec, 1770 secs
lola: STP completed || 42 tries, 41350346 fired transitions, 1775 secs || 63116175 markings, 213966367 edges, 35487 markings/sec, 1775 secs
lola: STP completed || 42 tries, 41472421 fired transitions, 1780 secs || 63292226 markings, 214572947 edges, 35210 markings/sec, 1780 secs
lola: STP completed || 42 tries, 41593633 fired transitions, 1785 secs || 63488226 markings, 215233538 edges, 39200 markings/sec, 1785 secs
lola: STP completed || 42 tries, 41716634 fired transitions, 1790 secs || 63669801 markings, 215858387 edges, 36315 markings/sec, 1790 secs
lola: STP completed || 42 tries, 41839187 fired transitions, 1795 secs || 63849459 markings, 216474177 edges, 35932 markings/sec, 1795 secs
lola: STP completed || 42 tries, 41960565 fired transitions, 1800 secs || 64037169 markings, 217111999 edges, 37542 markings/sec, 1800 secs
lola: STP completed || 43 tries, 42081235 fired transitions, 1805 secs || 64213456 markings, 217723874 edges, 35257 markings/sec, 1805 secs
lola: STP completed || 43 tries, 42203192 fired transitions, 1810 secs || 64391544 markings, 218335886 edges, 35618 markings/sec, 1810 secs
lola: STP completed || 43 tries, 42324720 fired transitions, 1815 secs || 64567299 markings, 218939825 edges, 35151 markings/sec, 1815 secs
lola: STP completed || 43 tries, 42444502 fired transitions, 1820 secs || 64745591 markings, 219554237 edges, 35658 markings/sec, 1820 secs
lola: STP completed || 43 tries, 42566092 fired transitions, 1825 secs || 64931497 markings, 220180291 edges, 37181 markings/sec, 1825 secs
lola: STP completed || 43 tries, 42687820 fired transitions, 1830 secs || 65112619 markings, 220802198 edges, 36224 markings/sec, 1830 secs
lola: STP completed || 43 tries, 42810494 fired transitions, 1835 secs || 65300657 markings, 221440034 edges, 37608 markings/sec, 1835 secs
lola: STP completed || 43 tries, 42933054 fired transitions, 1840 secs || 65478412 markings, 222050155 edges, 35551 markings/sec, 1840 secs
lola: STP completed || 44 tries, 43054714 fired transitions, 1845 secs || 65650938 markings, 222654861 edges, 34505 markings/sec, 1845 secs
lola: STP completed || 44 tries, 43175864 fired transitions, 1850 secs || 65834962 markings, 223289388 edges, 36805 markings/sec, 1850 secs
lola: STP completed || 44 tries, 43297084 fired transitions, 1855 secs || 66005059 markings, 223877282 edges, 34019 markings/sec, 1855 secs
lola: STP completed || 44 tries, 43420274 fired transitions, 1860 secs || 66182703 markings, 224495538 edges, 35529 markings/sec, 1860 secs
lola: STP completed || 44 tries, 43541486 fired transitions, 1865 secs || 66364625 markings, 225125767 edges, 36384 markings/sec, 1865 secs
lola: STP completed || 44 tries, 43662689 fired transitions, 1870 secs || 66553833 markings, 225761699 edges, 37842 markings/sec, 1870 secs
lola: STP completed || 44 tries, 43784396 fired transitions, 1875 secs || 66723467 markings, 226355458 edges, 33927 markings/sec, 1875 secs
lola: STP completed || 44 tries, 43906755 fired transitions, 1880 secs || 66900236 markings, 226968469 edges, 35354 markings/sec, 1880 secs
lola: STP completed || 45 tries, 44028218 fired transitions, 1885 secs || 67075897 markings, 227581392 edges, 35132 markings/sec, 1885 secs
lola: STP completed || 45 tries, 44150029 fired transitions, 1890 secs || 67265028 markings, 228224162 edges, 37826 markings/sec, 1890 secs
lola: STP completed || 45 tries, 44271917 fired transitions, 1895 secs || 67450583 markings, 228859547 edges, 37111 markings/sec, 1895 secs
lola: STP completed || 45 tries, 44393151 fired transitions, 1900 secs || 67636848 markings, 229486987 edges, 37253 markings/sec, 1900 secs
lola: STP completed || 45 tries, 44516664 fired transitions, 1905 secs || 67812475 markings, 230094760 edges, 35125 markings/sec, 1905 secs
lola: STP completed || 45 tries, 44639054 fired transitions, 1910 secs || 67993299 markings, 230714742 edges, 36165 markings/sec, 1910 secs
lola: STP completed || 45 tries, 44761767 fired transitions, 1915 secs || 68181753 markings, 231353754 edges, 37691 markings/sec, 1915 secs
lola: STP completed || 45 tries, 44882962 fired transitions, 1920 secs || 68364095 markings, 231979401 edges, 36468 markings/sec, 1920 secs
lola: STP completed || 46 tries, 45005481 fired transitions, 1925 secs || 68547241 markings, 232608345 edges, 36629 markings/sec, 1925 secs
lola: STP completed || 46 tries, 45125972 fired transitions, 1930 secs || 68723803 markings, 233224216 edges, 35312 markings/sec, 1930 secs
lola: STP completed || 46 tries, 45247985 fired transitions, 1935 secs || 68894934 markings, 233817192 edges, 34226 markings/sec, 1935 secs
lola: STP completed || 46 tries, 45363473 fired transitions, 1940 secs || 69079675 markings, 234439119 edges, 36948 markings/sec, 1940 secs
lola: STP completed || 46 tries, 45474789 fired transitions, 1945 secs || 69265963 markings, 235055904 edges, 37258 markings/sec, 1945 secs
lola: STP completed || 46 tries, 45587082 fired transitions, 1950 secs || 69427343 markings, 235625500 edges, 32276 markings/sec, 1950 secs
lola: STP completed || 46 tries, 45699632 fired transitions, 1955 secs || 69604477 markings, 236229853 edges, 35427 markings/sec, 1955 secs
lola: STP completed || 46 tries, 45812460 fired transitions, 1960 secs || 69768356 markings, 236804768 edges, 32776 markings/sec, 1960 secs
lola: STP completed || 46 tries, 45925457 fired transitions, 1965 secs || 69938359 markings, 237394078 edges, 34001 markings/sec, 1965 secs
lola: STP completed || 47 tries, 46037917 fired transitions, 1970 secs || 70112247 markings, 237987970 edges, 34778 markings/sec, 1970 secs
lola: STP completed || 47 tries, 46149931 fired transitions, 1975 secs || 70273685 markings, 238554602 edges, 32288 markings/sec, 1975 secs
lola: STP completed || 47 tries, 46262771 fired transitions, 1980 secs || 70440656 markings, 239140570 edges, 33394 markings/sec, 1980 secs
lola: STP completed || 47 tries, 46376077 fired transitions, 1985 secs || 70618242 markings, 239746360 edges, 35517 markings/sec, 1985 secs
lola: STP completed || 47 tries, 46487567 fired transitions, 1990 secs || 70780768 markings, 240312059 edges, 32505 markings/sec, 1990 secs
lola: STP completed || 47 tries, 46599903 fired transitions, 1995 secs || 70942266 markings, 240879584 edges, 32300 markings/sec, 1995 secs
lola: STP completed || 47 tries, 46711662 fired transitions, 2000 secs || 71108989 markings, 241466944 edges, 33345 markings/sec, 2000 secs
lola: STP completed || 47 tries, 46822559 fired transitions, 2005 secs || 71284210 markings, 242061957 edges, 35044 markings/sec, 2005 secs
lola: STP completed || 47 tries, 46935017 fired transitions, 2010 secs || 71460998 markings, 242653221 edges, 35358 markings/sec, 2010 secs
lola: STP completed || 48 tries, 47047454 fired transitions, 2015 secs || 71633997 markings, 243252830 edges, 34600 markings/sec, 2015 secs
lola: STP completed || 48 tries, 47161731 fired transitions, 2020 secs || 71800877 markings, 243841636 edges, 33376 markings/sec, 2020 secs
lola: STP completed || 48 tries, 47272755 fired transitions, 2025 secs || 71956811 markings, 244388776 edges, 31187 markings/sec, 2025 secs
lola: STP completed || 48 tries, 47385036 fired transitions, 2030 secs || 72122822 markings, 244971648 edges, 33202 markings/sec, 2030 secs
lola: STP completed || 48 tries, 47498216 fired transitions, 2035 secs || 72301445 markings, 245581636 edges, 35725 markings/sec, 2035 secs
lola: STP completed || 48 tries, 47610455 fired transitions, 2040 secs || 72464418 markings, 246152809 edges, 32595 markings/sec, 2040 secs
lola: STP completed || 48 tries, 47723696 fired transitions, 2045 secs || 72629046 markings, 246727530 edges, 32926 markings/sec, 2045 secs
lola: STP completed || 48 tries, 47836041 fired transitions, 2050 secs || 72791473 markings, 247294696 edges, 32485 markings/sec, 2050 secs
lola: STP completed || 48 tries, 47949326 fired transitions, 2055 secs || 72960615 markings, 247887162 edges, 33828 markings/sec, 2055 secs
lola: STP completed || 49 tries, 48060863 fired transitions, 2060 secs || 73133213 markings, 248475921 edges, 34520 markings/sec, 2060 secs
lola: STP completed || 49 tries, 48173665 fired transitions, 2065 secs || 73309330 markings, 249068503 edges, 35223 markings/sec, 2065 secs
lola: STP completed || 49 tries, 48286369 fired transitions, 2070 secs || 73477496 markings, 249653092 edges, 33633 markings/sec, 2070 secs
lola: STP completed || 49 tries, 48397926 fired transitions, 2075 secs || 73645307 markings, 250232010 edges, 33562 markings/sec, 2075 secs
lola: STP completed || 49 tries, 48512730 fired transitions, 2080 secs || 73826871 markings, 250847659 edges, 36313 markings/sec, 2080 secs
lola: STP completed || 49 tries, 48632174 fired transitions, 2085 secs || 74005034 markings, 251475343 edges, 35633 markings/sec, 2085 secs
lola: STP completed || 49 tries, 48752295 fired transitions, 2090 secs || 74187206 markings, 252106089 edges, 36434 markings/sec, 2090 secs
lola: STP completed || 49 tries, 48874241 fired transitions, 2095 secs || 74365559 markings, 252715501 edges, 35671 markings/sec, 2095 secs
lola: STP completed || 49 tries, 48995301 fired transitions, 2100 secs || 74541427 markings, 253328140 edges, 35174 markings/sec, 2100 secs
lola: STP completed || 50 tries, 49106357 fired transitions, 2105 secs || 74709585 markings, 253912963 edges, 33632 markings/sec, 2105 secs
lola: STP completed || 50 tries, 49226888 fired transitions, 2110 secs || 74888595 markings, 254534894 edges, 35802 markings/sec, 2110 secs
lola: STP completed || 50 tries, 49347473 fired transitions, 2115 secs || 75073668 markings, 255163583 edges, 37015 markings/sec, 2115 secs
lola: STP completed || 50 tries, 49469281 fired transitions, 2120 secs || 75258122 markings, 255796574 edges, 36891 markings/sec, 2120 secs
lola: STP completed || 50 tries, 49582114 fired transitions, 2125 secs || 75426520 markings, 256375596 edges, 33680 markings/sec, 2125 secs
lola: STP completed || 50 tries, 49702280 fired transitions, 2130 secs || 75612102 markings, 257012143 edges, 37116 markings/sec, 2130 secs
lola: STP completed || 50 tries, 49823657 fired transitions, 2135 secs || 75793523 markings, 257643357 edges, 36284 markings/sec, 2135 secs
lola: STP completed || 50 tries, 49945366 fired transitions, 2140 secs || 75970261 markings, 258259860 edges, 35348 markings/sec, 2140 secs
lola: STP completed || 51 tries, 50068773 fired transitions, 2145 secs || 76156887 markings, 258899484 edges, 37325 markings/sec, 2145 secs
lola: STP completed || 51 tries, 50191732 fired transitions, 2150 secs || 76346745 markings, 259539643 edges, 37972 markings/sec, 2150 secs
lola: STP completed || 51 tries, 50314184 fired transitions, 2155 secs || 76515289 markings, 260125535 edges, 33709 markings/sec, 2155 secs
lola: STP completed || 51 tries, 50433753 fired transitions, 2160 secs || 76698150 markings, 260752528 edges, 36572 markings/sec, 2160 secs
lola: STP completed || 51 tries, 50555243 fired transitions, 2165 secs || 76882057 markings, 261387485 edges, 36781 markings/sec, 2165 secs
lola: STP completed || 51 tries, 50677189 fired transitions, 2170 secs || 77065311 markings, 262012465 edges, 36651 markings/sec, 2170 secs
lola: STP completed || 51 tries, 50799803 fired transitions, 2175 secs || 77246208 markings, 262637885 edges, 36179 markings/sec, 2175 secs
lola: STP completed || 51 tries, 50919940 fired transitions, 2180 secs || 77428046 markings, 263255250 edges, 36368 markings/sec, 2180 secs
lola: STP completed || 52 tries, 51041322 fired transitions, 2185 secs || 77599268 markings, 263850246 edges, 34244 markings/sec, 2185 secs
lola: STP completed || 52 tries, 51163674 fired transitions, 2190 secs || 77777567 markings, 264465425 edges, 35660 markings/sec, 2190 secs
lola: STP completed || 52 tries, 51282599 fired transitions, 2195 secs || 77957605 markings, 265080365 edges, 36008 markings/sec, 2195 secs
lola: STP completed || 52 tries, 51402009 fired transitions, 2200 secs || 78137031 markings, 265696879 edges, 35885 markings/sec, 2200 secs
lola: STP completed || 52 tries, 51521572 fired transitions, 2205 secs || 78300793 markings, 266279856 edges, 32752 markings/sec, 2205 secs
lola: STP completed || 52 tries, 51638661 fired transitions, 2210 secs || 78485827 markings, 266903155 edges, 37007 markings/sec, 2210 secs
lola: STP completed || 52 tries, 51761011 fired transitions, 2215 secs || 78667564 markings, 267524349 edges, 36347 markings/sec, 2215 secs
lola: STP completed || 52 tries, 51881108 fired transitions, 2220 secs || 78845433 markings, 268129404 edges, 35574 markings/sec, 2220 secs
lola: STP completed || 52 tries, 51996004 fired transitions, 2225 secs || 79014003 markings, 268703315 edges, 33714 markings/sec, 2225 secs
lola: STP completed || 53 tries, 52111212 fired transitions, 2230 secs || 79161428 markings, 269231911 edges, 29485 markings/sec, 2230 secs
lola: STP completed || 53 tries, 52227748 fired transitions, 2235 secs || 79331918 markings, 269811357 edges, 34098 markings/sec, 2235 secs
lola: STP completed || 53 tries, 52343552 fired transitions, 2240 secs || 79479911 markings, 270337034 edges, 29599 markings/sec, 2240 secs
lola: STP completed || 53 tries, 52458697 fired transitions, 2245 secs || 79635234 markings, 270880944 edges, 31065 markings/sec, 2245 secs
lola: STP completed || 53 tries, 52572601 fired transitions, 2250 secs || 79794252 markings, 271435568 edges, 31804 markings/sec, 2250 secs
lola: STP completed || 53 tries, 52686473 fired transitions, 2255 secs || 79955971 markings, 271995560 edges, 32344 markings/sec, 2255 secs
lola: STP completed || 53 tries, 52799990 fired transitions, 2260 secs || 80118048 markings, 272551317 edges, 32415 markings/sec, 2260 secs
lola: STP completed || 53 tries, 52914858 fired transitions, 2265 secs || 80282897 markings, 273120933 edges, 32970 markings/sec, 2265 secs
lola: STP completed || 54 tries, 53030512 fired transitions, 2270 secs || 80440302 markings, 273672688 edges, 31481 markings/sec, 2270 secs
lola: STP completed || 54 tries, 53144852 fired transitions, 2275 secs || 80577555 markings, 274183848 edges, 27451 markings/sec, 2275 secs
lola: STP completed || 54 tries, 53262396 fired transitions, 2280 secs || 80741324 markings, 274755742 edges, 32754 markings/sec, 2280 secs
lola: STP completed || 54 tries, 53377297 fired transitions, 2285 secs || 80896043 markings, 275296631 edges, 30944 markings/sec, 2285 secs
lola: STP completed || 54 tries, 53492169 fired transitions, 2290 secs || 81061280 markings, 275859892 edges, 33047 markings/sec, 2290 secs
lola: STP completed || 54 tries, 53606438 fired transitions, 2295 secs || 81214486 markings, 276403459 edges, 30641 markings/sec, 2295 secs
lola: STP completed || 54 tries, 53721833 fired transitions, 2300 secs || 81363186 markings, 276921730 edges, 29740 markings/sec, 2300 secs
lola: STP completed || 54 tries, 53836036 fired transitions, 2305 secs || 81513148 markings, 277448384 edges, 29992 markings/sec, 2305 secs
lola: STP completed || 54 tries, 53951489 fired transitions, 2310 secs || 81674485 markings, 277999760 edges, 32267 markings/sec, 2310 secs
lola: STP completed || 55 tries, 54066842 fired transitions, 2315 secs || 81826471 markings, 278537901 edges, 30397 markings/sec, 2315 secs
lola: STP completed || 55 tries, 54184056 fired transitions, 2320 secs || 81998412 markings, 279128662 edges, 34388 markings/sec, 2320 secs
lola: STP completed || 55 tries, 54299883 fired transitions, 2325 secs || 82172167 markings, 279722129 edges, 34751 markings/sec, 2325 secs
lola: STP completed || 55 tries, 54414613 fired transitions, 2330 secs || 82339615 markings, 280294104 edges, 33490 markings/sec, 2330 secs
lola: STP completed || 55 tries, 54529360 fired transitions, 2335 secs || 82504666 markings, 280872157 edges, 33010 markings/sec, 2335 secs
lola: STP completed || 55 tries, 54650132 fired transitions, 2340 secs || 82680156 markings, 281485425 edges, 35098 markings/sec, 2340 secs
lola: STP completed || 55 tries, 54768581 fired transitions, 2345 secs || 82854030 markings, 282093742 edges, 34775 markings/sec, 2345 secs
lola: STP completed || 55 tries, 54884144 fired transitions, 2350 secs || 83014521 markings, 282648553 edges, 32098 markings/sec, 2350 secs
lola: STP completed || 55 tries, 54999027 fired transitions, 2355 secs || 83174730 markings, 283203519 edges, 32042 markings/sec, 2355 secs
lola: STP completed || 56 tries, 55114213 fired transitions, 2360 secs || 83335647 markings, 283754483 edges, 32183 markings/sec, 2360 secs
lola: STP completed || 56 tries, 55231610 fired transitions, 2365 secs || 83499150 markings, 284318945 edges, 32701 markings/sec, 2365 secs
lola: STP completed || 56 tries, 55346555 fired transitions, 2370 secs || 83676284 markings, 284920681 edges, 35427 markings/sec, 2370 secs
lola: STP completed || 56 tries, 55460651 fired transitions, 2375 secs || 83837830 markings, 285487654 edges, 32309 markings/sec, 2375 secs
lola: STP completed || 56 tries, 55578323 fired transitions, 2380 secs || 84004468 markings, 286061537 edges, 33328 markings/sec, 2380 secs
lola: STP completed || 56 tries, 55696848 fired transitions, 2385 secs || 84165103 markings, 286638110 edges, 32127 markings/sec, 2385 secs
lola: STP completed || 56 tries, 55811609 fired transitions, 2390 secs || 84322511 markings, 287183900 edges, 31482 markings/sec, 2390 secs
lola: STP completed || 56 tries, 55925338 fired transitions, 2395 secs || 84490745 markings, 287766741 edges, 33647 markings/sec, 2395 secs
lola: STP completed || 57 tries, 56039546 fired transitions, 2400 secs || 84657441 markings, 288335294 edges, 33339 markings/sec, 2400 secs
lola: STP completed || 57 tries, 56156059 fired transitions, 2405 secs || 84815052 markings, 288884711 edges, 31522 markings/sec, 2405 secs
lola: STP completed || 57 tries, 56269787 fired transitions, 2410 secs || 84975805 markings, 289440092 edges, 32151 markings/sec, 2410 secs
lola: STP completed || 57 tries, 56384292 fired transitions, 2415 secs || 85119301 markings, 289953247 edges, 28699 markings/sec, 2415 secs
lola: STP completed || 57 tries, 56499342 fired transitions, 2420 secs || 85286101 markings, 290527265 edges, 33360 markings/sec, 2420 secs
lola: STP completed || 57 tries, 56609380 fired transitions, 2425 secs || 85439684 markings, 291065949 edges, 30717 markings/sec, 2425 secs
lola: STP completed || 57 tries, 56724424 fired transitions, 2430 secs || 85594748 markings, 291609021 edges, 31013 markings/sec, 2430 secs
lola: STP completed || 57 tries, 56838560 fired transitions, 2435 secs || 85747376 markings, 292152993 edges, 30526 markings/sec, 2435 secs
lola: STP completed || 57 tries, 56954893 fired transitions, 2440 secs || 85910973 markings, 292714252 edges, 32719 markings/sec, 2440 secs
lola: STP completed || 58 tries, 57073959 fired transitions, 2445 secs || 86081893 markings, 293308594 edges, 34184 markings/sec, 2445 secs
lola: STP completed || 58 tries, 57195983 fired transitions, 2450 secs || 86264276 markings, 293928423 edges, 36477 markings/sec, 2450 secs
lola: STP completed || 58 tries, 57318440 fired transitions, 2455 secs || 86449227 markings, 294557121 edges, 36990 markings/sec, 2455 secs
lola: STP completed || 58 tries, 57437594 fired transitions, 2460 secs || 86621055 markings, 295156200 edges, 34366 markings/sec, 2460 secs
lola: STP completed || 58 tries, 57559849 fired transitions, 2465 secs || 86795695 markings, 295762326 edges, 34928 markings/sec, 2465 secs
lola: STP completed || 58 tries, 57682353 fired transitions, 2470 secs || 86977403 markings, 296390501 edges, 36342 markings/sec, 2470 secs
lola: STP completed || 58 tries, 57803967 fired transitions, 2475 secs || 87160742 markings, 297021885 edges, 36668 markings/sec, 2475 secs
lola: STP completed || 58 tries, 57922656 fired transitions, 2480 secs || 87336491 markings, 297621095 edges, 35150 markings/sec, 2480 secs
lola: STP completed || 59 tries, 58046701 fired transitions, 2485 secs || 87511537 markings, 298229492 edges, 35009 markings/sec, 2485 secs
lola: STP completed || 59 tries, 58168944 fired transitions, 2490 secs || 87682603 markings, 298817173 edges, 34213 markings/sec, 2490 secs
lola: STP completed || 59 tries, 58292955 fired transitions, 2495 secs || 87856883 markings, 299423106 edges, 34856 markings/sec, 2495 secs
lola: STP completed || 59 tries, 58414057 fired transitions, 2500 secs || 88030671 markings, 300032797 edges, 34758 markings/sec, 2500 secs
lola: STP completed || 59 tries, 58535676 fired transitions, 2505 secs || 88207129 markings, 300648535 edges, 35292 markings/sec, 2505 secs
lola: STP completed || 59 tries, 58656593 fired transitions, 2510 secs || 88388145 markings, 301264061 edges, 36203 markings/sec, 2510 secs
lola: STP completed || 59 tries, 58774304 fired transitions, 2515 secs || 88567734 markings, 301884264 edges, 35918 markings/sec, 2515 secs
lola: STP completed || 59 tries, 58888084 fired transitions, 2520 secs || 88722010 markings, 302432588 edges, 30855 markings/sec, 2520 secs
lola: STP completed || 60 tries, 59001452 fired transitions, 2525 secs || 88888170 markings, 303015709 edges, 33232 markings/sec, 2525 secs
lola: STP completed || 60 tries, 59115273 fired transitions, 2530 secs || 89045822 markings, 303572692 edges, 31530 markings/sec, 2530 secs
lola: STP completed || 60 tries, 59228561 fired transitions, 2535 secs || 89214140 markings, 304151010 edges, 33664 markings/sec, 2535 secs
lola: STP completed || 60 tries, 59342213 fired transitions, 2540 secs || 89372074 markings, 304705163 edges, 31587 markings/sec, 2540 secs
lola: STP completed || 60 tries, 59456408 fired transitions, 2545 secs || 89529568 markings, 305258398 edges, 31499 markings/sec, 2545 secs
lola: STP completed || 60 tries, 59569700 fired transitions, 2550 secs || 89690284 markings, 305834624 edges, 32143 markings/sec, 2550 secs
lola: STP completed || 60 tries, 59682605 fired transitions, 2555 secs || 89862479 markings, 306423183 edges, 34439 markings/sec, 2555 secs
lola: STP completed || 60 tries, 59795882 fired transitions, 2560 secs || 90024253 markings, 306978907 edges, 32355 markings/sec, 2560 secs
lola: STP completed || 60 tries, 59908539 fired transitions, 2565 secs || 90190882 markings, 307554714 edges, 33326 markings/sec, 2565 secs
lola: STP completed || 61 tries, 60023066 fired transitions, 2570 secs || 90369009 markings, 308156285 edges, 35625 markings/sec, 2570 secs
lola: STP completed || 61 tries, 60136868 fired transitions, 2575 secs || 90545405 markings, 308755191 edges, 35279 markings/sec, 2575 secs
lola: STP completed || 61 tries, 60250192 fired transitions, 2580 secs || 90710646 markings, 309330949 edges, 33048 markings/sec, 2580 secs
lola: STP completed || 61 tries, 60361835 fired transitions, 2585 secs || 90878406 markings, 309921909 edges, 33552 markings/sec, 2585 secs
lola: STP completed || 61 tries, 60475910 fired transitions, 2590 secs || 91050893 markings, 310505755 edges, 34497 markings/sec, 2590 secs
lola: STP completed || 61 tries, 60590481 fired transitions, 2595 secs || 91215613 markings, 311074977 edges, 32944 markings/sec, 2595 secs
lola: STP completed || 61 tries, 60701930 fired transitions, 2600 secs || 91380117 markings, 311642804 edges, 32901 markings/sec, 2600 secs
lola: STP completed || 61 tries, 60815472 fired transitions, 2605 secs || 91550802 markings, 312223680 edges, 34137 markings/sec, 2605 secs
lola: STP completed || 61 tries, 60930357 fired transitions, 2610 secs || 91720036 markings, 312805090 edges, 33847 markings/sec, 2610 secs
lola: STP completed || 62 tries, 61043469 fired transitions, 2615 secs || 91871223 markings, 313345054 edges, 30237 markings/sec, 2615 secs
lola: STP completed || 62 tries, 61156635 fired transitions, 2620 secs || 92029533 markings, 313891799 edges, 31662 markings/sec, 2620 secs
lola: STP completed || 62 tries, 61269693 fired transitions, 2625 secs || 92179763 markings, 314430908 edges, 30046 markings/sec, 2625 secs
lola: STP completed || 62 tries, 61384056 fired transitions, 2630 secs || 92349109 markings, 315012504 edges, 33869 markings/sec, 2630 secs
lola: STP completed || 62 tries, 61494887 fired transitions, 2635 secs || 92512927 markings, 315576557 edges, 32764 markings/sec, 2635 secs
lola: STP completed || 62 tries, 61608477 fired transitions, 2640 secs || 92687948 markings, 316181505 edges, 35004 markings/sec, 2640 secs
lola: STP completed || 62 tries, 61721639 fired transitions, 2645 secs || 92850665 markings, 316748745 edges, 32543 markings/sec, 2645 secs
lola: STP completed || 62 tries, 61835794 fired transitions, 2650 secs || 93014775 markings, 317321864 edges, 32822 markings/sec, 2650 secs
lola: STP completed || 62 tries, 61950141 fired transitions, 2655 secs || 93173885 markings, 317883036 edges, 31822 markings/sec, 2655 secs
lola: STP completed || 63 tries, 62062686 fired transitions, 2660 secs || 93340658 markings, 318460324 edges, 33355 markings/sec, 2660 secs
lola: STP completed || 63 tries, 62174641 fired transitions, 2665 secs || 93515960 markings, 319063310 edges, 35060 markings/sec, 2665 secs
lola: STP completed || 63 tries, 62287243 fired transitions, 2670 secs || 93679412 markings, 319636491 edges, 32690 markings/sec, 2670 secs
lola: STP completed || 63 tries, 62401139 fired transitions, 2675 secs || 93845465 markings, 320208374 edges, 33211 markings/sec, 2675 secs
lola: STP completed || 63 tries, 62514939 fired transitions, 2680 secs || 94015787 markings, 320800079 edges, 34064 markings/sec, 2680 secs
lola: STP completed || 63 tries, 62628543 fired transitions, 2685 secs || 94168320 markings, 321337780 edges, 30507 markings/sec, 2685 secs
lola: STP completed || 63 tries, 62743839 fired transitions, 2690 secs || 94336203 markings, 321923192 edges, 33577 markings/sec, 2690 secs
lola: STP completed || 63 tries, 62858334 fired transitions, 2695 secs || 94514123 markings, 322534760 edges, 35584 markings/sec, 2695 secs
lola: STP completed || 63 tries, 62972662 fired transitions, 2700 secs || 94671483 markings, 323095135 edges, 31472 markings/sec, 2700 secs
lola: STP completed || 64 tries, 63086429 fired transitions, 2705 secs || 94844091 markings, 323693288 edges, 34522 markings/sec, 2705 secs
lola: STP completed || 64 tries, 63199201 fired transitions, 2710 secs || 95012949 markings, 324272372 edges, 33772 markings/sec, 2710 secs
lola: STP completed || 64 tries, 63312269 fired transitions, 2715 secs || 95185712 markings, 324870160 edges, 34553 markings/sec, 2715 secs
lola: STP completed || 64 tries, 63424871 fired transitions, 2720 secs || 95361590 markings, 325476284 edges, 35176 markings/sec, 2720 secs
lola: STP completed || 64 tries, 63547101 fired transitions, 2725 secs || 95535363 markings, 326086538 edges, 34755 markings/sec, 2725 secs
lola: STP completed || 64 tries, 63669644 fired transitions, 2730 secs || 95712398 markings, 326705344 edges, 35407 markings/sec, 2730 secs
lola: STP completed || 64 tries, 63790922 fired transitions, 2735 secs || 95878794 markings, 327296473 edges, 33279 markings/sec, 2735 secs
lola: STP completed || 64 tries, 63914612 fired transitions, 2740 secs || 96057586 markings, 327919560 edges, 35758 markings/sec, 2740 secs
lola: STP completed || 65 tries, 64037483 fired transitions, 2745 secs || 96229121 markings, 328518725 edges, 34307 markings/sec, 2745 secs
lola: STP completed || 65 tries, 64159163 fired transitions, 2750 secs || 96398560 markings, 329114056 edges, 33888 markings/sec, 2750 secs
lola: STP completed || 65 tries, 64281260 fired transitions, 2755 secs || 96565095 markings, 329698240 edges, 33307 markings/sec, 2755 secs
lola: STP completed || 65 tries, 64404421 fired transitions, 2760 secs || 96734781 markings, 330295199 edges, 33937 markings/sec, 2760 secs
lola: STP completed || 65 tries, 64526580 fired transitions, 2765 secs || 96912775 markings, 330916001 edges, 35599 markings/sec, 2765 secs
lola: STP completed || 65 tries, 64650504 fired transitions, 2770 secs || 97096069 markings, 331538523 edges, 36659 markings/sec, 2770 secs
lola: STP completed || 65 tries, 64771973 fired transitions, 2775 secs || 97276476 markings, 332156189 edges, 36081 markings/sec, 2775 secs
lola: STP completed || 65 tries, 64888140 fired transitions, 2780 secs || 97438465 markings, 332716293 edges, 32398 markings/sec, 2780 secs
lola: STP completed || 66 tries, 65002600 fired transitions, 2785 secs || 97589320 markings, 333256115 edges, 30171 markings/sec, 2785 secs
lola: STP completed || 66 tries, 65117386 fired transitions, 2790 secs || 97752713 markings, 333822406 edges, 32679 markings/sec, 2790 secs
lola: STP completed || 66 tries, 65230539 fired transitions, 2795 secs || 97910083 markings, 334377793 edges, 31474 markings/sec, 2795 secs
lola: STP completed || 66 tries, 65345202 fired transitions, 2800 secs || 98085172 markings, 334974153 edges, 35018 markings/sec, 2800 secs
lola: STP completed || 66 tries, 65460619 fired transitions, 2805 secs || 98246290 markings, 335529689 edges, 32224 markings/sec, 2805 secs
lola: STP completed || 66 tries, 65575543 fired transitions, 2810 secs || 98405874 markings, 336090796 edges, 31917 markings/sec, 2810 secs
lola: STP completed || 66 tries, 65690241 fired transitions, 2815 secs || 98581622 markings, 336688710 edges, 35150 markings/sec, 2815 secs
lola: STP completed || 66 tries, 65805363 fired transitions, 2820 secs || 98755821 markings, 337287683 edges, 34840 markings/sec, 2820 secs
lola: STP completed || 66 tries, 65921024 fired transitions, 2825 secs || 98929331 markings, 337885177 edges, 34702 markings/sec, 2825 secs
lola: STP completed || 67 tries, 66036409 fired transitions, 2830 secs || 99099372 markings, 338472805 edges, 34008 markings/sec, 2830 secs
lola: STP completed || 67 tries, 66153320 fired transitions, 2835 secs || 99264380 markings, 339048111 edges, 33002 markings/sec, 2835 secs
lola: STP completed || 67 tries, 66267521 fired transitions, 2840 secs || 99427896 markings, 339602140 edges, 32703 markings/sec, 2840 secs
lola: STP completed || 67 tries, 66381285 fired transitions, 2845 secs || 99590737 markings, 340164752 edges, 32568 markings/sec, 2845 secs
lola: STP completed || 67 tries, 66497340 fired transitions, 2850 secs || 99736628 markings, 340680427 edges, 29178 markings/sec, 2850 secs
lola: STP completed || 67 tries, 66610304 fired transitions, 2855 secs || 99899042 markings, 341246603 edges, 32483 markings/sec, 2855 secs
lola: STP completed || 67 tries, 66724764 fired transitions, 2860 secs || 100051336 markings, 341786823 edges, 30459 markings/sec, 2860 secs
lola: STP completed || 67 tries, 66839274 fired transitions, 2865 secs || 100212843 markings, 342352380 edges, 32301 markings/sec, 2865 secs
lola: STP completed || 67 tries, 66955485 fired transitions, 2870 secs || 100381493 markings, 342936989 edges, 33730 markings/sec, 2870 secs
lola: STP completed || 68 tries, 67071314 fired transitions, 2875 secs || 100540709 markings, 343493359 edges, 31843 markings/sec, 2875 secs
lola: STP completed || 68 tries, 67187598 fired transitions, 2880 secs || 100696883 markings, 344047988 edges, 31235 markings/sec, 2880 secs
lola: STP completed || 68 tries, 67304636 fired transitions, 2885 secs || 100874416 markings, 344650246 edges, 35507 markings/sec, 2885 secs
lola: STP completed || 68 tries, 67422225 fired transitions, 2890 secs || 101042631 markings, 345238319 edges, 33643 markings/sec, 2890 secs
lola: STP completed || 68 tries, 67543605 fired transitions, 2895 secs || 101216869 markings, 345843018 edges, 34848 markings/sec, 2895 secs
lola: STP completed || 68 tries, 67666450 fired transitions, 2900 secs || 101382558 markings, 346435736 edges, 33138 markings/sec, 2900 secs
lola: STP completed || 68 tries, 67788919 fired transitions, 2905 secs || 101536994 markings, 346997893 edges, 30887 markings/sec, 2905 secs
lola: STP completed || 68 tries, 67908648 fired transitions, 2910 secs || 101699771 markings, 347587951 edges, 32555 markings/sec, 2910 secs
lola: STP completed || 69 tries, 68032597 fired transitions, 2915 secs || 101883980 markings, 348217733 edges, 36842 markings/sec, 2915 secs
lola: STP completed || 69 tries, 68156230 fired transitions, 2920 secs || 102059234 markings, 348830356 edges, 35051 markings/sec, 2920 secs
lola: STP completed || 69 tries, 68276897 fired transitions, 2925 secs || 102219264 markings, 349387151 edges, 32006 markings/sec, 2925 secs
lola: STP completed || 69 tries, 68399315 fired transitions, 2930 secs || 102390725 markings, 349993917 edges, 34292 markings/sec, 2930 secs
lola: STP completed || 69 tries, 68520650 fired transitions, 2935 secs || 102557586 markings, 350585502 edges, 33372 markings/sec, 2935 secs
lola: STP completed || 69 tries, 68642453 fired transitions, 2940 secs || 102731876 markings, 351183861 edges, 34858 markings/sec, 2940 secs
lola: STP completed || 69 tries, 68765596 fired transitions, 2945 secs || 102918447 markings, 351828606 edges, 37314 markings/sec, 2945 secs
lola: STP completed || 69 tries, 68886640 fired transitions, 2950 secs || 103084553 markings, 352417707 edges, 33221 markings/sec, 2950 secs
lola: STP completed || 70 tries, 69010446 fired transitions, 2955 secs || 103265306 markings, 353028771 edges, 36151 markings/sec, 2955 secs
lola: STP completed || 70 tries, 69125170 fired transitions, 2960 secs || 103435425 markings, 353611476 edges, 34024 markings/sec, 2960 secs
lola: STP completed || 70 tries, 69239553 fired transitions, 2965 secs || 103602681 markings, 354191857 edges, 33451 markings/sec, 2965 secs
lola: STP completed || 70 tries, 69351465 fired transitions, 2970 secs || 103754116 markings, 354732344 edges, 30287 markings/sec, 2970 secs
lola: STP completed || 70 tries, 69464382 fired transitions, 2975 secs || 103913517 markings, 355289538 edges, 31880 markings/sec, 2975 secs
lola: STP completed || 70 tries, 69578043 fired transitions, 2980 secs || 104064989 markings, 355819430 edges, 30294 markings/sec, 2980 secs
lola: STP completed || 70 tries, 69691326 fired transitions, 2985 secs || 104225376 markings, 356378834 edges, 32077 markings/sec, 2985 secs
lola: STP completed || 70 tries, 69805499 fired transitions, 2990 secs || 104401920 markings, 356984715 edges, 35309 markings/sec, 2990 secs
lola: STP completed || 70 tries, 69919252 fired transitions, 2995 secs || 104562685 markings, 357543320 edges, 32153 markings/sec, 2995 secs
lola: STP completed || 71 tries, 70031801 fired transitions, 3000 secs || 104721311 markings, 358105098 edges, 31725 markings/sec, 3000 secs
lola: STP completed || 71 tries, 70146226 fired transitions, 3005 secs || 104886408 markings, 358686713 edges, 33019 markings/sec, 3005 secs
lola: STP completed || 71 tries, 70260283 fired transitions, 3010 secs || 105047280 markings, 359251700 edges, 32174 markings/sec, 3010 secs
lola: STP completed || 71 tries, 70373919 fired transitions, 3015 secs || 105211355 markings, 359824473 edges, 32815 markings/sec, 3015 secs
lola: STP completed || 71 tries, 70488161 fired transitions, 3020 secs || 105371591 markings, 360385663 edges, 32047 markings/sec, 3020 secs
lola: STP completed || 71 tries, 70602247 fired transitions, 3025 secs || 105530437 markings, 360949999 edges, 31769 markings/sec, 3025 secs
lola: STP completed || 71 tries, 70715301 fired transitions, 3030 secs || 105685556 markings, 361498632 edges, 31024 markings/sec, 3030 secs
lola: STP completed || 71 tries, 70829845 fired transitions, 3035 secs || 105837219 markings, 362041443 edges, 30333 markings/sec, 3035 secs
lola: STP completed || 71 tries, 70944315 fired transitions, 3040 secs || 105987370 markings, 362570896 edges, 30030 markings/sec, 3040 secs
lola: STP completed || 72 tries, 71059803 fired transitions, 3045 secs || 106146919 markings, 363133475 edges, 31910 markings/sec, 3045 secs
lola: STP completed || 72 tries, 71174419 fired transitions, 3050 secs || 106312632 markings, 363713429 edges, 33143 markings/sec, 3050 secs
lola: STP completed || 72 tries, 71289186 fired transitions, 3055 secs || 106474651 markings, 364280771 edges, 32404 markings/sec, 3055 secs
lola: STP completed || 72 tries, 71403437 fired transitions, 3060 secs || 106627500 markings, 364827447 edges, 30570 markings/sec, 3060 secs
lola: STP completed || 72 tries, 71515613 fired transitions, 3065 secs || 106782396 markings, 365374228 edges, 30979 markings/sec, 3065 secs
lola: STP completed || 72 tries, 71627635 fired transitions, 3070 secs || 106944502 markings, 365935691 edges, 32421 markings/sec, 3070 secs
lola: STP completed || 72 tries, 71741500 fired transitions, 3075 secs || 107101371 markings, 366483720 edges, 31374 markings/sec, 3075 secs
lola: STP completed || 72 tries, 71854866 fired transitions, 3080 secs || 107250434 markings, 367011129 edges, 29813 markings/sec, 3080 secs
lola: STP completed || 72 tries, 71968782 fired transitions, 3085 secs || 107412439 markings, 367578751 edges, 32401 markings/sec, 3085 secs
lola: STP completed || 73 tries, 72080736 fired transitions, 3090 secs || 107586212 markings, 368172169 edges, 34755 markings/sec, 3090 secs
lola: STP completed || 73 tries, 72195238 fired transitions, 3095 secs || 107747155 markings, 368742397 edges, 32189 markings/sec, 3095 secs
lola: STP completed || 73 tries, 72308765 fired transitions, 3100 secs || 107901759 markings, 369285875 edges, 30921 markings/sec, 3100 secs
lola: STP completed || 73 tries, 72421932 fired transitions, 3105 secs || 108059942 markings, 369852775 edges, 31637 markings/sec, 3105 secs
lola: STP completed || 73 tries, 72535203 fired transitions, 3110 secs || 108225839 markings, 370427167 edges, 33179 markings/sec, 3110 secs
lola: STP completed || 73 tries, 72649344 fired transitions, 3115 secs || 108392011 markings, 371010230 edges, 33234 markings/sec, 3115 secs
lola: STP completed || 73 tries, 72763310 fired transitions, 3120 secs || 108558990 markings, 371585852 edges, 33396 markings/sec, 3120 secs
lola: STP completed || 73 tries, 72875980 fired transitions, 3125 secs || 108723537 markings, 372162870 edges, 32909 markings/sec, 3125 secs
lola: STP completed || 73 tries, 72990162 fired transitions, 3130 secs || 108885624 markings, 372729930 edges, 32417 markings/sec, 3130 secs
lola: STP completed || 74 tries, 73103409 fired transitions, 3135 secs || 109051804 markings, 373307922 edges, 33236 markings/sec, 3135 secs
lola: STP completed || 74 tries, 73217395 fired transitions, 3140 secs || 109203180 markings, 373851333 edges, 30275 markings/sec, 3140 secs
lola: STP completed || 74 tries, 73330878 fired transitions, 3145 secs || 109367976 markings, 374423876 edges, 32959 markings/sec, 3145 secs
lola: STP completed || 74 tries, 73444588 fired transitions, 3150 secs || 109535724 markings, 375011968 edges, 33550 markings/sec, 3150 secs
lola: STP completed || 74 tries, 73556986 fired transitions, 3155 secs || 109694233 markings, 375573214 edges, 31702 markings/sec, 3155 secs
lola: STP completed || 74 tries, 73669893 fired transitions, 3160 secs || 109855909 markings, 376145497 edges, 32335 markings/sec, 3160 secs
lola: STP completed || 74 tries, 73784112 fired transitions, 3165 secs || 110017553 markings, 376712546 edges, 32329 markings/sec, 3165 secs
lola: STP completed || 74 tries, 73900325 fired transitions, 3170 secs || 110182189 markings, 377289813 edges, 32927 markings/sec, 3170 secs
lola: STP completed || 75 tries, 74013672 fired transitions, 3175 secs || 110355519 markings, 377888995 edges, 34666 markings/sec, 3175 secs
lola: STP completed || 75 tries, 74127221 fired transitions, 3180 secs || 110519031 markings, 378459977 edges, 32702 markings/sec, 3180 secs
lola: STP completed || 75 tries, 74241404 fired transitions, 3185 secs || 110665835 markings, 378990507 edges, 29361 markings/sec, 3185 secs
lola: STP completed || 75 tries, 74354315 fired transitions, 3190 secs || 110817967 markings, 379535933 edges, 30426 markings/sec, 3190 secs
lola: STP completed || 75 tries, 74466423 fired transitions, 3195 secs || 110952701 markings, 380034421 edges, 26947 markings/sec, 3195 secs
lola: STP completed || 75 tries, 74582653 fired transitions, 3200 secs || 111118586 markings, 380605382 edges, 33177 markings/sec, 3200 secs
lola: STP completed || 75 tries, 74697588 fired transitions, 3205 secs || 111271526 markings, 381161509 edges, 30588 markings/sec, 3205 secs
lola: STP completed || 75 tries, 74811522 fired transitions, 3210 secs || 111427193 markings, 381721286 edges, 31133 markings/sec, 3210 secs
lola: STP completed || 75 tries, 74926989 fired transitions, 3215 secs || 111576690 markings, 382260963 edges, 29899 markings/sec, 3215 secs
lola: STP completed || 76 tries, 75043294 fired transitions, 3220 secs || 111734417 markings, 382824678 edges, 31545 markings/sec, 3220 secs
lola: STP completed || 76 tries, 75160218 fired transitions, 3225 secs || 111898766 markings, 383399806 edges, 32870 markings/sec, 3225 secs
lola: STP completed || 76 tries, 75275007 fired transitions, 3230 secs || 112049696 markings, 383943266 edges, 30186 markings/sec, 3230 secs
lola: STP completed || 76 tries, 75390727 fired transitions, 3235 secs || 112207846 markings, 384503133 edges, 31630 markings/sec, 3235 secs
lola: STP completed || 76 tries, 75494638 fired transitions, 3240 secs || 112364993 markings, 385060895 edges, 31429 markings/sec, 3240 secs
lola: STP completed || 76 tries, 75598546 fired transitions, 3245 secs || 112515717 markings, 385585532 edges, 30145 markings/sec, 3245 secs
lola: STP completed || 76 tries, 75713846 fired transitions, 3250 secs || 112683087 markings, 386172734 edges, 33474 markings/sec, 3250 secs
lola: STP completed || 76 tries, 75829082 fired transitions, 3255 secs || 112844758 markings, 386735860 edges, 32334 markings/sec, 3255 secs
lola: STP completed || 76 tries, 75944114 fired transitions, 3260 secs || 113001198 markings, 387290111 edges, 31288 markings/sec, 3260 secs
lola: STP completed || 77 tries, 76057172 fired transitions, 3265 secs || 113185042 markings, 387918494 edges, 36769 markings/sec, 3265 secs
lola: STP completed || 77 tries, 76171614 fired transitions, 3270 secs || 113345882 markings, 388479300 edges, 32168 markings/sec, 3270 secs
lola: STP completed || 77 tries, 76284306 fired transitions, 3275 secs || 113505094 markings, 389037367 edges, 31842 markings/sec, 3275 secs
lola: STP completed || 77 tries, 76398136 fired transitions, 3280 secs || 113671222 markings, 389614949 edges, 33226 markings/sec, 3280 secs
lola: STP completed || 77 tries, 76512841 fired transitions, 3285 secs || 113832920 markings, 390172092 edges, 32340 markings/sec, 3285 secs
lola: STP completed || 77 tries, 76627744 fired transitions, 3290 secs || 114002600 markings, 390752390 edges, 33936 markings/sec, 3290 secs
lola: STP completed || 77 tries, 76741769 fired transitions, 3295 secs || 114165634 markings, 391330015 edges, 32607 markings/sec, 3295 secs
lola: STP completed || 77 tries, 76857174 fired transitions, 3300 secs || 114319036 markings, 391881569 edges, 30680 markings/sec, 3300 secs
lola: STP completed || 77 tries, 76971956 fired transitions, 3305 secs || 114485494 markings, 392465781 edges, 33292 markings/sec, 3305 secs
lola: STP completed || 78 tries, 77087973 fired transitions, 3310 secs || 114643459 markings, 393026312 edges, 31593 markings/sec, 3310 secs
lola: STP completed || 78 tries, 77203950 fired transitions, 3315 secs || 114823601 markings, 393637294 edges, 36028 markings/sec, 3315 secs
lola: STP completed || 78 tries, 77318108 fired transitions, 3320 secs || 114977239 markings, 394196152 edges, 30728 markings/sec, 3320 secs
lola: STP completed || 78 tries, 77433639 fired transitions, 3325 secs || 115143057 markings, 394771759 edges, 33164 markings/sec, 3325 secs
lola: STP completed || 78 tries, 77549409 fired transitions, 3330 secs || 115314037 markings, 395364243 edges, 34196 markings/sec, 3330 secs
lola: STP completed || 78 tries, 77664761 fired transitions, 3335 secs || 115483748 markings, 395953516 edges, 33942 markings/sec, 3335 secs
lola: STP completed || 78 tries, 77779021 fired transitions, 3340 secs || 115655697 markings, 396552575 edges, 34390 markings/sec, 3340 secs
lola: STP completed || 78 tries, 77892741 fired transitions, 3345 secs || 115803860 markings, 397091121 edges, 29633 markings/sec, 3345 secs
lola: STP completed || 79 tries, 78006476 fired transitions, 3350 secs || 115974818 markings, 397681611 edges, 34192 markings/sec, 3350 secs
lola: STP completed || 79 tries, 78122330 fired transitions, 3355 secs || 116139422 markings, 398260568 edges, 32921 markings/sec, 3355 secs
lola: STP completed || 79 tries, 78236225 fired transitions, 3360 secs || 116308617 markings, 398847118 edges, 33839 markings/sec, 3360 secs
lola: STP completed || 79 tries, 78351875 fired transitions, 3365 secs || 116470493 markings, 399415935 edges, 32375 markings/sec, 3365 secs
lola: STP completed || 79 tries, 78466339 fired transitions, 3370 secs || 116647483 markings, 400027429 edges, 35398 markings/sec, 3370 secs
lola: STP completed || 79 tries, 78581061 fired transitions, 3375 secs || 116817122 markings, 400614134 edges, 33928 markings/sec, 3375 secs
lola: STP completed || 79 tries, 78696764 fired transitions, 3380 secs || 116989359 markings, 401203798 edges, 34447 markings/sec, 3380 secs
lola: STP completed || 79 tries, 78812665 fired transitions, 3385 secs || 117157155 markings, 401781706 edges, 33559 markings/sec, 3385 secs
lola: STP completed || 79 tries, 78926356 fired transitions, 3390 secs || 117316640 markings, 402349872 edges, 31897 markings/sec, 3390 secs
lola: STP completed || 80 tries, 79041537 fired transitions, 3395 secs || 117470069 markings, 402905845 edges, 30686 markings/sec, 3395 secs
lola: STP completed || 80 tries, 79156340 fired transitions, 3400 secs || 117642690 markings, 403509676 edges, 34524 markings/sec, 3400 secs
lola: STP completed || 80 tries, 79271595 fired transitions, 3405 secs || 117797418 markings, 404065950 edges, 30946 markings/sec, 3405 secs
lola: STP completed || 80 tries, 79388811 fired transitions, 3410 secs || 117973106 markings, 404668100 edges, 35138 markings/sec, 3410 secs
lola: STP completed || 80 tries, 79504675 fired transitions, 3415 secs || 118133943 markings, 405238187 edges, 32167 markings/sec, 3415 secs
lola: STP completed || 80 tries, 79618620 fired transitions, 3420 secs || 118306298 markings, 405833841 edges, 34471 markings/sec, 3420 secs
lola: STP completed || 80 tries, 79733597 fired transitions, 3425 secs || 118475907 markings, 406422579 edges, 33922 markings/sec, 3425 secs
lola: STP completed || 80 tries, 79849452 fired transitions, 3430 secs || 118647211 markings, 407015905 edges, 34261 markings/sec, 3430 secs
lola: STP completed || 80 tries, 79965428 fired transitions, 3435 secs || 118796961 markings, 407565540 edges, 29950 markings/sec, 3435 secs
lola: STP completed || 81 tries, 80081124 fired transitions, 3440 secs || 118967879 markings, 408164746 edges, 34184 markings/sec, 3440 secs
lola: STP completed || 81 tries, 80195946 fired transitions, 3445 secs || 119136235 markings, 408754108 edges, 33671 markings/sec, 3445 secs
lola: STP completed || 81 tries, 80306384 fired transitions, 3450 secs || 119314646 markings, 409378596 edges, 35682 markings/sec, 3450 secs
lola: STP completed || 81 tries, 80413388 fired transitions, 3455 secs || 119471126 markings, 409934819 edges, 31296 markings/sec, 3455 secs
lola: STP completed || 81 tries, 80526361 fired transitions, 3460 secs || 119626990 markings, 410498888 edges, 31173 markings/sec, 3460 secs
lola: STP completed || 81 tries, 80642953 fired transitions, 3465 secs || 119796061 markings, 411090072 edges, 33814 markings/sec, 3465 secs
lola: STP completed || 81 tries, 80757779 fired transitions, 3470 secs || 119966425 markings, 411683705 edges, 34073 markings/sec, 3470 secs
lola: STP completed || 81 tries, 80873400 fired transitions, 3475 secs || 120129469 markings, 412260522 edges, 32609 markings/sec, 3475 secs
lola: STP completed || 81 tries, 80989694 fired transitions, 3480 secs || 120284991 markings, 412817338 edges, 31104 markings/sec, 3480 secs
lola: STP completed || 82 tries, 81104252 fired transitions, 3485 secs || 120450107 markings, 413386730 edges, 33023 markings/sec, 3485 secs
lola: STP completed || 82 tries, 81218415 fired transitions, 3490 secs || 120606599 markings, 413938092 edges, 31298 markings/sec, 3490 secs
lola: STP completed || 82 tries, 81332668 fired transitions, 3495 secs || 120771258 markings, 414511956 edges, 32932 markings/sec, 3495 secs
lola: STP completed || 82 tries, 81447991 fired transitions, 3500 secs || 120935017 markings, 415091953 edges, 32752 markings/sec, 3500 secs
lola: STP completed || 82 tries, 81564249 fired transitions, 3505 secs || 121105900 markings, 415677437 edges, 34177 markings/sec, 3505 secs
lola: STP completed || 82 tries, 81681977 fired transitions, 3510 secs || 121264426 markings, 416231310 edges, 31705 markings/sec, 3510 secs
lola: STP completed || 82 tries, 81797408 fired transitions, 3515 secs || 121423143 markings, 416794660 edges, 31743 markings/sec, 3515 secs
lola: STP completed || 82 tries, 81911622 fired transitions, 3520 secs || 121598400 markings, 417398055 edges, 35051 markings/sec, 3520 secs
lola: STP completed || 83 tries, 82026301 fired transitions, 3525 secs || 121754086 markings, 417954431 edges, 31137 markings/sec, 3525 secs
lola: STP completed || 83 tries, 82141721 fired transitions, 3530 secs || 121926780 markings, 418552168 edges, 34539 markings/sec, 3530 secs
lola: STP completed || 83 tries, 82255476 fired transitions, 3535 secs || 122094856 markings, 419141728 edges, 33615 markings/sec, 3535 secs
lola: STP completed || 83 tries, 82379612 fired transitions, 3540 secs || 122263139 markings, 419744648 edges, 33657 markings/sec, 3540 secs
lola: STP completed || 83 tries, 82500626 fired transitions, 3545 secs || 122443456 markings, 420371891 edges, 36063 markings/sec, 3545 secs
lola: STP completed || 83 tries, 82620702 fired transitions, 3550 secs || 122626488 markings, 421009622 edges, 36606 markings/sec, 3550 secs
lola: STP completed || 83 tries, 82742601 fired transitions, 3555 secs || 122809746 markings, 421649011 edges, 36652 markings/sec, 3555 secs
lola: STP completed || 83 tries, 82864640 fired transitions, 3560 secs || 123000762 markings, 422309866 edges, 38203 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 7466216 KB
lola: time consumption: 3570 seconds

BK_STOP 1527406424066

--------------------
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="UtahNoC-PT-none"
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/UtahNoC-PT-none.tgz
mv UtahNoC-PT-none 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 UtahNoC-PT-none, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708743400419"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;