About the Execution of M4M.full for BART-PT-010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.560 | 3494622.00 | 6954800.00 | 5728.40 | ? | 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 5.3M
-rw-r--r-- 1 mcc users 106K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 272K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 122K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 314K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 190K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 472K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 135K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 329K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 129K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 322K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 135K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 358K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 31K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 60K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 2.4M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is BART-PT-010, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-ebro-152646312100076
=====================================================================
--------------------
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 BART-PT-010-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526990111928
BK_STOP 1526993606550
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-010 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': True, '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': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1249, 'Memory': 149.9, 'Tool': 'lola'}, {'Time': 436195, 'Memory': 4957.98, 'Tool': 'itstools'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola BART-PT-010...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
BART-PT-010: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
BART-PT-010: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ BART-PT-010 @ 3539 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3550/65536 symbol table entries, 47 collisions
lola: preprocessing...
lola: finding significant places
lola: 1530 places, 2020 transitions, 1310 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1367 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-010-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 5240 bytes per marking, with 0 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computed 48 generators (20 in search tree, 28 by composition)
lola: representing 2.90304E+07 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 43092 variables and 243364 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 19247 fired transitions, 0 secs || 19386 markings, 23865 edges, 3877 markings/sec, 0 secs
lola: STP completed || 1 tries, 40236 fired transitions, 5 secs || 40231 markings, 49075 edges, 4169 markings/sec, 5 secs
lola: STP completed || 1 tries, 60413 fired transitions, 10 secs || 60017 markings, 72978 edges, 3957 markings/sec, 10 secs
lola: STP completed || 1 tries, 79835 fired transitions, 15 secs || 79183 markings, 95884 edges, 3833 markings/sec, 15 secs
lola: STP completed || 1 tries, 99599 fired transitions, 20 secs || 98388 markings, 119400 edges, 3841 markings/sec, 20 secs
lola: STP completed || 1 tries, 119309 fired transitions, 25 secs || 117453 markings, 142604 edges, 3813 markings/sec, 25 secs
lola: STP completed || 1 tries, 140277 fired transitions, 30 secs || 137887 markings, 167404 edges, 4087 markings/sec, 30 secs
lola: STP completed || 1 tries, 161222 fired transitions, 35 secs || 158518 markings, 192426 edges, 4126 markings/sec, 35 secs
lola: STP completed || 1 tries, 182127 fired transitions, 40 secs || 179115 markings, 217636 edges, 4119 markings/sec, 40 secs
lola: STP completed || 1 tries, 203084 fired transitions, 45 secs || 199513 markings, 242255 edges, 4080 markings/sec, 45 secs
lola: STP completed || 1 tries, 224051 fired transitions, 50 secs || 219861 markings, 267045 edges, 4070 markings/sec, 50 secs
lola: STP completed || 1 tries, 245059 fired transitions, 55 secs || 240232 markings, 291710 edges, 4074 markings/sec, 55 secs
lola: STP completed || 1 tries, 266039 fired transitions, 60 secs || 260682 markings, 316735 edges, 4090 markings/sec, 60 secs
lola: STP completed || 1 tries, 287056 fired transitions, 65 secs || 281059 markings, 342003 edges, 4075 markings/sec, 65 secs
lola: STP completed || 1 tries, 308094 fired transitions, 70 secs || 301349 markings, 367145 edges, 4058 markings/sec, 70 secs
lola: STP completed || 1 tries, 329111 fired transitions, 75 secs || 321940 markings, 392693 edges, 4118 markings/sec, 75 secs
lola: STP completed || 1 tries, 350143 fired transitions, 80 secs || 342328 markings, 417558 edges, 4078 markings/sec, 80 secs
lola: STP completed || 1 tries, 370713 fired transitions, 85 secs || 362707 markings, 442770 edges, 4076 markings/sec, 85 secs
lola: STP completed || 1 tries, 391741 fired transitions, 90 secs || 383054 markings, 468116 edges, 4069 markings/sec, 90 secs
lola: STP completed || 1 tries, 410971 fired transitions, 95 secs || 402202 markings, 491668 edges, 3830 markings/sec, 95 secs
lola: STP completed || 1 tries, 430090 fired transitions, 100 secs || 421009 markings, 515286 edges, 3761 markings/sec, 100 secs
lola: STP completed || 1 tries, 449231 fired transitions, 105 secs || 439989 markings, 539005 edges, 3796 markings/sec, 105 secs
lola: STP completed || 1 tries, 468340 fired transitions, 110 secs || 458833 markings, 562116 edges, 3769 markings/sec, 110 secs
lola: STP completed || 1 tries, 487315 fired transitions, 115 secs || 478125 markings, 585860 edges, 3858 markings/sec, 115 secs
lola: STP completed || 1 tries, 507841 fired transitions, 120 secs || 498118 markings, 610318 edges, 3999 markings/sec, 120 secs
lola: STP completed || 1 tries, 528968 fired transitions, 125 secs || 518381 markings, 635248 edges, 4053 markings/sec, 125 secs
lola: STP completed || 1 tries, 550117 fired transitions, 130 secs || 538782 markings, 660473 edges, 4080 markings/sec, 130 secs
lola: STP completed || 1 tries, 571290 fired transitions, 135 secs || 558968 markings, 685078 edges, 4037 markings/sec, 135 secs
lola: STP completed || 1 tries, 592419 fired transitions, 140 secs || 579042 markings, 709633 edges, 4015 markings/sec, 140 secs
lola: STP completed || 1 tries, 613591 fired transitions, 145 secs || 599412 markings, 734310 edges, 4074 markings/sec, 145 secs
lola: STP completed || 1 tries, 634731 fired transitions, 150 secs || 619630 markings, 759016 edges, 4044 markings/sec, 150 secs
lola: STP completed || 1 tries, 655886 fired transitions, 155 secs || 639829 markings, 783675 edges, 4040 markings/sec, 155 secs
lola: STP completed || 1 tries, 676933 fired transitions, 160 secs || 659818 markings, 808074 edges, 3998 markings/sec, 160 secs
lola: STP completed || 1 tries, 697776 fired transitions, 165 secs || 679781 markings, 833843 edges, 3993 markings/sec, 165 secs
lola: STP completed || 1 tries, 718564 fired transitions, 170 secs || 699863 markings, 858464 edges, 4016 markings/sec, 170 secs
lola: STP completed || 1 tries, 739389 fired transitions, 175 secs || 719927 markings, 883107 edges, 4013 markings/sec, 175 secs
lola: STP completed || 1 tries, 760194 fired transitions, 180 secs || 739809 markings, 907261 edges, 3976 markings/sec, 180 secs
lola: STP completed || 1 tries, 781042 fired transitions, 185 secs || 759922 markings, 931795 edges, 4023 markings/sec, 185 secs
lola: STP completed || 1 tries, 801823 fired transitions, 190 secs || 779992 markings, 956333 edges, 4014 markings/sec, 190 secs
lola: STP completed || 1 tries, 822623 fired transitions, 195 secs || 799935 markings, 980971 edges, 3989 markings/sec, 195 secs
lola: STP completed || 1 tries, 843711 fired transitions, 200 secs || 820118 markings, 1005705 edges, 4037 markings/sec, 200 secs
lola: STP completed || 1 tries, 864761 fired transitions, 205 secs || 840218 markings, 1030391 edges, 4020 markings/sec, 205 secs
lola: STP completed || 1 tries, 885791 fired transitions, 210 secs || 860659 markings, 1055985 edges, 4088 markings/sec, 210 secs
lola: STP completed || 1 tries, 906811 fired transitions, 215 secs || 881165 markings, 1081018 edges, 4101 markings/sec, 215 secs
lola: STP completed || 1 tries, 927894 fired transitions, 220 secs || 901728 markings, 1106750 edges, 4113 markings/sec, 220 secs
lola: STP completed || 1 tries, 948945 fired transitions, 225 secs || 922169 markings, 1131610 edges, 4088 markings/sec, 225 secs
lola: STP completed || 1 tries, 970104 fired transitions, 230 secs || 942441 markings, 1156476 edges, 4054 markings/sec, 230 secs
lola: STP completed || 1 tries, 991247 fired transitions, 235 secs || 962863 markings, 1181146 edges, 4084 markings/sec, 235 secs
lola: STP completed || 2 tries, 1012075 fired transitions, 240 secs || 983279 markings, 1207094 edges, 4083 markings/sec, 240 secs
lola: STP completed || 2 tries, 1033156 fired transitions, 245 secs || 1003718 markings, 1231832 edges, 4088 markings/sec, 245 secs
lola: STP completed || 2 tries, 1054261 fired transitions, 250 secs || 1024072 markings, 1256575 edges, 4071 markings/sec, 250 secs
lola: STP completed || 2 tries, 1075308 fired transitions, 255 secs || 1044372 markings, 1281347 edges, 4060 markings/sec, 255 secs
lola: STP completed || 2 tries, 1096228 fired transitions, 260 secs || 1064891 markings, 1306541 edges, 4104 markings/sec, 260 secs
lola: STP completed || 2 tries, 1117273 fired transitions, 265 secs || 1085612 markings, 1332173 edges, 4144 markings/sec, 265 secs
lola: STP completed || 2 tries, 1138318 fired transitions, 270 secs || 1106323 markings, 1357491 edges, 4142 markings/sec, 270 secs
lola: STP completed || 2 tries, 1159283 fired transitions, 275 secs || 1127078 markings, 1383048 edges, 4151 markings/sec, 275 secs
lola: STP completed || 2 tries, 1180312 fired transitions, 280 secs || 1147636 markings, 1408988 edges, 4112 markings/sec, 280 secs
lola: STP completed || 2 tries, 1201385 fired transitions, 285 secs || 1168164 markings, 1434229 edges, 4106 markings/sec, 285 secs
lola: STP completed || 2 tries, 1222523 fired transitions, 290 secs || 1188663 markings, 1459198 edges, 4100 markings/sec, 290 secs
lola: STP completed || 2 tries, 1243633 fired transitions, 295 secs || 1209100 markings, 1484051 edges, 4087 markings/sec, 295 secs
lola: STP completed || 2 tries, 1264727 fired transitions, 300 secs || 1229712 markings, 1509244 edges, 4122 markings/sec, 300 secs
lola: STP completed || 2 tries, 1285788 fired transitions, 305 secs || 1250215 markings, 1534379 edges, 4101 markings/sec, 305 secs
lola: STP completed || 2 tries, 1306879 fired transitions, 310 secs || 1270723 markings, 1559404 edges, 4102 markings/sec, 310 secs
lola: STP completed || 2 tries, 1327959 fired transitions, 315 secs || 1291067 markings, 1584368 edges, 4069 markings/sec, 315 secs
lola: STP completed || 2 tries, 1349018 fired transitions, 320 secs || 1311682 markings, 1609885 edges, 4123 markings/sec, 320 secs
lola: STP completed || 2 tries, 1370081 fired transitions, 325 secs || 1332192 markings, 1635198 edges, 4102 markings/sec, 325 secs
lola: STP completed || 2 tries, 1391168 fired transitions, 330 secs || 1352813 markings, 1660707 edges, 4124 markings/sec, 330 secs
lola: STP completed || 2 tries, 1412272 fired transitions, 335 secs || 1373204 markings, 1685930 edges, 4078 markings/sec, 335 secs
lola: STP completed || 2 tries, 1433366 fired transitions, 340 secs || 1393656 markings, 1711421 edges, 4090 markings/sec, 340 secs
lola: STP completed || 2 tries, 1454426 fired transitions, 345 secs || 1413967 markings, 1736293 edges, 4062 markings/sec, 345 secs
lola: STP completed || 2 tries, 1475495 fired transitions, 350 secs || 1434486 markings, 1761556 edges, 4104 markings/sec, 350 secs
lola: STP completed || 2 tries, 1496579 fired transitions, 355 secs || 1454921 markings, 1786490 edges, 4087 markings/sec, 355 secs
lola: STP completed || 2 tries, 1517700 fired transitions, 360 secs || 1475025 markings, 1811797 edges, 4021 markings/sec, 360 secs
lola: STP completed || 2 tries, 1538806 fired transitions, 365 secs || 1495400 markings, 1836810 edges, 4075 markings/sec, 365 secs
lola: STP completed || 2 tries, 1559876 fired transitions, 370 secs || 1515750 markings, 1861754 edges, 4070 markings/sec, 370 secs
lola: STP completed || 2 tries, 1580951 fired transitions, 375 secs || 1536131 markings, 1886885 edges, 4076 markings/sec, 375 secs
lola: STP completed || 2 tries, 1602008 fired transitions, 380 secs || 1556564 markings, 1911876 edges, 4087 markings/sec, 380 secs
lola: STP completed || 2 tries, 1623042 fired transitions, 385 secs || 1577010 markings, 1937186 edges, 4089 markings/sec, 385 secs
lola: STP completed || 2 tries, 1644115 fired transitions, 390 secs || 1597558 markings, 1962457 edges, 4110 markings/sec, 390 secs
lola: STP completed || 2 tries, 1665154 fired transitions, 395 secs || 1617995 markings, 1987348 edges, 4087 markings/sec, 395 secs
lola: STP completed || 2 tries, 1686165 fired transitions, 400 secs || 1638346 markings, 2012065 edges, 4070 markings/sec, 400 secs
lola: STP completed || 2 tries, 1707229 fired transitions, 405 secs || 1658723 markings, 2036997 edges, 4075 markings/sec, 405 secs
lola: STP completed || 2 tries, 1728321 fired transitions, 410 secs || 1678912 markings, 2062005 edges, 4038 markings/sec, 410 secs
lola: STP completed || 2 tries, 1749445 fired transitions, 415 secs || 1699164 markings, 2086804 edges, 4050 markings/sec, 415 secs
lola: STP completed || 2 tries, 1770524 fired transitions, 420 secs || 1719499 markings, 2111585 edges, 4067 markings/sec, 420 secs
lola: STP completed || 2 tries, 1791551 fired transitions, 425 secs || 1739840 markings, 2136294 edges, 4068 markings/sec, 425 secs
lola: STP completed || 2 tries, 1812604 fired transitions, 430 secs || 1760097 markings, 2160881 edges, 4051 markings/sec, 430 secs
lola: STP completed || 2 tries, 1833619 fired transitions, 435 secs || 1780211 markings, 2185671 edges, 4023 markings/sec, 435 secs
lola: STP completed || 2 tries, 1854666 fired transitions, 440 secs || 1800774 markings, 2210909 edges, 4113 markings/sec, 440 secs
lola: STP completed || 2 tries, 1875718 fired transitions, 445 secs || 1821185 markings, 2235870 edges, 4082 markings/sec, 445 secs
lola: STP completed || 2 tries, 1896782 fired transitions, 450 secs || 1841466 markings, 2260564 edges, 4056 markings/sec, 450 secs
lola: STP completed || 2 tries, 1917871 fired transitions, 455 secs || 1861857 markings, 2285423 edges, 4078 markings/sec, 455 secs
lola: STP completed || 2 tries, 1938749 fired transitions, 460 secs || 1881690 markings, 2309721 edges, 3967 markings/sec, 460 secs
lola: STP completed || 2 tries, 1959823 fired transitions, 465 secs || 1902182 markings, 2334438 edges, 4098 markings/sec, 465 secs
lola: STP completed || 2 tries, 1980857 fired transitions, 470 secs || 1922231 markings, 2358609 edges, 4010 markings/sec, 470 secs
lola: STP completed || 3 tries, 2001892 fired transitions, 475 secs || 1942691 markings, 2383729 edges, 4092 markings/sec, 475 secs
lola: STP completed || 3 tries, 2022974 fired transitions, 480 secs || 1963126 markings, 2408793 edges, 4087 markings/sec, 480 secs
lola: STP completed || 3 tries, 2044012 fired transitions, 485 secs || 1983856 markings, 2434230 edges, 4146 markings/sec, 485 secs
lola: STP completed || 3 tries, 2065071 fired transitions, 490 secs || 2004565 markings, 2459587 edges, 4142 markings/sec, 490 secs
lola: STP completed || 3 tries, 2086105 fired transitions, 495 secs || 2025294 markings, 2485656 edges, 4146 markings/sec, 495 secs
lola: STP completed || 3 tries, 2107098 fired transitions, 500 secs || 2045786 markings, 2510618 edges, 4098 markings/sec, 500 secs
lola: STP completed || 3 tries, 2128135 fired transitions, 505 secs || 2066437 markings, 2536179 edges, 4130 markings/sec, 505 secs
lola: STP completed || 3 tries, 2149196 fired transitions, 510 secs || 2086734 markings, 2561054 edges, 4059 markings/sec, 510 secs
lola: STP completed || 3 tries, 2170198 fired transitions, 515 secs || 2107198 markings, 2585804 edges, 4093 markings/sec, 515 secs
lola: STP completed || 3 tries, 2191251 fired transitions, 520 secs || 2127761 markings, 2610634 edges, 4113 markings/sec, 520 secs
lola: STP completed || 3 tries, 2212301 fired transitions, 525 secs || 2148142 markings, 2635545 edges, 4076 markings/sec, 525 secs
lola: STP completed || 3 tries, 2233281 fired transitions, 530 secs || 2168446 markings, 2660412 edges, 4061 markings/sec, 530 secs
lola: STP completed || 3 tries, 2254297 fired transitions, 535 secs || 2188783 markings, 2685519 edges, 4067 markings/sec, 535 secs
lola: STP completed || 3 tries, 2275401 fired transitions, 540 secs || 2209138 markings, 2710430 edges, 4071 markings/sec, 540 secs
lola: STP completed || 3 tries, 2296432 fired transitions, 545 secs || 2229434 markings, 2735222 edges, 4059 markings/sec, 545 secs
lola: STP completed || 3 tries, 2317538 fired transitions, 550 secs || 2249918 markings, 2760127 edges, 4097 markings/sec, 550 secs
lola: STP completed || 3 tries, 2338555 fired transitions, 555 secs || 2270280 markings, 2785067 edges, 4072 markings/sec, 555 secs
lola: STP completed || 3 tries, 2359580 fired transitions, 560 secs || 2290622 markings, 2809818 edges, 4068 markings/sec, 560 secs
lola: STP completed || 3 tries, 2380646 fired transitions, 565 secs || 2310860 markings, 2834687 edges, 4048 markings/sec, 565 secs
lola: STP completed || 3 tries, 2401694 fired transitions, 570 secs || 2331526 markings, 2860280 edges, 4133 markings/sec, 570 secs
lola: STP completed || 3 tries, 2422739 fired transitions, 575 secs || 2352178 markings, 2885470 edges, 4130 markings/sec, 575 secs
lola: STP completed || 3 tries, 2443800 fired transitions, 580 secs || 2372639 markings, 2910367 edges, 4092 markings/sec, 580 secs
lola: STP completed || 3 tries, 2464863 fired transitions, 585 secs || 2393302 markings, 2936036 edges, 4133 markings/sec, 585 secs
lola: STP completed || 3 tries, 2485922 fired transitions, 590 secs || 2413855 markings, 2961106 edges, 4111 markings/sec, 590 secs
lola: STP completed || 3 tries, 2507022 fired transitions, 595 secs || 2434439 markings, 2986353 edges, 4117 markings/sec, 595 secs
lola: STP completed || 3 tries, 2528046 fired transitions, 600 secs || 2454855 markings, 3011259 edges, 4083 markings/sec, 600 secs
lola: STP completed || 3 tries, 2549158 fired transitions, 605 secs || 2475395 markings, 3036373 edges, 4108 markings/sec, 605 secs
lola: STP completed || 3 tries, 2570225 fired transitions, 610 secs || 2495953 markings, 3061373 edges, 4112 markings/sec, 610 secs
lola: STP completed || 3 tries, 2591293 fired transitions, 615 secs || 2516533 markings, 3086539 edges, 4116 markings/sec, 615 secs
lola: STP completed || 3 tries, 2612311 fired transitions, 620 secs || 2536955 markings, 3111368 edges, 4084 markings/sec, 620 secs
lola: STP completed || 3 tries, 2633357 fired transitions, 625 secs || 2557611 markings, 3136588 edges, 4131 markings/sec, 625 secs
lola: STP completed || 3 tries, 2654422 fired transitions, 630 secs || 2578362 markings, 3162001 edges, 4150 markings/sec, 630 secs
lola: STP completed || 3 tries, 2675505 fired transitions, 635 secs || 2598992 markings, 3187296 edges, 4126 markings/sec, 635 secs
lola: STP completed || 3 tries, 2696597 fired transitions, 640 secs || 2619358 markings, 3212184 edges, 4073 markings/sec, 640 secs
lola: STP completed || 3 tries, 2717409 fired transitions, 645 secs || 2639849 markings, 3237602 edges, 4098 markings/sec, 645 secs
lola: STP completed || 3 tries, 2738477 fired transitions, 650 secs || 2660204 markings, 3262708 edges, 4071 markings/sec, 650 secs
lola: STP completed || 3 tries, 2759530 fired transitions, 655 secs || 2680648 markings, 3288766 edges, 4089 markings/sec, 655 secs
lola: STP completed || 3 tries, 2780331 fired transitions, 660 secs || 2700805 markings, 3313560 edges, 4031 markings/sec, 660 secs
lola: STP completed || 3 tries, 2801367 fired transitions, 665 secs || 2721400 markings, 3339271 edges, 4119 markings/sec, 665 secs
lola: STP completed || 3 tries, 2822398 fired transitions, 670 secs || 2741878 markings, 3364308 edges, 4096 markings/sec, 670 secs
lola: STP completed || 3 tries, 2843470 fired transitions, 675 secs || 2762496 markings, 3389844 edges, 4124 markings/sec, 675 secs
lola: STP completed || 3 tries, 2864508 fired transitions, 680 secs || 2782895 markings, 3415147 edges, 4080 markings/sec, 680 secs
lola: STP completed || 3 tries, 2885578 fired transitions, 685 secs || 2803491 markings, 3440614 edges, 4119 markings/sec, 685 secs
lola: STP completed || 3 tries, 2906651 fired transitions, 690 secs || 2824047 markings, 3466040 edges, 4111 markings/sec, 690 secs
lola: STP completed || 3 tries, 2927771 fired transitions, 695 secs || 2844417 markings, 3491045 edges, 4074 markings/sec, 695 secs
lola: STP completed || 3 tries, 2948868 fired transitions, 700 secs || 2864862 markings, 3516050 edges, 4089 markings/sec, 700 secs
lola: STP completed || 3 tries, 2970049 fired transitions, 705 secs || 2885170 markings, 3540803 edges, 4062 markings/sec, 705 secs
lola: STP completed || 3 tries, 2991210 fired transitions, 710 secs || 2905387 markings, 3565307 edges, 4043 markings/sec, 710 secs
lola: STP completed || 4 tries, 3012141 fired transitions, 715 secs || 2925602 markings, 3590030 edges, 4043 markings/sec, 715 secs
lola: STP completed || 4 tries, 3032871 fired transitions, 720 secs || 2945301 markings, 3614256 edges, 3940 markings/sec, 720 secs
lola: STP completed || 4 tries, 3053354 fired transitions, 725 secs || 2964716 markings, 3637870 edges, 3883 markings/sec, 725 secs
lola: STP completed || 4 tries, 3073129 fired transitions, 730 secs || 2982958 markings, 3660237 edges, 3648 markings/sec, 730 secs
lola: STP completed || 4 tries, 3093832 fired transitions, 735 secs || 3003140 markings, 3685024 edges, 4036 markings/sec, 735 secs
lola: STP completed || 4 tries, 3114805 fired transitions, 740 secs || 3023807 markings, 3710314 edges, 4133 markings/sec, 740 secs
lola: STP completed || 4 tries, 3135692 fired transitions, 745 secs || 3044184 markings, 3735257 edges, 4075 markings/sec, 745 secs
lola: STP completed || 4 tries, 3156294 fired transitions, 750 secs || 3064424 markings, 3760397 edges, 4048 markings/sec, 750 secs
lola: STP completed || 4 tries, 3176932 fired transitions, 755 secs || 3084472 markings, 3784860 edges, 4010 markings/sec, 755 secs
lola: STP completed || 4 tries, 3197580 fired transitions, 760 secs || 3104453 markings, 3809098 edges, 3996 markings/sec, 760 secs
lola: STP completed || 4 tries, 3218297 fired transitions, 765 secs || 3124653 markings, 3833695 edges, 4040 markings/sec, 765 secs
lola: STP completed || 4 tries, 3238977 fired transitions, 770 secs || 3144817 markings, 3858180 edges, 4033 markings/sec, 770 secs
lola: STP completed || 4 tries, 3259657 fired transitions, 775 secs || 3164916 markings, 3882673 edges, 4020 markings/sec, 775 secs
lola: STP completed || 4 tries, 3280332 fired transitions, 780 secs || 3184954 markings, 3907211 edges, 4008 markings/sec, 780 secs
lola: STP completed || 4 tries, 3301016 fired transitions, 785 secs || 3205140 markings, 3931983 edges, 4037 markings/sec, 785 secs
lola: STP completed || 4 tries, 3321733 fired transitions, 790 secs || 3225572 markings, 3957304 edges, 4086 markings/sec, 790 secs
lola: STP completed || 4 tries, 3342536 fired transitions, 795 secs || 3246024 markings, 3983006 edges, 4090 markings/sec, 795 secs
lola: STP completed || 4 tries, 3363511 fired transitions, 800 secs || 3266361 markings, 4007933 edges, 4067 markings/sec, 800 secs
lola: STP completed || 4 tries, 3384518 fired transitions, 805 secs || 3286643 markings, 4032861 edges, 4056 markings/sec, 805 secs
lola: STP completed || 4 tries, 3405466 fired transitions, 810 secs || 3306755 markings, 4057513 edges, 4022 markings/sec, 810 secs
lola: STP completed || 4 tries, 3426472 fired transitions, 815 secs || 3327111 markings, 4082327 edges, 4071 markings/sec, 815 secs
lola: STP completed || 4 tries, 3447538 fired transitions, 820 secs || 3347592 markings, 4107159 edges, 4096 markings/sec, 820 secs
lola: STP completed || 4 tries, 3468515 fired transitions, 825 secs || 3367937 markings, 4131947 edges, 4069 markings/sec, 825 secs
lola: STP completed || 4 tries, 3489461 fired transitions, 830 secs || 3388190 markings, 4156596 edges, 4051 markings/sec, 830 secs
lola: STP completed || 4 tries, 3510492 fired transitions, 835 secs || 3408495 markings, 4181556 edges, 4061 markings/sec, 835 secs
lola: STP completed || 4 tries, 3531508 fired transitions, 840 secs || 3429313 markings, 4207154 edges, 4164 markings/sec, 840 secs
lola: STP completed || 4 tries, 3552526 fired transitions, 845 secs || 3450016 markings, 4232601 edges, 4141 markings/sec, 845 secs
lola: STP completed || 4 tries, 3573568 fired transitions, 850 secs || 3470531 markings, 4257529 edges, 4103 markings/sec, 850 secs
lola: STP completed || 4 tries, 3594616 fired transitions, 855 secs || 3491097 markings, 4282855 edges, 4113 markings/sec, 855 secs
lola: STP completed || 4 tries, 3615681 fired transitions, 860 secs || 3511457 markings, 4307482 edges, 4072 markings/sec, 860 secs
lola: STP completed || 4 tries, 3636717 fired transitions, 865 secs || 3532046 markings, 4332624 edges, 4118 markings/sec, 865 secs
lola: STP completed || 4 tries, 3657773 fired transitions, 870 secs || 3552608 markings, 4357789 edges, 4112 markings/sec, 870 secs
lola: STP completed || 4 tries, 3678810 fired transitions, 875 secs || 3573033 markings, 4382999 edges, 4085 markings/sec, 875 secs
lola: STP completed || 4 tries, 3699810 fired transitions, 880 secs || 3593419 markings, 4407976 edges, 4077 markings/sec, 880 secs
lola: STP completed || 4 tries, 3720703 fired transitions, 885 secs || 3613446 markings, 4432721 edges, 4005 markings/sec, 885 secs
lola: STP completed || 4 tries, 3740308 fired transitions, 890 secs || 3632320 markings, 4456175 edges, 3775 markings/sec, 890 secs
lola: STP completed || 4 tries, 3761315 fired transitions, 895 secs || 3652717 markings, 4481582 edges, 4079 markings/sec, 895 secs
lola: STP completed || 4 tries, 3782343 fired transitions, 900 secs || 3673039 markings, 4506541 edges, 4064 markings/sec, 900 secs
lola: STP completed || 4 tries, 3803329 fired transitions, 905 secs || 3693329 markings, 4531785 edges, 4058 markings/sec, 905 secs
lola: STP completed || 4 tries, 3824349 fired transitions, 910 secs || 3713743 markings, 4557051 edges, 4083 markings/sec, 910 secs
lola: STP completed || 4 tries, 3845372 fired transitions, 915 secs || 3733971 markings, 4581755 edges, 4046 markings/sec, 915 secs
lola: STP completed || 4 tries, 3866417 fired transitions, 920 secs || 3754226 markings, 4606575 edges, 4051 markings/sec, 920 secs
lola: STP completed || 4 tries, 3887433 fired transitions, 925 secs || 3774638 markings, 4631962 edges, 4082 markings/sec, 925 secs
lola: STP completed || 4 tries, 3908056 fired transitions, 930 secs || 3794574 markings, 4656433 edges, 3987 markings/sec, 930 secs
lola: STP completed || 4 tries, 3927719 fired transitions, 935 secs || 3813483 markings, 4680033 edges, 3782 markings/sec, 935 secs
lola: STP completed || 4 tries, 3947843 fired transitions, 940 secs || 3832970 markings, 4703944 edges, 3897 markings/sec, 940 secs
lola: STP completed || 4 tries, 3968980 fired transitions, 945 secs || 3853214 markings, 4728768 edges, 4049 markings/sec, 945 secs
lola: STP completed || 4 tries, 3990014 fired transitions, 950 secs || 3873351 markings, 4753307 edges, 4027 markings/sec, 950 secs
lola: STP completed || 5 tries, 4010930 fired transitions, 955 secs || 3893366 markings, 4777695 edges, 4003 markings/sec, 955 secs
lola: STP completed || 5 tries, 4031771 fired transitions, 960 secs || 3913383 markings, 4802012 edges, 4003 markings/sec, 960 secs
lola: STP completed || 5 tries, 4052499 fired transitions, 965 secs || 3933375 markings, 4826486 edges, 3998 markings/sec, 965 secs
lola: STP completed || 5 tries, 4073210 fired transitions, 970 secs || 3953220 markings, 4850872 edges, 3969 markings/sec, 970 secs
lola: STP completed || 5 tries, 4093885 fired transitions, 975 secs || 3972992 markings, 4875109 edges, 3954 markings/sec, 975 secs
lola: STP completed || 5 tries, 4114608 fired transitions, 980 secs || 3993246 markings, 4900009 edges, 4051 markings/sec, 980 secs
lola: STP completed || 5 tries, 4135319 fired transitions, 985 secs || 4013456 markings, 4924998 edges, 4042 markings/sec, 985 secs
lola: STP completed || 5 tries, 4156021 fired transitions, 990 secs || 4033625 markings, 4949695 edges, 4034 markings/sec, 990 secs
lola: STP completed || 5 tries, 4176742 fired transitions, 995 secs || 4053780 markings, 4974402 edges, 4031 markings/sec, 995 secs
lola: STP completed || 5 tries, 4197698 fired transitions, 1000 secs || 4074032 markings, 4999262 edges, 4050 markings/sec, 1000 secs
lola: STP completed || 5 tries, 4218737 fired transitions, 1005 secs || 4094311 markings, 5024472 edges, 4056 markings/sec, 1005 secs
lola: STP completed || 5 tries, 4239725 fired transitions, 1010 secs || 4114305 markings, 5049852 edges, 3999 markings/sec, 1010 secs
lola: STP completed || 5 tries, 4260727 fired transitions, 1015 secs || 4134207 markings, 5074223 edges, 3980 markings/sec, 1015 secs
lola: STP completed || 5 tries, 4281815 fired transitions, 1020 secs || 4154339 markings, 5099038 edges, 4026 markings/sec, 1020 secs
lola: STP completed || 5 tries, 4302897 fired transitions, 1025 secs || 4174561 markings, 5123599 edges, 4044 markings/sec, 1025 secs
lola: STP completed || 5 tries, 4323909 fired transitions, 1030 secs || 4194422 markings, 5147807 edges, 3972 markings/sec, 1030 secs
lola: STP completed || 5 tries, 4344581 fired transitions, 1035 secs || 4214042 markings, 5171758 edges, 3924 markings/sec, 1035 secs
lola: STP completed || 5 tries, 4364973 fired transitions, 1040 secs || 4233177 markings, 5195388 edges, 3827 markings/sec, 1040 secs
lola: STP completed || 5 tries, 4385681 fired transitions, 1045 secs || 4253444 markings, 5220629 edges, 4053 markings/sec, 1045 secs
lola: STP completed || 5 tries, 4406759 fired transitions, 1050 secs || 4274003 markings, 5246009 edges, 4112 markings/sec, 1050 secs
lola: STP completed || 5 tries, 4427795 fired transitions, 1055 secs || 4294233 markings, 5270936 edges, 4046 markings/sec, 1055 secs
lola: STP completed || 5 tries, 4448713 fired transitions, 1060 secs || 4314441 markings, 5295659 edges, 4042 markings/sec, 1060 secs
lola: STP completed || 5 tries, 4469627 fired transitions, 1065 secs || 4334527 markings, 5320143 edges, 4017 markings/sec, 1065 secs
lola: STP completed || 5 tries, 4490686 fired transitions, 1070 secs || 4354586 markings, 5344952 edges, 4012 markings/sec, 1070 secs
lola: STP completed || 5 tries, 4511642 fired transitions, 1075 secs || 4374848 markings, 5369654 edges, 4052 markings/sec, 1075 secs
lola: STP completed || 5 tries, 4532657 fired transitions, 1080 secs || 4394857 markings, 5394038 edges, 4002 markings/sec, 1080 secs
lola: STP completed || 5 tries, 4553664 fired transitions, 1085 secs || 4415038 markings, 5418548 edges, 4036 markings/sec, 1085 secs
lola: STP completed || 5 tries, 4574669 fired transitions, 1090 secs || 4435237 markings, 5443220 edges, 4040 markings/sec, 1090 secs
lola: STP completed || 5 tries, 4595726 fired transitions, 1095 secs || 4455650 markings, 5468518 edges, 4083 markings/sec, 1095 secs
lola: STP completed || 5 tries, 4616776 fired transitions, 1100 secs || 4475966 markings, 5493364 edges, 4063 markings/sec, 1100 secs
lola: STP completed || 5 tries, 4637854 fired transitions, 1105 secs || 4496275 markings, 5518007 edges, 4062 markings/sec, 1105 secs
lola: STP completed || 5 tries, 4658683 fired transitions, 1110 secs || 4516608 markings, 5543346 edges, 4067 markings/sec, 1110 secs
lola: STP completed || 5 tries, 4678903 fired transitions, 1115 secs || 4536051 markings, 5567195 edges, 3889 markings/sec, 1115 secs
lola: STP completed || 5 tries, 4699967 fired transitions, 1120 secs || 4556188 markings, 5591701 edges, 4027 markings/sec, 1120 secs
lola: STP completed || 5 tries, 4721121 fired transitions, 1125 secs || 4576522 markings, 5616673 edges, 4067 markings/sec, 1125 secs
lola: STP completed || 5 tries, 4742176 fired transitions, 1130 secs || 4596828 markings, 5641193 edges, 4061 markings/sec, 1130 secs
lola: STP completed || 5 tries, 4763177 fired transitions, 1135 secs || 4617007 markings, 5665641 edges, 4036 markings/sec, 1135 secs
lola: STP completed || 5 tries, 4784176 fired transitions, 1140 secs || 4637077 markings, 5690230 edges, 4014 markings/sec, 1140 secs
lola: STP completed || 5 tries, 4805207 fired transitions, 1145 secs || 4657388 markings, 5715311 edges, 4062 markings/sec, 1145 secs
lola: STP completed || 5 tries, 4826273 fired transitions, 1150 secs || 4677770 markings, 5740071 edges, 4076 markings/sec, 1150 secs
lola: STP completed || 5 tries, 4847386 fired transitions, 1155 secs || 4698247 markings, 5764856 edges, 4095 markings/sec, 1155 secs
lola: STP completed || 5 tries, 4868423 fired transitions, 1160 secs || 4718622 markings, 5789721 edges, 4075 markings/sec, 1160 secs
lola: STP completed || 5 tries, 4889545 fired transitions, 1165 secs || 4739106 markings, 5814811 edges, 4097 markings/sec, 1165 secs
lola: STP completed || 5 tries, 4910035 fired transitions, 1170 secs || 4759256 markings, 5839540 edges, 4030 markings/sec, 1170 secs
lola: STP completed || 5 tries, 4931082 fired transitions, 1175 secs || 4779548 markings, 5864787 edges, 4058 markings/sec, 1175 secs
lola: STP completed || 5 tries, 4952170 fired transitions, 1180 secs || 4800186 markings, 5890411 edges, 4128 markings/sec, 1180 secs
lola: STP completed || 5 tries, 4973228 fired transitions, 1185 secs || 4820920 markings, 5915661 edges, 4147 markings/sec, 1185 secs
lola: STP completed || 5 tries, 4994329 fired transitions, 1190 secs || 4841491 markings, 5940708 edges, 4114 markings/sec, 1190 secs
lola: STP completed || 6 tries, 5015422 fired transitions, 1195 secs || 4861806 markings, 5965738 edges, 4063 markings/sec, 1195 secs
lola: STP completed || 6 tries, 5036167 fired transitions, 1200 secs || 4882018 markings, 5990403 edges, 4042 markings/sec, 1200 secs
lola: STP completed || 6 tries, 5057228 fired transitions, 1205 secs || 4902370 markings, 6016026 edges, 4070 markings/sec, 1205 secs
lola: STP completed || 6 tries, 5078281 fired transitions, 1210 secs || 4922590 markings, 6040705 edges, 4044 markings/sec, 1210 secs
lola: STP completed || 6 tries, 5099356 fired transitions, 1215 secs || 4943046 markings, 6066098 edges, 4091 markings/sec, 1215 secs
lola: STP completed || 6 tries, 5120455 fired transitions, 1220 secs || 4963297 markings, 6091207 edges, 4050 markings/sec, 1220 secs
lola: STP completed || 6 tries, 5141577 fired transitions, 1225 secs || 4983579 markings, 6115981 edges, 4056 markings/sec, 1225 secs
lola: STP completed || 6 tries, 5162746 fired transitions, 1230 secs || 5003970 markings, 6141241 edges, 4078 markings/sec, 1230 secs
lola: STP completed || 6 tries, 5183810 fired transitions, 1235 secs || 5024356 markings, 6166752 edges, 4077 markings/sec, 1235 secs
lola: STP completed || 6 tries, 5204897 fired transitions, 1240 secs || 5044516 markings, 6193068 edges, 4032 markings/sec, 1240 secs
lola: STP completed || 6 tries, 5225997 fired transitions, 1245 secs || 5065134 markings, 6218625 edges, 4124 markings/sec, 1245 secs
lola: STP completed || 6 tries, 5247115 fired transitions, 1250 secs || 5085870 markings, 6243821 edges, 4147 markings/sec, 1250 secs
lola: STP completed || 6 tries, 5268222 fired transitions, 1255 secs || 5106561 markings, 6269551 edges, 4138 markings/sec, 1255 secs
lola: STP completed || 6 tries, 5289350 fired transitions, 1260 secs || 5127120 markings, 6294536 edges, 4112 markings/sec, 1260 secs
lola: STP completed || 6 tries, 5310443 fired transitions, 1265 secs || 5147600 markings, 6319269 edges, 4096 markings/sec, 1265 secs
lola: STP completed || 6 tries, 5331581 fired transitions, 1270 secs || 5168296 markings, 6344379 edges, 4139 markings/sec, 1270 secs
lola: STP completed || 6 tries, 5352689 fired transitions, 1275 secs || 5188871 markings, 6369363 edges, 4115 markings/sec, 1275 secs
lola: STP completed || 6 tries, 5373789 fired transitions, 1280 secs || 5209414 markings, 6394424 edges, 4109 markings/sec, 1280 secs
lola: STP completed || 6 tries, 5394509 fired transitions, 1285 secs || 5229729 markings, 6419162 edges, 4063 markings/sec, 1285 secs
lola: STP completed || 6 tries, 5415546 fired transitions, 1290 secs || 5250564 markings, 6444747 edges, 4167 markings/sec, 1290 secs
lola: STP completed || 6 tries, 5436617 fired transitions, 1295 secs || 5271362 markings, 6470016 edges, 4160 markings/sec, 1295 secs
lola: STP completed || 6 tries, 5457685 fired transitions, 1300 secs || 5292040 markings, 6495910 edges, 4136 markings/sec, 1300 secs
lola: STP completed || 6 tries, 5478749 fired transitions, 1305 secs || 5312814 markings, 6520816 edges, 4155 markings/sec, 1305 secs
lola: STP completed || 6 tries, 5499806 fired transitions, 1310 secs || 5333432 markings, 6546107 edges, 4124 markings/sec, 1310 secs
lola: STP completed || 6 tries, 5520913 fired transitions, 1315 secs || 5354253 markings, 6571468 edges, 4164 markings/sec, 1315 secs
lola: STP completed || 6 tries, 5541721 fired transitions, 1320 secs || 5375053 markings, 6596979 edges, 4160 markings/sec, 1320 secs
lola: STP completed || 6 tries, 5562751 fired transitions, 1325 secs || 5395731 markings, 6622866 edges, 4136 markings/sec, 1325 secs
lola: STP completed || 6 tries, 5583838 fired transitions, 1330 secs || 5416461 markings, 6648016 edges, 4146 markings/sec, 1330 secs
lola: STP completed || 6 tries, 5604904 fired transitions, 1335 secs || 5437053 markings, 6672965 edges, 4118 markings/sec, 1335 secs
lola: STP completed || 6 tries, 5625965 fired transitions, 1340 secs || 5457700 markings, 6698258 edges, 4129 markings/sec, 1340 secs
lola: STP completed || 6 tries, 5647041 fired transitions, 1345 secs || 5478188 markings, 6723005 edges, 4098 markings/sec, 1345 secs
lola: STP completed || 6 tries, 5666398 fired transitions, 1350 secs || 5497370 markings, 6746535 edges, 3836 markings/sec, 1350 secs
lola: STP completed || 6 tries, 5686501 fired transitions, 1355 secs || 5517070 markings, 6770748 edges, 3940 markings/sec, 1355 secs
lola: STP completed || 6 tries, 5707577 fired transitions, 1360 secs || 5537686 markings, 6795999 edges, 4123 markings/sec, 1360 secs
lola: STP completed || 6 tries, 5728681 fired transitions, 1365 secs || 5558108 markings, 6820885 edges, 4084 markings/sec, 1365 secs
lola: STP completed || 6 tries, 5749736 fired transitions, 1370 secs || 5578482 markings, 6845705 edges, 4075 markings/sec, 1370 secs
lola: STP completed || 6 tries, 5770815 fired transitions, 1375 secs || 5599403 markings, 6870993 edges, 4184 markings/sec, 1375 secs
lola: STP completed || 6 tries, 5791826 fired transitions, 1380 secs || 5620191 markings, 6896232 edges, 4158 markings/sec, 1380 secs
lola: STP completed || 6 tries, 5812887 fired transitions, 1385 secs || 5640976 markings, 6921243 edges, 4157 markings/sec, 1385 secs
lola: STP completed || 6 tries, 5833957 fired transitions, 1390 secs || 5661577 markings, 6946159 edges, 4120 markings/sec, 1390 secs
lola: STP completed || 6 tries, 5855029 fired transitions, 1395 secs || 5682136 markings, 6971144 edges, 4112 markings/sec, 1395 secs
lola: STP completed || 6 tries, 5876101 fired transitions, 1400 secs || 5702814 markings, 6996270 edges, 4136 markings/sec, 1400 secs
lola: STP completed || 6 tries, 5897099 fired transitions, 1405 secs || 5723561 markings, 7021457 edges, 4149 markings/sec, 1405 secs
lola: STP completed || 6 tries, 5918162 fired transitions, 1410 secs || 5744141 markings, 7046484 edges, 4116 markings/sec, 1410 secs
lola: STP completed || 6 tries, 5939163 fired transitions, 1415 secs || 5764630 markings, 7071479 edges, 4098 markings/sec, 1415 secs
lola: STP completed || 6 tries, 5959938 fired transitions, 1420 secs || 5785247 markings, 7097036 edges, 4123 markings/sec, 1420 secs
lola: STP completed || 6 tries, 5981024 fired transitions, 1425 secs || 5805675 markings, 7121761 edges, 4086 markings/sec, 1425 secs
lola: STP completed || 7 tries, 6002087 fired transitions, 1430 secs || 5826486 markings, 7146881 edges, 4162 markings/sec, 1430 secs
lola: STP completed || 7 tries, 6023162 fired transitions, 1435 secs || 5846974 markings, 7172964 edges, 4098 markings/sec, 1435 secs
lola: STP completed || 7 tries, 6044201 fired transitions, 1440 secs || 5867546 markings, 7197689 edges, 4114 markings/sec, 1440 secs
lola: STP completed || 7 tries, 6065237 fired transitions, 1445 secs || 5888096 markings, 7222664 edges, 4110 markings/sec, 1445 secs
lola: STP completed || 7 tries, 6086351 fired transitions, 1450 secs || 5908457 markings, 7247699 edges, 4072 markings/sec, 1450 secs
lola: STP completed || 7 tries, 6107471 fired transitions, 1455 secs || 5928766 markings, 7272183 edges, 4062 markings/sec, 1455 secs
lola: STP completed || 7 tries, 6128542 fired transitions, 1460 secs || 5948949 markings, 7296689 edges, 4037 markings/sec, 1460 secs
lola: STP completed || 7 tries, 6149631 fired transitions, 1465 secs || 5969318 markings, 7321550 edges, 4074 markings/sec, 1465 secs
lola: STP completed || 7 tries, 6170682 fired transitions, 1470 secs || 5989654 markings, 7346410 edges, 4067 markings/sec, 1470 secs
lola: STP completed || 7 tries, 6191720 fired transitions, 1475 secs || 6009891 markings, 7370935 edges, 4047 markings/sec, 1475 secs
lola: STP completed || 7 tries, 6212785 fired transitions, 1480 secs || 6030046 markings, 7395280 edges, 4031 markings/sec, 1480 secs
lola: STP completed || 7 tries, 6233882 fired transitions, 1485 secs || 6050620 markings, 7420779 edges, 4115 markings/sec, 1485 secs
lola: STP completed || 7 tries, 6254974 fired transitions, 1490 secs || 6071213 markings, 7445293 edges, 4119 markings/sec, 1490 secs
lola: STP completed || 7 tries, 6276081 fired transitions, 1495 secs || 6091564 markings, 7469967 edges, 4070 markings/sec, 1495 secs
lola: STP completed || 7 tries, 6297195 fired transitions, 1500 secs || 6111970 markings, 7494410 edges, 4081 markings/sec, 1500 secs
lola: STP completed || 7 tries, 6318307 fired transitions, 1505 secs || 6132372 markings, 7519359 edges, 4080 markings/sec, 1505 secs
lola: STP completed || 7 tries, 6339376 fired transitions, 1510 secs || 6152755 markings, 7544082 edges, 4077 markings/sec, 1510 secs
lola: STP completed || 7 tries, 6360077 fired transitions, 1515 secs || 6173045 markings, 7568845 edges, 4058 markings/sec, 1515 secs
lola: STP completed || 7 tries, 6379395 fired transitions, 1520 secs || 6191910 markings, 7591813 edges, 3773 markings/sec, 1520 secs
lola: STP completed || 7 tries, 6398751 fired transitions, 1525 secs || 6210742 markings, 7614718 edges, 3766 markings/sec, 1525 secs
lola: STP completed || 7 tries, 6419480 fired transitions, 1530 secs || 6230940 markings, 7639837 edges, 4040 markings/sec, 1530 secs
lola: STP completed || 7 tries, 6440533 fired transitions, 1535 secs || 6251682 markings, 7665272 edges, 4148 markings/sec, 1535 secs
lola: STP completed || 7 tries, 6461564 fired transitions, 1540 secs || 6272516 markings, 7690730 edges, 4167 markings/sec, 1540 secs
lola: STP completed || 7 tries, 6482618 fired transitions, 1545 secs || 6293039 markings, 7715734 edges, 4105 markings/sec, 1545 secs
lola: STP completed || 7 tries, 6503713 fired transitions, 1550 secs || 6313607 markings, 7741054 edges, 4114 markings/sec, 1550 secs
lola: STP completed || 7 tries, 6524768 fired transitions, 1555 secs || 6334127 markings, 7765949 edges, 4104 markings/sec, 1555 secs
lola: STP completed || 7 tries, 6545821 fired transitions, 1560 secs || 6354590 markings, 7791290 edges, 4093 markings/sec, 1560 secs
lola: STP completed || 7 tries, 6566895 fired transitions, 1565 secs || 6374847 markings, 7815940 edges, 4051 markings/sec, 1565 secs
lola: STP completed || 7 tries, 6587918 fired transitions, 1570 secs || 6395203 markings, 7840719 edges, 4071 markings/sec, 1570 secs
lola: STP completed || 7 tries, 6608999 fired transitions, 1575 secs || 6415633 markings, 7865682 edges, 4086 markings/sec, 1575 secs
lola: STP completed || 7 tries, 6630077 fired transitions, 1580 secs || 6436041 markings, 7890603 edges, 4082 markings/sec, 1580 secs
lola: STP completed || 7 tries, 6651145 fired transitions, 1585 secs || 6456401 markings, 7915397 edges, 4072 markings/sec, 1585 secs
lola: STP completed || 7 tries, 6672152 fired transitions, 1590 secs || 6476587 markings, 7940022 edges, 4037 markings/sec, 1590 secs
lola: STP completed || 7 tries, 6693207 fired transitions, 1595 secs || 6497321 markings, 7965456 edges, 4147 markings/sec, 1595 secs
lola: STP completed || 7 tries, 6714309 fired transitions, 1600 secs || 6517966 markings, 7990744 edges, 4129 markings/sec, 1600 secs
lola: STP completed || 7 tries, 6735365 fired transitions, 1605 secs || 6538832 markings, 8016406 edges, 4173 markings/sec, 1605 secs
lola: STP completed || 7 tries, 6756392 fired transitions, 1610 secs || 6559551 markings, 8041494 edges, 4144 markings/sec, 1610 secs
lola: STP completed || 7 tries, 6777461 fired transitions, 1615 secs || 6579953 markings, 8067008 edges, 4080 markings/sec, 1615 secs
lola: STP completed || 7 tries, 6798150 fired transitions, 1620 secs || 6600201 markings, 8091908 edges, 4050 markings/sec, 1620 secs
lola: STP completed || 7 tries, 6819215 fired transitions, 1625 secs || 6620597 markings, 8116986 edges, 4079 markings/sec, 1625 secs
lola: STP completed || 7 tries, 6840261 fired transitions, 1630 secs || 6641199 markings, 8142276 edges, 4120 markings/sec, 1630 secs
lola: STP completed || 7 tries, 6861330 fired transitions, 1635 secs || 6661758 markings, 8167020 edges, 4112 markings/sec, 1635 secs
lola: STP completed || 7 tries, 6882397 fired transitions, 1640 secs || 6682054 markings, 8191658 edges, 4059 markings/sec, 1640 secs
lola: STP completed || 7 tries, 6903456 fired transitions, 1645 secs || 6702320 markings, 8216445 edges, 4053 markings/sec, 1645 secs
lola: STP completed || 7 tries, 6924467 fired transitions, 1650 secs || 6722516 markings, 8240939 edges, 4039 markings/sec, 1650 secs
lola: STP completed || 7 tries, 6945505 fired transitions, 1655 secs || 6742597 markings, 8265331 edges, 4016 markings/sec, 1655 secs
lola: STP completed || 7 tries, 6966601 fired transitions, 1660 secs || 6763057 markings, 8289852 edges, 4092 markings/sec, 1660 secs
lola: STP completed || 7 tries, 6987681 fired transitions, 1665 secs || 6783526 markings, 8314502 edges, 4094 markings/sec, 1665 secs
lola: STP completed || 8 tries, 7008772 fired transitions, 1670 secs || 6803916 markings, 8339182 edges, 4078 markings/sec, 1670 secs
lola: STP completed || 8 tries, 7029838 fired transitions, 1675 secs || 6824448 markings, 8364509 edges, 4106 markings/sec, 1675 secs
lola: STP completed || 8 tries, 7050944 fired transitions, 1680 secs || 6845029 markings, 8389329 edges, 4116 markings/sec, 1680 secs
lola: STP completed || 8 tries, 7072070 fired transitions, 1685 secs || 6865441 markings, 8414250 edges, 4082 markings/sec, 1685 secs
lola: STP completed || 8 tries, 7093177 fired transitions, 1690 secs || 6885979 markings, 8439309 edges, 4108 markings/sec, 1690 secs
lola: STP completed || 8 tries, 7114267 fired transitions, 1695 secs || 6906581 markings, 8464591 edges, 4120 markings/sec, 1695 secs
lola: STP completed || 8 tries, 7135361 fired transitions, 1700 secs || 6927080 markings, 8489586 edges, 4100 markings/sec, 1700 secs
lola: STP completed || 8 tries, 7156443 fired transitions, 1705 secs || 6947535 markings, 8514423 edges, 4091 markings/sec, 1705 secs
lola: STP completed || 8 tries, 7177496 fired transitions, 1710 secs || 6967941 markings, 8539340 edges, 4081 markings/sec, 1710 secs
lola: STP completed || 8 tries, 7198571 fired transitions, 1715 secs || 6988813 markings, 8564767 edges, 4174 markings/sec, 1715 secs
lola: STP completed || 8 tries, 7219706 fired transitions, 1720 secs || 7009298 markings, 8589903 edges, 4097 markings/sec, 1720 secs
lola: STP completed || 8 tries, 7240835 fired transitions, 1725 secs || 7029685 markings, 8614523 edges, 4077 markings/sec, 1725 secs
lola: STP completed || 8 tries, 7261936 fired transitions, 1730 secs || 7050228 markings, 8639506 edges, 4109 markings/sec, 1730 secs
lola: STP completed || 8 tries, 7283042 fired transitions, 1735 secs || 7070731 markings, 8664473 edges, 4101 markings/sec, 1735 secs
lola: STP completed || 8 tries, 7304129 fired transitions, 1740 secs || 7091202 markings, 8689417 edges, 4094 markings/sec, 1740 secs
lola: STP completed || 8 tries, 7325153 fired transitions, 1745 secs || 7111548 markings, 8714150 edges, 4069 markings/sec, 1745 secs
lola: STP completed || 8 tries, 7346261 fired transitions, 1750 secs || 7132081 markings, 8740062 edges, 4107 markings/sec, 1750 secs
lola: STP completed || 8 tries, 7367305 fired transitions, 1755 secs || 7152566 markings, 8765502 edges, 4097 markings/sec, 1755 secs
lola: STP completed || 8 tries, 7388381 fired transitions, 1760 secs || 7173352 markings, 8790669 edges, 4157 markings/sec, 1760 secs
lola: STP completed || 8 tries, 7409458 fired transitions, 1765 secs || 7193971 markings, 8815903 edges, 4124 markings/sec, 1765 secs
lola: STP completed || 8 tries, 7430481 fired transitions, 1770 secs || 7214557 markings, 8841771 edges, 4117 markings/sec, 1770 secs
lola: STP completed || 8 tries, 7451573 fired transitions, 1775 secs || 7235235 markings, 8867125 edges, 4136 markings/sec, 1775 secs
lola: STP completed || 8 tries, 7472596 fired transitions, 1780 secs || 7255756 markings, 8892333 edges, 4104 markings/sec, 1780 secs
lola: STP completed || 8 tries, 7493629 fired transitions, 1785 secs || 7276473 markings, 8917500 edges, 4143 markings/sec, 1785 secs
lola: STP completed || 8 tries, 7514668 fired transitions, 1790 secs || 7297121 markings, 8942385 edges, 4130 markings/sec, 1790 secs
lola: STP completed || 8 tries, 7535711 fired transitions, 1795 secs || 7317623 markings, 8967442 edges, 4100 markings/sec, 1795 secs
lola: STP completed || 8 tries, 7556741 fired transitions, 1800 secs || 7338028 markings, 8992326 edges, 4081 markings/sec, 1800 secs
lola: STP completed || 8 tries, 7577841 fired transitions, 1805 secs || 7358514 markings, 9017436 edges, 4097 markings/sec, 1805 secs
lola: STP completed || 8 tries, 7598854 fired transitions, 1810 secs || 7379184 markings, 9042681 edges, 4134 markings/sec, 1810 secs
lola: STP completed || 8 tries, 7619948 fired transitions, 1815 secs || 7399830 markings, 9067674 edges, 4129 markings/sec, 1815 secs
lola: STP completed || 8 tries, 7640880 fired transitions, 1820 secs || 7420251 markings, 9092737 edges, 4084 markings/sec, 1820 secs
lola: STP completed || 8 tries, 7661822 fired transitions, 1825 secs || 7440681 markings, 9117549 edges, 4086 markings/sec, 1825 secs
lola: STP completed || 8 tries, 7682857 fired transitions, 1830 secs || 7461114 markings, 9142702 edges, 4087 markings/sec, 1830 secs
lola: STP completed || 8 tries, 7703935 fired transitions, 1835 secs || 7481887 markings, 9167582 edges, 4155 markings/sec, 1835 secs
lola: STP completed || 8 tries, 7725071 fired transitions, 1840 secs || 7502624 markings, 9193345 edges, 4147 markings/sec, 1840 secs
lola: STP completed || 8 tries, 7746186 fired transitions, 1845 secs || 7523280 markings, 9218557 edges, 4131 markings/sec, 1845 secs
lola: STP completed || 8 tries, 7767319 fired transitions, 1850 secs || 7543926 markings, 9243937 edges, 4129 markings/sec, 1850 secs
lola: STP completed || 8 tries, 7788428 fired transitions, 1855 secs || 7564541 markings, 9269359 edges, 4123 markings/sec, 1855 secs
lola: STP completed || 8 tries, 7809602 fired transitions, 1860 secs || 7585205 markings, 9294387 edges, 4133 markings/sec, 1860 secs
lola: STP completed || 8 tries, 7830753 fired transitions, 1865 secs || 7605513 markings, 9319117 edges, 4062 markings/sec, 1865 secs
lola: STP completed || 8 tries, 7851940 fired transitions, 1870 secs || 7625939 markings, 9343899 edges, 4085 markings/sec, 1870 secs
lola: STP completed || 8 tries, 7873127 fired transitions, 1875 secs || 7646376 markings, 9368874 edges, 4087 markings/sec, 1875 secs
lola: STP completed || 8 tries, 7894297 fired transitions, 1880 secs || 7666845 markings, 9393421 edges, 4094 markings/sec, 1880 secs
lola: STP completed || 8 tries, 7915398 fired transitions, 1885 secs || 7687187 markings, 9418000 edges, 4068 markings/sec, 1885 secs
lola: STP completed || 8 tries, 7936498 fired transitions, 1890 secs || 7707563 markings, 9442852 edges, 4075 markings/sec, 1890 secs
lola: STP completed || 8 tries, 7957618 fired transitions, 1895 secs || 7728289 markings, 9467610 edges, 4145 markings/sec, 1895 secs
lola: STP completed || 8 tries, 7978722 fired transitions, 1900 secs || 7748842 markings, 9492716 edges, 4111 markings/sec, 1900 secs
lola: STP completed || 8 tries, 7999858 fired transitions, 1905 secs || 7769290 markings, 9517639 edges, 4090 markings/sec, 1905 secs
lola: STP completed || 9 tries, 8020969 fired transitions, 1910 secs || 7789821 markings, 9542436 edges, 4106 markings/sec, 1910 secs
lola: STP completed || 9 tries, 8042097 fired transitions, 1915 secs || 7810205 markings, 9567377 edges, 4077 markings/sec, 1915 secs
lola: STP completed || 9 tries, 8063119 fired transitions, 1920 secs || 7830477 markings, 9592025 edges, 4054 markings/sec, 1920 secs
lola: STP completed || 9 tries, 8084247 fired transitions, 1925 secs || 7850872 markings, 9616818 edges, 4079 markings/sec, 1925 secs
lola: STP completed || 9 tries, 8105317 fired transitions, 1930 secs || 7871273 markings, 9641360 edges, 4080 markings/sec, 1930 secs
lola: STP completed || 9 tries, 8126164 fired transitions, 1935 secs || 7891455 markings, 9666053 edges, 4036 markings/sec, 1935 secs
lola: STP completed || 9 tries, 8146688 fired transitions, 1940 secs || 7911453 markings, 9690217 edges, 4000 markings/sec, 1940 secs
lola: STP completed || 9 tries, 8167419 fired transitions, 1945 secs || 7931348 markings, 9714775 edges, 3979 markings/sec, 1945 secs
lola: STP completed || 9 tries, 8188135 fired transitions, 1950 secs || 7951622 markings, 9740136 edges, 4055 markings/sec, 1950 secs
lola: STP completed || 9 tries, 8208899 fired transitions, 1955 secs || 7972057 markings, 9765114 edges, 4087 markings/sec, 1955 secs
lola: STP completed || 9 tries, 8229785 fired transitions, 1960 secs || 7992541 markings, 9789585 edges, 4097 markings/sec, 1960 secs
lola: STP completed || 9 tries, 8250824 fired transitions, 1965 secs || 8012766 markings, 9814181 edges, 4045 markings/sec, 1965 secs
lola: STP completed || 9 tries, 8271917 fired transitions, 1970 secs || 8033258 markings, 9839432 edges, 4098 markings/sec, 1970 secs
lola: STP completed || 9 tries, 8292945 fired transitions, 1975 secs || 8053726 markings, 9864845 edges, 4094 markings/sec, 1975 secs
lola: STP completed || 9 tries, 8313976 fired transitions, 1980 secs || 8074541 markings, 9890080 edges, 4163 markings/sec, 1980 secs
lola: STP completed || 9 tries, 8335147 fired transitions, 1985 secs || 8095037 markings, 9916272 edges, 4099 markings/sec, 1985 secs
lola: STP completed || 9 tries, 8356282 fired transitions, 1990 secs || 8115775 markings, 9942148 edges, 4148 markings/sec, 1990 secs
lola: STP completed || 9 tries, 8377426 fired transitions, 1995 secs || 8136592 markings, 9967616 edges, 4163 markings/sec, 1995 secs
lola: STP completed || 9 tries, 8398580 fired transitions, 2000 secs || 8156908 markings, 9992712 edges, 4063 markings/sec, 2000 secs
lola: STP completed || 9 tries, 8419744 fired transitions, 2005 secs || 8177048 markings, 10017339 edges, 4028 markings/sec, 2005 secs
lola: STP completed || 9 tries, 8440886 fired transitions, 2010 secs || 8197335 markings, 10041864 edges, 4057 markings/sec, 2010 secs
lola: STP completed || 9 tries, 8461987 fired transitions, 2015 secs || 8217583 markings, 10066475 edges, 4050 markings/sec, 2015 secs
lola: STP completed || 9 tries, 8483073 fired transitions, 2020 secs || 8238043 markings, 10091142 edges, 4092 markings/sec, 2020 secs
lola: STP completed || 9 tries, 8503983 fired transitions, 2025 secs || 8258356 markings, 10115775 edges, 4063 markings/sec, 2025 secs
lola: STP completed || 9 tries, 8525004 fired transitions, 2030 secs || 8278640 markings, 10140556 edges, 4057 markings/sec, 2030 secs
lola: STP completed || 9 tries, 8546010 fired transitions, 2035 secs || 8298899 markings, 10165175 edges, 4052 markings/sec, 2035 secs
lola: STP completed || 9 tries, 8567051 fired transitions, 2040 secs || 8319145 markings, 10190728 edges, 4049 markings/sec, 2040 secs
lola: STP completed || 9 tries, 8588166 fired transitions, 2045 secs || 8339707 markings, 10216163 edges, 4112 markings/sec, 2045 secs
lola: STP completed || 9 tries, 8609256 fired transitions, 2050 secs || 8360067 markings, 10240601 edges, 4072 markings/sec, 2050 secs
lola: STP completed || 9 tries, 8630325 fired transitions, 2055 secs || 8380565 markings, 10265355 edges, 4100 markings/sec, 2055 secs
lola: STP completed || 9 tries, 8651381 fired transitions, 2060 secs || 8401119 markings, 10290628 edges, 4111 markings/sec, 2060 secs
lola: STP completed || 9 tries, 8672509 fired transitions, 2065 secs || 8421605 markings, 10315473 edges, 4097 markings/sec, 2065 secs
lola: STP completed || 9 tries, 8693593 fired transitions, 2070 secs || 8442052 markings, 10340140 edges, 4089 markings/sec, 2070 secs
lola: STP completed || 9 tries, 8714686 fired transitions, 2075 secs || 8462507 markings, 10365370 edges, 4091 markings/sec, 2075 secs
lola: STP completed || 9 tries, 8735796 fired transitions, 2080 secs || 8483025 markings, 10391222 edges, 4104 markings/sec, 2080 secs
lola: STP completed || 9 tries, 8756918 fired transitions, 2085 secs || 8503470 markings, 10416961 edges, 4089 markings/sec, 2085 secs
lola: STP completed || 9 tries, 8778011 fired transitions, 2090 secs || 8524017 markings, 10442241 edges, 4109 markings/sec, 2090 secs
lola: STP completed || 9 tries, 8799121 fired transitions, 2095 secs || 8544654 markings, 10467101 edges, 4127 markings/sec, 2095 secs
lola: STP completed || 9 tries, 8820238 fired transitions, 2100 secs || 8565167 markings, 10492156 edges, 4103 markings/sec, 2100 secs
lola: STP completed || 9 tries, 8841343 fired transitions, 2105 secs || 8585799 markings, 10517173 edges, 4126 markings/sec, 2105 secs
lola: STP completed || 9 tries, 8862438 fired transitions, 2110 secs || 8606477 markings, 10542255 edges, 4136 markings/sec, 2110 secs
lola: STP completed || 9 tries, 8883512 fired transitions, 2115 secs || 8627106 markings, 10567272 edges, 4126 markings/sec, 2115 secs
lola: STP completed || 9 tries, 8904601 fired transitions, 2120 secs || 8647594 markings, 10592151 edges, 4098 markings/sec, 2120 secs
lola: STP completed || 9 tries, 8925702 fired transitions, 2125 secs || 8668287 markings, 10617244 edges, 4139 markings/sec, 2125 secs
lola: STP completed || 9 tries, 8946788 fired transitions, 2130 secs || 8689196 markings, 10642647 edges, 4182 markings/sec, 2130 secs
lola: STP completed || 9 tries, 8967870 fired transitions, 2135 secs || 8709869 markings, 10667770 edges, 4135 markings/sec, 2135 secs
lola: STP completed || 9 tries, 8988938 fired transitions, 2140 secs || 8730282 markings, 10692458 edges, 4083 markings/sec, 2140 secs
lola: STP completed || 10 tries, 9010000 fired transitions, 2145 secs || 8750580 markings, 10717597 edges, 4060 markings/sec, 2145 secs
lola: STP completed || 10 tries, 9031103 fired transitions, 2150 secs || 8770921 markings, 10742722 edges, 4068 markings/sec, 2150 secs
lola: STP completed || 10 tries, 9052179 fired transitions, 2155 secs || 8791497 markings, 10767958 edges, 4115 markings/sec, 2155 secs
lola: STP completed || 10 tries, 9073282 fired transitions, 2160 secs || 8812125 markings, 10793274 edges, 4126 markings/sec, 2160 secs
lola: STP completed || 10 tries, 9094410 fired transitions, 2165 secs || 8832866 markings, 10819024 edges, 4148 markings/sec, 2165 secs
lola: STP completed || 10 tries, 9115518 fired transitions, 2170 secs || 8853353 markings, 10844338 edges, 4097 markings/sec, 2170 secs
lola: STP completed || 10 tries, 9136602 fired transitions, 2175 secs || 8873776 markings, 10869094 edges, 4085 markings/sec, 2175 secs
lola: STP completed || 10 tries, 9157711 fired transitions, 2180 secs || 8894122 markings, 10895941 edges, 4069 markings/sec, 2180 secs
lola: STP completed || 10 tries, 9178825 fired transitions, 2185 secs || 8914467 markings, 10922191 edges, 4069 markings/sec, 2185 secs
lola: STP completed || 10 tries, 9199924 fired transitions, 2190 secs || 8935131 markings, 10948299 edges, 4133 markings/sec, 2190 secs
lola: STP completed || 10 tries, 9221020 fired transitions, 2195 secs || 8955617 markings, 10973960 edges, 4097 markings/sec, 2195 secs
lola: STP completed || 10 tries, 9242105 fired transitions, 2200 secs || 8975973 markings, 10998750 edges, 4071 markings/sec, 2200 secs
lola: STP completed || 10 tries, 9263226 fired transitions, 2205 secs || 8996419 markings, 11024122 edges, 4089 markings/sec, 2205 secs
lola: STP completed || 10 tries, 9284240 fired transitions, 2210 secs || 9016709 markings, 11048785 edges, 4058 markings/sec, 2210 secs
lola: STP completed || 10 tries, 9305305 fired transitions, 2215 secs || 9037331 markings, 11074054 edges, 4124 markings/sec, 2215 secs
lola: STP completed || 10 tries, 9326420 fired transitions, 2220 secs || 9057655 markings, 11101797 edges, 4065 markings/sec, 2220 secs
lola: STP completed || 10 tries, 9347544 fired transitions, 2225 secs || 9078219 markings, 11127359 edges, 4113 markings/sec, 2225 secs
lola: STP completed || 10 tries, 9368619 fired transitions, 2230 secs || 9098747 markings, 11153121 edges, 4106 markings/sec, 2230 secs
lola: STP completed || 10 tries, 9389732 fired transitions, 2235 secs || 9119305 markings, 11177465 edges, 4112 markings/sec, 2235 secs
lola: STP completed || 10 tries, 9410835 fired transitions, 2240 secs || 9139771 markings, 11203957 edges, 4093 markings/sec, 2240 secs
lola: STP completed || 10 tries, 9431908 fired transitions, 2245 secs || 9160227 markings, 11228564 edges, 4091 markings/sec, 2245 secs
lola: STP completed || 10 tries, 9452972 fired transitions, 2250 secs || 9180422 markings, 11253121 edges, 4039 markings/sec, 2250 secs
lola: STP completed || 10 tries, 9474074 fired transitions, 2255 secs || 9200897 markings, 11278545 edges, 4095 markings/sec, 2255 secs
lola: STP completed || 10 tries, 9495149 fired transitions, 2260 secs || 9221453 markings, 11304405 edges, 4111 markings/sec, 2260 secs
lola: STP completed || 10 tries, 9516213 fired transitions, 2265 secs || 9241973 markings, 11329307 edges, 4104 markings/sec, 2265 secs
lola: STP completed || 10 tries, 9537319 fired transitions, 2270 secs || 9262464 markings, 11354168 edges, 4098 markings/sec, 2270 secs
lola: STP completed || 10 tries, 9558355 fired transitions, 2275 secs || 9282765 markings, 11378797 edges, 4060 markings/sec, 2275 secs
lola: STP completed || 10 tries, 9579423 fired transitions, 2280 secs || 9303379 markings, 11403817 edges, 4123 markings/sec, 2280 secs
lola: STP completed || 10 tries, 9600522 fired transitions, 2285 secs || 9323803 markings, 11429132 edges, 4085 markings/sec, 2285 secs
lola: STP completed || 10 tries, 9621644 fired transitions, 2290 secs || 9344014 markings, 11456407 edges, 4042 markings/sec, 2290 secs
lola: STP completed || 10 tries, 9642516 fired transitions, 2295 secs || 9364392 markings, 11484081 edges, 4076 markings/sec, 2295 secs
lola: STP completed || 10 tries, 9663644 fired transitions, 2300 secs || 9384786 markings, 11510231 edges, 4079 markings/sec, 2300 secs
lola: STP completed || 10 tries, 9684680 fired transitions, 2305 secs || 9405498 markings, 11535606 edges, 4142 markings/sec, 2305 secs
lola: STP completed || 10 tries, 9705748 fired transitions, 2310 secs || 9426452 markings, 11562303 edges, 4191 markings/sec, 2310 secs
lola: STP completed || 10 tries, 9726833 fired transitions, 2315 secs || 9446616 markings, 11589261 edges, 4033 markings/sec, 2315 secs
lola: STP completed || 10 tries, 9747899 fired transitions, 2320 secs || 9467080 markings, 11616207 edges, 4093 markings/sec, 2320 secs
lola: STP completed || 10 tries, 9768986 fired transitions, 2325 secs || 9487679 markings, 11641162 edges, 4120 markings/sec, 2325 secs
lola: STP completed || 10 tries, 9790053 fired transitions, 2330 secs || 9508058 markings, 11666824 edges, 4076 markings/sec, 2330 secs
lola: STP completed || 10 tries, 9811151 fired transitions, 2335 secs || 9528399 markings, 11691846 edges, 4068 markings/sec, 2335 secs
lola: STP completed || 10 tries, 9832157 fired transitions, 2340 secs || 9549185 markings, 11717194 edges, 4157 markings/sec, 2340 secs
lola: STP completed || 10 tries, 9853193 fired transitions, 2345 secs || 9569463 markings, 11744199 edges, 4056 markings/sec, 2345 secs
lola: STP completed || 10 tries, 9874263 fired transitions, 2350 secs || 9589829 markings, 11771174 edges, 4073 markings/sec, 2350 secs
lola: STP completed || 10 tries, 9895369 fired transitions, 2355 secs || 9610111 markings, 11797927 edges, 4056 markings/sec, 2355 secs
lola: STP completed || 10 tries, 9916425 fired transitions, 2360 secs || 9630456 markings, 11823770 edges, 4069 markings/sec, 2360 secs
lola: STP completed || 10 tries, 9937508 fired transitions, 2365 secs || 9650690 markings, 11849683 edges, 4047 markings/sec, 2365 secs
lola: STP completed || 10 tries, 9958590 fired transitions, 2370 secs || 9670915 markings, 11877117 edges, 4045 markings/sec, 2370 secs
lola: STP completed || 10 tries, 9979626 fired transitions, 2375 secs || 9691471 markings, 11903609 edges, 4111 markings/sec, 2375 secs
lola: STP completed || 11 tries, 10000688 fired transitions, 2380 secs || 9711837 markings, 11930253 edges, 4073 markings/sec, 2380 secs
lola: STP completed || 11 tries, 10021684 fired transitions, 2385 secs || 9732246 markings, 11954980 edges, 4082 markings/sec, 2385 secs
lola: STP completed || 11 tries, 10042726 fired transitions, 2390 secs || 9752528 markings, 11980350 edges, 4056 markings/sec, 2390 secs
lola: STP completed || 11 tries, 10063746 fired transitions, 2395 secs || 9772738 markings, 12004683 edges, 4042 markings/sec, 2395 secs
lola: STP completed || 11 tries, 10084792 fired transitions, 2400 secs || 9792992 markings, 12029311 edges, 4051 markings/sec, 2400 secs
lola: STP completed || 11 tries, 10105884 fired transitions, 2405 secs || 9813336 markings, 12054029 edges, 4069 markings/sec, 2405 secs
lola: STP completed || 11 tries, 10126963 fired transitions, 2410 secs || 9833556 markings, 12078654 edges, 4044 markings/sec, 2410 secs
lola: STP completed || 11 tries, 10148036 fired transitions, 2415 secs || 9853729 markings, 12103251 edges, 4035 markings/sec, 2415 secs
lola: STP completed || 11 tries, 10169082 fired transitions, 2420 secs || 9873924 markings, 12128224 edges, 4039 markings/sec, 2420 secs
lola: STP completed || 11 tries, 10190139 fired transitions, 2425 secs || 9894473 markings, 12153208 edges, 4110 markings/sec, 2425 secs
lola: STP completed || 11 tries, 10211149 fired transitions, 2430 secs || 9914801 markings, 12178298 edges, 4066 markings/sec, 2430 secs
lola: STP completed || 11 tries, 10232203 fired transitions, 2435 secs || 9935163 markings, 12203163 edges, 4072 markings/sec, 2435 secs
lola: STP completed || 11 tries, 10253267 fired transitions, 2440 secs || 9955572 markings, 12229010 edges, 4082 markings/sec, 2440 secs
lola: STP completed || 11 tries, 10274337 fired transitions, 2445 secs || 9976180 markings, 12255175 edges, 4122 markings/sec, 2445 secs
lola: STP completed || 11 tries, 10295475 fired transitions, 2450 secs || 9996552 markings, 12282443 edges, 4074 markings/sec, 2450 secs
lola: STP completed || 11 tries, 10316562 fired transitions, 2455 secs || 10016892 markings, 12309884 edges, 4068 markings/sec, 2455 secs
lola: STP completed || 11 tries, 10337626 fired transitions, 2460 secs || 10037244 markings, 12336697 edges, 4070 markings/sec, 2460 secs
lola: STP completed || 11 tries, 10358721 fired transitions, 2465 secs || 10057488 markings, 12363755 edges, 4049 markings/sec, 2465 secs
lola: STP completed || 11 tries, 10379840 fired transitions, 2470 secs || 10077843 markings, 12391197 edges, 4071 markings/sec, 2470 secs
lola: STP completed || 11 tries, 10400961 fired transitions, 2475 secs || 10098095 markings, 12417751 edges, 4050 markings/sec, 2475 secs
lola: STP completed || 11 tries, 10422061 fired transitions, 2480 secs || 10118341 markings, 12443861 edges, 4049 markings/sec, 2480 secs
lola: STP completed || 11 tries, 10443162 fired transitions, 2485 secs || 10138626 markings, 12470498 edges, 4057 markings/sec, 2485 secs
lola: STP completed || 11 tries, 10464250 fired transitions, 2490 secs || 10158790 markings, 12495580 edges, 4033 markings/sec, 2490 secs
lola: STP completed || 11 tries, 10485327 fired transitions, 2495 secs || 10178993 markings, 12521797 edges, 4041 markings/sec, 2495 secs
lola: STP completed || 11 tries, 10506510 fired transitions, 2500 secs || 10199223 markings, 12547738 edges, 4046 markings/sec, 2500 secs
lola: STP completed || 11 tries, 10527669 fired transitions, 2505 secs || 10219562 markings, 12574642 edges, 4068 markings/sec, 2505 secs
lola: STP completed || 11 tries, 10548798 fired transitions, 2510 secs || 10239814 markings, 12602082 edges, 4050 markings/sec, 2510 secs
lola: STP completed || 11 tries, 10569941 fired transitions, 2515 secs || 10260119 markings, 12629942 edges, 4061 markings/sec, 2515 secs
lola: STP completed || 11 tries, 10591080 fired transitions, 2520 secs || 10280422 markings, 12657007 edges, 4061 markings/sec, 2520 secs
lola: STP completed || 11 tries, 10612216 fired transitions, 2525 secs || 10300866 markings, 12683849 edges, 4089 markings/sec, 2525 secs
lola: STP completed || 11 tries, 10633220 fired transitions, 2530 secs || 10321508 markings, 12710743 edges, 4128 markings/sec, 2530 secs
lola: STP completed || 11 tries, 10654058 fired transitions, 2535 secs || 10341800 markings, 12736446 edges, 4058 markings/sec, 2535 secs
lola: STP completed || 11 tries, 10674891 fired transitions, 2540 secs || 10362328 markings, 12762584 edges, 4106 markings/sec, 2540 secs
lola: STP completed || 11 tries, 10695687 fired transitions, 2545 secs || 10382451 markings, 12788166 edges, 4025 markings/sec, 2545 secs
lola: STP completed || 11 tries, 10716477 fired transitions, 2550 secs || 10402517 markings, 12812675 edges, 4013 markings/sec, 2550 secs
lola: STP completed || 11 tries, 10737245 fired transitions, 2555 secs || 10422953 markings, 12837698 edges, 4087 markings/sec, 2555 secs
lola: STP completed || 11 tries, 10757999 fired transitions, 2560 secs || 10443298 markings, 12863341 edges, 4069 markings/sec, 2560 secs
lola: STP completed || 11 tries, 10776641 fired transitions, 2565 secs || 10462254 markings, 12887104 edges, 3791 markings/sec, 2565 secs
lola: STP completed || 11 tries, 10795541 fired transitions, 2570 secs || 10481016 markings, 12912348 edges, 3752 markings/sec, 2570 secs
lola: STP completed || 11 tries, 10814477 fired transitions, 2575 secs || 10499729 markings, 12936340 edges, 3743 markings/sec, 2575 secs
lola: STP completed || 11 tries, 10833444 fired transitions, 2580 secs || 10518342 markings, 12962636 edges, 3723 markings/sec, 2580 secs
lola: STP completed || 11 tries, 10854539 fired transitions, 2585 secs || 10538548 markings, 12988845 edges, 4041 markings/sec, 2585 secs
lola: STP completed || 11 tries, 10875626 fired transitions, 2590 secs || 10559057 markings, 13014883 edges, 4102 markings/sec, 2590 secs
lola: STP completed || 11 tries, 10896696 fired transitions, 2595 secs || 10579324 markings, 13041685 edges, 4053 markings/sec, 2595 secs
lola: STP completed || 11 tries, 10917746 fired transitions, 2600 secs || 10599531 markings, 13067790 edges, 4041 markings/sec, 2600 secs
lola: STP completed || 11 tries, 10938848 fired transitions, 2605 secs || 10619871 markings, 13094732 edges, 4068 markings/sec, 2605 secs
lola: STP completed || 11 tries, 10959918 fired transitions, 2610 secs || 10640091 markings, 13121369 edges, 4044 markings/sec, 2610 secs
lola: STP completed || 11 tries, 10981092 fired transitions, 2615 secs || 10660203 markings, 13146002 edges, 4022 markings/sec, 2615 secs
lola: STP completed || 12 tries, 11002180 fired transitions, 2620 secs || 10680387 markings, 13170571 edges, 4037 markings/sec, 2620 secs
lola: STP completed || 12 tries, 11023300 fired transitions, 2625 secs || 10700987 markings, 13195721 edges, 4120 markings/sec, 2625 secs
lola: STP completed || 12 tries, 11044446 fired transitions, 2630 secs || 10721262 markings, 13222960 edges, 4055 markings/sec, 2630 secs
lola: STP completed || 12 tries, 11065589 fired transitions, 2635 secs || 10741540 markings, 13249573 edges, 4056 markings/sec, 2635 secs
lola: STP completed || 12 tries, 11086731 fired transitions, 2640 secs || 10762102 markings, 13276008 edges, 4112 markings/sec, 2640 secs
lola: STP completed || 12 tries, 11107824 fired transitions, 2645 secs || 10782671 markings, 13302019 edges, 4114 markings/sec, 2645 secs
lola: STP completed || 12 tries, 11128944 fired transitions, 2650 secs || 10803128 markings, 13327929 edges, 4091 markings/sec, 2650 secs
lola: STP completed || 12 tries, 11150084 fired transitions, 2655 secs || 10823708 markings, 13354083 edges, 4116 markings/sec, 2655 secs
lola: STP completed || 12 tries, 11171224 fired transitions, 2660 secs || 10844025 markings, 13380683 edges, 4063 markings/sec, 2660 secs
lola: STP completed || 12 tries, 11192303 fired transitions, 2665 secs || 10864463 markings, 13406883 edges, 4088 markings/sec, 2665 secs
lola: STP completed || 12 tries, 11213438 fired transitions, 2670 secs || 10884600 markings, 13434113 edges, 4027 markings/sec, 2670 secs
lola: STP completed || 12 tries, 11234601 fired transitions, 2675 secs || 10904769 markings, 13462358 edges, 4034 markings/sec, 2675 secs
lola: STP completed || 12 tries, 11255692 fired transitions, 2680 secs || 10925219 markings, 13489115 edges, 4090 markings/sec, 2680 secs
lola: STP completed || 12 tries, 11276778 fired transitions, 2685 secs || 10945572 markings, 13516861 edges, 4071 markings/sec, 2685 secs
lola: STP completed || 12 tries, 11297842 fired transitions, 2690 secs || 10966034 markings, 13544277 edges, 4092 markings/sec, 2690 secs
lola: STP completed || 12 tries, 11318946 fired transitions, 2695 secs || 10986120 markings, 13569936 edges, 4017 markings/sec, 2695 secs
lola: STP completed || 12 tries, 11340071 fired transitions, 2700 secs || 11006513 markings, 13595202 edges, 4079 markings/sec, 2700 secs
lola: STP completed || 12 tries, 11361222 fired transitions, 2705 secs || 11026799 markings, 13621828 edges, 4057 markings/sec, 2705 secs
lola: STP completed || 12 tries, 11382328 fired transitions, 2710 secs || 11047068 markings, 13649270 edges, 4054 markings/sec, 2710 secs
lola: STP completed || 12 tries, 11403436 fired transitions, 2715 secs || 11067365 markings, 13676885 edges, 4059 markings/sec, 2715 secs
lola: STP completed || 12 tries, 11424563 fired transitions, 2720 secs || 11087851 markings, 13703624 edges, 4097 markings/sec, 2720 secs
lola: STP completed || 12 tries, 11445683 fired transitions, 2725 secs || 11108197 markings, 13731308 edges, 4069 markings/sec, 2725 secs
lola: STP completed || 12 tries, 11466782 fired transitions, 2730 secs || 11128529 markings, 13758432 edges, 4066 markings/sec, 2730 secs
lola: STP completed || 12 tries, 11487889 fired transitions, 2735 secs || 11148593 markings, 13782737 edges, 4013 markings/sec, 2735 secs
lola: STP completed || 12 tries, 11508980 fired transitions, 2740 secs || 11168699 markings, 13807565 edges, 4021 markings/sec, 2740 secs
lola: STP completed || 12 tries, 11530053 fired transitions, 2745 secs || 11189231 markings, 13833824 edges, 4106 markings/sec, 2745 secs
lola: STP completed || 12 tries, 11551200 fired transitions, 2750 secs || 11209492 markings, 13861009 edges, 4052 markings/sec, 2750 secs
lola: STP completed || 12 tries, 11572283 fired transitions, 2755 secs || 11229706 markings, 13887507 edges, 4043 markings/sec, 2755 secs
lola: STP completed || 12 tries, 11593401 fired transitions, 2760 secs || 11250153 markings, 13914456 edges, 4089 markings/sec, 2760 secs
lola: STP completed || 12 tries, 11614513 fired transitions, 2765 secs || 11270609 markings, 13941849 edges, 4091 markings/sec, 2765 secs
lola: STP completed || 12 tries, 11635471 fired transitions, 2770 secs || 11290461 markings, 13968116 edges, 3970 markings/sec, 2770 secs
lola: STP completed || 12 tries, 11654947 fired transitions, 2775 secs || 11309309 markings, 13992913 edges, 3770 markings/sec, 2775 secs
lola: STP completed || 12 tries, 11674434 fired transitions, 2780 secs || 11328086 markings, 14016149 edges, 3755 markings/sec, 2780 secs
lola: STP completed || 12 tries, 11693946 fired transitions, 2785 secs || 11346795 markings, 14039099 edges, 3742 markings/sec, 2785 secs
lola: STP completed || 12 tries, 11713473 fired transitions, 2790 secs || 11365559 markings, 14062773 edges, 3753 markings/sec, 2790 secs
lola: STP completed || 12 tries, 11732925 fired transitions, 2795 secs || 11384618 markings, 14085926 edges, 3812 markings/sec, 2795 secs
lola: STP completed || 12 tries, 11752351 fired transitions, 2800 secs || 11403759 markings, 14109868 edges, 3828 markings/sec, 2800 secs
lola: STP completed || 12 tries, 11771848 fired transitions, 2805 secs || 11422414 markings, 14134703 edges, 3731 markings/sec, 2805 secs
lola: STP completed || 12 tries, 11791337 fired transitions, 2810 secs || 11441266 markings, 14158877 edges, 3770 markings/sec, 2810 secs
lola: STP completed || 12 tries, 11810814 fired transitions, 2815 secs || 11459845 markings, 14184559 edges, 3716 markings/sec, 2815 secs
lola: STP completed || 12 tries, 11830263 fired transitions, 2820 secs || 11478446 markings, 14208751 edges, 3720 markings/sec, 2820 secs
lola: STP completed || 12 tries, 11849745 fired transitions, 2825 secs || 11497228 markings, 14234527 edges, 3756 markings/sec, 2825 secs
lola: STP completed || 12 tries, 11869206 fired transitions, 2830 secs || 11516130 markings, 14259279 edges, 3780 markings/sec, 2830 secs
lola: STP completed || 12 tries, 11888611 fired transitions, 2835 secs || 11535057 markings, 14284293 edges, 3785 markings/sec, 2835 secs
lola: STP completed || 12 tries, 11908011 fired transitions, 2840 secs || 11553750 markings, 14308303 edges, 3739 markings/sec, 2840 secs
lola: STP completed || 12 tries, 11927078 fired transitions, 2845 secs || 11571977 markings, 14330535 edges, 3645 markings/sec, 2845 secs
lola: STP completed || 12 tries, 11946085 fired transitions, 2850 secs || 11590424 markings, 14353193 edges, 3689 markings/sec, 2850 secs
lola: STP completed || 12 tries, 11965057 fired transitions, 2855 secs || 11608736 markings, 14375536 edges, 3662 markings/sec, 2855 secs
lola: STP completed || 12 tries, 11984054 fired transitions, 2860 secs || 11627203 markings, 14398344 edges, 3693 markings/sec, 2860 secs
lola: STP completed || 13 tries, 12003048 fired transitions, 2865 secs || 11645484 markings, 14420806 edges, 3656 markings/sec, 2865 secs
lola: STP completed || 13 tries, 12022057 fired transitions, 2870 secs || 11663737 markings, 14444248 edges, 3651 markings/sec, 2870 secs
lola: STP completed || 13 tries, 12041084 fired transitions, 2875 secs || 11681949 markings, 14468220 edges, 3642 markings/sec, 2875 secs
lola: STP completed || 13 tries, 12060181 fired transitions, 2880 secs || 11700400 markings, 14493653 edges, 3690 markings/sec, 2880 secs
lola: STP completed || 13 tries, 12079497 fired transitions, 2885 secs || 11719059 markings, 14516775 edges, 3732 markings/sec, 2885 secs
lola: STP completed || 13 tries, 12098730 fired transitions, 2890 secs || 11738139 markings, 14539922 edges, 3816 markings/sec, 2890 secs
lola: STP completed || 13 tries, 12117989 fired transitions, 2895 secs || 11756954 markings, 14563320 edges, 3763 markings/sec, 2895 secs
lola: STP completed || 13 tries, 12137241 fired transitions, 2900 secs || 11775407 markings, 14587382 edges, 3691 markings/sec, 2900 secs
lola: STP completed || 13 tries, 12156350 fired transitions, 2905 secs || 11793847 markings, 14610555 edges, 3688 markings/sec, 2905 secs
lola: STP completed || 13 tries, 12175537 fired transitions, 2910 secs || 11812122 markings, 14632971 edges, 3655 markings/sec, 2910 secs
lola: STP completed || 13 tries, 12194793 fired transitions, 2915 secs || 11830449 markings, 14656970 edges, 3665 markings/sec, 2915 secs
lola: STP completed || 13 tries, 12213940 fired transitions, 2920 secs || 11849450 markings, 14680732 edges, 3800 markings/sec, 2920 secs
lola: STP completed || 13 tries, 12232931 fired transitions, 2925 secs || 11868080 markings, 14704883 edges, 3726 markings/sec, 2925 secs
lola: STP completed || 13 tries, 12252245 fired transitions, 2930 secs || 11886243 markings, 14728884 edges, 3633 markings/sec, 2930 secs
lola: STP completed || 13 tries, 12271618 fired transitions, 2935 secs || 11904146 markings, 14752984 edges, 3581 markings/sec, 2935 secs
lola: STP completed || 13 tries, 12290981 fired transitions, 2940 secs || 11922350 markings, 14777554 edges, 3641 markings/sec, 2940 secs
lola: STP completed || 13 tries, 12310326 fired transitions, 2945 secs || 11940523 markings, 14801738 edges, 3635 markings/sec, 2945 secs
lola: STP completed || 13 tries, 12329878 fired transitions, 2950 secs || 11958969 markings, 14827841 edges, 3689 markings/sec, 2950 secs
lola: STP completed || 13 tries, 12349403 fired transitions, 2955 secs || 11977549 markings, 14850455 edges, 3716 markings/sec, 2955 secs
lola: STP completed || 13 tries, 12368967 fired transitions, 2960 secs || 11995795 markings, 14873982 edges, 3649 markings/sec, 2960 secs
lola: STP completed || 13 tries, 12388553 fired transitions, 2965 secs || 12014103 markings, 14899120 edges, 3662 markings/sec, 2965 secs
lola: STP completed || 13 tries, 12408112 fired transitions, 2970 secs || 12032979 markings, 14922816 edges, 3775 markings/sec, 2970 secs
lola: STP completed || 13 tries, 12427633 fired transitions, 2975 secs || 12052000 markings, 14945712 edges, 3804 markings/sec, 2975 secs
lola: STP completed || 13 tries, 12447307 fired transitions, 2980 secs || 12070174 markings, 14970499 edges, 3635 markings/sec, 2980 secs
lola: STP completed || 13 tries, 12467048 fired transitions, 2985 secs || 12087722 markings, 14994606 edges, 3510 markings/sec, 2985 secs
lola: STP completed || 13 tries, 12486630 fired transitions, 2990 secs || 12106433 markings, 15018643 edges, 3742 markings/sec, 2990 secs
lola: STP completed || 13 tries, 12505921 fired transitions, 2995 secs || 12125419 markings, 15041650 edges, 3797 markings/sec, 2995 secs
lola: STP completed || 13 tries, 12525251 fired transitions, 3000 secs || 12143805 markings, 15064026 edges, 3677 markings/sec, 3000 secs
lola: STP completed || 13 tries, 12545850 fired transitions, 3005 secs || 12163682 markings, 15089655 edges, 3975 markings/sec, 3005 secs
lola: STP completed || 13 tries, 12566917 fired transitions, 3010 secs || 12183883 markings, 15116577 edges, 4040 markings/sec, 3010 secs
lola: STP completed || 13 tries, 12588023 fired transitions, 3015 secs || 12204002 markings, 15144454 edges, 4024 markings/sec, 3015 secs
lola: STP completed || 13 tries, 12609119 fired transitions, 3020 secs || 12224220 markings, 15169863 edges, 4044 markings/sec, 3020 secs
lola: STP completed || 13 tries, 12630225 fired transitions, 3025 secs || 12244298 markings, 15194483 edges, 4016 markings/sec, 3025 secs
lola: STP completed || 13 tries, 12651291 fired transitions, 3030 secs || 12264531 markings, 15220895 edges, 4047 markings/sec, 3030 secs
lola: STP completed || 13 tries, 12672408 fired transitions, 3035 secs || 12284866 markings, 15246360 edges, 4067 markings/sec, 3035 secs
lola: STP completed || 13 tries, 12693490 fired transitions, 3040 secs || 12305028 markings, 15274648 edges, 4032 markings/sec, 3040 secs
lola: STP completed || 13 tries, 12714558 fired transitions, 3045 secs || 12325280 markings, 15301506 edges, 4050 markings/sec, 3045 secs
lola: STP completed || 13 tries, 12735655 fired transitions, 3050 secs || 12345647 markings, 15327015 edges, 4073 markings/sec, 3050 secs
lola: STP completed || 13 tries, 12756501 fired transitions, 3055 secs || 12365979 markings, 15353569 edges, 4066 markings/sec, 3055 secs
lola: STP completed || 13 tries, 12777596 fired transitions, 3060 secs || 12386213 markings, 15381701 edges, 4047 markings/sec, 3060 secs
lola: STP completed || 13 tries, 12798587 fired transitions, 3065 secs || 12406160 markings, 15411792 edges, 3989 markings/sec, 3065 secs
lola: STP completed || 13 tries, 12819647 fired transitions, 3070 secs || 12426257 markings, 15440327 edges, 4019 markings/sec, 3070 secs
lola: STP completed || 13 tries, 12840448 fired transitions, 3075 secs || 12446188 markings, 15466958 edges, 3986 markings/sec, 3075 secs
lola: STP completed || 13 tries, 12861070 fired transitions, 3080 secs || 12466348 markings, 15493148 edges, 4032 markings/sec, 3080 secs
lola: STP completed || 13 tries, 12881383 fired transitions, 3085 secs || 12485061 markings, 15518289 edges, 3743 markings/sec, 3085 secs
lola: STP completed || 13 tries, 12901393 fired transitions, 3090 secs || 12504547 markings, 15544550 edges, 3897 markings/sec, 3090 secs
lola: STP completed || 13 tries, 12922111 fired transitions, 3095 secs || 12524409 markings, 15570775 edges, 3972 markings/sec, 3095 secs
lola: STP completed || 13 tries, 12942831 fired transitions, 3100 secs || 12544481 markings, 15597113 edges, 4014 markings/sec, 3100 secs
lola: STP completed || 13 tries, 12963629 fired transitions, 3105 secs || 12564368 markings, 15622731 edges, 3977 markings/sec, 3105 secs
lola: STP completed || 13 tries, 12984402 fired transitions, 3110 secs || 12584365 markings, 15648552 edges, 3999 markings/sec, 3110 secs
lola: STP completed || 14 tries, 13005133 fired transitions, 3115 secs || 12604671 markings, 15673987 edges, 4061 markings/sec, 3115 secs
lola: STP completed || 14 tries, 13025853 fired transitions, 3120 secs || 12624669 markings, 15700871 edges, 4000 markings/sec, 3120 secs
lola: STP completed || 14 tries, 13046544 fired transitions, 3125 secs || 12644964 markings, 15726839 edges, 4059 markings/sec, 3125 secs
lola: STP completed || 14 tries, 13067212 fired transitions, 3130 secs || 12665301 markings, 15751226 edges, 4067 markings/sec, 3130 secs
lola: STP completed || 14 tries, 13087906 fired transitions, 3135 secs || 12685457 markings, 15775259 edges, 4031 markings/sec, 3135 secs
lola: STP completed || 14 tries, 13108550 fired transitions, 3140 secs || 12705488 markings, 15799783 edges, 4006 markings/sec, 3140 secs
lola: STP completed || 14 tries, 13129222 fired transitions, 3145 secs || 12725375 markings, 15823977 edges, 3977 markings/sec, 3145 secs
lola: STP completed || 14 tries, 13149940 fired transitions, 3150 secs || 12745387 markings, 15848397 edges, 4002 markings/sec, 3150 secs
lola: STP completed || 14 tries, 13170581 fired transitions, 3155 secs || 12765523 markings, 15872987 edges, 4027 markings/sec, 3155 secs
lola: STP completed || 14 tries, 13191226 fired transitions, 3160 secs || 12785619 markings, 15897175 edges, 4019 markings/sec, 3160 secs
lola: STP completed || 14 tries, 13211922 fired transitions, 3165 secs || 12805714 markings, 15921452 edges, 4019 markings/sec, 3165 secs
lola: STP completed || 14 tries, 13232528 fired transitions, 3170 secs || 12825682 markings, 15945584 edges, 3994 markings/sec, 3170 secs
lola: STP completed || 14 tries, 13253228 fired transitions, 3175 secs || 12845601 markings, 15969900 edges, 3984 markings/sec, 3175 secs
lola: STP completed || 14 tries, 13274230 fired transitions, 3180 secs || 12865659 markings, 15994520 edges, 4012 markings/sec, 3180 secs
lola: STP completed || 14 tries, 13295341 fired transitions, 3185 secs || 12886071 markings, 16019838 edges, 4082 markings/sec, 3185 secs
lola: STP completed || 14 tries, 13316373 fired transitions, 3190 secs || 12906242 markings, 16044254 edges, 4034 markings/sec, 3190 secs
lola: STP completed || 14 tries, 13337427 fired transitions, 3195 secs || 12926490 markings, 16069500 edges, 4050 markings/sec, 3195 secs
lola: STP completed || 14 tries, 13358525 fired transitions, 3200 secs || 12946640 markings, 16094181 edges, 4030 markings/sec, 3200 secs
lola: STP completed || 14 tries, 13379632 fired transitions, 3205 secs || 12966994 markings, 16119684 edges, 4071 markings/sec, 3205 secs
lola: STP completed || 14 tries, 13400752 fired transitions, 3210 secs || 12987456 markings, 16144791 edges, 4092 markings/sec, 3210 secs
lola: STP completed || 14 tries, 13421851 fired transitions, 3215 secs || 13007766 markings, 16169905 edges, 4062 markings/sec, 3215 secs
lola: STP completed || 14 tries, 13442923 fired transitions, 3220 secs || 13028079 markings, 16195101 edges, 4063 markings/sec, 3220 secs
lola: STP completed || 14 tries, 13464091 fired transitions, 3225 secs || 13048379 markings, 16219923 edges, 4060 markings/sec, 3225 secs
lola: STP completed || 14 tries, 13485227 fired transitions, 3230 secs || 13068720 markings, 16245153 edges, 4068 markings/sec, 3230 secs
lola: STP completed || 14 tries, 13506345 fired transitions, 3235 secs || 13088784 markings, 16269658 edges, 4013 markings/sec, 3235 secs
lola: STP completed || 14 tries, 13527359 fired transitions, 3240 secs || 13108809 markings, 16294619 edges, 4005 markings/sec, 3240 secs
lola: STP completed || 14 tries, 13548450 fired transitions, 3245 secs || 13128745 markings, 16318929 edges, 3987 markings/sec, 3245 secs
lola: STP completed || 14 tries, 13569578 fired transitions, 3250 secs || 13148652 markings, 16343291 edges, 3981 markings/sec, 3250 secs
lola: STP completed || 14 tries, 13590433 fired transitions, 3255 secs || 13167915 markings, 16366765 edges, 3853 markings/sec, 3255 secs
lola: STP completed || 14 tries, 13611497 fired transitions, 3260 secs || 13188020 markings, 16391284 edges, 4021 markings/sec, 3260 secs
lola: STP completed || 14 tries, 13632417 fired transitions, 3265 secs || 13207262 markings, 16414831 edges, 3848 markings/sec, 3265 secs
lola: STP completed || 14 tries, 13653476 fired transitions, 3270 secs || 13227073 markings, 16438968 edges, 3962 markings/sec, 3270 secs
lola: STP completed || 14 tries, 13674675 fired transitions, 3275 secs || 13246515 markings, 16463306 edges, 3888 markings/sec, 3275 secs
lola: STP completed || 14 tries, 13695760 fired transitions, 3280 secs || 13266447 markings, 16487732 edges, 3986 markings/sec, 3280 secs
lola: STP completed || 14 tries, 13716927 fired transitions, 3285 secs || 13286353 markings, 16512599 edges, 3981 markings/sec, 3285 secs
lola: STP completed || 14 tries, 13738067 fired transitions, 3290 secs || 13306419 markings, 16536995 edges, 4013 markings/sec, 3290 secs
lola: STP completed || 14 tries, 13759210 fired transitions, 3295 secs || 13326644 markings, 16561860 edges, 4045 markings/sec, 3295 secs
lola: STP completed || 14 tries, 13780343 fired transitions, 3300 secs || 13346736 markings, 16586429 edges, 4018 markings/sec, 3300 secs
lola: STP completed || 14 tries, 13801476 fired transitions, 3305 secs || 13366758 markings, 16610852 edges, 4004 markings/sec, 3305 secs
lola: STP completed || 14 tries, 13822584 fired transitions, 3310 secs || 13386934 markings, 16635688 edges, 4035 markings/sec, 3310 secs
lola: STP completed || 14 tries, 13843692 fired transitions, 3315 secs || 13407111 markings, 16660920 edges, 4035 markings/sec, 3315 secs
lola: STP completed || 14 tries, 13864865 fired transitions, 3320 secs || 13427278 markings, 16686006 edges, 4033 markings/sec, 3320 secs
lola: STP completed || 14 tries, 13886013 fired transitions, 3325 secs || 13447406 markings, 16710704 edges, 4026 markings/sec, 3325 secs
lola: STP completed || 14 tries, 13907233 fired transitions, 3330 secs || 13467338 markings, 16735174 edges, 3986 markings/sec, 3330 secs
lola: STP completed || 14 tries, 13928395 fired transitions, 3335 secs || 13487362 markings, 16759419 edges, 4005 markings/sec, 3335 secs
lola: STP completed || 14 tries, 13949547 fired transitions, 3340 secs || 13507164 markings, 16783593 edges, 3960 markings/sec, 3340 secs
lola: STP completed || 14 tries, 13970627 fired transitions, 3345 secs || 13527125 markings, 16807956 edges, 3992 markings/sec, 3345 secs
lola: STP completed || 14 tries, 13991683 fired transitions, 3350 secs || 13546964 markings, 16832439 edges, 3968 markings/sec, 3350 secs
lola: STP completed || 15 tries, 14012713 fired transitions, 3355 secs || 13567012 markings, 16856954 edges, 4010 markings/sec, 3355 secs
lola: STP completed || 15 tries, 14033816 fired transitions, 3360 secs || 13586957 markings, 16881299 edges, 3989 markings/sec, 3360 secs
lola: STP completed || 15 tries, 14054846 fired transitions, 3365 secs || 13606924 markings, 16905871 edges, 3993 markings/sec, 3365 secs
lola: STP completed || 15 tries, 14075893 fired transitions, 3370 secs || 13626849 markings, 16930314 edges, 3985 markings/sec, 3370 secs
lola: STP completed || 15 tries, 14096863 fired transitions, 3375 secs || 13646876 markings, 16955147 edges, 4005 markings/sec, 3375 secs
lola: STP completed || 15 tries, 14117934 fired transitions, 3380 secs || 13667185 markings, 16980073 edges, 4062 markings/sec, 3380 secs
lola: STP completed || 15 tries, 14138962 fired transitions, 3385 secs || 13687277 markings, 17004635 edges, 4018 markings/sec, 3385 secs
lola: STP completed || 15 tries, 14159987 fired transitions, 3390 secs || 13707573 markings, 17029527 edges, 4059 markings/sec, 3390 secs
lola: STP completed || 15 tries, 14180898 fired transitions, 3395 secs || 13727606 markings, 17054008 edges, 4007 markings/sec, 3395 secs
lola: STP completed || 15 tries, 14201673 fired transitions, 3400 secs || 13747237 markings, 17079434 edges, 3926 markings/sec, 3400 secs
lola: STP completed || 15 tries, 14222659 fired transitions, 3405 secs || 13766703 markings, 17103243 edges, 3893 markings/sec, 3405 secs
lola: STP completed || 15 tries, 14243390 fired transitions, 3410 secs || 13785630 markings, 17126414 edges, 3785 markings/sec, 3410 secs
lola: STP completed || 15 tries, 14262929 fired transitions, 3415 secs || 13799215 markings, 17143240 edges, 2717 markings/sec, 3415 secs
lola: STP completed || 15 tries, 14281538 fired transitions, 3420 secs || 13811976 markings, 17158743 edges, 2552 markings/sec, 3420 secs
lola: STP completed || 15 tries, 14299168 fired transitions, 3425 secs || 13823063 markings, 17172221 edges, 2217 markings/sec, 3425 secs
lola: STP completed || 15 tries, 14316543 fired transitions, 3430 secs || 13835113 markings, 17186900 edges, 2410 markings/sec, 3430 secs
lola: STP completed || 15 tries, 14334108 fired transitions, 3435 secs || 13843147 markings, 17196727 edges, 1607 markings/sec, 3435 secs
lola: STP completed || 15 tries, 14339775 fired transitions, 3440 secs || 13843984 markings, 17197734 edges, 167 markings/sec, 3440 secs
lola: STP completed || 15 tries, 14343113 fired transitions, 3445 secs || 13844315 markings, 17198125 edges, 66 markings/sec, 3445 secs
lola: STP completed || 15 tries, 14343489 fired transitions, 3450 secs || 13844329 markings, 17198142 edges, 3 markings/sec, 3450 secs
lola: STP completed || 15 tries, 14344523 fired transitions, 3455 secs || 13844409 markings, 17198233 edges, 16 markings/sec, 3455 secs
Killed
FORMULA BART-PT-010-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-010"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-010.tgz
mv BART-PT-010 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is BART-PT-010, 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 r034-ebro-152646312100076"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;