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 '
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 ;