fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r142-qhx2-152673583800167
Last Updated
June 26, 2018

About the Execution of M4M.full for Raft-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.300 3231373.00 6664768.00 8372.30 ? normal

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 416K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K 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 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 241K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is Raft-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r142-qhx2-152673583800167
=====================================================================


--------------------
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 Raft-PT-10-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527955922725


BK_STOP 1527959154098

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using Raft-PT-10 as instance name.
Using Raft as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 5007, 'Memory': 375.7, 'Tool': 'itstools'}, {'Time': 5691, 'Memory': 402.34, 'Tool': 'itstools'}, {'Time': 6983, 'Memory': 278.65, 'Tool': 'gspn'}, {'Time': 11290, 'Memory': 309.92, 'Tool': 'gspn'}, {'Time': 973902, 'Memory': 6662.03, 'Tool': 'marcie'}, {'Time': 1008272, 'Memory': 6662.15, 'Tool': 'marcie'}, {'Time': 1856651, 'Memory': 15950.1, 'Tool': 'lola'}, {'Time': 2246645, 'Memory': 15951.62, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 370.81106450968645x far from the best tool itstools.
ReachabilityDeadlock lola Raft-PT-10...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
Raft-PT-10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
Raft-PT-10: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ Raft-PT-10 @ 3538 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1376/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 508 places, 868 transitions, 408 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 857 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-10-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 117 generators (13 in search tree, 104 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 16874 variables and 61659 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 44860 fired transitions, 0 secs || 37556 markings, 328495 edges, 7511 markings/sec, 0 secs
lola: STP completed || 1 tries, 90950 fired transitions, 5 secs || 74582 markings, 730441 edges, 7405 markings/sec, 5 secs
lola: STP completed || 1 tries, 137098 fired transitions, 10 secs || 109877 markings, 1149960 edges, 7059 markings/sec, 10 secs
lola: STP completed || 1 tries, 183836 fired transitions, 15 secs || 145710 markings, 1571999 edges, 7167 markings/sec, 15 secs
lola: STP completed || 1 tries, 230163 fired transitions, 20 secs || 180936 markings, 1990755 edges, 7045 markings/sec, 20 secs
lola: STP completed || 1 tries, 281121 fired transitions, 25 secs || 219608 markings, 2446994 edges, 7734 markings/sec, 25 secs
lola: STP completed || 1 tries, 327926 fired transitions, 30 secs || 254829 markings, 2867159 edges, 7044 markings/sec, 30 secs
lola: STP completed || 1 tries, 373918 fired transitions, 35 secs || 296524 markings, 3197744 edges, 8339 markings/sec, 35 secs
lola: STP completed || 1 tries, 419968 fired transitions, 40 secs || 338503 markings, 3518620 edges, 8396 markings/sec, 40 secs
lola: STP completed || 1 tries, 465775 fired transitions, 45 secs || 380669 markings, 3842655 edges, 8433 markings/sec, 45 secs
lola: STP completed || 1 tries, 511818 fired transitions, 50 secs || 422638 markings, 4161149 edges, 8394 markings/sec, 50 secs
lola: STP completed || 1 tries, 557882 fired transitions, 55 secs || 464583 markings, 4480706 edges, 8389 markings/sec, 55 secs
lola: STP completed || 1 tries, 604118 fired transitions, 60 secs || 506619 markings, 4806800 edges, 8407 markings/sec, 60 secs
lola: STP completed || 1 tries, 650663 fired transitions, 65 secs || 549082 markings, 5133008 edges, 8493 markings/sec, 65 secs
lola: STP completed || 1 tries, 696926 fired transitions, 70 secs || 591100 markings, 5450717 edges, 8404 markings/sec, 70 secs
lola: STP completed || 1 tries, 743284 fired transitions, 75 secs || 632703 markings, 5770683 edges, 8321 markings/sec, 75 secs
lola: STP completed || 1 tries, 789713 fired transitions, 80 secs || 675021 markings, 6099001 edges, 8464 markings/sec, 80 secs
lola: STP completed || 1 tries, 836085 fired transitions, 85 secs || 717433 markings, 6421432 edges, 8482 markings/sec, 85 secs
lola: STP completed || 1 tries, 881904 fired transitions, 90 secs || 759374 markings, 6741686 edges, 8388 markings/sec, 90 secs
lola: STP completed || 1 tries, 927907 fired transitions, 95 secs || 801687 markings, 7069696 edges, 8463 markings/sec, 95 secs
lola: STP completed || 1 tries, 973898 fired transitions, 100 secs || 843649 markings, 7393626 edges, 8392 markings/sec, 100 secs
lola: STP completed || 2 tries, 1020064 fired transitions, 105 secs || 885468 markings, 7726509 edges, 8364 markings/sec, 105 secs
lola: STP completed || 2 tries, 1066357 fired transitions, 110 secs || 927067 markings, 8045210 edges, 8320 markings/sec, 110 secs
lola: STP completed || 2 tries, 1112423 fired transitions, 115 secs || 969044 markings, 8361884 edges, 8395 markings/sec, 115 secs
lola: STP completed || 2 tries, 1158631 fired transitions, 120 secs || 1010911 markings, 8685149 edges, 8373 markings/sec, 120 secs
lola: STP completed || 2 tries, 1204522 fired transitions, 125 secs || 1052663 markings, 9005085 edges, 8350 markings/sec, 125 secs
lola: STP completed || 2 tries, 1250747 fired transitions, 130 secs || 1094772 markings, 9324262 edges, 8422 markings/sec, 130 secs
lola: STP completed || 2 tries, 1296971 fired transitions, 135 secs || 1136891 markings, 9646974 edges, 8424 markings/sec, 135 secs
lola: STP completed || 2 tries, 1343368 fired transitions, 140 secs || 1179227 markings, 9983276 edges, 8467 markings/sec, 140 secs
lola: STP completed || 2 tries, 1389661 fired transitions, 145 secs || 1221106 markings, 10316170 edges, 8376 markings/sec, 145 secs
lola: STP completed || 2 tries, 1436092 fired transitions, 150 secs || 1263461 markings, 10650122 edges, 8471 markings/sec, 150 secs
lola: STP completed || 2 tries, 1482069 fired transitions, 155 secs || 1305385 markings, 10968887 edges, 8385 markings/sec, 155 secs
lola: STP completed || 2 tries, 1527879 fired transitions, 160 secs || 1346154 markings, 11278686 edges, 8154 markings/sec, 160 secs
lola: STP completed || 2 tries, 1574048 fired transitions, 165 secs || 1387305 markings, 11594696 edges, 8230 markings/sec, 165 secs
lola: STP completed || 2 tries, 1620167 fired transitions, 170 secs || 1428186 markings, 11906834 edges, 8176 markings/sec, 170 secs
lola: STP completed || 2 tries, 1666054 fired transitions, 175 secs || 1469392 markings, 12214502 edges, 8241 markings/sec, 175 secs
lola: STP completed || 2 tries, 1712175 fired transitions, 180 secs || 1510716 markings, 12526330 edges, 8265 markings/sec, 180 secs
lola: STP completed || 2 tries, 1758336 fired transitions, 185 secs || 1552010 markings, 12839494 edges, 8259 markings/sec, 185 secs
lola: STP completed || 2 tries, 1804440 fired transitions, 190 secs || 1592859 markings, 13150426 edges, 8170 markings/sec, 190 secs
lola: STP completed || 2 tries, 1850514 fired transitions, 195 secs || 1634236 markings, 13467035 edges, 8275 markings/sec, 195 secs
lola: STP completed || 2 tries, 1899895 fired transitions, 200 secs || 1678438 markings, 13801953 edges, 8840 markings/sec, 200 secs
lola: STP completed || 2 tries, 1950689 fired transitions, 205 secs || 1723978 markings, 14150389 edges, 9108 markings/sec, 205 secs
lola: STP completed || 3 tries, 2001692 fired transitions, 210 secs || 1769735 markings, 14507847 edges, 9151 markings/sec, 210 secs
lola: STP completed || 3 tries, 2052817 fired transitions, 215 secs || 1815779 markings, 14864857 edges, 9209 markings/sec, 215 secs
lola: STP completed || 3 tries, 2104085 fired transitions, 220 secs || 1862796 markings, 15222891 edges, 9403 markings/sec, 220 secs
lola: STP completed || 3 tries, 2155508 fired transitions, 225 secs || 1909867 markings, 15579285 edges, 9414 markings/sec, 225 secs
lola: STP completed || 3 tries, 2206848 fired transitions, 230 secs || 1957321 markings, 15938661 edges, 9491 markings/sec, 230 secs
lola: STP completed || 3 tries, 2258155 fired transitions, 235 secs || 2004191 markings, 16300418 edges, 9374 markings/sec, 235 secs
lola: STP completed || 3 tries, 2309333 fired transitions, 240 secs || 2051473 markings, 16666060 edges, 9456 markings/sec, 240 secs
lola: STP completed || 3 tries, 2360731 fired transitions, 245 secs || 2098873 markings, 17028716 edges, 9480 markings/sec, 245 secs
lola: STP completed || 3 tries, 2412178 fired transitions, 250 secs || 2146158 markings, 17396500 edges, 9457 markings/sec, 250 secs
lola: STP completed || 3 tries, 2463439 fired transitions, 255 secs || 2193167 markings, 17753944 edges, 9402 markings/sec, 255 secs
lola: STP completed || 3 tries, 2514240 fired transitions, 260 secs || 2239762 markings, 18110558 edges, 9319 markings/sec, 260 secs
lola: STP completed || 3 tries, 2565023 fired transitions, 265 secs || 2285928 markings, 18468266 edges, 9233 markings/sec, 265 secs
lola: STP completed || 3 tries, 2611537 fired transitions, 270 secs || 2328417 markings, 18791228 edges, 8498 markings/sec, 270 secs
lola: STP completed || 3 tries, 2657523 fired transitions, 275 secs || 2370307 markings, 19115108 edges, 8378 markings/sec, 275 secs
lola: STP completed || 3 tries, 2703587 fired transitions, 280 secs || 2411916 markings, 19436695 edges, 8322 markings/sec, 280 secs
lola: STP completed || 3 tries, 2749573 fired transitions, 285 secs || 2453337 markings, 19756422 edges, 8284 markings/sec, 285 secs
lola: STP completed || 3 tries, 2795285 fired transitions, 290 secs || 2494972 markings, 20075682 edges, 8327 markings/sec, 290 secs
lola: STP completed || 3 tries, 2841430 fired transitions, 295 secs || 2537441 markings, 20408573 edges, 8494 markings/sec, 295 secs
lola: STP completed || 3 tries, 2887705 fired transitions, 300 secs || 2579596 markings, 20736885 edges, 8431 markings/sec, 300 secs
lola: STP completed || 3 tries, 2934114 fired transitions, 305 secs || 2621222 markings, 21076268 edges, 8325 markings/sec, 305 secs
lola: STP completed || 3 tries, 2982977 fired transitions, 310 secs || 2665979 markings, 21425576 edges, 8951 markings/sec, 310 secs
lola: STP completed || 4 tries, 3030956 fired transitions, 315 secs || 2710106 markings, 21768794 edges, 8825 markings/sec, 315 secs
lola: STP completed || 4 tries, 3076673 fired transitions, 320 secs || 2751528 markings, 22083130 edges, 8284 markings/sec, 320 secs
lola: STP completed || 4 tries, 3122616 fired transitions, 325 secs || 2793085 markings, 22398989 edges, 8311 markings/sec, 325 secs
lola: STP completed || 4 tries, 3168183 fired transitions, 330 secs || 2834321 markings, 22715330 edges, 8247 markings/sec, 330 secs
lola: STP completed || 4 tries, 3214268 fired transitions, 335 secs || 2876179 markings, 23034434 edges, 8372 markings/sec, 335 secs
lola: STP completed || 4 tries, 3260622 fired transitions, 340 secs || 2917956 markings, 23355111 edges, 8355 markings/sec, 340 secs
lola: STP completed || 4 tries, 3306872 fired transitions, 345 secs || 2959515 markings, 23678206 edges, 8312 markings/sec, 345 secs
lola: STP completed || 4 tries, 3353252 fired transitions, 350 secs || 3002211 markings, 24011275 edges, 8539 markings/sec, 350 secs
lola: STP completed || 4 tries, 3399268 fired transitions, 355 secs || 3044110 markings, 24334401 edges, 8380 markings/sec, 355 secs
lola: STP completed || 4 tries, 3445701 fired transitions, 360 secs || 3086258 markings, 24654895 edges, 8430 markings/sec, 360 secs
lola: STP completed || 4 tries, 3492210 fired transitions, 365 secs || 3128458 markings, 24985490 edges, 8440 markings/sec, 365 secs
lola: STP completed || 4 tries, 3538535 fired transitions, 370 secs || 3170635 markings, 25313663 edges, 8435 markings/sec, 370 secs
lola: STP completed || 4 tries, 3584484 fired transitions, 375 secs || 3211794 markings, 25626074 edges, 8232 markings/sec, 375 secs
lola: STP completed || 4 tries, 3631684 fired transitions, 380 secs || 3254098 markings, 25953573 edges, 8461 markings/sec, 380 secs
lola: STP completed || 4 tries, 3677420 fired transitions, 385 secs || 3294571 markings, 26262220 edges, 8095 markings/sec, 385 secs
lola: STP completed || 4 tries, 3723320 fired transitions, 390 secs || 3335272 markings, 26582516 edges, 8140 markings/sec, 390 secs
lola: STP completed || 4 tries, 3769348 fired transitions, 395 secs || 3375787 markings, 26891351 edges, 8103 markings/sec, 395 secs
lola: STP completed || 4 tries, 3815370 fired transitions, 400 secs || 3416599 markings, 27202839 edges, 8162 markings/sec, 400 secs
lola: STP completed || 4 tries, 3861216 fired transitions, 405 secs || 3457184 markings, 27509451 edges, 8117 markings/sec, 405 secs
lola: STP completed || 4 tries, 3906991 fired transitions, 410 secs || 3497997 markings, 27817953 edges, 8163 markings/sec, 410 secs
lola: STP completed || 4 tries, 3952860 fired transitions, 415 secs || 3538541 markings, 28123479 edges, 8109 markings/sec, 415 secs
lola: STP completed || 4 tries, 3999064 fired transitions, 420 secs || 3579811 markings, 28440980 edges, 8254 markings/sec, 420 secs
lola: STP completed || 5 tries, 4045472 fired transitions, 425 secs || 3622138 markings, 28772597 edges, 8465 markings/sec, 425 secs
lola: STP completed || 5 tries, 4091579 fired transitions, 430 secs || 3663702 markings, 29090879 edges, 8313 markings/sec, 430 secs
lola: STP completed || 5 tries, 4137557 fired transitions, 435 secs || 3704621 markings, 29399280 edges, 8184 markings/sec, 435 secs
lola: STP completed || 5 tries, 4183511 fired transitions, 440 secs || 3745295 markings, 29708490 edges, 8135 markings/sec, 440 secs
lola: STP completed || 5 tries, 4228882 fired transitions, 445 secs || 3785671 markings, 30016256 edges, 8075 markings/sec, 445 secs
lola: STP completed || 5 tries, 4274732 fired transitions, 450 secs || 3826152 markings, 30322531 edges, 8096 markings/sec, 450 secs
lola: STP completed || 5 tries, 4320711 fired transitions, 455 secs || 3866995 markings, 30640915 edges, 8169 markings/sec, 455 secs
lola: STP completed || 5 tries, 4366487 fired transitions, 460 secs || 3907687 markings, 30950081 edges, 8138 markings/sec, 460 secs
lola: STP completed || 5 tries, 4412314 fired transitions, 465 secs || 3948397 markings, 31257997 edges, 8142 markings/sec, 465 secs
lola: STP completed || 5 tries, 4457698 fired transitions, 470 secs || 3989011 markings, 31562495 edges, 8123 markings/sec, 470 secs
lola: STP completed || 5 tries, 4503394 fired transitions, 475 secs || 4030077 markings, 31873631 edges, 8213 markings/sec, 475 secs
lola: STP completed || 5 tries, 4548346 fired transitions, 480 secs || 4070861 markings, 32182383 edges, 8157 markings/sec, 480 secs
lola: STP completed || 5 tries, 4596327 fired transitions, 485 secs || 4113832 markings, 32512584 edges, 8594 markings/sec, 485 secs
lola: STP completed || 5 tries, 4643570 fired transitions, 490 secs || 4155767 markings, 32833196 edges, 8387 markings/sec, 490 secs
lola: STP completed || 5 tries, 4689857 fired transitions, 495 secs || 4196573 markings, 33150134 edges, 8161 markings/sec, 495 secs
lola: STP completed || 5 tries, 4736047 fired transitions, 500 secs || 4237376 markings, 33462912 edges, 8161 markings/sec, 500 secs
lola: STP completed || 5 tries, 4782170 fired transitions, 505 secs || 4277793 markings, 33781555 edges, 8083 markings/sec, 505 secs
lola: STP completed || 5 tries, 4828529 fired transitions, 510 secs || 4318257 markings, 34114103 edges, 8093 markings/sec, 510 secs
lola: STP completed || 5 tries, 4875160 fired transitions, 515 secs || 4359226 markings, 34425237 edges, 8194 markings/sec, 515 secs
lola: STP completed || 5 tries, 4921279 fired transitions, 520 secs || 4399916 markings, 34732673 edges, 8138 markings/sec, 520 secs
lola: STP completed || 5 tries, 4967501 fired transitions, 525 secs || 4440510 markings, 35045918 edges, 8119 markings/sec, 525 secs
lola: STP completed || 6 tries, 5013731 fired transitions, 530 secs || 4482265 markings, 35354358 edges, 8351 markings/sec, 530 secs
lola: STP completed || 6 tries, 5060810 fired transitions, 535 secs || 4523704 markings, 35685715 edges, 8288 markings/sec, 535 secs
lola: STP completed || 6 tries, 5107574 fired transitions, 540 secs || 4566693 markings, 35998300 edges, 8598 markings/sec, 540 secs
lola: STP completed || 6 tries, 5154486 fired transitions, 545 secs || 4609754 markings, 36309074 edges, 8612 markings/sec, 545 secs
lola: STP completed || 6 tries, 5201806 fired transitions, 550 secs || 4651298 markings, 36638479 edges, 8309 markings/sec, 550 secs
lola: STP completed || 6 tries, 5248754 fired transitions, 555 secs || 4694742 markings, 36955978 edges, 8689 markings/sec, 555 secs
lola: STP completed || 6 tries, 5295882 fired transitions, 560 secs || 4737858 markings, 37276935 edges, 8623 markings/sec, 560 secs
lola: STP completed || 6 tries, 5342978 fired transitions, 565 secs || 4780903 markings, 37594047 edges, 8609 markings/sec, 565 secs
lola: STP completed || 6 tries, 5389768 fired transitions, 570 secs || 4823627 markings, 37907055 edges, 8545 markings/sec, 570 secs
lola: STP completed || 6 tries, 5436873 fired transitions, 575 secs || 4867325 markings, 38232288 edges, 8740 markings/sec, 575 secs
lola: STP completed || 6 tries, 5483785 fired transitions, 580 secs || 4910809 markings, 38548819 edges, 8697 markings/sec, 580 secs
lola: STP completed || 6 tries, 5531008 fired transitions, 585 secs || 4953117 markings, 38861044 edges, 8462 markings/sec, 585 secs
lola: STP completed || 6 tries, 5577810 fired transitions, 590 secs || 4996027 markings, 39175194 edges, 8582 markings/sec, 590 secs
lola: STP completed || 6 tries, 5624899 fired transitions, 595 secs || 5039987 markings, 39492684 edges, 8792 markings/sec, 595 secs
lola: STP completed || 6 tries, 5671544 fired transitions, 600 secs || 5083465 markings, 39812945 edges, 8696 markings/sec, 600 secs
lola: STP completed || 6 tries, 5718600 fired transitions, 605 secs || 5128091 markings, 40137017 edges, 8925 markings/sec, 605 secs
lola: STP completed || 6 tries, 5765480 fired transitions, 610 secs || 5172659 markings, 40459530 edges, 8914 markings/sec, 610 secs
lola: STP completed || 6 tries, 5812234 fired transitions, 615 secs || 5216528 markings, 40783264 edges, 8774 markings/sec, 615 secs
lola: STP completed || 6 tries, 5859508 fired transitions, 620 secs || 5261471 markings, 41110800 edges, 8989 markings/sec, 620 secs
lola: STP completed || 6 tries, 5906465 fired transitions, 625 secs || 5305408 markings, 41431140 edges, 8787 markings/sec, 625 secs
lola: STP completed || 6 tries, 5953510 fired transitions, 630 secs || 5349554 markings, 41758058 edges, 8829 markings/sec, 630 secs
lola: STP completed || 7 tries, 6000446 fired transitions, 635 secs || 5393281 markings, 42085642 edges, 8745 markings/sec, 635 secs
lola: STP completed || 7 tries, 6046953 fired transitions, 640 secs || 5435512 markings, 42418325 edges, 8446 markings/sec, 640 secs
lola: STP completed || 7 tries, 6092900 fired transitions, 645 secs || 5477469 markings, 42742507 edges, 8391 markings/sec, 645 secs
lola: STP completed || 7 tries, 6139408 fired transitions, 650 secs || 5519572 markings, 43072474 edges, 8421 markings/sec, 650 secs
lola: STP completed || 7 tries, 6185857 fired transitions, 655 secs || 5562105 markings, 43406758 edges, 8507 markings/sec, 655 secs
lola: STP completed || 7 tries, 6231990 fired transitions, 660 secs || 5604382 markings, 43746073 edges, 8455 markings/sec, 660 secs
lola: STP completed || 7 tries, 6278539 fired transitions, 665 secs || 5646634 markings, 44084600 edges, 8450 markings/sec, 665 secs
lola: STP completed || 7 tries, 6324686 fired transitions, 670 secs || 5689019 markings, 44416025 edges, 8477 markings/sec, 670 secs
lola: STP completed || 7 tries, 6371016 fired transitions, 675 secs || 5730836 markings, 44747656 edges, 8363 markings/sec, 675 secs
lola: STP completed || 7 tries, 6417488 fired transitions, 680 secs || 5773171 markings, 45082475 edges, 8467 markings/sec, 680 secs
lola: STP completed || 7 tries, 6463831 fired transitions, 685 secs || 5814195 markings, 45419890 edges, 8205 markings/sec, 685 secs
lola: STP completed || 7 tries, 6510446 fired transitions, 690 secs || 5854276 markings, 45754601 edges, 8016 markings/sec, 690 secs
lola: STP completed || 7 tries, 6556431 fired transitions, 695 secs || 5894705 markings, 46073445 edges, 8086 markings/sec, 695 secs
lola: STP completed || 7 tries, 6602451 fired transitions, 700 secs || 5935168 markings, 46398065 edges, 8093 markings/sec, 700 secs
lola: STP completed || 7 tries, 6648154 fired transitions, 705 secs || 5976111 markings, 46709411 edges, 8189 markings/sec, 705 secs
lola: STP completed || 7 tries, 6693983 fired transitions, 710 secs || 6016619 markings, 47016029 edges, 8102 markings/sec, 710 secs
lola: STP completed || 7 tries, 6739839 fired transitions, 715 secs || 6056698 markings, 47322981 edges, 8016 markings/sec, 715 secs
lola: STP completed || 7 tries, 6785719 fired transitions, 720 secs || 6097092 markings, 47628371 edges, 8079 markings/sec, 720 secs
lola: STP completed || 7 tries, 6831780 fired transitions, 725 secs || 6138454 markings, 47939072 edges, 8272 markings/sec, 725 secs
lola: STP completed || 7 tries, 6877778 fired transitions, 730 secs || 6178923 markings, 48247457 edges, 8094 markings/sec, 730 secs
lola: STP completed || 7 tries, 6923671 fired transitions, 735 secs || 6219145 markings, 48547149 edges, 8044 markings/sec, 735 secs
lola: STP completed || 7 tries, 6969603 fired transitions, 740 secs || 6259184 markings, 48851414 edges, 8008 markings/sec, 740 secs
lola: STP completed || 8 tries, 7015947 fired transitions, 745 secs || 6300311 markings, 49159353 edges, 8225 markings/sec, 745 secs
lola: STP completed || 8 tries, 7062867 fired transitions, 750 secs || 6342939 markings, 49475213 edges, 8526 markings/sec, 750 secs
lola: STP completed || 8 tries, 7109872 fired transitions, 755 secs || 6385735 markings, 49792270 edges, 8559 markings/sec, 755 secs
lola: STP completed || 8 tries, 7156774 fired transitions, 760 secs || 6428405 markings, 50108561 edges, 8534 markings/sec, 760 secs
lola: STP completed || 8 tries, 7203454 fired transitions, 765 secs || 6472585 markings, 50428227 edges, 8836 markings/sec, 765 secs
lola: STP completed || 8 tries, 7250407 fired transitions, 770 secs || 6516995 markings, 50750475 edges, 8882 markings/sec, 770 secs
lola: STP completed || 8 tries, 7297303 fired transitions, 775 secs || 6560987 markings, 51071609 edges, 8798 markings/sec, 775 secs
lola: STP completed || 8 tries, 7344477 fired transitions, 780 secs || 6605813 markings, 51397288 edges, 8965 markings/sec, 780 secs
lola: STP completed || 8 tries, 7391577 fired transitions, 785 secs || 6651232 markings, 51724829 edges, 9084 markings/sec, 785 secs
lola: STP completed || 8 tries, 7438647 fired transitions, 790 secs || 6694956 markings, 52049741 edges, 8745 markings/sec, 790 secs
lola: STP completed || 8 tries, 7485581 fired transitions, 795 secs || 6738387 markings, 52361634 edges, 8686 markings/sec, 795 secs
lola: STP completed || 8 tries, 7532672 fired transitions, 800 secs || 6781884 markings, 52680428 edges, 8699 markings/sec, 800 secs
lola: STP completed || 8 tries, 7579224 fired transitions, 805 secs || 6825172 markings, 52997429 edges, 8658 markings/sec, 805 secs
lola: STP completed || 8 tries, 7625989 fired transitions, 810 secs || 6868196 markings, 53309544 edges, 8605 markings/sec, 810 secs
lola: STP completed || 8 tries, 7672650 fired transitions, 815 secs || 6911204 markings, 53625396 edges, 8602 markings/sec, 815 secs
lola: STP completed || 8 tries, 7719411 fired transitions, 820 secs || 6954462 markings, 53943183 edges, 8652 markings/sec, 820 secs
lola: STP completed || 8 tries, 7766156 fired transitions, 825 secs || 6997694 markings, 54260610 edges, 8646 markings/sec, 825 secs
lola: STP completed || 8 tries, 7813244 fired transitions, 830 secs || 7041870 markings, 54622367 edges, 8835 markings/sec, 830 secs
lola: STP completed || 8 tries, 7859884 fired transitions, 835 secs || 7085956 markings, 54946657 edges, 8817 markings/sec, 835 secs
lola: STP completed || 8 tries, 7906434 fired transitions, 840 secs || 7130284 markings, 55266726 edges, 8866 markings/sec, 840 secs
lola: STP completed || 8 tries, 7952182 fired transitions, 845 secs || 7173694 markings, 55619672 edges, 8682 markings/sec, 845 secs
lola: STP completed || 8 tries, 7998710 fired transitions, 850 secs || 7218085 markings, 55944185 edges, 8878 markings/sec, 850 secs
lola: STP completed || 9 tries, 8044718 fired transitions, 855 secs || 7260394 markings, 56264417 edges, 8462 markings/sec, 855 secs
lola: STP completed || 9 tries, 8090553 fired transitions, 860 secs || 7302642 markings, 56587684 edges, 8450 markings/sec, 860 secs
lola: STP completed || 9 tries, 8136761 fired transitions, 865 secs || 7345150 markings, 56915927 edges, 8502 markings/sec, 865 secs
lola: STP completed || 9 tries, 8182555 fired transitions, 870 secs || 7385959 markings, 57228000 edges, 8162 markings/sec, 870 secs
lola: STP completed || 9 tries, 8228270 fired transitions, 875 secs || 7426154 markings, 57547283 edges, 8039 markings/sec, 875 secs
lola: STP completed || 9 tries, 8274037 fired transitions, 880 secs || 7466530 markings, 57858486 edges, 8075 markings/sec, 880 secs
lola: STP completed || 9 tries, 8319781 fired transitions, 885 secs || 7507288 markings, 58164266 edges, 8152 markings/sec, 885 secs
lola: STP completed || 9 tries, 8365965 fired transitions, 890 secs || 7548385 markings, 58473150 edges, 8219 markings/sec, 890 secs
lola: STP completed || 9 tries, 8411999 fired transitions, 895 secs || 7589133 markings, 58790946 edges, 8150 markings/sec, 895 secs
lola: STP completed || 9 tries, 8457999 fired transitions, 900 secs || 7629732 markings, 59121061 edges, 8120 markings/sec, 900 secs
lola: STP completed || 9 tries, 8504574 fired transitions, 905 secs || 7670294 markings, 59464555 edges, 8112 markings/sec, 905 secs
lola: STP completed || 9 tries, 8550777 fired transitions, 910 secs || 7711087 markings, 59774609 edges, 8159 markings/sec, 910 secs
lola: STP completed || 9 tries, 8596716 fired transitions, 915 secs || 7751849 markings, 60084788 edges, 8152 markings/sec, 915 secs
lola: STP completed || 9 tries, 8642526 fired transitions, 920 secs || 7792591 markings, 60393223 edges, 8148 markings/sec, 920 secs
lola: STP completed || 9 tries, 8688158 fired transitions, 925 secs || 7833850 markings, 60709069 edges, 8252 markings/sec, 925 secs
lola: STP completed || 9 tries, 8734131 fired transitions, 930 secs || 7876168 markings, 61029253 edges, 8464 markings/sec, 930 secs
lola: STP completed || 9 tries, 8780346 fired transitions, 935 secs || 7918499 markings, 61350672 edges, 8466 markings/sec, 935 secs
lola: STP completed || 9 tries, 8826155 fired transitions, 940 secs || 7960611 markings, 61677802 edges, 8422 markings/sec, 940 secs
lola: STP completed || 9 tries, 8872158 fired transitions, 945 secs || 8002878 markings, 62001395 edges, 8453 markings/sec, 945 secs
lola: STP completed || 9 tries, 8917958 fired transitions, 950 secs || 8044881 markings, 62327311 edges, 8401 markings/sec, 950 secs
lola: STP completed || 9 tries, 8963700 fired transitions, 955 secs || 8086312 markings, 62658592 edges, 8286 markings/sec, 955 secs
lola: STP completed || 10 tries, 9009557 fired transitions, 960 secs || 8128838 markings, 62980136 edges, 8505 markings/sec, 960 secs
lola: STP completed || 10 tries, 9056586 fired transitions, 965 secs || 8172504 markings, 63342571 edges, 8733 markings/sec, 965 secs
lola: STP completed || 10 tries, 9103570 fired transitions, 970 secs || 8216856 markings, 63667469 edges, 8870 markings/sec, 970 secs
lola: STP completed || 10 tries, 9150347 fired transitions, 975 secs || 8261208 markings, 63991298 edges, 8870 markings/sec, 975 secs
lola: STP completed || 10 tries, 9196962 fired transitions, 980 secs || 8305440 markings, 64314355 edges, 8846 markings/sec, 980 secs
lola: STP completed || 10 tries, 9244097 fired transitions, 985 secs || 8349621 markings, 64630678 edges, 8836 markings/sec, 985 secs
lola: STP completed || 10 tries, 9291216 fired transitions, 990 secs || 8393608 markings, 64949221 edges, 8797 markings/sec, 990 secs
lola: STP completed || 10 tries, 9338227 fired transitions, 995 secs || 8438267 markings, 65271946 edges, 8932 markings/sec, 995 secs
lola: STP completed || 10 tries, 9385126 fired transitions, 1000 secs || 8483600 markings, 65595765 edges, 9067 markings/sec, 1000 secs
lola: STP completed || 10 tries, 9432513 fired transitions, 1005 secs || 8527958 markings, 65914997 edges, 8872 markings/sec, 1005 secs
lola: STP completed || 10 tries, 9479239 fired transitions, 1010 secs || 8570120 markings, 66225965 edges, 8432 markings/sec, 1010 secs
lola: STP completed || 10 tries, 9529366 fired transitions, 1015 secs || 8615369 markings, 66557876 edges, 9050 markings/sec, 1015 secs
lola: STP completed || 10 tries, 9577018 fired transitions, 1020 secs || 8658876 markings, 66874158 edges, 8701 markings/sec, 1020 secs
lola: STP completed || 10 tries, 9626839 fired transitions, 1025 secs || 8704849 markings, 67207378 edges, 9195 markings/sec, 1025 secs
lola: STP completed || 10 tries, 9675867 fired transitions, 1030 secs || 8750638 markings, 67538780 edges, 9158 markings/sec, 1030 secs
lola: STP completed || 10 tries, 9724228 fired transitions, 1035 secs || 8796036 markings, 67871911 edges, 9080 markings/sec, 1035 secs
lola: STP completed || 10 tries, 9772925 fired transitions, 1040 secs || 8841553 markings, 68205077 edges, 9103 markings/sec, 1040 secs
lola: STP completed || 10 tries, 9821519 fired transitions, 1045 secs || 8887384 markings, 68539299 edges, 9166 markings/sec, 1045 secs
lola: STP completed || 10 tries, 9868686 fired transitions, 1050 secs || 8932148 markings, 68865984 edges, 8953 markings/sec, 1050 secs
lola: STP completed || 10 tries, 9915600 fired transitions, 1055 secs || 8976770 markings, 69193863 edges, 8924 markings/sec, 1055 secs
lola: STP completed || 10 tries, 9962693 fired transitions, 1060 secs || 9021961 markings, 69516374 edges, 9038 markings/sec, 1060 secs
lola: STP completed || 11 tries, 10009520 fired transitions, 1065 secs || 9066351 markings, 69848740 edges, 8878 markings/sec, 1065 secs
lola: STP completed || 11 tries, 10055564 fired transitions, 1070 secs || 9108804 markings, 70176707 edges, 8491 markings/sec, 1070 secs
lola: STP completed || 11 tries, 10101563 fired transitions, 1075 secs || 9151589 markings, 70508081 edges, 8557 markings/sec, 1075 secs
lola: STP completed || 11 tries, 10147359 fired transitions, 1080 secs || 9194214 markings, 70834943 edges, 8525 markings/sec, 1080 secs
lola: STP completed || 11 tries, 10193161 fired transitions, 1085 secs || 9236582 markings, 71157959 edges, 8474 markings/sec, 1085 secs
lola: STP completed || 11 tries, 10239080 fired transitions, 1090 secs || 9279048 markings, 71484427 edges, 8493 markings/sec, 1090 secs
lola: STP completed || 11 tries, 10284928 fired transitions, 1095 secs || 9321558 markings, 71807253 edges, 8502 markings/sec, 1095 secs
lola: STP completed || 11 tries, 10330866 fired transitions, 1100 secs || 9364526 markings, 72134575 edges, 8594 markings/sec, 1100 secs
lola: STP completed || 11 tries, 10376647 fired transitions, 1105 secs || 9406787 markings, 72456699 edges, 8452 markings/sec, 1105 secs
lola: STP completed || 11 tries, 10422522 fired transitions, 1110 secs || 9448781 markings, 72779520 edges, 8399 markings/sec, 1110 secs
lola: STP completed || 11 tries, 10468726 fired transitions, 1115 secs || 9491249 markings, 73106072 edges, 8494 markings/sec, 1115 secs
lola: STP completed || 11 tries, 10514796 fired transitions, 1120 secs || 9532333 markings, 73418963 edges, 8217 markings/sec, 1120 secs
lola: STP completed || 11 tries, 10560527 fired transitions, 1125 secs || 9572752 markings, 73727131 edges, 8084 markings/sec, 1125 secs
lola: STP completed || 11 tries, 10606864 fired transitions, 1130 secs || 9613058 markings, 74039516 edges, 8061 markings/sec, 1130 secs
lola: STP completed || 11 tries, 10652814 fired transitions, 1135 secs || 9653889 markings, 74349170 edges, 8166 markings/sec, 1135 secs
lola: STP completed || 11 tries, 10699004 fired transitions, 1140 secs || 9694760 markings, 74653884 edges, 8174 markings/sec, 1140 secs
lola: STP completed || 11 tries, 10745008 fired transitions, 1145 secs || 9735659 markings, 74965183 edges, 8180 markings/sec, 1145 secs
lola: STP completed || 11 tries, 10791036 fired transitions, 1150 secs || 9776574 markings, 75280999 edges, 8183 markings/sec, 1150 secs
lola: STP completed || 11 tries, 10836820 fired transitions, 1155 secs || 9816972 markings, 75616372 edges, 8080 markings/sec, 1155 secs
lola: STP completed || 11 tries, 10883524 fired transitions, 1160 secs || 9858115 markings, 75942998 edges, 8229 markings/sec, 1160 secs
lola: STP completed || 11 tries, 10930546 fired transitions, 1165 secs || 9900050 markings, 76268765 edges, 8387 markings/sec, 1165 secs
lola: STP completed || 11 tries, 10976299 fired transitions, 1170 secs || 9940635 markings, 76572917 edges, 8117 markings/sec, 1170 secs
lola: STP completed || 12 tries, 11021938 fired transitions, 1175 secs || 9980805 markings, 76885408 edges, 8034 markings/sec, 1175 secs
lola: STP completed || 12 tries, 11067895 fired transitions, 1180 secs || 10021506 markings, 77195064 edges, 8140 markings/sec, 1180 secs
lola: STP completed || 12 tries, 11113906 fired transitions, 1185 secs || 10061860 markings, 77502159 edges, 8071 markings/sec, 1185 secs
lola: STP completed || 12 tries, 11160125 fired transitions, 1190 secs || 10102535 markings, 77813438 edges, 8135 markings/sec, 1190 secs
lola: STP completed || 12 tries, 11206133 fired transitions, 1195 secs || 10143546 markings, 78122521 edges, 8202 markings/sec, 1195 secs
lola: STP completed || 12 tries, 11252107 fired transitions, 1200 secs || 10183561 markings, 78447315 edges, 8003 markings/sec, 1200 secs
lola: STP completed || 12 tries, 11297268 fired transitions, 1205 secs || 10223716 markings, 78749413 edges, 8031 markings/sec, 1205 secs
lola: STP completed || 12 tries, 11342933 fired transitions, 1210 secs || 10263887 markings, 79056206 edges, 8034 markings/sec, 1210 secs
lola: STP completed || 12 tries, 11389068 fired transitions, 1215 secs || 10306151 markings, 79377925 edges, 8453 markings/sec, 1215 secs
lola: STP completed || 12 tries, 11435531 fired transitions, 1220 secs || 10349099 markings, 79704519 edges, 8590 markings/sec, 1220 secs
lola: STP completed || 12 tries, 11481970 fired transitions, 1225 secs || 10392251 markings, 80034654 edges, 8630 markings/sec, 1225 secs
lola: STP completed || 12 tries, 11528256 fired transitions, 1230 secs || 10435095 markings, 80362601 edges, 8569 markings/sec, 1230 secs
lola: STP completed || 12 tries, 11574402 fired transitions, 1235 secs || 10477248 markings, 80683392 edges, 8431 markings/sec, 1235 secs
lola: STP completed || 12 tries, 11620512 fired transitions, 1240 secs || 10518998 markings, 81008230 edges, 8350 markings/sec, 1240 secs
lola: STP completed || 12 tries, 11666823 fired transitions, 1245 secs || 10561426 markings, 81333769 edges, 8486 markings/sec, 1245 secs
lola: STP completed || 12 tries, 11713012 fired transitions, 1250 secs || 10603826 markings, 81661341 edges, 8480 markings/sec, 1250 secs
lola: STP completed || 12 tries, 11759683 fired transitions, 1255 secs || 10646987 markings, 81991412 edges, 8632 markings/sec, 1255 secs
lola: STP completed || 12 tries, 11806269 fired transitions, 1260 secs || 10689580 markings, 82321503 edges, 8519 markings/sec, 1260 secs
lola: STP completed || 12 tries, 11852058 fired transitions, 1265 secs || 10731582 markings, 82646336 edges, 8400 markings/sec, 1265 secs
lola: STP completed || 12 tries, 11897781 fired transitions, 1270 secs || 10773735 markings, 82973450 edges, 8431 markings/sec, 1270 secs
lola: STP completed || 12 tries, 11943814 fired transitions, 1275 secs || 10815406 markings, 83326747 edges, 8334 markings/sec, 1275 secs
lola: STP completed || 12 tries, 11989443 fired transitions, 1280 secs || 10857616 markings, 83666692 edges, 8442 markings/sec, 1280 secs
lola: STP completed || 13 tries, 12035017 fired transitions, 1285 secs || 10899488 markings, 83993221 edges, 8374 markings/sec, 1285 secs
lola: STP completed || 13 tries, 12080579 fired transitions, 1290 secs || 10941308 markings, 84310999 edges, 8364 markings/sec, 1290 secs
lola: STP completed || 13 tries, 12126433 fired transitions, 1295 secs || 10983539 markings, 84641958 edges, 8446 markings/sec, 1295 secs
lola: STP completed || 13 tries, 12172486 fired transitions, 1300 secs || 11025759 markings, 84979968 edges, 8444 markings/sec, 1300 secs
lola: STP completed || 13 tries, 12218726 fired transitions, 1305 secs || 11067933 markings, 85305651 edges, 8435 markings/sec, 1305 secs
lola: STP completed || 13 tries, 12264472 fired transitions, 1310 secs || 11111012 markings, 85637767 edges, 8616 markings/sec, 1310 secs
lola: STP completed || 13 tries, 12310475 fired transitions, 1315 secs || 11152867 markings, 85958331 edges, 8371 markings/sec, 1315 secs
lola: STP completed || 13 tries, 12356427 fired transitions, 1320 secs || 11193362 markings, 86266649 edges, 8099 markings/sec, 1320 secs
lola: STP completed || 13 tries, 12402537 fired transitions, 1325 secs || 11233895 markings, 86571623 edges, 8107 markings/sec, 1325 secs
lola: STP completed || 13 tries, 12448744 fired transitions, 1330 secs || 11274775 markings, 86882115 edges, 8176 markings/sec, 1330 secs
lola: STP completed || 13 tries, 12498289 fired transitions, 1335 secs || 11319298 markings, 87225151 edges, 8905 markings/sec, 1335 secs
lola: STP completed || 13 tries, 12549199 fired transitions, 1340 secs || 11363861 markings, 87569526 edges, 8913 markings/sec, 1340 secs
lola: STP completed || 13 tries, 12599620 fired transitions, 1345 secs || 11407680 markings, 87908659 edges, 8764 markings/sec, 1345 secs
lola: STP completed || 13 tries, 12649805 fired transitions, 1350 secs || 11452300 markings, 88247353 edges, 8924 markings/sec, 1350 secs
lola: STP completed || 13 tries, 12700293 fired transitions, 1355 secs || 11496906 markings, 88592144 edges, 8921 markings/sec, 1355 secs
lola: STP completed || 13 tries, 12751251 fired transitions, 1360 secs || 11541957 markings, 88933979 edges, 9010 markings/sec, 1360 secs
lola: STP completed || 13 tries, 12797877 fired transitions, 1365 secs || 11583089 markings, 89248241 edges, 8226 markings/sec, 1365 secs
lola: STP completed || 13 tries, 12844229 fired transitions, 1370 secs || 11623693 markings, 89559527 edges, 8121 markings/sec, 1370 secs
lola: STP completed || 13 tries, 12890269 fired transitions, 1375 secs || 11664212 markings, 89871552 edges, 8104 markings/sec, 1375 secs
lola: STP completed || 13 tries, 12936135 fired transitions, 1380 secs || 11705160 markings, 90187600 edges, 8190 markings/sec, 1380 secs
lola: STP completed || 13 tries, 12981732 fired transitions, 1385 secs || 11746074 markings, 90502081 edges, 8183 markings/sec, 1385 secs
lola: STP completed || 14 tries, 13026950 fired transitions, 1390 secs || 11786333 markings, 90814707 edges, 8052 markings/sec, 1390 secs
lola: STP completed || 14 tries, 13072516 fired transitions, 1395 secs || 11826821 markings, 91129330 edges, 8098 markings/sec, 1395 secs
lola: STP completed || 14 tries, 13118121 fired transitions, 1400 secs || 11867632 markings, 91444695 edges, 8162 markings/sec, 1400 secs
lola: STP completed || 14 tries, 13162624 fired transitions, 1405 secs || 11907535 markings, 91745740 edges, 7981 markings/sec, 1405 secs
lola: STP completed || 14 tries, 13206651 fired transitions, 1410 secs || 11947424 markings, 92051503 edges, 7978 markings/sec, 1410 secs
lola: STP completed || 14 tries, 13250691 fired transitions, 1415 secs || 11987421 markings, 92351539 edges, 7999 markings/sec, 1415 secs
lola: STP completed || 14 tries, 13295031 fired transitions, 1420 secs || 12027501 markings, 92656700 edges, 8016 markings/sec, 1420 secs
lola: STP completed || 14 tries, 13338727 fired transitions, 1425 secs || 12067316 markings, 92957190 edges, 7963 markings/sec, 1425 secs
lola: STP completed || 14 tries, 13382869 fired transitions, 1430 secs || 12107348 markings, 93265895 edges, 8006 markings/sec, 1430 secs
lola: STP completed || 14 tries, 13427134 fired transitions, 1435 secs || 12147376 markings, 93578190 edges, 8006 markings/sec, 1435 secs
lola: STP completed || 14 tries, 13471567 fired transitions, 1440 secs || 12188843 markings, 93891981 edges, 8293 markings/sec, 1440 secs
lola: STP completed || 14 tries, 13515943 fired transitions, 1445 secs || 12231575 markings, 94227584 edges, 8546 markings/sec, 1445 secs
lola: STP completed || 14 tries, 13559199 fired transitions, 1450 secs || 12273486 markings, 94558154 edges, 8382 markings/sec, 1450 secs
lola: STP completed || 14 tries, 13601626 fired transitions, 1455 secs || 12312954 markings, 94859998 edges, 7894 markings/sec, 1455 secs
lola: STP completed || 14 tries, 13646543 fired transitions, 1460 secs || 12353763 markings, 95172452 edges, 8162 markings/sec, 1460 secs
lola: STP completed || 14 tries, 13690763 fired transitions, 1465 secs || 12396195 markings, 95499184 edges, 8486 markings/sec, 1465 secs
lola: STP completed || 14 tries, 13735673 fired transitions, 1470 secs || 12438542 markings, 95820543 edges, 8469 markings/sec, 1470 secs
lola: STP completed || 14 tries, 13781789 fired transitions, 1475 secs || 12481145 markings, 96144633 edges, 8521 markings/sec, 1475 secs
lola: STP completed || 14 tries, 13828023 fired transitions, 1480 secs || 12524771 markings, 96478454 edges, 8725 markings/sec, 1480 secs
lola: STP completed || 14 tries, 13874000 fired transitions, 1485 secs || 12567585 markings, 96807161 edges, 8563 markings/sec, 1485 secs
lola: STP completed || 14 tries, 13921157 fired transitions, 1490 secs || 12610622 markings, 97140260 edges, 8607 markings/sec, 1490 secs
lola: STP completed || 14 tries, 13967559 fired transitions, 1495 secs || 12653655 markings, 97472473 edges, 8607 markings/sec, 1495 secs
lola: STP completed || 15 tries, 14015229 fired transitions, 1500 secs || 12696834 markings, 97832886 edges, 8636 markings/sec, 1500 secs
lola: STP completed || 15 tries, 14064089 fired transitions, 1505 secs || 12743385 markings, 98178175 edges, 9310 markings/sec, 1505 secs
lola: STP completed || 15 tries, 14111139 fired transitions, 1510 secs || 12788551 markings, 98512595 edges, 9033 markings/sec, 1510 secs
lola: STP completed || 15 tries, 14156347 fired transitions, 1515 secs || 12832780 markings, 98845683 edges, 8846 markings/sec, 1515 secs
lola: STP completed || 15 tries, 14201432 fired transitions, 1520 secs || 12876416 markings, 99176892 edges, 8727 markings/sec, 1520 secs
lola: STP completed || 15 tries, 14245877 fired transitions, 1525 secs || 12918224 markings, 99477914 edges, 8362 markings/sec, 1525 secs
lola: STP completed || 15 tries, 14290589 fired transitions, 1530 secs || 12959881 markings, 99783768 edges, 8331 markings/sec, 1530 secs
lola: STP completed || 15 tries, 14334847 fired transitions, 1535 secs || 13001735 markings, 100088853 edges, 8371 markings/sec, 1535 secs
lola: STP completed || 15 tries, 14379967 fired transitions, 1540 secs || 13042582 markings, 100422915 edges, 8169 markings/sec, 1540 secs
lola: STP completed || 15 tries, 14424621 fired transitions, 1545 secs || 13085273 markings, 100740106 edges, 8538 markings/sec, 1545 secs
lola: STP completed || 15 tries, 14469371 fired transitions, 1550 secs || 13129112 markings, 101072036 edges, 8768 markings/sec, 1550 secs
lola: STP completed || 15 tries, 14514321 fired transitions, 1555 secs || 13171424 markings, 101445952 edges, 8462 markings/sec, 1555 secs
lola: STP completed || 15 tries, 14559101 fired transitions, 1560 secs || 13214648 markings, 101772710 edges, 8645 markings/sec, 1560 secs
lola: STP completed || 15 tries, 14603444 fired transitions, 1565 secs || 13258081 markings, 102087953 edges, 8687 markings/sec, 1565 secs
lola: STP completed || 15 tries, 14654778 fired transitions, 1570 secs || 13307315 markings, 102446602 edges, 9847 markings/sec, 1570 secs
lola: STP completed || 15 tries, 14706311 fired transitions, 1575 secs || 13356431 markings, 102804041 edges, 9823 markings/sec, 1575 secs
lola: STP completed || 15 tries, 14757890 fired transitions, 1580 secs || 13405667 markings, 103166166 edges, 9847 markings/sec, 1580 secs
lola: STP completed || 15 tries, 14809111 fired transitions, 1585 secs || 13452211 markings, 103506992 edges, 9309 markings/sec, 1585 secs
lola: STP completed || 15 tries, 14860437 fired transitions, 1590 secs || 13499156 markings, 103848351 edges, 9389 markings/sec, 1590 secs
lola: STP completed || 15 tries, 14911735 fired transitions, 1595 secs || 13546136 markings, 104191768 edges, 9396 markings/sec, 1595 secs
lola: STP completed || 15 tries, 14962953 fired transitions, 1600 secs || 13592870 markings, 104532125 edges, 9347 markings/sec, 1600 secs
lola: STP completed || 16 tries, 15013973 fired transitions, 1605 secs || 13639129 markings, 104873383 edges, 9252 markings/sec, 1605 secs
lola: STP completed || 16 tries, 15064607 fired transitions, 1610 secs || 13683707 markings, 105210586 edges, 8916 markings/sec, 1610 secs
lola: STP completed || 16 tries, 15112324 fired transitions, 1615 secs || 13725734 markings, 105530199 edges, 8405 markings/sec, 1615 secs
lola: STP completed || 16 tries, 15157444 fired transitions, 1620 secs || 13766027 markings, 105839641 edges, 8059 markings/sec, 1620 secs
lola: STP completed || 16 tries, 15202284 fired transitions, 1625 secs || 13806080 markings, 106145864 edges, 8011 markings/sec, 1625 secs
lola: STP completed || 16 tries, 15248284 fired transitions, 1630 secs || 13846916 markings, 106460957 edges, 8167 markings/sec, 1630 secs
lola: STP completed || 16 tries, 15294172 fired transitions, 1635 secs || 13887257 markings, 106772657 edges, 8068 markings/sec, 1635 secs
lola: STP completed || 16 tries, 15339832 fired transitions, 1640 secs || 13928043 markings, 107087193 edges, 8157 markings/sec, 1640 secs
lola: STP completed || 16 tries, 15385298 fired transitions, 1645 secs || 13968439 markings, 107398691 edges, 8079 markings/sec, 1645 secs
lola: STP completed || 16 tries, 15430761 fired transitions, 1650 secs || 14008399 markings, 107704616 edges, 7992 markings/sec, 1650 secs
lola: STP completed || 16 tries, 15476545 fired transitions, 1655 secs || 14048883 markings, 108012954 edges, 8097 markings/sec, 1655 secs
lola: STP completed || 16 tries, 15522311 fired transitions, 1660 secs || 14089134 markings, 108314641 edges, 8050 markings/sec, 1660 secs
lola: STP completed || 16 tries, 15567904 fired transitions, 1665 secs || 14129463 markings, 108626145 edges, 8066 markings/sec, 1665 secs
lola: STP completed || 16 tries, 15613757 fired transitions, 1670 secs || 14170020 markings, 108937877 edges, 8111 markings/sec, 1670 secs
lola: STP completed || 16 tries, 15659839 fired transitions, 1675 secs || 14210809 markings, 109253551 edges, 8158 markings/sec, 1675 secs
lola: STP completed || 16 tries, 15705989 fired transitions, 1680 secs || 14252050 markings, 109579796 edges, 8248 markings/sec, 1680 secs
lola: STP completed || 16 tries, 15752243 fired transitions, 1685 secs || 14293127 markings, 109892671 edges, 8215 markings/sec, 1685 secs
lola: STP completed || 16 tries, 15798249 fired transitions, 1690 secs || 14334056 markings, 110210974 edges, 8186 markings/sec, 1690 secs
lola: STP completed || 16 tries, 15843987 fired transitions, 1695 secs || 14374408 markings, 110520352 edges, 8070 markings/sec, 1695 secs
lola: STP completed || 16 tries, 15889557 fired transitions, 1700 secs || 14414688 markings, 110822489 edges, 8056 markings/sec, 1700 secs
lola: STP completed || 16 tries, 15935485 fired transitions, 1705 secs || 14455354 markings, 111131689 edges, 8133 markings/sec, 1705 secs
lola: STP completed || 16 tries, 15981100 fired transitions, 1710 secs || 14495805 markings, 111442381 edges, 8090 markings/sec, 1710 secs
lola: STP completed || 17 tries, 16027307 fired transitions, 1715 secs || 14537477 markings, 111756140 edges, 8334 markings/sec, 1715 secs
lola: STP completed || 17 tries, 16074228 fired transitions, 1720 secs || 14580121 markings, 112075147 edges, 8529 markings/sec, 1720 secs
lola: STP completed || 17 tries, 16121221 fired transitions, 1725 secs || 14622150 markings, 112389940 edges, 8406 markings/sec, 1725 secs
lola: STP completed || 17 tries, 16168301 fired transitions, 1730 secs || 14664921 markings, 112716804 edges, 8554 markings/sec, 1730 secs
lola: STP completed || 17 tries, 16215088 fired transitions, 1735 secs || 14707563 markings, 113007338 edges, 8528 markings/sec, 1735 secs
lola: STP completed || 17 tries, 16262280 fired transitions, 1740 secs || 14750760 markings, 113334114 edges, 8639 markings/sec, 1740 secs
lola: STP completed || 17 tries, 16309404 fired transitions, 1745 secs || 14793595 markings, 113653793 edges, 8567 markings/sec, 1745 secs
lola: STP completed || 17 tries, 16356227 fired transitions, 1750 secs || 14838415 markings, 113989129 edges, 8964 markings/sec, 1750 secs
lola: STP completed || 17 tries, 16403630 fired transitions, 1755 secs || 14880852 markings, 114339676 edges, 8487 markings/sec, 1755 secs
lola: STP completed || 17 tries, 16449330 fired transitions, 1760 secs || 14924910 markings, 114677468 edges, 8812 markings/sec, 1760 secs
lola: STP completed || 17 tries, 16493688 fired transitions, 1765 secs || 14967242 markings, 115007067 edges, 8466 markings/sec, 1765 secs
lola: STP completed || 17 tries, 16538115 fired transitions, 1770 secs || 15011102 markings, 115341104 edges, 8772 markings/sec, 1770 secs
lola: STP completed || 17 tries, 16582434 fired transitions, 1775 secs || 15055586 markings, 115664298 edges, 8897 markings/sec, 1775 secs
lola: STP completed || 17 tries, 16626919 fired transitions, 1780 secs || 15096846 markings, 115968844 edges, 8252 markings/sec, 1780 secs
lola: STP completed || 17 tries, 16670949 fired transitions, 1785 secs || 15139454 markings, 116273783 edges, 8522 markings/sec, 1785 secs
lola: STP completed || 17 tries, 16715150 fired transitions, 1790 secs || 15181202 markings, 116577508 edges, 8350 markings/sec, 1790 secs
lola: STP completed || 17 tries, 16759459 fired transitions, 1795 secs || 15222031 markings, 116891365 edges, 8166 markings/sec, 1795 secs
lola: STP completed || 17 tries, 16804168 fired transitions, 1800 secs || 15262770 markings, 117198718 edges, 8148 markings/sec, 1800 secs
lola: STP completed || 17 tries, 16848798 fired transitions, 1805 secs || 15304682 markings, 117505822 edges, 8382 markings/sec, 1805 secs
lola: STP completed || 17 tries, 16894700 fired transitions, 1810 secs || 15345417 markings, 117834292 edges, 8147 markings/sec, 1810 secs
lola: STP completed || 17 tries, 16939563 fired transitions, 1815 secs || 15385250 markings, 118169898 edges, 7967 markings/sec, 1815 secs
lola: STP completed || 17 tries, 16984328 fired transitions, 1820 secs || 15426912 markings, 118486153 edges, 8332 markings/sec, 1820 secs
lola: STP completed || 18 tries, 17030001 fired transitions, 1825 secs || 15469914 markings, 118799873 edges, 8600 markings/sec, 1825 secs
lola: STP completed || 18 tries, 17075228 fired transitions, 1830 secs || 15511064 markings, 119125267 edges, 8230 markings/sec, 1830 secs
lola: STP completed || 18 tries, 17119273 fired transitions, 1835 secs || 15552721 markings, 119431386 edges, 8331 markings/sec, 1835 secs
lola: STP completed || 18 tries, 17163639 fired transitions, 1840 secs || 15594735 markings, 119735132 edges, 8403 markings/sec, 1840 secs
lola: STP completed || 18 tries, 17207755 fired transitions, 1845 secs || 15636691 markings, 120042013 edges, 8391 markings/sec, 1845 secs
lola: STP completed || 18 tries, 17251697 fired transitions, 1850 secs || 15678060 markings, 120351593 edges, 8274 markings/sec, 1850 secs
lola: STP completed || 18 tries, 17295899 fired transitions, 1855 secs || 15719230 markings, 120652576 edges, 8234 markings/sec, 1855 secs
lola: STP completed || 18 tries, 17340283 fired transitions, 1860 secs || 15761594 markings, 120962611 edges, 8473 markings/sec, 1860 secs
lola: STP completed || 18 tries, 17384611 fired transitions, 1865 secs || 15803761 markings, 121265014 edges, 8433 markings/sec, 1865 secs
lola: STP completed || 18 tries, 17429177 fired transitions, 1870 secs || 15845882 markings, 121573473 edges, 8424 markings/sec, 1870 secs
lola: STP completed || 18 tries, 17473792 fired transitions, 1875 secs || 15887971 markings, 121891437 edges, 8418 markings/sec, 1875 secs
lola: STP completed || 18 tries, 17517512 fired transitions, 1880 secs || 15929955 markings, 122198091 edges, 8397 markings/sec, 1880 secs
lola: STP completed || 18 tries, 17564536 fired transitions, 1885 secs || 15972997 markings, 122516866 edges, 8608 markings/sec, 1885 secs
lola: STP completed || 18 tries, 17611245 fired transitions, 1890 secs || 16015743 markings, 122829929 edges, 8549 markings/sec, 1890 secs
lola: STP completed || 18 tries, 17658259 fired transitions, 1895 secs || 16058973 markings, 123144816 edges, 8646 markings/sec, 1895 secs
lola: STP completed || 18 tries, 17704942 fired transitions, 1900 secs || 16101865 markings, 123457745 edges, 8578 markings/sec, 1900 secs
lola: STP completed || 18 tries, 17751887 fired transitions, 1905 secs || 16146674 markings, 123785964 edges, 8962 markings/sec, 1905 secs
lola: STP completed || 18 tries, 17798865 fired transitions, 1910 secs || 16191663 markings, 124113709 edges, 8998 markings/sec, 1910 secs
lola: STP completed || 18 tries, 17845840 fired transitions, 1915 secs || 16237072 markings, 124446693 edges, 9082 markings/sec, 1915 secs
lola: STP completed || 18 tries, 17892914 fired transitions, 1920 secs || 16282564 markings, 124775247 edges, 9098 markings/sec, 1920 secs
lola: STP completed || 18 tries, 17939750 fired transitions, 1925 secs || 16327307 markings, 125099356 edges, 8949 markings/sec, 1925 secs
lola: STP completed || 18 tries, 17986569 fired transitions, 1930 secs || 16371992 markings, 125430757 edges, 8937 markings/sec, 1930 secs
lola: STP completed || 19 tries, 18032848 fired transitions, 1935 secs || 16414677 markings, 125751521 edges, 8537 markings/sec, 1935 secs
lola: STP completed || 19 tries, 18078970 fired transitions, 1940 secs || 16455853 markings, 126061242 edges, 8235 markings/sec, 1940 secs
lola: STP completed || 19 tries, 18124871 fired transitions, 1945 secs || 16496202 markings, 126373285 edges, 8070 markings/sec, 1945 secs
lola: STP completed || 19 tries, 18170638 fired transitions, 1950 secs || 16536573 markings, 126679704 edges, 8074 markings/sec, 1950 secs
lola: STP completed || 19 tries, 18216510 fired transitions, 1955 secs || 16577152 markings, 126996583 edges, 8116 markings/sec, 1955 secs
lola: STP completed || 19 tries, 18262608 fired transitions, 1960 secs || 16617853 markings, 127303516 edges, 8140 markings/sec, 1960 secs
lola: STP completed || 19 tries, 18309074 fired transitions, 1965 secs || 16658665 markings, 127616683 edges, 8162 markings/sec, 1965 secs
lola: STP completed || 19 tries, 18355533 fired transitions, 1970 secs || 16699241 markings, 127932806 edges, 8115 markings/sec, 1970 secs
lola: STP completed || 19 tries, 18401673 fired transitions, 1975 secs || 16740053 markings, 128245754 edges, 8162 markings/sec, 1975 secs
lola: STP completed || 19 tries, 18447576 fired transitions, 1980 secs || 16780651 markings, 128557597 edges, 8120 markings/sec, 1980 secs
lola: STP completed || 19 tries, 18490755 fired transitions, 1985 secs || 16820279 markings, 128865205 edges, 7926 markings/sec, 1985 secs
lola: STP completed || 19 tries, 18534677 fired transitions, 1990 secs || 16860078 markings, 129167053 edges, 7960 markings/sec, 1990 secs
lola: STP completed || 19 tries, 18578150 fired transitions, 1995 secs || 16900304 markings, 129476869 edges, 8045 markings/sec, 1995 secs
lola: STP completed || 19 tries, 18621778 fired transitions, 2000 secs || 16940055 markings, 129777611 edges, 7950 markings/sec, 2000 secs
lola: STP completed || 19 tries, 18665467 fired transitions, 2005 secs || 16980218 markings, 130088750 edges, 8033 markings/sec, 2005 secs
lola: STP completed || 19 tries, 18709221 fired transitions, 2010 secs || 17020424 markings, 130412908 edges, 8041 markings/sec, 2010 secs
lola: STP completed || 19 tries, 18752758 fired transitions, 2015 secs || 17060573 markings, 130717774 edges, 8030 markings/sec, 2015 secs
lola: STP completed || 19 tries, 18796544 fired transitions, 2020 secs || 17100866 markings, 131030127 edges, 8059 markings/sec, 2020 secs
lola: STP completed || 19 tries, 18840115 fired transitions, 2025 secs || 17140940 markings, 131335295 edges, 8015 markings/sec, 2025 secs
lola: STP completed || 19 tries, 18883946 fired transitions, 2030 secs || 17181596 markings, 131658030 edges, 8131 markings/sec, 2030 secs
lola: STP completed || 19 tries, 18927517 fired transitions, 2035 secs || 17221716 markings, 131970907 edges, 8024 markings/sec, 2035 secs
lola: STP completed || 19 tries, 18971004 fired transitions, 2040 secs || 17261912 markings, 132288979 edges, 8039 markings/sec, 2040 secs
lola: STP completed || 20 tries, 19014394 fired transitions, 2045 secs || 17303160 markings, 132600965 edges, 8250 markings/sec, 2045 secs
lola: STP completed || 20 tries, 19058294 fired transitions, 2050 secs || 17344511 markings, 132916405 edges, 8270 markings/sec, 2050 secs
lola: STP completed || 20 tries, 19101757 fired transitions, 2055 secs || 17385262 markings, 133244567 edges, 8150 markings/sec, 2055 secs
lola: STP completed || 20 tries, 19145454 fired transitions, 2060 secs || 17426912 markings, 133563631 edges, 8330 markings/sec, 2060 secs
lola: STP completed || 20 tries, 19189140 fired transitions, 2065 secs || 17467206 markings, 133872549 edges, 8059 markings/sec, 2065 secs
lola: STP completed || 20 tries, 19232517 fired transitions, 2070 secs || 17506943 markings, 134175905 edges, 7947 markings/sec, 2070 secs
lola: STP completed || 20 tries, 19276118 fired transitions, 2075 secs || 17547006 markings, 134481814 edges, 8013 markings/sec, 2075 secs
lola: STP completed || 20 tries, 19319508 fired transitions, 2080 secs || 17586979 markings, 134794210 edges, 7995 markings/sec, 2080 secs
lola: STP completed || 20 tries, 19362501 fired transitions, 2085 secs || 17627247 markings, 135106383 edges, 8054 markings/sec, 2085 secs
lola: STP completed || 20 tries, 19405681 fired transitions, 2090 secs || 17666976 markings, 135408672 edges, 7946 markings/sec, 2090 secs
lola: STP completed || 20 tries, 19450545 fired transitions, 2095 secs || 17707461 markings, 135720351 edges, 8097 markings/sec, 2095 secs
lola: STP completed || 20 tries, 19496548 fired transitions, 2100 secs || 17748292 markings, 136030007 edges, 8166 markings/sec, 2100 secs
lola: STP completed || 20 tries, 19542447 fired transitions, 2105 secs || 17789222 markings, 136342498 edges, 8186 markings/sec, 2105 secs
lola: STP completed || 20 tries, 19588709 fired transitions, 2110 secs || 17831491 markings, 136674269 edges, 8454 markings/sec, 2110 secs
lola: STP completed || 20 tries, 19635025 fired transitions, 2115 secs || 17873710 markings, 137012314 edges, 8444 markings/sec, 2115 secs
lola: STP completed || 20 tries, 19681338 fired transitions, 2120 secs || 17915910 markings, 137345742 edges, 8440 markings/sec, 2120 secs
lola: STP completed || 20 tries, 19727495 fired transitions, 2125 secs || 17957652 markings, 137661315 edges, 8348 markings/sec, 2125 secs
lola: STP completed || 20 tries, 19773067 fired transitions, 2130 secs || 17999493 markings, 137978511 edges, 8368 markings/sec, 2130 secs
lola: STP completed || 20 tries, 19817162 fired transitions, 2135 secs || 18041003 markings, 138294097 edges, 8302 markings/sec, 2135 secs
lola: STP completed || 20 tries, 19863515 fired transitions, 2140 secs || 18083082 markings, 138614655 edges, 8416 markings/sec, 2140 secs
lola: STP completed || 20 tries, 19909624 fired transitions, 2145 secs || 18125019 markings, 138933493 edges, 8387 markings/sec, 2145 secs
lola: STP completed || 20 tries, 19955827 fired transitions, 2150 secs || 18167270 markings, 139255540 edges, 8450 markings/sec, 2150 secs
lola: STP completed || 21 tries, 20002439 fired transitions, 2155 secs || 18209344 markings, 139576033 edges, 8415 markings/sec, 2155 secs
lola: STP completed || 21 tries, 20048978 fired transitions, 2160 secs || 18251440 markings, 139895964 edges, 8419 markings/sec, 2160 secs
lola: STP completed || 21 tries, 20095042 fired transitions, 2165 secs || 18293726 markings, 140220548 edges, 8457 markings/sec, 2165 secs
lola: STP completed || 21 tries, 20140966 fired transitions, 2170 secs || 18335812 markings, 140541571 edges, 8417 markings/sec, 2170 secs
lola: STP completed || 21 tries, 20187563 fired transitions, 2175 secs || 18377972 markings, 140865238 edges, 8432 markings/sec, 2175 secs
lola: STP completed || 21 tries, 20233934 fired transitions, 2180 secs || 18420519 markings, 141191899 edges, 8509 markings/sec, 2180 secs
lola: STP completed || 21 tries, 20280359 fired transitions, 2185 secs || 18462881 markings, 141517193 edges, 8472 markings/sec, 2185 secs
lola: STP completed || 21 tries, 20327006 fired transitions, 2190 secs || 18505276 markings, 141850917 edges, 8479 markings/sec, 2190 secs
lola: STP completed || 21 tries, 20373296 fired transitions, 2195 secs || 18547710 markings, 142174614 edges, 8487 markings/sec, 2195 secs
lola: STP completed || 21 tries, 20419624 fired transitions, 2200 secs || 18589675 markings, 142496620 edges, 8393 markings/sec, 2200 secs
lola: STP completed || 21 tries, 20465851 fired transitions, 2205 secs || 18631923 markings, 142819246 edges, 8450 markings/sec, 2205 secs
lola: STP completed || 21 tries, 20511806 fired transitions, 2210 secs || 18673974 markings, 143140918 edges, 8410 markings/sec, 2210 secs
lola: STP completed || 21 tries, 20557735 fired transitions, 2215 secs || 18716057 markings, 143463959 edges, 8417 markings/sec, 2215 secs
lola: STP completed || 21 tries, 20600580 fired transitions, 2220 secs || 18757702 markings, 143776355 edges, 8329 markings/sec, 2220 secs
lola: STP completed || 21 tries, 20642796 fired transitions, 2225 secs || 18799044 markings, 144091905 edges, 8268 markings/sec, 2225 secs
lola: STP completed || 21 tries, 20686211 fired transitions, 2230 secs || 18840270 markings, 144402271 edges, 8245 markings/sec, 2230 secs
lola: STP completed || 21 tries, 20730552 fired transitions, 2235 secs || 18881592 markings, 144716491 edges, 8264 markings/sec, 2235 secs
lola: STP completed || 21 tries, 20776398 fired transitions, 2240 secs || 18923164 markings, 145036447 edges, 8314 markings/sec, 2240 secs
lola: STP completed || 21 tries, 20819073 fired transitions, 2245 secs || 18964079 markings, 145347464 edges, 8183 markings/sec, 2245 secs
lola: STP completed || 21 tries, 20862006 fired transitions, 2250 secs || 19005453 markings, 145658469 edges, 8275 markings/sec, 2250 secs
lola: STP completed || 21 tries, 20904761 fired transitions, 2255 secs || 19046283 markings, 145970396 edges, 8166 markings/sec, 2255 secs
lola: STP completed || 21 tries, 20947646 fired transitions, 2260 secs || 19086889 markings, 146282443 edges, 8121 markings/sec, 2260 secs
lola: STP completed || 21 tries, 20990012 fired transitions, 2265 secs || 19127507 markings, 146599043 edges, 8124 markings/sec, 2265 secs
lola: STP completed || 22 tries, 21032846 fired transitions, 2270 secs || 19169137 markings, 146908314 edges, 8326 markings/sec, 2270 secs
lola: STP completed || 22 tries, 21078331 fired transitions, 2275 secs || 19209746 markings, 147202529 edges, 8122 markings/sec, 2275 secs
lola: STP completed || 22 tries, 21124377 fired transitions, 2280 secs || 19249582 markings, 147502241 edges, 7967 markings/sec, 2280 secs
lola: STP completed || 22 tries, 21170082 fired transitions, 2285 secs || 19289488 markings, 147790018 edges, 7981 markings/sec, 2285 secs
lola: STP completed || 22 tries, 21215922 fired transitions, 2290 secs || 19329380 markings, 148091611 edges, 7978 markings/sec, 2290 secs
lola: STP completed || 22 tries, 21261964 fired transitions, 2295 secs || 19371982 markings, 148402485 edges, 8520 markings/sec, 2295 secs
lola: STP completed || 22 tries, 21308510 fired transitions, 2300 secs || 19415350 markings, 148720133 edges, 8674 markings/sec, 2300 secs
lola: STP completed || 22 tries, 21354859 fired transitions, 2305 secs || 19458632 markings, 149036287 edges, 8656 markings/sec, 2305 secs
lola: STP completed || 22 tries, 21401201 fired transitions, 2310 secs || 19502195 markings, 149356342 edges, 8713 markings/sec, 2310 secs
lola: STP completed || 22 tries, 21447172 fired transitions, 2315 secs || 19545577 markings, 149674648 edges, 8676 markings/sec, 2315 secs
lola: STP completed || 22 tries, 21493957 fired transitions, 2320 secs || 19589516 markings, 150002522 edges, 8788 markings/sec, 2320 secs
lola: STP completed || 22 tries, 21540566 fired transitions, 2325 secs || 19631970 markings, 150311013 edges, 8491 markings/sec, 2325 secs
lola: STP completed || 22 tries, 21587078 fired transitions, 2330 secs || 19673679 markings, 150615412 edges, 8342 markings/sec, 2330 secs
lola: STP completed || 22 tries, 21632828 fired transitions, 2335 secs || 19715557 markings, 150924041 edges, 8376 markings/sec, 2335 secs
lola: STP completed || 22 tries, 21674627 fired transitions, 2340 secs || 19756337 markings, 151222614 edges, 8156 markings/sec, 2340 secs
lola: STP completed || 22 tries, 21718343 fired transitions, 2345 secs || 19799232 markings, 151533951 edges, 8579 markings/sec, 2345 secs
lola: STP completed || 22 tries, 21762076 fired transitions, 2350 secs || 19842652 markings, 151851681 edges, 8684 markings/sec, 2350 secs
lola: STP completed || 22 tries, 21806182 fired transitions, 2355 secs || 19885636 markings, 152167712 edges, 8597 markings/sec, 2355 secs
lola: STP completed || 22 tries, 21850234 fired transitions, 2360 secs || 19928990 markings, 152489362 edges, 8671 markings/sec, 2360 secs
lola: STP completed || 22 tries, 21896106 fired transitions, 2365 secs || 19968019 markings, 152772413 edges, 7806 markings/sec, 2365 secs
lola: STP completed || 22 tries, 21941914 fired transitions, 2370 secs || 20007303 markings, 153060206 edges, 7857 markings/sec, 2370 secs
lola: STP completed || 22 tries, 21987834 fired transitions, 2375 secs || 20046955 markings, 153347797 edges, 7930 markings/sec, 2375 secs
lola: STP completed || 23 tries, 22032904 fired transitions, 2380 secs || 20084788 markings, 153633657 edges, 7567 markings/sec, 2380 secs
lola: STP completed || 23 tries, 22077371 fired transitions, 2385 secs || 20121711 markings, 153913181 edges, 7385 markings/sec, 2385 secs
lola: STP completed || 23 tries, 22123780 fired transitions, 2390 secs || 20161164 markings, 154211795 edges, 7891 markings/sec, 2390 secs
lola: STP completed || 23 tries, 22174071 fired transitions, 2395 secs || 20205756 markings, 154549380 edges, 8918 markings/sec, 2395 secs
lola: STP completed || 23 tries, 22224769 fired transitions, 2400 secs || 20251685 markings, 154899607 edges, 9186 markings/sec, 2400 secs
lola: STP completed || 23 tries, 22275453 fired transitions, 2405 secs || 20297826 markings, 155249447 edges, 9228 markings/sec, 2405 secs
lola: STP completed || 23 tries, 22325470 fired transitions, 2410 secs || 20343322 markings, 155597485 edges, 9099 markings/sec, 2410 secs
lola: STP completed || 23 tries, 22373400 fired transitions, 2415 secs || 20385698 markings, 155925286 edges, 8475 markings/sec, 2415 secs
lola: STP completed || 23 tries, 22418467 fired transitions, 2420 secs || 20424442 markings, 156218636 edges, 7749 markings/sec, 2420 secs
lola: STP completed || 23 tries, 22463748 fired transitions, 2425 secs || 20463388 markings, 156511481 edges, 7789 markings/sec, 2425 secs
lola: STP completed || 23 tries, 22508734 fired transitions, 2430 secs || 20502738 markings, 156805864 edges, 7870 markings/sec, 2430 secs
lola: STP completed || 23 tries, 22553462 fired transitions, 2435 secs || 20542349 markings, 157105177 edges, 7922 markings/sec, 2435 secs
lola: STP completed || 23 tries, 22599403 fired transitions, 2440 secs || 20584452 markings, 157424416 edges, 8421 markings/sec, 2440 secs
lola: STP completed || 23 tries, 22649671 fired transitions, 2445 secs || 20629318 markings, 157778483 edges, 8973 markings/sec, 2445 secs
lola: STP completed || 23 tries, 22700567 fired transitions, 2450 secs || 20675788 markings, 158142100 edges, 9294 markings/sec, 2450 secs
lola: STP completed || 23 tries, 22751252 fired transitions, 2455 secs || 20721803 markings, 158496863 edges, 9203 markings/sec, 2455 secs
lola: STP completed || 23 tries, 22802250 fired transitions, 2460 secs || 20768323 markings, 158850554 edges, 9304 markings/sec, 2460 secs
lola: STP completed || 23 tries, 22852752 fired transitions, 2465 secs || 20814750 markings, 159206987 edges, 9285 markings/sec, 2465 secs
lola: STP completed || 23 tries, 22903509 fired transitions, 2470 secs || 20861127 markings, 159564440 edges, 9275 markings/sec, 2470 secs
lola: STP completed || 23 tries, 22950660 fired transitions, 2475 secs || 20905144 markings, 159896693 edges, 8803 markings/sec, 2475 secs
lola: STP completed || 23 tries, 22994145 fired transitions, 2480 secs || 20947143 markings, 160211503 edges, 8400 markings/sec, 2480 secs
lola: STP completed || 24 tries, 23039082 fired transitions, 2485 secs || 20986894 markings, 160509248 edges, 7950 markings/sec, 2485 secs
lola: STP completed || 24 tries, 23084124 fired transitions, 2490 secs || 21026603 markings, 160812599 edges, 7942 markings/sec, 2490 secs
lola: STP completed || 24 tries, 23128996 fired transitions, 2495 secs || 21065844 markings, 161115430 edges, 7848 markings/sec, 2495 secs
lola: STP completed || 24 tries, 23173180 fired transitions, 2500 secs || 21106877 markings, 161429660 edges, 8207 markings/sec, 2500 secs
lola: STP completed || 24 tries, 23216517 fired transitions, 2505 secs || 21147769 markings, 161746276 edges, 8178 markings/sec, 2505 secs
lola: STP completed || 24 tries, 23260497 fired transitions, 2510 secs || 21187113 markings, 162092068 edges, 7869 markings/sec, 2510 secs
lola: STP completed || 24 tries, 23304087 fired transitions, 2515 secs || 21228048 markings, 162418308 edges, 8187 markings/sec, 2515 secs
lola: STP completed || 24 tries, 23347326 fired transitions, 2520 secs || 21268736 markings, 162740907 edges, 8138 markings/sec, 2520 secs
lola: STP completed || 24 tries, 23390653 fired transitions, 2525 secs || 21309636 markings, 163053893 edges, 8180 markings/sec, 2525 secs
lola: STP completed || 24 tries, 23433524 fired transitions, 2530 secs || 21350533 markings, 163381234 edges, 8179 markings/sec, 2530 secs
lola: STP completed || 24 tries, 23475133 fired transitions, 2535 secs || 21390598 markings, 163684887 edges, 8013 markings/sec, 2535 secs
lola: STP completed || 24 tries, 23516431 fired transitions, 2540 secs || 21430764 markings, 163991129 edges, 8033 markings/sec, 2540 secs
lola: STP completed || 24 tries, 23558064 fired transitions, 2545 secs || 21471455 markings, 164297710 edges, 8138 markings/sec, 2545 secs
lola: STP completed || 24 tries, 23599839 fired transitions, 2550 secs || 21511846 markings, 164604540 edges, 8078 markings/sec, 2550 secs
lola: STP completed || 24 tries, 23641613 fired transitions, 2555 secs || 21552543 markings, 164910612 edges, 8139 markings/sec, 2555 secs
lola: STP completed || 24 tries, 23683422 fired transitions, 2560 secs || 21593235 markings, 165225423 edges, 8138 markings/sec, 2560 secs
lola: STP completed || 24 tries, 23725398 fired transitions, 2565 secs || 21633590 markings, 165535070 edges, 8071 markings/sec, 2565 secs
lola: STP completed || 24 tries, 23767277 fired transitions, 2570 secs || 21673592 markings, 165851521 edges, 8000 markings/sec, 2570 secs
lola: STP completed || 24 tries, 23809742 fired transitions, 2575 secs || 21713866 markings, 166164963 edges, 8055 markings/sec, 2575 secs
lola: STP completed || 24 tries, 23853107 fired transitions, 2580 secs || 21753377 markings, 166465929 edges, 7902 markings/sec, 2580 secs
lola: STP completed || 24 tries, 23896285 fired transitions, 2585 secs || 21792622 markings, 166764476 edges, 7849 markings/sec, 2585 secs
lola: STP completed || 24 tries, 23939287 fired transitions, 2590 secs || 21831049 markings, 167053772 edges, 7685 markings/sec, 2590 secs
lola: STP completed || 24 tries, 23982491 fired transitions, 2595 secs || 21870318 markings, 167354991 edges, 7854 markings/sec, 2595 secs
lola: STP completed || 25 tries, 24025577 fired transitions, 2600 secs || 21909629 markings, 167655435 edges, 7862 markings/sec, 2600 secs
lola: STP completed || 25 tries, 24068932 fired transitions, 2605 secs || 21949254 markings, 167961499 edges, 7925 markings/sec, 2605 secs
lola: STP completed || 25 tries, 24112075 fired transitions, 2610 secs || 21988091 markings, 168256752 edges, 7767 markings/sec, 2610 secs
lola: STP completed || 25 tries, 24154943 fired transitions, 2615 secs || 22027084 markings, 168554656 edges, 7799 markings/sec, 2615 secs
lola: STP completed || 25 tries, 24198266 fired transitions, 2620 secs || 22066580 markings, 168852025 edges, 7899 markings/sec, 2620 secs
lola: STP completed || 25 tries, 24241614 fired transitions, 2625 secs || 22104879 markings, 169175771 edges, 7660 markings/sec, 2625 secs
lola: STP completed || 25 tries, 24284701 fired transitions, 2630 secs || 22144334 markings, 169481737 edges, 7891 markings/sec, 2630 secs
lola: STP completed || 25 tries, 24327720 fired transitions, 2635 secs || 22183159 markings, 169777248 edges, 7765 markings/sec, 2635 secs
lola: STP completed || 25 tries, 24370641 fired transitions, 2640 secs || 22221903 markings, 170069596 edges, 7749 markings/sec, 2640 secs
lola: STP completed || 25 tries, 24413552 fired transitions, 2645 secs || 22260814 markings, 170364706 edges, 7782 markings/sec, 2645 secs
lola: STP completed || 25 tries, 24456598 fired transitions, 2650 secs || 22299658 markings, 170662276 edges, 7769 markings/sec, 2650 secs
lola: STP completed || 25 tries, 24499605 fired transitions, 2655 secs || 22338340 markings, 170959541 edges, 7736 markings/sec, 2655 secs
lola: STP completed || 25 tries, 24542854 fired transitions, 2660 secs || 22377057 markings, 171254454 edges, 7743 markings/sec, 2660 secs
lola: STP completed || 25 tries, 24585910 fired transitions, 2665 secs || 22415776 markings, 171545468 edges, 7744 markings/sec, 2665 secs
lola: STP completed || 25 tries, 24628142 fired transitions, 2670 secs || 22454302 markings, 171841829 edges, 7705 markings/sec, 2670 secs
lola: STP completed || 25 tries, 24670655 fired transitions, 2675 secs || 22489427 markings, 172115007 edges, 7025 markings/sec, 2675 secs
lola: STP completed || 25 tries, 24713537 fired transitions, 2680 secs || 22522992 markings, 172371223 edges, 6713 markings/sec, 2680 secs
lola: STP completed || 25 tries, 24756730 fired transitions, 2685 secs || 22555954 markings, 172634411 edges, 6592 markings/sec, 2685 secs
lola: STP completed || 25 tries, 24805405 fired transitions, 2690 secs || 22597428 markings, 172951789 edges, 8295 markings/sec, 2690 secs
lola: STP completed || 25 tries, 24856360 fired transitions, 2695 secs || 22642248 markings, 173291454 edges, 8964 markings/sec, 2695 secs
lola: STP completed || 25 tries, 24903012 fired transitions, 2700 secs || 22679848 markings, 173575478 edges, 7520 markings/sec, 2700 secs
lola: STP completed || 25 tries, 24950041 fired transitions, 2705 secs || 22719420 markings, 173872510 edges, 7914 markings/sec, 2705 secs
lola: STP completed || 25 tries, 24996781 fired transitions, 2710 secs || 22758688 markings, 174174072 edges, 7854 markings/sec, 2710 secs
lola: STP completed || 26 tries, 25042722 fired transitions, 2715 secs || 22796912 markings, 174490593 edges, 7645 markings/sec, 2715 secs
lola: STP completed || 26 tries, 25089066 fired transitions, 2720 secs || 22837053 markings, 174781305 edges, 8028 markings/sec, 2720 secs
lola: STP completed || 26 tries, 25134810 fired transitions, 2725 secs || 22876901 markings, 175075825 edges, 7970 markings/sec, 2725 secs
lola: STP completed || 26 tries, 25181336 fired transitions, 2730 secs || 22917105 markings, 175385822 edges, 8041 markings/sec, 2730 secs
lola: STP completed || 26 tries, 25226905 fired transitions, 2735 secs || 22955549 markings, 175675761 edges, 7689 markings/sec, 2735 secs
lola: STP completed || 26 tries, 25272553 fired transitions, 2740 secs || 22994505 markings, 175969300 edges, 7791 markings/sec, 2740 secs
lola: STP completed || 26 tries, 25320424 fired transitions, 2745 secs || 23035989 markings, 176303099 edges, 8297 markings/sec, 2745 secs
lola: STP completed || 26 tries, 25363375 fired transitions, 2750 secs || 23077073 markings, 176600100 edges, 8217 markings/sec, 2750 secs
lola: STP completed || 26 tries, 25407307 fired transitions, 2755 secs || 23119010 markings, 176913762 edges, 8387 markings/sec, 2755 secs
lola: STP completed || 26 tries, 25450788 fired transitions, 2760 secs || 23160088 markings, 177217937 edges, 8216 markings/sec, 2760 secs
lola: STP completed || 26 tries, 25494500 fired transitions, 2765 secs || 23201648 markings, 177526250 edges, 8312 markings/sec, 2765 secs
lola: STP completed || 26 tries, 25537867 fired transitions, 2770 secs || 23242627 markings, 177831556 edges, 8196 markings/sec, 2770 secs
lola: STP completed || 26 tries, 25583224 fired transitions, 2775 secs || 23284149 markings, 178148303 edges, 8304 markings/sec, 2775 secs
lola: STP completed || 26 tries, 25632520 fired transitions, 2780 secs || 23329082 markings, 178474342 edges, 8987 markings/sec, 2780 secs
lola: STP completed || 26 tries, 25677976 fired transitions, 2785 secs || 23370578 markings, 178784705 edges, 8299 markings/sec, 2785 secs
lola: STP completed || 26 tries, 25723096 fired transitions, 2790 secs || 23413369 markings, 179101780 edges, 8558 markings/sec, 2790 secs
lola: STP completed || 26 tries, 25768239 fired transitions, 2795 secs || 23454710 markings, 179403213 edges, 8268 markings/sec, 2795 secs
lola: STP completed || 26 tries, 25813938 fired transitions, 2800 secs || 23496299 markings, 179707347 edges, 8318 markings/sec, 2800 secs
lola: STP completed || 26 tries, 25859296 fired transitions, 2805 secs || 23538130 markings, 180012658 edges, 8366 markings/sec, 2805 secs
lola: STP completed || 26 tries, 25904483 fired transitions, 2810 secs || 23580518 markings, 180347041 edges, 8478 markings/sec, 2810 secs
lola: STP completed || 26 tries, 25949677 fired transitions, 2815 secs || 23623739 markings, 180663270 edges, 8644 markings/sec, 2815 secs
lola: STP completed || 26 tries, 25995340 fired transitions, 2820 secs || 23666872 markings, 180984600 edges, 8627 markings/sec, 2820 secs
lola: STP completed || 27 tries, 26039942 fired transitions, 2825 secs || 23708704 markings, 181315319 edges, 8366 markings/sec, 2825 secs
lola: STP completed || 27 tries, 26083900 fired transitions, 2830 secs || 23748580 markings, 181629073 edges, 7975 markings/sec, 2830 secs
lola: STP completed || 27 tries, 26126478 fired transitions, 2835 secs || 23786587 markings, 181912270 edges, 7601 markings/sec, 2835 secs
lola: STP completed || 27 tries, 26169061 fired transitions, 2840 secs || 23824197 markings, 182208053 edges, 7522 markings/sec, 2840 secs
lola: STP completed || 27 tries, 26210914 fired transitions, 2845 secs || 23861054 markings, 182483893 edges, 7371 markings/sec, 2845 secs
lola: STP completed || 27 tries, 26252576 fired transitions, 2850 secs || 23897782 markings, 182760940 edges, 7346 markings/sec, 2850 secs
lola: STP completed || 27 tries, 26294587 fired transitions, 2855 secs || 23934724 markings, 183044084 edges, 7388 markings/sec, 2855 secs
lola: STP completed || 27 tries, 26336253 fired transitions, 2860 secs || 23971327 markings, 183323809 edges, 7321 markings/sec, 2860 secs
lola: STP completed || 27 tries, 26378641 fired transitions, 2865 secs || 24009052 markings, 183604435 edges, 7545 markings/sec, 2865 secs
lola: STP completed || 27 tries, 26426125 fired transitions, 2870 secs || 24052229 markings, 183939116 edges, 8635 markings/sec, 2870 secs
lola: STP completed || 27 tries, 26469285 fired transitions, 2875 secs || 24093144 markings, 184265278 edges, 8183 markings/sec, 2875 secs
lola: STP completed || 27 tries, 26511798 fired transitions, 2880 secs || 24129520 markings, 184546292 edges, 7275 markings/sec, 2880 secs
lola: STP completed || 27 tries, 26553348 fired transitions, 2885 secs || 24164443 markings, 184806309 edges, 6985 markings/sec, 2885 secs
lola: STP completed || 27 tries, 26595379 fired transitions, 2890 secs || 24199515 markings, 185073357 edges, 7014 markings/sec, 2890 secs
lola: STP completed || 27 tries, 26637978 fired transitions, 2895 secs || 24236599 markings, 185356002 edges, 7417 markings/sec, 2895 secs
lola: STP completed || 27 tries, 26680592 fired transitions, 2900 secs || 24273513 markings, 185638762 edges, 7383 markings/sec, 2900 secs
lola: STP completed || 27 tries, 26723660 fired transitions, 2905 secs || 24310538 markings, 185923457 edges, 7405 markings/sec, 2905 secs
lola: STP completed || 27 tries, 26768743 fired transitions, 2910 secs || 24348265 markings, 186222578 edges, 7545 markings/sec, 2910 secs
lola: STP completed || 27 tries, 26814031 fired transitions, 2915 secs || 24386768 markings, 186527042 edges, 7701 markings/sec, 2915 secs
lola: STP completed || 27 tries, 26859170 fired transitions, 2920 secs || 24427005 markings, 186841029 edges, 8047 markings/sec, 2920 secs
lola: STP completed || 27 tries, 26905308 fired transitions, 2925 secs || 24467393 markings, 187152893 edges, 8078 markings/sec, 2925 secs
lola: STP completed || 27 tries, 26950169 fired transitions, 2930 secs || 24505310 markings, 187447995 edges, 7583 markings/sec, 2930 secs
lola: STP completed || 27 tries, 26995232 fired transitions, 2935 secs || 24543728 markings, 187744649 edges, 7684 markings/sec, 2935 secs
lola: STP completed || 28 tries, 27039619 fired transitions, 2940 secs || 24581103 markings, 188052298 edges, 7475 markings/sec, 2940 secs
lola: STP completed || 28 tries, 27082865 fired transitions, 2945 secs || 24619363 markings, 188337437 edges, 7652 markings/sec, 2945 secs
lola: STP completed || 28 tries, 27131340 fired transitions, 2950 secs || 24662829 markings, 188654020 edges, 8693 markings/sec, 2950 secs
lola: STP completed || 28 tries, 27180873 fired transitions, 2955 secs || 24707395 markings, 188976379 edges, 8913 markings/sec, 2955 secs
lola: STP completed || 28 tries, 27230497 fired transitions, 2960 secs || 24751485 markings, 189298617 edges, 8818 markings/sec, 2960 secs
lola: STP completed || 28 tries, 27279089 fired transitions, 2965 secs || 24795232 markings, 189620343 edges, 8749 markings/sec, 2965 secs
lola: STP completed || 28 tries, 27324935 fired transitions, 2970 secs || 24836449 markings, 189945190 edges, 8243 markings/sec, 2970 secs
lola: STP completed || 28 tries, 27371002 fired transitions, 2975 secs || 24878807 markings, 190252053 edges, 8472 markings/sec, 2975 secs
lola: STP completed || 28 tries, 27414235 fired transitions, 2980 secs || 24917053 markings, 190530298 edges, 7649 markings/sec, 2980 secs
lola: STP completed || 28 tries, 27458402 fired transitions, 2985 secs || 24956136 markings, 190811988 edges, 7817 markings/sec, 2985 secs
lola: STP completed || 28 tries, 27506870 fired transitions, 2990 secs || 24999130 markings, 191130800 edges, 8599 markings/sec, 2990 secs
lola: STP completed || 28 tries, 27550446 fired transitions, 2995 secs || 25038414 markings, 191416188 edges, 7857 markings/sec, 2995 secs
lola: STP completed || 28 tries, 27593962 fired transitions, 3000 secs || 25077686 markings, 191704043 edges, 7854 markings/sec, 3000 secs
lola: STP completed || 28 tries, 27636067 fired transitions, 3005 secs || 25116344 markings, 191984421 edges, 7732 markings/sec, 3005 secs
lola: STP completed || 28 tries, 27677947 fired transitions, 3010 secs || 25154822 markings, 192266872 edges, 7696 markings/sec, 3010 secs
lola: STP completed || 28 tries, 27721261 fired transitions, 3015 secs || 25193487 markings, 192550697 edges, 7733 markings/sec, 3015 secs
lola: STP completed || 28 tries, 27769710 fired transitions, 3020 secs || 25235286 markings, 192858665 edges, 8360 markings/sec, 3020 secs
lola: STP completed || 28 tries, 27811630 fired transitions, 3025 secs || 25274027 markings, 193132129 edges, 7748 markings/sec, 3025 secs
lola: STP completed || 28 tries, 27853529 fired transitions, 3030 secs || 25312381 markings, 193401175 edges, 7671 markings/sec, 3030 secs
lola: STP completed || 28 tries, 27901716 fired transitions, 3035 secs || 25355215 markings, 193697630 edges, 8567 markings/sec, 3035 secs
lola: STP completed || 28 tries, 27945204 fired transitions, 3040 secs || 25393015 markings, 193970720 edges, 7560 markings/sec, 3040 secs
lola: STP completed || 28 tries, 27988604 fired transitions, 3045 secs || 25430680 markings, 194244248 edges, 7533 markings/sec, 3045 secs
lola: STP completed || 29 tries, 28032330 fired transitions, 3050 secs || 25470313 markings, 194532719 edges, 7927 markings/sec, 3050 secs
lola: STP completed || 29 tries, 28076983 fired transitions, 3055 secs || 25510377 markings, 194827090 edges, 8013 markings/sec, 3055 secs
lola: STP completed || 29 tries, 28122732 fired transitions, 3060 secs || 25550919 markings, 195124088 edges, 8108 markings/sec, 3060 secs
lola: STP completed || 29 tries, 28168438 fired transitions, 3065 secs || 25590731 markings, 195412063 edges, 7962 markings/sec, 3065 secs
lola: STP completed || 29 tries, 28213546 fired transitions, 3070 secs || 25629233 markings, 195694554 edges, 7700 markings/sec, 3070 secs
lola: STP completed || 29 tries, 28259026 fired transitions, 3075 secs || 25667946 markings, 195973447 edges, 7743 markings/sec, 3075 secs
lola: STP completed || 29 tries, 28305344 fired transitions, 3080 secs || 25707549 markings, 196260636 edges, 7921 markings/sec, 3080 secs
lola: STP completed || 29 tries, 28354689 fired transitions, 3085 secs || 25751500 markings, 196582553 edges, 8790 markings/sec, 3085 secs
lola: STP completed || 29 tries, 28402766 fired transitions, 3090 secs || 25793570 markings, 196889856 edges, 8414 markings/sec, 3090 secs
lola: STP completed || 29 tries, 28451011 fired transitions, 3095 secs || 25835896 markings, 197201558 edges, 8465 markings/sec, 3095 secs
lola: STP completed || 29 tries, 28498860 fired transitions, 3100 secs || 25877868 markings, 197505393 edges, 8394 markings/sec, 3100 secs
lola: STP completed || 29 tries, 28543570 fired transitions, 3105 secs || 25917191 markings, 197798185 edges, 7865 markings/sec, 3105 secs
lola: STP completed || 29 tries, 28590352 fired transitions, 3110 secs || 25958171 markings, 198102143 edges, 8196 markings/sec, 3110 secs
lola: STP completed || 29 tries, 28636054 fired transitions, 3115 secs || 25998263 markings, 198391564 edges, 8018 markings/sec, 3115 secs
lola: STP completed || 29 tries, 28681364 fired transitions, 3120 secs || 26040139 markings, 198696851 edges, 8375 markings/sec, 3120 secs
lola: STP completed || 29 tries, 28728801 fired transitions, 3125 secs || 26084196 markings, 199015782 edges, 8811 markings/sec, 3125 secs
lola: STP completed || 29 tries, 28773481 fired transitions, 3130 secs || 26124533 markings, 199309448 edges, 8067 markings/sec, 3130 secs
lola: STP completed || 29 tries, 28818044 fired transitions, 3135 secs || 26164903 markings, 199604443 edges, 8074 markings/sec, 3135 secs
lola: STP completed || 29 tries, 28863835 fired transitions, 3140 secs || 26205899 markings, 199902479 edges, 8199 markings/sec, 3140 secs
lola: STP completed || 29 tries, 28911003 fired transitions, 3145 secs || 26249764 markings, 200223858 edges, 8773 markings/sec, 3145 secs
lola: STP completed || 29 tries, 28954766 fired transitions, 3150 secs || 26290802 markings, 200522556 edges, 8208 markings/sec, 3150 secs
lola: STP completed || 29 tries, 28998357 fired transitions, 3155 secs || 26332227 markings, 200827329 edges, 8285 markings/sec, 3155 secs
lola: STP completed || 30 tries, 29042034 fired transitions, 3160 secs || 26374015 markings, 201136189 edges, 8358 markings/sec, 3160 secs
lola: STP completed || 30 tries, 29086059 fired transitions, 3165 secs || 26415911 markings, 201454828 edges, 8379 markings/sec, 3165 secs
lola: STP completed || 30 tries, 29129658 fired transitions, 3170 secs || 26456013 markings, 201760409 edges, 8020 markings/sec, 3170 secs
lola: STP completed || 30 tries, 29173058 fired transitions, 3175 secs || 26486202 markings, 201967442 edges, 6038 markings/sec, 3175 secs
lola: STP completed || 30 tries, 29202637 fired transitions, 3180 secs || 26503259 markings, 202089593 edges, 3411 markings/sec, 3180 secs
lola: STP completed || 30 tries, 29206160 fired transitions, 3185 secs || 26503261 markings, 202089609 edges, 0 markings/sec, 3185 secs
lola: STP completed || 30 tries, 29227375 fired transitions, 3190 secs || 26503415 markings, 202090939 edges, 31 markings/sec, 3190 secs
Killed
FORMULA Raft-PT-10-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----

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="Raft-PT-10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
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/Raft-PT-10.tgz
mv Raft-PT-10 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 mcc4mcc-full"
echo " Input is Raft-PT-10, 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 r142-qhx2-152673583800167"
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 ;