Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..........................
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 249K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Railroad-PT-020, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578900188
=====================================================================

--------------------
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 Railroad-PT-020-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526964805521

info: Time: 3600 - MCC
===========================================================================================
prep: translating Railroad-PT-020 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Railroad-PT-020 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Railroad-PT-020 @ 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: 724/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6976
lola: finding significant places
lola: 218 places, 506 transitions, 87 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 132 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-020-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 8978 variables and 45659 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 1949 generators (108 in search tree, 1841 by composition)
lola: representing 1.41517E+105 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 110753 fired transitions, 0 secs || 84350 markings, 141851 edges, 16870 markings/sec, 0 secs
lola: STP completed || 1 tries, 221781 fired transitions, 5 secs || 171574 markings, 293231 edges, 17445 markings/sec, 5 secs
lola: STP completed || 1 tries, 324852 fired transitions, 10 secs || 253513 markings, 430966 edges, 16388 markings/sec, 10 secs
lola: STP completed || 1 tries, 428340 fired transitions, 15 secs || 334550 markings, 571140 edges, 16207 markings/sec, 15 secs
lola: STP completed || 1 tries, 531337 fired transitions, 20 secs || 413980 markings, 712316 edges, 15886 markings/sec, 20 secs
lola: STP completed || 1 tries, 634470 fired transitions, 25 secs || 494517 markings, 849144 edges, 16107 markings/sec, 25 secs
lola: STP completed || 1 tries, 737908 fired transitions, 30 secs || 572277 markings, 992327 edges, 15552 markings/sec, 30 secs
lola: STP completed || 1 tries, 840978 fired transitions, 35 secs || 650977 markings, 1134226 edges, 15740 markings/sec, 35 secs
lola: STP completed || 1 tries, 943591 fired transitions, 40 secs || 731398 markings, 1274276 edges, 16084 markings/sec, 40 secs
lola: STP completed || 2 tries, 1045877 fired transitions, 45 secs || 812205 markings, 1413212 edges, 16161 markings/sec, 45 secs
lola: STP completed || 2 tries, 1148979 fired transitions, 50 secs || 890695 markings, 1558386 edges, 15698 markings/sec, 50 secs
lola: STP completed || 2 tries, 1252265 fired transitions, 55 secs || 969228 markings, 1702304 edges, 15707 markings/sec, 55 secs
lola: STP completed || 2 tries, 1355423 fired transitions, 60 secs || 1048633 markings, 1842246 edges, 15881 markings/sec, 60 secs
lola: STP completed || 2 tries, 1458492 fired transitions, 65 secs || 1128738 markings, 1980526 edges, 16021 markings/sec, 65 secs
lola: STP completed || 2 tries, 1561226 fired transitions, 70 secs || 1207958 markings, 2121201 edges, 15844 markings/sec, 70 secs
lola: STP completed || 2 tries, 1664565 fired transitions, 75 secs || 1288662 markings, 2261235 edges, 16141 markings/sec, 75 secs
lola: STP completed || 2 tries, 1767445 fired transitions, 80 secs || 1370259 markings, 2400779 edges, 16319 markings/sec, 80 secs
lola: STP completed || 2 tries, 1870547 fired transitions, 85 secs || 1450358 markings, 2542281 edges, 16020 markings/sec, 85 secs
lola: STP completed || 2 tries, 1973705 fired transitions, 90 secs || 1528816 markings, 2685897 edges, 15692 markings/sec, 90 secs
lola: STP completed || 3 tries, 2076076 fired transitions, 95 secs || 1609959 markings, 2822108 edges, 16229 markings/sec, 95 secs
lola: STP completed || 3 tries, 2187559 fired transitions, 100 secs || 1698303 markings, 2973341 edges, 17669 markings/sec, 100 secs
lola: STP completed || 3 tries, 2297141 fired transitions, 105 secs || 1786269 markings, 3122257 edges, 17593 markings/sec, 105 secs
lola: STP completed || 3 tries, 2403076 fired transitions, 110 secs || 1868927 markings, 3271261 edges, 16532 markings/sec, 110 secs
lola: STP completed || 3 tries, 2513771 fired transitions, 115 secs || 1953231 markings, 3433635 edges, 16861 markings/sec, 115 secs
lola: STP completed || 3 tries, 2617810 fired transitions, 120 secs || 2032977 markings, 3578492 edges, 15949 markings/sec, 120 secs
lola: STP completed || 3 tries, 2720722 fired transitions, 125 secs || 2114330 markings, 3716268 edges, 16271 markings/sec, 125 secs
lola: STP completed || 3 tries, 2823605 fired transitions, 130 secs || 2191613 markings, 3860068 edges, 15457 markings/sec, 130 secs
lola: STP completed || 3 tries, 2926649 fired transitions, 135 secs || 2268305 markings, 4006259 edges, 15338 markings/sec, 135 secs
lola: STP completed || 4 tries, 3029237 fired transitions, 140 secs || 2343740 markings, 4157846 edges, 15087 markings/sec, 140 secs
lola: STP completed || 4 tries, 3139589 fired transitions, 145 secs || 2426269 markings, 4316739 edges, 16506 markings/sec, 145 secs
lola: STP completed || 4 tries, 3243342 fired transitions, 150 secs || 2500520 markings, 4468653 edges, 14850 markings/sec, 150 secs
lola: STP completed || 4 tries, 3348112 fired transitions, 155 secs || 2575961 markings, 4621144 edges, 15088 markings/sec, 155 secs
lola: STP completed || 4 tries, 3462191 fired transitions, 160 secs || 2662259 markings, 4779498 edges, 17260 markings/sec, 160 secs
lola: STP completed || 4 tries, 3577660 fired transitions, 165 secs || 2749860 markings, 4943428 edges, 17520 markings/sec, 165 secs
lola: STP completed || 4 tries, 3682687 fired transitions, 170 secs || 2824939 markings, 5100962 edges, 15016 markings/sec, 170 secs
lola: STP completed || 4 tries, 3790544 fired transitions, 175 secs || 2903366 markings, 5260281 edges, 15685 markings/sec, 175 secs
lola: STP completed || 4 tries, 3906086 fired transitions, 180 secs || 2991330 markings, 5420916 edges, 17593 markings/sec, 180 secs
lola: STP completed || 5 tries, 4016795 fired transitions, 185 secs || 3070725 markings, 5584709 edges, 15879 markings/sec, 185 secs
lola: STP completed || 5 tries, 4120370 fired transitions, 190 secs || 3145384 markings, 5735188 edges, 14932 markings/sec, 190 secs
lola: STP completed || 5 tries, 4223316 fired transitions, 195 secs || 3217928 markings, 5886052 edges, 14509 markings/sec, 195 secs
lola: STP completed || 5 tries, 4326483 fired transitions, 200 secs || 3291884 markings, 6035678 edges, 14791 markings/sec, 200 secs
lola: STP completed || 5 tries, 4429706 fired transitions, 205 secs || 3363861 markings, 6192225 edges, 14395 markings/sec, 205 secs
lola: STP completed || 5 tries, 4531571 fired transitions, 210 secs || 3436551 markings, 6348496 edges, 14538 markings/sec, 210 secs
lola: STP completed || 5 tries, 4635045 fired transitions, 215 secs || 3510332 markings, 6501770 edges, 14756 markings/sec, 215 secs
lola: STP completed || 5 tries, 4747560 fired transitions, 220 secs || 3591174 markings, 6671267 edges, 16168 markings/sec, 220 secs
lola: STP completed || 5 tries, 4854261 fired transitions, 225 secs || 3668081 markings, 6830418 edges, 15381 markings/sec, 225 secs
lola: STP completed || 5 tries, 4961486 fired transitions, 230 secs || 3744443 markings, 6992842 edges, 15272 markings/sec, 230 secs
lola: STP completed || 6 tries, 5065054 fired transitions, 235 secs || 3816448 markings, 7153074 edges, 14401 markings/sec, 235 secs
lola: STP completed || 6 tries, 5167512 fired transitions, 240 secs || 3888990 markings, 7310631 edges, 14508 markings/sec, 240 secs
lola: STP completed || 6 tries, 5269657 fired transitions, 245 secs || 3963474 markings, 7463004 edges, 14897 markings/sec, 245 secs
lola: STP completed || 6 tries, 5371061 fired transitions, 250 secs || 4037006 markings, 7614223 edges, 14706 markings/sec, 250 secs
lola: STP completed || 6 tries, 5472510 fired transitions, 255 secs || 4111948 markings, 7763145 edges, 14988 markings/sec, 255 secs
lola: STP completed || 6 tries, 5573828 fired transitions, 260 secs || 4185142 markings, 7913465 edges, 14639 markings/sec, 260 secs
lola: STP completed || 6 tries, 5675457 fired transitions, 265 secs || 4257403 markings, 8066035 edges, 14452 markings/sec, 265 secs
lola: STP completed || 6 tries, 5776585 fired transitions, 270 secs || 4328872 markings, 8219001 edges, 14294 markings/sec, 270 secs
lola: STP completed || 6 tries, 5879336 fired transitions, 275 secs || 4400721 markings, 8371220 edges, 14370 markings/sec, 275 secs
lola: STP completed || 6 tries, 5984983 fired transitions, 280 secs || 4481843 markings, 8523467 edges, 16224 markings/sec, 280 secs
lola: STP completed || 7 tries, 6090440 fired transitions, 285 secs || 4562026 markings, 8674488 edges, 16037 markings/sec, 285 secs
lola: STP completed || 7 tries, 6191920 fired transitions, 290 secs || 4636598 markings, 8821488 edges, 14914 markings/sec, 290 secs
lola: STP completed || 7 tries, 6294397 fired transitions, 295 secs || 4709086 markings, 8977665 edges, 14498 markings/sec, 295 secs
lola: STP completed || 7 tries, 6396996 fired transitions, 300 secs || 4778165 markings, 9140863 edges, 13816 markings/sec, 300 secs
lola: STP completed || 7 tries, 6499495 fired transitions, 305 secs || 4846871 markings, 9297576 edges, 13741 markings/sec, 305 secs
lola: STP completed || 7 tries, 6597479 fired transitions, 310 secs || 4913963 markings, 9445721 edges, 13418 markings/sec, 310 secs
lola: STP completed || 7 tries, 6711093 fired transitions, 315 secs || 4996117 markings, 9614028 edges, 16431 markings/sec, 315 secs
lola: STP completed || 7 tries, 6815444 fired transitions, 320 secs || 5071852 markings, 9766049 edges, 15147 markings/sec, 320 secs
lola: STP completed || 7 tries, 6916869 fired transitions, 325 secs || 5146778 markings, 9913318 edges, 14985 markings/sec, 325 secs
lola: STP completed || 8 tries, 7019560 fired transitions, 330 secs || 5218003 markings, 10069018 edges, 14245 markings/sec, 330 secs
lola: STP completed || 8 tries, 7132787 fired transitions, 335 secs || 5300324 markings, 10234560 edges, 16464 markings/sec, 335 secs
lola: STP completed || 8 tries, 7235920 fired transitions, 340 secs || 5372809 markings, 10388551 edges, 14497 markings/sec, 340 secs
lola: STP completed || 8 tries, 7338196 fired transitions, 345 secs || 5442509 markings, 10545711 edges, 13940 markings/sec, 345 secs
lola: STP completed || 8 tries, 7440576 fired transitions, 350 secs || 5512807 markings, 10702191 edges, 14060 markings/sec, 350 secs
lola: STP completed || 8 tries, 7542896 fired transitions, 355 secs || 5582388 markings, 10859036 edges, 13916 markings/sec, 355 secs
lola: STP completed || 8 tries, 7643982 fired transitions, 360 secs || 5656409 markings, 11008346 edges, 14804 markings/sec, 360 secs
lola: STP completed || 8 tries, 7745660 fired transitions, 365 secs || 5727757 markings, 11169864 edges, 14270 markings/sec, 365 secs
lola: STP completed || 8 tries, 7848682 fired transitions, 370 secs || 5801919 markings, 11322315 edges, 14832 markings/sec, 370 secs
lola: STP completed || 8 tries, 7952612 fired transitions, 375 secs || 5873716 markings, 11484992 edges, 14359 markings/sec, 375 secs
lola: STP completed || 9 tries, 8054071 fired transitions, 380 secs || 5944004 markings, 11647924 edges, 14058 markings/sec, 380 secs
lola: STP completed || 9 tries, 8166618 fired transitions, 385 secs || 6025704 markings, 11815238 edges, 16340 markings/sec, 385 secs
lola: STP completed || 9 tries, 8281658 fired transitions, 390 secs || 6109318 markings, 11986602 edges, 16723 markings/sec, 390 secs
lola: STP completed || 9 tries, 8397210 fired transitions, 395 secs || 6199528 markings, 12148439 edges, 18042 markings/sec, 395 secs
lola: STP completed || 9 tries, 8512854 fired transitions, 400 secs || 6283355 markings, 12319312 edges, 16765 markings/sec, 400 secs
lola: STP completed || 9 tries, 8628165 fired transitions, 405 secs || 6367271 markings, 12490081 edges, 16783 markings/sec, 405 secs
lola: STP completed || 9 tries, 8743051 fired transitions, 410 secs || 6450241 markings, 12659384 edges, 16594 markings/sec, 410 secs
lola: STP completed || 9 tries, 8853001 fired transitions, 415 secs || 6527169 markings, 12829150 edges, 15386 markings/sec, 415 secs
lola: STP completed || 9 tries, 8956184 fired transitions, 420 secs || 6598567 markings, 12989030 edges, 14280 markings/sec, 420 secs
lola: STP completed || 10 tries, 9059856 fired transitions, 425 secs || 6669890 markings, 13150382 edges, 14265 markings/sec, 425 secs
lola: STP completed || 10 tries, 9163169 fired transitions, 430 secs || 6740071 markings, 13310312 edges, 14036 markings/sec, 430 secs
lola: STP completed || 10 tries, 9265069 fired transitions, 435 secs || 6811202 markings, 13470674 edges, 14226 markings/sec, 435 secs
lola: STP completed || 10 tries, 9367995 fired transitions, 440 secs || 6882032 markings, 13633320 edges, 14166 markings/sec, 440 secs
lola: STP completed || 10 tries, 9470596 fired transitions, 445 secs || 6951258 markings, 13795316 edges, 13845 markings/sec, 445 secs
lola: STP completed || 10 tries, 9573163 fired transitions, 450 secs || 7021764 markings, 13956086 edges, 14101 markings/sec, 450 secs
lola: STP completed || 10 tries, 9678929 fired transitions, 455 secs || 7095686 markings, 14117099 edges, 14784 markings/sec, 455 secs
lola: STP completed || 10 tries, 9782117 fired transitions, 460 secs || 7168339 markings, 14274234 edges, 14531 markings/sec, 460 secs
lola: STP completed || 10 tries, 9885001 fired transitions, 465 secs || 7241999 markings, 14426653 edges, 14732 markings/sec, 465 secs
lola: STP completed || 10 tries, 9988153 fired transitions, 470 secs || 7314299 markings, 14588356 edges, 14460 markings/sec, 470 secs
lola: STP completed || 11 tries, 10094072 fired transitions, 475 secs || 7387486 markings, 14755672 edges, 14637 markings/sec, 475 secs
lola: STP completed || 11 tries, 10196977 fired transitions, 480 secs || 7459098 markings, 14913837 edges, 14322 markings/sec, 480 secs
lola: STP completed || 11 tries, 10309274 fired transitions, 485 secs || 7547644 markings, 15066493 edges, 17709 markings/sec, 485 secs
lola: STP completed || 11 tries, 10424130 fired transitions, 490 secs || 7627313 markings, 15245878 edges, 15934 markings/sec, 490 secs
lola: STP completed || 11 tries, 10539804 fired transitions, 495 secs || 7711084 markings, 15417444 edges, 16754 markings/sec, 495 secs
lola: STP completed || 11 tries, 10645047 fired transitions, 500 secs || 7784748 markings, 15576030 edges, 14733 markings/sec, 500 secs
lola: STP completed || 11 tries, 10748097 fired transitions, 505 secs || 7856628 markings, 15731276 edges, 14376 markings/sec, 505 secs
lola: STP completed || 11 tries, 10860930 fired transitions, 510 secs || 7934580 markings, 15901756 edges, 15590 markings/sec, 510 secs
lola: STP completed || 11 tries, 10965524 fired transitions, 515 secs || 8007067 markings, 16059318 edges, 14497 markings/sec, 515 secs
lola: STP completed || 12 tries, 11078447 fired transitions, 520 secs || 8085202 markings, 16235495 edges, 15627 markings/sec, 520 secs
lola: STP completed || 12 tries, 11183127 fired transitions, 525 secs || 8157465 markings, 16397260 edges, 14453 markings/sec, 525 secs
lola: STP completed || 12 tries, 11295944 fired transitions, 530 secs || 8237515 markings, 16570064 edges, 16010 markings/sec, 530 secs
lola: STP completed || 12 tries, 11407616 fired transitions, 535 secs || 8313525 markings, 16749654 edges, 15202 markings/sec, 535 secs
lola: STP completed || 12 tries, 11510806 fired transitions, 540 secs || 8386024 markings, 16906808 edges, 14500 markings/sec, 540 secs
lola: STP completed || 12 tries, 11613411 fired transitions, 545 secs || 8462026 markings, 17057247 edges, 15200 markings/sec, 545 secs
lola: STP completed || 12 tries, 11716639 fired transitions, 550 secs || 8536759 markings, 17211548 edges, 14947 markings/sec, 550 secs
lola: STP completed || 12 tries, 11823107 fired transitions, 555 secs || 8613390 markings, 17381099 edges, 15326 markings/sec, 555 secs
lola: STP completed || 12 tries, 11932208 fired transitions, 560 secs || 8689340 markings, 17551993 edges, 15190 markings/sec, 560 secs
lola: STP completed || 13 tries, 12041901 fired transitions, 565 secs || 8763510 markings, 17733502 edges, 14834 markings/sec, 565 secs
lola: STP completed || 13 tries, 12150663 fired transitions, 570 secs || 8838658 markings, 17907129 edges, 15030 markings/sec, 570 secs
lola: STP completed || 13 tries, 12257201 fired transitions, 575 secs || 8914443 markings, 18071819 edges, 15157 markings/sec, 575 secs
lola: STP completed || 13 tries, 12360057 fired transitions, 580 secs || 8985300 markings, 18234193 edges, 14171 markings/sec, 580 secs
lola: STP completed || 13 tries, 12463336 fired transitions, 585 secs || 9055763 markings, 18396530 edges, 14093 markings/sec, 585 secs
lola: STP completed || 13 tries, 12566295 fired transitions, 590 secs || 9128984 markings, 18550275 edges, 14644 markings/sec, 590 secs
lola: STP completed || 13 tries, 12669444 fired transitions, 595 secs || 9200947 markings, 18704462 edges, 14393 markings/sec, 595 secs
lola: STP completed || 13 tries, 12772781 fired transitions, 600 secs || 9272263 markings, 18856553 edges, 14263 markings/sec, 600 secs
lola: STP completed || 13 tries, 12875930 fired transitions, 605 secs || 9344800 markings, 19013704 edges, 14507 markings/sec, 605 secs
lola: STP completed || 13 tries, 12977845 fired transitions, 610 secs || 9418027 markings, 19168772 edges, 14645 markings/sec, 610 secs
lola: STP completed || 14 tries, 13080666 fired transitions, 615 secs || 9489286 markings, 19326868 edges, 14252 markings/sec, 615 secs
lola: STP completed || 14 tries, 13193756 fired transitions, 620 secs || 9569644 markings, 19496902 edges, 16072 markings/sec, 620 secs
lola: STP completed || 14 tries, 13298120 fired transitions, 625 secs || 9643745 markings, 19650099 edges, 14820 markings/sec, 625 secs
lola: STP completed || 14 tries, 13400476 fired transitions, 630 secs || 9714529 markings, 19812884 edges, 14157 markings/sec, 630 secs
lola: STP completed || 14 tries, 13504033 fired transitions, 635 secs || 9784372 markings, 19977457 edges, 13969 markings/sec, 635 secs
lola: STP completed || 14 tries, 13606670 fired transitions, 640 secs || 9855928 markings, 20135889 edges, 14311 markings/sec, 640 secs
lola: STP completed || 14 tries, 13710313 fired transitions, 645 secs || 9929447 markings, 20288856 edges, 14704 markings/sec, 645 secs
lola: STP completed || 14 tries, 13813052 fired transitions, 650 secs || 10003431 markings, 20438130 edges, 14797 markings/sec, 650 secs
lola: STP completed || 14 tries, 13916671 fired transitions, 655 secs || 10073417 markings, 20602077 edges, 13997 markings/sec, 655 secs
lola: STP completed || 15 tries, 14019981 fired transitions, 660 secs || 10145533 markings, 20756598 edges, 14423 markings/sec, 660 secs
lola: STP completed || 15 tries, 14123149 fired transitions, 665 secs || 10217071 markings, 20917957 edges, 14308 markings/sec, 665 secs
lola: STP completed || 15 tries, 14226542 fired transitions, 670 secs || 10286464 markings, 21084393 edges, 13879 markings/sec, 670 secs
lola: STP completed || 15 tries, 14329914 fired transitions, 675 secs || 10358742 markings, 21237475 edges, 14456 markings/sec, 675 secs
lola: STP completed || 15 tries, 14433610 fired transitions, 680 secs || 10430343 markings, 21396141 edges, 14320 markings/sec, 680 secs
lola: STP completed || 15 tries, 14537539 fired transitions, 685 secs || 10503214 markings, 21550268 edges, 14574 markings/sec, 685 secs
lola: STP completed || 15 tries, 14641302 fired transitions, 690 secs || 10574025 markings, 21709241 edges, 14162 markings/sec, 690 secs
lola: STP completed || 15 tries, 14752097 fired transitions, 695 secs || 10650233 markings, 21882970 edges, 15242 markings/sec, 695 secs
lola: STP completed || 15 tries, 14859776 fired transitions, 700 secs || 10724787 markings, 22051674 edges, 14911 markings/sec, 700 secs
lola: STP completed || 15 tries, 14968678 fired transitions, 705 secs || 10796630 markings, 22219178 edges, 14369 markings/sec, 705 secs
lola: STP completed || 16 tries, 15083065 fired transitions, 710 secs || 10876725 markings, 22399539 edges, 16019 markings/sec, 710 secs
lola: STP completed || 16 tries, 15195900 fired transitions, 715 secs || 10955195 markings, 22571691 edges, 15694 markings/sec, 715 secs
lola: STP completed || 16 tries, 15300735 fired transitions, 720 secs || 11026535 markings, 22735386 edges, 14268 markings/sec, 720 secs
lola: STP completed || 16 tries, 15414348 fired transitions, 725 secs || 11102465 markings, 22915700 edges, 15186 markings/sec, 725 secs
lola: STP completed || 16 tries, 15529304 fired transitions, 730 secs || 11184007 markings, 23091245 edges, 16308 markings/sec, 730 secs
lola: STP completed || 16 tries, 15636675 fired transitions, 735 secs || 11259357 markings, 23258184 edges, 15070 markings/sec, 735 secs
lola: STP completed || 16 tries, 15750540 fired transitions, 740 secs || 11343152 markings, 23426321 edges, 16759 markings/sec, 740 secs
lola: STP completed || 16 tries, 15864638 fired transitions, 745 secs || 11419245 markings, 23607559 edges, 15219 markings/sec, 745 secs
lola: STP completed || 16 tries, 15975152 fired transitions, 750 secs || 11496370 markings, 23775681 edges, 15425 markings/sec, 750 secs
lola: STP completed || 17 tries, 16089893 fired transitions, 755 secs || 11575876 markings, 23949002 edges, 15901 markings/sec, 755 secs
lola: STP completed || 17 tries, 16192308 fired transitions, 760 secs || 11644867 markings, 24116852 edges, 13798 markings/sec, 760 secs
lola: STP completed || 17 tries, 16294979 fired transitions, 765 secs || 11716719 markings, 24274205 edges, 14370 markings/sec, 765 secs
lola: STP completed || 17 tries, 16397410 fired transitions, 770 secs || 11785314 markings, 24442349 edges, 13719 markings/sec, 770 secs
lola: STP completed || 17 tries, 16500186 fired transitions, 775 secs || 11855996 markings, 24601678 edges, 14136 markings/sec, 775 secs
lola: STP completed || 17 tries, 16602789 fired transitions, 780 secs || 11925733 markings, 24764269 edges, 13947 markings/sec, 780 secs
lola: STP completed || 17 tries, 16705274 fired transitions, 785 secs || 11997017 markings, 24921403 edges, 14257 markings/sec, 785 secs
lola: STP completed || 17 tries, 16805957 fired transitions, 790 secs || 12071074 markings, 25068506 edges, 14811 markings/sec, 790 secs
lola: STP completed || 17 tries, 16916142 fired transitions, 795 secs || 12146134 markings, 25243424 edges, 15012 markings/sec, 795 secs
lola: STP completed || 18 tries, 17019262 fired transitions, 800 secs || 12216955 markings, 25397298 edges, 14164 markings/sec, 800 secs
lola: STP completed || 18 tries, 17119544 fired transitions, 805 secs || 12286070 markings, 25556378 edges, 13823 markings/sec, 805 secs
lola: STP completed || 18 tries, 17221845 fired transitions, 810 secs || 12358137 markings, 25713375 edges, 14413 markings/sec, 810 secs
lola: STP completed || 18 tries, 17324655 fired transitions, 815 secs || 12427633 markings, 25881478 edges, 13899 markings/sec, 815 secs
lola: STP completed || 18 tries, 17427297 fired transitions, 820 secs || 12500212 markings, 26030641 edges, 14516 markings/sec, 820 secs
lola: STP completed || 18 tries, 17540736 fired transitions, 825 secs || 12575042 markings, 26192357 edges, 14966 markings/sec, 825 secs
lola: STP completed || 18 tries, 17655410 fired transitions, 830 secs || 12653966 markings, 26372696 edges, 15785 markings/sec, 830 secs
lola: STP completed || 18 tries, 17760754 fired transitions, 835 secs || 12725582 markings, 26536523 edges, 14323 markings/sec, 835 secs
lola: STP completed || 18 tries, 17863733 fired transitions, 840 secs || 12797128 markings, 26692794 edges, 14309 markings/sec, 840 secs
lola: STP completed || 18 tries, 17966768 fired transitions, 845 secs || 12867797 markings, 26857005 edges, 14134 markings/sec, 845 secs
lola: STP completed || 19 tries, 18074494 fired transitions, 850 secs || 12939726 markings, 27030880 edges, 14386 markings/sec, 850 secs
lola: STP completed || 19 tries, 18180028 fired transitions, 855 secs || 13010776 markings, 27195481 edges, 14210 markings/sec, 855 secs
lola: STP completed || 19 tries, 18286557 fired transitions, 860 secs || 13081620 markings, 27370983 edges, 14169 markings/sec, 860 secs
lola: STP completed || 19 tries, 18395419 fired transitions, 865 secs || 13155081 markings, 27544359 edges, 14692 markings/sec, 865 secs
lola: STP completed || 19 tries, 18508924 fired transitions, 870 secs || 13233438 markings, 27721131 edges, 15671 markings/sec, 870 secs
lola: STP completed || 19 tries, 18623899 fired transitions, 875 secs || 13312325 markings, 27902629 edges, 15777 markings/sec, 875 secs
lola: STP completed || 19 tries, 18738592 fired transitions, 880 secs || 13392882 markings, 28077928 edges, 16111 markings/sec, 880 secs
lola: STP completed || 19 tries, 18843711 fired transitions, 885 secs || 13468705 markings, 28229982 edges, 15165 markings/sec, 885 secs
lola: STP completed || 19 tries, 18945298 fired transitions, 890 secs || 13542512 markings, 28371593 edges, 14761 markings/sec, 890 secs
lola: STP completed || 20 tries, 19047993 fired transitions, 895 secs || 13615292 markings, 28525448 edges, 14556 markings/sec, 895 secs
lola: STP completed || 20 tries, 19151676 fired transitions, 900 secs || 13690043 markings, 28676038 edges, 14950 markings/sec, 900 secs
lola: STP completed || 20 tries, 19262311 fired transitions, 905 secs || 13768275 markings, 28840216 edges, 15646 markings/sec, 905 secs
lola: STP completed || 20 tries, 19377437 fired transitions, 910 secs || 13847775 markings, 29021780 edges, 15900 markings/sec, 910 secs
lola: STP completed || 20 tries, 19481802 fired transitions, 915 secs || 13921182 markings, 29181409 edges, 14681 markings/sec, 915 secs
lola: STP completed || 20 tries, 19587003 fired transitions, 920 secs || 13993364 markings, 29347963 edges, 14436 markings/sec, 920 secs
lola: STP completed || 20 tries, 19690811 fired transitions, 925 secs || 14066626 markings, 29513386 edges, 14652 markings/sec, 925 secs
lola: STP completed || 20 tries, 19795377 fired transitions, 930 secs || 14138330 markings, 29680755 edges, 14341 markings/sec, 930 secs
lola: STP completed || 20 tries, 19907659 fired transitions, 935 secs || 14215848 markings, 29858569 edges, 15504 markings/sec, 935 secs
lola: STP completed || 21 tries, 20012367 fired transitions, 940 secs || 14286903 markings, 30020605 edges, 14211 markings/sec, 940 secs
lola: STP completed || 21 tries, 20115818 fired transitions, 945 secs || 14359052 markings, 30181531 edges, 14430 markings/sec, 945 secs
lola: STP completed || 21 tries, 20218561 fired transitions, 950 secs || 14430270 markings, 30340591 edges, 14244 markings/sec, 950 secs
lola: STP completed || 21 tries, 20322092 fired transitions, 955 secs || 14499518 markings, 30506739 edges, 13850 markings/sec, 955 secs
lola: STP completed || 21 tries, 20425422 fired transitions, 960 secs || 14570749 markings, 30667743 edges, 14246 markings/sec, 960 secs
lola: STP completed || 21 tries, 20528822 fired transitions, 965 secs || 14641313 markings, 30831384 edges, 14113 markings/sec, 965 secs
lola: STP completed || 21 tries, 20633957 fired transitions, 970 secs || 14712787 markings, 30994745 edges, 14295 markings/sec, 970 secs
lola: STP completed || 21 tries, 20742248 fired transitions, 975 secs || 14785914 markings, 31169114 edges, 14625 markings/sec, 975 secs
lola: STP completed || 21 tries, 20850912 fired transitions, 980 secs || 14860270 markings, 31342548 edges, 14871 markings/sec, 980 secs
lola: STP completed || 21 tries, 20955315 fired transitions, 985 secs || 14930217 markings, 31514404 edges, 13989 markings/sec, 985 secs
lola: STP completed || 22 tries, 21056984 fired transitions, 990 secs || 15000107 markings, 31675654 edges, 13978 markings/sec, 990 secs
lola: STP completed || 22 tries, 21162809 fired transitions, 995 secs || 15074378 markings, 31838838 edges, 14854 markings/sec, 995 secs
lola: STP completed || 22 tries, 21264781 fired transitions, 1000 secs || 15144036 markings, 32003733 edges, 13932 markings/sec, 1000 secs
lola: STP completed || 22 tries, 21372659 fired transitions, 1005 secs || 15218210 markings, 32177395 edges, 14835 markings/sec, 1005 secs
lola: STP completed || 22 tries, 21481368 fired transitions, 1010 secs || 15293582 markings, 32343939 edges, 15074 markings/sec, 1010 secs
lola: STP completed || 22 tries, 21584755 fired transitions, 1015 secs || 15367869 markings, 32504424 edges, 14857 markings/sec, 1015 secs
lola: STP completed || 22 tries, 21688392 fired transitions, 1020 secs || 15437350 markings, 32668855 edges, 13896 markings/sec, 1020 secs
lola: STP completed || 22 tries, 21790500 fired transitions, 1025 secs || 15506053 markings, 32837474 edges, 13741 markings/sec, 1025 secs
lola: STP completed || 22 tries, 21894847 fired transitions, 1030 secs || 15575237 markings, 33007679 edges, 13837 markings/sec, 1030 secs
lola: STP completed || 23 tries, 22000248 fired transitions, 1035 secs || 15645438 markings, 33175641 edges, 14040 markings/sec, 1035 secs
lola: STP completed || 23 tries, 22102556 fired transitions, 1040 secs || 15714778 markings, 33343519 edges, 13868 markings/sec, 1040 secs
lola: STP completed || 23 tries, 22206087 fired transitions, 1045 secs || 15784114 markings, 33508203 edges, 13867 markings/sec, 1045 secs
lola: STP completed || 23 tries, 22309349 fired transitions, 1050 secs || 15854226 markings, 33670589 edges, 14022 markings/sec, 1050 secs
lola: STP completed || 23 tries, 22412657 fired transitions, 1055 secs || 15925143 markings, 33830168 edges, 14183 markings/sec, 1055 secs
lola: STP completed || 23 tries, 22517833 fired transitions, 1060 secs || 16000963 markings, 33986603 edges, 15164 markings/sec, 1060 secs
lola: STP completed || 23 tries, 22621535 fired transitions, 1065 secs || 16072791 markings, 34153281 edges, 14366 markings/sec, 1065 secs
lola: STP completed || 23 tries, 22717354 fired transitions, 1070 secs || 16140459 markings, 34300569 edges, 13534 markings/sec, 1070 secs
lola: STP completed || 23 tries, 22820373 fired transitions, 1075 secs || 16208871 markings, 34466505 edges, 13682 markings/sec, 1075 secs
lola: STP completed || 23 tries, 22923552 fired transitions, 1080 secs || 16278018 markings, 34636629 edges, 13829 markings/sec, 1080 secs
lola: STP completed || 24 tries, 23026232 fired transitions, 1085 secs || 16346907 markings, 34799601 edges, 13778 markings/sec, 1085 secs
lola: STP completed || 24 tries, 23128286 fired transitions, 1090 secs || 16416273 markings, 34968728 edges, 13873 markings/sec, 1090 secs
lola: STP completed || 24 tries, 23240831 fired transitions, 1095 secs || 16495297 markings, 35143746 edges, 15805 markings/sec, 1095 secs
lola: STP completed || 24 tries, 23346323 fired transitions, 1100 secs || 16570445 markings, 35304628 edges, 15030 markings/sec, 1100 secs
lola: STP completed || 24 tries, 23451218 fired transitions, 1105 secs || 16642017 markings, 35469825 edges, 14314 markings/sec, 1105 secs
lola: STP completed || 24 tries, 23554712 fired transitions, 1110 secs || 16710701 markings, 35638371 edges, 13737 markings/sec, 1110 secs
lola: STP completed || 24 tries, 23663939 fired transitions, 1115 secs || 16784862 markings, 35815744 edges, 14832 markings/sec, 1115 secs
lola: STP completed || 24 tries, 23768375 fired transitions, 1120 secs || 16859418 markings, 35972904 edges, 14911 markings/sec, 1120 secs
lola: STP completed || 24 tries, 23873857 fired transitions, 1125 secs || 16941222 markings, 36119940 edges, 16361 markings/sec, 1125 secs
lola: STP completed || 24 tries, 23976728 fired transitions, 1130 secs || 17017847 markings, 36268230 edges, 15325 markings/sec, 1130 secs
lola: STP completed || 25 tries, 24089225 fired transitions, 1135 secs || 17093205 markings, 36448983 edges, 15072 markings/sec, 1135 secs
lola: STP completed || 25 tries, 24195041 fired transitions, 1140 secs || 17166047 markings, 36611393 edges, 14568 markings/sec, 1140 secs
lola: STP completed || 25 tries, 24305746 fired transitions, 1145 secs || 17240425 markings, 36790317 edges, 14876 markings/sec, 1145 secs
lola: STP completed || 25 tries, 24409547 fired transitions, 1150 secs || 17310244 markings, 36955402 edges, 13964 markings/sec, 1150 secs
lola: STP completed || 25 tries, 24512562 fired transitions, 1155 secs || 17381917 markings, 37119962 edges, 14335 markings/sec, 1155 secs
lola: STP completed || 25 tries, 24620700 fired transitions, 1160 secs || 17454443 markings, 37295537 edges, 14505 markings/sec, 1160 secs
lola: STP completed || 25 tries, 24732795 fired transitions, 1165 secs || 17530687 markings, 37473370 edges, 15249 markings/sec, 1165 secs
lola: STP completed || 25 tries, 24835440 fired transitions, 1170 secs || 17600522 markings, 37635309 edges, 13967 markings/sec, 1170 secs
lola: STP completed || 25 tries, 24942900 fired transitions, 1175 secs || 17672444 markings, 37806766 edges, 14384 markings/sec, 1175 secs
lola: STP completed || 26 tries, 25047065 fired transitions, 1180 secs || 17744932 markings, 37965549 edges, 14498 markings/sec, 1180 secs
lola: STP completed || 26 tries, 25159563 fired transitions, 1185 secs || 17821699 markings, 38139617 edges, 15353 markings/sec, 1185 secs
lola: STP completed || 26 tries, 25274378 fired transitions, 1190 secs || 17899808 markings, 38320212 edges, 15622 markings/sec, 1190 secs
lola: STP completed || 26 tries, 25383951 fired transitions, 1195 secs || 17974334 markings, 38491913 edges, 14905 markings/sec, 1195 secs
lola: STP completed || 26 tries, 25486334 fired transitions, 1200 secs || 18045635 markings, 38647747 edges, 14260 markings/sec, 1200 secs
lola: STP completed || 26 tries, 25587713 fired transitions, 1205 secs || 18114665 markings, 38806405 edges, 13806 markings/sec, 1205 secs
lola: STP completed || 26 tries, 25690330 fired transitions, 1210 secs || 18182852 markings, 38971904 edges, 13637 markings/sec, 1210 secs
lola: STP completed || 26 tries, 25802376 fired transitions, 1215 secs || 18258793 markings, 39151692 edges, 15188 markings/sec, 1215 secs
lola: STP completed || 26 tries, 25905905 fired transitions, 1220 secs || 18329227 markings, 39311173 edges, 14087 markings/sec, 1220 secs
lola: STP completed || 27 tries, 26008749 fired transitions, 1225 secs || 18398780 markings, 39469646 edges, 13911 markings/sec, 1225 secs
lola: STP completed || 27 tries, 26109742 fired transitions, 1230 secs || 18467451 markings, 39632934 edges, 13734 markings/sec, 1230 secs
lola: STP completed || 27 tries, 26211895 fired transitions, 1235 secs || 18540358 markings, 39788694 edges, 14581 markings/sec, 1235 secs
lola: STP completed || 27 tries, 26323682 fired transitions, 1240 secs || 18619302 markings, 39955082 edges, 15789 markings/sec, 1240 secs
lola: STP completed || 27 tries, 26431449 fired transitions, 1245 secs || 18697929 markings, 40105494 edges, 15725 markings/sec, 1245 secs
lola: STP completed || 27 tries, 26540793 fired transitions, 1250 secs || 18772632 markings, 40273623 edges, 14941 markings/sec, 1250 secs
lola: STP completed || 27 tries, 26653243 fired transitions, 1255 secs || 18847926 markings, 40447087 edges, 15059 markings/sec, 1255 secs
lola: STP completed || 27 tries, 26760551 fired transitions, 1260 secs || 18918365 markings, 40625222 edges, 14088 markings/sec, 1260 secs
lola: STP completed || 27 tries, 26867161 fired transitions, 1265 secs || 18989390 markings, 40794920 edges, 14205 markings/sec, 1265 secs
lola: STP completed || 27 tries, 26974769 fired transitions, 1270 secs || 19061074 markings, 40972103 edges, 14337 markings/sec, 1270 secs
lola: STP completed || 28 tries, 27076742 fired transitions, 1275 secs || 19127639 markings, 41144307 edges, 13313 markings/sec, 1275 secs
lola: STP completed || 28 tries, 27185799 fired transitions, 1280 secs || 19203994 markings, 41314717 edges, 15271 markings/sec, 1280 secs
lola: STP completed || 28 tries, 27292142 fired transitions, 1285 secs || 19277310 markings, 41481714 edges, 14663 markings/sec, 1285 secs
lola: STP completed || 28 tries, 27404707 fired transitions, 1290 secs || 19353099 markings, 41662591 edges, 15158 markings/sec, 1290 secs
lola: STP completed || 28 tries, 27516155 fired transitions, 1295 secs || 19428059 markings, 41835925 edges, 14992 markings/sec, 1295 secs
lola: STP completed || 28 tries, 27619320 fired transitions, 1300 secs || 19497375 markings, 41996722 edges, 13863 markings/sec, 1300 secs
lola: STP completed || 28 tries, 27722470 fired transitions, 1305 secs || 19565619 markings, 42163184 edges, 13649 markings/sec, 1305 secs
lola: STP completed || 28 tries, 27830444 fired transitions, 1310 secs || 19637718 markings, 42339143 edges, 14420 markings/sec, 1310 secs
lola: STP completed || 28 tries, 27944233 fired transitions, 1315 secs || 19718185 markings, 42511568 edges, 16093 markings/sec, 1315 secs
lola: STP completed || 29 tries, 28048167 fired transitions, 1320 secs || 19789215 markings, 42674593 edges, 14206 markings/sec, 1320 secs
lola: STP completed || 29 tries, 28151199 fired transitions, 1325 secs || 19861122 markings, 42830896 edges, 14381 markings/sec, 1325 secs
lola: STP completed || 29 tries, 28254958 fired transitions, 1330 secs || 19929010 markings, 42993544 edges, 13578 markings/sec, 1330 secs
lola: STP completed || 29 tries, 28358572 fired transitions, 1335 secs || 19996971 markings, 43158856 edges, 13592 markings/sec, 1335 secs
lola: STP completed || 29 tries, 28462088 fired transitions, 1340 secs || 20066050 markings, 43321323 edges, 13816 markings/sec, 1340 secs
lola: STP completed || 29 tries, 28572358 fired transitions, 1345 secs || 20140432 markings, 43494773 edges, 14876 markings/sec, 1345 secs
lola: STP completed || 29 tries, 28677272 fired transitions, 1350 secs || 20210405 markings, 43661544 edges, 13995 markings/sec, 1350 secs
lola: STP completed || 29 tries, 28787714 fired transitions, 1355 secs || 20287515 markings, 43828729 edges, 15422 markings/sec, 1355 secs
lola: STP completed || 29 tries, 28895119 fired transitions, 1360 secs || 20360722 markings, 43999453 edges, 14641 markings/sec, 1360 secs
lola: STP completed || 29 tries, 28999966 fired transitions, 1365 secs || 20429464 markings, 44165557 edges, 13748 markings/sec, 1365 secs
lola: STP completed || 30 tries, 29111748 fired transitions, 1370 secs || 20507033 markings, 44336268 edges, 15514 markings/sec, 1370 secs
lola: STP completed || 30 tries, 29216140 fired transitions, 1375 secs || 20576177 markings, 44502406 edges, 13829 markings/sec, 1375 secs
lola: STP completed || 30 tries, 29319324 fired transitions, 1380 secs || 20646484 markings, 44668206 edges, 14061 markings/sec, 1380 secs
lola: STP completed || 30 tries, 29422462 fired transitions, 1385 secs || 20713726 markings, 44833948 edges, 13448 markings/sec, 1385 secs
lola: STP completed || 30 tries, 29526709 fired transitions, 1390 secs || 20779177 markings, 44992499 edges, 13090 markings/sec, 1390 secs
lola: STP completed || 30 tries, 29631511 fired transitions, 1395 secs || 20845130 markings, 45158035 edges, 13191 markings/sec, 1395 secs
lola: STP completed || 30 tries, 29741520 fired transitions, 1400 secs || 20921682 markings, 45329760 edges, 15310 markings/sec, 1400 secs
lola: STP completed || 30 tries, 29842743 fired transitions, 1405 secs || 20994026 markings, 45478851 edges, 14469 markings/sec, 1405 secs
lola: STP completed || 30 tries, 29945243 fired transitions, 1410 secs || 21058902 markings, 45641058 edges, 12975 markings/sec, 1410 secs
lola: STP completed || 31 tries, 30048497 fired transitions, 1415 secs || 21127381 markings, 45810965 edges, 13696 markings/sec, 1415 secs
lola: STP completed || 31 tries, 30150154 fired transitions, 1420 secs || 21198509 markings, 45971835 edges, 14226 markings/sec, 1420 secs
lola: STP completed || 31 tries, 30252781 fired transitions, 1425 secs || 21267318 markings, 46139942 edges, 13762 markings/sec, 1425 secs
lola: STP completed || 31 tries, 30364789 fired transitions, 1430 secs || 21343014 markings, 46322824 edges, 15139 markings/sec, 1430 secs
lola: STP completed || 31 tries, 30475255 fired transitions, 1435 secs || 21418782 markings, 46500212 edges, 15154 markings/sec, 1435 secs
lola: STP completed || 31 tries, 30582343 fired transitions, 1440 secs || 21491196 markings, 46665644 edges, 14483 markings/sec, 1440 secs
lola: STP completed || 31 tries, 30694206 fired transitions, 1445 secs || 21568473 markings, 46841075 edges, 15455 markings/sec, 1445 secs
lola: STP completed || 31 tries, 30800906 fired transitions, 1450 secs || 21641959 markings, 47009719 edges, 14697 markings/sec, 1450 secs
lola: STP completed || 31 tries, 30903159 fired transitions, 1455 secs || 21710386 markings, 47175749 edges, 13685 markings/sec, 1455 secs
lola: STP completed || 32 tries, 31004732 fired transitions, 1460 secs || 21780928 markings, 47333073 edges, 14108 markings/sec, 1460 secs
lola: STP completed || 32 tries, 31107168 fired transitions, 1465 secs || 21850524 markings, 47493382 edges, 13919 markings/sec, 1465 secs
lola: STP completed || 32 tries, 31218317 fired transitions, 1470 secs || 21925178 markings, 47673345 edges, 14931 markings/sec, 1470 secs
lola: STP completed || 32 tries, 31332745 fired transitions, 1475 secs || 22003149 markings, 47850805 edges, 15594 markings/sec, 1475 secs
lola: STP completed || 32 tries, 31447522 fired transitions, 1480 secs || 22080330 markings, 48037637 edges, 15436 markings/sec, 1480 secs
lola: STP completed || 32 tries, 31562093 fired transitions, 1485 secs || 22160267 markings, 48215526 edges, 15987 markings/sec, 1485 secs
lola: STP completed || 32 tries, 31676552 fired transitions, 1490 secs || 22238609 markings, 48398380 edges, 15668 markings/sec, 1490 secs
lola: STP completed || 32 tries, 31791385 fired transitions, 1495 secs || 22315810 markings, 48586290 edges, 15440 markings/sec, 1495 secs
lola: STP completed || 32 tries, 31905625 fired transitions, 1500 secs || 22394333 markings, 48770461 edges, 15705 markings/sec, 1500 secs
lola: STP completed || 33 tries, 32007128 fired transitions, 1505 secs || 22465510 markings, 48934273 edges, 14235 markings/sec, 1505 secs
lola: STP completed || 33 tries, 32120582 fired transitions, 1510 secs || 22542138 markings, 49118261 edges, 15326 markings/sec, 1510 secs
lola: STP completed || 33 tries, 32226699 fired transitions, 1515 secs || 22616364 markings, 49282751 edges, 14845 markings/sec, 1515 secs
lola: STP completed || 33 tries, 32329125 fired transitions, 1520 secs || 22685080 markings, 49443025 edges, 13743 markings/sec, 1520 secs
lola: STP completed || 33 tries, 32433572 fired transitions, 1525 secs || 22755722 markings, 49611432 edges, 14128 markings/sec, 1525 secs
lola: STP completed || 33 tries, 32535809 fired transitions, 1530 secs || 22825625 markings, 49778011 edges, 13981 markings/sec, 1530 secs
lola: STP completed || 33 tries, 32636468 fired transitions, 1535 secs || 22895245 markings, 49942965 edges, 13924 markings/sec, 1535 secs
lola: STP completed || 33 tries, 32737788 fired transitions, 1540 secs || 22963339 markings, 50108421 edges, 13619 markings/sec, 1540 secs
lola: STP completed || 33 tries, 32839434 fired transitions, 1545 secs || 23033748 markings, 50271716 edges, 14082 markings/sec, 1545 secs
lola: STP completed || 33 tries, 32941708 fired transitions, 1550 secs || 23103201 markings, 50433814 edges, 13891 markings/sec, 1550 secs
lola: STP completed || 34 tries, 33046697 fired transitions, 1555 secs || 23171536 markings, 50604251 edges, 13667 markings/sec, 1555 secs
lola: STP completed || 34 tries, 33149477 fired transitions, 1560 secs || 23239802 markings, 50771109 edges, 13653 markings/sec, 1560 secs
lola: STP completed || 34 tries, 33263947 fired transitions, 1565 secs || 23317435 markings, 50938589 edges, 15527 markings/sec, 1565 secs
lola: STP completed || 34 tries, 33373570 fired transitions, 1570 secs || 23392978 markings, 51118209 edges, 15109 markings/sec, 1570 secs
lola: STP completed || 34 tries, 33478970 fired transitions, 1575 secs || 23464560 markings, 51295456 edges, 14316 markings/sec, 1575 secs
lola: STP completed || 34 tries, 33585654 fired transitions, 1580 secs || 23537428 markings, 51466790 edges, 14574 markings/sec, 1580 secs
lola: STP completed || 34 tries, 33698873 fired transitions, 1585 secs || 23614657 markings, 51643672 edges, 15446 markings/sec, 1585 secs
lola: STP completed || 34 tries, 33808740 fired transitions, 1590 secs || 23690035 markings, 51818722 edges, 15076 markings/sec, 1590 secs
lola: STP completed || 34 tries, 33918387 fired transitions, 1595 secs || 23765638 markings, 52001658 edges, 15121 markings/sec, 1595 secs
lola: STP completed || 35 tries, 34023736 fired transitions, 1600 secs || 23834984 markings, 52173846 edges, 13869 markings/sec, 1600 secs
lola: STP completed || 35 tries, 34125945 fired transitions, 1605 secs || 23904389 markings, 52333817 edges, 13881 markings/sec, 1605 secs
lola: STP completed || 35 tries, 34228669 fired transitions, 1610 secs || 23973079 markings, 52499294 edges, 13738 markings/sec, 1610 secs
lola: STP completed || 35 tries, 34330891 fired transitions, 1615 secs || 24041009 markings, 52662587 edges, 13586 markings/sec, 1615 secs
lola: STP completed || 35 tries, 34433321 fired transitions, 1620 secs || 24108641 markings, 52831769 edges, 13526 markings/sec, 1620 secs
lola: STP completed || 35 tries, 34534723 fired transitions, 1625 secs || 24180230 markings, 52991973 edges, 14318 markings/sec, 1625 secs
lola: STP completed || 35 tries, 34637547 fired transitions, 1630 secs || 24249115 markings, 53156492 edges, 13777 markings/sec, 1630 secs
lola: STP completed || 35 tries, 34740388 fired transitions, 1635 secs || 24316040 markings, 53323548 edges, 13385 markings/sec, 1635 secs
lola: STP completed || 35 tries, 34846109 fired transitions, 1640 secs || 24385583 markings, 53499191 edges, 13909 markings/sec, 1640 secs
lola: STP completed || 35 tries, 34956330 fired transitions, 1645 secs || 24459291 markings, 53674091 edges, 14742 markings/sec, 1645 secs
lola: STP completed || 36 tries, 35059120 fired transitions, 1650 secs || 24527695 markings, 53849904 edges, 13681 markings/sec, 1650 secs
lola: STP completed || 36 tries, 35165145 fired transitions, 1655 secs || 24600061 markings, 54011896 edges, 14473 markings/sec, 1655 secs
lola: STP completed || 36 tries, 35266653 fired transitions, 1660 secs || 24668634 markings, 54181602 edges, 13715 markings/sec, 1660 secs
lola: STP completed || 36 tries, 35371764 fired transitions, 1665 secs || 24740523 markings, 54352046 edges, 14378 markings/sec, 1665 secs
lola: STP completed || 36 tries, 35486152 fired transitions, 1670 secs || 24817625 markings, 54536320 edges, 15420 markings/sec, 1670 secs
lola: STP completed || 36 tries, 35600951 fired transitions, 1675 secs || 24894179 markings, 54719930 edges, 15311 markings/sec, 1675 secs
lola: STP completed || 36 tries, 35716058 fired transitions, 1680 secs || 24970933 markings, 54911269 edges, 15351 markings/sec, 1680 secs
lola: STP completed || 36 tries, 35830803 fired transitions, 1685 secs || 25055172 markings, 55080772 edges, 16848 markings/sec, 1685 secs
lola: STP completed || 36 tries, 35945718 fired transitions, 1690 secs || 25136212 markings, 55255925 edges, 16208 markings/sec, 1690 secs
lola: STP completed || 37 tries, 36059426 fired transitions, 1695 secs || 25214629 markings, 55433382 edges, 15683 markings/sec, 1695 secs
lola: STP completed || 37 tries, 36173994 fired transitions, 1700 secs || 25292362 markings, 55616304 edges, 15547 markings/sec, 1700 secs
lola: STP completed || 37 tries, 36288251 fired transitions, 1705 secs || 25369804 markings, 55799523 edges, 15488 markings/sec, 1705 secs
lola: STP completed || 37 tries, 36403461 fired transitions, 1710 secs || 25447074 markings, 55981464 edges, 15454 markings/sec, 1710 secs
lola: STP completed || 37 tries, 36518287 fired transitions, 1715 secs || 25522694 markings, 56171600 edges, 15124 markings/sec, 1715 secs
lola: STP completed || 37 tries, 36626599 fired transitions, 1720 secs || 25593379 markings, 56349569 edges, 14137 markings/sec, 1720 secs
lola: STP completed || 37 tries, 36732733 fired transitions, 1725 secs || 25663298 markings, 56520196 edges, 13984 markings/sec, 1725 secs
lola: STP completed || 37 tries, 36835282 fired transitions, 1730 secs || 25731318 markings, 56679740 edges, 13604 markings/sec, 1730 secs
lola: STP completed || 37 tries, 36941280 fired transitions, 1735 secs || 25801795 markings, 56851551 edges, 14095 markings/sec, 1735 secs
lola: STP completed || 38 tries, 37043857 fired transitions, 1740 secs || 25868831 markings, 57017060 edges, 13407 markings/sec, 1740 secs
lola: STP completed || 38 tries, 37147352 fired transitions, 1745 secs || 25934378 markings, 57184990 edges, 13109 markings/sec, 1745 secs
lola: STP completed || 38 tries, 37249949 fired transitions, 1750 secs || 26001734 markings, 57349808 edges, 13471 markings/sec, 1750 secs
lola: STP completed || 38 tries, 37360321 fired transitions, 1755 secs || 26076760 markings, 57522063 edges, 15005 markings/sec, 1755 secs
lola: STP completed || 38 tries, 37470764 fired transitions, 1760 secs || 26149424 markings, 57703958 edges, 14533 markings/sec, 1760 secs
lola: STP completed || 38 tries, 37572459 fired transitions, 1765 secs || 26219525 markings, 57867911 edges, 14020 markings/sec, 1765 secs
lola: STP completed || 38 tries, 37675692 fired transitions, 1770 secs || 26290296 markings, 58029388 edges, 14154 markings/sec, 1770 secs
lola: STP completed || 38 tries, 37785591 fired transitions, 1775 secs || 26364246 markings, 58205254 edges, 14790 markings/sec, 1775 secs
lola: STP completed || 38 tries, 37891340 fired transitions, 1780 secs || 26441448 markings, 58361730 edges, 15440 markings/sec, 1780 secs
lola: STP completed || 38 tries, 37994075 fired transitions, 1785 secs || 26513315 markings, 58520632 edges, 14373 markings/sec, 1785 secs
lola: STP completed || 39 tries, 38101537 fired transitions, 1790 secs || 26585101 markings, 58693302 edges, 14357 markings/sec, 1790 secs
lola: STP completed || 39 tries, 38204860 fired transitions, 1795 secs || 26655141 markings, 58861116 edges, 14008 markings/sec, 1795 secs
lola: STP completed || 39 tries, 38299655 fired transitions, 1800 secs || 26719363 markings, 59013866 edges, 12844 markings/sec, 1800 secs
lola: STP completed || 39 tries, 38406506 fired transitions, 1805 secs || 26791298 markings, 59187731 edges, 14387 markings/sec, 1805 secs
lola: STP completed || 39 tries, 38514347 fired transitions, 1810 secs || 26868074 markings, 59351019 edges, 15355 markings/sec, 1810 secs
lola: STP completed || 39 tries, 38620351 fired transitions, 1815 secs || 26938861 markings, 59525494 edges, 14157 markings/sec, 1815 secs
lola: STP completed || 39 tries, 38725956 fired transitions, 1820 secs || 27010596 markings, 59691748 edges, 14347 markings/sec, 1820 secs
lola: STP completed || 39 tries, 38828722 fired transitions, 1825 secs || 27079047 markings, 59858722 edges, 13690 markings/sec, 1825 secs
lola: STP completed || 39 tries, 38931634 fired transitions, 1830 secs || 27147437 markings, 60022731 edges, 13678 markings/sec, 1830 secs
lola: STP completed || 40 tries, 39033300 fired transitions, 1835 secs || 27217056 markings, 60183577 edges, 13924 markings/sec, 1835 secs
lola: STP completed || 40 tries, 39135829 fired transitions, 1840 secs || 27291088 markings, 60329656 edges, 14806 markings/sec, 1840 secs
lola: STP completed || 40 tries, 39237813 fired transitions, 1845 secs || 27364084 markings, 60478477 edges, 14599 markings/sec, 1845 secs
lola: STP completed || 40 tries, 39340463 fired transitions, 1850 secs || 27435603 markings, 60636789 edges, 14304 markings/sec, 1850 secs
lola: STP completed || 40 tries, 39444057 fired transitions, 1855 secs || 27502740 markings, 60806244 edges, 13427 markings/sec, 1855 secs
lola: STP completed || 40 tries, 39546050 fired transitions, 1860 secs || 27571900 markings, 60970473 edges, 13832 markings/sec, 1860 secs
lola: STP completed || 40 tries, 39648607 fired transitions, 1865 secs || 27638985 markings, 61140775 edges, 13417 markings/sec, 1865 secs
lola: STP completed || 40 tries, 39751018 fired transitions, 1870 secs || 27707134 markings, 61301468 edges, 13630 markings/sec, 1870 secs
lola: STP completed || 40 tries, 39854137 fired transitions, 1875 secs || 27776580 markings, 61462718 edges, 13889 markings/sec, 1875 secs
lola: STP completed || 40 tries, 39956363 fired transitions, 1880 secs || 27844861 markings, 61625623 edges, 13656 markings/sec, 1880 secs
lola: STP completed || 41 tries, 40058880 fired transitions, 1885 secs || 27916108 markings, 61781761 edges, 14249 markings/sec, 1885 secs
lola: STP completed || 41 tries, 40166180 fired transitions, 1890 secs || 27998840 markings, 61930645 edges, 16546 markings/sec, 1890 secs
lola: STP completed || 41 tries, 40268088 fired transitions, 1895 secs || 28070599 markings, 62085297 edges, 14352 markings/sec, 1895 secs
lola: STP completed || 41 tries, 40378752 fired transitions, 1900 secs || 28146957 markings, 62257081 edges, 15272 markings/sec, 1900 secs
lola: STP completed || 41 tries, 40485301 fired transitions, 1905 secs || 28216962 markings, 62430325 edges, 14001 markings/sec, 1905 secs
lola: STP completed || 41 tries, 40590719 fired transitions, 1910 secs || 28285480 markings, 62604870 edges, 13704 markings/sec, 1910 secs
lola: STP completed || 41 tries, 40696120 fired transitions, 1915 secs || 28356948 markings, 62773026 edges, 14294 markings/sec, 1915 secs
lola: STP completed || 41 tries, 40806975 fired transitions, 1920 secs || 28426138 markings, 62941114 edges, 13838 markings/sec, 1920 secs
lola: STP completed || 41 tries, 40915781 fired transitions, 1925 secs || 28496928 markings, 63121923 edges, 14158 markings/sec, 1925 secs
lola: STP completed || 42 tries, 41021524 fired transitions, 1930 secs || 28566966 markings, 63291350 edges, 14008 markings/sec, 1930 secs
lola: STP completed || 42 tries, 41136376 fired transitions, 1935 secs || 28643734 markings, 63481900 edges, 15354 markings/sec, 1935 secs
lola: STP completed || 42 tries, 41248157 fired transitions, 1940 secs || 28718541 markings, 63661716 edges, 14961 markings/sec, 1940 secs
lola: STP completed || 42 tries, 41354346 fired transitions, 1945 secs || 28790365 markings, 63831213 edges, 14365 markings/sec, 1945 secs
lola: STP completed || 42 tries, 41460804 fired transitions, 1950 secs || 28861723 markings, 64006184 edges, 14272 markings/sec, 1950 secs
lola: STP completed || 42 tries, 41575075 fired transitions, 1955 secs || 28937072 markings, 64192197 edges, 15070 markings/sec, 1955 secs
lola: STP completed || 42 tries, 41680231 fired transitions, 1960 secs || 29007412 markings, 64362448 edges, 14068 markings/sec, 1960 secs
lola: STP completed || 42 tries, 41787290 fired transitions, 1965 secs || 29077737 markings, 64537363 edges, 14065 markings/sec, 1965 secs
lola: STP completed || 42 tries, 41901893 fired transitions, 1970 secs || 29155908 markings, 64719561 edges, 15634 markings/sec, 1970 secs
lola: STP completed || 43 tries, 42009042 fired transitions, 1975 secs || 29225321 markings, 64901293 edges, 13883 markings/sec, 1975 secs
lola: STP completed || 43 tries, 42116887 fired transitions, 1980 secs || 29295597 markings, 65079042 edges, 14055 markings/sec, 1980 secs
lola: STP completed || 43 tries, 42219136 fired transitions, 1985 secs || 29361302 markings, 65243151 edges, 13141 markings/sec, 1985 secs
lola: STP completed || 43 tries, 42321159 fired transitions, 1990 secs || 29430312 markings, 65403926 edges, 13802 markings/sec, 1990 secs
lola: STP completed || 43 tries, 42423528 fired transitions, 1995 secs || 29496574 markings, 65572758 edges, 13252 markings/sec, 1995 secs
lola: STP completed || 43 tries, 42525686 fired transitions, 2000 secs || 29564524 markings, 65734074 edges, 13590 markings/sec, 2000 secs
lola: STP completed || 43 tries, 42627043 fired transitions, 2005 secs || 29630225 markings, 65902485 edges, 13140 markings/sec, 2005 secs
lola: STP completed || 43 tries, 42729974 fired transitions, 2010 secs || 29698621 markings, 66066759 edges, 13679 markings/sec, 2010 secs
lola: STP completed || 43 tries, 42833022 fired transitions, 2015 secs || 29765158 markings, 66232689 edges, 13307 markings/sec, 2015 secs
lola: STP completed || 43 tries, 42936115 fired transitions, 2020 secs || 29833563 markings, 66397656 edges, 13681 markings/sec, 2020 secs
lola: STP completed || 44 tries, 43039371 fired transitions, 2025 secs || 29900928 markings, 66561428 edges, 13473 markings/sec, 2025 secs
lola: STP completed || 44 tries, 43139681 fired transitions, 2030 secs || 29969919 markings, 66727197 edges, 13798 markings/sec, 2030 secs
lola: STP completed || 44 tries, 43248919 fired transitions, 2035 secs || 30038667 markings, 66894069 edges, 13750 markings/sec, 2035 secs
lola: STP completed || 44 tries, 43357710 fired transitions, 2040 secs || 30110731 markings, 67069503 edges, 14413 markings/sec, 2040 secs
lola: STP completed || 44 tries, 43464900 fired transitions, 2045 secs || 30180110 markings, 67234313 edges, 13876 markings/sec, 2045 secs
lola: STP completed || 44 tries, 43574771 fired transitions, 2050 secs || 30256841 markings, 67403198 edges, 15346 markings/sec, 2050 secs
lola: STP completed || 44 tries, 43677984 fired transitions, 2055 secs || 30326780 markings, 67569467 edges, 13988 markings/sec, 2055 secs
lola: STP completed || 44 tries, 43787424 fired transitions, 2060 secs || 30400619 markings, 67748826 edges, 14768 markings/sec, 2060 secs
lola: STP completed || 44 tries, 43890126 fired transitions, 2065 secs || 30470426 markings, 67915258 edges, 13961 markings/sec, 2065 secs
lola: STP completed || 44 tries, 43993377 fired transitions, 2070 secs || 30540348 markings, 68082248 edges, 13984 markings/sec, 2070 secs
lola: STP completed || 45 tries, 44096326 fired transitions, 2075 secs || 30609255 markings, 68246689 edges, 13781 markings/sec, 2075 secs
lola: STP completed || 45 tries, 44198087 fired transitions, 2080 secs || 30677087 markings, 68410772 edges, 13566 markings/sec, 2080 secs
lola: STP completed || 45 tries, 44312112 fired transitions, 2085 secs || 30756362 markings, 68596385 edges, 15855 markings/sec, 2085 secs
lola: STP completed || 45 tries, 44424415 fired transitions, 2090 secs || 30830199 markings, 68786881 edges, 14767 markings/sec, 2090 secs
lola: STP completed || 45 tries, 44535802 fired transitions, 2095 secs || 30905527 markings, 68963090 edges, 15066 markings/sec, 2095 secs
lola: STP completed || 45 tries, 44646212 fired transitions, 2100 secs || 30979388 markings, 69138724 edges, 14772 markings/sec, 2100 secs
lola: STP completed || 45 tries, 44759245 fired transitions, 2105 secs || 31055591 markings, 69322825 edges, 15241 markings/sec, 2105 secs
lola: STP completed || 45 tries, 44867071 fired transitions, 2110 secs || 31127803 markings, 69501237 edges, 14442 markings/sec, 2110 secs
lola: STP completed || 45 tries, 44974938 fired transitions, 2115 secs || 31199603 markings, 69674595 edges, 14360 markings/sec, 2115 secs
lola: STP completed || 46 tries, 45081627 fired transitions, 2120 secs || 31272219 markings, 69843663 edges, 14523 markings/sec, 2120 secs
lola: STP completed || 46 tries, 45184316 fired transitions, 2125 secs || 31343855 markings, 70005350 edges, 14327 markings/sec, 2125 secs
lola: STP completed || 46 tries, 45286888 fired transitions, 2130 secs || 31413345 markings, 70174734 edges, 13898 markings/sec, 2130 secs
lola: STP completed || 46 tries, 45389273 fired transitions, 2135 secs || 31481143 markings, 70349863 edges, 13560 markings/sec, 2135 secs
lola: STP completed || 46 tries, 45491846 fired transitions, 2140 secs || 31550549 markings, 70518658 edges, 13881 markings/sec, 2140 secs
lola: STP completed || 46 tries, 45594340 fired transitions, 2145 secs || 31620849 markings, 70684067 edges, 14060 markings/sec, 2145 secs
lola: STP completed || 46 tries, 45696628 fired transitions, 2150 secs || 31690848 markings, 70847108 edges, 14000 markings/sec, 2150 secs
lola: STP completed || 46 tries, 45807303 fired transitions, 2155 secs || 31769149 markings, 71016526 edges, 15660 markings/sec, 2155 secs
lola: STP completed || 46 tries, 45922296 fired transitions, 2160 secs || 31860067 markings, 71172328 edges, 18184 markings/sec, 2160 secs
lola: STP completed || 47 tries, 46036966 fired transitions, 2165 secs || 31937717 markings, 71356482 edges, 15530 markings/sec, 2165 secs
lola: STP completed || 47 tries, 46142656 fired transitions, 2170 secs || 32007480 markings, 71534124 edges, 13953 markings/sec, 2170 secs
lola: STP completed || 47 tries, 46245801 fired transitions, 2175 secs || 32076364 markings, 71700605 edges, 13777 markings/sec, 2175 secs
lola: STP completed || 47 tries, 46349366 fired transitions, 2180 secs || 32144413 markings, 71872914 edges, 13610 markings/sec, 2180 secs
lola: STP completed || 47 tries, 46453321 fired transitions, 2185 secs || 32211812 markings, 72045810 edges, 13480 markings/sec, 2185 secs
lola: STP completed || 47 tries, 46556031 fired transitions, 2190 secs || 32278306 markings, 72213700 edges, 13299 markings/sec, 2190 secs
lola: STP completed || 47 tries, 46659255 fired transitions, 2195 secs || 32350067 markings, 72377357 edges, 14352 markings/sec, 2195 secs
lola: STP completed || 47 tries, 46762044 fired transitions, 2200 secs || 32416791 markings, 72547570 edges, 13345 markings/sec, 2200 secs
lola: STP completed || 47 tries, 46865536 fired transitions, 2205 secs || 32486124 markings, 72713575 edges, 13867 markings/sec, 2205 secs
lola: STP completed || 47 tries, 46968630 fired transitions, 2210 secs || 32554325 markings, 72881294 edges, 13640 markings/sec, 2210 secs
lola: STP completed || 48 tries, 47071883 fired transitions, 2215 secs || 32623250 markings, 73046614 edges, 13785 markings/sec, 2215 secs
lola: STP completed || 48 tries, 47175296 fired transitions, 2220 secs || 32692186 markings, 73214350 edges, 13787 markings/sec, 2220 secs
lola: STP completed || 48 tries, 47278747 fired transitions, 2225 secs || 32758869 markings, 73384461 edges, 13337 markings/sec, 2225 secs
lola: STP completed || 48 tries, 47382166 fired transitions, 2230 secs || 32826803 markings, 73557127 edges, 13587 markings/sec, 2230 secs
lola: STP completed || 48 tries, 47485446 fired transitions, 2235 secs || 32896557 markings, 73718236 edges, 13951 markings/sec, 2235 secs
lola: STP completed || 48 tries, 47588887 fired transitions, 2240 secs || 32963791 markings, 73881863 edges, 13447 markings/sec, 2240 secs
lola: STP completed || 48 tries, 47692146 fired transitions, 2245 secs || 33031988 markings, 74046350 edges, 13639 markings/sec, 2245 secs
lola: STP completed || 48 tries, 47795314 fired transitions, 2250 secs || 33099169 markings, 74215762 edges, 13436 markings/sec, 2250 secs
lola: STP completed || 48 tries, 47898180 fired transitions, 2255 secs || 33166430 markings, 74382635 edges, 13452 markings/sec, 2255 secs
lola: STP completed || 49 tries, 48001238 fired transitions, 2260 secs || 33233350 markings, 74553174 edges, 13384 markings/sec, 2260 secs
lola: STP completed || 49 tries, 48104518 fired transitions, 2265 secs || 33300210 markings, 74719857 edges, 13372 markings/sec, 2265 secs
lola: STP completed || 49 tries, 48214580 fired transitions, 2270 secs || 33375607 markings, 74894937 edges, 15079 markings/sec, 2270 secs
lola: STP completed || 49 tries, 48317601 fired transitions, 2275 secs || 33443153 markings, 75064558 edges, 13509 markings/sec, 2275 secs
lola: STP completed || 49 tries, 48421033 fired transitions, 2280 secs || 33509776 markings, 75238560 edges, 13325 markings/sec, 2280 secs
lola: STP completed || 49 tries, 48523633 fired transitions, 2285 secs || 33581747 markings, 75399527 edges, 14394 markings/sec, 2285 secs
lola: STP completed || 49 tries, 48626541 fired transitions, 2290 secs || 33649155 markings, 75572000 edges, 13482 markings/sec, 2290 secs
lola: STP completed || 49 tries, 48728547 fired transitions, 2295 secs || 33719080 markings, 75733859 edges, 13985 markings/sec, 2295 secs
lola: STP completed || 49 tries, 48830620 fired transitions, 2300 secs || 33789756 markings, 75896673 edges, 14135 markings/sec, 2300 secs
lola: STP completed || 49 tries, 48933428 fired transitions, 2305 secs || 33857225 markings, 76072405 edges, 13494 markings/sec, 2305 secs
lola: STP completed || 50 tries, 49040121 fired transitions, 2310 secs || 33925988 markings, 76252905 edges, 13753 markings/sec, 2310 secs
lola: STP completed || 50 tries, 49149700 fired transitions, 2315 secs || 33999627 markings, 76430384 edges, 14728 markings/sec, 2315 secs
lola: STP completed || 50 tries, 49253444 fired transitions, 2320 secs || 34068499 markings, 76600688 edges, 13774 markings/sec, 2320 secs
lola: STP completed || 50 tries, 49355951 fired transitions, 2325 secs || 34135379 markings, 76765520 edges, 13376 markings/sec, 2325 secs
lola: STP completed || 50 tries, 49458980 fired transitions, 2330 secs || 34207327 markings, 76925356 edges, 14390 markings/sec, 2330 secs
lola: STP completed || 50 tries, 49560704 fired transitions, 2335 secs || 34275442 markings, 77090266 edges, 13623 markings/sec, 2335 secs
lola: STP completed || 50 tries, 49663025 fired transitions, 2340 secs || 34343948 markings, 77254430 edges, 13701 markings/sec, 2340 secs
lola: STP completed || 50 tries, 49775539 fired transitions, 2345 secs || 34421709 markings, 77432155 edges, 15552 markings/sec, 2345 secs
lola: STP completed || 50 tries, 49890266 fired transitions, 2350 secs || 34500423 markings, 77620106 edges, 15743 markings/sec, 2350 secs
lola: STP completed || 51 tries, 50005209 fired transitions, 2355 secs || 34576894 markings, 77814166 edges, 15294 markings/sec, 2355 secs
lola: STP completed || 51 tries, 50109799 fired transitions, 2360 secs || 34645295 markings, 77995062 edges, 13680 markings/sec, 2360 secs
lola: STP completed || 51 tries, 50211841 fired transitions, 2365 secs || 34713556 markings, 78164073 edges, 13652 markings/sec, 2365 secs
lola: STP completed || 51 tries, 50316316 fired transitions, 2370 secs || 34781850 markings, 78343447 edges, 13659 markings/sec, 2370 secs
lola: STP completed || 51 tries, 50418745 fired transitions, 2375 secs || 34853384 markings, 78498567 edges, 14307 markings/sec, 2375 secs
lola: STP completed || 51 tries, 50521337 fired transitions, 2380 secs || 34923688 markings, 78654371 edges, 14061 markings/sec, 2380 secs
lola: STP completed || 51 tries, 50619664 fired transitions, 2385 secs || 34992876 markings, 78814809 edges, 13838 markings/sec, 2385 secs
lola: STP completed || 51 tries, 50721511 fired transitions, 2390 secs || 35059570 markings, 78982203 edges, 13339 markings/sec, 2390 secs
lola: STP completed || 51 tries, 50821576 fired transitions, 2395 secs || 35125392 markings, 79148567 edges, 13164 markings/sec, 2395 secs
lola: STP completed || 51 tries, 50923639 fired transitions, 2400 secs || 35195182 markings, 79310458 edges, 13958 markings/sec, 2400 secs
lola: STP completed || 52 tries, 51026039 fired transitions, 2405 secs || 35263434 markings, 79478523 edges, 13650 markings/sec, 2405 secs
lola: STP completed || 52 tries, 51128678 fired transitions, 2410 secs || 35330018 markings, 79651685 edges, 13317 markings/sec, 2410 secs
lola: STP completed || 52 tries, 51230649 fired transitions, 2415 secs || 35399303 markings, 79812093 edges, 13857 markings/sec, 2415 secs
lola: STP completed || 52 tries, 51332893 fired transitions, 2420 secs || 35467038 markings, 79982640 edges, 13547 markings/sec, 2420 secs
lola: STP completed || 52 tries, 51434985 fired transitions, 2425 secs || 35533610 markings, 80160625 edges, 13314 markings/sec, 2425 secs
lola: STP completed || 52 tries, 51537707 fired transitions, 2430 secs || 35600357 markings, 80340197 edges, 13349 markings/sec, 2430 secs
lola: STP completed || 52 tries, 51639146 fired transitions, 2435 secs || 35669724 markings, 80505836 edges, 13873 markings/sec, 2435 secs
lola: STP completed || 52 tries, 51742115 fired transitions, 2440 secs || 35738919 markings, 80674976 edges, 13839 markings/sec, 2440 secs
lola: STP completed || 52 tries, 51845113 fired transitions, 2445 secs || 35809439 markings, 80839540 edges, 14104 markings/sec, 2445 secs
lola: STP completed || 52 tries, 51946754 fired transitions, 2450 secs || 35876736 markings, 81011003 edges, 13459 markings/sec, 2450 secs
lola: STP completed || 53 tries, 52046573 fired transitions, 2455 secs || 35946165 markings, 81178737 edges, 13886 markings/sec, 2455 secs
lola: STP completed || 53 tries, 52148142 fired transitions, 2460 secs || 36017179 markings, 81336574 edges, 14203 markings/sec, 2460 secs
lola: STP completed || 53 tries, 52250085 fired transitions, 2465 secs || 36085547 markings, 81497054 edges, 13674 markings/sec, 2465 secs
lola: STP completed || 53 tries, 52360039 fired transitions, 2470 secs || 36158508 markings, 81678749 edges, 14592 markings/sec, 2470 secs
lola: STP completed || 53 tries, 52462054 fired transitions, 2475 secs || 36225532 markings, 81850170 edges, 13405 markings/sec, 2475 secs
lola: STP completed || 53 tries, 52564340 fired transitions, 2480 secs || 36293597 markings, 82023936 edges, 13613 markings/sec, 2480 secs
lola: STP completed || 53 tries, 52666494 fired transitions, 2485 secs || 36359891 markings, 82190660 edges, 13259 markings/sec, 2485 secs
lola: STP completed || 53 tries, 52768945 fired transitions, 2490 secs || 36425871 markings, 82358801 edges, 13196 markings/sec, 2490 secs
lola: STP completed || 53 tries, 52870982 fired transitions, 2495 secs || 36492851 markings, 82527852 edges, 13396 markings/sec, 2495 secs
lola: STP completed || 53 tries, 52974078 fired transitions, 2500 secs || 36560795 markings, 82694040 edges, 13589 markings/sec, 2500 secs
lola: STP completed || 54 tries, 53076686 fired transitions, 2505 secs || 36628410 markings, 82862925 edges, 13523 markings/sec, 2505 secs
lola: STP completed || 54 tries, 53179441 fired transitions, 2510 secs || 36696232 markings, 83025313 edges, 13564 markings/sec, 2510 secs
lola: STP completed || 54 tries, 53281431 fired transitions, 2515 secs || 36765902 markings, 83188896 edges, 13934 markings/sec, 2515 secs
lola: STP completed || 54 tries, 53382880 fired transitions, 2520 secs || 36837386 markings, 83339933 edges, 14297 markings/sec, 2520 secs
lola: STP completed || 54 tries, 53486017 fired transitions, 2525 secs || 36904904 markings, 83506812 edges, 13504 markings/sec, 2525 secs
lola: STP completed || 54 tries, 53597643 fired transitions, 2530 secs || 36980108 markings, 83687242 edges, 15041 markings/sec, 2530 secs
lola: STP completed || 54 tries, 53700137 fired transitions, 2535 secs || 37049630 markings, 83846557 edges, 13904 markings/sec, 2535 secs
lola: STP completed || 54 tries, 53814408 fired transitions, 2540 secs || 37128126 markings, 84033098 edges, 15699 markings/sec, 2540 secs
lola: STP completed || 54 tries, 53915997 fired transitions, 2545 secs || 37195621 markings, 84196494 edges, 13499 markings/sec, 2545 secs
lola: STP completed || 55 tries, 54016492 fired transitions, 2550 secs || 37265057 markings, 84359787 edges, 13887 markings/sec, 2550 secs
lola: STP completed || 55 tries, 54116867 fired transitions, 2555 secs || 37338178 markings, 84512589 edges, 14624 markings/sec, 2555 secs
lola: STP completed || 55 tries, 54217867 fired transitions, 2560 secs || 37410012 markings, 84667508 edges, 14367 markings/sec, 2560 secs
lola: STP completed || 55 tries, 54331060 fired transitions, 2565 secs || 37486465 markings, 84855889 edges, 15291 markings/sec, 2565 secs
lola: STP completed || 55 tries, 54445778 fired transitions, 2570 secs || 37564250 markings, 85040583 edges, 15557 markings/sec, 2570 secs
lola: STP completed || 55 tries, 54556004 fired transitions, 2575 secs || 37638518 markings, 85216616 edges, 14854 markings/sec, 2575 secs
lola: STP completed || 55 tries, 54665399 fired transitions, 2580 secs || 37709863 markings, 85388987 edges, 14269 markings/sec, 2580 secs
lola: STP completed || 55 tries, 54776036 fired transitions, 2585 secs || 37783699 markings, 85570702 edges, 14767 markings/sec, 2585 secs
lola: STP completed || 55 tries, 54878456 fired transitions, 2590 secs || 37851382 markings, 85733966 edges, 13537 markings/sec, 2590 secs
lola: STP completed || 55 tries, 54980822 fired transitions, 2595 secs || 37917622 markings, 85899466 edges, 13248 markings/sec, 2595 secs
lola: STP completed || 56 tries, 55083464 fired transitions, 2600 secs || 37984327 markings, 86074181 edges, 13341 markings/sec, 2600 secs
lola: STP completed || 56 tries, 55187132 fired transitions, 2605 secs || 38053471 markings, 86239882 edges, 13829 markings/sec, 2605 secs
lola: STP completed || 56 tries, 55290487 fired transitions, 2610 secs || 38122757 markings, 86405414 edges, 13857 markings/sec, 2610 secs
lola: STP completed || 56 tries, 55393824 fired transitions, 2615 secs || 38191502 markings, 86568821 edges, 13749 markings/sec, 2615 secs
lola: STP completed || 56 tries, 55496382 fired transitions, 2620 secs || 38258523 markings, 86737175 edges, 13404 markings/sec, 2620 secs
lola: STP completed || 56 tries, 55598940 fired transitions, 2625 secs || 38326170 markings, 86907437 edges, 13529 markings/sec, 2625 secs
lola: STP completed || 56 tries, 55701135 fired transitions, 2630 secs || 38394916 markings, 87074915 edges, 13749 markings/sec, 2630 secs
lola: STP completed || 56 tries, 55804367 fired transitions, 2635 secs || 38460677 markings, 87244730 edges, 13152 markings/sec, 2635 secs
lola: STP completed || 56 tries, 55906438 fired transitions, 2640 secs || 38529034 markings, 87410224 edges, 13671 markings/sec, 2640 secs
lola: STP completed || 57 tries, 56008282 fired transitions, 2645 secs || 38600953 markings, 87562181 edges, 14384 markings/sec, 2645 secs
lola: STP completed || 57 tries, 56110912 fired transitions, 2650 secs || 38670713 markings, 87717554 edges, 13952 markings/sec, 2650 secs
lola: STP completed || 57 tries, 56213031 fired transitions, 2655 secs || 38736896 markings, 87889368 edges, 13237 markings/sec, 2655 secs
lola: STP completed || 57 tries, 56314969 fired transitions, 2660 secs || 38805516 markings, 88053643 edges, 13724 markings/sec, 2660 secs
lola: STP completed || 57 tries, 56413357 fired transitions, 2665 secs || 38870514 markings, 88214927 edges, 13000 markings/sec, 2665 secs
lola: STP completed || 57 tries, 56518848 fired transitions, 2670 secs || 38941375 markings, 88385237 edges, 14172 markings/sec, 2670 secs
lola: STP completed || 57 tries, 56618477 fired transitions, 2675 secs || 39013720 markings, 88536957 edges, 14469 markings/sec, 2675 secs
lola: STP completed || 57 tries, 56718869 fired transitions, 2680 secs || 39079528 markings, 88708619 edges, 13162 markings/sec, 2680 secs
lola: STP completed || 57 tries, 56819796 fired transitions, 2685 secs || 39148014 markings, 88875136 edges, 13697 markings/sec, 2685 secs
lola: STP completed || 57 tries, 56920459 fired transitions, 2690 secs || 39218642 markings, 89036618 edges, 14126 markings/sec, 2690 secs
lola: STP completed || 58 tries, 57022959 fired transitions, 2695 secs || 39284321 markings, 89201686 edges, 13136 markings/sec, 2695 secs
lola: STP completed || 58 tries, 57125904 fired transitions, 2700 secs || 39351927 markings, 89372094 edges, 13521 markings/sec, 2700 secs
lola: STP completed || 58 tries, 57229144 fired transitions, 2705 secs || 39425205 markings, 89527740 edges, 14656 markings/sec, 2705 secs
lola: STP completed || 58 tries, 57331560 fired transitions, 2710 secs || 39493274 markings, 89693533 edges, 13614 markings/sec, 2710 secs
lola: STP completed || 58 tries, 57433810 fired transitions, 2715 secs || 39564311 markings, 89857146 edges, 14207 markings/sec, 2715 secs
lola: STP completed || 58 tries, 57539274 fired transitions, 2720 secs || 39633190 markings, 90032839 edges, 13776 markings/sec, 2720 secs
lola: STP completed || 58 tries, 57653696 fired transitions, 2725 secs || 39715712 markings, 90199680 edges, 16504 markings/sec, 2725 secs
lola: STP completed || 58 tries, 57756076 fired transitions, 2730 secs || 39784660 markings, 90369124 edges, 13790 markings/sec, 2730 secs
lola: STP completed || 58 tries, 57857936 fired transitions, 2735 secs || 39852234 markings, 90542850 edges, 13515 markings/sec, 2735 secs
lola: STP completed || 58 tries, 57960025 fired transitions, 2740 secs || 39918778 markings, 90713932 edges, 13309 markings/sec, 2740 secs
lola: STP completed || 59 tries, 58062593 fired transitions, 2745 secs || 39987612 markings, 90882467 edges, 13767 markings/sec, 2745 secs
lola: STP completed || 59 tries, 58165883 fired transitions, 2750 secs || 40055586 markings, 91051748 edges, 13595 markings/sec, 2750 secs
lola: STP completed || 59 tries, 58276447 fired transitions, 2755 secs || 40128974 markings, 91236585 edges, 14678 markings/sec, 2755 secs
lola: STP completed || 59 tries, 58385461 fired transitions, 2760 secs || 40201915 markings, 91419518 edges, 14588 markings/sec, 2760 secs
lola: STP completed || 59 tries, 58498168 fired transitions, 2765 secs || 40278672 markings, 91610485 edges, 15351 markings/sec, 2765 secs
lola: STP completed || 59 tries, 58606915 fired transitions, 2770 secs || 40352325 markings, 91782163 edges, 14731 markings/sec, 2770 secs
lola: STP completed || 59 tries, 58709812 fired transitions, 2775 secs || 40420747 markings, 91950049 edges, 13684 markings/sec, 2775 secs
lola: STP completed || 59 tries, 58813015 fired transitions, 2780 secs || 40488778 markings, 92121082 edges, 13606 markings/sec, 2780 secs
lola: STP completed || 59 tries, 58914290 fired transitions, 2785 secs || 40555809 markings, 92294636 edges, 13406 markings/sec, 2785 secs
lola: STP completed || 60 tries, 59015471 fired transitions, 2790 secs || 40621456 markings, 92463793 edges, 13129 markings/sec, 2790 secs
lola: STP completed || 60 tries, 59123578 fired transitions, 2795 secs || 40693820 markings, 92645368 edges, 14473 markings/sec, 2795 secs
lola: STP completed || 60 tries, 59238221 fired transitions, 2800 secs || 40773013 markings, 92828430 edges, 15839 markings/sec, 2800 secs
lola: STP completed || 60 tries, 59345849 fired transitions, 2805 secs || 40847574 markings, 92996128 edges, 14912 markings/sec, 2805 secs
lola: STP completed || 60 tries, 59447049 fired transitions, 2810 secs || 40912925 markings, 93167164 edges, 13070 markings/sec, 2810 secs
lola: STP completed || 60 tries, 59548774 fired transitions, 2815 secs || 40978690 markings, 93338681 edges, 13153 markings/sec, 2815 secs
lola: STP completed || 60 tries, 59656637 fired transitions, 2820 secs || 41050315 markings, 93512784 edges, 14325 markings/sec, 2820 secs
lola: STP completed || 60 tries, 59764953 fired transitions, 2825 secs || 41124644 markings, 93684942 edges, 14866 markings/sec, 2825 secs
lola: STP completed || 60 tries, 59867736 fired transitions, 2830 secs || 41194650 markings, 93847921 edges, 14001 markings/sec, 2830 secs
lola: STP completed || 60 tries, 59976308 fired transitions, 2835 secs || 41268661 markings, 94031224 edges, 14802 markings/sec, 2835 secs
lola: STP completed || 61 tries, 60080843 fired transitions, 2840 secs || 41342830 markings, 94194053 edges, 14834 markings/sec, 2840 secs
lola: STP completed || 61 tries, 60190875 fired transitions, 2845 secs || 41418272 markings, 94370885 edges, 15088 markings/sec, 2845 secs
lola: STP completed || 61 tries, 60296590 fired transitions, 2850 secs || 41487544 markings, 94553016 edges, 13854 markings/sec, 2850 secs
lola: STP completed || 61 tries, 60400238 fired transitions, 2855 secs || 41555418 markings, 94726311 edges, 13575 markings/sec, 2855 secs
lola: STP completed || 61 tries, 60502781 fired transitions, 2860 secs || 41626439 markings, 94886753 edges, 14204 markings/sec, 2860 secs
lola: STP completed || 61 tries, 60606420 fired transitions, 2865 secs || 41695311 markings, 95055631 edges, 13774 markings/sec, 2865 secs
lola: STP completed || 61 tries, 60712788 fired transitions, 2870 secs || 41765894 markings, 95230594 edges, 14117 markings/sec, 2870 secs
lola: STP completed || 61 tries, 60819277 fired transitions, 2875 secs || 41836775 markings, 95408797 edges, 14176 markings/sec, 2875 secs
lola: STP completed || 61 tries, 60922273 fired transitions, 2880 secs || 41906955 markings, 95572389 edges, 14036 markings/sec, 2880 secs
lola: STP completed || 62 tries, 61025634 fired transitions, 2885 secs || 41977229 markings, 95740416 edges, 14055 markings/sec, 2885 secs
lola: STP completed || 62 tries, 61129070 fired transitions, 2890 secs || 42044727 markings, 95912745 edges, 13500 markings/sec, 2890 secs
lola: STP completed || 62 tries, 61232156 fired transitions, 2895 secs || 42113764 markings, 96078968 edges, 13807 markings/sec, 2895 secs
lola: STP completed || 62 tries, 61334159 fired transitions, 2900 secs || 42183267 markings, 96244854 edges, 13901 markings/sec, 2900 secs
lola: STP completed || 62 tries, 61435509 fired transitions, 2905 secs || 42252372 markings, 96411128 edges, 13821 markings/sec, 2905 secs
lola: STP completed || 62 tries, 61537674 fired transitions, 2910 secs || 42321337 markings, 96576519 edges, 13793 markings/sec, 2910 secs
lola: STP completed || 62 tries, 61640524 fired transitions, 2915 secs || 42390454 markings, 96740088 edges, 13823 markings/sec, 2915 secs
lola: STP completed || 62 tries, 61743883 fired transitions, 2920 secs || 42462586 markings, 96893880 edges, 14426 markings/sec, 2920 secs
lola: STP completed || 62 tries, 61847047 fired transitions, 2925 secs || 42530050 markings, 97065489 edges, 13493 markings/sec, 2925 secs
lola: STP completed || 62 tries, 61950420 fired transitions, 2930 secs || 42596396 markings, 97236759 edges, 13269 markings/sec, 2930 secs
lola: STP completed || 63 tries, 62054196 fired transitions, 2935 secs || 42667357 markings, 97408654 edges, 14192 markings/sec, 2935 secs
lola: STP completed || 63 tries, 62159320 fired transitions, 2940 secs || 42738401 markings, 97578189 edges, 14209 markings/sec, 2940 secs
lola: STP completed || 63 tries, 62269603 fired transitions, 2945 secs || 42809077 markings, 97762910 edges, 14135 markings/sec, 2945 secs
lola: STP completed || 63 tries, 62376854 fired transitions, 2950 secs || 42882178 markings, 97932095 edges, 14620 markings/sec, 2950 secs
lola: STP completed || 63 tries, 62482272 fired transitions, 2955 secs || 42952099 markings, 98102806 edges, 13984 markings/sec, 2955 secs
lola: STP completed || 63 tries, 62589915 fired transitions, 2960 secs || 43024822 markings, 98274864 edges, 14545 markings/sec, 2960 secs
lola: STP completed || 63 tries, 62692769 fired transitions, 2965 secs || 43092849 markings, 98442301 edges, 13605 markings/sec, 2965 secs
lola: STP completed || 63 tries, 62795271 fired transitions, 2970 secs || 43162343 markings, 98606210 edges, 13899 markings/sec, 2970 secs
lola: STP completed || 63 tries, 62896876 fired transitions, 2975 secs || 43230200 markings, 98769767 edges, 13571 markings/sec, 2975 secs
lola: STP completed || 64 tries, 63000678 fired transitions, 2980 secs || 43295757 markings, 98950321 edges, 13111 markings/sec, 2980 secs
lola: STP completed || 64 tries, 63109520 fired transitions, 2985 secs || 43368300 markings, 99128604 edges, 14509 markings/sec, 2985 secs
lola: STP completed || 64 tries, 63217278 fired transitions, 2990 secs || 43440018 markings, 99310349 edges, 14344 markings/sec, 2990 secs
lola: STP completed || 64 tries, 63322828 fired transitions, 2995 secs || 43510972 markings, 99486704 edges, 14191 markings/sec, 2995 secs
lola: STP completed || 64 tries, 63429256 fired transitions, 3000 secs || 43581287 markings, 99671242 edges, 14063 markings/sec, 3000 secs
lola: STP completed || 64 tries, 63539753 fired transitions, 3005 secs || 43655007 markings, 99860975 edges, 14744 markings/sec, 3005 secs
lola: STP completed || 64 tries, 63646096 fired transitions, 3010 secs || 43727613 markings, 100035999 edges, 14521 markings/sec, 3010 secs
lola: STP completed || 64 tries, 63757168 fired transitions, 3015 secs || 43802698 markings, 100217225 edges, 15017 markings/sec, 3015 secs
lola: STP completed || 64 tries, 63865457 fired transitions, 3020 secs || 43871562 markings, 100387829 edges, 13773 markings/sec, 3020 secs
lola: STP completed || 64 tries, 63968966 fired transitions, 3025 secs || 43938833 markings, 100564012 edges, 13454 markings/sec, 3025 secs
lola: STP completed || 65 tries, 64072154 fired transitions, 3030 secs || 44005805 markings, 100737275 edges, 13394 markings/sec, 3030 secs
lola: STP completed || 65 tries, 64173402 fired transitions, 3035 secs || 44072864 markings, 100914808 edges, 13412 markings/sec, 3035 secs
lola: STP completed || 65 tries, 64288050 fired transitions, 3040 secs || 44148013 markings, 101110853 edges, 15030 markings/sec, 3040 secs
lola: STP completed || 65 tries, 64402930 fired transitions, 3045 secs || 44222248 markings, 101309176 edges, 14847 markings/sec, 3045 secs
lola: STP completed || 65 tries, 64507511 fired transitions, 3050 secs || 44290157 markings, 101481579 edges, 13582 markings/sec, 3050 secs
lola: STP completed || 65 tries, 64618080 fired transitions, 3055 secs || 44363282 markings, 101662158 edges, 14625 markings/sec, 3055 secs
lola: STP completed || 65 tries, 64721898 fired transitions, 3060 secs || 44432736 markings, 101829196 edges, 13891 markings/sec, 3060 secs
lola: STP completed || 65 tries, 64830849 fired transitions, 3065 secs || 44506013 markings, 102005658 edges, 14655 markings/sec, 3065 secs
lola: STP completed || 65 tries, 64931101 fired transitions, 3070 secs || 44573913 markings, 102175511 edges, 13580 markings/sec, 3070 secs
lola: STP completed || 66 tries, 65037416 fired transitions, 3075 secs || 44643037 markings, 102343037 edges, 13825 markings/sec, 3075 secs
lola: STP completed || 66 tries, 65149504 fired transitions, 3080 secs || 44720458 markings, 102518051 edges, 15484 markings/sec, 3080 secs
lola: STP completed || 66 tries, 65252053 fired transitions, 3085 secs || 44789829 markings, 102681578 edges, 13874 markings/sec, 3085 secs
lola: STP completed || 66 tries, 65354865 fired transitions, 3090 secs || 44859054 markings, 102840026 edges, 13845 markings/sec, 3090 secs
lola: STP completed || 66 tries, 65462550 fired transitions, 3095 secs || 44931067 markings, 103020305 edges, 14403 markings/sec, 3095 secs
lola: STP completed || 66 tries, 65576587 fired transitions, 3100 secs || 45005336 markings, 103217830 edges, 14854 markings/sec, 3100 secs
lola: STP completed || 66 tries, 65682483 fired transitions, 3105 secs || 45072390 markings, 103393901 edges, 13411 markings/sec, 3105 secs
lola: STP completed || 66 tries, 65785927 fired transitions, 3110 secs || 45138967 markings, 103569409 edges, 13315 markings/sec, 3110 secs
lola: STP completed || 66 tries, 65888562 fired transitions, 3115 secs || 45209354 markings, 103730646 edges, 14077 markings/sec, 3115 secs
lola: STP completed || 66 tries, 65992288 fired transitions, 3120 secs || 45275656 markings, 103907129 edges, 13260 markings/sec, 3120 secs
lola: STP completed || 67 tries, 66095252 fired transitions, 3125 secs || 45342134 markings, 104085656 edges, 13296 markings/sec, 3125 secs
lola: STP completed || 67 tries, 66197925 fired transitions, 3130 secs || 45410488 markings, 104255893 edges, 13671 markings/sec, 3130 secs
lola: STP completed || 67 tries, 66301303 fired transitions, 3135 secs || 45477608 markings, 104429367 edges, 13424 markings/sec, 3135 secs
lola: STP completed || 67 tries, 66404366 fired transitions, 3140 secs || 45545464 markings, 104602075 edges, 13571 markings/sec, 3140 secs
lola: STP completed || 67 tries, 66507413 fired transitions, 3145 secs || 45612654 markings, 104777352 edges, 13438 markings/sec, 3145 secs
lola: STP completed || 67 tries, 66610751 fired transitions, 3150 secs || 45682112 markings, 104941450 edges, 13892 markings/sec, 3150 secs
lola: STP completed || 67 tries, 66715517 fired transitions, 3155 secs || 45749549 markings, 105121691 edges, 13487 markings/sec, 3155 secs
lola: STP completed || 67 tries, 66828115 fired transitions, 3160 secs || 45822116 markings, 105312841 edges, 14513 markings/sec, 3160 secs
lola: STP completed || 67 tries, 66941934 fired transitions, 3165 secs || 45896602 markings, 105504568 edges, 14897 markings/sec, 3165 secs
lola: STP completed || 68 tries, 67049020 fired transitions, 3170 secs || 45965212 markings, 105678371 edges, 13722 markings/sec, 3170 secs
lola: STP completed || 68 tries, 67156900 fired transitions, 3175 secs || 46036927 markings, 105855517 edges, 14343 markings/sec, 3175 secs
lola: STP completed || 68 tries, 67270861 fired transitions, 3180 secs || 46113979 markings, 106040242 edges, 15410 markings/sec, 3180 secs
lola: STP completed || 68 tries, 67377827 fired transitions, 3185 secs || 46185257 markings, 106221831 edges, 14256 markings/sec, 3185 secs
lola: STP completed || 68 tries, 67480631 fired transitions, 3190 secs || 46252443 markings, 106395034 edges, 13437 markings/sec, 3190 secs
lola: STP completed || 68 tries, 67584851 fired transitions, 3195 secs || 46321156 markings, 106574070 edges, 13743 markings/sec, 3195 secs
lola: STP completed || 68 tries, 67699536 fired transitions, 3200 secs || 46399158 markings, 106759256 edges, 15600 markings/sec, 3200 secs
lola: STP completed || 68 tries, 67813910 fired transitions, 3205 secs || 46477618 markings, 106943305 edges, 15692 markings/sec, 3205 secs
lola: STP completed || 68 tries, 67926222 fired transitions, 3210 secs || 46552336 markings, 107129636 edges, 14944 markings/sec, 3210 secs
lola: STP completed || 69 tries, 68029351 fired transitions, 3215 secs || 46620066 markings, 107297148 edges, 13546 markings/sec, 3215 secs
lola: STP completed || 69 tries, 68131281 fired transitions, 3220 secs || 46688244 markings, 107473563 edges, 13636 markings/sec, 3220 secs
lola: STP completed || 69 tries, 68233942 fired transitions, 3225 secs || 46755958 markings, 107649253 edges, 13543 markings/sec, 3225 secs
lola: STP completed || 69 tries, 68344901 fired transitions, 3230 secs || 46829137 markings, 107833250 edges, 14636 markings/sec, 3230 secs
lola: STP completed || 69 tries, 68453426 fired transitions, 3235 secs || 46901286 markings, 108014560 edges, 14430 markings/sec, 3235 secs
lola: STP completed || 69 tries, 68567746 fired transitions, 3240 secs || 46977083 markings, 108207220 edges, 15159 markings/sec, 3240 secs
lola: STP completed || 69 tries, 68674879 fired transitions, 3245 secs || 47047811 markings, 108386719 edges, 14146 markings/sec, 3245 secs
lola: STP completed || 69 tries, 68787479 fired transitions, 3250 secs || 47124246 markings, 108570496 edges, 15287 markings/sec, 3250 secs
lola: STP completed || 69 tries, 68891106 fired transitions, 3255 secs || 47191690 markings, 108745116 edges, 13489 markings/sec, 3255 secs
lola: STP completed || 69 tries, 68994189 fired transitions, 3260 secs || 47259267 markings, 108922566 edges, 13515 markings/sec, 3260 secs
lola: STP completed || 70 tries, 69097419 fired transitions, 3265 secs || 47326610 markings, 109091939 edges, 13469 markings/sec, 3265 secs
lola: STP completed || 70 tries, 69200193 fired transitions, 3270 secs || 47394581 markings, 109261081 edges, 13594 markings/sec, 3270 secs
lola: STP completed || 70 tries, 69302263 fired transitions, 3275 secs || 47464212 markings, 109429872 edges, 13926 markings/sec, 3275 secs
lola: STP completed || 70 tries, 69405862 fired transitions, 3280 secs || 47532600 markings, 109608073 edges, 13678 markings/sec, 3280 secs
lola: STP completed || 70 tries, 69512763 fired transitions, 3285 secs || 47607147 markings, 109794607 edges, 14909 markings/sec, 3285 secs
lola: STP completed || 70 tries, 69622584 fired transitions, 3290 secs || 47683894 markings, 109977691 edges, 15349 markings/sec, 3290 secs
lola: STP completed || 70 tries, 69733878 fired transitions, 3295 secs || 47759654 markings, 110164630 edges, 15152 markings/sec, 3295 secs
lola: STP completed || 70 tries, 69842749 fired transitions, 3300 secs || 47837837 markings, 110340568 edges, 15637 markings/sec, 3300 secs
lola: STP completed || 70 tries, 69945306 fired transitions, 3305 secs || 47907254 markings, 110503940 edges, 13883 markings/sec, 3305 secs
lola: STP completed || 71 tries, 70047911 fired transitions, 3310 secs || 47973729 markings, 110679358 edges, 13295 markings/sec, 3310 secs
lola: STP completed || 71 tries, 70150999 fired transitions, 3315 secs || 48042522 markings, 110849316 edges, 13759 markings/sec, 3315 secs
lola: STP completed || 71 tries, 70254130 fired transitions, 3320 secs || 48110231 markings, 111025760 edges, 13542 markings/sec, 3320 secs
lola: STP completed || 71 tries, 70359508 fired transitions, 3325 secs || 48179881 markings, 111203843 edges, 13930 markings/sec, 3325 secs
lola: STP completed || 71 tries, 70467397 fired transitions, 3330 secs || 48249571 markings, 111389334 edges, 13938 markings/sec, 3330 secs
lola: STP completed || 71 tries, 70573870 fired transitions, 3335 secs || 48319579 markings, 111567829 edges, 14002 markings/sec, 3335 secs
lola: STP completed || 71 tries, 70676209 fired transitions, 3340 secs || 48386234 markings, 111745189 edges, 13331 markings/sec, 3340 secs
lola: STP completed || 71 tries, 70783000 fired transitions, 3345 secs || 48457386 markings, 111932075 edges, 14230 markings/sec, 3345 secs
lola: STP completed || 71 tries, 70896558 fired transitions, 3350 secs || 48532135 markings, 112120305 edges, 14950 markings/sec, 3350 secs
lola: STP completed || 72 tries, 71005955 fired transitions, 3355 secs || 48608023 markings, 112292994 edges, 15178 markings/sec, 3355 secs
lola: STP completed || 72 tries, 71109401 fired transitions, 3360 secs || 48679634 markings, 112452719 edges, 14322 markings/sec, 3360 secs
lola: STP completed || 72 tries, 71212283 fired transitions, 3365 secs || 48745794 markings, 112632481 edges, 13232 markings/sec, 3365 secs
lola: STP completed || 72 tries, 71314189 fired transitions, 3370 secs || 48813558 markings, 112802950 edges, 13553 markings/sec, 3370 secs
lola: STP completed || 72 tries, 71422626 fired transitions, 3375 secs || 48885490 markings, 112982274 edges, 14386 markings/sec, 3375 secs
lola: STP completed || 72 tries, 71532265 fired transitions, 3380 secs || 48960408 markings, 113151328 edges, 14984 markings/sec, 3380 secs
lola: STP completed || 72 tries, 71639972 fired transitions, 3385 secs || 49032091 markings, 113321185 edges, 14337 markings/sec, 3385 secs
lola: STP completed || 72 tries, 71751218 fired transitions, 3390 secs || 49108386 markings, 113505069 edges, 15259 markings/sec, 3390 secs
lola: STP completed || 72 tries, 71858536 fired transitions, 3395 secs || 49177893 markings, 113678689 edges, 13901 markings/sec, 3395 secs
lola: STP completed || 72 tries, 71960959 fired transitions, 3400 secs || 49245126 markings, 113847787 edges, 13447 markings/sec, 3400 secs
lola: STP completed || 73 tries, 72063931 fired transitions, 3405 secs || 49315455 markings, 114009594 edges, 14066 markings/sec, 3405 secs
lola: STP completed || 73 tries, 72167597 fired transitions, 3410 secs || 49383538 markings, 114186134 edges, 13617 markings/sec, 3410 secs
lola: STP completed || 73 tries, 72273724 fired transitions, 3415 secs || 49452073 markings, 114359460 edges, 13707 markings/sec, 3415 secs
lola: STP completed || 73 tries, 72388446 fired transitions, 3420 secs || 49527409 markings, 114549389 edges, 15067 markings/sec, 3420 secs
lola: STP completed || 73 tries, 72502671 fired transitions, 3425 secs || 49604373 markings, 114733349 edges, 15393 markings/sec, 3425 secs
lola: STP completed || 73 tries, 72617091 fired transitions, 3430 secs || 49678914 markings, 114931028 edges, 14908 markings/sec, 3430 secs
lola: STP completed || 73 tries, 72732081 fired transitions, 3435 secs || 49755258 markings, 115119207 edges, 15269 markings/sec, 3435 secs
lola: STP completed || 73 tries, 72847121 fired transitions, 3440 secs || 49831781 markings, 115306558 edges, 15305 markings/sec, 3440 secs
lola: STP completed || 73 tries, 72959505 fired transitions, 3445 secs || 49908405 markings, 115486422 edges, 15325 markings/sec, 3445 secs
lola: STP completed || 74 tries, 73074577 fired transitions, 3450 secs || 49985551 markings, 115676645 edges, 15429 markings/sec, 3450 secs
lola: STP completed || 74 tries, 73189061 fired transitions, 3455 secs || 50059126 markings, 115873850 edges, 14715 markings/sec, 3455 secs
lola: STP completed || 74 tries, 73303870 fired transitions, 3460 secs || 50134403 markings, 116067823 edges, 15055 markings/sec, 3460 secs
lola: STP completed || 74 tries, 73418546 fired transitions, 3465 secs || 50208886 markings, 116261077 edges, 14897 markings/sec, 3465 secs
lola: STP completed || 74 tries, 73533424 fired transitions, 3470 secs || 50290741 markings, 116437105 edges, 16371 markings/sec, 3470 secs
lola: STP completed || 74 tries, 73648090 fired transitions, 3475 secs || 50369882 markings, 116622940 edges, 15828 markings/sec, 3475 secs
lola: STP completed || 74 tries, 73762685 fired transitions, 3480 secs || 50445730 markings, 116813951 edges, 15170 markings/sec, 3480 secs
lola: STP completed || 74 tries, 73877295 fired transitions, 3485 secs || 50523052 markings, 117003893 edges, 15464 markings/sec, 3485 secs
lola: STP completed || 74 tries, 73992003 fired transitions, 3490 secs || 50600419 markings, 117192369 edges, 15473 markings/sec, 3490 secs
lola: STP completed || 75 tries, 74106822 fired transitions, 3495 secs || 50674362 markings, 117392918 edges, 14789 markings/sec, 3495 secs
lola: STP completed || 75 tries, 74221481 fired transitions, 3500 secs || 50750552 markings, 117586950 edges, 15238 markings/sec, 3500 secs
lola: STP completed || 75 tries, 74334901 fired transitions, 3505 secs || 50828147 markings, 117768277 edges, 15519 markings/sec, 3505 secs
lola: STP completed || 75 tries, 74449358 fired transitions, 3510 secs || 50903478 markings, 117959387 edges, 15066 markings/sec, 3510 secs
lola: STP completed || 75 tries, 74564411 fired transitions, 3515 secs || 50978411 markings, 118153774 edges, 14987 markings/sec, 3515 secs
lola: STP completed || 75 tries, 74678193 fired transitions, 3520 secs || 51053977 markings, 118342313 edges, 15113 markings/sec, 3520 secs
lola: STP completed || 75 tries, 74780789 fired transitions, 3525 secs || 51122422 markings, 118515054 edges, 13689 markings/sec, 3525 secs
lola: STP completed || 75 tries, 74884083 fired transitions, 3530 secs || 51190479 markings, 118689381 edges, 13611 markings/sec, 3530 secs
lola: STP completed || 75 tries, 74987132 fired transitions, 3535 secs || 51256302 markings, 118868941 edges, 13165 markings/sec, 3535 secs
lola: STP completed || 76 tries, 75090353 fired transitions, 3540 secs || 51324886 markings, 119035238 edges, 13717 markings/sec, 3540 secs
lola: STP completed || 76 tries, 75193937 fired transitions, 3545 secs || 51392777 markings, 119201844 edges, 13578 markings/sec, 3545 secs
lola: STP completed || 76 tries, 75297807 fired transitions, 3550 secs || 51460842 markings, 119374188 edges, 13613 markings/sec, 3550 secs
lola: STP completed || 76 tries, 75401253 fired transitions, 3555 secs || 51527192 markings, 119546594 edges, 13270 markings/sec, 3555 secs
lola: STP completed || 76 tries, 75503907 fired transitions, 3560 secs || 51594262 markings, 119721774 edges, 13414 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 5431872 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 5433688 KB
lola: time consumption: 3572 seconds

BK_STOP 1526968398320

--------------------
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="Railroad-PT-020"
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/Railroad-PT-020.tgz
mv Railroad-PT-020 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 Railroad-PT-020, 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 r136-qhx2-152673578900188"
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 ;