About the Execution of M4M.full for ProductionCell-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.290 | 2373736.00 | 4780717.00 | 6696.60 | ? | 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 212K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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 9.4K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K 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 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 43K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is ProductionCell-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r142-qhx2-152673583500006
=====================================================================
--------------------
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 ProductionCell-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527943419009
BK_STOP 1527945792745
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using ProductionCell-PT-none as instance name.
Using ProductionCell as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 17895, 'Memory': 589.52, 'Tool': 'gspn'}, {'Time': 18156, 'Memory': 561.8, 'Tool': 'gspn'}, {'Time': 21660, 'Memory': 2351.67, 'Tool': 'marcie'}, {'Time': 21922, 'Memory': 2351.75, 'Tool': 'marcie'}, {'Time': 30472, 'Memory': 867.3, 'Tool': 'itstools'}, {'Time': 30520, 'Memory': 858.31, 'Tool': 'itstools'}, {'Time': 1203608, 'Memory': 15949.04, 'Tool': 'lola'}, {'Time': 1239903, 'Memory': 15952.11, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 67.2594579491478x far from the best tool gspn.
ReachabilityDeadlock lola ProductionCell-PT-none...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
ProductionCell-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ProductionCell-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ ProductionCell-PT-none @ 3538 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 310/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 176 places, 134 transitions, 126 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 200 transition conflict sets
lola: TASK
lola: reading formula from ProductionCell-PT-none-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 16 bytes per marking, with 2 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 3680 variables and 11446 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 3 tries, 2474461 fired transitions, 0 secs || 642423 markings, 948507 edges, 128485 markings/sec, 0 secs
lola: STP completed || 5 tries, 4729896 fired transitions, 5 secs || 1186790 markings, 1811074 edges, 108873 markings/sec, 5 secs
lola: STP completed || 7 tries, 6477205 fired transitions, 10 secs || 1616840 markings, 2511822 edges, 86010 markings/sec, 10 secs
lola: STP completed || 9 tries, 8902655 fired transitions, 15 secs || 2154240 markings, 3416962 edges, 107480 markings/sec, 15 secs
lola: STP completed || 12 tries, 11732843 fired transitions, 20 secs || 2784653 markings, 4496822 edges, 126083 markings/sec, 20 secs
lola: STP completed || 14 tries, 13953638 fired transitions, 25 secs || 3283078 markings, 5360480 edges, 99685 markings/sec, 25 secs
lola: STP completed || 17 tries, 16603106 fired transitions, 30 secs || 3849834 markings, 6362156 edges, 113351 markings/sec, 30 secs
lola: STP completed || 20 tries, 19223097 fired transitions, 35 secs || 4411486 markings, 7370732 edges, 112330 markings/sec, 35 secs
lola: STP completed || 22 tries, 21074464 fired transitions, 40 secs || 4833067 markings, 8131099 edges, 84316 markings/sec, 40 secs
lola: STP completed || 23 tries, 22961358 fired transitions, 45 secs || 5251998 markings, 8891093 edges, 83786 markings/sec, 45 secs
lola: STP completed || 25 tries, 24853219 fired transitions, 50 secs || 5669608 markings, 9646750 edges, 83522 markings/sec, 50 secs
lola: STP completed || 27 tries, 26749664 fired transitions, 55 secs || 6089520 markings, 10402073 edges, 83982 markings/sec, 55 secs
lola: STP completed || 29 tries, 28645266 fired transitions, 60 secs || 6501190 markings, 11161053 edges, 82334 markings/sec, 60 secs
lola: STP completed || 31 tries, 30552882 fired transitions, 65 secs || 6909626 markings, 11892419 edges, 81687 markings/sec, 65 secs
lola: STP completed || 33 tries, 32464119 fired transitions, 70 secs || 7325463 markings, 12652417 edges, 83167 markings/sec, 70 secs
lola: STP completed || 35 tries, 34369357 fired transitions, 75 secs || 7735532 markings, 13414036 edges, 82014 markings/sec, 75 secs
lola: STP completed || 37 tries, 36275218 fired transitions, 80 secs || 8140379 markings, 14169775 edges, 80969 markings/sec, 80 secs
lola: STP completed || 39 tries, 38686230 fired transitions, 85 secs || 8637859 markings, 15112926 edges, 99496 markings/sec, 85 secs
lola: STP completed || 42 tries, 41234574 fired transitions, 90 secs || 9157803 markings, 16118290 edges, 103989 markings/sec, 90 secs
lola: STP completed || 44 tries, 43724956 fired transitions, 95 secs || 9656535 markings, 17069597 edges, 99746 markings/sec, 95 secs
lola: STP completed || 46 tries, 45959178 fired transitions, 100 secs || 10122932 markings, 17949318 edges, 93279 markings/sec, 100 secs
lola: STP completed || 49 tries, 48281660 fired transitions, 105 secs || 10586425 markings, 18844347 edges, 92699 markings/sec, 105 secs
lola: STP completed || 51 tries, 50839073 fired transitions, 110 secs || 11092298 markings, 19830810 edges, 101175 markings/sec, 110 secs
lola: STP completed || 53 tries, 52933086 fired transitions, 115 secs || 11517340 markings, 20654971 edges, 85008 markings/sec, 115 secs
lola: STP completed || 55 tries, 54890709 fired transitions, 120 secs || 11925384 markings, 21437545 edges, 81609 markings/sec, 120 secs
lola: STP completed || 57 tries, 56947782 fired transitions, 125 secs || 12351978 markings, 22278600 edges, 85319 markings/sec, 125 secs
lola: STP completed || 60 tries, 59619414 fired transitions, 130 secs || 12888320 markings, 23332440 edges, 107268 markings/sec, 130 secs
lola: STP completed || 62 tries, 61968593 fired transitions, 135 secs || 13359355 markings, 24263111 edges, 94207 markings/sec, 135 secs
lola: STP completed || 65 tries, 64306411 fired transitions, 140 secs || 13827708 markings, 25181783 edges, 93671 markings/sec, 140 secs
lola: STP completed || 67 tries, 66919187 fired transitions, 145 secs || 14340475 markings, 26240473 edges, 102553 markings/sec, 145 secs
lola: STP completed || 70 tries, 69653670 fired transitions, 150 secs || 14877284 markings, 27319295 edges, 107362 markings/sec, 150 secs
lola: STP completed || 73 tries, 72004710 fired transitions, 155 secs || 15346578 markings, 28249642 edges, 93859 markings/sec, 155 secs
lola: STP completed || 75 tries, 74659757 fired transitions, 160 secs || 15861103 markings, 29281219 edges, 102905 markings/sec, 160 secs
lola: STP completed || 78 tries, 77250757 fired transitions, 165 secs || 16360611 markings, 30296807 edges, 99902 markings/sec, 165 secs
lola: STP completed || 80 tries, 79211838 fired transitions, 170 secs || 16767298 markings, 31095492 edges, 81337 markings/sec, 170 secs
lola: STP completed || 82 tries, 81131930 fired transitions, 175 secs || 17166756 markings, 31882065 edges, 79892 markings/sec, 175 secs
lola: STP completed || 84 tries, 83089361 fired transitions, 180 secs || 17570697 markings, 32689868 edges, 80788 markings/sec, 180 secs
lola: STP completed || 86 tries, 85055869 fired transitions, 185 secs || 17970481 markings, 33486281 edges, 79957 markings/sec, 185 secs
lola: STP completed || 88 tries, 87025865 fired transitions, 190 secs || 18365670 markings, 34277590 edges, 79038 markings/sec, 190 secs
lola: STP completed || 90 tries, 89001298 fired transitions, 195 secs || 18768604 markings, 35071986 edges, 80587 markings/sec, 195 secs
lola: STP completed || 91 tries, 90949172 fired transitions, 200 secs || 19161562 markings, 35874413 edges, 78592 markings/sec, 200 secs
lola: STP completed || 93 tries, 92916894 fired transitions, 205 secs || 19570800 markings, 36703349 edges, 81848 markings/sec, 205 secs
lola: STP completed || 95 tries, 94901257 fired transitions, 210 secs || 19979028 markings, 37517932 edges, 81646 markings/sec, 210 secs
lola: STP completed || 97 tries, 96884367 fired transitions, 215 secs || 20394279 markings, 38362929 edges, 83050 markings/sec, 215 secs
lola: STP completed || 99 tries, 98881469 fired transitions, 220 secs || 20804706 markings, 39190078 edges, 82085 markings/sec, 220 secs
lola: STP completed || 101 tries, 100871899 fired transitions, 225 secs || 21217325 markings, 40040053 edges, 82524 markings/sec, 225 secs
lola: STP completed || 103 tries, 102852337 fired transitions, 230 secs || 21619930 markings, 40877623 edges, 80521 markings/sec, 230 secs
lola: STP completed || 105 tries, 104758095 fired transitions, 235 secs || 22030836 markings, 41706947 edges, 82181 markings/sec, 235 secs
lola: STP completed || 107 tries, 106716139 fired transitions, 240 secs || 22437367 markings, 42534795 edges, 81306 markings/sec, 240 secs
lola: STP completed || 109 tries, 108708103 fired transitions, 245 secs || 22853090 markings, 43372824 edges, 83145 markings/sec, 245 secs
lola: STP completed || 111 tries, 110695615 fired transitions, 250 secs || 23259401 markings, 44212083 edges, 81262 markings/sec, 250 secs
lola: STP completed || 113 tries, 112706549 fired transitions, 255 secs || 23669333 markings, 45031399 edges, 81986 markings/sec, 255 secs
lola: STP completed || 115 tries, 114695697 fired transitions, 260 secs || 24064134 markings, 45862211 edges, 78960 markings/sec, 260 secs
lola: STP completed || 117 tries, 116656557 fired transitions, 265 secs || 24481361 markings, 46699274 edges, 83445 markings/sec, 265 secs
lola: STP completed || 119 tries, 118624942 fired transitions, 270 secs || 24887235 markings, 47538877 edges, 81175 markings/sec, 270 secs
lola: STP completed || 121 tries, 120615660 fired transitions, 275 secs || 25295827 markings, 48380818 edges, 81718 markings/sec, 275 secs
lola: STP completed || 123 tries, 122616541 fired transitions, 280 secs || 25705242 markings, 49230982 edges, 81883 markings/sec, 280 secs
lola: STP completed || 125 tries, 124622575 fired transitions, 285 secs || 26118916 markings, 50087941 edges, 82735 markings/sec, 285 secs
lola: STP completed || 127 tries, 126618516 fired transitions, 290 secs || 26537351 markings, 50923774 edges, 83687 markings/sec, 290 secs
lola: STP completed || 129 tries, 128599719 fired transitions, 295 secs || 26925481 markings, 51733570 edges, 77626 markings/sec, 295 secs
lola: STP completed || 131 tries, 130599011 fired transitions, 300 secs || 27328871 markings, 52575633 edges, 80678 markings/sec, 300 secs
lola: STP completed || 133 tries, 132612236 fired transitions, 305 secs || 27720119 markings, 53376442 edges, 78250 markings/sec, 305 secs
lola: STP completed || 135 tries, 134602096 fired transitions, 310 secs || 28115720 markings, 54191959 edges, 79120 markings/sec, 310 secs
lola: STP completed || 137 tries, 136570728 fired transitions, 315 secs || 28517858 markings, 55019369 edges, 80428 markings/sec, 315 secs
lola: STP completed || 139 tries, 138549209 fired transitions, 320 secs || 28917623 markings, 55843678 edges, 79953 markings/sec, 320 secs
lola: STP completed || 141 tries, 140516579 fired transitions, 325 secs || 29333710 markings, 56706108 edges, 83217 markings/sec, 325 secs
lola: STP completed || 143 tries, 142469888 fired transitions, 330 secs || 29742298 markings, 57532658 edges, 81718 markings/sec, 330 secs
lola: STP completed || 145 tries, 144464680 fired transitions, 335 secs || 30155942 markings, 58383471 edges, 82729 markings/sec, 335 secs
lola: STP completed || 147 tries, 146458110 fired transitions, 340 secs || 30561875 markings, 59272405 edges, 81187 markings/sec, 340 secs
lola: STP completed || 149 tries, 148461345 fired transitions, 345 secs || 30969174 markings, 60103487 edges, 81460 markings/sec, 345 secs
lola: STP completed || 151 tries, 150443362 fired transitions, 350 secs || 31396614 markings, 61023012 edges, 85488 markings/sec, 350 secs
lola: STP completed || 153 tries, 152416787 fired transitions, 355 secs || 31778384 markings, 61826603 edges, 76354 markings/sec, 355 secs
lola: STP completed || 155 tries, 154357617 fired transitions, 360 secs || 32166702 markings, 62623670 edges, 77664 markings/sec, 360 secs
lola: STP completed || 157 tries, 156341175 fired transitions, 365 secs || 32573917 markings, 63464721 edges, 81443 markings/sec, 365 secs
lola: STP completed || 159 tries, 158346682 fired transitions, 370 secs || 32977622 markings, 64312360 edges, 80741 markings/sec, 370 secs
lola: STP completed || 161 tries, 160365930 fired transitions, 375 secs || 33390689 markings, 65165129 edges, 82613 markings/sec, 375 secs
lola: STP completed || 163 tries, 162352879 fired transitions, 380 secs || 33800883 markings, 66055011 edges, 82039 markings/sec, 380 secs
lola: STP completed || 165 tries, 164327555 fired transitions, 385 secs || 34217616 markings, 66928479 edges, 83347 markings/sec, 385 secs
lola: STP completed || 167 tries, 166339261 fired transitions, 390 secs || 34621772 markings, 67778124 edges, 80831 markings/sec, 390 secs
lola: STP completed || 169 tries, 168372961 fired transitions, 395 secs || 35028611 markings, 68606278 edges, 81368 markings/sec, 395 secs
lola: STP completed || 171 tries, 170396666 fired transitions, 400 secs || 35416429 markings, 69415462 edges, 77564 markings/sec, 400 secs
lola: STP completed || 173 tries, 172397687 fired transitions, 405 secs || 35811484 markings, 70235098 edges, 79011 markings/sec, 405 secs
lola: STP completed || 175 tries, 174356207 fired transitions, 410 secs || 36213455 markings, 71097278 edges, 80394 markings/sec, 410 secs
lola: STP completed || 177 tries, 176335688 fired transitions, 415 secs || 36611301 markings, 71935973 edges, 79569 markings/sec, 415 secs
lola: STP completed || 179 tries, 178340105 fired transitions, 420 secs || 37021427 markings, 72786777 edges, 82025 markings/sec, 420 secs
lola: STP completed || 181 tries, 180324348 fired transitions, 425 secs || 37420070 markings, 73606980 edges, 79729 markings/sec, 425 secs
lola: STP completed || 183 tries, 182301053 fired transitions, 430 secs || 37798919 markings, 74407964 edges, 75770 markings/sec, 430 secs
lola: STP completed || 185 tries, 184274490 fired transitions, 435 secs || 38195454 markings, 75262584 edges, 79307 markings/sec, 435 secs
lola: STP completed || 187 tries, 186299691 fired transitions, 440 secs || 38596935 markings, 76101192 edges, 80296 markings/sec, 440 secs
lola: STP completed || 189 tries, 188290834 fired transitions, 445 secs || 38977182 markings, 76895897 edges, 76049 markings/sec, 445 secs
lola: STP completed || 191 tries, 190228289 fired transitions, 450 secs || 39377930 markings, 77750514 edges, 80150 markings/sec, 450 secs
lola: STP completed || 193 tries, 192181041 fired transitions, 455 secs || 39780489 markings, 78626409 edges, 80512 markings/sec, 455 secs
lola: STP completed || 195 tries, 194190634 fired transitions, 460 secs || 40191214 markings, 79488798 edges, 82145 markings/sec, 460 secs
lola: STP completed || 197 tries, 196204701 fired transitions, 465 secs || 40609736 markings, 80353519 edges, 83704 markings/sec, 465 secs
lola: STP completed || 199 tries, 198186655 fired transitions, 470 secs || 41000983 markings, 81202048 edges, 78249 markings/sec, 470 secs
lola: STP completed || 201 tries, 200160771 fired transitions, 475 secs || 41376102 markings, 81994686 edges, 75024 markings/sec, 475 secs
lola: STP completed || 203 tries, 202138585 fired transitions, 480 secs || 41786397 markings, 82885990 edges, 82059 markings/sec, 480 secs
lola: STP completed || 205 tries, 204135140 fired transitions, 485 secs || 42196840 markings, 83734384 edges, 82089 markings/sec, 485 secs
lola: STP completed || 207 tries, 206032672 fired transitions, 490 secs || 42592816 markings, 84602515 edges, 79195 markings/sec, 490 secs
lola: STP completed || 208 tries, 207996326 fired transitions, 495 secs || 42981417 markings, 85428390 edges, 77720 markings/sec, 495 secs
lola: STP completed || 210 tries, 209986532 fired transitions, 500 secs || 43366968 markings, 86258387 edges, 77110 markings/sec, 500 secs
lola: STP completed || 212 tries, 211993843 fired transitions, 505 secs || 43761535 markings, 87117056 edges, 78913 markings/sec, 505 secs
lola: STP completed || 215 tries, 214002469 fired transitions, 510 secs || 44168964 markings, 87993104 edges, 81486 markings/sec, 510 secs
lola: STP completed || 216 tries, 215996685 fired transitions, 515 secs || 44568056 markings, 88866169 edges, 79818 markings/sec, 515 secs
lola: STP completed || 218 tries, 217953584 fired transitions, 520 secs || 44975368 markings, 89737765 edges, 81462 markings/sec, 520 secs
lola: STP completed || 220 tries, 219868976 fired transitions, 525 secs || 45389666 markings, 90699052 edges, 82860 markings/sec, 525 secs
lola: STP completed || 222 tries, 221859250 fired transitions, 530 secs || 45811530 markings, 91599256 edges, 84373 markings/sec, 530 secs
lola: STP completed || 224 tries, 223766609 fired transitions, 535 secs || 46192402 markings, 92446973 edges, 76174 markings/sec, 535 secs
lola: STP completed || 226 tries, 225722664 fired transitions, 540 secs || 46583476 markings, 93291716 edges, 78215 markings/sec, 540 secs
lola: STP completed || 228 tries, 227691078 fired transitions, 545 secs || 46973902 markings, 94149367 edges, 78085 markings/sec, 545 secs
lola: STP completed || 230 tries, 229698374 fired transitions, 550 secs || 47375687 markings, 94992640 edges, 80357 markings/sec, 550 secs
lola: STP completed || 232 tries, 231719021 fired transitions, 555 secs || 47787269 markings, 95879339 edges, 82316 markings/sec, 555 secs
lola: STP completed || 234 tries, 233740347 fired transitions, 560 secs || 48195161 markings, 96742607 edges, 81578 markings/sec, 560 secs
lola: STP completed || 236 tries, 235719398 fired transitions, 565 secs || 48575341 markings, 97564656 edges, 76036 markings/sec, 565 secs
lola: STP completed || 238 tries, 237698540 fired transitions, 570 secs || 48963189 markings, 98391622 edges, 77570 markings/sec, 570 secs
lola: STP completed || 240 tries, 239687256 fired transitions, 575 secs || 49359862 markings, 99257967 edges, 79335 markings/sec, 575 secs
lola: STP completed || 242 tries, 241817308 fired transitions, 580 secs || 49777144 markings, 100146677 edges, 83456 markings/sec, 580 secs
lola: STP completed || 244 tries, 243772354 fired transitions, 585 secs || 50166046 markings, 100981778 edges, 77780 markings/sec, 585 secs
lola: STP completed || 246 tries, 245746560 fired transitions, 590 secs || 50553534 markings, 101816968 edges, 77498 markings/sec, 590 secs
lola: STP completed || 248 tries, 247827714 fired transitions, 595 secs || 50968415 markings, 102722562 edges, 82976 markings/sec, 595 secs
lola: STP completed || 250 tries, 249772206 fired transitions, 600 secs || 51366624 markings, 103643222 edges, 79642 markings/sec, 600 secs
lola: STP completed || 252 tries, 251772731 fired transitions, 605 secs || 51790427 markings, 104536171 edges, 84761 markings/sec, 605 secs
lola: STP completed || 254 tries, 253750769 fired transitions, 610 secs || 52184562 markings, 105395801 edges, 78827 markings/sec, 610 secs
lola: STP completed || 256 tries, 255768939 fired transitions, 615 secs || 52593687 markings, 106268122 edges, 81825 markings/sec, 615 secs
lola: STP completed || 258 tries, 257774512 fired transitions, 620 secs || 52986808 markings, 107127968 edges, 78624 markings/sec, 620 secs
lola: STP completed || 260 tries, 259824635 fired transitions, 625 secs || 53383046 markings, 107967285 edges, 79248 markings/sec, 625 secs
lola: STP completed || 262 tries, 261866973 fired transitions, 630 secs || 53770468 markings, 108788143 edges, 77484 markings/sec, 630 secs
lola: STP completed || 264 tries, 263869424 fired transitions, 635 secs || 54144781 markings, 109622646 edges, 74863 markings/sec, 635 secs
lola: STP completed || 266 tries, 265893872 fired transitions, 640 secs || 54557116 markings, 110484059 edges, 82467 markings/sec, 640 secs
lola: STP completed || 268 tries, 267905671 fired transitions, 645 secs || 54943686 markings, 111331540 edges, 77314 markings/sec, 645 secs
lola: STP completed || 270 tries, 269918100 fired transitions, 650 secs || 55325860 markings, 112151038 edges, 76435 markings/sec, 650 secs
lola: STP completed || 272 tries, 271918847 fired transitions, 655 secs || 55710948 markings, 112992977 edges, 77018 markings/sec, 655 secs
lola: STP completed || 274 tries, 273936955 fired transitions, 660 secs || 56084995 markings, 113824751 edges, 74809 markings/sec, 660 secs
lola: STP completed || 276 tries, 275953503 fired transitions, 665 secs || 56475637 markings, 114677355 edges, 78128 markings/sec, 665 secs
lola: STP completed || 278 tries, 277966859 fired transitions, 670 secs || 56854840 markings, 115501072 edges, 75841 markings/sec, 670 secs
lola: STP completed || 281 tries, 280148746 fired transitions, 675 secs || 57266061 markings, 116392670 edges, 82244 markings/sec, 675 secs
lola: STP completed || 284 tries, 283086935 fired transitions, 680 secs || 57831068 markings, 117661564 edges, 113001 markings/sec, 680 secs
lola: STP completed || 287 tries, 286044299 fired transitions, 685 secs || 58388636 markings, 118878183 edges, 111514 markings/sec, 685 secs
lola: STP completed || 289 tries, 288857869 fired transitions, 690 secs || 58942096 markings, 120224061 edges, 110692 markings/sec, 690 secs
lola: STP completed || 291 tries, 290833315 fired transitions, 695 secs || 59344576 markings, 121129324 edges, 80496 markings/sec, 695 secs
lola: STP completed || 293 tries, 292802571 fired transitions, 700 secs || 59702242 markings, 121907534 edges, 71533 markings/sec, 700 secs
lola: STP completed || 296 tries, 295351056 fired transitions, 705 secs || 60172060 markings, 122969027 edges, 93964 markings/sec, 705 secs
lola: STP completed || 299 tries, 298153360 fired transitions, 710 secs || 60674793 markings, 124146165 edges, 100547 markings/sec, 710 secs
lola: STP completed || 301 tries, 300159559 fired transitions, 715 secs || 61061975 markings, 124998678 edges, 77436 markings/sec, 715 secs
lola: STP completed || 303 tries, 302152600 fired transitions, 720 secs || 61454576 markings, 125844875 edges, 78520 markings/sec, 720 secs
lola: STP completed || 305 tries, 304122752 fired transitions, 725 secs || 61847955 markings, 126721370 edges, 78676 markings/sec, 725 secs
lola: STP completed || 307 tries, 306104301 fired transitions, 730 secs || 62228830 markings, 127544773 edges, 76175 markings/sec, 730 secs
lola: STP completed || 309 tries, 308052646 fired transitions, 735 secs || 62612380 markings, 128413870 edges, 76710 markings/sec, 735 secs
lola: STP completed || 310 tries, 309952687 fired transitions, 740 secs || 63001652 markings, 129275365 edges, 77854 markings/sec, 740 secs
lola: STP completed || 312 tries, 311909640 fired transitions, 745 secs || 63400459 markings, 130165116 edges, 79761 markings/sec, 745 secs
lola: STP completed || 314 tries, 313883167 fired transitions, 750 secs || 63782394 markings, 131001917 edges, 76387 markings/sec, 750 secs
lola: STP completed || 316 tries, 315852209 fired transitions, 755 secs || 64161782 markings, 131863563 edges, 75878 markings/sec, 755 secs
lola: STP completed || 318 tries, 317830389 fired transitions, 760 secs || 64564175 markings, 132764503 edges, 80479 markings/sec, 760 secs
lola: STP completed || 320 tries, 319789135 fired transitions, 765 secs || 64940021 markings, 133678690 edges, 75169 markings/sec, 765 secs
lola: STP completed || 322 tries, 321790323 fired transitions, 770 secs || 65334093 markings, 134519928 edges, 78814 markings/sec, 770 secs
lola: STP completed || 324 tries, 323738761 fired transitions, 775 secs || 65711875 markings, 135377020 edges, 75556 markings/sec, 775 secs
lola: STP completed || 326 tries, 325681654 fired transitions, 780 secs || 66108242 markings, 136259342 edges, 79273 markings/sec, 780 secs
lola: STP completed || 328 tries, 327623033 fired transitions, 785 secs || 66483451 markings, 137101744 edges, 75042 markings/sec, 785 secs
lola: STP completed || 330 tries, 329586512 fired transitions, 790 secs || 66869289 markings, 137974526 edges, 77168 markings/sec, 790 secs
lola: STP completed || 332 tries, 331553224 fired transitions, 795 secs || 67253513 markings, 138817140 edges, 76845 markings/sec, 795 secs
lola: STP completed || 334 tries, 333469574 fired transitions, 800 secs || 67626447 markings, 139643652 edges, 74587 markings/sec, 800 secs
lola: STP completed || 337 tries, 336321927 fired transitions, 805 secs || 68152047 markings, 140831597 edges, 105120 markings/sec, 805 secs
lola: STP completed || 340 tries, 339257972 fired transitions, 810 secs || 68681339 markings, 142030746 edges, 105858 markings/sec, 810 secs
lola: STP completed || 343 tries, 342157497 fired transitions, 815 secs || 69213905 markings, 143219161 edges, 106513 markings/sec, 815 secs
lola: STP completed || 345 tries, 344824753 fired transitions, 820 secs || 69718733 markings, 144342663 edges, 100966 markings/sec, 820 secs
lola: STP completed || 347 tries, 346847797 fired transitions, 825 secs || 70115479 markings, 145218268 edges, 79349 markings/sec, 825 secs
lola: STP completed || 350 tries, 349751359 fired transitions, 830 secs || 70640789 markings, 146393731 edges, 105062 markings/sec, 830 secs
lola: STP completed || 353 tries, 352190406 fired transitions, 835 secs || 71109082 markings, 147433974 edges, 93659 markings/sec, 835 secs
lola: STP completed || 355 tries, 354474588 fired transitions, 840 secs || 71545329 markings, 148381458 edges, 87249 markings/sec, 840 secs
lola: STP completed || 357 tries, 356426792 fired transitions, 845 secs || 71910416 markings, 149203231 edges, 73017 markings/sec, 845 secs
lola: STP completed || 359 tries, 358381637 fired transitions, 850 secs || 72267494 markings, 150013573 edges, 71416 markings/sec, 850 secs
lola: STP completed || 361 tries, 360338489 fired transitions, 855 secs || 72631765 markings, 150844188 edges, 72854 markings/sec, 855 secs
lola: STP completed || 363 tries, 362652783 fired transitions, 860 secs || 73066879 markings, 151829304 edges, 87023 markings/sec, 860 secs
lola: STP completed || 365 tries, 364918989 fired transitions, 865 secs || 73495323 markings, 152774800 edges, 85689 markings/sec, 865 secs
lola: STP completed || 367 tries, 366960465 fired transitions, 870 secs || 73885629 markings, 153626936 edges, 78061 markings/sec, 870 secs
lola: STP completed || 369 tries, 368778414 fired transitions, 875 secs || 74270379 markings, 154496539 edges, 76950 markings/sec, 875 secs
lola: STP completed || 371 tries, 370803555 fired transitions, 880 secs || 74662367 markings, 155362795 edges, 78398 markings/sec, 880 secs
lola: STP completed || 373 tries, 372759285 fired transitions, 885 secs || 75050621 markings, 156240581 edges, 77651 markings/sec, 885 secs
lola: STP completed || 375 tries, 374752034 fired transitions, 890 secs || 75463161 markings, 157121772 edges, 82508 markings/sec, 890 secs
lola: STP completed || 377 tries, 376764541 fired transitions, 895 secs || 75845911 markings, 157943974 edges, 76550 markings/sec, 895 secs
lola: STP completed || 379 tries, 378809882 fired transitions, 900 secs || 76234698 markings, 158784508 edges, 77757 markings/sec, 900 secs
lola: STP completed || 381 tries, 380784773 fired transitions, 905 secs || 76641167 markings, 159687895 edges, 81294 markings/sec, 905 secs
lola: STP completed || 383 tries, 382769220 fired transitions, 910 secs || 77008965 markings, 160499861 edges, 73560 markings/sec, 910 secs
lola: STP completed || 385 tries, 384740117 fired transitions, 915 secs || 77416924 markings, 161386158 edges, 81592 markings/sec, 915 secs
lola: STP completed || 387 tries, 386776421 fired transitions, 920 secs || 77801251 markings, 162218057 edges, 76865 markings/sec, 920 secs
lola: STP completed || 389 tries, 388816968 fired transitions, 925 secs || 78190007 markings, 163030929 edges, 77751 markings/sec, 925 secs
lola: STP completed || 391 tries, 390862751 fired transitions, 930 secs || 78565223 markings, 163846918 edges, 75043 markings/sec, 930 secs
lola: STP completed || 393 tries, 392894184 fired transitions, 935 secs || 78940309 markings, 164657099 edges, 75017 markings/sec, 935 secs
lola: STP completed || 395 tries, 394932847 fired transitions, 940 secs || 79318117 markings, 165472213 edges, 75562 markings/sec, 940 secs
lola: STP completed || 398 tries, 397520268 fired transitions, 945 secs || 79793406 markings, 166560496 edges, 95058 markings/sec, 945 secs
lola: STP completed || 400 tries, 399984905 fired transitions, 950 secs || 80283894 markings, 167694893 edges, 98098 markings/sec, 950 secs
lola: STP completed || 403 tries, 402000047 fired transitions, 955 secs || 80673287 markings, 168551218 edges, 77879 markings/sec, 955 secs
lola: STP completed || 405 tries, 404000015 fired transitions, 960 secs || 81092753 markings, 169519150 edges, 83893 markings/sec, 960 secs
lola: STP completed || 407 tries, 406009282 fired transitions, 965 secs || 81490893 markings, 170398242 edges, 79628 markings/sec, 965 secs
lola: STP completed || 409 tries, 408007274 fired transitions, 970 secs || 81897137 markings, 171333009 edges, 81249 markings/sec, 970 secs
lola: STP completed || 411 tries, 410551072 fired transitions, 975 secs || 82374375 markings, 172423236 edges, 95448 markings/sec, 975 secs
lola: STP completed || 414 tries, 413263818 fired transitions, 980 secs || 82880662 markings, 173561218 edges, 101257 markings/sec, 980 secs
lola: STP completed || 416 tries, 415288886 fired transitions, 985 secs || 83278976 markings, 174462143 edges, 79663 markings/sec, 985 secs
lola: STP completed || 418 tries, 417290003 fired transitions, 990 secs || 83665525 markings, 175326386 edges, 77310 markings/sec, 990 secs
lola: STP completed || 420 tries, 419465621 fired transitions, 995 secs || 84092542 markings, 176264476 edges, 85403 markings/sec, 995 secs
lola: STP completed || 422 tries, 421856325 fired transitions, 1000 secs || 84537978 markings, 177279485 edges, 89087 markings/sec, 1000 secs
lola: STP completed || 425 tries, 424278775 fired transitions, 1005 secs || 84992634 markings, 178329609 edges, 90931 markings/sec, 1005 secs
lola: STP completed || 428 tries, 427000961 fired transitions, 1010 secs || 85497484 markings, 179570484 edges, 100970 markings/sec, 1010 secs
lola: STP completed || 430 tries, 429325789 fired transitions, 1015 secs || 85931684 markings, 180548309 edges, 86840 markings/sec, 1015 secs
lola: STP completed || 433 tries, 432072211 fired transitions, 1020 secs || 86451777 markings, 181671761 edges, 104019 markings/sec, 1020 secs
lola: STP completed || 435 tries, 434132330 fired transitions, 1025 secs || 86817263 markings, 182488342 edges, 73097 markings/sec, 1025 secs
lola: STP completed || 437 tries, 436162163 fired transitions, 1030 secs || 87197977 markings, 183318228 edges, 76143 markings/sec, 1030 secs
lola: STP completed || 439 tries, 438815705 fired transitions, 1035 secs || 87688603 markings, 184405660 edges, 98125 markings/sec, 1035 secs
lola: STP completed || 441 tries, 440924722 fired transitions, 1040 secs || 88082028 markings, 185295244 edges, 78685 markings/sec, 1040 secs
lola: STP completed || 443 tries, 442915181 fired transitions, 1045 secs || 88455465 markings, 186149073 edges, 74687 markings/sec, 1045 secs
lola: STP completed || 446 tries, 445251804 fired transitions, 1050 secs || 88881050 markings, 187099741 edges, 85117 markings/sec, 1050 secs
lola: STP completed || 449 tries, 448209518 fired transitions, 1055 secs || 89427473 markings, 188317961 edges, 109285 markings/sec, 1055 secs
lola: STP completed || 452 tries, 451133791 fired transitions, 1060 secs || 89987641 markings, 189611322 edges, 112034 markings/sec, 1060 secs
lola: STP completed || 454 tries, 453560048 fired transitions, 1065 secs || 90440505 markings, 190641673 edges, 90573 markings/sec, 1065 secs
lola: STP completed || 456 tries, 455876520 fired transitions, 1070 secs || 90880213 markings, 191585563 edges, 87942 markings/sec, 1070 secs
lola: STP completed || 459 tries, 458137672 fired transitions, 1075 secs || 91278412 markings, 192498883 edges, 79640 markings/sec, 1075 secs
lola: STP completed || 461 tries, 460141437 fired transitions, 1080 secs || 91637200 markings, 193326538 edges, 71758 markings/sec, 1080 secs
lola: STP completed || 463 tries, 462110953 fired transitions, 1085 secs || 92010975 markings, 194198301 edges, 74755 markings/sec, 1085 secs
lola: STP completed || 465 tries, 464086291 fired transitions, 1090 secs || 92390610 markings, 195058735 edges, 75927 markings/sec, 1090 secs
lola: STP completed || 467 tries, 466034903 fired transitions, 1095 secs || 92746226 markings, 195913697 edges, 71123 markings/sec, 1095 secs
lola: STP completed || 468 tries, 467962527 fired transitions, 1100 secs || 93107183 markings, 196769717 edges, 72191 markings/sec, 1100 secs
lola: STP completed || 470 tries, 469919978 fired transitions, 1105 secs || 93485333 markings, 197629394 edges, 75630 markings/sec, 1105 secs
lola: STP completed || 473 tries, 472817733 fired transitions, 1110 secs || 94015426 markings, 198826431 edges, 106019 markings/sec, 1110 secs
lola: STP completed || 476 tries, 475775036 fired transitions, 1115 secs || 94544942 markings, 200102879 edges, 105903 markings/sec, 1115 secs
lola: STP completed || 479 tries, 478724673 fired transitions, 1120 secs || 95072864 markings, 201383481 edges, 105584 markings/sec, 1120 secs
lola: STP completed || 482 tries, 481617680 fired transitions, 1125 secs || 95616295 markings, 202698644 edges, 108686 markings/sec, 1125 secs
lola: STP completed || 485 tries, 484553922 fired transitions, 1130 secs || 96117248 markings, 203956562 edges, 100191 markings/sec, 1130 secs
lola: STP completed || 488 tries, 487520602 fired transitions, 1135 secs || 96663100 markings, 205171596 edges, 109170 markings/sec, 1135 secs
lola: STP completed || 491 tries, 490479852 fired transitions, 1140 secs || 97191845 markings, 206398837 edges, 105749 markings/sec, 1140 secs
lola: STP completed || 494 tries, 493444955 fired transitions, 1145 secs || 97712234 markings, 207623220 edges, 104078 markings/sec, 1145 secs
lola: STP completed || 497 tries, 496407684 fired transitions, 1150 secs || 98242029 markings, 208864205 edges, 105959 markings/sec, 1150 secs
lola: STP completed || 500 tries, 499132391 fired transitions, 1155 secs || 98733514 markings, 210055888 edges, 98297 markings/sec, 1155 secs
lola: STP completed || 503 tries, 502095600 fired transitions, 1160 secs || 99267425 markings, 211272725 edges, 106782 markings/sec, 1160 secs
lola: STP completed || 506 tries, 505067447 fired transitions, 1165 secs || 99789804 markings, 212497868 edges, 104476 markings/sec, 1165 secs
lola: STP completed || 508 tries, 507358523 fired transitions, 1170 secs || 100227088 markings, 213499521 edges, 87457 markings/sec, 1170 secs
lola: STP completed || 510 tries, 509335434 fired transitions, 1175 secs || 100607274 markings, 214408167 edges, 76037 markings/sec, 1175 secs
lola: STP completed || 512 tries, 511311403 fired transitions, 1180 secs || 100994934 markings, 215281452 edges, 77532 markings/sec, 1180 secs
lola: STP completed || 514 tries, 513257153 fired transitions, 1185 secs || 101367925 markings, 216194187 edges, 74598 markings/sec, 1185 secs
lola: STP completed || 516 tries, 515147766 fired transitions, 1190 secs || 101729986 markings, 217192250 edges, 72412 markings/sec, 1190 secs
lola: STP completed || 518 tries, 517039180 fired transitions, 1195 secs || 102094884 markings, 218094283 edges, 72980 markings/sec, 1195 secs
lola: STP completed || 520 tries, 519045163 fired transitions, 1200 secs || 102469069 markings, 218941056 edges, 74837 markings/sec, 1200 secs
lola: STP completed || 522 tries, 521616198 fired transitions, 1205 secs || 102965278 markings, 220163632 edges, 99242 markings/sec, 1205 secs
lola: STP completed || 525 tries, 524500709 fired transitions, 1210 secs || 103510432 markings, 221468226 edges, 109031 markings/sec, 1210 secs
lola: STP completed || 528 tries, 527460234 fired transitions, 1215 secs || 104022371 markings, 222651078 edges, 102388 markings/sec, 1215 secs
lola: STP completed || 531 tries, 530418273 fired transitions, 1220 secs || 104552683 markings, 223847205 edges, 106062 markings/sec, 1220 secs
lola: STP completed || 533 tries, 532494562 fired transitions, 1225 secs || 104942968 markings, 224734593 edges, 78057 markings/sec, 1225 secs
lola: STP completed || 535 tries, 534441149 fired transitions, 1230 secs || 105317623 markings, 225609469 edges, 74931 markings/sec, 1230 secs
lola: STP completed || 537 tries, 536452589 fired transitions, 1235 secs || 105725807 markings, 226513623 edges, 81637 markings/sec, 1235 secs
lola: STP completed || 539 tries, 538467385 fired transitions, 1240 secs || 106120767 markings, 227392552 edges, 78992 markings/sec, 1240 secs
lola: STP completed || 541 tries, 540464420 fired transitions, 1245 secs || 106513458 markings, 228271013 edges, 78538 markings/sec, 1245 secs
lola: STP completed || 543 tries, 542455399 fired transitions, 1250 secs || 106918757 markings, 229171967 edges, 81060 markings/sec, 1250 secs
lola: STP completed || 545 tries, 544516068 fired transitions, 1255 secs || 107332083 markings, 230091104 edges, 82665 markings/sec, 1255 secs
lola: STP completed || 548 tries, 547008522 fired transitions, 1260 secs || 107779334 markings, 231133957 edges, 89450 markings/sec, 1260 secs
lola: STP completed || 550 tries, 549416621 fired transitions, 1265 secs || 108202891 markings, 232105399 edges, 84711 markings/sec, 1265 secs
lola: STP completed || 552 tries, 551420758 fired transitions, 1270 secs || 108566566 markings, 232941430 edges, 72735 markings/sec, 1270 secs
lola: STP completed || 554 tries, 553633475 fired transitions, 1275 secs || 108964056 markings, 233850273 edges, 79498 markings/sec, 1275 secs
lola: STP completed || 556 tries, 555564621 fired transitions, 1280 secs || 109302849 markings, 234726468 edges, 67759 markings/sec, 1280 secs
lola: STP completed || 558 tries, 557598171 fired transitions, 1285 secs || 109678315 markings, 235558943 edges, 75093 markings/sec, 1285 secs
lola: STP completed || 560 tries, 559631923 fired transitions, 1290 secs || 110069608 markings, 236427609 edges, 78259 markings/sec, 1290 secs
lola: STP completed || 562 tries, 561991733 fired transitions, 1295 secs || 110518298 markings, 237408989 edges, 89738 markings/sec, 1295 secs
lola: STP completed || 565 tries, 564112701 fired transitions, 1300 secs || 110930654 markings, 238339689 edges, 82471 markings/sec, 1300 secs
lola: STP completed || 567 tries, 566145757 fired transitions, 1305 secs || 111298421 markings, 239171008 edges, 73553 markings/sec, 1305 secs
lola: STP completed || 569 tries, 568202270 fired transitions, 1310 secs || 111682175 markings, 240020953 edges, 76751 markings/sec, 1310 secs
lola: STP completed || 571 tries, 570266995 fired transitions, 1315 secs || 112063165 markings, 240877768 edges, 76198 markings/sec, 1315 secs
lola: STP completed || 573 tries, 572319564 fired transitions, 1320 secs || 112419804 markings, 241707392 edges, 71328 markings/sec, 1320 secs
lola: STP completed || 575 tries, 574287345 fired transitions, 1325 secs || 112778402 markings, 242547803 edges, 71720 markings/sec, 1325 secs
lola: STP completed || 577 tries, 576270679 fired transitions, 1330 secs || 113163201 markings, 243425739 edges, 76960 markings/sec, 1330 secs
lola: STP completed || 579 tries, 578266091 fired transitions, 1335 secs || 113542934 markings, 244297357 edges, 75947 markings/sec, 1335 secs
lola: STP completed || 581 tries, 580267604 fired transitions, 1340 secs || 113920909 markings, 245138130 edges, 75595 markings/sec, 1340 secs
lola: STP completed || 583 tries, 582289100 fired transitions, 1345 secs || 114293407 markings, 246024634 edges, 74500 markings/sec, 1345 secs
lola: STP completed || 585 tries, 584348774 fired transitions, 1350 secs || 114644970 markings, 246883820 edges, 70313 markings/sec, 1350 secs
lola: STP completed || 587 tries, 586376714 fired transitions, 1355 secs || 114992626 markings, 247755857 edges, 69531 markings/sec, 1355 secs
lola: STP completed || 589 tries, 588445573 fired transitions, 1360 secs || 115351642 markings, 248695704 edges, 71803 markings/sec, 1360 secs
lola: STP completed || 591 tries, 590459614 fired transitions, 1365 secs || 115702499 markings, 249527077 edges, 70171 markings/sec, 1365 secs
lola: STP completed || 593 tries, 592482851 fired transitions, 1370 secs || 116068072 markings, 250357784 edges, 73115 markings/sec, 1370 secs
lola: STP completed || 595 tries, 594501887 fired transitions, 1375 secs || 116415200 markings, 251170933 edges, 69426 markings/sec, 1375 secs
lola: STP completed || 597 tries, 596538530 fired transitions, 1380 secs || 116785020 markings, 252001453 edges, 73964 markings/sec, 1380 secs
lola: STP completed || 599 tries, 598543975 fired transitions, 1385 secs || 117145483 markings, 252827123 edges, 72093 markings/sec, 1385 secs
lola: STP completed || 601 tries, 600491202 fired transitions, 1390 secs || 117489838 markings, 253674182 edges, 68871 markings/sec, 1390 secs
lola: STP completed || 603 tries, 602484399 fired transitions, 1395 secs || 117849996 markings, 254514525 edges, 72032 markings/sec, 1395 secs
lola: STP completed || 605 tries, 604444357 fired transitions, 1400 secs || 118208208 markings, 255397623 edges, 71642 markings/sec, 1400 secs
lola: STP completed || 607 tries, 606453734 fired transitions, 1405 secs || 118583689 markings, 256251728 edges, 75096 markings/sec, 1405 secs
lola: STP completed || 609 tries, 608457135 fired transitions, 1410 secs || 118962412 markings, 257101134 edges, 75745 markings/sec, 1410 secs
lola: STP completed || 611 tries, 610400591 fired transitions, 1415 secs || 119330528 markings, 257988938 edges, 73623 markings/sec, 1415 secs
lola: STP completed || 613 tries, 612313322 fired transitions, 1420 secs || 119677358 markings, 258870375 edges, 69366 markings/sec, 1420 secs
lola: STP completed || 615 tries, 614321673 fired transitions, 1425 secs || 120035752 markings, 259680731 edges, 71679 markings/sec, 1425 secs
lola: STP completed || 617 tries, 616372990 fired transitions, 1430 secs || 120426140 markings, 260521181 edges, 78078 markings/sec, 1430 secs
lola: STP completed || 619 tries, 618422564 fired transitions, 1435 secs || 120811779 markings, 261350355 edges, 77128 markings/sec, 1435 secs
lola: STP completed || 621 tries, 620457116 fired transitions, 1440 secs || 121173354 markings, 262186058 edges, 72315 markings/sec, 1440 secs
lola: STP completed || 623 tries, 622519881 fired transitions, 1445 secs || 121546290 markings, 263004571 edges, 74587 markings/sec, 1445 secs
lola: STP completed || 625 tries, 624496774 fired transitions, 1450 secs || 121886382 markings, 263825461 edges, 68018 markings/sec, 1450 secs
lola: STP completed || 627 tries, 626505780 fired transitions, 1455 secs || 122246775 markings, 264665013 edges, 72079 markings/sec, 1455 secs
lola: STP completed || 629 tries, 628521199 fired transitions, 1460 secs || 122627323 markings, 265529203 edges, 76110 markings/sec, 1460 secs
lola: STP completed || 631 tries, 630524252 fired transitions, 1465 secs || 123000671 markings, 266384729 edges, 74670 markings/sec, 1465 secs
lola: STP completed || 633 tries, 632505412 fired transitions, 1470 secs || 123355540 markings, 267206816 edges, 70974 markings/sec, 1470 secs
lola: STP completed || 635 tries, 634504140 fired transitions, 1475 secs || 123718130 markings, 268067829 edges, 72518 markings/sec, 1475 secs
lola: STP completed || 637 tries, 636504359 fired transitions, 1480 secs || 124076880 markings, 268900159 edges, 71750 markings/sec, 1480 secs
lola: STP completed || 639 tries, 638452945 fired transitions, 1485 secs || 124410758 markings, 269717276 edges, 66776 markings/sec, 1485 secs
lola: STP completed || 641 tries, 640450693 fired transitions, 1490 secs || 124778112 markings, 270563030 edges, 73471 markings/sec, 1490 secs
lola: STP completed || 643 tries, 642520698 fired transitions, 1495 secs || 125172634 markings, 271448457 edges, 78904 markings/sec, 1495 secs
lola: STP completed || 645 tries, 644531015 fired transitions, 1500 secs || 125545193 markings, 272289613 edges, 74512 markings/sec, 1500 secs
lola: STP completed || 647 tries, 646542026 fired transitions, 1505 secs || 125901203 markings, 273131322 edges, 71202 markings/sec, 1505 secs
lola: STP completed || 649 tries, 648549544 fired transitions, 1510 secs || 126268398 markings, 274031124 edges, 73439 markings/sec, 1510 secs
lola: STP completed || 651 tries, 650608152 fired transitions, 1515 secs || 126653603 markings, 274893108 edges, 77041 markings/sec, 1515 secs
lola: STP completed || 653 tries, 652642667 fired transitions, 1520 secs || 127034936 markings, 275770682 edges, 76267 markings/sec, 1520 secs
lola: STP completed || 655 tries, 654701523 fired transitions, 1525 secs || 127388657 markings, 276574585 edges, 70744 markings/sec, 1525 secs
lola: STP completed || 658 tries, 657106433 fired transitions, 1530 secs || 127814050 markings, 277560011 edges, 85079 markings/sec, 1530 secs
lola: STP completed || 660 tries, 659496415 fired transitions, 1535 secs || 128233248 markings, 278560333 edges, 83840 markings/sec, 1535 secs
lola: STP completed || 662 tries, 661760098 fired transitions, 1540 secs || 128604676 markings, 279437933 edges, 74286 markings/sec, 1540 secs
lola: STP completed || 665 tries, 664575459 fired transitions, 1545 secs || 129088641 markings, 280548239 edges, 96793 markings/sec, 1545 secs
lola: STP completed || 668 tries, 667534876 fired transitions, 1550 secs || 129618551 markings, 281775677 edges, 105982 markings/sec, 1550 secs
lola: STP completed || 671 tries, 670504754 fired transitions, 1555 secs || 130126693 markings, 283018601 edges, 101628 markings/sec, 1555 secs
lola: STP completed || 674 tries, 673447904 fired transitions, 1560 secs || 130595593 markings, 284226901 edges, 93780 markings/sec, 1560 secs
lola: STP completed || 677 tries, 676275693 fired transitions, 1565 secs || 131069062 markings, 285359834 edges, 94694 markings/sec, 1565 secs
lola: STP completed || 679 tries, 678426837 fired transitions, 1570 secs || 131464067 markings, 286283707 edges, 79001 markings/sec, 1570 secs
lola: STP completed || 681 tries, 680531278 fired transitions, 1575 secs || 131818232 markings, 287156951 edges, 70833 markings/sec, 1575 secs
lola: STP completed || 683 tries, 682583262 fired transitions, 1580 secs || 132232174 markings, 288052518 edges, 82788 markings/sec, 1580 secs
lola: STP completed || 685 tries, 684593939 fired transitions, 1585 secs || 132601896 markings, 288903191 edges, 73944 markings/sec, 1585 secs
lola: STP completed || 687 tries, 686655019 fired transitions, 1590 secs || 132970969 markings, 289727183 edges, 73815 markings/sec, 1590 secs
lola: STP completed || 689 tries, 688691132 fired transitions, 1595 secs || 133337182 markings, 290544924 edges, 73243 markings/sec, 1595 secs
lola: STP completed || 691 tries, 690667981 fired transitions, 1600 secs || 133735179 markings, 291395411 edges, 79599 markings/sec, 1600 secs
lola: STP completed || 693 tries, 692659007 fired transitions, 1605 secs || 134085967 markings, 292292145 edges, 70158 markings/sec, 1605 secs
lola: STP completed || 695 tries, 694578640 fired transitions, 1610 secs || 134409159 markings, 293137571 edges, 64638 markings/sec, 1610 secs
lola: STP completed || 697 tries, 696548090 fired transitions, 1615 secs || 134795039 markings, 294043864 edges, 77176 markings/sec, 1615 secs
lola: STP completed || 699 tries, 698447616 fired transitions, 1620 secs || 135161818 markings, 294972094 edges, 73356 markings/sec, 1620 secs
lola: STP completed || 701 tries, 700421054 fired transitions, 1625 secs || 135552735 markings, 295869859 edges, 78183 markings/sec, 1625 secs
lola: STP completed || 703 tries, 702459508 fired transitions, 1630 secs || 135948771 markings, 296765630 edges, 79207 markings/sec, 1630 secs
lola: STP completed || 705 tries, 704514696 fired transitions, 1635 secs || 136321354 markings, 297623013 edges, 74517 markings/sec, 1635 secs
lola: STP completed || 708 tries, 707355242 fired transitions, 1640 secs || 136827990 markings, 298799881 edges, 101327 markings/sec, 1640 secs
lola: STP completed || 711 tries, 710304899 fired transitions, 1645 secs || 137332907 markings, 300028975 edges, 100983 markings/sec, 1645 secs
lola: STP completed || 714 tries, 713253831 fired transitions, 1650 secs || 137861191 markings, 301283520 edges, 105657 markings/sec, 1650 secs
lola: STP completed || 717 tries, 716160423 fired transitions, 1655 secs || 138429515 markings, 302566329 edges, 113665 markings/sec, 1655 secs
lola: STP completed || 720 tries, 719047365 fired transitions, 1660 secs || 138963859 markings, 303853740 edges, 106869 markings/sec, 1660 secs
lola: STP completed || 723 tries, 722016441 fired transitions, 1665 secs || 139493093 markings, 305132681 edges, 105847 markings/sec, 1665 secs
lola: STP completed || 725 tries, 724981648 fired transitions, 1670 secs || 140014339 markings, 306329719 edges, 104249 markings/sec, 1670 secs
lola: STP completed || 728 tries, 727929214 fired transitions, 1675 secs || 140528364 markings, 307572572 edges, 102805 markings/sec, 1675 secs
lola: STP completed || 731 tries, 730896510 fired transitions, 1680 secs || 141056197 markings, 308935782 edges, 105567 markings/sec, 1680 secs
lola: STP completed || 734 tries, 733730039 fired transitions, 1685 secs || 141564888 markings, 310100591 edges, 101738 markings/sec, 1685 secs
lola: STP completed || 737 tries, 736702156 fired transitions, 1690 secs || 142075374 markings, 311308668 edges, 102097 markings/sec, 1690 secs
lola: STP completed || 740 tries, 739678077 fired transitions, 1695 secs || 142602745 markings, 312503066 edges, 105474 markings/sec, 1695 secs
lola: STP completed || 743 tries, 742643837 fired transitions, 1700 secs || 143122400 markings, 313735764 edges, 103931 markings/sec, 1700 secs
lola: STP completed || 746 tries, 745614100 fired transitions, 1705 secs || 143644085 markings, 314953439 edges, 104337 markings/sec, 1705 secs
lola: STP completed || 749 tries, 748554158 fired transitions, 1710 secs || 144147779 markings, 316190492 edges, 100739 markings/sec, 1710 secs
lola: STP completed || 751 tries, 750778502 fired transitions, 1715 secs || 144550394 markings, 317177845 edges, 80523 markings/sec, 1715 secs
lola: STP completed || 753 tries, 752788826 fired transitions, 1720 secs || 144930032 markings, 318078645 edges, 75928 markings/sec, 1720 secs
lola: STP completed || 755 tries, 754780414 fired transitions, 1725 secs || 145324141 markings, 318965682 edges, 78822 markings/sec, 1725 secs
lola: STP completed || 757 tries, 756744153 fired transitions, 1730 secs || 145691748 markings, 319855585 edges, 73521 markings/sec, 1730 secs
lola: STP completed || 759 tries, 758742644 fired transitions, 1735 secs || 146077150 markings, 320752763 edges, 77080 markings/sec, 1735 secs
lola: STP completed || 761 tries, 760741359 fired transitions, 1740 secs || 146445980 markings, 321636276 edges, 73766 markings/sec, 1740 secs
lola: STP completed || 763 tries, 762723637 fired transitions, 1745 secs || 146819234 markings, 322499419 edges, 74651 markings/sec, 1745 secs
lola: STP completed || 765 tries, 764662271 fired transitions, 1750 secs || 147180128 markings, 323389363 edges, 72179 markings/sec, 1750 secs
lola: STP completed || 767 tries, 766670946 fired transitions, 1755 secs || 147574567 markings, 324271123 edges, 78888 markings/sec, 1755 secs
lola: STP completed || 769 tries, 768597146 fired transitions, 1760 secs || 147935265 markings, 325175006 edges, 72140 markings/sec, 1760 secs
lola: STP completed || 771 tries, 770580710 fired transitions, 1765 secs || 148338699 markings, 326095643 edges, 80687 markings/sec, 1765 secs
lola: STP completed || 773 tries, 772468754 fired transitions, 1770 secs || 148713468 markings, 327034414 edges, 74954 markings/sec, 1770 secs
lola: STP completed || 775 tries, 774401272 fired transitions, 1775 secs || 149060265 markings, 327892724 edges, 69359 markings/sec, 1775 secs
lola: STP completed || 777 tries, 776367824 fired transitions, 1780 secs || 149425459 markings, 328762099 edges, 73039 markings/sec, 1780 secs
lola: STP completed || 779 tries, 778395804 fired transitions, 1785 secs || 149798977 markings, 329627352 edges, 74704 markings/sec, 1785 secs
lola: STP completed || 781 tries, 780335397 fired transitions, 1790 secs || 150150727 markings, 330470244 edges, 70350 markings/sec, 1790 secs
lola: STP completed || 783 tries, 782946969 fired transitions, 1795 secs || 150603342 markings, 331524341 edges, 90523 markings/sec, 1795 secs
lola: STP completed || 785 tries, 784977594 fired transitions, 1800 secs || 150993907 markings, 332407049 edges, 78113 markings/sec, 1800 secs
lola: STP completed || 787 tries, 786786421 fired transitions, 1805 secs || 151284394 markings, 333282152 edges, 58097 markings/sec, 1805 secs
lola: STP completed || 789 tries, 788856274 fired transitions, 1810 secs || 151674460 markings, 334139532 edges, 78013 markings/sec, 1810 secs
lola: STP completed || 791 tries, 790892665 fired transitions, 1815 secs || 152054442 markings, 335006412 edges, 75996 markings/sec, 1815 secs
lola: STP completed || 793 tries, 792866103 fired transitions, 1820 secs || 152422854 markings, 335904514 edges, 73682 markings/sec, 1820 secs
lola: STP completed || 795 tries, 794805157 fired transitions, 1825 secs || 152741912 markings, 336795382 edges, 63812 markings/sec, 1825 secs
lola: STP completed || 797 tries, 796853833 fired transitions, 1830 secs || 153111335 markings, 337662412 edges, 73885 markings/sec, 1830 secs
lola: STP completed || 799 tries, 798842094 fired transitions, 1835 secs || 153478881 markings, 338584364 edges, 73509 markings/sec, 1835 secs
lola: STP completed || 801 tries, 800904298 fired transitions, 1840 secs || 153870017 markings, 339462430 edges, 78227 markings/sec, 1840 secs
lola: STP completed || 803 tries, 802922909 fired transitions, 1845 secs || 154263025 markings, 340358426 edges, 78602 markings/sec, 1845 secs
lola: STP completed || 805 tries, 804860438 fired transitions, 1850 secs || 154662748 markings, 341317089 edges, 79945 markings/sec, 1850 secs
lola: STP completed || 807 tries, 806852800 fired transitions, 1855 secs || 155099589 markings, 342244519 edges, 87368 markings/sec, 1855 secs
lola: STP completed || 809 tries, 808816318 fired transitions, 1860 secs || 155450507 markings, 343100155 edges, 70184 markings/sec, 1860 secs
lola: STP completed || 811 tries, 810874647 fired transitions, 1865 secs || 155871464 markings, 344006762 edges, 84191 markings/sec, 1865 secs
lola: STP completed || 813 tries, 812918884 fired transitions, 1870 secs || 156269081 markings, 344904196 edges, 79523 markings/sec, 1870 secs
lola: STP completed || 815 tries, 814930689 fired transitions, 1875 secs || 156651782 markings, 345798502 edges, 76540 markings/sec, 1875 secs
lola: STP completed || 817 tries, 816948680 fired transitions, 1880 secs || 157027980 markings, 346660297 edges, 75240 markings/sec, 1880 secs
lola: STP completed || 819 tries, 818967801 fired transitions, 1885 secs || 157412174 markings, 347562080 edges, 76839 markings/sec, 1885 secs
lola: STP completed || 821 tries, 820948439 fired transitions, 1890 secs || 157753874 markings, 348459464 edges, 68340 markings/sec, 1890 secs
lola: STP completed || 823 tries, 822948560 fired transitions, 1895 secs || 158136981 markings, 349365757 edges, 76621 markings/sec, 1895 secs
lola: STP completed || 825 tries, 824990599 fired transitions, 1900 secs || 158530685 markings, 350270402 edges, 78741 markings/sec, 1900 secs
lola: STP completed || 828 tries, 827009055 fired transitions, 1905 secs || 158917414 markings, 351205750 edges, 77346 markings/sec, 1905 secs
lola: STP completed || 830 tries, 829025263 fired transitions, 1910 secs || 159327640 markings, 352100806 edges, 82045 markings/sec, 1910 secs
lola: STP completed || 831 tries, 830952756 fired transitions, 1915 secs || 159751470 markings, 352993972 edges, 84766 markings/sec, 1915 secs
lola: STP completed || 833 tries, 832894939 fired transitions, 1920 secs || 160153864 markings, 353897086 edges, 80479 markings/sec, 1920 secs
lola: STP completed || 835 tries, 834917781 fired transitions, 1925 secs || 160537399 markings, 354805430 edges, 76707 markings/sec, 1925 secs
lola: STP completed || 837 tries, 836930743 fired transitions, 1930 secs || 160919076 markings, 355717263 edges, 76335 markings/sec, 1930 secs
lola: STP completed || 839 tries, 838994883 fired transitions, 1935 secs || 161312500 markings, 356595058 edges, 78685 markings/sec, 1935 secs
lola: STP completed || 842 tries, 841012906 fired transitions, 1940 secs || 161695997 markings, 357496630 edges, 76699 markings/sec, 1940 secs
lola: STP completed || 844 tries, 843076138 fired transitions, 1945 secs || 162109914 markings, 358401953 edges, 82783 markings/sec, 1945 secs
lola: STP completed || 846 tries, 845132270 fired transitions, 1950 secs || 162484704 markings, 359266772 edges, 74958 markings/sec, 1950 secs
lola: STP completed || 848 tries, 847204824 fired transitions, 1955 secs || 162880322 markings, 360156739 edges, 79124 markings/sec, 1955 secs
lola: STP completed || 850 tries, 849270052 fired transitions, 1960 secs || 163228113 markings, 360978528 edges, 69558 markings/sec, 1960 secs
lola: STP completed || 852 tries, 851879179 fired transitions, 1965 secs || 163673397 markings, 362094924 edges, 89057 markings/sec, 1965 secs
lola: STP completed || 855 tries, 854753433 fired transitions, 1970 secs || 164196118 markings, 363362806 edges, 104544 markings/sec, 1970 secs
lola: STP completed || 858 tries, 857701847 fired transitions, 1975 secs || 164724279 markings, 364597574 edges, 105632 markings/sec, 1975 secs
lola: STP completed || 861 tries, 860679905 fired transitions, 1980 secs || 165244089 markings, 365792229 edges, 103962 markings/sec, 1980 secs
lola: STP completed || 864 tries, 863611913 fired transitions, 1985 secs || 165759959 markings, 367092770 edges, 103174 markings/sec, 1985 secs
lola: STP completed || 867 tries, 866546595 fired transitions, 1990 secs || 166294376 markings, 368343461 edges, 106883 markings/sec, 1990 secs
lola: STP completed || 869 tries, 868818378 fired transitions, 1995 secs || 166728130 markings, 369305474 edges, 86751 markings/sec, 1995 secs
lola: STP completed || 871 tries, 870895980 fired transitions, 2000 secs || 167133057 markings, 370200185 edges, 80985 markings/sec, 2000 secs
lola: STP completed || 873 tries, 872904546 fired transitions, 2005 secs || 167504418 markings, 371081773 edges, 74272 markings/sec, 2005 secs
lola: STP completed || 875 tries, 874908366 fired transitions, 2010 secs || 167879042 markings, 371986491 edges, 74925 markings/sec, 2010 secs
lola: STP completed || 877 tries, 876832347 fired transitions, 2015 secs || 168231674 markings, 372908232 edges, 70526 markings/sec, 2015 secs
lola: STP completed || 879 tries, 878879007 fired transitions, 2020 secs || 168605696 markings, 373796693 edges, 74804 markings/sec, 2020 secs
lola: STP completed || 881 tries, 880961405 fired transitions, 2025 secs || 169000217 markings, 374680852 edges, 78904 markings/sec, 2025 secs
lola: STP completed || 884 tries, 883010252 fired transitions, 2030 secs || 169376543 markings, 375538662 edges, 75265 markings/sec, 2030 secs
lola: STP completed || 886 tries, 885075990 fired transitions, 2035 secs || 169749905 markings, 376423706 edges, 74672 markings/sec, 2035 secs
lola: STP completed || 888 tries, 887147259 fired transitions, 2040 secs || 170136024 markings, 377325761 edges, 77224 markings/sec, 2040 secs
lola: STP completed || 890 tries, 889158672 fired transitions, 2045 secs || 170513348 markings, 378270748 edges, 75465 markings/sec, 2045 secs
lola: STP completed || 892 tries, 891223194 fired transitions, 2050 secs || 170903641 markings, 379183803 edges, 78059 markings/sec, 2050 secs
lola: STP completed || 894 tries, 893331464 fired transitions, 2055 secs || 171322608 markings, 380096200 edges, 83793 markings/sec, 2055 secs
lola: STP completed || 896 tries, 895366358 fired transitions, 2060 secs || 171679935 markings, 380974480 edges, 71465 markings/sec, 2060 secs
lola: STP completed || 898 tries, 897432977 fired transitions, 2065 secs || 172054906 markings, 381841014 edges, 74994 markings/sec, 2065 secs
lola: STP completed || 900 tries, 899466706 fired transitions, 2070 secs || 172432124 markings, 382678985 edges, 75444 markings/sec, 2070 secs
lola: STP completed || 902 tries, 901500966 fired transitions, 2075 secs || 172791204 markings, 383515163 edges, 71816 markings/sec, 2075 secs
lola: STP completed || 904 tries, 903568127 fired transitions, 2080 secs || 173174913 markings, 384414903 edges, 76742 markings/sec, 2080 secs
lola: STP completed || 906 tries, 905623107 fired transitions, 2085 secs || 173568855 markings, 385278053 edges, 78788 markings/sec, 2085 secs
lola: STP completed || 908 tries, 907644933 fired transitions, 2090 secs || 173981112 markings, 386226529 edges, 82451 markings/sec, 2090 secs
lola: STP completed || 910 tries, 909711298 fired transitions, 2095 secs || 174370871 markings, 387130498 edges, 77952 markings/sec, 2095 secs
lola: STP completed || 912 tries, 911808891 fired transitions, 2100 secs || 174760397 markings, 388052263 edges, 77905 markings/sec, 2100 secs
lola: STP completed || 914 tries, 913758128 fired transitions, 2105 secs || 175148354 markings, 388977254 edges, 77591 markings/sec, 2105 secs
lola: STP completed || 916 tries, 915774794 fired transitions, 2110 secs || 175563727 markings, 389914873 edges, 83075 markings/sec, 2110 secs
lola: STP completed || 918 tries, 917796786 fired transitions, 2115 secs || 175935952 markings, 390832418 edges, 74445 markings/sec, 2115 secs
lola: STP completed || 920 tries, 919828276 fired transitions, 2120 secs || 176344097 markings, 391776288 edges, 81629 markings/sec, 2120 secs
lola: STP completed || 922 tries, 921824963 fired transitions, 2125 secs || 176732774 markings, 392717175 edges, 77735 markings/sec, 2125 secs
lola: STP completed || 924 tries, 923783306 fired transitions, 2130 secs || 177124495 markings, 393642023 edges, 78344 markings/sec, 2130 secs
lola: STP completed || 926 tries, 925835591 fired transitions, 2135 secs || 177514236 markings, 394536957 edges, 77948 markings/sec, 2135 secs
lola: STP completed || 928 tries, 927882099 fired transitions, 2140 secs || 177875395 markings, 395434695 edges, 72232 markings/sec, 2140 secs
lola: STP completed || 930 tries, 929915581 fired transitions, 2145 secs || 178253012 markings, 396341566 edges, 75523 markings/sec, 2145 secs
lola: STP completed || 932 tries, 931974457 fired transitions, 2150 secs || 178666541 markings, 397285490 edges, 82706 markings/sec, 2150 secs
lola: STP completed || 935 tries, 934072249 fired transitions, 2155 secs || 179081581 markings, 398185643 edges, 83008 markings/sec, 2155 secs
lola: STP completed || 937 tries, 936107777 fired transitions, 2160 secs || 179459876 markings, 399124891 edges, 75659 markings/sec, 2160 secs
lola: STP completed || 939 tries, 938205817 fired transitions, 2165 secs || 179853372 markings, 400007548 edges, 78699 markings/sec, 2165 secs
lola: STP completed || 941 tries, 940318188 fired transitions, 2170 secs || 180293447 markings, 400965990 edges, 88015 markings/sec, 2170 secs
lola: STP completed || 943 tries, 942357398 fired transitions, 2175 secs || 180667122 markings, 401827024 edges, 74735 markings/sec, 2175 secs
lola: STP completed || 945 tries, 944355011 fired transitions, 2180 secs || 181087036 markings, 402741787 edges, 83983 markings/sec, 2180 secs
lola: STP completed || 947 tries, 946390776 fired transitions, 2185 secs || 181476218 markings, 403626588 edges, 77836 markings/sec, 2185 secs
lola: STP completed || 949 tries, 948301211 fired transitions, 2190 secs || 181816526 markings, 404518792 edges, 68062 markings/sec, 2190 secs
lola: STP completed || 951 tries, 950279848 fired transitions, 2195 secs || 182244698 markings, 405423723 edges, 85634 markings/sec, 2195 secs
lola: STP completed || 953 tries, 952299431 fired transitions, 2200 secs || 182617138 markings, 406268832 edges, 74488 markings/sec, 2200 secs
lola: STP completed || 955 tries, 954312169 fired transitions, 2205 secs || 182996546 markings, 407172826 edges, 75882 markings/sec, 2205 secs
lola: STP completed || 957 tries, 956303459 fired transitions, 2210 secs || 183345514 markings, 408045256 edges, 69794 markings/sec, 2210 secs
lola: STP completed || 959 tries, 958308943 fired transitions, 2215 secs || 183729013 markings, 408944334 edges, 76700 markings/sec, 2215 secs
lola: STP completed || 961 tries, 960309366 fired transitions, 2220 secs || 184129642 markings, 409866119 edges, 80126 markings/sec, 2220 secs
lola: STP completed || 964 tries, 963178987 fired transitions, 2225 secs || 184655018 markings, 411117995 edges, 105075 markings/sec, 2225 secs
lola: STP completed || 967 tries, 966148402 fired transitions, 2230 secs || 185166215 markings, 412349885 edges, 102239 markings/sec, 2230 secs
lola: STP completed || 970 tries, 969108195 fired transitions, 2235 secs || 185695960 markings, 413607424 edges, 105949 markings/sec, 2235 secs
lola: STP completed || 973 tries, 972050030 fired transitions, 2240 secs || 186290623 markings, 414934230 edges, 118933 markings/sec, 2240 secs
lola: STP completed || 975 tries, 974992227 fired transitions, 2245 secs || 186892216 markings, 416224764 edges, 120319 markings/sec, 2245 secs
lola: STP completed || 978 tries, 977967320 fired transitions, 2250 secs || 187416041 markings, 417462679 edges, 104765 markings/sec, 2250 secs
lola: STP completed || 981 tries, 980843028 fired transitions, 2255 secs || 187952975 markings, 418674808 edges, 107387 markings/sec, 2255 secs
lola: STP completed || 984 tries, 983066845 fired transitions, 2260 secs || 188368211 markings, 419644950 edges, 83047 markings/sec, 2260 secs
lola: STP completed || 986 tries, 985858189 fired transitions, 2265 secs || 188885980 markings, 420868679 edges, 103554 markings/sec, 2265 secs
lola: STP completed || 988 tries, 987800480 fired transitions, 2270 secs || 189230538 markings, 421785615 edges, 68912 markings/sec, 2270 secs
lola: STP completed || 991 tries, 990198528 fired transitions, 2275 secs || 189722139 markings, 422836484 edges, 98320 markings/sec, 2275 secs
lola: STP completed || 993 tries, 992188183 fired transitions, 2280 secs || 190099502 markings, 423717908 edges, 75473 markings/sec, 2280 secs
lola: STP completed || 995 tries, 994216421 fired transitions, 2285 secs || 190483995 markings, 424630829 edges, 76899 markings/sec, 2285 secs
lola: STP completed || 997 tries, 996381595 fired transitions, 2290 secs || 190879920 markings, 425555758 edges, 79185 markings/sec, 2290 secs
lola: STP completed || 999 tries, 998335105 fired transitions, 2295 secs || 191244458 markings, 426426434 edges, 72908 markings/sec, 2295 secs
lola: STP completed || 1002 tries, 1001000001 fired transitions, 2300 secs || 191486224 markings, 427034466 edges, 48353 markings/sec, 2300 secs
lola: STP completed || 1002 tries, 1001747359 fired transitions, 2305 secs || 191486285 markings, 427034489 edges, 12 markings/sec, 2305 secs
lola: STP completed || 1004 tries, 1003012069 fired transitions, 2310 secs || 191490517 markings, 427044108 edges, 846 markings/sec, 2310 secs
lola: STP completed || 1004 tries, 1003306216 fired transitions, 2315 secs || 191490525 markings, 427044130 edges, 2 markings/sec, 2315 secs
lola: STP completed || 1005 tries, 1004688096 fired transitions, 2320 secs || 191490536 markings, 427044180 edges, 2 markings/sec, 2320 secs
lola: STP completed || 1007 tries, 1006242238 fired transitions, 2325 secs || 191490612 markings, 427044397 edges, 15 markings/sec, 2325 secs
Killed
FORMULA ProductionCell-PT-none-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ProductionCell-PT-none"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/ProductionCell-PT-none.tgz
mv ProductionCell-PT-none execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is ProductionCell-PT-none, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r142-qhx2-152673583500006"
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 ;