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

About the Execution of M4M.struct for DLCround-PT-04a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8907.430 3104759.00 6190365.00 7280.60 F 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 368K
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 17K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 200K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCround-PT-04a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649743800020
=====================================================================


--------------------
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 DLCround-PT-04a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526649876745


BK_STOP 1526652981504

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-04a as instance name.
Using DLCround as model name.
Using algorithm or tool decision-tree.
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': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3294, 'Memory': 267.62, 'Tool': 'itstools'}, {'Time': 3314, 'Memory': 2208.69, 'Tool': 'marcie'}, {'Time': 8539, 'Memory': 260.12, 'Tool': 'gspn'}, {'Time': 2660418, 'Memory': 8598.52, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 807.655737704918x far from the best tool itstools.
ReachabilityDeadlock lola DLCround-PT-04a...

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


checking for too many tokens
===========================================================================================
DLCround-PT-04a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ DLCround-PT-04a @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 962/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 823 transitions, 70 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-04a-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 12 bytes per marking, with 26 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 26 generators (11 in search tree, 15 by composition)
lola: representing 46080 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 12230 variables and 50590 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 52969 fired transitions, 0 secs || 98941 markings, 1559156 edges, 19788 markings/sec, 0 secs
lola: STP completed || 1 tries, 105655 fired transitions, 5 secs || 200054 markings, 3123072 edges, 20223 markings/sec, 5 secs
lola: STP completed || 1 tries, 158936 fired transitions, 10 secs || 305365 markings, 4699223 edges, 21062 markings/sec, 10 secs
lola: STP completed || 1 tries, 211970 fired transitions, 15 secs || 408567 markings, 6273740 edges, 20640 markings/sec, 15 secs
lola: STP completed || 1 tries, 265607 fired transitions, 20 secs || 502173 markings, 7719864 edges, 18721 markings/sec, 20 secs
lola: STP completed || 1 tries, 319327 fired transitions, 25 secs || 603961 markings, 9271062 edges, 20358 markings/sec, 25 secs
lola: STP completed || 1 tries, 373697 fired transitions, 30 secs || 702745 markings, 10801060 edges, 19757 markings/sec, 30 secs
lola: STP completed || 1 tries, 427974 fired transitions, 35 secs || 803509 markings, 12338684 edges, 20153 markings/sec, 35 secs
lola: STP completed || 1 tries, 482157 fired transitions, 40 secs || 905300 markings, 13876728 edges, 20358 markings/sec, 40 secs
lola: STP completed || 1 tries, 536238 fired transitions, 45 secs || 1006823 markings, 15408993 edges, 20305 markings/sec, 45 secs
lola: STP completed || 1 tries, 590419 fired transitions, 50 secs || 1109098 markings, 16943695 edges, 20455 markings/sec, 50 secs
lola: STP completed || 1 tries, 644574 fired transitions, 55 secs || 1212006 markings, 18480515 edges, 20582 markings/sec, 55 secs
lola: STP completed || 1 tries, 698457 fired transitions, 60 secs || 1312373 markings, 20002358 edges, 20073 markings/sec, 60 secs
lola: STP completed || 1 tries, 752670 fired transitions, 65 secs || 1410945 markings, 21541933 edges, 19714 markings/sec, 65 secs
lola: STP completed || 1 tries, 806800 fired transitions, 70 secs || 1514547 markings, 23075524 edges, 20720 markings/sec, 70 secs
lola: STP completed || 1 tries, 860858 fired transitions, 75 secs || 1615452 markings, 24604853 edges, 20181 markings/sec, 75 secs
lola: STP completed || 1 tries, 914894 fired transitions, 80 secs || 1719201 markings, 26155255 edges, 20750 markings/sec, 80 secs
lola: STP completed || 1 tries, 969096 fired transitions, 85 secs || 1821487 markings, 27688930 edges, 20457 markings/sec, 85 secs
lola: STP completed || 2 tries, 1023059 fired transitions, 90 secs || 1925392 markings, 29220130 edges, 20781 markings/sec, 90 secs
lola: STP completed || 2 tries, 1077199 fired transitions, 95 secs || 2025064 markings, 30744989 edges, 19934 markings/sec, 95 secs
lola: STP completed || 2 tries, 1131307 fired transitions, 100 secs || 2125569 markings, 32283056 edges, 20101 markings/sec, 100 secs
lola: STP completed || 2 tries, 1185611 fired transitions, 105 secs || 2224523 markings, 33802767 edges, 19791 markings/sec, 105 secs
lola: STP completed || 2 tries, 1239978 fired transitions, 110 secs || 2327908 markings, 35331719 edges, 20677 markings/sec, 110 secs
lola: STP completed || 2 tries, 1294230 fired transitions, 115 secs || 2431478 markings, 36865706 edges, 20714 markings/sec, 115 secs
lola: STP completed || 2 tries, 1348550 fired transitions, 120 secs || 2535495 markings, 38395151 edges, 20803 markings/sec, 120 secs
lola: STP completed || 2 tries, 1402312 fired transitions, 125 secs || 2642623 markings, 39949227 edges, 21426 markings/sec, 125 secs
lola: STP completed || 2 tries, 1455793 fired transitions, 130 secs || 2744513 markings, 41491229 edges, 20378 markings/sec, 130 secs
lola: STP completed || 2 tries, 1509114 fired transitions, 135 secs || 2849522 markings, 43047601 edges, 21002 markings/sec, 135 secs
lola: STP completed || 2 tries, 1562854 fired transitions, 140 secs || 2955247 markings, 44602022 edges, 21145 markings/sec, 140 secs
lola: STP completed || 2 tries, 1616296 fired transitions, 145 secs || 3055819 markings, 46143566 edges, 20114 markings/sec, 145 secs
lola: STP completed || 2 tries, 1669771 fired transitions, 150 secs || 3159881 markings, 47695477 edges, 20812 markings/sec, 150 secs
lola: STP completed || 2 tries, 1723296 fired transitions, 155 secs || 3261702 markings, 49237725 edges, 20364 markings/sec, 155 secs
lola: STP completed || 2 tries, 1776582 fired transitions, 160 secs || 3361620 markings, 50782249 edges, 19984 markings/sec, 160 secs
lola: STP completed || 2 tries, 1829975 fired transitions, 165 secs || 3462784 markings, 52337290 edges, 20233 markings/sec, 165 secs
lola: STP completed || 2 tries, 1883501 fired transitions, 170 secs || 3568618 markings, 53906828 edges, 21167 markings/sec, 170 secs
lola: STP completed || 2 tries, 1937008 fired transitions, 175 secs || 3670893 markings, 55466958 edges, 20455 markings/sec, 175 secs
lola: STP completed || 2 tries, 1990538 fired transitions, 180 secs || 3772059 markings, 57007017 edges, 20233 markings/sec, 180 secs
lola: STP completed || 3 tries, 2043980 fired transitions, 185 secs || 3876667 markings, 58558549 edges, 20922 markings/sec, 185 secs
lola: STP completed || 3 tries, 2097731 fired transitions, 190 secs || 3981872 markings, 60107810 edges, 21041 markings/sec, 190 secs
lola: STP completed || 3 tries, 2151221 fired transitions, 195 secs || 4086629 markings, 61658802 edges, 20951 markings/sec, 195 secs
lola: STP completed || 3 tries, 2204854 fired transitions, 200 secs || 4190982 markings, 63214948 edges, 20871 markings/sec, 200 secs
lola: STP completed || 3 tries, 2258455 fired transitions, 205 secs || 4297587 markings, 64772947 edges, 21321 markings/sec, 205 secs
lola: STP completed || 3 tries, 2312127 fired transitions, 210 secs || 4396595 markings, 66302281 edges, 19802 markings/sec, 210 secs
lola: STP completed || 3 tries, 2365683 fired transitions, 215 secs || 4500936 markings, 67847176 edges, 20868 markings/sec, 215 secs
lola: STP completed || 3 tries, 2419376 fired transitions, 220 secs || 4606126 markings, 69397248 edges, 21038 markings/sec, 220 secs
lola: STP completed || 3 tries, 2472917 fired transitions, 225 secs || 4707276 markings, 70941121 edges, 20230 markings/sec, 225 secs
lola: STP completed || 3 tries, 2526319 fired transitions, 230 secs || 4810196 markings, 72492716 edges, 20584 markings/sec, 230 secs
lola: STP completed || 3 tries, 2579900 fired transitions, 235 secs || 4914378 markings, 74049964 edges, 20836 markings/sec, 235 secs
lola: STP completed || 3 tries, 2633305 fired transitions, 240 secs || 5016224 markings, 75584357 edges, 20369 markings/sec, 240 secs
lola: STP completed || 3 tries, 2686820 fired transitions, 245 secs || 5120932 markings, 77134570 edges, 20942 markings/sec, 245 secs
lola: STP completed || 3 tries, 2740245 fired transitions, 250 secs || 5224124 markings, 78676755 edges, 20638 markings/sec, 250 secs
lola: STP completed || 3 tries, 2793915 fired transitions, 255 secs || 5329600 markings, 80231420 edges, 21095 markings/sec, 255 secs
lola: STP completed || 3 tries, 2847645 fired transitions, 260 secs || 5434914 markings, 81784984 edges, 21063 markings/sec, 260 secs
lola: STP completed || 3 tries, 2901442 fired transitions, 265 secs || 5540077 markings, 83342302 edges, 21033 markings/sec, 265 secs
lola: STP completed || 3 tries, 2955068 fired transitions, 270 secs || 5640957 markings, 84883742 edges, 20176 markings/sec, 270 secs
lola: STP completed || 4 tries, 3008657 fired transitions, 275 secs || 5746423 markings, 86439796 edges, 21093 markings/sec, 275 secs
lola: STP completed || 4 tries, 3062282 fired transitions, 280 secs || 5850436 markings, 87982360 edges, 20803 markings/sec, 280 secs
lola: STP completed || 4 tries, 3116047 fired transitions, 285 secs || 5951166 markings, 89516510 edges, 20146 markings/sec, 285 secs
lola: STP completed || 4 tries, 3169808 fired transitions, 290 secs || 6057560 markings, 91074303 edges, 21279 markings/sec, 290 secs
lola: STP completed || 4 tries, 3223617 fired transitions, 295 secs || 6162172 markings, 92614221 edges, 20922 markings/sec, 295 secs
lola: STP completed || 4 tries, 3277092 fired transitions, 300 secs || 6266588 markings, 94158143 edges, 20883 markings/sec, 300 secs
lola: STP completed || 4 tries, 3330640 fired transitions, 305 secs || 6369526 markings, 95693920 edges, 20588 markings/sec, 305 secs
lola: STP completed || 4 tries, 3384146 fired transitions, 310 secs || 6475579 markings, 97248205 edges, 21211 markings/sec, 310 secs
lola: STP completed || 4 tries, 3437836 fired transitions, 315 secs || 6581155 markings, 98792773 edges, 21115 markings/sec, 315 secs
lola: STP completed || 4 tries, 3491355 fired transitions, 320 secs || 6685215 markings, 100334996 edges, 20812 markings/sec, 320 secs
lola: STP completed || 4 tries, 3544892 fired transitions, 325 secs || 6782940 markings, 101841279 edges, 19545 markings/sec, 325 secs
lola: STP completed || 4 tries, 3598224 fired transitions, 330 secs || 6885733 markings, 103383213 edges, 20559 markings/sec, 330 secs
lola: STP completed || 4 tries, 3651835 fired transitions, 335 secs || 6990637 markings, 104925865 edges, 20981 markings/sec, 335 secs
lola: STP completed || 4 tries, 3705432 fired transitions, 340 secs || 7098489 markings, 106491118 edges, 21570 markings/sec, 340 secs
lola: STP completed || 4 tries, 3759104 fired transitions, 345 secs || 7203508 markings, 108036172 edges, 21004 markings/sec, 345 secs
lola: STP completed || 4 tries, 3812643 fired transitions, 350 secs || 7308238 markings, 109584164 edges, 20946 markings/sec, 350 secs
lola: STP completed || 4 tries, 3866414 fired transitions, 355 secs || 7411962 markings, 111127119 edges, 20745 markings/sec, 355 secs
lola: STP completed || 4 tries, 3919976 fired transitions, 360 secs || 7510444 markings, 112640719 edges, 19696 markings/sec, 360 secs
lola: STP completed || 4 tries, 3973585 fired transitions, 365 secs || 7614624 markings, 114180748 edges, 20836 markings/sec, 365 secs
lola: STP completed || 5 tries, 4027454 fired transitions, 370 secs || 7720160 markings, 115739756 edges, 21107 markings/sec, 370 secs
lola: STP completed || 5 tries, 4080927 fired transitions, 375 secs || 7826724 markings, 117298624 edges, 21313 markings/sec, 375 secs
lola: STP completed || 5 tries, 4134600 fired transitions, 380 secs || 7930316 markings, 118846695 edges, 20718 markings/sec, 380 secs
lola: STP completed || 5 tries, 4188352 fired transitions, 385 secs || 8035435 markings, 120395896 edges, 21024 markings/sec, 385 secs
lola: STP completed || 5 tries, 4242056 fired transitions, 390 secs || 8142315 markings, 121959817 edges, 21376 markings/sec, 390 secs
lola: STP completed || 5 tries, 4295611 fired transitions, 395 secs || 8243689 markings, 123474096 edges, 20275 markings/sec, 395 secs
lola: STP completed || 5 tries, 4349356 fired transitions, 400 secs || 8347474 markings, 125013591 edges, 20757 markings/sec, 400 secs
lola: STP completed || 5 tries, 4403043 fired transitions, 405 secs || 8452170 markings, 126567464 edges, 20939 markings/sec, 405 secs
lola: STP completed || 5 tries, 4456547 fired transitions, 410 secs || 8557013 markings, 128117333 edges, 20969 markings/sec, 410 secs
lola: STP completed || 5 tries, 4510142 fired transitions, 415 secs || 8661496 markings, 129664891 edges, 20897 markings/sec, 415 secs
lola: STP completed || 5 tries, 4563868 fired transitions, 420 secs || 8770149 markings, 131240055 edges, 21731 markings/sec, 420 secs
lola: STP completed || 5 tries, 4617571 fired transitions, 425 secs || 8873269 markings, 132799736 edges, 20624 markings/sec, 425 secs
lola: STP completed || 5 tries, 4671079 fired transitions, 430 secs || 8981145 markings, 134366322 edges, 21575 markings/sec, 430 secs
lola: STP completed || 5 tries, 4724674 fired transitions, 435 secs || 9086212 markings, 135918634 edges, 21013 markings/sec, 435 secs
lola: STP completed || 5 tries, 4778289 fired transitions, 440 secs || 9193370 markings, 137484679 edges, 21432 markings/sec, 440 secs
lola: STP completed || 5 tries, 4831856 fired transitions, 445 secs || 9298545 markings, 139044063 edges, 21035 markings/sec, 445 secs
lola: STP completed || 5 tries, 4885369 fired transitions, 450 secs || 9403672 markings, 140600253 edges, 21025 markings/sec, 450 secs
lola: STP completed || 5 tries, 4939055 fired transitions, 455 secs || 9509785 markings, 142161637 edges, 21223 markings/sec, 455 secs
lola: STP completed || 5 tries, 4992649 fired transitions, 460 secs || 9616260 markings, 143720819 edges, 21295 markings/sec, 460 secs
lola: STP completed || 6 tries, 5046298 fired transitions, 465 secs || 9721659 markings, 145272931 edges, 21080 markings/sec, 465 secs
lola: STP completed || 6 tries, 5099702 fired transitions, 470 secs || 9827548 markings, 146826227 edges, 21178 markings/sec, 470 secs
lola: STP completed || 6 tries, 5153195 fired transitions, 475 secs || 9935685 markings, 148397820 edges, 21627 markings/sec, 475 secs
lola: STP completed || 6 tries, 5206851 fired transitions, 480 secs || 10041620 markings, 149949808 edges, 21187 markings/sec, 480 secs
lola: STP completed || 6 tries, 5260552 fired transitions, 485 secs || 10146395 markings, 151491563 edges, 20955 markings/sec, 485 secs
lola: STP completed || 6 tries, 5314090 fired transitions, 490 secs || 10253944 markings, 153057195 edges, 21510 markings/sec, 490 secs
lola: STP completed || 6 tries, 5367699 fired transitions, 495 secs || 10360297 markings, 154619903 edges, 21271 markings/sec, 495 secs
lola: STP completed || 6 tries, 5421244 fired transitions, 500 secs || 10460375 markings, 156146303 edges, 20016 markings/sec, 500 secs
lola: STP completed || 6 tries, 5475002 fired transitions, 505 secs || 10568094 markings, 157723670 edges, 21544 markings/sec, 505 secs
lola: STP completed || 6 tries, 5528696 fired transitions, 510 secs || 10675821 markings, 159286336 edges, 21545 markings/sec, 510 secs
lola: STP completed || 6 tries, 5582139 fired transitions, 515 secs || 10782230 markings, 160847841 edges, 21282 markings/sec, 515 secs
lola: STP completed || 6 tries, 5635731 fired transitions, 520 secs || 10889658 markings, 162420770 edges, 21486 markings/sec, 520 secs
lola: STP completed || 6 tries, 5689251 fired transitions, 525 secs || 10993431 markings, 163970050 edges, 20755 markings/sec, 525 secs
lola: STP completed || 6 tries, 5743088 fired transitions, 530 secs || 11098688 markings, 165526978 edges, 21051 markings/sec, 530 secs
lola: STP completed || 6 tries, 5796730 fired transitions, 535 secs || 11205751 markings, 167099545 edges, 21413 markings/sec, 535 secs
lola: STP completed || 6 tries, 5850457 fired transitions, 540 secs || 11312822 markings, 168665546 edges, 21414 markings/sec, 540 secs
lola: STP completed || 6 tries, 5904219 fired transitions, 545 secs || 11413781 markings, 170201103 edges, 20192 markings/sec, 545 secs
lola: STP completed || 6 tries, 5958681 fired transitions, 550 secs || 11520135 markings, 171759742 edges, 21271 markings/sec, 550 secs
lola: STP completed || 7 tries, 6012691 fired transitions, 555 secs || 11618920 markings, 173264474 edges, 19757 markings/sec, 555 secs
lola: STP completed || 7 tries, 6067207 fired transitions, 560 secs || 11724697 markings, 174826066 edges, 21155 markings/sec, 560 secs
lola: STP completed || 7 tries, 6121616 fired transitions, 565 secs || 11833937 markings, 176394165 edges, 21848 markings/sec, 565 secs
lola: STP completed || 7 tries, 6175775 fired transitions, 570 secs || 11939251 markings, 177950771 edges, 21063 markings/sec, 570 secs
lola: STP completed || 7 tries, 6230115 fired transitions, 575 secs || 12046201 markings, 179511634 edges, 21390 markings/sec, 575 secs
lola: STP completed || 7 tries, 6284414 fired transitions, 580 secs || 12151963 markings, 181069807 edges, 21152 markings/sec, 580 secs
lola: STP completed || 7 tries, 6338836 fired transitions, 585 secs || 12256873 markings, 182606188 edges, 20982 markings/sec, 585 secs
lola: STP completed || 7 tries, 6393083 fired transitions, 590 secs || 12362293 markings, 184155329 edges, 21084 markings/sec, 590 secs
lola: STP completed || 7 tries, 6447491 fired transitions, 595 secs || 12469168 markings, 185709867 edges, 21375 markings/sec, 595 secs
lola: STP completed || 7 tries, 6501830 fired transitions, 600 secs || 12574105 markings, 187253737 edges, 20987 markings/sec, 600 secs
lola: STP completed || 7 tries, 6556214 fired transitions, 605 secs || 12678994 markings, 188797756 edges, 20978 markings/sec, 605 secs
lola: STP completed || 7 tries, 6610421 fired transitions, 610 secs || 12781821 markings, 190315674 edges, 20565 markings/sec, 610 secs
lola: STP completed || 7 tries, 6664789 fired transitions, 615 secs || 12886687 markings, 191860277 edges, 20973 markings/sec, 615 secs
lola: STP completed || 7 tries, 6719168 fired transitions, 620 secs || 12993970 markings, 193409888 edges, 21457 markings/sec, 620 secs
lola: STP completed || 7 tries, 6773400 fired transitions, 625 secs || 13098603 markings, 194947378 edges, 20927 markings/sec, 625 secs
lola: STP completed || 7 tries, 6827630 fired transitions, 630 secs || 13202560 markings, 196482567 edges, 20791 markings/sec, 630 secs
lola: STP completed || 7 tries, 6882248 fired transitions, 635 secs || 13308505 markings, 198023342 edges, 21189 markings/sec, 635 secs
lola: STP completed || 7 tries, 6936731 fired transitions, 640 secs || 13413982 markings, 199566775 edges, 21095 markings/sec, 640 secs
lola: STP completed || 7 tries, 6991060 fired transitions, 645 secs || 13520225 markings, 201117815 edges, 21249 markings/sec, 645 secs
lola: STP completed || 8 tries, 7045365 fired transitions, 650 secs || 13626519 markings, 202656139 edges, 21259 markings/sec, 650 secs
lola: STP completed || 8 tries, 7099789 fired transitions, 655 secs || 13732939 markings, 204210790 edges, 21284 markings/sec, 655 secs
lola: STP completed || 8 tries, 7154033 fired transitions, 660 secs || 13837624 markings, 205747558 edges, 20937 markings/sec, 660 secs
lola: STP completed || 8 tries, 7208389 fired transitions, 665 secs || 13941435 markings, 207288771 edges, 20762 markings/sec, 665 secs
lola: STP completed || 8 tries, 7262793 fired transitions, 670 secs || 14047125 markings, 208828909 edges, 21138 markings/sec, 670 secs
lola: STP completed || 8 tries, 7317360 fired transitions, 675 secs || 14153301 markings, 210370863 edges, 21235 markings/sec, 675 secs
lola: STP completed || 8 tries, 7371595 fired transitions, 680 secs || 14261267 markings, 211924443 edges, 21593 markings/sec, 680 secs
lola: STP completed || 8 tries, 7425946 fired transitions, 685 secs || 14366665 markings, 213469835 edges, 21080 markings/sec, 685 secs
lola: STP completed || 8 tries, 7480494 fired transitions, 690 secs || 14472711 markings, 215018967 edges, 21209 markings/sec, 690 secs
lola: STP completed || 8 tries, 7534785 fired transitions, 695 secs || 14577873 markings, 216565437 edges, 21032 markings/sec, 695 secs
lola: STP completed || 8 tries, 7589102 fired transitions, 700 secs || 14683019 markings, 218095313 edges, 21029 markings/sec, 700 secs
lola: STP completed || 8 tries, 7643474 fired transitions, 705 secs || 14787657 markings, 219633039 edges, 20928 markings/sec, 705 secs
lola: STP completed || 8 tries, 7697769 fired transitions, 710 secs || 14894152 markings, 221174225 edges, 21299 markings/sec, 710 secs
lola: STP completed || 8 tries, 7752340 fired transitions, 715 secs || 14998035 markings, 222694157 edges, 20777 markings/sec, 715 secs
lola: STP completed || 8 tries, 7806680 fired transitions, 720 secs || 15101753 markings, 224226651 edges, 20744 markings/sec, 720 secs
lola: STP completed || 8 tries, 7860899 fired transitions, 725 secs || 15208913 markings, 225776076 edges, 21432 markings/sec, 725 secs
lola: STP completed || 8 tries, 7915165 fired transitions, 730 secs || 15313098 markings, 227299000 edges, 20837 markings/sec, 730 secs
lola: STP completed || 8 tries, 7969495 fired transitions, 735 secs || 15420639 markings, 228850104 edges, 21508 markings/sec, 735 secs
lola: STP completed || 9 tries, 8023934 fired transitions, 740 secs || 15526291 markings, 230392599 edges, 21130 markings/sec, 740 secs
lola: STP completed || 9 tries, 8078513 fired transitions, 745 secs || 15631060 markings, 231928535 edges, 20954 markings/sec, 745 secs
lola: STP completed || 9 tries, 8133022 fired transitions, 750 secs || 15736378 markings, 233459811 edges, 21064 markings/sec, 750 secs
lola: STP completed || 9 tries, 8187628 fired transitions, 755 secs || 15843781 markings, 235004530 edges, 21481 markings/sec, 755 secs
lola: STP completed || 9 tries, 8242086 fired transitions, 760 secs || 15952202 markings, 236543873 edges, 21684 markings/sec, 760 secs
lola: STP completed || 9 tries, 8296573 fired transitions, 765 secs || 16059112 markings, 238083890 edges, 21382 markings/sec, 765 secs
lola: STP completed || 9 tries, 8351119 fired transitions, 770 secs || 16165490 markings, 239623451 edges, 21276 markings/sec, 770 secs
lola: STP completed || 9 tries, 8405492 fired transitions, 775 secs || 16270199 markings, 241153558 edges, 20942 markings/sec, 775 secs
lola: STP completed || 9 tries, 8460126 fired transitions, 780 secs || 16376510 markings, 242693019 edges, 21262 markings/sec, 780 secs
lola: STP completed || 9 tries, 8514536 fired transitions, 785 secs || 16483067 markings, 244231756 edges, 21311 markings/sec, 785 secs
lola: STP completed || 9 tries, 8568943 fired transitions, 790 secs || 16589378 markings, 245762879 edges, 21262 markings/sec, 790 secs
lola: STP completed || 9 tries, 8623386 fired transitions, 795 secs || 16696350 markings, 247304563 edges, 21394 markings/sec, 795 secs
lola: STP completed || 9 tries, 8677773 fired transitions, 800 secs || 16802734 markings, 248846962 edges, 21277 markings/sec, 800 secs
lola: STP completed || 9 tries, 8732168 fired transitions, 805 secs || 16912438 markings, 250405797 edges, 21941 markings/sec, 805 secs
lola: STP completed || 9 tries, 8786504 fired transitions, 810 secs || 17019355 markings, 251941062 edges, 21383 markings/sec, 810 secs
lola: STP completed || 9 tries, 8840674 fired transitions, 815 secs || 17128411 markings, 253489865 edges, 21811 markings/sec, 815 secs
lola: STP completed || 9 tries, 8894886 fired transitions, 820 secs || 17230805 markings, 255014513 edges, 20479 markings/sec, 820 secs
lola: STP completed || 9 tries, 8949358 fired transitions, 825 secs || 17334780 markings, 256541721 edges, 20795 markings/sec, 825 secs
lola: STP completed || 10 tries, 9003646 fired transitions, 830 secs || 17441580 markings, 258075829 edges, 21360 markings/sec, 830 secs
lola: STP completed || 10 tries, 9058141 fired transitions, 835 secs || 17548299 markings, 259609192 edges, 21344 markings/sec, 835 secs
lola: STP completed || 10 tries, 9112730 fired transitions, 840 secs || 17651419 markings, 261080465 edges, 20624 markings/sec, 840 secs
lola: STP completed || 10 tries, 9167318 fired transitions, 845 secs || 17755868 markings, 262559534 edges, 20890 markings/sec, 845 secs
lola: STP completed || 10 tries, 9221606 fired transitions, 850 secs || 17860569 markings, 264086376 edges, 20940 markings/sec, 850 secs
lola: STP completed || 10 tries, 9276104 fired transitions, 855 secs || 17967533 markings, 265622869 edges, 21393 markings/sec, 855 secs
lola: STP completed || 10 tries, 9330417 fired transitions, 860 secs || 18072847 markings, 267153739 edges, 21063 markings/sec, 860 secs
lola: STP completed || 10 tries, 9384928 fired transitions, 865 secs || 18180898 markings, 268695858 edges, 21610 markings/sec, 865 secs
lola: STP completed || 10 tries, 9439448 fired transitions, 870 secs || 18288694 markings, 270230540 edges, 21559 markings/sec, 870 secs
lola: STP completed || 10 tries, 9494040 fired transitions, 875 secs || 18392321 markings, 271705689 edges, 20725 markings/sec, 875 secs
lola: STP completed || 10 tries, 9548581 fired transitions, 880 secs || 18499973 markings, 273249993 edges, 21530 markings/sec, 880 secs
lola: STP completed || 10 tries, 9602855 fired transitions, 885 secs || 18610962 markings, 274803848 edges, 22198 markings/sec, 885 secs
lola: STP completed || 10 tries, 9657219 fired transitions, 890 secs || 18718359 markings, 276360053 edges, 21479 markings/sec, 890 secs
lola: STP completed || 10 tries, 9711170 fired transitions, 895 secs || 18827098 markings, 277919910 edges, 21748 markings/sec, 895 secs
lola: STP completed || 10 tries, 9764562 fired transitions, 900 secs || 18936685 markings, 279475924 edges, 21917 markings/sec, 900 secs
lola: STP completed || 10 tries, 9818573 fired transitions, 905 secs || 19045129 markings, 281026899 edges, 21689 markings/sec, 905 secs
lola: STP completed || 10 tries, 9872562 fired transitions, 910 secs || 19148082 markings, 282516799 edges, 20591 markings/sec, 910 secs
lola: STP completed || 10 tries, 9926206 fired transitions, 915 secs || 19254179 markings, 284048559 edges, 21219 markings/sec, 915 secs
lola: STP completed || 10 tries, 9979760 fired transitions, 920 secs || 19360486 markings, 285570581 edges, 21261 markings/sec, 920 secs
lola: STP completed || 11 tries, 10033368 fired transitions, 925 secs || 19466664 markings, 287092516 edges, 21236 markings/sec, 925 secs
lola: STP completed || 11 tries, 10087020 fired transitions, 930 secs || 19568574 markings, 288597715 edges, 20382 markings/sec, 930 secs
lola: STP completed || 11 tries, 10140454 fired transitions, 935 secs || 19675696 markings, 290125774 edges, 21424 markings/sec, 935 secs
lola: STP completed || 11 tries, 10194153 fired transitions, 940 secs || 19781845 markings, 291661101 edges, 21230 markings/sec, 940 secs
lola: STP completed || 11 tries, 10247833 fired transitions, 945 secs || 19888054 markings, 293188110 edges, 21242 markings/sec, 945 secs
lola: STP completed || 11 tries, 10301433 fired transitions, 950 secs || 19993751 markings, 294706900 edges, 21139 markings/sec, 950 secs
lola: STP completed || 11 tries, 10355258 fired transitions, 955 secs || 20095761 markings, 296217495 edges, 20402 markings/sec, 955 secs
lola: STP completed || 11 tries, 10409458 fired transitions, 960 secs || 20192972 markings, 297630669 edges, 19442 markings/sec, 960 secs
lola: STP completed || 11 tries, 10463872 fired transitions, 965 secs || 20299593 markings, 299173577 edges, 21324 markings/sec, 965 secs
lola: STP completed || 11 tries, 10517984 fired transitions, 970 secs || 20404211 markings, 300711208 edges, 20924 markings/sec, 970 secs
lola: STP completed || 11 tries, 10572336 fired transitions, 975 secs || 20514212 markings, 302265191 edges, 22000 markings/sec, 975 secs
lola: STP completed || 11 tries, 10626592 fired transitions, 980 secs || 20622191 markings, 303811846 edges, 21596 markings/sec, 980 secs
lola: STP completed || 11 tries, 10681106 fired transitions, 985 secs || 20730458 markings, 305353860 edges, 21653 markings/sec, 985 secs
lola: STP completed || 11 tries, 10735544 fired transitions, 990 secs || 20839108 markings, 306905764 edges, 21730 markings/sec, 990 secs
lola: STP completed || 11 tries, 10790200 fired transitions, 995 secs || 20944316 markings, 308444718 edges, 21042 markings/sec, 995 secs
lola: STP completed || 11 tries, 10844788 fired transitions, 1000 secs || 21050057 markings, 309980557 edges, 21148 markings/sec, 1000 secs
lola: STP completed || 11 tries, 10899187 fired transitions, 1005 secs || 21161667 markings, 311548350 edges, 22322 markings/sec, 1005 secs
lola: STP completed || 11 tries, 10953598 fired transitions, 1010 secs || 21270672 markings, 313090434 edges, 21801 markings/sec, 1010 secs
lola: STP completed || 12 tries, 11008161 fired transitions, 1015 secs || 21378906 markings, 314642038 edges, 21647 markings/sec, 1015 secs
lola: STP completed || 12 tries, 11062667 fired transitions, 1020 secs || 21488004 markings, 316192444 edges, 21820 markings/sec, 1020 secs
lola: STP completed || 12 tries, 11116850 fired transitions, 1025 secs || 21593979 markings, 317728037 edges, 21195 markings/sec, 1025 secs
lola: STP completed || 12 tries, 11171277 fired transitions, 1030 secs || 21700166 markings, 319265570 edges, 21237 markings/sec, 1030 secs
lola: STP completed || 12 tries, 11225958 fired transitions, 1035 secs || 21810414 markings, 320829040 edges, 22050 markings/sec, 1035 secs
lola: STP completed || 12 tries, 11280531 fired transitions, 1040 secs || 21917559 markings, 322374902 edges, 21429 markings/sec, 1040 secs
lola: STP completed || 12 tries, 11335026 fired transitions, 1045 secs || 22029395 markings, 323934621 edges, 22367 markings/sec, 1045 secs
lola: STP completed || 12 tries, 11389162 fired transitions, 1050 secs || 22137119 markings, 325468871 edges, 21545 markings/sec, 1050 secs
lola: STP completed || 12 tries, 11443659 fired transitions, 1055 secs || 22246238 markings, 327014770 edges, 21824 markings/sec, 1055 secs
lola: STP completed || 12 tries, 11497894 fired transitions, 1060 secs || 22353873 markings, 328562124 edges, 21527 markings/sec, 1060 secs
lola: STP completed || 12 tries, 11552365 fired transitions, 1065 secs || 22462095 markings, 330103804 edges, 21644 markings/sec, 1065 secs
lola: STP completed || 12 tries, 11606813 fired transitions, 1070 secs || 22570817 markings, 331649619 edges, 21744 markings/sec, 1070 secs
lola: STP completed || 12 tries, 11661232 fired transitions, 1075 secs || 22676929 markings, 333177240 edges, 21222 markings/sec, 1075 secs
lola: STP completed || 12 tries, 11715866 fired transitions, 1080 secs || 22785299 markings, 334726138 edges, 21674 markings/sec, 1080 secs
lola: STP completed || 12 tries, 11770259 fired transitions, 1085 secs || 22891298 markings, 336258258 edges, 21200 markings/sec, 1085 secs
lola: STP completed || 12 tries, 11824699 fired transitions, 1090 secs || 23002225 markings, 337815680 edges, 22185 markings/sec, 1090 secs
lola: STP completed || 12 tries, 11879155 fired transitions, 1095 secs || 23112632 markings, 339376757 edges, 22081 markings/sec, 1095 secs
lola: STP completed || 12 tries, 11933682 fired transitions, 1100 secs || 23217173 markings, 340904525 edges, 20908 markings/sec, 1100 secs
lola: STP completed || 12 tries, 11988126 fired transitions, 1105 secs || 23323138 markings, 342440345 edges, 21193 markings/sec, 1105 secs
lola: STP completed || 13 tries, 12042653 fired transitions, 1110 secs || 23427160 markings, 343920246 edges, 20804 markings/sec, 1110 secs
lola: STP completed || 13 tries, 12096925 fired transitions, 1115 secs || 23532762 markings, 345442205 edges, 21120 markings/sec, 1115 secs
lola: STP completed || 13 tries, 12151284 fired transitions, 1120 secs || 23640852 markings, 346974770 edges, 21618 markings/sec, 1120 secs
lola: STP completed || 13 tries, 12205805 fired transitions, 1125 secs || 23749127 markings, 348512425 edges, 21655 markings/sec, 1125 secs
lola: STP completed || 13 tries, 12260103 fired transitions, 1130 secs || 23859131 markings, 350057286 edges, 22001 markings/sec, 1130 secs
lola: STP completed || 13 tries, 12314402 fired transitions, 1135 secs || 23967274 markings, 351594256 edges, 21629 markings/sec, 1135 secs
lola: STP completed || 13 tries, 12368734 fired transitions, 1140 secs || 24071268 markings, 353114261 edges, 20799 markings/sec, 1140 secs
lola: STP completed || 13 tries, 12423269 fired transitions, 1145 secs || 24181779 markings, 354657097 edges, 22102 markings/sec, 1145 secs
lola: STP completed || 13 tries, 12477701 fired transitions, 1150 secs || 24289831 markings, 356188564 edges, 21610 markings/sec, 1150 secs
lola: STP completed || 13 tries, 12532168 fired transitions, 1155 secs || 24396993 markings, 357721418 edges, 21432 markings/sec, 1155 secs
lola: STP completed || 13 tries, 12586755 fired transitions, 1160 secs || 24501925 markings, 359238451 edges, 20986 markings/sec, 1160 secs
lola: STP completed || 13 tries, 12641080 fired transitions, 1165 secs || 24610723 markings, 360783339 edges, 21760 markings/sec, 1165 secs
lola: STP completed || 13 tries, 12694961 fired transitions, 1170 secs || 24717723 markings, 362315406 edges, 21400 markings/sec, 1170 secs
lola: STP completed || 13 tries, 12748897 fired transitions, 1175 secs || 24825781 markings, 363860296 edges, 21612 markings/sec, 1175 secs
lola: STP completed || 13 tries, 12802580 fired transitions, 1180 secs || 24936494 markings, 365427088 edges, 22143 markings/sec, 1180 secs
lola: STP completed || 13 tries, 12856539 fired transitions, 1185 secs || 25046723 markings, 366990220 edges, 22046 markings/sec, 1185 secs
lola: STP completed || 13 tries, 12910274 fired transitions, 1190 secs || 25152700 markings, 368541444 edges, 21195 markings/sec, 1190 secs
lola: STP completed || 13 tries, 12964144 fired transitions, 1195 secs || 25261434 markings, 370092709 edges, 21747 markings/sec, 1195 secs
lola: STP completed || 14 tries, 13017895 fired transitions, 1200 secs || 25368565 markings, 371640907 edges, 21426 markings/sec, 1200 secs
lola: STP completed || 14 tries, 13071748 fired transitions, 1205 secs || 25479369 markings, 373199182 edges, 22161 markings/sec, 1205 secs
lola: STP completed || 14 tries, 13125568 fired transitions, 1210 secs || 25588119 markings, 374749058 edges, 21750 markings/sec, 1210 secs
lola: STP completed || 14 tries, 13179616 fired transitions, 1215 secs || 25696339 markings, 376294267 edges, 21644 markings/sec, 1215 secs
lola: STP completed || 14 tries, 13233400 fired transitions, 1220 secs || 25807402 markings, 377850732 edges, 22213 markings/sec, 1220 secs
lola: STP completed || 14 tries, 13287008 fired transitions, 1225 secs || 25915519 markings, 379396940 edges, 21623 markings/sec, 1225 secs
lola: STP completed || 14 tries, 13340876 fired transitions, 1230 secs || 26027838 markings, 380963638 edges, 22464 markings/sec, 1230 secs
lola: STP completed || 14 tries, 13394870 fired transitions, 1235 secs || 26139265 markings, 382521397 edges, 22285 markings/sec, 1235 secs
lola: STP completed || 14 tries, 13448829 fired transitions, 1240 secs || 26246984 markings, 384069233 edges, 21544 markings/sec, 1240 secs
lola: STP completed || 14 tries, 13502752 fired transitions, 1245 secs || 26354063 markings, 385604071 edges, 21416 markings/sec, 1245 secs
lola: STP completed || 14 tries, 13556759 fired transitions, 1250 secs || 26463195 markings, 387149796 edges, 21826 markings/sec, 1250 secs
lola: STP completed || 14 tries, 13610673 fired transitions, 1255 secs || 26571855 markings, 388695590 edges, 21732 markings/sec, 1255 secs
lola: STP completed || 14 tries, 13664334 fired transitions, 1260 secs || 26680641 markings, 390240393 edges, 21757 markings/sec, 1260 secs
lola: STP completed || 14 tries, 13718318 fired transitions, 1265 secs || 26790872 markings, 391788171 edges, 22046 markings/sec, 1265 secs
lola: STP completed || 14 tries, 13772073 fired transitions, 1270 secs || 26900040 markings, 393345448 edges, 21834 markings/sec, 1270 secs
lola: STP completed || 14 tries, 13825969 fired transitions, 1275 secs || 27009350 markings, 394895263 edges, 21862 markings/sec, 1275 secs
lola: STP completed || 14 tries, 13879743 fired transitions, 1280 secs || 27119338 markings, 396449675 edges, 21998 markings/sec, 1280 secs
lola: STP completed || 14 tries, 13933543 fired transitions, 1285 secs || 27226266 markings, 397988502 edges, 21386 markings/sec, 1285 secs
lola: STP completed || 14 tries, 13987393 fired transitions, 1290 secs || 27332961 markings, 399521712 edges, 21339 markings/sec, 1290 secs
lola: STP completed || 15 tries, 14041080 fired transitions, 1295 secs || 27442911 markings, 401078999 edges, 21990 markings/sec, 1295 secs
lola: STP completed || 15 tries, 14094984 fired transitions, 1300 secs || 27553440 markings, 402626236 edges, 22106 markings/sec, 1300 secs
lola: STP completed || 15 tries, 14148880 fired transitions, 1305 secs || 27664887 markings, 404188364 edges, 22289 markings/sec, 1305 secs
lola: STP completed || 15 tries, 14202685 fired transitions, 1310 secs || 27774402 markings, 405743012 edges, 21903 markings/sec, 1310 secs
lola: STP completed || 15 tries, 14256390 fired transitions, 1315 secs || 27884376 markings, 407296123 edges, 21995 markings/sec, 1315 secs
lola: STP completed || 15 tries, 14310656 fired transitions, 1320 secs || 27993778 markings, 408844545 edges, 21880 markings/sec, 1320 secs
lola: STP completed || 15 tries, 14367133 fired transitions, 1325 secs || 28107744 markings, 410448173 edges, 22793 markings/sec, 1325 secs
lola: STP completed || 15 tries, 14423476 fired transitions, 1330 secs || 28218955 markings, 412033803 edges, 22242 markings/sec, 1330 secs
lola: STP completed || 15 tries, 14479774 fired transitions, 1335 secs || 28332289 markings, 413639126 edges, 22667 markings/sec, 1335 secs
lola: STP completed || 15 tries, 14536092 fired transitions, 1340 secs || 28444940 markings, 415232171 edges, 22530 markings/sec, 1340 secs
lola: STP completed || 15 tries, 14592397 fired transitions, 1345 secs || 28559615 markings, 416842041 edges, 22935 markings/sec, 1345 secs
lola: STP completed || 15 tries, 14648416 fired transitions, 1350 secs || 28672356 markings, 418434264 edges, 22548 markings/sec, 1350 secs
lola: STP completed || 15 tries, 14704772 fired transitions, 1355 secs || 28785633 markings, 420040447 edges, 22655 markings/sec, 1355 secs
lola: STP completed || 15 tries, 14761066 fired transitions, 1360 secs || 28898946 markings, 421636670 edges, 22663 markings/sec, 1360 secs
lola: STP completed || 15 tries, 14816874 fired transitions, 1365 secs || 29011052 markings, 423219199 edges, 22421 markings/sec, 1365 secs
lola: STP completed || 15 tries, 14872858 fired transitions, 1370 secs || 29123282 markings, 424825314 edges, 22446 markings/sec, 1370 secs
lola: STP completed || 15 tries, 14928818 fired transitions, 1375 secs || 29238617 markings, 426424523 edges, 23067 markings/sec, 1375 secs
lola: STP completed || 15 tries, 14985223 fired transitions, 1380 secs || 29351587 markings, 428027958 edges, 22594 markings/sec, 1380 secs
lola: STP completed || 16 tries, 15041558 fired transitions, 1385 secs || 29467512 markings, 429642219 edges, 23185 markings/sec, 1385 secs
lola: STP completed || 16 tries, 15097884 fired transitions, 1390 secs || 29580755 markings, 431254066 edges, 22649 markings/sec, 1390 secs
lola: STP completed || 16 tries, 15154012 fired transitions, 1395 secs || 29694059 markings, 432853468 edges, 22661 markings/sec, 1395 secs
lola: STP completed || 16 tries, 15208336 fired transitions, 1400 secs || 29806800 markings, 434428403 edges, 22548 markings/sec, 1400 secs
lola: STP completed || 16 tries, 15262283 fired transitions, 1405 secs || 29916369 markings, 435981973 edges, 21914 markings/sec, 1405 secs
lola: STP completed || 16 tries, 15316149 fired transitions, 1410 secs || 30028341 markings, 437539962 edges, 22394 markings/sec, 1410 secs
lola: STP completed || 16 tries, 15370290 fired transitions, 1415 secs || 30140020 markings, 439101992 edges, 22336 markings/sec, 1415 secs
lola: STP completed || 16 tries, 15424094 fired transitions, 1420 secs || 30251473 markings, 440655014 edges, 22291 markings/sec, 1420 secs
lola: STP completed || 16 tries, 15478148 fired transitions, 1425 secs || 30363298 markings, 442213111 edges, 22365 markings/sec, 1425 secs
lola: STP completed || 16 tries, 15531996 fired transitions, 1430 secs || 30474412 markings, 443771518 edges, 22223 markings/sec, 1430 secs
lola: STP completed || 16 tries, 15585961 fired transitions, 1435 secs || 30585561 markings, 445325484 edges, 22230 markings/sec, 1435 secs
lola: STP completed || 16 tries, 15639667 fired transitions, 1440 secs || 30697101 markings, 446884849 edges, 22308 markings/sec, 1440 secs
lola: STP completed || 16 tries, 15693872 fired transitions, 1445 secs || 30807086 markings, 448438898 edges, 21997 markings/sec, 1445 secs
lola: STP completed || 16 tries, 15747740 fired transitions, 1450 secs || 30916730 markings, 449996131 edges, 21929 markings/sec, 1450 secs
lola: STP completed || 16 tries, 15801550 fired transitions, 1455 secs || 31025806 markings, 451544809 edges, 21815 markings/sec, 1455 secs
lola: STP completed || 16 tries, 15855712 fired transitions, 1460 secs || 31136998 markings, 453096129 edges, 22238 markings/sec, 1460 secs
lola: STP completed || 16 tries, 15909499 fired transitions, 1465 secs || 31247817 markings, 454657238 edges, 22164 markings/sec, 1465 secs
lola: STP completed || 16 tries, 15963331 fired transitions, 1470 secs || 31358831 markings, 456215479 edges, 22203 markings/sec, 1470 secs
lola: STP completed || 17 tries, 16017353 fired transitions, 1475 secs || 31469977 markings, 457769282 edges, 22229 markings/sec, 1475 secs
lola: STP completed || 17 tries, 16071247 fired transitions, 1480 secs || 31583290 markings, 459343479 edges, 22663 markings/sec, 1480 secs
lola: STP completed || 17 tries, 16125199 fired transitions, 1485 secs || 31692079 markings, 460893234 edges, 21758 markings/sec, 1485 secs
lola: STP completed || 17 tries, 16179028 fired transitions, 1490 secs || 31802086 markings, 462433751 edges, 22001 markings/sec, 1490 secs
lola: STP completed || 17 tries, 16232887 fired transitions, 1495 secs || 31911738 markings, 463979977 edges, 21930 markings/sec, 1495 secs
lola: STP completed || 17 tries, 16286908 fired transitions, 1500 secs || 32022914 markings, 465540467 edges, 22235 markings/sec, 1500 secs
lola: STP completed || 17 tries, 16340973 fired transitions, 1505 secs || 32133700 markings, 467100639 edges, 22157 markings/sec, 1505 secs
lola: STP completed || 17 tries, 16394821 fired transitions, 1510 secs || 32245027 markings, 468656157 edges, 22265 markings/sec, 1510 secs
lola: STP completed || 17 tries, 16448708 fired transitions, 1515 secs || 32352318 markings, 470209021 edges, 21458 markings/sec, 1515 secs
lola: STP completed || 17 tries, 16502479 fired transitions, 1520 secs || 32460921 markings, 471754005 edges, 21721 markings/sec, 1520 secs
lola: STP completed || 17 tries, 16556623 fired transitions, 1525 secs || 32573183 markings, 473317841 edges, 22452 markings/sec, 1525 secs
lola: STP completed || 17 tries, 16610609 fired transitions, 1530 secs || 32683596 markings, 474867704 edges, 22083 markings/sec, 1530 secs
lola: STP completed || 17 tries, 16664562 fired transitions, 1535 secs || 32796330 markings, 476432821 edges, 22547 markings/sec, 1535 secs
lola: STP completed || 17 tries, 16718666 fired transitions, 1540 secs || 32903769 markings, 477978187 edges, 21488 markings/sec, 1540 secs
lola: STP completed || 17 tries, 16772626 fired transitions, 1545 secs || 33013567 markings, 479523292 edges, 21960 markings/sec, 1545 secs
lola: STP completed || 17 tries, 16826691 fired transitions, 1550 secs || 33124630 markings, 481080508 edges, 22213 markings/sec, 1550 secs
lola: STP completed || 17 tries, 16880682 fired transitions, 1555 secs || 33234298 markings, 482630392 edges, 21934 markings/sec, 1555 secs
lola: STP completed || 17 tries, 16934809 fired transitions, 1560 secs || 33347795 markings, 484204914 edges, 22699 markings/sec, 1560 secs
lola: STP completed || 17 tries, 16989001 fired transitions, 1565 secs || 33460068 markings, 485765122 edges, 22455 markings/sec, 1565 secs
lola: STP completed || 18 tries, 17042846 fired transitions, 1570 secs || 33569402 markings, 487317298 edges, 21867 markings/sec, 1570 secs
lola: STP completed || 18 tries, 17096861 fired transitions, 1575 secs || 33679492 markings, 488873393 edges, 22018 markings/sec, 1575 secs
lola: STP completed || 18 tries, 17150833 fired transitions, 1580 secs || 33793289 markings, 490452303 edges, 22759 markings/sec, 1580 secs
lola: STP completed || 18 tries, 17204825 fired transitions, 1585 secs || 33905159 markings, 492014929 edges, 22374 markings/sec, 1585 secs
lola: STP completed || 18 tries, 17258883 fired transitions, 1590 secs || 34017140 markings, 493584912 edges, 22396 markings/sec, 1590 secs
lola: STP completed || 18 tries, 17312827 fired transitions, 1595 secs || 34129868 markings, 495169666 edges, 22546 markings/sec, 1595 secs
lola: STP completed || 18 tries, 17366631 fired transitions, 1600 secs || 34238765 markings, 496728049 edges, 21779 markings/sec, 1600 secs
lola: STP completed || 18 tries, 17420452 fired transitions, 1605 secs || 34349471 markings, 498288567 edges, 22141 markings/sec, 1605 secs
lola: STP completed || 18 tries, 17474321 fired transitions, 1610 secs || 34460588 markings, 499862099 edges, 22223 markings/sec, 1610 secs
lola: STP completed || 18 tries, 17528371 fired transitions, 1615 secs || 34573311 markings, 501443099 edges, 22545 markings/sec, 1615 secs
lola: STP completed || 18 tries, 17582266 fired transitions, 1620 secs || 34688961 markings, 503032882 edges, 23130 markings/sec, 1620 secs
lola: STP completed || 18 tries, 17636321 fired transitions, 1625 secs || 34800758 markings, 504612415 edges, 22359 markings/sec, 1625 secs
lola: STP completed || 18 tries, 17690346 fired transitions, 1630 secs || 34914837 markings, 506189371 edges, 22816 markings/sec, 1630 secs
lola: STP completed || 18 tries, 17744387 fired transitions, 1635 secs || 35026635 markings, 507754451 edges, 22360 markings/sec, 1635 secs
lola: STP completed || 18 tries, 17798051 fired transitions, 1640 secs || 35138665 markings, 509326860 edges, 22406 markings/sec, 1640 secs
lola: STP completed || 18 tries, 17851542 fired transitions, 1645 secs || 35250044 markings, 510895106 edges, 22276 markings/sec, 1645 secs
lola: STP completed || 18 tries, 17905502 fired transitions, 1650 secs || 35360975 markings, 512447736 edges, 22186 markings/sec, 1650 secs
lola: STP completed || 18 tries, 17959200 fired transitions, 1655 secs || 35475990 markings, 514028434 edges, 23003 markings/sec, 1655 secs
lola: STP completed || 19 tries, 18013276 fired transitions, 1660 secs || 35586343 markings, 515589483 edges, 22071 markings/sec, 1660 secs
lola: STP completed || 19 tries, 18067229 fired transitions, 1665 secs || 35697528 markings, 517152265 edges, 22237 markings/sec, 1665 secs
lola: STP completed || 19 tries, 18121251 fired transitions, 1670 secs || 35810948 markings, 518727350 edges, 22684 markings/sec, 1670 secs
lola: STP completed || 19 tries, 18175151 fired transitions, 1675 secs || 35924654 markings, 520307462 edges, 22741 markings/sec, 1675 secs
lola: STP completed || 19 tries, 18229265 fired transitions, 1680 secs || 36037493 markings, 521878406 edges, 22568 markings/sec, 1680 secs
lola: STP completed || 19 tries, 18283398 fired transitions, 1685 secs || 36150813 markings, 523454851 edges, 22664 markings/sec, 1685 secs
lola: STP completed || 19 tries, 18337506 fired transitions, 1690 secs || 36266258 markings, 525039536 edges, 23089 markings/sec, 1690 secs
lola: STP completed || 19 tries, 18391790 fired transitions, 1695 secs || 36380455 markings, 526621381 edges, 22839 markings/sec, 1695 secs
lola: STP completed || 19 tries, 18445715 fired transitions, 1700 secs || 36492293 markings, 528190128 edges, 22368 markings/sec, 1700 secs
lola: STP completed || 19 tries, 18499842 fired transitions, 1705 secs || 36604797 markings, 529769048 edges, 22501 markings/sec, 1705 secs
lola: STP completed || 19 tries, 18553800 fired transitions, 1710 secs || 36718383 markings, 531345941 edges, 22717 markings/sec, 1710 secs
lola: STP completed || 19 tries, 18609363 fired transitions, 1715 secs || 36832157 markings, 532961935 edges, 22755 markings/sec, 1715 secs
lola: STP completed || 19 tries, 18665788 fired transitions, 1720 secs || 36950262 markings, 534605675 edges, 23621 markings/sec, 1720 secs
lola: STP completed || 19 tries, 18722226 fired transitions, 1725 secs || 37069489 markings, 536243537 edges, 23845 markings/sec, 1725 secs
lola: STP completed || 19 tries, 18778662 fired transitions, 1730 secs || 37190544 markings, 537905179 edges, 24211 markings/sec, 1730 secs
lola: STP completed || 19 tries, 18835061 fired transitions, 1735 secs || 37310773 markings, 539550119 edges, 24046 markings/sec, 1735 secs
lola: STP completed || 19 tries, 18891551 fired transitions, 1740 secs || 37426981 markings, 541179085 edges, 23242 markings/sec, 1740 secs
lola: STP completed || 19 tries, 18947654 fired transitions, 1745 secs || 37544768 markings, 542826677 edges, 23557 markings/sec, 1745 secs
lola: STP completed || 20 tries, 19003676 fired transitions, 1750 secs || 37662567 markings, 544455756 edges, 23560 markings/sec, 1750 secs
lola: STP completed || 20 tries, 19059803 fired transitions, 1755 secs || 37780375 markings, 546082767 edges, 23562 markings/sec, 1755 secs
lola: STP completed || 20 tries, 19116446 fired transitions, 1760 secs || 37900395 markings, 547726911 edges, 24004 markings/sec, 1760 secs
lola: STP completed || 20 tries, 19172763 fired transitions, 1765 secs || 38017392 markings, 549367742 edges, 23399 markings/sec, 1765 secs
lola: STP completed || 20 tries, 19228872 fired transitions, 1770 secs || 38137682 markings, 551034337 edges, 24058 markings/sec, 1770 secs
lola: STP completed || 20 tries, 19285172 fired transitions, 1775 secs || 38256495 markings, 552691723 edges, 23763 markings/sec, 1775 secs
lola: STP completed || 20 tries, 19341621 fired transitions, 1780 secs || 38378382 markings, 554361179 edges, 24377 markings/sec, 1780 secs
lola: STP completed || 20 tries, 19398259 fired transitions, 1785 secs || 38498068 markings, 556026270 edges, 23937 markings/sec, 1785 secs
lola: STP completed || 20 tries, 19454543 fired transitions, 1790 secs || 38618689 markings, 557691878 edges, 24124 markings/sec, 1790 secs
lola: STP completed || 20 tries, 19510897 fired transitions, 1795 secs || 38739405 markings, 559335412 edges, 24143 markings/sec, 1795 secs
lola: STP completed || 20 tries, 19567331 fired transitions, 1800 secs || 38861427 markings, 561007229 edges, 24404 markings/sec, 1800 secs
lola: STP completed || 20 tries, 19623909 fired transitions, 1805 secs || 38984150 markings, 562665018 edges, 24545 markings/sec, 1805 secs
lola: STP completed || 20 tries, 19680215 fired transitions, 1810 secs || 39103461 markings, 564302682 edges, 23862 markings/sec, 1810 secs
lola: STP completed || 20 tries, 19736589 fired transitions, 1815 secs || 39222998 markings, 565982578 edges, 23907 markings/sec, 1815 secs
lola: STP completed || 20 tries, 19792945 fired transitions, 1820 secs || 39342988 markings, 567654034 edges, 23998 markings/sec, 1820 secs
lola: STP completed || 20 tries, 19849336 fired transitions, 1825 secs || 39462905 markings, 569335702 edges, 23983 markings/sec, 1825 secs
lola: STP completed || 20 tries, 19905757 fired transitions, 1830 secs || 39587055 markings, 571026353 edges, 24830 markings/sec, 1830 secs
lola: STP completed || 20 tries, 19962220 fired transitions, 1835 secs || 39708294 markings, 572715687 edges, 24248 markings/sec, 1835 secs
lola: STP completed || 21 tries, 20018662 fired transitions, 1840 secs || 39828259 markings, 574395703 edges, 23993 markings/sec, 1840 secs
lola: STP completed || 21 tries, 20075100 fired transitions, 1845 secs || 39951682 markings, 576097948 edges, 24685 markings/sec, 1845 secs
lola: STP completed || 21 tries, 20131411 fired transitions, 1850 secs || 40072975 markings, 577808906 edges, 24259 markings/sec, 1850 secs
lola: STP completed || 21 tries, 20187819 fired transitions, 1855 secs || 40193609 markings, 579539644 edges, 24127 markings/sec, 1855 secs
lola: STP completed || 21 tries, 20244152 fired transitions, 1860 secs || 40315626 markings, 581266496 edges, 24403 markings/sec, 1860 secs
lola: STP completed || 21 tries, 20300433 fired transitions, 1865 secs || 40437150 markings, 583016762 edges, 24305 markings/sec, 1865 secs
lola: STP completed || 21 tries, 20356914 fired transitions, 1870 secs || 40556776 markings, 584748067 edges, 23925 markings/sec, 1870 secs
lola: STP completed || 21 tries, 20413429 fired transitions, 1875 secs || 40678000 markings, 586531708 edges, 24245 markings/sec, 1875 secs
lola: STP completed || 21 tries, 20469845 fired transitions, 1880 secs || 40800772 markings, 588348843 edges, 24554 markings/sec, 1880 secs
lola: STP completed || 21 tries, 20526276 fired transitions, 1885 secs || 40923244 markings, 590253994 edges, 24494 markings/sec, 1885 secs
lola: STP completed || 21 tries, 20582814 fired transitions, 1890 secs || 41040119 markings, 592389346 edges, 23375 markings/sec, 1890 secs
lola: STP completed || 21 tries, 20639727 fired transitions, 1895 secs || 41130097 markings, 595921218 edges, 17996 markings/sec, 1895 secs
lola: STP completed || 21 tries, 20696499 fired transitions, 1900 secs || 41212359 markings, 599626597 edges, 16452 markings/sec, 1900 secs
lola: STP completed || 21 tries, 20753388 fired transitions, 1905 secs || 41292389 markings, 603386359 edges, 16006 markings/sec, 1905 secs
lola: STP completed || 21 tries, 20810041 fired transitions, 1910 secs || 41368827 markings, 607172363 edges, 15288 markings/sec, 1910 secs
lola: STP completed || 21 tries, 20866965 fired transitions, 1915 secs || 41447104 markings, 610973659 edges, 15655 markings/sec, 1915 secs
lola: STP completed || 21 tries, 20923794 fired transitions, 1920 secs || 41523509 markings, 614739783 edges, 15281 markings/sec, 1920 secs
lola: STP completed || 21 tries, 20980098 fired transitions, 1925 secs || 41594141 markings, 618187872 edges, 14126 markings/sec, 1925 secs
lola: STP completed || 22 tries, 21036099 fired transitions, 1930 secs || 41658561 markings, 621500961 edges, 12884 markings/sec, 1930 secs
lola: STP completed || 22 tries, 21092223 fired transitions, 1935 secs || 41722822 markings, 624813926 edges, 12852 markings/sec, 1935 secs
lola: STP completed || 22 tries, 21148280 fired transitions, 1940 secs || 41787312 markings, 628052937 edges, 12898 markings/sec, 1940 secs
lola: STP completed || 22 tries, 21204297 fired transitions, 1945 secs || 41850086 markings, 631252244 edges, 12555 markings/sec, 1945 secs
lola: STP completed || 22 tries, 21260409 fired transitions, 1950 secs || 41911498 markings, 634457132 edges, 12282 markings/sec, 1950 secs
lola: STP completed || 22 tries, 21316538 fired transitions, 1955 secs || 41973365 markings, 637646639 edges, 12373 markings/sec, 1955 secs
lola: STP completed || 22 tries, 21372713 fired transitions, 1960 secs || 42033626 markings, 640833121 edges, 12052 markings/sec, 1960 secs
lola: STP completed || 22 tries, 21428977 fired transitions, 1965 secs || 42094380 markings, 644000911 edges, 12151 markings/sec, 1965 secs
lola: STP completed || 22 tries, 21484642 fired transitions, 1970 secs || 42154842 markings, 647196474 edges, 12092 markings/sec, 1970 secs
lola: STP completed || 22 tries, 21540933 fired transitions, 1975 secs || 42214907 markings, 650403786 edges, 12013 markings/sec, 1975 secs
lola: STP completed || 22 tries, 21597001 fired transitions, 1980 secs || 42272765 markings, 653593942 edges, 11572 markings/sec, 1980 secs
lola: STP completed || 22 tries, 21652972 fired transitions, 1985 secs || 42333437 markings, 656792073 edges, 12134 markings/sec, 1985 secs
lola: STP completed || 22 tries, 21708996 fired transitions, 1990 secs || 42394773 markings, 659998311 edges, 12267 markings/sec, 1990 secs
lola: STP completed || 22 tries, 21764950 fired transitions, 1995 secs || 42452523 markings, 663221442 edges, 11550 markings/sec, 1995 secs
lola: STP completed || 22 tries, 21821015 fired transitions, 2000 secs || 42511555 markings, 666431118 edges, 11806 markings/sec, 2000 secs
lola: STP completed || 22 tries, 21877019 fired transitions, 2005 secs || 42570542 markings, 669631371 edges, 11797 markings/sec, 2005 secs
lola: STP completed || 22 tries, 21933017 fired transitions, 2010 secs || 42628702 markings, 672854272 edges, 11632 markings/sec, 2010 secs
lola: STP completed || 22 tries, 21989025 fired transitions, 2015 secs || 42689668 markings, 676053376 edges, 12193 markings/sec, 2015 secs
lola: STP completed || 23 tries, 22044936 fired transitions, 2020 secs || 42747314 markings, 679273367 edges, 11529 markings/sec, 2020 secs
lola: STP completed || 23 tries, 22101078 fired transitions, 2025 secs || 42805955 markings, 682494125 edges, 11728 markings/sec, 2025 secs
lola: STP completed || 23 tries, 22156981 fired transitions, 2030 secs || 42864441 markings, 685696471 edges, 11697 markings/sec, 2030 secs
lola: STP completed || 23 tries, 22212874 fired transitions, 2035 secs || 42923157 markings, 688937748 edges, 11743 markings/sec, 2035 secs
lola: STP completed || 23 tries, 22268944 fired transitions, 2040 secs || 42981019 markings, 692170711 edges, 11572 markings/sec, 2040 secs
lola: STP completed || 23 tries, 22325086 fired transitions, 2045 secs || 43038584 markings, 695433670 edges, 11513 markings/sec, 2045 secs
lola: STP completed || 23 tries, 22381353 fired transitions, 2050 secs || 43097649 markings, 698656684 edges, 11813 markings/sec, 2050 secs
lola: STP completed || 23 tries, 22437069 fired transitions, 2055 secs || 43156074 markings, 701905721 edges, 11685 markings/sec, 2055 secs
lola: STP completed || 23 tries, 22492962 fired transitions, 2060 secs || 43214499 markings, 705139917 edges, 11685 markings/sec, 2060 secs
lola: STP completed || 23 tries, 22549053 fired transitions, 2065 secs || 43270546 markings, 708399433 edges, 11209 markings/sec, 2065 secs
lola: STP completed || 23 tries, 22605042 fired transitions, 2070 secs || 43325754 markings, 711645580 edges, 11042 markings/sec, 2070 secs
lola: STP completed || 23 tries, 22660925 fired transitions, 2075 secs || 43382443 markings, 714895986 edges, 11338 markings/sec, 2075 secs
lola: STP completed || 23 tries, 22716848 fired transitions, 2080 secs || 43439088 markings, 718155034 edges, 11329 markings/sec, 2080 secs
lola: STP completed || 23 tries, 22772932 fired transitions, 2085 secs || 43496332 markings, 721412842 edges, 11449 markings/sec, 2085 secs
lola: STP completed || 23 tries, 22828939 fired transitions, 2090 secs || 43551636 markings, 724680456 edges, 11061 markings/sec, 2090 secs
lola: STP completed || 23 tries, 22885088 fired transitions, 2095 secs || 43608361 markings, 727936112 edges, 11345 markings/sec, 2095 secs
lola: STP completed || 23 tries, 22940964 fired transitions, 2100 secs || 43665509 markings, 731202525 edges, 11430 markings/sec, 2100 secs
lola: STP completed || 23 tries, 22997092 fired transitions, 2105 secs || 43721267 markings, 734478611 edges, 11152 markings/sec, 2105 secs
lola: STP completed || 24 tries, 23053087 fired transitions, 2110 secs || 43778515 markings, 737742966 edges, 11450 markings/sec, 2110 secs
lola: STP completed || 24 tries, 23109161 fired transitions, 2115 secs || 43836908 markings, 741029093 edges, 11679 markings/sec, 2115 secs
lola: STP completed || 24 tries, 23165105 fired transitions, 2120 secs || 43892487 markings, 744300733 edges, 11116 markings/sec, 2120 secs
lola: STP completed || 24 tries, 23221431 fired transitions, 2125 secs || 43950064 markings, 747586328 edges, 11515 markings/sec, 2125 secs
lola: STP completed || 24 tries, 23277632 fired transitions, 2130 secs || 44003448 markings, 750881395 edges, 10677 markings/sec, 2130 secs
lola: STP completed || 24 tries, 23333545 fired transitions, 2135 secs || 44061186 markings, 754178026 edges, 11548 markings/sec, 2135 secs
lola: STP completed || 24 tries, 23389662 fired transitions, 2140 secs || 44117302 markings, 757471771 edges, 11223 markings/sec, 2140 secs
lola: STP completed || 24 tries, 23445707 fired transitions, 2145 secs || 44173574 markings, 760768265 edges, 11254 markings/sec, 2145 secs
lola: STP completed || 24 tries, 23501922 fired transitions, 2150 secs || 44228817 markings, 764056796 edges, 11049 markings/sec, 2150 secs
lola: STP completed || 24 tries, 23558206 fired transitions, 2155 secs || 44286784 markings, 767365521 edges, 11593 markings/sec, 2155 secs
lola: STP completed || 24 tries, 23614122 fired transitions, 2160 secs || 44341775 markings, 770671045 edges, 10998 markings/sec, 2160 secs
lola: STP completed || 24 tries, 23670468 fired transitions, 2165 secs || 44398794 markings, 773961637 edges, 11404 markings/sec, 2165 secs
lola: STP completed || 24 tries, 23726525 fired transitions, 2170 secs || 44454060 markings, 777269503 edges, 11053 markings/sec, 2170 secs
lola: STP completed || 24 tries, 23782609 fired transitions, 2175 secs || 44509819 markings, 780573903 edges, 11152 markings/sec, 2175 secs
lola: STP completed || 24 tries, 23838676 fired transitions, 2180 secs || 44566533 markings, 783872890 edges, 11343 markings/sec, 2180 secs
lola: STP completed || 24 tries, 23894693 fired transitions, 2185 secs || 44622985 markings, 787188012 edges, 11290 markings/sec, 2185 secs
lola: STP completed || 24 tries, 23950762 fired transitions, 2190 secs || 44679223 markings, 790486923 edges, 11248 markings/sec, 2190 secs
lola: STP completed || 25 tries, 24006663 fired transitions, 2195 secs || 44734470 markings, 793809089 edges, 11049 markings/sec, 2195 secs
lola: STP completed || 25 tries, 24062667 fired transitions, 2200 secs || 44790838 markings, 797142879 edges, 11274 markings/sec, 2200 secs
lola: STP completed || 25 tries, 24118915 fired transitions, 2205 secs || 44845182 markings, 800459581 edges, 10869 markings/sec, 2205 secs
lola: STP completed || 25 tries, 24174942 fired transitions, 2210 secs || 44900410 markings, 803760780 edges, 11046 markings/sec, 2210 secs
lola: STP completed || 25 tries, 24231208 fired transitions, 2215 secs || 44955355 markings, 807101827 edges, 10989 markings/sec, 2215 secs
lola: STP completed || 25 tries, 24287329 fired transitions, 2220 secs || 45011736 markings, 810429140 edges, 11276 markings/sec, 2220 secs
lola: STP completed || 25 tries, 24343425 fired transitions, 2225 secs || 45066190 markings, 813786317 edges, 10891 markings/sec, 2225 secs
lola: STP completed || 25 tries, 24399253 fired transitions, 2230 secs || 45120786 markings, 817119374 edges, 10919 markings/sec, 2230 secs
lola: STP completed || 25 tries, 24455236 fired transitions, 2235 secs || 45174967 markings, 820432075 edges, 10836 markings/sec, 2235 secs
lola: STP completed || 25 tries, 24511255 fired transitions, 2240 secs || 45229138 markings, 823749631 edges, 10834 markings/sec, 2240 secs
lola: STP completed || 25 tries, 24567331 fired transitions, 2245 secs || 45284716 markings, 827096517 edges, 11116 markings/sec, 2245 secs
lola: STP completed || 25 tries, 24623498 fired transitions, 2250 secs || 45339533 markings, 830431629 edges, 10963 markings/sec, 2250 secs
lola: STP completed || 25 tries, 24679620 fired transitions, 2255 secs || 45394349 markings, 833756144 edges, 10963 markings/sec, 2255 secs
lola: STP completed || 25 tries, 24735635 fired transitions, 2260 secs || 45447502 markings, 837103088 edges, 10631 markings/sec, 2260 secs
lola: STP completed || 25 tries, 24791570 fired transitions, 2265 secs || 45502166 markings, 840455079 edges, 10933 markings/sec, 2265 secs
lola: STP completed || 25 tries, 24847525 fired transitions, 2270 secs || 45558265 markings, 843799524 edges, 11220 markings/sec, 2270 secs
lola: STP completed || 25 tries, 24903500 fired transitions, 2275 secs || 45613835 markings, 847147027 edges, 11114 markings/sec, 2275 secs
lola: STP completed || 25 tries, 24959411 fired transitions, 2280 secs || 45668045 markings, 850492216 edges, 10842 markings/sec, 2280 secs
lola: STP completed || 26 tries, 25015740 fired transitions, 2285 secs || 45722903 markings, 853843032 edges, 10972 markings/sec, 2285 secs
lola: STP completed || 26 tries, 25071789 fired transitions, 2290 secs || 45776784 markings, 857203421 edges, 10776 markings/sec, 2290 secs
lola: STP completed || 26 tries, 25127438 fired transitions, 2295 secs || 45831452 markings, 860555846 edges, 10934 markings/sec, 2295 secs
lola: STP completed || 26 tries, 25183367 fired transitions, 2300 secs || 45886849 markings, 863942271 edges, 11079 markings/sec, 2300 secs
lola: STP completed || 26 tries, 25239332 fired transitions, 2305 secs || 45940801 markings, 867303780 edges, 10790 markings/sec, 2305 secs
lola: STP completed || 26 tries, 25295534 fired transitions, 2310 secs || 45994674 markings, 870677481 edges, 10775 markings/sec, 2310 secs
lola: STP completed || 26 tries, 25351452 fired transitions, 2315 secs || 46048926 markings, 874046057 edges, 10850 markings/sec, 2315 secs
lola: STP completed || 26 tries, 25407513 fired transitions, 2320 secs || 46103496 markings, 877417419 edges, 10914 markings/sec, 2320 secs
lola: STP completed || 26 tries, 25463359 fired transitions, 2325 secs || 46158732 markings, 880788590 edges, 11047 markings/sec, 2325 secs
lola: STP completed || 26 tries, 25519503 fired transitions, 2330 secs || 46214175 markings, 884171996 edges, 11089 markings/sec, 2330 secs
lola: STP completed || 26 tries, 25575493 fired transitions, 2335 secs || 46268832 markings, 887544004 edges, 10931 markings/sec, 2335 secs
lola: STP completed || 26 tries, 25631747 fired transitions, 2340 secs || 46323162 markings, 890934167 edges, 10866 markings/sec, 2340 secs
lola: STP completed || 26 tries, 25687755 fired transitions, 2345 secs || 46373756 markings, 894322003 edges, 10119 markings/sec, 2345 secs
lola: STP completed || 26 tries, 25743686 fired transitions, 2350 secs || 46427623 markings, 897687352 edges, 10773 markings/sec, 2350 secs
lola: STP completed || 26 tries, 25799727 fired transitions, 2355 secs || 46480671 markings, 901055634 edges, 10610 markings/sec, 2355 secs
lola: STP completed || 26 tries, 25855799 fired transitions, 2360 secs || 46534595 markings, 904446154 edges, 10785 markings/sec, 2360 secs
lola: STP completed || 26 tries, 25912026 fired transitions, 2365 secs || 46589767 markings, 907812912 edges, 11034 markings/sec, 2365 secs
lola: STP completed || 26 tries, 25968091 fired transitions, 2370 secs || 46644911 markings, 911202282 edges, 11029 markings/sec, 2370 secs
lola: STP completed || 27 tries, 26024063 fired transitions, 2375 secs || 46697158 markings, 914614845 edges, 10449 markings/sec, 2375 secs
lola: STP completed || 27 tries, 26080202 fired transitions, 2380 secs || 46751405 markings, 917991075 edges, 10849 markings/sec, 2380 secs
lola: STP completed || 27 tries, 26136045 fired transitions, 2385 secs || 46806708 markings, 921385708 edges, 11061 markings/sec, 2385 secs
lola: STP completed || 27 tries, 26192195 fired transitions, 2390 secs || 46862659 markings, 924802236 edges, 11190 markings/sec, 2390 secs
lola: STP completed || 27 tries, 26248266 fired transitions, 2395 secs || 46916202 markings, 928232271 edges, 10709 markings/sec, 2395 secs
lola: STP completed || 27 tries, 26304324 fired transitions, 2400 secs || 46968476 markings, 931642686 edges, 10455 markings/sec, 2400 secs
lola: STP completed || 27 tries, 26360559 fired transitions, 2405 secs || 47024903 markings, 935060446 edges, 11285 markings/sec, 2405 secs
lola: STP completed || 27 tries, 26416526 fired transitions, 2410 secs || 47078918 markings, 938481689 edges, 10803 markings/sec, 2410 secs
lola: STP completed || 27 tries, 26472771 fired transitions, 2415 secs || 47131405 markings, 941862987 edges, 10497 markings/sec, 2415 secs
lola: STP completed || 27 tries, 26528932 fired transitions, 2420 secs || 47185959 markings, 945263118 edges, 10911 markings/sec, 2420 secs
lola: STP completed || 27 tries, 26584994 fired transitions, 2425 secs || 47238858 markings, 948690961 edges, 10580 markings/sec, 2425 secs
lola: STP completed || 27 tries, 26640902 fired transitions, 2430 secs || 47294094 markings, 952116655 edges, 11047 markings/sec, 2430 secs
lola: STP completed || 27 tries, 26696946 fired transitions, 2435 secs || 47350945 markings, 955560796 edges, 11370 markings/sec, 2435 secs
lola: STP completed || 27 tries, 26752924 fired transitions, 2440 secs || 47404131 markings, 958995675 edges, 10637 markings/sec, 2440 secs
lola: STP completed || 27 tries, 26808942 fired transitions, 2445 secs || 47460414 markings, 962464509 edges, 11257 markings/sec, 2445 secs
lola: STP completed || 27 tries, 26864935 fired transitions, 2450 secs || 47514698 markings, 965915056 edges, 10857 markings/sec, 2450 secs
lola: STP completed || 27 tries, 26921135 fired transitions, 2455 secs || 47568333 markings, 969349869 edges, 10727 markings/sec, 2455 secs
lola: STP completed || 27 tries, 26977109 fired transitions, 2460 secs || 47623490 markings, 972779410 edges, 11031 markings/sec, 2460 secs
lola: STP completed || 28 tries, 27033114 fired transitions, 2465 secs || 47678380 markings, 976239683 edges, 10978 markings/sec, 2465 secs
lola: STP completed || 28 tries, 27089203 fired transitions, 2470 secs || 47731700 markings, 979690093 edges, 10664 markings/sec, 2470 secs
lola: STP completed || 28 tries, 27145182 fired transitions, 2475 secs || 47785629 markings, 983142031 edges, 10786 markings/sec, 2475 secs
lola: STP completed || 28 tries, 27201346 fired transitions, 2480 secs || 47841074 markings, 986607701 edges, 11089 markings/sec, 2480 secs
lola: STP completed || 28 tries, 27257361 fired transitions, 2485 secs || 47895503 markings, 990080239 edges, 10886 markings/sec, 2485 secs
lola: STP completed || 28 tries, 27313509 fired transitions, 2490 secs || 47948905 markings, 993540531 edges, 10680 markings/sec, 2490 secs
lola: STP completed || 28 tries, 27369517 fired transitions, 2495 secs || 48003652 markings, 997008728 edges, 10949 markings/sec, 2495 secs
lola: STP completed || 28 tries, 27425492 fired transitions, 2500 secs || 48055881 markings, 1000465173 edges, 10446 markings/sec, 2500 secs
lola: STP completed || 28 tries, 27481621 fired transitions, 2505 secs || 48110722 markings, 1003928934 edges, 10968 markings/sec, 2505 secs
lola: STP completed || 28 tries, 27537692 fired transitions, 2510 secs || 48167103 markings, 1007414356 edges, 11276 markings/sec, 2510 secs
lola: STP completed || 28 tries, 27593948 fired transitions, 2515 secs || 48220849 markings, 1010871098 edges, 10749 markings/sec, 2515 secs
lola: STP completed || 28 tries, 27650035 fired transitions, 2520 secs || 48275071 markings, 1014332277 edges, 10844 markings/sec, 2520 secs
lola: STP completed || 28 tries, 27706213 fired transitions, 2525 secs || 48329941 markings, 1017791621 edges, 10974 markings/sec, 2525 secs
lola: STP completed || 28 tries, 27762383 fired transitions, 2530 secs || 48383429 markings, 1021277484 edges, 10698 markings/sec, 2530 secs
lola: STP completed || 28 tries, 27818476 fired transitions, 2535 secs || 48437601 markings, 1024787485 edges, 10834 markings/sec, 2535 secs
lola: STP completed || 28 tries, 27874522 fired transitions, 2540 secs || 48493881 markings, 1028292624 edges, 11256 markings/sec, 2540 secs
lola: STP completed || 28 tries, 27930283 fired transitions, 2545 secs || 48549597 markings, 1031767567 edges, 11143 markings/sec, 2545 secs
lola: STP completed || 28 tries, 27986345 fired transitions, 2550 secs || 48605764 markings, 1035255919 edges, 11233 markings/sec, 2550 secs
lola: STP completed || 29 tries, 28042211 fired transitions, 2555 secs || 48660576 markings, 1038750434 edges, 10962 markings/sec, 2555 secs
lola: STP completed || 29 tries, 28098115 fired transitions, 2560 secs || 48716099 markings, 1042231954 edges, 11105 markings/sec, 2560 secs
lola: STP completed || 29 tries, 28154148 fired transitions, 2565 secs || 48772082 markings, 1045755007 edges, 11197 markings/sec, 2565 secs
lola: STP completed || 29 tries, 28210240 fired transitions, 2570 secs || 48828317 markings, 1049270855 edges, 11247 markings/sec, 2570 secs
lola: STP completed || 29 tries, 28266335 fired transitions, 2575 secs || 48881010 markings, 1052819742 edges, 10539 markings/sec, 2575 secs
lola: STP completed || 29 tries, 28322396 fired transitions, 2580 secs || 48938287 markings, 1056324227 edges, 11455 markings/sec, 2580 secs
lola: STP completed || 29 tries, 28378623 fired transitions, 2585 secs || 48993977 markings, 1059837197 edges, 11138 markings/sec, 2585 secs
lola: STP completed || 29 tries, 28434733 fired transitions, 2590 secs || 49048849 markings, 1063342102 edges, 10974 markings/sec, 2590 secs
lola: STP completed || 29 tries, 28490856 fired transitions, 2595 secs || 49104681 markings, 1066883886 edges, 11166 markings/sec, 2595 secs
lola: STP completed || 29 tries, 28547040 fired transitions, 2600 secs || 49160880 markings, 1070376565 edges, 11240 markings/sec, 2600 secs
lola: STP completed || 29 tries, 28602868 fired transitions, 2605 secs || 49215598 markings, 1073892628 edges, 10944 markings/sec, 2605 secs
lola: STP completed || 29 tries, 28658894 fired transitions, 2610 secs || 49272825 markings, 1077396266 edges, 11445 markings/sec, 2610 secs
lola: STP completed || 29 tries, 28714857 fired transitions, 2615 secs || 49328817 markings, 1080921458 edges, 11198 markings/sec, 2615 secs
lola: STP completed || 29 tries, 28770921 fired transitions, 2620 secs || 49385358 markings, 1084437266 edges, 11308 markings/sec, 2620 secs
lola: STP completed || 29 tries, 28826997 fired transitions, 2625 secs || 49439796 markings, 1087956633 edges, 10888 markings/sec, 2625 secs
lola: STP completed || 29 tries, 28883183 fired transitions, 2630 secs || 49496345 markings, 1091485286 edges, 11310 markings/sec, 2630 secs
lola: STP completed || 29 tries, 28939270 fired transitions, 2635 secs || 49553138 markings, 1095061859 edges, 11359 markings/sec, 2635 secs
lola: STP completed || 29 tries, 28995224 fired transitions, 2640 secs || 49609827 markings, 1098601569 edges, 11338 markings/sec, 2640 secs
lola: STP completed || 30 tries, 29051204 fired transitions, 2645 secs || 49666201 markings, 1102150986 edges, 11275 markings/sec, 2645 secs
lola: STP completed || 30 tries, 29107713 fired transitions, 2650 secs || 49719932 markings, 1105648597 edges, 10746 markings/sec, 2650 secs
lola: STP completed || 30 tries, 29164357 fired transitions, 2655 secs || 49775109 markings, 1109146177 edges, 11035 markings/sec, 2655 secs
lola: STP completed || 30 tries, 29220785 fired transitions, 2660 secs || 49829659 markings, 1112666763 edges, 10910 markings/sec, 2660 secs
lola: STP completed || 30 tries, 29277217 fired transitions, 2665 secs || 49885544 markings, 1116197227 edges, 11177 markings/sec, 2665 secs
lola: STP completed || 30 tries, 29334040 fired transitions, 2670 secs || 49940204 markings, 1119737683 edges, 10932 markings/sec, 2670 secs
lola: STP completed || 30 tries, 29390632 fired transitions, 2675 secs || 49993632 markings, 1123267564 edges, 10686 markings/sec, 2675 secs
lola: STP completed || 30 tries, 29447270 fired transitions, 2680 secs || 50049858 markings, 1126801629 edges, 11245 markings/sec, 2680 secs
lola: STP completed || 30 tries, 29504274 fired transitions, 2685 secs || 50105599 markings, 1130332447 edges, 11148 markings/sec, 2685 secs
lola: STP completed || 30 tries, 29560997 fired transitions, 2690 secs || 50162968 markings, 1133843452 edges, 11474 markings/sec, 2690 secs
lola: STP completed || 30 tries, 29617817 fired transitions, 2695 secs || 50219075 markings, 1137371354 edges, 11221 markings/sec, 2695 secs
lola: STP completed || 30 tries, 29674640 fired transitions, 2700 secs || 50272724 markings, 1140865742 edges, 10730 markings/sec, 2700 secs
lola: STP completed || 30 tries, 29731661 fired transitions, 2705 secs || 50327968 markings, 1144371556 edges, 11049 markings/sec, 2705 secs
lola: STP completed || 30 tries, 29788425 fired transitions, 2710 secs || 50384407 markings, 1147888291 edges, 11288 markings/sec, 2710 secs
lola: STP completed || 30 tries, 29845311 fired transitions, 2715 secs || 50439511 markings, 1151413763 edges, 11021 markings/sec, 2715 secs
lola: STP completed || 30 tries, 29902117 fired transitions, 2720 secs || 50493177 markings, 1154937799 edges, 10733 markings/sec, 2720 secs
lola: STP completed || 30 tries, 29958627 fired transitions, 2725 secs || 50548345 markings, 1158486751 edges, 11034 markings/sec, 2725 secs
lola: STP completed || 31 tries, 30015404 fired transitions, 2730 secs || 50604039 markings, 1162039779 edges, 11139 markings/sec, 2730 secs
lola: STP completed || 31 tries, 30072168 fired transitions, 2735 secs || 50659950 markings, 1165580774 edges, 11182 markings/sec, 2735 secs
lola: STP completed || 31 tries, 30128862 fired transitions, 2740 secs || 50714656 markings, 1169144669 edges, 10941 markings/sec, 2740 secs
lola: STP completed || 31 tries, 30185631 fired transitions, 2745 secs || 50771083 markings, 1172665247 edges, 11285 markings/sec, 2745 secs
lola: STP completed || 31 tries, 30242336 fired transitions, 2750 secs || 50826591 markings, 1176232447 edges, 11102 markings/sec, 2750 secs
lola: STP completed || 31 tries, 30299105 fired transitions, 2755 secs || 50881025 markings, 1179747500 edges, 10887 markings/sec, 2755 secs
lola: STP completed || 31 tries, 30356006 fired transitions, 2760 secs || 50938856 markings, 1183305047 edges, 11566 markings/sec, 2760 secs
lola: STP completed || 31 tries, 30412662 fired transitions, 2765 secs || 50996295 markings, 1186872657 edges, 11488 markings/sec, 2765 secs
lola: STP completed || 31 tries, 30469415 fired transitions, 2770 secs || 51053316 markings, 1190428523 edges, 11404 markings/sec, 2770 secs
lola: STP completed || 31 tries, 30526248 fired transitions, 2775 secs || 51111366 markings, 1193999748 edges, 11610 markings/sec, 2775 secs
lola: STP completed || 31 tries, 30582898 fired transitions, 2780 secs || 51169317 markings, 1197472776 edges, 11590 markings/sec, 2780 secs
lola: STP completed || 31 tries, 30639750 fired transitions, 2785 secs || 51226213 markings, 1201060655 edges, 11379 markings/sec, 2785 secs
lola: STP completed || 31 tries, 30696668 fired transitions, 2790 secs || 51284581 markings, 1204626229 edges, 11674 markings/sec, 2790 secs
lola: STP completed || 31 tries, 30753411 fired transitions, 2795 secs || 51342006 markings, 1208202209 edges, 11485 markings/sec, 2795 secs
lola: STP completed || 31 tries, 30810380 fired transitions, 2800 secs || 51399854 markings, 1211817160 edges, 11570 markings/sec, 2800 secs
lola: STP completed || 31 tries, 30867185 fired transitions, 2805 secs || 51457945 markings, 1215401739 edges, 11618 markings/sec, 2805 secs
lola: STP completed || 31 tries, 30924030 fired transitions, 2810 secs || 51517948 markings, 1219005903 edges, 12001 markings/sec, 2810 secs
lola: STP completed || 31 tries, 30980674 fired transitions, 2815 secs || 51574656 markings, 1222564865 edges, 11342 markings/sec, 2815 secs
lola: STP completed || 32 tries, 31037540 fired transitions, 2820 secs || 51632823 markings, 1226153352 edges, 11633 markings/sec, 2820 secs
lola: STP completed || 32 tries, 31094298 fired transitions, 2825 secs || 51689598 markings, 1229671060 edges, 11355 markings/sec, 2825 secs
lola: STP completed || 32 tries, 31151085 fired transitions, 2830 secs || 51749481 markings, 1233181516 edges, 11977 markings/sec, 2830 secs
lola: STP completed || 32 tries, 31207824 fired transitions, 2835 secs || 51807561 markings, 1236748083 edges, 11616 markings/sec, 2835 secs
lola: STP completed || 32 tries, 31264504 fired transitions, 2840 secs || 51866186 markings, 1240351703 edges, 11725 markings/sec, 2840 secs
lola: STP completed || 32 tries, 31320673 fired transitions, 2845 secs || 51926105 markings, 1243968195 edges, 11984 markings/sec, 2845 secs
lola: STP completed || 32 tries, 31377138 fired transitions, 2850 secs || 51984218 markings, 1247579998 edges, 11623 markings/sec, 2850 secs
lola: STP completed || 32 tries, 31433593 fired transitions, 2855 secs || 52045716 markings, 1251214544 edges, 12300 markings/sec, 2855 secs
lola: STP completed || 32 tries, 31489710 fired transitions, 2860 secs || 52107295 markings, 1254843665 edges, 12316 markings/sec, 2860 secs
lola: STP completed || 32 tries, 31545955 fired transitions, 2865 secs || 52170768 markings, 1258489213 edges, 12695 markings/sec, 2865 secs
lola: STP completed || 32 tries, 31601797 fired transitions, 2870 secs || 52228153 markings, 1262052226 edges, 11477 markings/sec, 2870 secs
lola: STP completed || 32 tries, 31657561 fired transitions, 2875 secs || 52291506 markings, 1265722408 edges, 12671 markings/sec, 2875 secs
lola: STP completed || 32 tries, 31713528 fired transitions, 2880 secs || 52353490 markings, 1269401052 edges, 12397 markings/sec, 2880 secs
lola: STP completed || 32 tries, 31770060 fired transitions, 2885 secs || 52414894 markings, 1273075290 edges, 12281 markings/sec, 2885 secs
lola: STP completed || 32 tries, 31826753 fired transitions, 2890 secs || 52477398 markings, 1276736340 edges, 12501 markings/sec, 2890 secs
lola: STP completed || 32 tries, 31883669 fired transitions, 2895 secs || 52538920 markings, 1280418762 edges, 12304 markings/sec, 2895 secs
lola: STP completed || 32 tries, 31940505 fired transitions, 2900 secs || 52599534 markings, 1284058716 edges, 12123 markings/sec, 2900 secs
lola: STP completed || 32 tries, 31997062 fired transitions, 2905 secs || 52659107 markings, 1287672680 edges, 11915 markings/sec, 2905 secs
lola: STP completed || 33 tries, 32053713 fired transitions, 2910 secs || 52719860 markings, 1291232455 edges, 12151 markings/sec, 2910 secs
lola: STP completed || 33 tries, 32110695 fired transitions, 2915 secs || 52780592 markings, 1294853981 edges, 12146 markings/sec, 2915 secs
lola: STP completed || 33 tries, 32167632 fired transitions, 2920 secs || 52842084 markings, 1298498502 edges, 12298 markings/sec, 2920 secs
lola: STP completed || 33 tries, 32224351 fired transitions, 2925 secs || 52906358 markings, 1302210955 edges, 12855 markings/sec, 2925 secs
lola: STP completed || 33 tries, 32281071 fired transitions, 2930 secs || 52966910 markings, 1305854441 edges, 12110 markings/sec, 2930 secs
lola: STP completed || 33 tries, 32337869 fired transitions, 2935 secs || 53026177 markings, 1309446406 edges, 11853 markings/sec, 2935 secs
lola: STP completed || 33 tries, 32394703 fired transitions, 2940 secs || 53085824 markings, 1313036715 edges, 11929 markings/sec, 2940 secs
lola: STP completed || 33 tries, 32451774 fired transitions, 2945 secs || 53144812 markings, 1316669779 edges, 11798 markings/sec, 2945 secs
lola: STP completed || 33 tries, 32508563 fired transitions, 2950 secs || 53205978 markings, 1320275690 edges, 12233 markings/sec, 2950 secs
lola: STP completed || 33 tries, 32565385 fired transitions, 2955 secs || 53267349 markings, 1324034862 edges, 12274 markings/sec, 2955 secs
lola: STP completed || 33 tries, 32622321 fired transitions, 2960 secs || 53329083 markings, 1327741584 edges, 12347 markings/sec, 2960 secs
lola: STP completed || 33 tries, 32679095 fired transitions, 2965 secs || 53391619 markings, 1331469771 edges, 12507 markings/sec, 2965 secs
lola: STP completed || 33 tries, 32735834 fired transitions, 2970 secs || 53451793 markings, 1335104659 edges, 12035 markings/sec, 2970 secs
lola: STP completed || 33 tries, 32792631 fired transitions, 2975 secs || 53512259 markings, 1338770499 edges, 12093 markings/sec, 2975 secs
lola: STP completed || 33 tries, 32849404 fired transitions, 2980 secs || 53574216 markings, 1342410079 edges, 12391 markings/sec, 2980 secs
lola: STP completed || 33 tries, 32906166 fired transitions, 2985 secs || 53637371 markings, 1346061502 edges, 12631 markings/sec, 2985 secs
lola: STP completed || 33 tries, 32963037 fired transitions, 2990 secs || 53700433 markings, 1349716726 edges, 12612 markings/sec, 2990 secs
lola: STP completed || 34 tries, 33019942 fired transitions, 2995 secs || 53761401 markings, 1353379494 edges, 12194 markings/sec, 2995 secs
lola: STP completed || 34 tries, 33076556 fired transitions, 3000 secs || 53821500 markings, 1357053647 edges, 12020 markings/sec, 3000 secs
lola: STP completed || 34 tries, 33133272 fired transitions, 3005 secs || 53884187 markings, 1360738752 edges, 12537 markings/sec, 3005 secs
lola: STP completed || 34 tries, 33189994 fired transitions, 3010 secs || 53945559 markings, 1364402397 edges, 12274 markings/sec, 3010 secs
lola: STP completed || 34 tries, 33246902 fired transitions, 3015 secs || 54011040 markings, 1368089961 edges, 13096 markings/sec, 3015 secs
lola: STP completed || 34 tries, 33303661 fired transitions, 3020 secs || 54071804 markings, 1371844042 edges, 12153 markings/sec, 3020 secs
lola: STP completed || 34 tries, 33360486 fired transitions, 3025 secs || 54133568 markings, 1375512284 edges, 12353 markings/sec, 3025 secs
lola: STP completed || 34 tries, 33417289 fired transitions, 3030 secs || 54194567 markings, 1379192810 edges, 12200 markings/sec, 3030 secs
lola: STP completed || 34 tries, 33473927 fired transitions, 3035 secs || 54257899 markings, 1382943085 edges, 12666 markings/sec, 3035 secs
lola: STP completed || 34 tries, 33530702 fired transitions, 3040 secs || 54318395 markings, 1386688453 edges, 12099 markings/sec, 3040 secs
lola: STP completed || 34 tries, 33587620 fired transitions, 3045 secs || 54380397 markings, 1390426460 edges, 12400 markings/sec, 3045 secs
lola: STP completed || 34 tries, 33644270 fired transitions, 3050 secs || 54440788 markings, 1394113984 edges, 12078 markings/sec, 3050 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The net does not have deadlocks.
lola: 54482545 markings, 1396705681 edges
FORMULA DLCround-PT-04a-ReachabilityDeadlock-0 FALSE 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 stdout -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-04a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-structural"
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/DLCround-PT-04a.tgz
mv DLCround-PT-04a 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-structural"
echo " Input is DLCround-PT-04a, 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 r071-smll-152649743800020"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;