About the Execution of M4M.struct for Raft-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.090 | 3340401.00 | 6605336.00 | 9563.80 | ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 241K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is Raft-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-qhx2-152673584600167
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1528007164776
BK_STOP 1528010505177
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using Raft-PT-10 as instance name.
Using Raft as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 5007, 'Memory': 375.7, 'Tool': 'itstools'}, {'Time': 5691, 'Memory': 402.34, 'Tool': 'itstools'}, {'Time': 6983, 'Memory': 278.65, 'Tool': 'gspn'}, {'Time': 11290, 'Memory': 309.92, 'Tool': 'gspn'}, {'Time': 973902, 'Memory': 6662.03, 'Tool': 'marcie'}, {'Time': 1008272, 'Memory': 6662.15, 'Tool': 'marcie'}, {'Time': 1856651, 'Memory': 15950.1, 'Tool': 'lola'}, {'Time': 2246645, 'Memory': 15951.62, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 370.81106450968645x far from the best tool itstools.
ReachabilityDeadlock lola Raft-PT-10...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
Raft-PT-10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
Raft-PT-10: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Raft-PT-10 @ 3538 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1376/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 508 places, 868 transitions, 408 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 857 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-10-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 117 generators (13 in search tree, 104 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 16874 variables and 61659 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 45780 fired transitions, 0 secs || 37627 markings, 264965 edges, 7525 markings/sec, 0 secs
lola: STP completed || 1 tries, 92167 fired transitions, 5 secs || 79193 markings, 556985 edges, 8313 markings/sec, 5 secs
lola: STP completed || 1 tries, 138806 fired transitions, 10 secs || 120361 markings, 849866 edges, 8234 markings/sec, 10 secs
lola: STP completed || 1 tries, 186625 fired transitions, 15 secs || 163330 markings, 1155143 edges, 8594 markings/sec, 15 secs
lola: STP completed || 1 tries, 237285 fired transitions, 20 secs || 205701 markings, 1510506 edges, 8474 markings/sec, 20 secs
lola: STP completed || 1 tries, 284163 fired transitions, 25 secs || 245799 markings, 1889962 edges, 8020 markings/sec, 25 secs
lola: STP completed || 1 tries, 330524 fired transitions, 30 secs || 282538 markings, 2293231 edges, 7348 markings/sec, 30 secs
lola: STP completed || 1 tries, 377410 fired transitions, 35 secs || 318092 markings, 2714060 edges, 7111 markings/sec, 35 secs
lola: STP completed || 1 tries, 424011 fired transitions, 40 secs || 352978 markings, 3130655 edges, 6977 markings/sec, 40 secs
lola: STP completed || 1 tries, 470670 fired transitions, 45 secs || 388016 markings, 3548772 edges, 7008 markings/sec, 45 secs
lola: STP completed || 1 tries, 517346 fired transitions, 50 secs || 423063 markings, 3964459 edges, 7009 markings/sec, 50 secs
lola: STP completed || 1 tries, 564000 fired transitions, 55 secs || 458073 markings, 4383850 edges, 7002 markings/sec, 55 secs
lola: STP completed || 1 tries, 610769 fired transitions, 60 secs || 493424 markings, 4801759 edges, 7070 markings/sec, 60 secs
lola: STP completed || 1 tries, 657512 fired transitions, 65 secs || 528552 markings, 5217431 edges, 7026 markings/sec, 65 secs
lola: STP completed || 1 tries, 701601 fired transitions, 70 secs || 562923 markings, 5624446 edges, 6874 markings/sec, 70 secs
lola: STP completed || 1 tries, 745666 fired transitions, 75 secs || 597258 markings, 6028892 edges, 6867 markings/sec, 75 secs
lola: STP completed || 1 tries, 789525 fired transitions, 80 secs || 631694 markings, 6432925 edges, 6887 markings/sec, 80 secs
lola: STP completed || 1 tries, 833569 fired transitions, 85 secs || 666342 markings, 6836997 edges, 6930 markings/sec, 85 secs
lola: STP completed || 1 tries, 877696 fired transitions, 90 secs || 700578 markings, 7242216 edges, 6847 markings/sec, 90 secs
lola: STP completed || 1 tries, 921613 fired transitions, 95 secs || 735126 markings, 7647262 edges, 6910 markings/sec, 95 secs
lola: STP completed || 1 tries, 965658 fired transitions, 100 secs || 769648 markings, 8050480 edges, 6904 markings/sec, 100 secs
lola: STP completed || 2 tries, 1011073 fired transitions, 105 secs || 804605 markings, 8466319 edges, 6991 markings/sec, 105 secs
lola: STP completed || 2 tries, 1057450 fired transitions, 110 secs || 840766 markings, 8861807 edges, 7232 markings/sec, 110 secs
lola: STP completed || 2 tries, 1103176 fired transitions, 115 secs || 882562 markings, 9181139 edges, 8359 markings/sec, 115 secs
lola: STP completed || 2 tries, 1148784 fired transitions, 120 secs || 924457 markings, 9497951 edges, 8379 markings/sec, 120 secs
lola: STP completed || 2 tries, 1195082 fired transitions, 125 secs || 966496 markings, 9819395 edges, 8408 markings/sec, 125 secs
lola: STP completed || 2 tries, 1241282 fired transitions, 130 secs || 1008413 markings, 10136206 edges, 8383 markings/sec, 130 secs
lola: STP completed || 2 tries, 1287632 fired transitions, 135 secs || 1050356 markings, 10455879 edges, 8389 markings/sec, 135 secs
lola: STP completed || 2 tries, 1333837 fired transitions, 140 secs || 1092599 markings, 10778882 edges, 8449 markings/sec, 140 secs
lola: STP completed || 2 tries, 1380281 fired transitions, 145 secs || 1133936 markings, 11096547 edges, 8267 markings/sec, 145 secs
lola: STP completed || 2 tries, 1425470 fired transitions, 150 secs || 1173790 markings, 11400005 edges, 7971 markings/sec, 150 secs
lola: STP completed || 2 tries, 1470853 fired transitions, 155 secs || 1213548 markings, 11699384 edges, 7952 markings/sec, 155 secs
lola: STP completed || 2 tries, 1516314 fired transitions, 160 secs || 1253243 markings, 11998686 edges, 7939 markings/sec, 160 secs
lola: STP completed || 2 tries, 1561778 fired transitions, 165 secs || 1292994 markings, 12304060 edges, 7950 markings/sec, 165 secs
lola: STP completed || 2 tries, 1606790 fired transitions, 170 secs || 1332639 markings, 12604888 edges, 7929 markings/sec, 170 secs
lola: STP completed || 2 tries, 1652194 fired transitions, 175 secs || 1372074 markings, 12906596 edges, 7887 markings/sec, 175 secs
lola: STP completed || 2 tries, 1697809 fired transitions, 180 secs || 1411955 markings, 13215354 edges, 7976 markings/sec, 180 secs
lola: STP completed || 2 tries, 1743029 fired transitions, 185 secs || 1451404 markings, 13514926 edges, 7890 markings/sec, 185 secs
lola: STP completed || 2 tries, 1788124 fired transitions, 190 secs || 1491000 markings, 13813151 edges, 7919 markings/sec, 190 secs
lola: STP completed || 2 tries, 1833639 fired transitions, 195 secs || 1530601 markings, 14112384 edges, 7920 markings/sec, 195 secs
lola: STP completed || 2 tries, 1878979 fired transitions, 200 secs || 1570121 markings, 14415087 edges, 7904 markings/sec, 200 secs
lola: STP completed || 2 tries, 1924393 fired transitions, 205 secs || 1609635 markings, 14721799 edges, 7903 markings/sec, 205 secs
lola: STP completed || 2 tries, 1969257 fired transitions, 210 secs || 1649319 markings, 15024667 edges, 7937 markings/sec, 210 secs
lola: STP completed || 3 tries, 2014184 fired transitions, 215 secs || 1688783 markings, 15317975 edges, 7893 markings/sec, 215 secs
lola: STP completed || 3 tries, 2059943 fired transitions, 220 secs || 1729456 markings, 15613779 edges, 8135 markings/sec, 220 secs
lola: STP completed || 3 tries, 2105872 fired transitions, 225 secs || 1770492 markings, 15911513 edges, 8207 markings/sec, 225 secs
lola: STP completed || 3 tries, 2151176 fired transitions, 230 secs || 1809135 markings, 16194807 edges, 7729 markings/sec, 230 secs
lola: STP completed || 3 tries, 2196889 fired transitions, 235 secs || 1849259 markings, 16486070 edges, 8025 markings/sec, 235 secs
lola: STP completed || 3 tries, 2242732 fired transitions, 240 secs || 1890441 markings, 16787770 edges, 8236 markings/sec, 240 secs
lola: STP completed || 3 tries, 2288625 fired transitions, 245 secs || 1932534 markings, 17091530 edges, 8419 markings/sec, 245 secs
lola: STP completed || 3 tries, 2334275 fired transitions, 250 secs || 1972901 markings, 17381910 edges, 8073 markings/sec, 250 secs
lola: STP completed || 3 tries, 2380142 fired transitions, 255 secs || 2012685 markings, 17674961 edges, 7957 markings/sec, 255 secs
lola: STP completed || 3 tries, 2426110 fired transitions, 260 secs || 2053830 markings, 17971218 edges, 8229 markings/sec, 260 secs
lola: STP completed || 3 tries, 2472170 fired transitions, 265 secs || 2096143 markings, 18288618 edges, 8463 markings/sec, 265 secs
lola: STP completed || 3 tries, 2518307 fired transitions, 270 secs || 2138432 markings, 18600622 edges, 8458 markings/sec, 270 secs
lola: STP completed || 3 tries, 2564384 fired transitions, 275 secs || 2180273 markings, 18908304 edges, 8368 markings/sec, 275 secs
lola: STP completed || 3 tries, 2610146 fired transitions, 280 secs || 2221861 markings, 19211431 edges, 8318 markings/sec, 280 secs
lola: STP completed || 3 tries, 2655991 fired transitions, 285 secs || 2262457 markings, 19507369 edges, 8119 markings/sec, 285 secs
lola: STP completed || 3 tries, 2702007 fired transitions, 290 secs || 2302910 markings, 19802705 edges, 8091 markings/sec, 290 secs
lola: STP completed || 3 tries, 2747944 fired transitions, 295 secs || 2343079 markings, 20099602 edges, 8034 markings/sec, 295 secs
lola: STP completed || 3 tries, 2794173 fired transitions, 300 secs || 2384890 markings, 20403062 edges, 8362 markings/sec, 300 secs
lola: STP completed || 3 tries, 2840934 fired transitions, 305 secs || 2428105 markings, 20717897 edges, 8643 markings/sec, 305 secs
lola: STP completed || 3 tries, 2888019 fired transitions, 310 secs || 2471376 markings, 21034441 edges, 8654 markings/sec, 310 secs
lola: STP completed || 3 tries, 2935258 fired transitions, 315 secs || 2514245 markings, 21356004 edges, 8574 markings/sec, 315 secs
lola: STP completed || 3 tries, 2981927 fired transitions, 320 secs || 2556859 markings, 21668015 edges, 8523 markings/sec, 320 secs
lola: STP completed || 4 tries, 3028210 fired transitions, 325 secs || 2598577 markings, 21977965 edges, 8344 markings/sec, 325 secs
lola: STP completed || 4 tries, 3074248 fired transitions, 330 secs || 2638987 markings, 22291222 edges, 8082 markings/sec, 330 secs
lola: STP completed || 4 tries, 3120038 fired transitions, 335 secs || 2679378 markings, 22592947 edges, 8078 markings/sec, 335 secs
lola: STP completed || 4 tries, 3166209 fired transitions, 340 secs || 2720801 markings, 22914449 edges, 8285 markings/sec, 340 secs
lola: STP completed || 4 tries, 3212675 fired transitions, 345 secs || 2763595 markings, 23239984 edges, 8559 markings/sec, 345 secs
lola: STP completed || 4 tries, 3259393 fired transitions, 350 secs || 2806932 markings, 23569423 edges, 8667 markings/sec, 350 secs
lola: STP completed || 4 tries, 3310808 fired transitions, 355 secs || 2854766 markings, 23938564 edges, 9567 markings/sec, 355 secs
lola: STP completed || 4 tries, 3360602 fired transitions, 360 secs || 2901333 markings, 24297066 edges, 9313 markings/sec, 360 secs
lola: STP completed || 4 tries, 3407065 fired transitions, 365 secs || 2944348 markings, 24628726 edges, 8603 markings/sec, 365 secs
lola: STP completed || 4 tries, 3453514 fired transitions, 370 secs || 2987022 markings, 24954607 edges, 8535 markings/sec, 370 secs
lola: STP completed || 4 tries, 3498214 fired transitions, 375 secs || 3029098 markings, 25279104 edges, 8415 markings/sec, 375 secs
lola: STP completed || 4 tries, 3542079 fired transitions, 380 secs || 3070592 markings, 25599707 edges, 8299 markings/sec, 380 secs
lola: STP completed || 4 tries, 3585965 fired transitions, 385 secs || 3112558 markings, 25921466 edges, 8393 markings/sec, 385 secs
lola: STP completed || 4 tries, 3629989 fired transitions, 390 secs || 3154253 markings, 26236779 edges, 8339 markings/sec, 390 secs
lola: STP completed || 4 tries, 3673665 fired transitions, 395 secs || 3195557 markings, 26552944 edges, 8261 markings/sec, 395 secs
lola: STP completed || 4 tries, 3717507 fired transitions, 400 secs || 3237639 markings, 26878363 edges, 8416 markings/sec, 400 secs
lola: STP completed || 4 tries, 3761424 fired transitions, 405 secs || 3279464 markings, 27200389 edges, 8365 markings/sec, 405 secs
lola: STP completed || 4 tries, 3805207 fired transitions, 410 secs || 3321207 markings, 27521903 edges, 8349 markings/sec, 410 secs
lola: STP completed || 4 tries, 3851365 fired transitions, 415 secs || 3363860 markings, 27853606 edges, 8531 markings/sec, 415 secs
lola: STP completed || 4 tries, 3897061 fired transitions, 420 secs || 3406389 markings, 28177688 edges, 8506 markings/sec, 420 secs
lola: STP completed || 4 tries, 3942937 fired transitions, 425 secs || 3448132 markings, 28494678 edges, 8349 markings/sec, 425 secs
lola: STP completed || 4 tries, 3988925 fired transitions, 430 secs || 3488715 markings, 28803071 edges, 8117 markings/sec, 430 secs
lola: STP completed || 5 tries, 4034507 fired transitions, 435 secs || 3529656 markings, 29117102 edges, 8188 markings/sec, 435 secs
lola: STP completed || 5 tries, 4080361 fired transitions, 440 secs || 3570354 markings, 29429948 edges, 8140 markings/sec, 440 secs
lola: STP completed || 5 tries, 4126026 fired transitions, 445 secs || 3610730 markings, 29737548 edges, 8075 markings/sec, 445 secs
lola: STP completed || 5 tries, 4172002 fired transitions, 450 secs || 3651464 markings, 30050974 edges, 8147 markings/sec, 450 secs
lola: STP completed || 5 tries, 4215180 fired transitions, 455 secs || 3692872 markings, 30364563 edges, 8282 markings/sec, 455 secs
lola: STP completed || 5 tries, 4258048 fired transitions, 460 secs || 3734507 markings, 30683295 edges, 8327 markings/sec, 460 secs
lola: STP completed || 5 tries, 4303961 fired transitions, 465 secs || 3776988 markings, 31007629 edges, 8496 markings/sec, 465 secs
lola: STP completed || 5 tries, 4347529 fired transitions, 470 secs || 3818716 markings, 31323605 edges, 8346 markings/sec, 470 secs
lola: STP completed || 5 tries, 4391130 fired transitions, 475 secs || 3860748 markings, 31647406 edges, 8406 markings/sec, 475 secs
lola: STP completed || 5 tries, 4435060 fired transitions, 480 secs || 3902490 markings, 31975910 edges, 8348 markings/sec, 480 secs
lola: STP completed || 5 tries, 4478845 fired transitions, 485 secs || 3943540 markings, 32291348 edges, 8210 markings/sec, 485 secs
lola: STP completed || 5 tries, 4522367 fired transitions, 490 secs || 3983073 markings, 32592094 edges, 7907 markings/sec, 490 secs
lola: STP completed || 5 tries, 4568171 fired transitions, 495 secs || 4023559 markings, 32897766 edges, 8097 markings/sec, 495 secs
lola: STP completed || 5 tries, 4613920 fired transitions, 500 secs || 4064136 markings, 33206413 edges, 8115 markings/sec, 500 secs
lola: STP completed || 5 tries, 4660076 fired transitions, 505 secs || 4105219 markings, 33524992 edges, 8217 markings/sec, 505 secs
lola: STP completed || 5 tries, 4706321 fired transitions, 510 secs || 4146369 markings, 33844598 edges, 8230 markings/sec, 510 secs
lola: STP completed || 5 tries, 4752387 fired transitions, 515 secs || 4187129 markings, 34164926 edges, 8152 markings/sec, 515 secs
lola: STP completed || 5 tries, 4798998 fired transitions, 520 secs || 4227527 markings, 34504547 edges, 8080 markings/sec, 520 secs
lola: STP completed || 5 tries, 4845352 fired transitions, 525 secs || 4268681 markings, 34815995 edges, 8231 markings/sec, 525 secs
lola: STP completed || 5 tries, 4891846 fired transitions, 530 secs || 4308704 markings, 35173908 edges, 8005 markings/sec, 530 secs
lola: STP completed || 5 tries, 4938539 fired transitions, 535 secs || 4349146 markings, 35501990 edges, 8088 markings/sec, 535 secs
lola: STP completed || 5 tries, 4985228 fired transitions, 540 secs || 4390125 markings, 35815176 edges, 8196 markings/sec, 540 secs
lola: STP completed || 6 tries, 5031892 fired transitions, 545 secs || 4431311 markings, 36131484 edges, 8237 markings/sec, 545 secs
lola: STP completed || 6 tries, 5078580 fired transitions, 550 secs || 4472177 markings, 36449089 edges, 8173 markings/sec, 550 secs
lola: STP completed || 6 tries, 5125485 fired transitions, 555 secs || 4513323 markings, 36759706 edges, 8229 markings/sec, 555 secs
lola: STP completed || 6 tries, 5172254 fired transitions, 560 secs || 4553897 markings, 37083519 edges, 8115 markings/sec, 560 secs
lola: STP completed || 6 tries, 5219159 fired transitions, 565 secs || 4594187 markings, 37420146 edges, 8058 markings/sec, 565 secs
lola: STP completed || 6 tries, 5265820 fired transitions, 570 secs || 4635264 markings, 37730710 edges, 8215 markings/sec, 570 secs
lola: STP completed || 6 tries, 5312582 fired transitions, 575 secs || 4676438 markings, 38038323 edges, 8235 markings/sec, 575 secs
lola: STP completed || 6 tries, 5359278 fired transitions, 580 secs || 4717399 markings, 38350111 edges, 8192 markings/sec, 580 secs
lola: STP completed || 6 tries, 5405576 fired transitions, 585 secs || 4759149 markings, 38677348 edges, 8350 markings/sec, 585 secs
lola: STP completed || 6 tries, 5451590 fired transitions, 590 secs || 4801689 markings, 39000145 edges, 8508 markings/sec, 590 secs
lola: STP completed || 6 tries, 5497782 fired transitions, 595 secs || 4844501 markings, 39324325 edges, 8562 markings/sec, 595 secs
lola: STP completed || 6 tries, 5543871 fired transitions, 600 secs || 4887101 markings, 39650273 edges, 8520 markings/sec, 600 secs
lola: STP completed || 6 tries, 5590006 fired transitions, 605 secs || 4929860 markings, 39977091 edges, 8552 markings/sec, 605 secs
lola: STP completed || 6 tries, 5636239 fired transitions, 610 secs || 4972667 markings, 40306057 edges, 8561 markings/sec, 610 secs
lola: STP completed || 6 tries, 5682591 fired transitions, 615 secs || 5015621 markings, 40644631 edges, 8591 markings/sec, 615 secs
lola: STP completed || 6 tries, 5728923 fired transitions, 620 secs || 5058890 markings, 40982051 edges, 8654 markings/sec, 620 secs
lola: STP completed || 6 tries, 5774906 fired transitions, 625 secs || 5100349 markings, 41300516 edges, 8292 markings/sec, 625 secs
lola: STP completed || 6 tries, 5820759 fired transitions, 630 secs || 5141179 markings, 41614900 edges, 8166 markings/sec, 630 secs
lola: STP completed || 6 tries, 5866839 fired transitions, 635 secs || 5182239 markings, 41924016 edges, 8212 markings/sec, 635 secs
lola: STP completed || 6 tries, 5913014 fired transitions, 640 secs || 5222447 markings, 42230004 edges, 8042 markings/sec, 640 secs
lola: STP completed || 6 tries, 5959276 fired transitions, 645 secs || 5263413 markings, 42545204 edges, 8193 markings/sec, 645 secs
lola: STP completed || 7 tries, 6005292 fired transitions, 650 secs || 5304647 markings, 42859150 edges, 8247 markings/sec, 650 secs
lola: STP completed || 7 tries, 6052221 fired transitions, 655 secs || 5348051 markings, 43185026 edges, 8681 markings/sec, 655 secs
lola: STP completed || 7 tries, 6098930 fired transitions, 660 secs || 5390454 markings, 43496199 edges, 8481 markings/sec, 660 secs
lola: STP completed || 7 tries, 6145670 fired transitions, 665 secs || 5433040 markings, 43811321 edges, 8517 markings/sec, 665 secs
lola: STP completed || 7 tries, 6192521 fired transitions, 670 secs || 5476045 markings, 44121687 edges, 8601 markings/sec, 670 secs
lola: STP completed || 7 tries, 6239580 fired transitions, 675 secs || 5520924 markings, 44444112 edges, 8976 markings/sec, 675 secs
lola: STP completed || 7 tries, 6286825 fired transitions, 680 secs || 5565965 markings, 44774289 edges, 9008 markings/sec, 680 secs
lola: STP completed || 7 tries, 6334170 fired transitions, 685 secs || 5610218 markings, 45114542 edges, 8851 markings/sec, 685 secs
lola: STP completed || 7 tries, 6381447 fired transitions, 690 secs || 5655007 markings, 45437388 edges, 8958 markings/sec, 690 secs
lola: STP completed || 7 tries, 6428291 fired transitions, 695 secs || 5698027 markings, 45750973 edges, 8604 markings/sec, 695 secs
lola: STP completed || 7 tries, 6475702 fired transitions, 700 secs || 5740936 markings, 46061161 edges, 8582 markings/sec, 700 secs
lola: STP completed || 7 tries, 6522616 fired transitions, 705 secs || 5783879 markings, 46374798 edges, 8589 markings/sec, 705 secs
lola: STP completed || 7 tries, 6569578 fired transitions, 710 secs || 5826261 markings, 46706707 edges, 8476 markings/sec, 710 secs
lola: STP completed || 7 tries, 6616632 fired transitions, 715 secs || 5869431 markings, 47030903 edges, 8634 markings/sec, 715 secs
lola: STP completed || 7 tries, 6663305 fired transitions, 720 secs || 5912190 markings, 47340167 edges, 8552 markings/sec, 720 secs
lola: STP completed || 7 tries, 6710204 fired transitions, 725 secs || 5955502 markings, 47658027 edges, 8662 markings/sec, 725 secs
lola: STP completed || 7 tries, 6757219 fired transitions, 730 secs || 5998589 markings, 47978976 edges, 8617 markings/sec, 730 secs
lola: STP completed || 7 tries, 6804111 fired transitions, 735 secs || 6041815 markings, 48292196 edges, 8645 markings/sec, 735 secs
lola: STP completed || 7 tries, 6851149 fired transitions, 740 secs || 6085074 markings, 48613539 edges, 8652 markings/sec, 740 secs
lola: STP completed || 7 tries, 6898235 fired transitions, 745 secs || 6130012 markings, 48946273 edges, 8988 markings/sec, 745 secs
lola: STP completed || 7 tries, 6945463 fired transitions, 750 secs || 6174828 markings, 49280243 edges, 8963 markings/sec, 750 secs
lola: STP completed || 7 tries, 6992883 fired transitions, 755 secs || 6219785 markings, 49611969 edges, 8991 markings/sec, 755 secs
lola: STP completed || 8 tries, 7040125 fired transitions, 760 secs || 6264843 markings, 49950239 edges, 9012 markings/sec, 760 secs
lola: STP completed || 8 tries, 7087493 fired transitions, 765 secs || 6309674 markings, 50288250 edges, 8966 markings/sec, 765 secs
lola: STP completed || 8 tries, 7135095 fired transitions, 770 secs || 6354383 markings, 50630765 edges, 8942 markings/sec, 770 secs
lola: STP completed || 8 tries, 7182576 fired transitions, 775 secs || 6399225 markings, 50956690 edges, 8968 markings/sec, 775 secs
lola: STP completed || 8 tries, 7229775 fired transitions, 780 secs || 6442598 markings, 51278746 edges, 8675 markings/sec, 780 secs
lola: STP completed || 8 tries, 7277058 fired transitions, 785 secs || 6486568 markings, 51605256 edges, 8794 markings/sec, 785 secs
lola: STP completed || 8 tries, 7324554 fired transitions, 790 secs || 6531564 markings, 51942930 edges, 8999 markings/sec, 790 secs
lola: STP completed || 8 tries, 7371935 fired transitions, 795 secs || 6576415 markings, 52265597 edges, 8970 markings/sec, 795 secs
lola: STP completed || 8 tries, 7419478 fired transitions, 800 secs || 6621117 markings, 52607476 edges, 8940 markings/sec, 800 secs
lola: STP completed || 8 tries, 7467057 fired transitions, 805 secs || 6664233 markings, 52950321 edges, 8623 markings/sec, 805 secs
lola: STP completed || 8 tries, 7514544 fired transitions, 810 secs || 6708224 markings, 53297352 edges, 8798 markings/sec, 810 secs
lola: STP completed || 8 tries, 7562174 fired transitions, 815 secs || 6749533 markings, 53668241 edges, 8262 markings/sec, 815 secs
lola: STP completed || 8 tries, 7609284 fired transitions, 820 secs || 6793535 markings, 53989512 edges, 8800 markings/sec, 820 secs
lola: STP completed || 8 tries, 7656603 fired transitions, 825 secs || 6838763 markings, 54324755 edges, 9046 markings/sec, 825 secs
lola: STP completed || 8 tries, 7703928 fired transitions, 830 secs || 6883150 markings, 54648937 edges, 8877 markings/sec, 830 secs
lola: STP completed || 8 tries, 7751176 fired transitions, 835 secs || 6927229 markings, 54976892 edges, 8816 markings/sec, 835 secs
lola: STP completed || 8 tries, 7798298 fired transitions, 840 secs || 6972300 markings, 55304723 edges, 9014 markings/sec, 840 secs
lola: STP completed || 8 tries, 7844616 fired transitions, 845 secs || 7017050 markings, 55627362 edges, 8950 markings/sec, 845 secs
lola: STP completed || 8 tries, 7891864 fired transitions, 850 secs || 7061760 markings, 55951954 edges, 8942 markings/sec, 850 secs
lola: STP completed || 8 tries, 7939113 fired transitions, 855 secs || 7104806 markings, 56262902 edges, 8609 markings/sec, 855 secs
lola: STP completed || 8 tries, 7988310 fired transitions, 860 secs || 7149977 markings, 56592834 edges, 9034 markings/sec, 860 secs
lola: STP completed || 9 tries, 8039817 fired transitions, 865 secs || 7197224 markings, 56934570 edges, 9449 markings/sec, 865 secs
lola: STP completed || 9 tries, 8092119 fired transitions, 870 secs || 7246556 markings, 57296607 edges, 9866 markings/sec, 870 secs
lola: STP completed || 9 tries, 8144515 fired transitions, 875 secs || 7296497 markings, 57660325 edges, 9988 markings/sec, 875 secs
lola: STP completed || 9 tries, 8196695 fired transitions, 880 secs || 7346078 markings, 58024303 edges, 9916 markings/sec, 880 secs
lola: STP completed || 9 tries, 8249086 fired transitions, 885 secs || 7396071 markings, 58383513 edges, 9999 markings/sec, 885 secs
lola: STP completed || 9 tries, 8301214 fired transitions, 890 secs || 7445423 markings, 58748123 edges, 9870 markings/sec, 890 secs
lola: STP completed || 9 tries, 8353259 fired transitions, 895 secs || 7493438 markings, 59093055 edges, 9603 markings/sec, 895 secs
lola: STP completed || 9 tries, 8404910 fired transitions, 900 secs || 7540455 markings, 59439745 edges, 9403 markings/sec, 900 secs
lola: STP completed || 9 tries, 8457030 fired transitions, 905 secs || 7587340 markings, 59800639 edges, 9377 markings/sec, 905 secs
lola: STP completed || 9 tries, 8509161 fired transitions, 910 secs || 7634911 markings, 60145718 edges, 9514 markings/sec, 910 secs
lola: STP completed || 9 tries, 8557614 fired transitions, 915 secs || 7678695 markings, 60470391 edges, 8757 markings/sec, 915 secs
lola: STP completed || 9 tries, 8604678 fired transitions, 920 secs || 7721971 markings, 60784265 edges, 8655 markings/sec, 920 secs
lola: STP completed || 9 tries, 8651812 fired transitions, 925 secs || 7766255 markings, 61106402 edges, 8857 markings/sec, 925 secs
lola: STP completed || 9 tries, 8698976 fired transitions, 930 secs || 7811226 markings, 61434592 edges, 8994 markings/sec, 930 secs
lola: STP completed || 9 tries, 8746225 fired transitions, 935 secs || 7856481 markings, 61764615 edges, 9051 markings/sec, 935 secs
lola: STP completed || 9 tries, 8793406 fired transitions, 940 secs || 7901840 markings, 62096086 edges, 9072 markings/sec, 940 secs
lola: STP completed || 9 tries, 8840713 fired transitions, 945 secs || 7946736 markings, 62424413 edges, 8979 markings/sec, 945 secs
lola: STP completed || 9 tries, 8887963 fired transitions, 950 secs || 7991282 markings, 62745888 edges, 8909 markings/sec, 950 secs
lola: STP completed || 9 tries, 8935145 fired transitions, 955 secs || 8035390 markings, 63079391 edges, 8822 markings/sec, 955 secs
lola: STP completed || 9 tries, 8982181 fired transitions, 960 secs || 8079712 markings, 63402873 edges, 8864 markings/sec, 960 secs
lola: STP completed || 10 tries, 9028644 fired transitions, 965 secs || 8122342 markings, 63725602 edges, 8526 markings/sec, 965 secs
lola: STP completed || 10 tries, 9074978 fired transitions, 970 secs || 8164173 markings, 64043611 edges, 8366 markings/sec, 970 secs
lola: STP completed || 10 tries, 9121175 fired transitions, 975 secs || 8206424 markings, 64376625 edges, 8450 markings/sec, 975 secs
lola: STP completed || 10 tries, 9167530 fired transitions, 980 secs || 8248389 markings, 64697541 edges, 8393 markings/sec, 980 secs
lola: STP completed || 10 tries, 9213585 fired transitions, 985 secs || 8290854 markings, 65018667 edges, 8493 markings/sec, 985 secs
lola: STP completed || 10 tries, 9259788 fired transitions, 990 secs || 8332838 markings, 65337719 edges, 8397 markings/sec, 990 secs
lola: STP completed || 10 tries, 9305952 fired transitions, 995 secs || 8373970 markings, 65645141 edges, 8226 markings/sec, 995 secs
lola: STP completed || 10 tries, 9352095 fired transitions, 1000 secs || 8414654 markings, 65952680 edges, 8137 markings/sec, 1000 secs
lola: STP completed || 10 tries, 9398296 fired transitions, 1005 secs || 8457302 markings, 66279505 edges, 8530 markings/sec, 1005 secs
lola: STP completed || 10 tries, 9445409 fired transitions, 1010 secs || 8499835 markings, 66603013 edges, 8507 markings/sec, 1010 secs
lola: STP completed || 10 tries, 9492914 fired transitions, 1015 secs || 8541754 markings, 66921645 edges, 8384 markings/sec, 1015 secs
lola: STP completed || 10 tries, 9538629 fired transitions, 1020 secs || 8582339 markings, 67225603 edges, 8117 markings/sec, 1020 secs
lola: STP completed || 10 tries, 9583648 fired transitions, 1025 secs || 8622633 markings, 67529631 edges, 8059 markings/sec, 1025 secs
lola: STP completed || 10 tries, 9630548 fired transitions, 1030 secs || 8664944 markings, 67856233 edges, 8462 markings/sec, 1030 secs
lola: STP completed || 10 tries, 9680633 fired transitions, 1035 secs || 8709751 markings, 68194685 edges, 8961 markings/sec, 1035 secs
lola: STP completed || 10 tries, 9731391 fired transitions, 1040 secs || 8754580 markings, 68537294 edges, 8966 markings/sec, 1040 secs
lola: STP completed || 10 tries, 9782094 fired transitions, 1045 secs || 8799665 markings, 68879121 edges, 9017 markings/sec, 1045 secs
lola: STP completed || 10 tries, 9832791 fired transitions, 1050 secs || 8844657 markings, 69222815 edges, 8998 markings/sec, 1050 secs
lola: STP completed || 10 tries, 9879455 fired transitions, 1055 secs || 8886988 markings, 69542557 edges, 8466 markings/sec, 1055 secs
lola: STP completed || 10 tries, 9922700 fired transitions, 1060 secs || 8926781 markings, 69846883 edges, 7959 markings/sec, 1060 secs
lola: STP completed || 10 tries, 9966317 fired transitions, 1065 secs || 8966323 markings, 70149489 edges, 7908 markings/sec, 1065 secs
lola: STP completed || 11 tries, 10009858 fired transitions, 1070 secs || 9005274 markings, 70472568 edges, 7790 markings/sec, 1070 secs
lola: STP completed || 11 tries, 10053807 fired transitions, 1075 secs || 9045179 markings, 70794306 edges, 7981 markings/sec, 1075 secs
lola: STP completed || 11 tries, 10101876 fired transitions, 1080 secs || 9088612 markings, 71122960 edges, 8687 markings/sec, 1080 secs
lola: STP completed || 11 tries, 10152865 fired transitions, 1085 secs || 9133851 markings, 71465098 edges, 9048 markings/sec, 1085 secs
lola: STP completed || 11 tries, 10203682 fired transitions, 1090 secs || 9178814 markings, 71805126 edges, 8993 markings/sec, 1090 secs
lola: STP completed || 11 tries, 10254670 fired transitions, 1095 secs || 9224478 markings, 72159919 edges, 9133 markings/sec, 1095 secs
lola: STP completed || 11 tries, 10305903 fired transitions, 1100 secs || 9269987 markings, 72507709 edges, 9102 markings/sec, 1100 secs
lola: STP completed || 11 tries, 10356995 fired transitions, 1105 secs || 9315260 markings, 72860968 edges, 9055 markings/sec, 1105 secs
lola: STP completed || 11 tries, 10408033 fired transitions, 1110 secs || 9360275 markings, 73207535 edges, 9003 markings/sec, 1110 secs
lola: STP completed || 11 tries, 10458860 fired transitions, 1115 secs || 9405314 markings, 73548484 edges, 9008 markings/sec, 1115 secs
lola: STP completed || 11 tries, 10509962 fired transitions, 1120 secs || 9450591 markings, 73896388 edges, 9055 markings/sec, 1120 secs
lola: STP completed || 11 tries, 10560892 fired transitions, 1125 secs || 9495577 markings, 74238356 edges, 8997 markings/sec, 1125 secs
lola: STP completed || 11 tries, 10612000 fired transitions, 1130 secs || 9540991 markings, 74586435 edges, 9083 markings/sec, 1130 secs
lola: STP completed || 11 tries, 10662785 fired transitions, 1135 secs || 9585957 markings, 74928717 edges, 8993 markings/sec, 1135 secs
lola: STP completed || 11 tries, 10713558 fired transitions, 1140 secs || 9630803 markings, 75270495 edges, 8969 markings/sec, 1140 secs
lola: STP completed || 11 tries, 10762335 fired transitions, 1145 secs || 9674591 markings, 75603072 edges, 8758 markings/sec, 1145 secs
lola: STP completed || 11 tries, 10808446 fired transitions, 1150 secs || 9717737 markings, 75934140 edges, 8629 markings/sec, 1150 secs
lola: STP completed || 11 tries, 10853981 fired transitions, 1155 secs || 9758089 markings, 76240493 edges, 8070 markings/sec, 1155 secs
lola: STP completed || 11 tries, 10904209 fired transitions, 1160 secs || 9804073 markings, 76592314 edges, 9197 markings/sec, 1160 secs
lola: STP completed || 11 tries, 10955461 fired transitions, 1165 secs || 9851375 markings, 76963022 edges, 9460 markings/sec, 1165 secs
lola: STP completed || 12 tries, 11006372 fired transitions, 1170 secs || 9898993 markings, 77318519 edges, 9524 markings/sec, 1170 secs
lola: STP completed || 12 tries, 11058189 fired transitions, 1175 secs || 9949230 markings, 77684526 edges, 10047 markings/sec, 1175 secs
lola: STP completed || 12 tries, 11110381 fired transitions, 1180 secs || 9999325 markings, 78058207 edges, 10019 markings/sec, 1180 secs
lola: STP completed || 12 tries, 11161120 fired transitions, 1185 secs || 10047710 markings, 78410863 edges, 9677 markings/sec, 1185 secs
lola: STP completed || 12 tries, 11208315 fired transitions, 1190 secs || 10093323 markings, 78741370 edges, 9123 markings/sec, 1190 secs
lola: STP completed || 12 tries, 11255537 fired transitions, 1195 secs || 10139011 markings, 79075054 edges, 9138 markings/sec, 1195 secs
lola: STP completed || 12 tries, 11302886 fired transitions, 1200 secs || 10183761 markings, 79416415 edges, 8950 markings/sec, 1200 secs
lola: STP completed || 12 tries, 11350406 fired transitions, 1205 secs || 10228389 markings, 79784105 edges, 8926 markings/sec, 1205 secs
lola: STP completed || 12 tries, 11398064 fired transitions, 1210 secs || 10272424 markings, 80136957 edges, 8807 markings/sec, 1210 secs
lola: STP completed || 12 tries, 11445130 fired transitions, 1215 secs || 10317700 markings, 80467837 edges, 9055 markings/sec, 1215 secs
lola: STP completed || 12 tries, 11492169 fired transitions, 1220 secs || 10362746 markings, 80795415 edges, 9009 markings/sec, 1220 secs
lola: STP completed || 12 tries, 11543246 fired transitions, 1225 secs || 10411549 markings, 81149581 edges, 9761 markings/sec, 1225 secs
lola: STP completed || 12 tries, 11595029 fired transitions, 1230 secs || 10460864 markings, 81509070 edges, 9863 markings/sec, 1230 secs
lola: STP completed || 12 tries, 11647099 fired transitions, 1235 secs || 10508757 markings, 81909059 edges, 9579 markings/sec, 1235 secs
lola: STP completed || 12 tries, 11698851 fired transitions, 1240 secs || 10557938 markings, 82273960 edges, 9836 markings/sec, 1240 secs
lola: STP completed || 12 tries, 11750370 fired transitions, 1245 secs || 10606774 markings, 82640719 edges, 9767 markings/sec, 1245 secs
lola: STP completed || 12 tries, 11801972 fired transitions, 1250 secs || 10655805 markings, 83006242 edges, 9806 markings/sec, 1250 secs
lola: STP completed || 12 tries, 11853822 fired transitions, 1255 secs || 10705391 markings, 83370102 edges, 9917 markings/sec, 1255 secs
lola: STP completed || 12 tries, 11905852 fired transitions, 1260 secs || 10754857 markings, 83734772 edges, 9893 markings/sec, 1260 secs
lola: STP completed || 12 tries, 11957008 fired transitions, 1265 secs || 10803343 markings, 84088018 edges, 9697 markings/sec, 1265 secs
lola: STP completed || 13 tries, 12008792 fired transitions, 1270 secs || 10852073 markings, 84460166 edges, 9746 markings/sec, 1270 secs
lola: STP completed || 13 tries, 12059964 fired transitions, 1275 secs || 10898660 markings, 84826403 edges, 9317 markings/sec, 1275 secs
lola: STP completed || 13 tries, 12109149 fired transitions, 1280 secs || 10943746 markings, 85174385 edges, 9017 markings/sec, 1280 secs
lola: STP completed || 13 tries, 12159150 fired transitions, 1285 secs || 10990055 markings, 85532467 edges, 9262 markings/sec, 1285 secs
lola: STP completed || 13 tries, 12210188 fired transitions, 1290 secs || 11036651 markings, 85913435 edges, 9319 markings/sec, 1290 secs
lola: STP completed || 13 tries, 12261616 fired transitions, 1295 secs || 11083466 markings, 86269518 edges, 9363 markings/sec, 1295 secs
lola: STP completed || 13 tries, 12312534 fired transitions, 1300 secs || 11130057 markings, 86622972 edges, 9318 markings/sec, 1300 secs
lola: STP completed || 13 tries, 12363689 fired transitions, 1305 secs || 11176622 markings, 86979908 edges, 9313 markings/sec, 1305 secs
lola: STP completed || 13 tries, 12414925 fired transitions, 1310 secs || 11223539 markings, 87338743 edges, 9383 markings/sec, 1310 secs
lola: STP completed || 13 tries, 12466136 fired transitions, 1315 secs || 11270876 markings, 87702469 edges, 9467 markings/sec, 1315 secs
lola: STP completed || 13 tries, 12517271 fired transitions, 1320 secs || 11317860 markings, 88069621 edges, 9397 markings/sec, 1320 secs
lola: STP completed || 13 tries, 12568538 fired transitions, 1325 secs || 11365530 markings, 88447242 edges, 9534 markings/sec, 1325 secs
lola: STP completed || 13 tries, 12619808 fired transitions, 1330 secs || 11412524 markings, 88809013 edges, 9399 markings/sec, 1330 secs
lola: STP completed || 13 tries, 12671320 fired transitions, 1335 secs || 11459545 markings, 89166960 edges, 9404 markings/sec, 1335 secs
lola: STP completed || 13 tries, 12722791 fired transitions, 1340 secs || 11506475 markings, 89524874 edges, 9386 markings/sec, 1340 secs
lola: STP completed || 13 tries, 12774030 fired transitions, 1345 secs || 11553455 markings, 89884995 edges, 9396 markings/sec, 1345 secs
lola: STP completed || 13 tries, 12825364 fired transitions, 1350 secs || 11600190 markings, 90251299 edges, 9347 markings/sec, 1350 secs
lola: STP completed || 13 tries, 12876689 fired transitions, 1355 secs || 11647134 markings, 90611576 edges, 9389 markings/sec, 1355 secs
lola: STP completed || 13 tries, 12928126 fired transitions, 1360 secs || 11693369 markings, 90967375 edges, 9247 markings/sec, 1360 secs
lola: STP completed || 13 tries, 12979477 fired transitions, 1365 secs || 11740317 markings, 91327189 edges, 9390 markings/sec, 1365 secs
lola: STP completed || 14 tries, 13031026 fired transitions, 1370 secs || 11787404 markings, 91674868 edges, 9417 markings/sec, 1370 secs
lola: STP completed || 14 tries, 13082965 fired transitions, 1375 secs || 11834883 markings, 92022858 edges, 9496 markings/sec, 1375 secs
lola: STP completed || 14 tries, 13135172 fired transitions, 1380 secs || 11882934 markings, 92378833 edges, 9610 markings/sec, 1380 secs
lola: STP completed || 14 tries, 13187391 fired transitions, 1385 secs || 11930476 markings, 92732688 edges, 9508 markings/sec, 1385 secs
lola: STP completed || 14 tries, 13239733 fired transitions, 1390 secs || 11980181 markings, 93099825 edges, 9941 markings/sec, 1390 secs
lola: STP completed || 14 tries, 13291546 fired transitions, 1395 secs || 12028252 markings, 93457838 edges, 9614 markings/sec, 1395 secs
lola: STP completed || 14 tries, 13343322 fired transitions, 1400 secs || 12075833 markings, 93805269 edges, 9516 markings/sec, 1400 secs
lola: STP completed || 14 tries, 13395080 fired transitions, 1405 secs || 12123595 markings, 94151851 edges, 9552 markings/sec, 1405 secs
lola: STP completed || 14 tries, 13446863 fired transitions, 1410 secs || 12171733 markings, 94502461 edges, 9628 markings/sec, 1410 secs
lola: STP completed || 14 tries, 13498926 fired transitions, 1415 secs || 12220156 markings, 94861256 edges, 9685 markings/sec, 1415 secs
lola: STP completed || 14 tries, 13551181 fired transitions, 1420 secs || 12268898 markings, 95222661 edges, 9748 markings/sec, 1420 secs
lola: STP completed || 14 tries, 13602914 fired transitions, 1425 secs || 12316814 markings, 95568230 edges, 9583 markings/sec, 1425 secs
lola: STP completed || 14 tries, 13650797 fired transitions, 1430 secs || 12359947 markings, 95883934 edges, 8627 markings/sec, 1430 secs
lola: STP completed || 14 tries, 13700150 fired transitions, 1435 secs || 12404854 markings, 96204333 edges, 8981 markings/sec, 1435 secs
lola: STP completed || 14 tries, 13752115 fired transitions, 1440 secs || 12451462 markings, 96547103 edges, 9322 markings/sec, 1440 secs
lola: STP completed || 14 tries, 13804355 fired transitions, 1445 secs || 12501462 markings, 96911377 edges, 10000 markings/sec, 1445 secs
lola: STP completed || 14 tries, 13856735 fired transitions, 1450 secs || 12551620 markings, 97275067 edges, 10032 markings/sec, 1450 secs
lola: STP completed || 14 tries, 13909359 fired transitions, 1455 secs || 12601690 markings, 97641752 edges, 10014 markings/sec, 1455 secs
lola: STP completed || 14 tries, 13961449 fired transitions, 1460 secs || 12651726 markings, 97992111 edges, 10007 markings/sec, 1460 secs
lola: STP completed || 15 tries, 14013699 fired transitions, 1465 secs || 12701810 markings, 98362726 edges, 10017 markings/sec, 1465 secs
lola: STP completed || 15 tries, 14065744 fired transitions, 1470 secs || 12751315 markings, 98728348 edges, 9901 markings/sec, 1470 secs
lola: STP completed || 15 tries, 14117919 fired transitions, 1475 secs || 12801145 markings, 99091536 edges, 9966 markings/sec, 1475 secs
lola: STP completed || 15 tries, 14170118 fired transitions, 1480 secs || 12850843 markings, 99466421 edges, 9940 markings/sec, 1480 secs
lola: STP completed || 15 tries, 14221811 fired transitions, 1485 secs || 12898539 markings, 99811068 edges, 9539 markings/sec, 1485 secs
lola: STP completed || 15 tries, 14273675 fired transitions, 1490 secs || 12945950 markings, 100156016 edges, 9482 markings/sec, 1490 secs
lola: STP completed || 15 tries, 14325633 fired transitions, 1495 secs || 12993447 markings, 100503065 edges, 9499 markings/sec, 1495 secs
lola: STP completed || 15 tries, 14377701 fired transitions, 1500 secs || 13040722 markings, 100851958 edges, 9455 markings/sec, 1500 secs
lola: STP completed || 15 tries, 14429764 fired transitions, 1505 secs || 13090487 markings, 101226924 edges, 9953 markings/sec, 1505 secs
lola: STP completed || 15 tries, 14481773 fired transitions, 1510 secs || 13140625 markings, 101590996 edges, 10028 markings/sec, 1510 secs
lola: STP completed || 15 tries, 14531037 fired transitions, 1515 secs || 13188412 markings, 101938652 edges, 9557 markings/sec, 1515 secs
lola: STP completed || 15 tries, 14578067 fired transitions, 1520 secs || 13233445 markings, 102271288 edges, 9007 markings/sec, 1520 secs
lola: STP completed || 15 tries, 14624783 fired transitions, 1525 secs || 13276313 markings, 102583542 edges, 8574 markings/sec, 1525 secs
lola: STP completed || 15 tries, 14671661 fired transitions, 1530 secs || 13319258 markings, 102896204 edges, 8589 markings/sec, 1530 secs
lola: STP completed || 15 tries, 14718150 fired transitions, 1535 secs || 13362150 markings, 103206950 edges, 8578 markings/sec, 1535 secs
lola: STP completed || 15 tries, 14765262 fired transitions, 1540 secs || 13405455 markings, 103523665 edges, 8661 markings/sec, 1540 secs
lola: STP completed || 15 tries, 14812467 fired transitions, 1545 secs || 13450829 markings, 103855021 edges, 9075 markings/sec, 1545 secs
lola: STP completed || 15 tries, 14859293 fired transitions, 1550 secs || 13496209 markings, 104181650 edges, 9076 markings/sec, 1550 secs
lola: STP completed || 15 tries, 14905958 fired transitions, 1555 secs || 13540564 markings, 104516655 edges, 8871 markings/sec, 1555 secs
lola: STP completed || 15 tries, 14952831 fired transitions, 1560 secs || 13585230 markings, 104822083 edges, 8933 markings/sec, 1560 secs
lola: STP completed || 15 tries, 14999585 fired transitions, 1565 secs || 13629976 markings, 105154154 edges, 8949 markings/sec, 1565 secs
lola: STP completed || 16 tries, 15046569 fired transitions, 1570 secs || 13672853 markings, 105508461 edges, 8575 markings/sec, 1570 secs
lola: STP completed || 16 tries, 15093699 fired transitions, 1575 secs || 13717155 markings, 105839447 edges, 8860 markings/sec, 1575 secs
lola: STP completed || 16 tries, 15140194 fired transitions, 1580 secs || 13759044 markings, 106144984 edges, 8378 markings/sec, 1580 secs
lola: STP completed || 16 tries, 15187387 fired transitions, 1585 secs || 13802486 markings, 106458565 edges, 8688 markings/sec, 1585 secs
lola: STP completed || 16 tries, 15234810 fired transitions, 1590 secs || 13844276 markings, 106784841 edges, 8358 markings/sec, 1590 secs
lola: STP completed || 16 tries, 15282130 fired transitions, 1595 secs || 13887707 markings, 107094517 edges, 8686 markings/sec, 1595 secs
lola: STP completed || 16 tries, 15329190 fired transitions, 1600 secs || 13929807 markings, 107416912 edges, 8420 markings/sec, 1600 secs
lola: STP completed || 16 tries, 15375526 fired transitions, 1605 secs || 13972395 markings, 107729130 edges, 8518 markings/sec, 1605 secs
lola: STP completed || 16 tries, 15421937 fired transitions, 1610 secs || 14014929 markings, 108036277 edges, 8507 markings/sec, 1610 secs
lola: STP completed || 16 tries, 15467342 fired transitions, 1615 secs || 14056332 markings, 108336542 edges, 8281 markings/sec, 1615 secs
lola: STP completed || 16 tries, 15513823 fired transitions, 1620 secs || 14098413 markings, 108644701 edges, 8416 markings/sec, 1620 secs
lola: STP completed || 16 tries, 15560438 fired transitions, 1625 secs || 14140198 markings, 108966490 edges, 8357 markings/sec, 1625 secs
lola: STP completed || 16 tries, 15607346 fired transitions, 1630 secs || 14183547 markings, 109284667 edges, 8670 markings/sec, 1630 secs
lola: STP completed || 16 tries, 15654547 fired transitions, 1635 secs || 14228190 markings, 109614712 edges, 8929 markings/sec, 1635 secs
lola: STP completed || 16 tries, 15700828 fired transitions, 1640 secs || 14271147 markings, 109924229 edges, 8591 markings/sec, 1640 secs
lola: STP completed || 16 tries, 15746888 fired transitions, 1645 secs || 14314885 markings, 110243256 edges, 8748 markings/sec, 1645 secs
lola: STP completed || 16 tries, 15793714 fired transitions, 1650 secs || 14359040 markings, 110567962 edges, 8831 markings/sec, 1650 secs
lola: STP completed || 16 tries, 15840678 fired transitions, 1655 secs || 14403881 markings, 110891498 edges, 8968 markings/sec, 1655 secs
lola: STP completed || 16 tries, 15886283 fired transitions, 1660 secs || 14447501 markings, 111212601 edges, 8724 markings/sec, 1660 secs
lola: STP completed || 16 tries, 15932661 fired transitions, 1665 secs || 14491643 markings, 111533601 edges, 8828 markings/sec, 1665 secs
lola: STP completed || 16 tries, 15979622 fired transitions, 1670 secs || 14535677 markings, 111853061 edges, 8807 markings/sec, 1670 secs
lola: STP completed || 17 tries, 16025891 fired transitions, 1675 secs || 14578746 markings, 112172140 edges, 8614 markings/sec, 1675 secs
lola: STP completed || 17 tries, 16071725 fired transitions, 1680 secs || 14620842 markings, 112494705 edges, 8419 markings/sec, 1680 secs
lola: STP completed || 17 tries, 16117521 fired transitions, 1685 secs || 14662919 markings, 112814456 edges, 8415 markings/sec, 1685 secs
lola: STP completed || 17 tries, 16163186 fired transitions, 1690 secs || 14704362 markings, 113130874 edges, 8289 markings/sec, 1690 secs
lola: STP completed || 17 tries, 16208962 fired transitions, 1695 secs || 14746589 markings, 113451813 edges, 8445 markings/sec, 1695 secs
lola: STP completed || 17 tries, 16254318 fired transitions, 1700 secs || 14787019 markings, 113758580 edges, 8086 markings/sec, 1700 secs
lola: STP completed || 17 tries, 16299262 fired transitions, 1705 secs || 14826192 markings, 114055865 edges, 7835 markings/sec, 1705 secs
lola: STP completed || 17 tries, 16344386 fired transitions, 1710 secs || 14865116 markings, 114358837 edges, 7785 markings/sec, 1710 secs
lola: STP completed || 17 tries, 16389223 fired transitions, 1715 secs || 14902784 markings, 114638559 edges, 7534 markings/sec, 1715 secs
lola: STP completed || 17 tries, 16434297 fired transitions, 1720 secs || 14940140 markings, 114922612 edges, 7471 markings/sec, 1720 secs
lola: STP completed || 17 tries, 16479428 fired transitions, 1725 secs || 14977897 markings, 115204282 edges, 7551 markings/sec, 1725 secs
lola: STP completed || 17 tries, 16524915 fired transitions, 1730 secs || 15014859 markings, 115501293 edges, 7392 markings/sec, 1730 secs
lola: STP completed || 17 tries, 16570183 fired transitions, 1735 secs || 15052036 markings, 115798880 edges, 7435 markings/sec, 1735 secs
lola: STP completed || 17 tries, 16615301 fired transitions, 1740 secs || 15089633 markings, 116081401 edges, 7519 markings/sec, 1740 secs
lola: STP completed || 17 tries, 16660253 fired transitions, 1745 secs || 15127250 markings, 116362188 edges, 7523 markings/sec, 1745 secs
lola: STP completed || 17 tries, 16705217 fired transitions, 1750 secs || 15164791 markings, 116643831 edges, 7508 markings/sec, 1750 secs
lola: STP completed || 17 tries, 16750531 fired transitions, 1755 secs || 15203971 markings, 116935937 edges, 7836 markings/sec, 1755 secs
lola: STP completed || 17 tries, 16795077 fired transitions, 1760 secs || 15243250 markings, 117233527 edges, 7856 markings/sec, 1760 secs
lola: STP completed || 17 tries, 16839697 fired transitions, 1765 secs || 15282805 markings, 117534940 edges, 7911 markings/sec, 1765 secs
lola: STP completed || 17 tries, 16884970 fired transitions, 1770 secs || 15322413 markings, 117835088 edges, 7922 markings/sec, 1770 secs
lola: STP completed || 17 tries, 16930285 fired transitions, 1775 secs || 15362466 markings, 118138674 edges, 8011 markings/sec, 1775 secs
lola: STP completed || 17 tries, 16975109 fired transitions, 1780 secs || 15402174 markings, 118442893 edges, 7942 markings/sec, 1780 secs
lola: STP completed || 18 tries, 17020409 fired transitions, 1785 secs || 15442574 markings, 118743254 edges, 8080 markings/sec, 1785 secs
lola: STP completed || 18 tries, 17066204 fired transitions, 1790 secs || 15483730 markings, 119046258 edges, 8231 markings/sec, 1790 secs
lola: STP completed || 18 tries, 17111455 fired transitions, 1795 secs || 15524752 markings, 119352182 edges, 8204 markings/sec, 1795 secs
lola: STP completed || 18 tries, 17156470 fired transitions, 1800 secs || 15564945 markings, 119652673 edges, 8039 markings/sec, 1800 secs
lola: STP completed || 18 tries, 17201760 fired transitions, 1805 secs || 15605800 markings, 119949335 edges, 8171 markings/sec, 1805 secs
lola: STP completed || 18 tries, 17247531 fired transitions, 1810 secs || 15646788 markings, 120246270 edges, 8198 markings/sec, 1810 secs
lola: STP completed || 18 tries, 17292748 fired transitions, 1815 secs || 15686763 markings, 120532722 edges, 7995 markings/sec, 1815 secs
lola: STP completed || 18 tries, 17337670 fired transitions, 1820 secs || 15726389 markings, 120820011 edges, 7925 markings/sec, 1820 secs
lola: STP completed || 18 tries, 17382641 fired transitions, 1825 secs || 15765026 markings, 121097791 edges, 7727 markings/sec, 1825 secs
lola: STP completed || 18 tries, 17428147 fired transitions, 1830 secs || 15804146 markings, 121378752 edges, 7824 markings/sec, 1830 secs
lola: STP completed || 18 tries, 17473346 fired transitions, 1835 secs || 15841863 markings, 121678684 edges, 7543 markings/sec, 1835 secs
lola: STP completed || 18 tries, 17518873 fired transitions, 1840 secs || 15882163 markings, 121978285 edges, 8060 markings/sec, 1840 secs
lola: STP completed || 18 tries, 17564810 fired transitions, 1845 secs || 15923557 markings, 122291061 edges, 8279 markings/sec, 1845 secs
lola: STP completed || 18 tries, 17609828 fired transitions, 1850 secs || 15962893 markings, 122577580 edges, 7867 markings/sec, 1850 secs
lola: STP completed || 18 tries, 17655156 fired transitions, 1855 secs || 16001988 markings, 122865543 edges, 7819 markings/sec, 1855 secs
lola: STP completed || 18 tries, 17700428 fired transitions, 1860 secs || 16040996 markings, 123147622 edges, 7802 markings/sec, 1860 secs
lola: STP completed || 18 tries, 17746055 fired transitions, 1865 secs || 16082191 markings, 123454291 edges, 8239 markings/sec, 1865 secs
lola: STP completed || 18 tries, 17792085 fired transitions, 1870 secs || 16125668 markings, 123777781 edges, 8695 markings/sec, 1870 secs
lola: STP completed || 18 tries, 17835963 fired transitions, 1875 secs || 16168543 markings, 124099344 edges, 8575 markings/sec, 1875 secs
lola: STP completed || 18 tries, 17880290 fired transitions, 1880 secs || 16210289 markings, 124415342 edges, 8349 markings/sec, 1880 secs
lola: STP completed || 18 tries, 17924209 fired transitions, 1885 secs || 16250737 markings, 124734717 edges, 8090 markings/sec, 1885 secs
lola: STP completed || 18 tries, 17967515 fired transitions, 1890 secs || 16292098 markings, 125036013 edges, 8272 markings/sec, 1890 secs
lola: STP completed || 19 tries, 18010631 fired transitions, 1895 secs || 16332837 markings, 125337612 edges, 8148 markings/sec, 1895 secs
lola: STP completed || 19 tries, 18053530 fired transitions, 1900 secs || 16372131 markings, 125637584 edges, 7859 markings/sec, 1900 secs
lola: STP completed || 19 tries, 18096362 fired transitions, 1905 secs || 16411795 markings, 125943117 edges, 7933 markings/sec, 1905 secs
lola: STP completed || 19 tries, 18139152 fired transitions, 1910 secs || 16451374 markings, 126250525 edges, 7916 markings/sec, 1910 secs
lola: STP completed || 19 tries, 18181835 fired transitions, 1915 secs || 16490575 markings, 126550645 edges, 7840 markings/sec, 1915 secs
lola: STP completed || 19 tries, 18225038 fired transitions, 1920 secs || 16530627 markings, 126860274 edges, 8010 markings/sec, 1920 secs
lola: STP completed || 19 tries, 18268767 fired transitions, 1925 secs || 16570691 markings, 127177282 edges, 8013 markings/sec, 1925 secs
lola: STP completed || 19 tries, 18311969 fired transitions, 1930 secs || 16610254 markings, 127479102 edges, 7913 markings/sec, 1930 secs
lola: STP completed || 19 tries, 18355159 fired transitions, 1935 secs || 16649646 markings, 127782528 edges, 7878 markings/sec, 1935 secs
lola: STP completed || 19 tries, 18398739 fired transitions, 1940 secs || 16690309 markings, 128091998 edges, 8133 markings/sec, 1940 secs
lola: STP completed || 19 tries, 18444006 fired transitions, 1945 secs || 16733324 markings, 128417849 edges, 8603 markings/sec, 1945 secs
lola: STP completed || 19 tries, 18495367 fired transitions, 1950 secs || 16780495 markings, 128777823 edges, 9434 markings/sec, 1950 secs
lola: STP completed || 19 tries, 18546804 fired transitions, 1955 secs || 16827837 markings, 129138587 edges, 9468 markings/sec, 1955 secs
lola: STP completed || 19 tries, 18596700 fired transitions, 1960 secs || 16874232 markings, 129494836 edges, 9279 markings/sec, 1960 secs
lola: STP completed || 19 tries, 18648054 fired transitions, 1965 secs || 16921351 markings, 129856607 edges, 9424 markings/sec, 1965 secs
lola: STP completed || 19 tries, 18699425 fired transitions, 1970 secs || 16968517 markings, 130214133 edges, 9433 markings/sec, 1970 secs
lola: STP completed || 19 tries, 18750836 fired transitions, 1975 secs || 17015641 markings, 130571757 edges, 9425 markings/sec, 1975 secs
lola: STP completed || 19 tries, 18802086 fired transitions, 1980 secs || 17062387 markings, 130931490 edges, 9349 markings/sec, 1980 secs
lola: STP completed || 19 tries, 18853475 fired transitions, 1985 secs || 17109214 markings, 131290041 edges, 9365 markings/sec, 1985 secs
lola: STP completed || 19 tries, 18905159 fired transitions, 1990 secs || 17156116 markings, 131645706 edges, 9380 markings/sec, 1990 secs
lola: STP completed || 19 tries, 18956512 fired transitions, 1995 secs || 17202762 markings, 132003326 edges, 9329 markings/sec, 1995 secs
lola: STP completed || 20 tries, 19006681 fired transitions, 2000 secs || 17247755 markings, 132353590 edges, 8999 markings/sec, 2000 secs
lola: STP completed || 20 tries, 19057923 fired transitions, 2005 secs || 17294557 markings, 132714998 edges, 9360 markings/sec, 2005 secs
lola: STP completed || 20 tries, 19109375 fired transitions, 2010 secs || 17341471 markings, 133082838 edges, 9383 markings/sec, 2010 secs
lola: STP completed || 20 tries, 19160468 fired transitions, 2015 secs || 17388274 markings, 133455471 edges, 9361 markings/sec, 2015 secs
lola: STP completed || 20 tries, 19211866 fired transitions, 2020 secs || 17435178 markings, 133820935 edges, 9381 markings/sec, 2020 secs
lola: STP completed || 20 tries, 19263338 fired transitions, 2025 secs || 17481964 markings, 134180276 edges, 9357 markings/sec, 2025 secs
lola: STP completed || 20 tries, 19314527 fired transitions, 2030 secs || 17528286 markings, 134533905 edges, 9264 markings/sec, 2030 secs
lola: STP completed || 20 tries, 19365845 fired transitions, 2035 secs || 17574695 markings, 134895759 edges, 9282 markings/sec, 2035 secs
lola: STP completed || 20 tries, 19413659 fired transitions, 2040 secs || 17617149 markings, 135222295 edges, 8491 markings/sec, 2040 secs
lola: STP completed || 20 tries, 19458500 fired transitions, 2045 secs || 17655313 markings, 135506381 edges, 7633 markings/sec, 2045 secs
lola: STP completed || 20 tries, 19502873 fired transitions, 2050 secs || 17692817 markings, 135791083 edges, 7501 markings/sec, 2050 secs
lola: STP completed || 20 tries, 19547035 fired transitions, 2055 secs || 17730332 markings, 136074583 edges, 7503 markings/sec, 2055 secs
lola: STP completed || 20 tries, 19590558 fired transitions, 2060 secs || 17768124 markings, 136366392 edges, 7558 markings/sec, 2060 secs
lola: STP completed || 20 tries, 19633120 fired transitions, 2065 secs || 17804798 markings, 136641746 edges, 7335 markings/sec, 2065 secs
lola: STP completed || 20 tries, 19675792 fired transitions, 2070 secs || 17841621 markings, 136921161 edges, 7365 markings/sec, 2070 secs
lola: STP completed || 20 tries, 19718219 fired transitions, 2075 secs || 17878460 markings, 137197458 edges, 7368 markings/sec, 2075 secs
lola: STP completed || 20 tries, 19760745 fired transitions, 2080 secs || 17915465 markings, 137481122 edges, 7401 markings/sec, 2080 secs
lola: STP completed || 20 tries, 19803166 fired transitions, 2085 secs || 17952270 markings, 137759964 edges, 7361 markings/sec, 2085 secs
lola: STP completed || 20 tries, 19846246 fired transitions, 2090 secs || 17989237 markings, 138038252 edges, 7393 markings/sec, 2090 secs
lola: STP completed || 20 tries, 19889232 fired transitions, 2095 secs || 18026746 markings, 138329903 edges, 7502 markings/sec, 2095 secs
lola: STP completed || 20 tries, 19931946 fired transitions, 2100 secs || 18064623 markings, 138618905 edges, 7575 markings/sec, 2100 secs
lola: STP completed || 20 tries, 19975121 fired transitions, 2105 secs || 18104157 markings, 138930394 edges, 7907 markings/sec, 2105 secs
lola: STP completed || 21 tries, 20018063 fired transitions, 2110 secs || 18143884 markings, 139236361 edges, 7945 markings/sec, 2110 secs
lola: STP completed || 21 tries, 20061105 fired transitions, 2115 secs || 18183464 markings, 139542213 edges, 7916 markings/sec, 2115 secs
lola: STP completed || 21 tries, 20103722 fired transitions, 2120 secs || 18223013 markings, 139846743 edges, 7910 markings/sec, 2120 secs
lola: STP completed || 21 tries, 20146391 fired transitions, 2125 secs || 18262156 markings, 140143860 edges, 7829 markings/sec, 2125 secs
lola: STP completed || 21 tries, 20188679 fired transitions, 2130 secs || 18301561 markings, 140441440 edges, 7881 markings/sec, 2130 secs
lola: STP completed || 21 tries, 20231389 fired transitions, 2135 secs || 18341140 markings, 140740700 edges, 7916 markings/sec, 2135 secs
lola: STP completed || 21 tries, 20274433 fired transitions, 2140 secs || 18380513 markings, 141037930 edges, 7875 markings/sec, 2140 secs
lola: STP completed || 21 tries, 20317571 fired transitions, 2145 secs || 18420065 markings, 141335887 edges, 7910 markings/sec, 2145 secs
lola: STP completed || 21 tries, 20360258 fired transitions, 2150 secs || 18459515 markings, 141631261 edges, 7890 markings/sec, 2150 secs
lola: STP completed || 21 tries, 20402928 fired transitions, 2155 secs || 18499015 markings, 141933121 edges, 7900 markings/sec, 2155 secs
lola: STP completed || 21 tries, 20445658 fired transitions, 2160 secs || 18538846 markings, 142236456 edges, 7966 markings/sec, 2160 secs
lola: STP completed || 21 tries, 20488441 fired transitions, 2165 secs || 18577657 markings, 142532373 edges, 7762 markings/sec, 2165 secs
lola: STP completed || 21 tries, 20530777 fired transitions, 2170 secs || 18614849 markings, 142811892 edges, 7438 markings/sec, 2170 secs
lola: STP completed || 21 tries, 20573752 fired transitions, 2175 secs || 18651977 markings, 143098008 edges, 7426 markings/sec, 2175 secs
lola: STP completed || 21 tries, 20616482 fired transitions, 2180 secs || 18689339 markings, 143380678 edges, 7472 markings/sec, 2180 secs
lola: STP completed || 21 tries, 20659260 fired transitions, 2185 secs || 18727147 markings, 143664200 edges, 7562 markings/sec, 2185 secs
lola: STP completed || 21 tries, 20701883 fired transitions, 2190 secs || 18764779 markings, 143944356 edges, 7526 markings/sec, 2190 secs
lola: STP completed || 21 tries, 20744907 fired transitions, 2195 secs || 18804012 markings, 144240208 edges, 7847 markings/sec, 2195 secs
lola: STP completed || 21 tries, 20788491 fired transitions, 2200 secs || 18843174 markings, 144538329 edges, 7832 markings/sec, 2200 secs
lola: STP completed || 21 tries, 20832058 fired transitions, 2205 secs || 18882097 markings, 144838035 edges, 7785 markings/sec, 2205 secs
lola: STP completed || 21 tries, 20874896 fired transitions, 2210 secs || 18919910 markings, 145125154 edges, 7563 markings/sec, 2210 secs
lola: STP completed || 21 tries, 20917897 fired transitions, 2215 secs || 18957132 markings, 145408634 edges, 7444 markings/sec, 2215 secs
lola: STP completed || 21 tries, 20960713 fired transitions, 2220 secs || 18994337 markings, 145694515 edges, 7441 markings/sec, 2220 secs
lola: STP completed || 22 tries, 21003298 fired transitions, 2225 secs || 19031638 markings, 145976232 edges, 7460 markings/sec, 2225 secs
lola: STP completed || 22 tries, 21046113 fired transitions, 2230 secs || 19069170 markings, 146269272 edges, 7506 markings/sec, 2230 secs
lola: STP completed || 22 tries, 21088845 fired transitions, 2235 secs || 19106393 markings, 146553998 edges, 7445 markings/sec, 2235 secs
lola: STP completed || 22 tries, 21131574 fired transitions, 2240 secs || 19143744 markings, 146835339 edges, 7470 markings/sec, 2240 secs
lola: STP completed || 22 tries, 21174370 fired transitions, 2245 secs || 19180647 markings, 147111068 edges, 7381 markings/sec, 2245 secs
lola: STP completed || 22 tries, 21216881 fired transitions, 2250 secs || 19216919 markings, 147401665 edges, 7254 markings/sec, 2250 secs
lola: STP completed || 22 tries, 21259569 fired transitions, 2255 secs || 19253736 markings, 147680386 edges, 7363 markings/sec, 2255 secs
lola: STP completed || 22 tries, 21302383 fired transitions, 2260 secs || 19290736 markings, 147963138 edges, 7400 markings/sec, 2260 secs
lola: STP completed || 22 tries, 21344977 fired transitions, 2265 secs || 19327630 markings, 148242351 edges, 7379 markings/sec, 2265 secs
lola: STP completed || 22 tries, 21387685 fired transitions, 2270 secs || 19364716 markings, 148524989 edges, 7417 markings/sec, 2270 secs
lola: STP completed || 22 tries, 21430220 fired transitions, 2275 secs || 19401563 markings, 148806529 edges, 7369 markings/sec, 2275 secs
lola: STP completed || 22 tries, 21472724 fired transitions, 2280 secs || 19438743 markings, 149092679 edges, 7436 markings/sec, 2280 secs
lola: STP completed || 22 tries, 21515287 fired transitions, 2285 secs || 19475905 markings, 149379778 edges, 7432 markings/sec, 2285 secs
lola: STP completed || 22 tries, 21557997 fired transitions, 2290 secs || 19513263 markings, 149670421 edges, 7472 markings/sec, 2290 secs
lola: STP completed || 22 tries, 21600671 fired transitions, 2295 secs || 19550524 markings, 149951962 edges, 7452 markings/sec, 2295 secs
lola: STP completed || 22 tries, 21643457 fired transitions, 2300 secs || 19587617 markings, 150238119 edges, 7419 markings/sec, 2300 secs
lola: STP completed || 22 tries, 21686260 fired transitions, 2305 secs || 19624597 markings, 150523122 edges, 7396 markings/sec, 2305 secs
lola: STP completed || 22 tries, 21728779 fired transitions, 2310 secs || 19661492 markings, 150810180 edges, 7379 markings/sec, 2310 secs
lola: STP completed || 22 tries, 21771415 fired transitions, 2315 secs || 19698427 markings, 151088776 edges, 7387 markings/sec, 2315 secs
lola: STP completed || 22 tries, 21814226 fired transitions, 2320 secs || 19736400 markings, 151383668 edges, 7595 markings/sec, 2320 secs
lola: STP completed || 22 tries, 21856663 fired transitions, 2325 secs || 19774130 markings, 151665500 edges, 7546 markings/sec, 2325 secs
lola: STP completed || 22 tries, 21899059 fired transitions, 2330 secs || 19812198 markings, 151950553 edges, 7614 markings/sec, 2330 secs
lola: STP completed || 22 tries, 21941654 fired transitions, 2335 secs || 19850617 markings, 152255920 edges, 7684 markings/sec, 2335 secs
lola: STP completed || 22 tries, 21984206 fired transitions, 2340 secs || 19888675 markings, 152544349 edges, 7612 markings/sec, 2340 secs
lola: STP completed || 23 tries, 22026790 fired transitions, 2345 secs || 19927204 markings, 152839633 edges, 7706 markings/sec, 2345 secs
lola: STP completed || 23 tries, 22069531 fired transitions, 2350 secs || 19965725 markings, 153131487 edges, 7704 markings/sec, 2350 secs
lola: STP completed || 23 tries, 22112350 fired transitions, 2355 secs || 20004298 markings, 153428801 edges, 7715 markings/sec, 2355 secs
lola: STP completed || 23 tries, 22155341 fired transitions, 2360 secs || 20042625 markings, 153728259 edges, 7665 markings/sec, 2360 secs
lola: STP completed || 23 tries, 22198223 fired transitions, 2365 secs || 20081904 markings, 154033199 edges, 7856 markings/sec, 2365 secs
lola: STP completed || 23 tries, 22241268 fired transitions, 2370 secs || 20121292 markings, 154340952 edges, 7878 markings/sec, 2370 secs
lola: STP completed || 23 tries, 22283929 fired transitions, 2375 secs || 20159518 markings, 154630405 edges, 7645 markings/sec, 2375 secs
lola: STP completed || 23 tries, 22326604 fired transitions, 2380 secs || 20198022 markings, 154921654 edges, 7701 markings/sec, 2380 secs
lola: STP completed || 23 tries, 22369318 fired transitions, 2385 secs || 20236413 markings, 155211263 edges, 7678 markings/sec, 2385 secs
lola: STP completed || 23 tries, 22412131 fired transitions, 2390 secs || 20274595 markings, 155501785 edges, 7636 markings/sec, 2390 secs
lola: STP completed || 23 tries, 22454953 fired transitions, 2395 secs || 20312435 markings, 155797860 edges, 7568 markings/sec, 2395 secs
lola: STP completed || 23 tries, 22497705 fired transitions, 2400 secs || 20350615 markings, 156091985 edges, 7636 markings/sec, 2400 secs
lola: STP completed || 23 tries, 22540100 fired transitions, 2405 secs || 20388486 markings, 156377530 edges, 7574 markings/sec, 2405 secs
lola: STP completed || 23 tries, 22582549 fired transitions, 2410 secs || 20426450 markings, 156663876 edges, 7593 markings/sec, 2410 secs
lola: STP completed || 23 tries, 22624592 fired transitions, 2415 secs || 20464377 markings, 156947310 edges, 7585 markings/sec, 2415 secs
lola: STP completed || 23 tries, 22667046 fired transitions, 2420 secs || 20502349 markings, 157237655 edges, 7594 markings/sec, 2420 secs
lola: STP completed || 23 tries, 22709799 fired transitions, 2425 secs || 20540828 markings, 157532197 edges, 7696 markings/sec, 2425 secs
lola: STP completed || 23 tries, 22752110 fired transitions, 2430 secs || 20578403 markings, 157816176 edges, 7515 markings/sec, 2430 secs
lola: STP completed || 23 tries, 22794289 fired transitions, 2435 secs || 20615838 markings, 158099381 edges, 7487 markings/sec, 2435 secs
lola: STP completed || 23 tries, 22836648 fired transitions, 2440 secs || 20651542 markings, 158384695 edges, 7141 markings/sec, 2440 secs
lola: STP completed || 23 tries, 22879252 fired transitions, 2445 secs || 20687630 markings, 158669345 edges, 7218 markings/sec, 2445 secs
lola: STP completed || 23 tries, 22923759 fired transitions, 2450 secs || 20724511 markings, 158945897 edges, 7376 markings/sec, 2450 secs
lola: STP completed || 23 tries, 22967761 fired transitions, 2455 secs || 20761682 markings, 159226598 edges, 7434 markings/sec, 2455 secs
lola: STP completed || 24 tries, 23009923 fired transitions, 2460 secs || 20797679 markings, 159516416 edges, 7199 markings/sec, 2460 secs
lola: STP completed || 24 tries, 23054849 fired transitions, 2465 secs || 20835204 markings, 159798378 edges, 7505 markings/sec, 2465 secs
lola: STP completed || 24 tries, 23099664 fired transitions, 2470 secs || 20872279 markings, 160075325 edges, 7415 markings/sec, 2470 secs
lola: STP completed || 24 tries, 23143036 fired transitions, 2475 secs || 20908791 markings, 160351154 edges, 7302 markings/sec, 2475 secs
lola: STP completed || 24 tries, 23185829 fired transitions, 2480 secs || 20945445 markings, 160624954 edges, 7331 markings/sec, 2480 secs
lola: STP completed || 24 tries, 23228417 fired transitions, 2485 secs || 20982194 markings, 160903567 edges, 7350 markings/sec, 2485 secs
lola: STP completed || 24 tries, 23270890 fired transitions, 2490 secs || 21018753 markings, 161184151 edges, 7312 markings/sec, 2490 secs
lola: STP completed || 24 tries, 23313483 fired transitions, 2495 secs || 21055546 markings, 161470356 edges, 7359 markings/sec, 2495 secs
lola: STP completed || 24 tries, 23356086 fired transitions, 2500 secs || 21092463 markings, 161750806 edges, 7383 markings/sec, 2500 secs
lola: STP completed || 24 tries, 23398636 fired transitions, 2505 secs || 21129387 markings, 162034278 edges, 7385 markings/sec, 2505 secs
lola: STP completed || 24 tries, 23441408 fired transitions, 2510 secs || 21166174 markings, 162322695 edges, 7357 markings/sec, 2510 secs
lola: STP completed || 24 tries, 23484489 fired transitions, 2515 secs || 21205726 markings, 162627849 edges, 7910 markings/sec, 2515 secs
lola: STP completed || 24 tries, 23527535 fired transitions, 2520 secs || 21245027 markings, 162925731 edges, 7860 markings/sec, 2520 secs
lola: STP completed || 24 tries, 23570584 fired transitions, 2525 secs || 21284448 markings, 163234505 edges, 7884 markings/sec, 2525 secs
lola: STP completed || 24 tries, 23613662 fired transitions, 2530 secs || 21323970 markings, 163544279 edges, 7904 markings/sec, 2530 secs
lola: STP completed || 24 tries, 23656756 fired transitions, 2535 secs || 21363130 markings, 163849022 edges, 7832 markings/sec, 2535 secs
lola: STP completed || 24 tries, 23699546 fired transitions, 2540 secs || 21401366 markings, 164149750 edges, 7647 markings/sec, 2540 secs
lola: STP completed || 24 tries, 23742907 fired transitions, 2545 secs || 21441064 markings, 164462593 edges, 7940 markings/sec, 2545 secs
lola: STP completed || 24 tries, 23785788 fired transitions, 2550 secs || 21480517 markings, 164774818 edges, 7891 markings/sec, 2550 secs
lola: STP completed || 24 tries, 23828406 fired transitions, 2555 secs || 21519597 markings, 165074579 edges, 7816 markings/sec, 2555 secs
lola: STP completed || 24 tries, 23871566 fired transitions, 2560 secs || 21559148 markings, 165377605 edges, 7910 markings/sec, 2560 secs
lola: STP completed || 24 tries, 23914320 fired transitions, 2565 secs || 21597056 markings, 165670907 edges, 7582 markings/sec, 2565 secs
lola: STP completed || 24 tries, 23957180 fired transitions, 2570 secs || 21635406 markings, 165965769 edges, 7670 markings/sec, 2570 secs
lola: STP completed || 24 tries, 23999744 fired transitions, 2575 secs || 21673524 markings, 166269434 edges, 7624 markings/sec, 2575 secs
lola: STP completed || 25 tries, 24042605 fired transitions, 2580 secs || 21711424 markings, 166572247 edges, 7580 markings/sec, 2580 secs
lola: STP completed || 25 tries, 24085523 fired transitions, 2585 secs || 21749953 markings, 166872076 edges, 7706 markings/sec, 2585 secs
lola: STP completed || 25 tries, 24127902 fired transitions, 2590 secs || 21788272 markings, 167164953 edges, 7664 markings/sec, 2590 secs
lola: STP completed || 25 tries, 24170920 fired transitions, 2595 secs || 21828799 markings, 167479098 edges, 8105 markings/sec, 2595 secs
lola: STP completed || 25 tries, 24213984 fired transitions, 2600 secs || 21869825 markings, 167802435 edges, 8205 markings/sec, 2600 secs
lola: STP completed || 25 tries, 24257164 fired transitions, 2605 secs || 21910065 markings, 168124540 edges, 8048 markings/sec, 2605 secs
lola: STP completed || 25 tries, 24299880 fired transitions, 2610 secs || 21950480 markings, 168431217 edges, 8083 markings/sec, 2610 secs
lola: STP completed || 25 tries, 24342403 fired transitions, 2615 secs || 21990493 markings, 168736313 edges, 8003 markings/sec, 2615 secs
lola: STP completed || 25 tries, 24385244 fired transitions, 2620 secs || 22031086 markings, 169043601 edges, 8119 markings/sec, 2620 secs
lola: STP completed || 25 tries, 24428127 fired transitions, 2625 secs || 22072010 markings, 169350592 edges, 8185 markings/sec, 2625 secs
lola: STP completed || 25 tries, 24472857 fired transitions, 2630 secs || 22113181 markings, 169663440 edges, 8234 markings/sec, 2630 secs
lola: STP completed || 25 tries, 24519251 fired transitions, 2635 secs || 22155079 markings, 169982135 edges, 8380 markings/sec, 2635 secs
lola: STP completed || 25 tries, 24565713 fired transitions, 2640 secs || 22196779 markings, 170301653 edges, 8340 markings/sec, 2640 secs
lola: STP completed || 25 tries, 24612244 fired transitions, 2645 secs || 22238636 markings, 170633744 edges, 8371 markings/sec, 2645 secs
lola: STP completed || 25 tries, 24660278 fired transitions, 2650 secs || 22282836 markings, 171001378 edges, 8840 markings/sec, 2650 secs
lola: STP completed || 25 tries, 24711620 fired transitions, 2655 secs || 22329083 markings, 171360353 edges, 9249 markings/sec, 2655 secs
lola: STP completed || 25 tries, 24762700 fired transitions, 2660 secs || 22375565 markings, 171720988 edges, 9296 markings/sec, 2660 secs
lola: STP completed || 25 tries, 24813958 fired transitions, 2665 secs || 22422145 markings, 172077707 edges, 9316 markings/sec, 2665 secs
lola: STP completed || 25 tries, 24865111 fired transitions, 2670 secs || 22468511 markings, 172432334 edges, 9273 markings/sec, 2670 secs
lola: STP completed || 25 tries, 24916482 fired transitions, 2675 secs || 22514779 markings, 172783371 edges, 9254 markings/sec, 2675 secs
lola: STP completed || 25 tries, 24967705 fired transitions, 2680 secs || 22561520 markings, 173136783 edges, 9348 markings/sec, 2680 secs
lola: STP completed || 26 tries, 25013078 fired transitions, 2685 secs || 22604050 markings, 173460969 edges, 8506 markings/sec, 2685 secs
lola: STP completed || 26 tries, 25058809 fired transitions, 2690 secs || 22646408 markings, 173791827 edges, 8472 markings/sec, 2690 secs
lola: STP completed || 26 tries, 25105217 fired transitions, 2695 secs || 22689939 markings, 174118591 edges, 8706 markings/sec, 2695 secs
lola: STP completed || 26 tries, 25151390 fired transitions, 2700 secs || 22733499 markings, 174444195 edges, 8712 markings/sec, 2700 secs
lola: STP completed || 26 tries, 25197005 fired transitions, 2705 secs || 22776285 markings, 174765531 edges, 8557 markings/sec, 2705 secs
lola: STP completed || 26 tries, 25241994 fired transitions, 2710 secs || 22817801 markings, 175070193 edges, 8303 markings/sec, 2710 secs
lola: STP completed || 26 tries, 25287304 fired transitions, 2715 secs || 22858587 markings, 175389198 edges, 8157 markings/sec, 2715 secs
lola: STP completed || 26 tries, 25332793 fired transitions, 2720 secs || 22900715 markings, 175694882 edges, 8426 markings/sec, 2720 secs
lola: STP completed || 26 tries, 25377483 fired transitions, 2725 secs || 22940316 markings, 175983890 edges, 7920 markings/sec, 2725 secs
lola: STP completed || 26 tries, 25422065 fired transitions, 2730 secs || 22979448 markings, 176268479 edges, 7826 markings/sec, 2730 secs
lola: STP completed || 26 tries, 25466605 fired transitions, 2735 secs || 23018182 markings, 176554837 edges, 7747 markings/sec, 2735 secs
lola: STP completed || 26 tries, 25511397 fired transitions, 2740 secs || 23057040 markings, 176840089 edges, 7772 markings/sec, 2740 secs
lola: STP completed || 26 tries, 25556146 fired transitions, 2745 secs || 23095970 markings, 177121059 edges, 7786 markings/sec, 2745 secs
lola: STP completed || 26 tries, 25601730 fired transitions, 2750 secs || 23135041 markings, 177408087 edges, 7814 markings/sec, 2750 secs
lola: STP completed || 26 tries, 25647282 fired transitions, 2755 secs || 23174399 markings, 177694849 edges, 7872 markings/sec, 2755 secs
lola: STP completed || 26 tries, 25693029 fired transitions, 2760 secs || 23214039 markings, 177982857 edges, 7928 markings/sec, 2760 secs
lola: STP completed || 26 tries, 25738609 fired transitions, 2765 secs || 23253477 markings, 178269229 edges, 7888 markings/sec, 2765 secs
lola: STP completed || 26 tries, 25783214 fired transitions, 2770 secs || 23292280 markings, 178554233 edges, 7761 markings/sec, 2770 secs
lola: STP completed || 26 tries, 25828749 fired transitions, 2775 secs || 23331466 markings, 178827440 edges, 7837 markings/sec, 2775 secs
lola: STP completed || 26 tries, 25873889 fired transitions, 2780 secs || 23370867 markings, 179116177 edges, 7880 markings/sec, 2780 secs
lola: STP completed || 26 tries, 25919519 fired transitions, 2785 secs || 23410616 markings, 179404648 edges, 7950 markings/sec, 2785 secs
lola: STP completed || 26 tries, 25964802 fired transitions, 2790 secs || 23449832 markings, 179691011 edges, 7843 markings/sec, 2790 secs
lola: STP completed || 27 tries, 26010348 fired transitions, 2795 secs || 23489373 markings, 179977229 edges, 7908 markings/sec, 2795 secs
lola: STP completed || 27 tries, 26056116 fired transitions, 2800 secs || 23529100 markings, 180267227 edges, 7945 markings/sec, 2800 secs
lola: STP completed || 27 tries, 26101570 fired transitions, 2805 secs || 23568475 markings, 180556720 edges, 7875 markings/sec, 2805 secs
lola: STP completed || 27 tries, 26147201 fired transitions, 2810 secs || 23608187 markings, 180849080 edges, 7942 markings/sec, 2810 secs
lola: STP completed || 27 tries, 26193137 fired transitions, 2815 secs || 23648871 markings, 181147586 edges, 8137 markings/sec, 2815 secs
lola: STP completed || 27 tries, 26239031 fired transitions, 2820 secs || 23689810 markings, 181448206 edges, 8188 markings/sec, 2820 secs
lola: STP completed || 27 tries, 26283475 fired transitions, 2825 secs || 23729545 markings, 181767727 edges, 7947 markings/sec, 2825 secs
lola: STP completed || 27 tries, 26327670 fired transitions, 2830 secs || 23768351 markings, 182122564 edges, 7761 markings/sec, 2830 secs
lola: STP completed || 27 tries, 26373643 fired transitions, 2835 secs || 23809073 markings, 182419247 edges, 8144 markings/sec, 2835 secs
lola: STP completed || 27 tries, 26419443 fired transitions, 2840 secs || 23849637 markings, 182714878 edges, 8113 markings/sec, 2840 secs
lola: STP completed || 27 tries, 26463404 fired transitions, 2845 secs || 23890176 markings, 183008323 edges, 8108 markings/sec, 2845 secs
lola: STP completed || 27 tries, 26509024 fired transitions, 2850 secs || 23930622 markings, 183305950 edges, 8089 markings/sec, 2850 secs
lola: STP completed || 27 tries, 26555034 fired transitions, 2855 secs || 23971375 markings, 183607248 edges, 8151 markings/sec, 2855 secs
lola: STP completed || 27 tries, 26600966 fired transitions, 2860 secs || 24012131 markings, 183902859 edges, 8151 markings/sec, 2860 secs
lola: STP completed || 27 tries, 26647069 fired transitions, 2865 secs || 24053001 markings, 184198773 edges, 8174 markings/sec, 2865 secs
lola: STP completed || 27 tries, 26691537 fired transitions, 2870 secs || 24093353 markings, 184492631 edges, 8070 markings/sec, 2870 secs
lola: STP completed || 27 tries, 26737119 fired transitions, 2875 secs || 24132937 markings, 184781411 edges, 7917 markings/sec, 2875 secs
lola: STP completed || 27 tries, 26782560 fired transitions, 2880 secs || 24172616 markings, 185066237 edges, 7936 markings/sec, 2880 secs
lola: STP completed || 27 tries, 26828064 fired transitions, 2885 secs || 24211709 markings, 185352780 edges, 7819 markings/sec, 2885 secs
lola: STP completed || 27 tries, 26873571 fired transitions, 2890 secs || 24250658 markings, 185635659 edges, 7790 markings/sec, 2890 secs
lola: STP completed || 27 tries, 26919265 fired transitions, 2895 secs || 24290406 markings, 185923472 edges, 7950 markings/sec, 2895 secs
lola: STP completed || 27 tries, 26963381 fired transitions, 2900 secs || 24331544 markings, 186223690 edges, 8228 markings/sec, 2900 secs
lola: STP completed || 28 tries, 27006589 fired transitions, 2905 secs || 24372074 markings, 186522930 edges, 8106 markings/sec, 2905 secs
lola: STP completed || 28 tries, 27049596 fired transitions, 2910 secs || 24411585 markings, 186829400 edges, 7902 markings/sec, 2910 secs
lola: STP completed || 28 tries, 27092693 fired transitions, 2915 secs || 24450771 markings, 187129704 edges, 7837 markings/sec, 2915 secs
lola: STP completed || 28 tries, 27135939 fired transitions, 2920 secs || 24491887 markings, 187441905 edges, 8223 markings/sec, 2920 secs
lola: STP completed || 28 tries, 27179137 fired transitions, 2925 secs || 24533265 markings, 187756655 edges, 8276 markings/sec, 2925 secs
lola: STP completed || 28 tries, 27222315 fired transitions, 2930 secs || 24574649 markings, 188078989 edges, 8277 markings/sec, 2930 secs
lola: STP completed || 28 tries, 27265498 fired transitions, 2935 secs || 24615878 markings, 188394200 edges, 8246 markings/sec, 2935 secs
lola: STP completed || 28 tries, 27308924 fired transitions, 2940 secs || 24656918 markings, 188725179 edges, 8208 markings/sec, 2940 secs
lola: STP completed || 28 tries, 27352103 fired transitions, 2945 secs || 24697801 markings, 189032959 edges, 8177 markings/sec, 2945 secs
lola: STP completed || 28 tries, 27395210 fired transitions, 2950 secs || 24738787 markings, 189342548 edges, 8197 markings/sec, 2950 secs
lola: STP completed || 28 tries, 27437840 fired transitions, 2955 secs || 24777987 markings, 189635986 edges, 7840 markings/sec, 2955 secs
lola: STP completed || 28 tries, 27480641 fired transitions, 2960 secs || 24816257 markings, 189924683 edges, 7654 markings/sec, 2960 secs
lola: STP completed || 28 tries, 27523370 fired transitions, 2965 secs || 24854503 markings, 190226573 edges, 7649 markings/sec, 2965 secs
lola: STP completed || 28 tries, 27567519 fired transitions, 2970 secs || 24893331 markings, 190518457 edges, 7766 markings/sec, 2970 secs
lola: STP completed || 28 tries, 27612648 fired transitions, 2975 secs || 24932456 markings, 190813817 edges, 7825 markings/sec, 2975 secs
lola: STP completed || 28 tries, 27658071 fired transitions, 2980 secs || 24971801 markings, 191113157 edges, 7869 markings/sec, 2980 secs
lola: STP completed || 28 tries, 27703241 fired transitions, 2985 secs || 25010092 markings, 191405131 edges, 7658 markings/sec, 2985 secs
lola: STP completed || 28 tries, 27748475 fired transitions, 2990 secs || 25048734 markings, 191695240 edges, 7728 markings/sec, 2990 secs
lola: STP completed || 28 tries, 27793290 fired transitions, 2995 secs || 25087990 markings, 191992179 edges, 7851 markings/sec, 2995 secs
lola: STP completed || 28 tries, 27838295 fired transitions, 3000 secs || 25127178 markings, 192289208 edges, 7838 markings/sec, 3000 secs
lola: STP completed || 28 tries, 27883295 fired transitions, 3005 secs || 25166357 markings, 192589977 edges, 7836 markings/sec, 3005 secs
----- Kill lola and sara stderr -----
lola: STP completed || 28 tries, 27926881 fired transitions, 3010 secs || 25206660 markings, 192894263 edges, 8061 markings/sec, 3010 secs
lola: STP completed || 28 tries, 27970164 fired transitions, 3015 secs || 25247667 markings, 193208969 edges, 8201 markings/sec, 3015 secs
lola: STP completed || 29 tries, 28013085 fired transitions, 3020 secs || 25288455 markings, 193518536 edges, 8158 markings/sec, 3020 secs
lola: STP completed || 29 tries, 28056877 fired transitions, 3025 secs || 25329707 markings, 193832106 edges, 8250 markings/sec, 3025 secs
lola: STP completed || 29 tries, 28107517 fired transitions, 3030 secs || 25374650 markings, 194178810 edges, 8989 markings/sec, 3030 secs
lola: STP completed || 29 tries, 28158576 fired transitions, 3035 secs || 25420803 markings, 194532046 edges, 9231 markings/sec, 3035 secs
lola: STP completed || 29 tries, 28210016 fired transitions, 3040 secs || 25467732 markings, 194886047 edges, 9386 markings/sec, 3040 secs
lola: STP completed || 29 tries, 28261159 fired transitions, 3045 secs || 25513952 markings, 195234030 edges, 9244 markings/sec, 3045 secs
lola: STP completed || 29 tries, 28308482 fired transitions, 3050 secs || 25555372 markings, 195552344 edges, 8284 markings/sec, 3050 secs
lola: STP completed || 29 tries, 28353492 fired transitions, 3055 secs || 25594162 markings, 195846804 edges, 7758 markings/sec, 3055 secs
lola: STP completed || 29 tries, 28399380 fired transitions, 3060 secs || 25633999 markings, 196148459 edges, 7967 markings/sec, 3060 secs
lola: STP completed || 29 tries, 28448215 fired transitions, 3065 secs || 25676589 markings, 196482649 edges, 8518 markings/sec, 3065 secs
lola: STP completed || 29 tries, 28493514 fired transitions, 3070 secs || 25715844 markings, 196788115 edges, 7851 markings/sec, 3070 secs
lola: STP completed || 29 tries, 28538976 fired transitions, 3075 secs || 25756019 markings, 197097340 edges, 8035 markings/sec, 3075 secs
lola: STP completed || 29 tries, 28584312 fired transitions, 3080 secs || 25795651 markings, 197406435 edges, 7926 markings/sec, 3080 secs
lola: STP completed || 29 tries, 28629912 fired transitions, 3085 secs || 25835286 markings, 197709303 edges, 7927 markings/sec, 3085 secs
lola: STP completed || 29 tries, 28675132 fired transitions, 3090 secs || 25874276 markings, 198001412 edges, 7798 markings/sec, 3090 secs
lola: STP completed || 29 tries, 28719207 fired transitions, 3095 secs || 25912717 markings, 198291306 edges, 7688 markings/sec, 3095 secs
lola: STP completed || 29 tries, 28764486 fired transitions, 3100 secs || 25951948 markings, 198589561 edges, 7846 markings/sec, 3100 secs
lola: STP completed || 29 tries, 28810785 fired transitions, 3105 secs || 25993587 markings, 198906846 edges, 8328 markings/sec, 3105 secs
lola: STP completed || 29 tries, 28857152 fired transitions, 3110 secs || 26034960 markings, 199221714 edges, 8275 markings/sec, 3110 secs
lola: STP completed || 29 tries, 28903104 fired transitions, 3115 secs || 26076552 markings, 199535337 edges, 8318 markings/sec, 3115 secs
lola: STP completed || 29 tries, 28950044 fired transitions, 3120 secs || 26114883 markings, 199831133 edges, 7666 markings/sec, 3120 secs
lola: STP completed || 29 tries, 28996293 fired transitions, 3125 secs || 26156158 markings, 200142444 edges, 8255 markings/sec, 3125 secs
lola: STP completed || 30 tries, 29042587 fired transitions, 3130 secs || 26196737 markings, 200457709 edges, 8116 markings/sec, 3130 secs
lola: STP completed || 30 tries, 29088768 fired transitions, 3135 secs || 26237726 markings, 200775328 edges, 8198 markings/sec, 3135 secs
lola: STP completed || 30 tries, 29134862 fired transitions, 3140 secs || 26279267 markings, 201102099 edges, 8308 markings/sec, 3140 secs
lola: STP completed || 30 tries, 29180794 fired transitions, 3145 secs || 26319500 markings, 201409193 edges, 8047 markings/sec, 3145 secs
lola: STP completed || 30 tries, 29226771 fired transitions, 3150 secs || 26359599 markings, 201711854 edges, 8020 markings/sec, 3150 secs
lola: STP completed || 30 tries, 29272828 fired transitions, 3155 secs || 26399832 markings, 202026219 edges, 8047 markings/sec, 3155 secs
lola: STP completed || 30 tries, 29319079 fired transitions, 3160 secs || 26439222 markings, 202323620 edges, 7878 markings/sec, 3160 secs
lola: STP completed || 30 tries, 29364793 fired transitions, 3165 secs || 26478986 markings, 202620221 edges, 7953 markings/sec, 3165 secs
lola: STP completed || 30 tries, 29411103 fired transitions, 3170 secs || 26509848 markings, 202858432 edges, 6172 markings/sec, 3170 secs
lola: STP completed || 30 tries, 29444561 fired transitions, 3175 secs || 26529769 markings, 203023242 edges, 3984 markings/sec, 3175 secs
lola: STP completed || 30 tries, 29505613 fired transitions, 3180 secs || 26534981 markings, 203065857 edges, 1042 markings/sec, 3180 secs
lola: STP completed || 30 tries, 29549301 fired transitions, 3185 secs || 26535633 markings, 203070632 edges, 130 markings/sec, 3185 secs
lola: STP completed || 30 tries, 29559215 fired transitions, 3190 secs || 26535640 markings, 203070669 edges, 1 markings/sec, 3190 secs
lola: STP completed || 30 tries, 29559751 fired transitions, 3195 secs || 26535642 markings, 203070691 edges, 0 markings/sec, 3195 secs
lola: STP completed || 30 tries, 29563786 fired transitions, 3200 secs || 26535644 markings, 203070710 edges, 0 markings/sec, 3200 secs
lola: STP completed || 30 tries, 29565305 fired transitions, 3205 secs || 26535656 markings, 203070793 edges, 2 markings/sec, 3205 secs
lola: STP completed || 30 tries, 29565864 fired transitions, 3210 secs || 26535657 markings, 203070815 edges, 0 markings/sec, 3210 secs
lola: STP completed || 30 tries, 29565895 fired transitions, 3215 secs || 26535663 markings, 203070828 edges, 1 markings/sec, 3215 secs
lola: STP completed || 30 tries, 29569223 fired transitions, 3220 secs || 26535665 markings, 203070844 edges, 0 markings/sec, 3220 secs
lola: STP completed || 30 tries, 29572008 fired transitions, 3225 secs || 26535667 markings, 203070877 edges, 0 markings/sec, 3225 secs
lola: STP completed || 30 tries, 29573691 fired transitions, 3230 secs || 26535671 markings, 203070900 edges, 1 markings/sec, 3230 secs
Killed
FORMULA Raft-PT-10-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-10.tgz
mv Raft-PT-10 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-structural"
echo " Input is Raft-PT-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r143-qhx2-152673584600167"
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 ;