About the Execution of LoLA for BART-PT-060
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1492.230 | 3569608.00 | 7261232.00 | 618.60 | [undef] | Cannot compute |
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 29M
-rw-r--r-- 1 mcc users 522K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.0M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 698K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.7M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 411K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 852K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 353K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 829K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 23K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 43K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 14M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BART-PT-060, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306100111
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-060-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526519210820
info: Time: 3600 - MCC
===========================================================================================
prep: translating BART-PT-060 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating BART-PT-060 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ BART-PT-060 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 20250/65536 symbol table entries, 2117 collisions
lola: preprocessing...
lola: Size of bit vector: 8130
lola: finding significant places
lola: 8130 places, 12120 transitions, 7860 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7767 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-060-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: STP: formula with 246992 variables and 1438114 clauses shipped to Minisat
lola: STP running || 1 tries, 715 fired transitions, 0 secs
lola: 807 generators;30650637 candidates remain ( 0%), 0 secs
lola: computed 1773 generators (110 in search tree, 1663 by composition)
lola: representing 6.65679E+82 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 1971 fired transitions, 5 secs || 139 markings, 142 edges, 28 markings/sec, 5 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 3546 fired transitions, 10 secs || 1790 markings, 2152 edges, 330 markings/sec, 10 secs
lola: STP completed || 1 tries, 5118 fired transitions, 15 secs || 3471 markings, 4192 edges, 336 markings/sec, 15 secs
lola: STP completed || 1 tries, 6679 fired transitions, 20 secs || 5133 markings, 6239 edges, 332 markings/sec, 20 secs
lola: STP completed || 1 tries, 8227 fired transitions, 25 secs || 6753 markings, 8204 edges, 324 markings/sec, 25 secs
lola: STP completed || 1 tries, 9800 fired transitions, 30 secs || 8432 markings, 10247 edges, 336 markings/sec, 30 secs
lola: STP completed || 1 tries, 11382 fired transitions, 35 secs || 10114 markings, 12386 edges, 336 markings/sec, 35 secs
lola: STP completed || 1 tries, 12943 fired transitions, 40 secs || 11790 markings, 14440 edges, 335 markings/sec, 40 secs
lola: STP completed || 1 tries, 14539 fired transitions, 45 secs || 13469 markings, 16465 edges, 336 markings/sec, 45 secs
lola: STP completed || 1 tries, 16129 fired transitions, 50 secs || 15154 markings, 18507 edges, 337 markings/sec, 50 secs
lola: STP completed || 1 tries, 17709 fired transitions, 55 secs || 16803 markings, 20528 edges, 330 markings/sec, 55 secs
lola: STP completed || 1 tries, 19272 fired transitions, 60 secs || 18445 markings, 22713 edges, 328 markings/sec, 60 secs
lola: STP completed || 1 tries, 20852 fired transitions, 65 secs || 20120 markings, 24740 edges, 335 markings/sec, 65 secs
lola: STP completed || 1 tries, 22434 fired transitions, 70 secs || 21794 markings, 26786 edges, 335 markings/sec, 70 secs
lola: STP completed || 1 tries, 24007 fired transitions, 75 secs || 23471 markings, 28817 edges, 335 markings/sec, 75 secs
lola: STP completed || 1 tries, 25578 fired transitions, 80 secs || 25134 markings, 30852 edges, 333 markings/sec, 80 secs
lola: STP completed || 1 tries, 27149 fired transitions, 85 secs || 26819 markings, 32897 edges, 337 markings/sec, 85 secs
lola: STP completed || 1 tries, 28730 fired transitions, 90 secs || 28489 markings, 34933 edges, 334 markings/sec, 90 secs
lola: STP completed || 1 tries, 30321 fired transitions, 95 secs || 30162 markings, 36987 edges, 335 markings/sec, 95 secs
lola: STP completed || 1 tries, 31911 fired transitions, 100 secs || 31850 markings, 39031 edges, 338 markings/sec, 100 secs
lola: STP completed || 1 tries, 33493 fired transitions, 105 secs || 33517 markings, 41069 edges, 333 markings/sec, 105 secs
lola: STP completed || 1 tries, 35080 fired transitions, 110 secs || 35200 markings, 43113 edges, 337 markings/sec, 110 secs
lola: STP completed || 1 tries, 36650 fired transitions, 115 secs || 36881 markings, 45186 edges, 336 markings/sec, 115 secs
lola: STP completed || 1 tries, 38229 fired transitions, 120 secs || 38562 markings, 47273 edges, 336 markings/sec, 120 secs
lola: STP completed || 1 tries, 39795 fired transitions, 125 secs || 40248 markings, 49380 edges, 337 markings/sec, 125 secs
lola: STP completed || 1 tries, 41363 fired transitions, 130 secs || 41931 markings, 51490 edges, 337 markings/sec, 130 secs
lola: STP completed || 1 tries, 42947 fired transitions, 135 secs || 43618 markings, 53605 edges, 337 markings/sec, 135 secs
lola: STP completed || 1 tries, 44529 fired transitions, 140 secs || 45279 markings, 55668 edges, 332 markings/sec, 140 secs
lola: STP completed || 1 tries, 46110 fired transitions, 145 secs || 46955 markings, 57666 edges, 335 markings/sec, 145 secs
lola: STP completed || 1 tries, 47678 fired transitions, 150 secs || 48641 markings, 59650 edges, 337 markings/sec, 150 secs
lola: STP completed || 1 tries, 49253 fired transitions, 155 secs || 50313 markings, 61718 edges, 334 markings/sec, 155 secs
lola: STP completed || 1 tries, 50822 fired transitions, 160 secs || 51972 markings, 63857 edges, 332 markings/sec, 160 secs
lola: STP completed || 1 tries, 52405 fired transitions, 165 secs || 53656 markings, 65906 edges, 337 markings/sec, 165 secs
lola: STP completed || 1 tries, 53981 fired transitions, 170 secs || 55321 markings, 68044 edges, 333 markings/sec, 170 secs
lola: STP completed || 1 tries, 55540 fired transitions, 175 secs || 56951 markings, 70111 edges, 326 markings/sec, 175 secs
lola: STP completed || 1 tries, 57122 fired transitions, 180 secs || 58633 markings, 72212 edges, 336 markings/sec, 180 secs
lola: STP completed || 1 tries, 58671 fired transitions, 185 secs || 60288 markings, 74215 edges, 331 markings/sec, 185 secs
lola: STP completed || 1 tries, 60234 fired transitions, 190 secs || 61957 markings, 76243 edges, 334 markings/sec, 190 secs
lola: STP completed || 1 tries, 61779 fired transitions, 195 secs || 63525 markings, 78157 edges, 314 markings/sec, 195 secs
lola: STP completed || 1 tries, 63341 fired transitions, 200 secs || 65114 markings, 80082 edges, 318 markings/sec, 200 secs
lola: STP completed || 1 tries, 64942 fired transitions, 205 secs || 66718 markings, 82072 edges, 321 markings/sec, 205 secs
lola: STP completed || 1 tries, 66519 fired transitions, 210 secs || 68384 markings, 84105 edges, 333 markings/sec, 210 secs
lola: STP completed || 1 tries, 68101 fired transitions, 215 secs || 70010 markings, 86068 edges, 325 markings/sec, 215 secs
lola: STP completed || 1 tries, 69671 fired transitions, 220 secs || 71679 markings, 88088 edges, 334 markings/sec, 220 secs
lola: STP completed || 1 tries, 71225 fired transitions, 225 secs || 73345 markings, 90146 edges, 333 markings/sec, 225 secs
lola: STP completed || 1 tries, 72812 fired transitions, 230 secs || 74991 markings, 92318 edges, 329 markings/sec, 230 secs
lola: STP completed || 1 tries, 74380 fired transitions, 235 secs || 76635 markings, 94311 edges, 329 markings/sec, 235 secs
lola: STP completed || 1 tries, 75945 fired transitions, 240 secs || 78282 markings, 96324 edges, 329 markings/sec, 240 secs
lola: STP completed || 1 tries, 77528 fired transitions, 245 secs || 79941 markings, 98363 edges, 332 markings/sec, 245 secs
lola: STP completed || 1 tries, 79096 fired transitions, 250 secs || 81606 markings, 100458 edges, 333 markings/sec, 250 secs
lola: STP completed || 1 tries, 80659 fired transitions, 255 secs || 83267 markings, 102500 edges, 332 markings/sec, 255 secs
lola: STP completed || 1 tries, 82256 fired transitions, 260 secs || 84942 markings, 104614 edges, 335 markings/sec, 260 secs
lola: STP completed || 1 tries, 83825 fired transitions, 265 secs || 86571 markings, 106634 edges, 326 markings/sec, 265 secs
lola: STP completed || 1 tries, 85415 fired transitions, 270 secs || 88216 markings, 108618 edges, 329 markings/sec, 270 secs
lola: STP completed || 1 tries, 86975 fired transitions, 275 secs || 89864 markings, 110616 edges, 330 markings/sec, 275 secs
lola: STP completed || 1 tries, 88559 fired transitions, 280 secs || 91512 markings, 112630 edges, 330 markings/sec, 280 secs
lola: STP completed || 1 tries, 90155 fired transitions, 285 secs || 93165 markings, 114632 edges, 331 markings/sec, 285 secs
lola: STP completed || 1 tries, 91722 fired transitions, 290 secs || 94795 markings, 116626 edges, 326 markings/sec, 290 secs
lola: STP completed || 1 tries, 93295 fired transitions, 295 secs || 96474 markings, 118661 edges, 336 markings/sec, 295 secs
lola: STP completed || 1 tries, 94845 fired transitions, 300 secs || 98134 markings, 120696 edges, 332 markings/sec, 300 secs
lola: STP completed || 1 tries, 96410 fired transitions, 305 secs || 99809 markings, 122733 edges, 335 markings/sec, 305 secs
lola: STP completed || 1 tries, 97913 fired transitions, 310 secs || 101475 markings, 124771 edges, 333 markings/sec, 310 secs
lola: STP completed || 1 tries, 99095 fired transitions, 315 secs || 102770 markings, 126352 edges, 259 markings/sec, 315 secs
lola: STP completed || 1 tries, 100679 fired transitions, 320 secs || 104443 markings, 128383 edges, 335 markings/sec, 320 secs
lola: STP completed || 1 tries, 102266 fired transitions, 325 secs || 106105 markings, 130410 edges, 332 markings/sec, 325 secs
lola: STP completed || 1 tries, 103841 fired transitions, 330 secs || 107737 markings, 132410 edges, 326 markings/sec, 330 secs
lola: STP completed || 1 tries, 105421 fired transitions, 335 secs || 109411 markings, 134483 edges, 335 markings/sec, 335 secs
lola: STP completed || 1 tries, 106979 fired transitions, 340 secs || 111079 markings, 136539 edges, 334 markings/sec, 340 secs
lola: STP completed || 1 tries, 108562 fired transitions, 345 secs || 112750 markings, 138643 edges, 334 markings/sec, 345 secs
lola: STP completed || 1 tries, 110133 fired transitions, 350 secs || 114438 markings, 140784 edges, 338 markings/sec, 350 secs
lola: STP completed || 1 tries, 111727 fired transitions, 355 secs || 116108 markings, 142825 edges, 334 markings/sec, 355 secs
lola: STP completed || 1 tries, 113302 fired transitions, 360 secs || 117767 markings, 144893 edges, 332 markings/sec, 360 secs
lola: STP completed || 1 tries, 114918 fired transitions, 365 secs || 119445 markings, 147269 edges, 336 markings/sec, 365 secs
lola: STP completed || 1 tries, 116528 fired transitions, 370 secs || 121141 markings, 149320 edges, 339 markings/sec, 370 secs
lola: STP completed || 1 tries, 118096 fired transitions, 375 secs || 122799 markings, 151344 edges, 332 markings/sec, 375 secs
lola: STP completed || 1 tries, 119667 fired transitions, 380 secs || 124462 markings, 153419 edges, 333 markings/sec, 380 secs
lola: STP completed || 1 tries, 121240 fired transitions, 385 secs || 126115 markings, 155390 edges, 331 markings/sec, 385 secs
lola: STP completed || 1 tries, 122806 fired transitions, 390 secs || 127782 markings, 157353 edges, 333 markings/sec, 390 secs
lola: STP completed || 1 tries, 123940 fired transitions, 395 secs || 128993 markings, 158780 edges, 242 markings/sec, 395 secs
lola: STP completed || 1 tries, 125527 fired transitions, 400 secs || 130651 markings, 160900 edges, 332 markings/sec, 400 secs
lola: STP completed || 1 tries, 127096 fired transitions, 405 secs || 132325 markings, 163031 edges, 335 markings/sec, 405 secs
lola: STP completed || 1 tries, 128654 fired transitions, 410 secs || 133988 markings, 165115 edges, 333 markings/sec, 410 secs
lola: STP completed || 1 tries, 130226 fired transitions, 415 secs || 135657 markings, 167135 edges, 334 markings/sec, 415 secs
lola: STP completed || 1 tries, 131772 fired transitions, 420 secs || 137334 markings, 169185 edges, 335 markings/sec, 420 secs
lola: STP completed || 1 tries, 133352 fired transitions, 425 secs || 138999 markings, 171202 edges, 333 markings/sec, 425 secs
lola: STP completed || 1 tries, 134916 fired transitions, 430 secs || 140660 markings, 173237 edges, 332 markings/sec, 430 secs
lola: STP completed || 1 tries, 136487 fired transitions, 435 secs || 142347 markings, 175280 edges, 337 markings/sec, 435 secs
lola: STP completed || 1 tries, 138041 fired transitions, 440 secs || 144021 markings, 177327 edges, 335 markings/sec, 440 secs
lola: STP completed || 1 tries, 139596 fired transitions, 445 secs || 145706 markings, 179372 edges, 337 markings/sec, 445 secs
lola: STP completed || 1 tries, 141139 fired transitions, 450 secs || 147385 markings, 181419 edges, 336 markings/sec, 450 secs
lola: STP completed || 1 tries, 142702 fired transitions, 455 secs || 149069 markings, 183463 edges, 337 markings/sec, 455 secs
lola: STP completed || 1 tries, 144269 fired transitions, 460 secs || 150730 markings, 185489 edges, 332 markings/sec, 460 secs
lola: STP completed || 1 tries, 145835 fired transitions, 465 secs || 152416 markings, 187535 edges, 337 markings/sec, 465 secs
lola: STP completed || 1 tries, 147409 fired transitions, 470 secs || 154099 markings, 189619 edges, 337 markings/sec, 470 secs
lola: STP completed || 1 tries, 148976 fired transitions, 475 secs || 155775 markings, 191692 edges, 335 markings/sec, 475 secs
lola: STP completed || 1 tries, 150548 fired transitions, 480 secs || 157459 markings, 193821 edges, 337 markings/sec, 480 secs
lola: STP completed || 1 tries, 152114 fired transitions, 485 secs || 159153 markings, 195901 edges, 339 markings/sec, 485 secs
lola: STP completed || 1 tries, 153687 fired transitions, 490 secs || 160827 markings, 198017 edges, 335 markings/sec, 490 secs
lola: STP completed || 1 tries, 155241 fired transitions, 495 secs || 162467 markings, 200062 edges, 328 markings/sec, 495 secs
lola: STP completed || 1 tries, 156822 fired transitions, 500 secs || 164147 markings, 202380 edges, 336 markings/sec, 500 secs
lola: STP completed || 1 tries, 158373 fired transitions, 505 secs || 165829 markings, 204516 edges, 336 markings/sec, 505 secs
lola: STP completed || 1 tries, 159920 fired transitions, 510 secs || 167522 markings, 206508 edges, 339 markings/sec, 510 secs
lola: STP completed || 1 tries, 161509 fired transitions, 515 secs || 169208 markings, 208654 edges, 337 markings/sec, 515 secs
lola: STP completed || 1 tries, 163067 fired transitions, 520 secs || 170875 markings, 210667 edges, 333 markings/sec, 520 secs
lola: STP completed || 1 tries, 164618 fired transitions, 525 secs || 172551 markings, 212669 edges, 335 markings/sec, 525 secs
lola: STP completed || 1 tries, 166208 fired transitions, 530 secs || 174230 markings, 214712 edges, 336 markings/sec, 530 secs
lola: STP completed || 1 tries, 167777 fired transitions, 535 secs || 175897 markings, 216742 edges, 333 markings/sec, 535 secs
lola: STP completed || 1 tries, 169343 fired transitions, 540 secs || 177571 markings, 218779 edges, 335 markings/sec, 540 secs
lola: STP completed || 1 tries, 170907 fired transitions, 545 secs || 179248 markings, 220880 edges, 335 markings/sec, 545 secs
lola: STP completed || 1 tries, 172493 fired transitions, 550 secs || 180906 markings, 222936 edges, 332 markings/sec, 550 secs
lola: STP completed || 1 tries, 174081 fired transitions, 555 secs || 182594 markings, 224978 edges, 338 markings/sec, 555 secs
lola: STP completed || 1 tries, 175656 fired transitions, 560 secs || 184272 markings, 227044 edges, 336 markings/sec, 560 secs
lola: STP completed || 1 tries, 177224 fired transitions, 565 secs || 185958 markings, 229085 edges, 337 markings/sec, 565 secs
lola: STP completed || 1 tries, 178812 fired transitions, 570 secs || 187638 markings, 231147 edges, 336 markings/sec, 570 secs
lola: STP completed || 1 tries, 180389 fired transitions, 575 secs || 189317 markings, 233188 edges, 336 markings/sec, 575 secs
lola: STP completed || 1 tries, 181965 fired transitions, 580 secs || 190980 markings, 235221 edges, 333 markings/sec, 580 secs
lola: STP completed || 1 tries, 183547 fired transitions, 585 secs || 192654 markings, 237275 edges, 335 markings/sec, 585 secs
lola: STP completed || 1 tries, 185134 fired transitions, 590 secs || 194331 markings, 239385 edges, 335 markings/sec, 590 secs
lola: STP completed || 1 tries, 186722 fired transitions, 595 secs || 196024 markings, 241524 edges, 339 markings/sec, 595 secs
lola: STP completed || 1 tries, 188317 fired transitions, 600 secs || 197720 markings, 243604 edges, 339 markings/sec, 600 secs
lola: STP completed || 1 tries, 189892 fired transitions, 605 secs || 199404 markings, 245681 edges, 337 markings/sec, 605 secs
lola: STP completed || 1 tries, 191455 fired transitions, 610 secs || 201062 markings, 247635 edges, 332 markings/sec, 610 secs
lola: STP completed || 1 tries, 193017 fired transitions, 615 secs || 202718 markings, 249834 edges, 331 markings/sec, 615 secs
lola: STP completed || 1 tries, 194574 fired transitions, 620 secs || 204396 markings, 251815 edges, 336 markings/sec, 620 secs
lola: STP completed || 1 tries, 196132 fired transitions, 625 secs || 206065 markings, 253781 edges, 334 markings/sec, 625 secs
lola: STP completed || 1 tries, 197700 fired transitions, 630 secs || 207757 markings, 255777 edges, 338 markings/sec, 630 secs
lola: STP completed || 1 tries, 199279 fired transitions, 635 secs || 209439 markings, 257765 edges, 336 markings/sec, 635 secs
lola: STP completed || 1 tries, 200831 fired transitions, 640 secs || 211119 markings, 259748 edges, 336 markings/sec, 640 secs
lola: STP completed || 1 tries, 202423 fired transitions, 645 secs || 212778 markings, 261706 edges, 332 markings/sec, 645 secs
lola: STP completed || 1 tries, 203996 fired transitions, 650 secs || 214436 markings, 263664 edges, 332 markings/sec, 650 secs
lola: STP completed || 1 tries, 205567 fired transitions, 655 secs || 216114 markings, 265787 edges, 336 markings/sec, 655 secs
lola: STP completed || 1 tries, 207141 fired transitions, 660 secs || 217809 markings, 267785 edges, 339 markings/sec, 660 secs
lola: STP completed || 1 tries, 208714 fired transitions, 665 secs || 219511 markings, 269787 edges, 340 markings/sec, 665 secs
lola: STP completed || 1 tries, 210286 fired transitions, 670 secs || 221184 markings, 272046 edges, 335 markings/sec, 670 secs
lola: STP completed || 1 tries, 211863 fired transitions, 675 secs || 222833 markings, 274416 edges, 330 markings/sec, 675 secs
lola: STP completed || 1 tries, 213458 fired transitions, 680 secs || 224498 markings, 276583 edges, 333 markings/sec, 680 secs
lola: STP completed || 1 tries, 215037 fired transitions, 685 secs || 226146 markings, 278953 edges, 330 markings/sec, 685 secs
lola: STP completed || 1 tries, 216597 fired transitions, 690 secs || 227778 markings, 281073 edges, 326 markings/sec, 690 secs
lola: STP completed || 1 tries, 218174 fired transitions, 695 secs || 229416 markings, 283225 edges, 328 markings/sec, 695 secs
lola: STP completed || 1 tries, 219753 fired transitions, 700 secs || 231034 markings, 285521 edges, 324 markings/sec, 700 secs
lola: STP completed || 1 tries, 221323 fired transitions, 705 secs || 232674 markings, 287461 edges, 328 markings/sec, 705 secs
lola: STP completed || 1 tries, 222909 fired transitions, 710 secs || 234337 markings, 289423 edges, 333 markings/sec, 710 secs
lola: STP completed || 1 tries, 224486 fired transitions, 715 secs || 235982 markings, 291596 edges, 329 markings/sec, 715 secs
lola: STP completed || 1 tries, 226068 fired transitions, 720 secs || 237627 markings, 293534 edges, 329 markings/sec, 720 secs
lola: STP completed || 1 tries, 227651 fired transitions, 725 secs || 239278 markings, 295481 edges, 330 markings/sec, 725 secs
lola: STP completed || 1 tries, 229223 fired transitions, 730 secs || 240910 markings, 297630 edges, 326 markings/sec, 730 secs
lola: STP completed || 1 tries, 230810 fired transitions, 735 secs || 242544 markings, 299553 edges, 327 markings/sec, 735 secs
lola: STP completed || 1 tries, 232228 fired transitions, 740 secs || 244033 markings, 301539 edges, 298 markings/sec, 740 secs
lola: STP completed || 1 tries, 233365 fired transitions, 745 secs || 245235 markings, 302957 edges, 240 markings/sec, 745 secs
lola: STP completed || 1 tries, 234902 fired transitions, 750 secs || 246905 markings, 305162 edges, 334 markings/sec, 750 secs
lola: STP completed || 1 tries, 236476 fired transitions, 755 secs || 248578 markings, 307135 edges, 335 markings/sec, 755 secs
lola: STP completed || 1 tries, 238049 fired transitions, 760 secs || 250269 markings, 309423 edges, 338 markings/sec, 760 secs
lola: STP completed || 1 tries, 239631 fired transitions, 765 secs || 251948 markings, 311798 edges, 336 markings/sec, 765 secs
lola: STP completed || 1 tries, 241196 fired transitions, 770 secs || 253624 markings, 313884 edges, 335 markings/sec, 770 secs
lola: STP completed || 1 tries, 242776 fired transitions, 775 secs || 255243 markings, 315989 edges, 324 markings/sec, 775 secs
lola: STP completed || 1 tries, 244341 fired transitions, 780 secs || 256878 markings, 318129 edges, 327 markings/sec, 780 secs
lola: STP completed || 1 tries, 245926 fired transitions, 785 secs || 258492 markings, 320191 edges, 323 markings/sec, 785 secs
lola: STP completed || 1 tries, 247511 fired transitions, 790 secs || 260094 markings, 322128 edges, 320 markings/sec, 790 secs
lola: STP completed || 1 tries, 249100 fired transitions, 795 secs || 261711 markings, 324040 edges, 323 markings/sec, 795 secs
lola: STP completed || 1 tries, 250688 fired transitions, 800 secs || 263349 markings, 325966 edges, 328 markings/sec, 800 secs
lola: STP completed || 1 tries, 252272 fired transitions, 805 secs || 264981 markings, 327919 edges, 326 markings/sec, 805 secs
lola: STP completed || 1 tries, 253836 fired transitions, 810 secs || 266622 markings, 329856 edges, 328 markings/sec, 810 secs
lola: STP completed || 1 tries, 255417 fired transitions, 815 secs || 268259 markings, 331781 edges, 327 markings/sec, 815 secs
lola: STP completed || 1 tries, 257007 fired transitions, 820 secs || 269886 markings, 333927 edges, 325 markings/sec, 820 secs
lola: STP completed || 1 tries, 258601 fired transitions, 825 secs || 271504 markings, 335834 edges, 324 markings/sec, 825 secs
lola: STP completed || 1 tries, 260168 fired transitions, 830 secs || 273173 markings, 337799 edges, 334 markings/sec, 830 secs
lola: STP completed || 1 tries, 261753 fired transitions, 835 secs || 274834 markings, 339982 edges, 332 markings/sec, 835 secs
lola: STP completed || 1 tries, 263360 fired transitions, 840 secs || 276469 markings, 342221 edges, 327 markings/sec, 840 secs
lola: STP completed || 1 tries, 264957 fired transitions, 845 secs || 278128 markings, 344376 edges, 332 markings/sec, 845 secs
lola: STP completed || 1 tries, 266528 fired transitions, 850 secs || 279813 markings, 346566 edges, 337 markings/sec, 850 secs
lola: STP completed || 1 tries, 268102 fired transitions, 855 secs || 281456 markings, 348860 edges, 329 markings/sec, 855 secs
lola: STP completed || 1 tries, 269672 fired transitions, 860 secs || 283138 markings, 350965 edges, 336 markings/sec, 860 secs
lola: STP completed || 1 tries, 271248 fired transitions, 865 secs || 284788 markings, 353348 edges, 330 markings/sec, 865 secs
lola: STP completed || 1 tries, 272820 fired transitions, 870 secs || 286396 markings, 355537 edges, 322 markings/sec, 870 secs
lola: STP completed || 1 tries, 274369 fired transitions, 875 secs || 287976 markings, 357643 edges, 316 markings/sec, 875 secs
lola: STP completed || 1 tries, 275520 fired transitions, 880 secs || 289188 markings, 359184 edges, 242 markings/sec, 880 secs
lola: STP completed || 1 tries, 277068 fired transitions, 885 secs || 290867 markings, 361410 edges, 336 markings/sec, 885 secs
lola: STP completed || 1 tries, 278625 fired transitions, 890 secs || 292522 markings, 363538 edges, 331 markings/sec, 890 secs
lola: STP completed || 1 tries, 280202 fired transitions, 895 secs || 294165 markings, 365677 edges, 329 markings/sec, 895 secs
lola: STP completed || 1 tries, 281768 fired transitions, 900 secs || 295828 markings, 367898 edges, 333 markings/sec, 900 secs
lola: STP completed || 1 tries, 283333 fired transitions, 905 secs || 297508 markings, 370078 edges, 336 markings/sec, 905 secs
lola: STP completed || 1 tries, 284900 fired transitions, 910 secs || 299149 markings, 372279 edges, 328 markings/sec, 910 secs
lola: STP completed || 1 tries, 286476 fired transitions, 915 secs || 300814 markings, 374359 edges, 333 markings/sec, 915 secs
lola: STP completed || 1 tries, 288052 fired transitions, 920 secs || 302482 markings, 376489 edges, 334 markings/sec, 920 secs
lola: STP completed || 1 tries, 289649 fired transitions, 925 secs || 304159 markings, 378636 edges, 335 markings/sec, 925 secs
lola: STP completed || 1 tries, 291227 fired transitions, 930 secs || 305837 markings, 380866 edges, 336 markings/sec, 930 secs
lola: STP completed || 1 tries, 292796 fired transitions, 935 secs || 307517 markings, 382991 edges, 336 markings/sec, 935 secs
lola: STP completed || 1 tries, 294334 fired transitions, 940 secs || 309189 markings, 385118 edges, 334 markings/sec, 940 secs
lola: STP completed || 1 tries, 295880 fired transitions, 945 secs || 310847 markings, 387382 edges, 332 markings/sec, 945 secs
lola: STP completed || 1 tries, 297407 fired transitions, 950 secs || 312512 markings, 389444 edges, 333 markings/sec, 950 secs
lola: STP completed || 1 tries, 298999 fired transitions, 955 secs || 314183 markings, 391640 edges, 334 markings/sec, 955 secs
lola: STP completed || 1 tries, 300588 fired transitions, 960 secs || 315852 markings, 393753 edges, 334 markings/sec, 960 secs
lola: STP completed || 1 tries, 302178 fired transitions, 965 secs || 317509 markings, 395989 edges, 331 markings/sec, 965 secs
lola: STP completed || 1 tries, 303738 fired transitions, 970 secs || 319165 markings, 398087 edges, 331 markings/sec, 970 secs
lola: STP completed || 1 tries, 305297 fired transitions, 975 secs || 320843 markings, 400282 edges, 336 markings/sec, 975 secs
lola: STP completed || 1 tries, 306874 fired transitions, 980 secs || 322505 markings, 402436 edges, 332 markings/sec, 980 secs
lola: STP completed || 1 tries, 308471 fired transitions, 985 secs || 324170 markings, 404569 edges, 333 markings/sec, 985 secs
lola: STP completed || 1 tries, 310050 fired transitions, 990 secs || 325848 markings, 406718 edges, 336 markings/sec, 990 secs
lola: STP completed || 1 tries, 311576 fired transitions, 995 secs || 327534 markings, 408925 edges, 337 markings/sec, 995 secs
lola: STP completed || 1 tries, 313140 fired transitions, 1000 secs || 329220 markings, 411029 edges, 337 markings/sec, 1000 secs
lola: STP completed || 1 tries, 314739 fired transitions, 1005 secs || 330878 markings, 413255 edges, 332 markings/sec, 1005 secs
lola: STP completed || 1 tries, 316314 fired transitions, 1010 secs || 332539 markings, 415548 edges, 332 markings/sec, 1010 secs
lola: STP completed || 1 tries, 317891 fired transitions, 1015 secs || 334221 markings, 417747 edges, 336 markings/sec, 1015 secs
lola: STP completed || 1 tries, 319459 fired transitions, 1020 secs || 335884 markings, 419840 edges, 333 markings/sec, 1020 secs
lola: STP completed || 1 tries, 320999 fired transitions, 1025 secs || 337528 markings, 421918 edges, 329 markings/sec, 1025 secs
lola: STP completed || 1 tries, 322565 fired transitions, 1030 secs || 339204 markings, 424051 edges, 335 markings/sec, 1030 secs
lola: STP completed || 1 tries, 324149 fired transitions, 1035 secs || 340886 markings, 426089 edges, 336 markings/sec, 1035 secs
lola: STP completed || 1 tries, 325730 fired transitions, 1040 secs || 342569 markings, 428231 edges, 337 markings/sec, 1040 secs
lola: STP completed || 1 tries, 327315 fired transitions, 1045 secs || 344262 markings, 430429 edges, 339 markings/sec, 1045 secs
lola: STP completed || 1 tries, 328869 fired transitions, 1050 secs || 345951 markings, 432426 edges, 338 markings/sec, 1050 secs
lola: STP completed || 1 tries, 330434 fired transitions, 1055 secs || 347637 markings, 434413 edges, 337 markings/sec, 1055 secs
lola: STP completed || 1 tries, 332007 fired transitions, 1060 secs || 349308 markings, 436607 edges, 334 markings/sec, 1060 secs
lola: STP completed || 1 tries, 333592 fired transitions, 1065 secs || 350998 markings, 438596 edges, 338 markings/sec, 1065 secs
lola: STP completed || 1 tries, 335173 fired transitions, 1070 secs || 352676 markings, 440577 edges, 336 markings/sec, 1070 secs
lola: STP completed || 1 tries, 336753 fired transitions, 1075 secs || 354329 markings, 442750 edges, 331 markings/sec, 1075 secs
lola: STP completed || 1 tries, 338324 fired transitions, 1080 secs || 355994 markings, 444939 edges, 333 markings/sec, 1080 secs
lola: STP completed || 1 tries, 339910 fired transitions, 1085 secs || 357650 markings, 447221 edges, 331 markings/sec, 1085 secs
lola: STP completed || 1 tries, 341479 fired transitions, 1090 secs || 359316 markings, 449366 edges, 333 markings/sec, 1090 secs
lola: STP completed || 1 tries, 343041 fired transitions, 1095 secs || 360971 markings, 451731 edges, 331 markings/sec, 1095 secs
lola: STP completed || 1 tries, 344591 fired transitions, 1100 secs || 362646 markings, 453906 edges, 335 markings/sec, 1100 secs
lola: STP completed || 1 tries, 346147 fired transitions, 1105 secs || 364304 markings, 456251 edges, 332 markings/sec, 1105 secs
lola: STP completed || 1 tries, 347690 fired transitions, 1110 secs || 365986 markings, 458252 edges, 336 markings/sec, 1110 secs
lola: STP completed || 1 tries, 349284 fired transitions, 1115 secs || 367678 markings, 460416 edges, 338 markings/sec, 1115 secs
lola: STP completed || 1 tries, 350886 fired transitions, 1120 secs || 369359 markings, 462461 edges, 336 markings/sec, 1120 secs
lola: STP completed || 1 tries, 352498 fired transitions, 1125 secs || 371063 markings, 464492 edges, 341 markings/sec, 1125 secs
lola: STP completed || 1 tries, 354093 fired transitions, 1130 secs || 372764 markings, 466500 edges, 340 markings/sec, 1130 secs
lola: STP completed || 1 tries, 355684 fired transitions, 1135 secs || 374469 markings, 468508 edges, 341 markings/sec, 1135 secs
lola: STP completed || 1 tries, 357281 fired transitions, 1140 secs || 376169 markings, 470536 edges, 340 markings/sec, 1140 secs
lola: STP completed || 1 tries, 358853 fired transitions, 1145 secs || 377859 markings, 472533 edges, 338 markings/sec, 1145 secs
lola: STP completed || 1 tries, 360430 fired transitions, 1150 secs || 379537 markings, 474610 edges, 336 markings/sec, 1150 secs
lola: STP completed || 1 tries, 362001 fired transitions, 1155 secs || 381214 markings, 476729 edges, 335 markings/sec, 1155 secs
lola: STP completed || 1 tries, 363596 fired transitions, 1160 secs || 382882 markings, 478858 edges, 334 markings/sec, 1160 secs
lola: STP completed || 1 tries, 365157 fired transitions, 1165 secs || 384564 markings, 481119 edges, 336 markings/sec, 1165 secs
lola: STP completed || 1 tries, 366724 fired transitions, 1170 secs || 386245 markings, 483272 edges, 336 markings/sec, 1170 secs
lola: STP completed || 1 tries, 368290 fired transitions, 1175 secs || 387925 markings, 485284 edges, 336 markings/sec, 1175 secs
lola: STP completed || 1 tries, 369851 fired transitions, 1180 secs || 389599 markings, 487254 edges, 335 markings/sec, 1180 secs
lola: STP completed || 1 tries, 371411 fired transitions, 1185 secs || 391265 markings, 489216 edges, 333 markings/sec, 1185 secs
lola: STP completed || 1 tries, 372980 fired transitions, 1190 secs || 392928 markings, 491404 edges, 333 markings/sec, 1190 secs
lola: STP completed || 1 tries, 374549 fired transitions, 1195 secs || 394602 markings, 493376 edges, 335 markings/sec, 1195 secs
lola: STP completed || 1 tries, 376135 fired transitions, 1200 secs || 396281 markings, 495353 edges, 336 markings/sec, 1200 secs
lola: STP completed || 1 tries, 377685 fired transitions, 1205 secs || 397948 markings, 497542 edges, 333 markings/sec, 1205 secs
lola: STP completed || 1 tries, 379231 fired transitions, 1210 secs || 399595 markings, 499850 edges, 329 markings/sec, 1210 secs
lola: STP completed || 1 tries, 380788 fired transitions, 1215 secs || 401270 markings, 501840 edges, 335 markings/sec, 1215 secs
lola: STP completed || 1 tries, 382343 fired transitions, 1220 secs || 402931 markings, 504031 edges, 332 markings/sec, 1220 secs
lola: STP completed || 1 tries, 383898 fired transitions, 1225 secs || 404580 markings, 505973 edges, 330 markings/sec, 1225 secs
lola: STP completed || 1 tries, 385435 fired transitions, 1230 secs || 406246 markings, 507999 edges, 333 markings/sec, 1230 secs
lola: STP completed || 1 tries, 386984 fired transitions, 1235 secs || 407908 markings, 510120 edges, 332 markings/sec, 1235 secs
lola: STP completed || 1 tries, 388508 fired transitions, 1240 secs || 409581 markings, 512392 edges, 335 markings/sec, 1240 secs
lola: STP completed || 1 tries, 390080 fired transitions, 1245 secs || 411242 markings, 514500 edges, 332 markings/sec, 1245 secs
lola: STP completed || 1 tries, 391612 fired transitions, 1250 secs || 412902 markings, 516609 edges, 332 markings/sec, 1250 secs
lola: STP completed || 1 tries, 393169 fired transitions, 1255 secs || 414551 markings, 518939 edges, 330 markings/sec, 1255 secs
lola: STP completed || 1 tries, 394750 fired transitions, 1260 secs || 416207 markings, 521071 edges, 331 markings/sec, 1260 secs
lola: STP completed || 1 tries, 396281 fired transitions, 1265 secs || 417867 markings, 523235 edges, 332 markings/sec, 1265 secs
lola: STP completed || 1 tries, 397847 fired transitions, 1270 secs || 419544 markings, 525360 edges, 335 markings/sec, 1270 secs
lola: STP completed || 1 tries, 399399 fired transitions, 1275 secs || 421213 markings, 527394 edges, 334 markings/sec, 1275 secs
lola: STP completed || 1 tries, 400966 fired transitions, 1280 secs || 422887 markings, 529430 edges, 335 markings/sec, 1280 secs
lola: STP completed || 1 tries, 402533 fired transitions, 1285 secs || 424556 markings, 531461 edges, 334 markings/sec, 1285 secs
lola: STP completed || 1 tries, 404129 fired transitions, 1290 secs || 426231 markings, 533497 edges, 335 markings/sec, 1290 secs
lola: STP completed || 1 tries, 405684 fired transitions, 1295 secs || 427896 markings, 535526 edges, 333 markings/sec, 1295 secs
lola: STP completed || 1 tries, 407264 fired transitions, 1300 secs || 429566 markings, 537557 edges, 334 markings/sec, 1300 secs
lola: STP completed || 1 tries, 408849 fired transitions, 1305 secs || 431233 markings, 539592 edges, 333 markings/sec, 1305 secs
lola: STP completed || 1 tries, 410446 fired transitions, 1310 secs || 432898 markings, 541611 edges, 333 markings/sec, 1310 secs
lola: STP completed || 1 tries, 411982 fired transitions, 1315 secs || 434521 markings, 544694 edges, 325 markings/sec, 1315 secs
lola: STP completed || 1 tries, 413551 fired transitions, 1320 secs || 436158 markings, 546803 edges, 327 markings/sec, 1320 secs
lola: STP completed || 1 tries, 415142 fired transitions, 1325 secs || 437779 markings, 548781 edges, 324 markings/sec, 1325 secs
lola: STP completed || 1 tries, 416731 fired transitions, 1330 secs || 439408 markings, 550755 edges, 326 markings/sec, 1330 secs
lola: STP completed || 1 tries, 418308 fired transitions, 1335 secs || 441018 markings, 552722 edges, 322 markings/sec, 1335 secs
lola: STP completed || 1 tries, 419867 fired transitions, 1340 secs || 442687 markings, 554746 edges, 334 markings/sec, 1340 secs
lola: STP completed || 1 tries, 421403 fired transitions, 1345 secs || 444349 markings, 556778 edges, 332 markings/sec, 1345 secs
lola: STP completed || 1 tries, 422996 fired transitions, 1350 secs || 446034 markings, 558820 edges, 337 markings/sec, 1350 secs
lola: STP completed || 1 tries, 424567 fired transitions, 1355 secs || 447697 markings, 560853 edges, 333 markings/sec, 1355 secs
lola: STP completed || 1 tries, 426153 fired transitions, 1360 secs || 449344 markings, 562849 edges, 329 markings/sec, 1360 secs
lola: STP completed || 1 tries, 427729 fired transitions, 1365 secs || 450966 markings, 564825 edges, 324 markings/sec, 1365 secs
lola: STP completed || 1 tries, 429297 fired transitions, 1370 secs || 452621 markings, 566859 edges, 331 markings/sec, 1370 secs
lola: STP completed || 1 tries, 430856 fired transitions, 1375 secs || 454273 markings, 568863 edges, 330 markings/sec, 1375 secs
lola: STP completed || 1 tries, 432416 fired transitions, 1380 secs || 455916 markings, 570870 edges, 329 markings/sec, 1380 secs
lola: STP completed || 1 tries, 433967 fired transitions, 1385 secs || 457561 markings, 572863 edges, 329 markings/sec, 1385 secs
lola: STP completed || 1 tries, 435537 fired transitions, 1390 secs || 459206 markings, 574878 edges, 329 markings/sec, 1390 secs
lola: STP completed || 1 tries, 437128 fired transitions, 1395 secs || 460872 markings, 576895 edges, 333 markings/sec, 1395 secs
lola: STP completed || 1 tries, 438709 fired transitions, 1400 secs || 462535 markings, 578928 edges, 333 markings/sec, 1400 secs
lola: STP completed || 1 tries, 440275 fired transitions, 1405 secs || 464209 markings, 580958 edges, 335 markings/sec, 1405 secs
lola: STP completed || 1 tries, 441839 fired transitions, 1410 secs || 465846 markings, 583814 edges, 327 markings/sec, 1410 secs
lola: STP completed || 1 tries, 443450 fired transitions, 1415 secs || 467502 markings, 586187 edges, 331 markings/sec, 1415 secs
lola: STP completed || 1 tries, 445029 fired transitions, 1420 secs || 469160 markings, 588210 edges, 332 markings/sec, 1420 secs
lola: STP completed || 1 tries, 446605 fired transitions, 1425 secs || 470831 markings, 590239 edges, 334 markings/sec, 1425 secs
lola: STP completed || 1 tries, 448191 fired transitions, 1430 secs || 472497 markings, 592275 edges, 333 markings/sec, 1430 secs
lola: STP completed || 1 tries, 449766 fired transitions, 1435 secs || 474165 markings, 594295 edges, 334 markings/sec, 1435 secs
lola: STP completed || 1 tries, 451300 fired transitions, 1440 secs || 475834 markings, 596335 edges, 334 markings/sec, 1440 secs
lola: STP completed || 1 tries, 452874 fired transitions, 1445 secs || 477481 markings, 598331 edges, 329 markings/sec, 1445 secs
lola: STP completed || 1 tries, 454474 fired transitions, 1450 secs || 479148 markings, 600369 edges, 333 markings/sec, 1450 secs
lola: STP completed || 1 tries, 456022 fired transitions, 1455 secs || 480821 markings, 602395 edges, 335 markings/sec, 1455 secs
lola: STP completed || 1 tries, 457551 fired transitions, 1460 secs || 482481 markings, 604425 edges, 332 markings/sec, 1460 secs
lola: STP completed || 1 tries, 459081 fired transitions, 1465 secs || 484144 markings, 606472 edges, 333 markings/sec, 1465 secs
lola: STP completed || 1 tries, 460613 fired transitions, 1470 secs || 485806 markings, 608488 edges, 332 markings/sec, 1470 secs
lola: STP completed || 1 tries, 462142 fired transitions, 1475 secs || 487452 markings, 610495 edges, 329 markings/sec, 1475 secs
lola: STP completed || 1 tries, 463686 fired transitions, 1480 secs || 489118 markings, 612519 edges, 333 markings/sec, 1480 secs
lola: STP completed || 1 tries, 465254 fired transitions, 1485 secs || 490779 markings, 614615 edges, 332 markings/sec, 1485 secs
lola: STP completed || 1 tries, 466811 fired transitions, 1490 secs || 492447 markings, 616630 edges, 334 markings/sec, 1490 secs
lola: STP completed || 1 tries, 468390 fired transitions, 1495 secs || 494116 markings, 618663 edges, 334 markings/sec, 1495 secs
lola: STP completed || 1 tries, 469924 fired transitions, 1500 secs || 495778 markings, 620794 edges, 332 markings/sec, 1500 secs
lola: STP completed || 1 tries, 471470 fired transitions, 1505 secs || 497443 markings, 622906 edges, 333 markings/sec, 1505 secs
lola: STP completed || 1 tries, 473028 fired transitions, 1510 secs || 499104 markings, 624919 edges, 332 markings/sec, 1510 secs
lola: STP completed || 1 tries, 474606 fired transitions, 1515 secs || 500772 markings, 626941 edges, 334 markings/sec, 1515 secs
lola: STP completed || 1 tries, 476172 fired transitions, 1520 secs || 502439 markings, 628974 edges, 333 markings/sec, 1520 secs
lola: STP completed || 1 tries, 477738 fired transitions, 1525 secs || 504092 markings, 630995 edges, 331 markings/sec, 1525 secs
lola: STP completed || 1 tries, 479286 fired transitions, 1530 secs || 505753 markings, 633144 edges, 332 markings/sec, 1530 secs
lola: STP completed || 1 tries, 480809 fired transitions, 1535 secs || 507416 markings, 635221 edges, 333 markings/sec, 1535 secs
lola: STP completed || 1 tries, 482352 fired transitions, 1540 secs || 509090 markings, 637252 edges, 335 markings/sec, 1540 secs
lola: STP completed || 1 tries, 483854 fired transitions, 1545 secs || 510747 markings, 639275 edges, 331 markings/sec, 1545 secs
lola: STP completed || 1 tries, 485386 fired transitions, 1550 secs || 512383 markings, 641348 edges, 327 markings/sec, 1550 secs
lola: STP completed || 1 tries, 486924 fired transitions, 1555 secs || 514005 markings, 643388 edges, 324 markings/sec, 1555 secs
lola: STP completed || 1 tries, 488477 fired transitions, 1560 secs || 515621 markings, 645463 edges, 323 markings/sec, 1560 secs
lola: STP completed || 1 tries, 490030 fired transitions, 1565 secs || 517213 markings, 647437 edges, 318 markings/sec, 1565 secs
lola: STP completed || 1 tries, 491599 fired transitions, 1570 secs || 518839 markings, 649528 edges, 325 markings/sec, 1570 secs
lola: STP completed || 1 tries, 493167 fired transitions, 1575 secs || 520457 markings, 651569 edges, 324 markings/sec, 1575 secs
lola: STP completed || 1 tries, 494733 fired transitions, 1580 secs || 522037 markings, 653628 edges, 316 markings/sec, 1580 secs
lola: STP completed || 1 tries, 496319 fired transitions, 1585 secs || 523685 markings, 655722 edges, 330 markings/sec, 1585 secs
lola: STP completed || 1 tries, 497902 fired transitions, 1590 secs || 525342 markings, 657784 edges, 331 markings/sec, 1590 secs
lola: STP completed || 1 tries, 499523 fired transitions, 1595 secs || 526988 markings, 659868 edges, 329 markings/sec, 1595 secs
lola: STP completed || 1 tries, 501090 fired transitions, 1600 secs || 528646 markings, 661928 edges, 332 markings/sec, 1600 secs
lola: STP completed || 1 tries, 502639 fired transitions, 1605 secs || 530298 markings, 663983 edges, 330 markings/sec, 1605 secs
lola: STP completed || 1 tries, 503981 fired transitions, 1610 secs || 531711 markings, 665737 edges, 283 markings/sec, 1610 secs
lola: STP completed || 1 tries, 505536 fired transitions, 1615 secs || 533343 markings, 667760 edges, 326 markings/sec, 1615 secs
lola: STP completed || 1 tries, 507097 fired transitions, 1620 secs || 534999 markings, 669842 edges, 331 markings/sec, 1620 secs
lola: STP completed || 1 tries, 508675 fired transitions, 1625 secs || 536647 markings, 672003 edges, 330 markings/sec, 1625 secs
lola: STP completed || 1 tries, 510217 fired transitions, 1630 secs || 538295 markings, 673998 edges, 330 markings/sec, 1630 secs
lola: STP completed || 1 tries, 511809 fired transitions, 1635 secs || 539923 markings, 676153 edges, 326 markings/sec, 1635 secs
lola: STP completed || 1 tries, 513400 fired transitions, 1640 secs || 541589 markings, 678118 edges, 333 markings/sec, 1640 secs
lola: STP completed || 1 tries, 514994 fired transitions, 1645 secs || 543265 markings, 680258 edges, 335 markings/sec, 1645 secs
lola: STP completed || 1 tries, 516573 fired transitions, 1650 secs || 544919 markings, 682218 edges, 331 markings/sec, 1650 secs
lola: STP completed || 1 tries, 518168 fired transitions, 1655 secs || 546584 markings, 684234 edges, 333 markings/sec, 1655 secs
lola: STP completed || 1 tries, 519724 fired transitions, 1660 secs || 548235 markings, 686365 edges, 330 markings/sec, 1660 secs
lola: STP completed || 1 tries, 521276 fired transitions, 1665 secs || 549889 markings, 688756 edges, 331 markings/sec, 1665 secs
lola: STP completed || 1 tries, 522841 fired transitions, 1670 secs || 551549 markings, 690714 edges, 332 markings/sec, 1670 secs
lola: STP completed || 1 tries, 524432 fired transitions, 1675 secs || 553202 markings, 692667 edges, 331 markings/sec, 1675 secs
lola: STP completed || 1 tries, 526009 fired transitions, 1680 secs || 554901 markings, 694820 edges, 340 markings/sec, 1680 secs
lola: STP completed || 1 tries, 527575 fired transitions, 1685 secs || 556572 markings, 696944 edges, 334 markings/sec, 1685 secs
lola: STP completed || 1 tries, 529137 fired transitions, 1690 secs || 558235 markings, 699117 edges, 333 markings/sec, 1690 secs
lola: STP completed || 1 tries, 530698 fired transitions, 1695 secs || 559891 markings, 701302 edges, 331 markings/sec, 1695 secs
lola: STP completed || 1 tries, 532283 fired transitions, 1700 secs || 561533 markings, 703341 edges, 328 markings/sec, 1700 secs
lola: STP completed || 1 tries, 533854 fired transitions, 1705 secs || 563164 markings, 705465 edges, 326 markings/sec, 1705 secs
lola: STP completed || 1 tries, 535420 fired transitions, 1710 secs || 564797 markings, 707822 edges, 327 markings/sec, 1710 secs
lola: STP completed || 1 tries, 536962 fired transitions, 1715 secs || 566434 markings, 709932 edges, 327 markings/sec, 1715 secs
lola: STP completed || 1 tries, 538499 fired transitions, 1720 secs || 568063 markings, 712190 edges, 326 markings/sec, 1720 secs
lola: STP completed || 1 tries, 540047 fired transitions, 1725 secs || 569722 markings, 714406 edges, 332 markings/sec, 1725 secs
lola: STP completed || 1 tries, 541633 fired transitions, 1730 secs || 571377 markings, 716481 edges, 331 markings/sec, 1730 secs
lola: STP completed || 1 tries, 543214 fired transitions, 1735 secs || 573039 markings, 718500 edges, 332 markings/sec, 1735 secs
lola: STP completed || 1 tries, 544791 fired transitions, 1740 secs || 574698 markings, 720521 edges, 332 markings/sec, 1740 secs
lola: STP completed || 1 tries, 546381 fired transitions, 1745 secs || 576373 markings, 722556 edges, 335 markings/sec, 1745 secs
lola: STP completed || 1 tries, 547976 fired transitions, 1750 secs || 578040 markings, 724592 edges, 333 markings/sec, 1750 secs
lola: STP completed || 1 tries, 549533 fired transitions, 1755 secs || 579705 markings, 726615 edges, 333 markings/sec, 1755 secs
lola: STP completed || 1 tries, 551100 fired transitions, 1760 secs || 581368 markings, 728642 edges, 333 markings/sec, 1760 secs
lola: STP completed || 1 tries, 552659 fired transitions, 1765 secs || 583036 markings, 730668 edges, 334 markings/sec, 1765 secs
lola: STP completed || 1 tries, 554221 fired transitions, 1770 secs || 584697 markings, 732693 edges, 332 markings/sec, 1770 secs
lola: STP completed || 1 tries, 555793 fired transitions, 1775 secs || 586363 markings, 734719 edges, 333 markings/sec, 1775 secs
lola: STP completed || 1 tries, 557354 fired transitions, 1780 secs || 588024 markings, 736741 edges, 332 markings/sec, 1780 secs
lola: STP completed || 1 tries, 558936 fired transitions, 1785 secs || 589690 markings, 738767 edges, 333 markings/sec, 1785 secs
lola: STP completed || 1 tries, 560498 fired transitions, 1790 secs || 591343 markings, 741075 edges, 331 markings/sec, 1790 secs
lola: STP completed || 1 tries, 562077 fired transitions, 1795 secs || 592976 markings, 743989 edges, 327 markings/sec, 1795 secs
lola: STP completed || 1 tries, 563634 fired transitions, 1800 secs || 594635 markings, 746012 edges, 332 markings/sec, 1800 secs
lola: STP completed || 1 tries, 565179 fired transitions, 1805 secs || 596302 markings, 748037 edges, 333 markings/sec, 1805 secs
lola: STP completed || 1 tries, 566760 fired transitions, 1810 secs || 597969 markings, 750067 edges, 333 markings/sec, 1810 secs
lola: STP completed || 1 tries, 568328 fired transitions, 1815 secs || 599642 markings, 752101 edges, 335 markings/sec, 1815 secs
lola: STP completed || 1 tries, 569902 fired transitions, 1820 secs || 601316 markings, 754140 edges, 335 markings/sec, 1820 secs
lola: STP completed || 1 tries, 571481 fired transitions, 1825 secs || 602993 markings, 756180 edges, 335 markings/sec, 1825 secs
lola: STP completed || 1 tries, 573060 fired transitions, 1830 secs || 604665 markings, 758216 edges, 334 markings/sec, 1830 secs
lola: STP completed || 1 tries, 574636 fired transitions, 1835 secs || 606344 markings, 760256 edges, 336 markings/sec, 1835 secs
lola: STP completed || 1 tries, 576240 fired transitions, 1840 secs || 607989 markings, 762260 edges, 329 markings/sec, 1840 secs
lola: STP completed || 1 tries, 577819 fired transitions, 1845 secs || 609661 markings, 764293 edges, 334 markings/sec, 1845 secs
lola: STP completed || 1 tries, 579393 fired transitions, 1850 secs || 611323 markings, 766318 edges, 332 markings/sec, 1850 secs
lola: STP completed || 1 tries, 580971 fired transitions, 1855 secs || 613003 markings, 768359 edges, 336 markings/sec, 1855 secs
lola: STP completed || 1 tries, 582544 fired transitions, 1860 secs || 614678 markings, 770401 edges, 335 markings/sec, 1860 secs
lola: STP completed || 1 tries, 584105 fired transitions, 1865 secs || 616332 markings, 772771 edges, 331 markings/sec, 1865 secs
lola: STP completed || 1 tries, 585685 fired transitions, 1870 secs || 617965 markings, 775689 edges, 327 markings/sec, 1870 secs
lola: STP completed || 1 tries, 587274 fired transitions, 1875 secs || 619635 markings, 777718 edges, 334 markings/sec, 1875 secs
lola: STP completed || 1 tries, 588846 fired transitions, 1880 secs || 621305 markings, 779754 edges, 334 markings/sec, 1880 secs
lola: STP completed || 1 tries, 590446 fired transitions, 1885 secs || 622978 markings, 781785 edges, 335 markings/sec, 1885 secs
lola: STP completed || 1 tries, 592010 fired transitions, 1890 secs || 624654 markings, 783829 edges, 335 markings/sec, 1890 secs
lola: STP completed || 1 tries, 593581 fired transitions, 1895 secs || 626334 markings, 785868 edges, 336 markings/sec, 1895 secs
lola: STP completed || 1 tries, 595128 fired transitions, 1900 secs || 628009 markings, 787909 edges, 335 markings/sec, 1900 secs
lola: STP completed || 1 tries, 596714 fired transitions, 1905 secs || 629690 markings, 789953 edges, 336 markings/sec, 1905 secs
lola: STP completed || 1 tries, 598304 fired transitions, 1910 secs || 631363 markings, 791990 edges, 335 markings/sec, 1910 secs
lola: STP completed || 1 tries, 599886 fired transitions, 1915 secs || 633044 markings, 794032 edges, 336 markings/sec, 1915 secs
lola: STP completed || 1 tries, 601483 fired transitions, 1920 secs || 634698 markings, 796484 edges, 331 markings/sec, 1920 secs
lola: STP completed || 1 tries, 603063 fired transitions, 1925 secs || 636333 markings, 799858 edges, 327 markings/sec, 1925 secs
lola: STP completed || 1 tries, 604639 fired transitions, 1930 secs || 637957 markings, 803214 edges, 325 markings/sec, 1930 secs
lola: STP completed || 1 tries, 606231 fired transitions, 1935 secs || 639585 markings, 806573 edges, 326 markings/sec, 1935 secs
lola: STP completed || 1 tries, 607838 fired transitions, 1940 secs || 641209 markings, 809893 edges, 325 markings/sec, 1940 secs
lola: STP completed || 1 tries, 609413 fired transitions, 1945 secs || 642853 markings, 812834 edges, 329 markings/sec, 1945 secs
lola: STP completed || 1 tries, 611001 fired transitions, 1950 secs || 644520 markings, 814866 edges, 333 markings/sec, 1950 secs
lola: STP completed || 1 tries, 612593 fired transitions, 1955 secs || 646194 markings, 816901 edges, 335 markings/sec, 1955 secs
lola: STP completed || 1 tries, 614172 fired transitions, 1960 secs || 647864 markings, 818935 edges, 334 markings/sec, 1960 secs
lola: STP completed || 1 tries, 615746 fired transitions, 1965 secs || 649543 markings, 820974 edges, 336 markings/sec, 1965 secs
lola: STP completed || 1 tries, 617327 fired transitions, 1970 secs || 651218 markings, 823015 edges, 335 markings/sec, 1970 secs
lola: STP completed || 1 tries, 618884 fired transitions, 1975 secs || 652898 markings, 825057 edges, 336 markings/sec, 1975 secs
lola: STP completed || 1 tries, 620476 fired transitions, 1980 secs || 654574 markings, 827099 edges, 335 markings/sec, 1980 secs
lola: STP completed || 1 tries, 622082 fired transitions, 1985 secs || 656249 markings, 829135 edges, 335 markings/sec, 1985 secs
lola: STP completed || 1 tries, 623657 fired transitions, 1990 secs || 657921 markings, 831170 edges, 334 markings/sec, 1990 secs
lola: STP completed || 1 tries, 625234 fired transitions, 1995 secs || 659597 markings, 833208 edges, 335 markings/sec, 1995 secs
lola: STP completed || 1 tries, 626838 fired transitions, 2000 secs || 661270 markings, 835246 edges, 335 markings/sec, 2000 secs
lola: STP completed || 1 tries, 628405 fired transitions, 2005 secs || 662948 markings, 837285 edges, 336 markings/sec, 2005 secs
lola: STP completed || 1 tries, 629995 fired transitions, 2010 secs || 664614 markings, 839316 edges, 333 markings/sec, 2010 secs
lola: STP completed || 1 tries, 631588 fired transitions, 2015 secs || 666272 markings, 841738 edges, 332 markings/sec, 2015 secs
lola: STP completed || 1 tries, 633186 fired transitions, 2020 secs || 667901 markings, 844603 edges, 326 markings/sec, 2020 secs
lola: STP completed || 1 tries, 634768 fired transitions, 2025 secs || 669567 markings, 846629 edges, 333 markings/sec, 2025 secs
lola: STP completed || 1 tries, 636358 fired transitions, 2030 secs || 671224 markings, 848647 edges, 331 markings/sec, 2030 secs
lola: STP completed || 1 tries, 637939 fired transitions, 2035 secs || 672891 markings, 850674 edges, 333 markings/sec, 2035 secs
lola: STP completed || 1 tries, 639520 fired transitions, 2040 secs || 674552 markings, 852696 edges, 332 markings/sec, 2040 secs
lola: STP completed || 1 tries, 641099 fired transitions, 2045 secs || 676217 markings, 854721 edges, 333 markings/sec, 2045 secs
lola: STP completed || 1 tries, 642670 fired transitions, 2050 secs || 677867 markings, 857116 edges, 330 markings/sec, 2050 secs
lola: STP completed || 1 tries, 644260 fired transitions, 2055 secs || 679489 markings, 860464 edges, 324 markings/sec, 2055 secs
lola: STP completed || 1 tries, 645845 fired transitions, 2060 secs || 681106 markings, 863806 edges, 323 markings/sec, 2060 secs
lola: STP completed || 1 tries, 647423 fired transitions, 2065 secs || 682723 markings, 867141 edges, 323 markings/sec, 2065 secs
lola: STP completed || 1 tries, 649018 fired transitions, 2070 secs || 684346 markings, 870255 edges, 325 markings/sec, 2070 secs
lola: STP completed || 1 tries, 650585 fired transitions, 2075 secs || 686017 markings, 872290 edges, 334 markings/sec, 2075 secs
lola: STP completed || 1 tries, 652171 fired transitions, 2080 secs || 687682 markings, 874313 edges, 333 markings/sec, 2080 secs
lola: STP completed || 1 tries, 653752 fired transitions, 2085 secs || 689348 markings, 876343 edges, 333 markings/sec, 2085 secs
lola: STP completed || 1 tries, 655334 fired transitions, 2090 secs || 691004 markings, 878577 edges, 331 markings/sec, 2090 secs
lola: STP completed || 1 tries, 656924 fired transitions, 2095 secs || 692630 markings, 881559 edges, 325 markings/sec, 2095 secs
lola: STP completed || 1 tries, 658501 fired transitions, 2100 secs || 694287 markings, 883576 edges, 331 markings/sec, 2100 secs
lola: STP completed || 1 tries, 660074 fired transitions, 2105 secs || 695961 markings, 885651 edges, 335 markings/sec, 2105 secs
lola: STP completed || 1 tries, 661651 fired transitions, 2110 secs || 697639 markings, 887716 edges, 336 markings/sec, 2110 secs
lola: STP completed || 1 tries, 663236 fired transitions, 2115 secs || 699311 markings, 889817 edges, 334 markings/sec, 2115 secs
lola: STP completed || 1 tries, 664807 fired transitions, 2120 secs || 700981 markings, 891899 edges, 334 markings/sec, 2120 secs
lola: STP completed || 1 tries, 666388 fired transitions, 2125 secs || 702659 markings, 893971 edges, 336 markings/sec, 2125 secs
lola: STP completed || 1 tries, 667952 fired transitions, 2130 secs || 704335 markings, 896053 edges, 335 markings/sec, 2130 secs
lola: STP completed || 1 tries, 669531 fired transitions, 2135 secs || 706011 markings, 898140 edges, 335 markings/sec, 2135 secs
lola: STP completed || 1 tries, 671115 fired transitions, 2140 secs || 707683 markings, 900366 edges, 334 markings/sec, 2140 secs
lola: STP completed || 1 tries, 672713 fired transitions, 2145 secs || 709357 markings, 902471 edges, 335 markings/sec, 2145 secs
lola: STP completed || 1 tries, 674309 fired transitions, 2150 secs || 711027 markings, 904811 edges, 334 markings/sec, 2150 secs
lola: STP completed || 1 tries, 675866 fired transitions, 2155 secs || 712667 markings, 906921 edges, 328 markings/sec, 2155 secs
lola: STP completed || 1 tries, 677440 fired transitions, 2160 secs || 714354 markings, 909060 edges, 337 markings/sec, 2160 secs
lola: STP completed || 1 tries, 679016 fired transitions, 2165 secs || 716044 markings, 911293 edges, 338 markings/sec, 2165 secs
lola: STP completed || 1 tries, 680604 fired transitions, 2170 secs || 717736 markings, 913445 edges, 338 markings/sec, 2170 secs
lola: STP completed || 1 tries, 682202 fired transitions, 2175 secs || 719413 markings, 915555 edges, 335 markings/sec, 2175 secs
lola: STP completed || 1 tries, 683764 fired transitions, 2180 secs || 721078 markings, 917738 edges, 333 markings/sec, 2180 secs
lola: STP completed || 1 tries, 685369 fired transitions, 2185 secs || 722749 markings, 920060 edges, 334 markings/sec, 2185 secs
lola: STP completed || 1 tries, 686952 fired transitions, 2190 secs || 724423 markings, 922232 edges, 335 markings/sec, 2190 secs
lola: STP completed || 1 tries, 688536 fired transitions, 2195 secs || 726099 markings, 924289 edges, 335 markings/sec, 2195 secs
lola: STP completed || 1 tries, 690077 fired transitions, 2200 secs || 727767 markings, 926403 edges, 334 markings/sec, 2200 secs
lola: STP completed || 1 tries, 691608 fired transitions, 2205 secs || 729446 markings, 928477 edges, 336 markings/sec, 2205 secs
lola: STP completed || 1 tries, 693150 fired transitions, 2210 secs || 731104 markings, 930569 edges, 332 markings/sec, 2210 secs
lola: STP completed || 1 tries, 694735 fired transitions, 2215 secs || 732737 markings, 932845 edges, 327 markings/sec, 2215 secs
lola: STP completed || 1 tries, 696303 fired transitions, 2220 secs || 734378 markings, 934910 edges, 328 markings/sec, 2220 secs
lola: STP completed || 1 tries, 697886 fired transitions, 2225 secs || 736050 markings, 937016 edges, 334 markings/sec, 2225 secs
lola: STP completed || 1 tries, 699440 fired transitions, 2230 secs || 737705 markings, 939129 edges, 331 markings/sec, 2230 secs
lola: STP completed || 1 tries, 700996 fired transitions, 2235 secs || 739378 markings, 941118 edges, 335 markings/sec, 2235 secs
lola: STP completed || 1 tries, 702549 fired transitions, 2240 secs || 741033 markings, 943133 edges, 331 markings/sec, 2240 secs
lola: STP completed || 1 tries, 704105 fired transitions, 2245 secs || 742699 markings, 945152 edges, 333 markings/sec, 2245 secs
lola: STP completed || 1 tries, 705681 fired transitions, 2250 secs || 744350 markings, 947171 edges, 330 markings/sec, 2250 secs
lola: STP completed || 1 tries, 707277 fired transitions, 2255 secs || 746018 markings, 949191 edges, 334 markings/sec, 2255 secs
lola: STP completed || 1 tries, 708839 fired transitions, 2260 secs || 747626 markings, 951152 edges, 322 markings/sec, 2260 secs
lola: STP completed || 1 tries, 710420 fired transitions, 2265 secs || 749283 markings, 953167 edges, 331 markings/sec, 2265 secs
lola: STP completed || 1 tries, 711998 fired transitions, 2270 secs || 750929 markings, 955174 edges, 329 markings/sec, 2270 secs
lola: STP completed || 1 tries, 713573 fired transitions, 2275 secs || 752593 markings, 957196 edges, 333 markings/sec, 2275 secs
lola: STP completed || 1 tries, 715154 fired transitions, 2280 secs || 754215 markings, 959536 edges, 324 markings/sec, 2280 secs
lola: STP completed || 1 tries, 716725 fired transitions, 2285 secs || 755851 markings, 962386 edges, 327 markings/sec, 2285 secs
lola: STP completed || 1 tries, 718307 fired transitions, 2290 secs || 757510 markings, 964407 edges, 332 markings/sec, 2290 secs
lola: STP completed || 1 tries, 719883 fired transitions, 2295 secs || 759172 markings, 966428 edges, 332 markings/sec, 2295 secs
lola: STP completed || 1 tries, 721465 fired transitions, 2300 secs || 760839 markings, 968458 edges, 333 markings/sec, 2300 secs
lola: STP completed || 1 tries, 723061 fired transitions, 2305 secs || 762496 markings, 970471 edges, 331 markings/sec, 2305 secs
lola: STP completed || 1 tries, 724607 fired transitions, 2310 secs || 764161 markings, 972500 edges, 333 markings/sec, 2310 secs
lola: STP completed || 1 tries, 726189 fired transitions, 2315 secs || 765830 markings, 974530 edges, 334 markings/sec, 2315 secs
lola: STP completed || 1 tries, 727745 fired transitions, 2320 secs || 767501 markings, 976565 edges, 334 markings/sec, 2320 secs
lola: STP completed || 1 tries, 729287 fired transitions, 2325 secs || 769176 markings, 978600 edges, 335 markings/sec, 2325 secs
lola: STP completed || 1 tries, 730837 fired transitions, 2330 secs || 770838 markings, 980625 edges, 332 markings/sec, 2330 secs
lola: STP completed || 1 tries, 732402 fired transitions, 2335 secs || 772513 markings, 982662 edges, 335 markings/sec, 2335 secs
lola: STP completed || 1 tries, 733989 fired transitions, 2340 secs || 774179 markings, 984691 edges, 333 markings/sec, 2340 secs
lola: STP completed || 1 tries, 735547 fired transitions, 2345 secs || 775860 markings, 986734 edges, 336 markings/sec, 2345 secs
lola: STP completed || 1 tries, 737096 fired transitions, 2350 secs || 777524 markings, 988762 edges, 333 markings/sec, 2350 secs
lola: STP completed || 1 tries, 738661 fired transitions, 2355 secs || 779187 markings, 991197 edges, 333 markings/sec, 2355 secs
lola: STP completed || 1 tries, 740257 fired transitions, 2360 secs || 780826 markings, 994067 edges, 328 markings/sec, 2360 secs
lola: STP completed || 1 tries, 741832 fired transitions, 2365 secs || 782494 markings, 996095 edges, 334 markings/sec, 2365 secs
lola: STP completed || 1 tries, 743429 fired transitions, 2370 secs || 784157 markings, 998123 edges, 333 markings/sec, 2370 secs
lola: STP completed || 1 tries, 744998 fired transitions, 2375 secs || 785841 markings, 1000167 edges, 337 markings/sec, 2375 secs
lola: STP completed || 1 tries, 746600 fired transitions, 2380 secs || 787517 markings, 1002209 edges, 335 markings/sec, 2380 secs
lola: STP completed || 1 tries, 748143 fired transitions, 2385 secs || 789189 markings, 1004240 edges, 334 markings/sec, 2385 secs
lola: STP completed || 1 tries, 749670 fired transitions, 2390 secs || 790857 markings, 1006274 edges, 334 markings/sec, 2390 secs
lola: STP completed || 1 tries, 751213 fired transitions, 2395 secs || 792537 markings, 1008313 edges, 336 markings/sec, 2395 secs
lola: STP completed || 1 tries, 752773 fired transitions, 2400 secs || 794212 markings, 1010360 edges, 335 markings/sec, 2400 secs
lola: STP completed || 1 tries, 754320 fired transitions, 2405 secs || 795892 markings, 1012396 edges, 336 markings/sec, 2405 secs
lola: STP completed || 1 tries, 755853 fired transitions, 2410 secs || 797563 markings, 1014438 edges, 334 markings/sec, 2410 secs
lola: STP completed || 1 tries, 757443 fired transitions, 2415 secs || 799248 markings, 1016479 edges, 337 markings/sec, 2415 secs
lola: STP completed || 1 tries, 759019 fired transitions, 2420 secs || 800919 markings, 1018520 edges, 334 markings/sec, 2420 secs
lola: STP completed || 1 tries, 760612 fired transitions, 2425 secs || 802617 markings, 1020585 edges, 340 markings/sec, 2425 secs
lola: STP completed || 1 tries, 762192 fired transitions, 2430 secs || 804270 markings, 1023091 edges, 331 markings/sec, 2430 secs
lola: STP completed || 1 tries, 763751 fired transitions, 2435 secs || 805917 markings, 1025823 edges, 329 markings/sec, 2435 secs
lola: STP completed || 1 tries, 765313 fired transitions, 2440 secs || 807575 markings, 1027846 edges, 332 markings/sec, 2440 secs
lola: STP completed || 1 tries, 766838 fired transitions, 2445 secs || 809248 markings, 1029878 edges, 335 markings/sec, 2445 secs
lola: STP completed || 1 tries, 768411 fired transitions, 2450 secs || 810908 markings, 1031902 edges, 332 markings/sec, 2450 secs
lola: STP completed || 1 tries, 769988 fired transitions, 2455 secs || 812585 markings, 1033939 edges, 335 markings/sec, 2455 secs
lola: STP completed || 1 tries, 771559 fired transitions, 2460 secs || 814259 markings, 1035978 edges, 335 markings/sec, 2460 secs
lola: STP completed || 1 tries, 773148 fired transitions, 2465 secs || 815932 markings, 1038012 edges, 335 markings/sec, 2465 secs
lola: STP completed || 1 tries, 774745 fired transitions, 2470 secs || 817598 markings, 1040042 edges, 333 markings/sec, 2470 secs
lola: STP completed || 1 tries, 776287 fired transitions, 2475 secs || 819283 markings, 1042090 edges, 337 markings/sec, 2475 secs
lola: STP completed || 1 tries, 777859 fired transitions, 2480 secs || 820954 markings, 1044125 edges, 334 markings/sec, 2480 secs
lola: STP completed || 1 tries, 779446 fired transitions, 2485 secs || 822633 markings, 1046166 edges, 336 markings/sec, 2485 secs
lola: STP completed || 1 tries, 781037 fired transitions, 2490 secs || 824296 markings, 1048194 edges, 333 markings/sec, 2490 secs
lola: STP completed || 1 tries, 782601 fired transitions, 2495 secs || 825966 markings, 1050221 edges, 334 markings/sec, 2495 secs
lola: STP completed || 1 tries, 784181 fired transitions, 2500 secs || 827636 markings, 1052262 edges, 334 markings/sec, 2500 secs
lola: STP completed || 1 tries, 785739 fired transitions, 2505 secs || 829284 markings, 1054840 edges, 330 markings/sec, 2505 secs
lola: STP completed || 1 tries, 787309 fired transitions, 2510 secs || 830903 markings, 1057520 edges, 324 markings/sec, 2510 secs
lola: STP completed || 1 tries, 788856 fired transitions, 2515 secs || 832532 markings, 1059501 edges, 326 markings/sec, 2515 secs
lola: STP completed || 1 tries, 790435 fired transitions, 2520 secs || 834158 markings, 1061483 edges, 325 markings/sec, 2520 secs
lola: STP completed || 1 tries, 791954 fired transitions, 2525 secs || 835824 markings, 1063501 edges, 333 markings/sec, 2525 secs
lola: STP completed || 1 tries, 793538 fired transitions, 2530 secs || 837459 markings, 1065501 edges, 327 markings/sec, 2530 secs
lola: STP completed || 1 tries, 795097 fired transitions, 2535 secs || 839110 markings, 1067501 edges, 330 markings/sec, 2535 secs
lola: STP completed || 1 tries, 796672 fired transitions, 2540 secs || 840735 markings, 1069940 edges, 325 markings/sec, 2540 secs
lola: STP completed || 1 tries, 798239 fired transitions, 2545 secs || 842343 markings, 1073260 edges, 322 markings/sec, 2545 secs
lola: STP completed || 1 tries, 799826 fired transitions, 2550 secs || 843887 markings, 1076453 edges, 309 markings/sec, 2550 secs
lola: STP completed || 1 tries, 800703 fired transitions, 2555 secs || 844765 markings, 1078264 edges, 176 markings/sec, 2555 secs
lola: STP completed || 1 tries, 802285 fired transitions, 2560 secs || 846334 markings, 1081498 edges, 314 markings/sec, 2560 secs
lola: STP completed || 1 tries, 803815 fired transitions, 2565 secs || 847970 markings, 1083925 edges, 327 markings/sec, 2565 secs
lola: STP completed || 1 tries, 805368 fired transitions, 2570 secs || 849633 markings, 1085946 edges, 333 markings/sec, 2570 secs
lola: STP completed || 1 tries, 806886 fired transitions, 2575 secs || 851276 markings, 1087949 edges, 329 markings/sec, 2575 secs
lola: STP completed || 1 tries, 808432 fired transitions, 2580 secs || 852941 markings, 1089972 edges, 333 markings/sec, 2580 secs
lola: STP completed || 1 tries, 810006 fired transitions, 2585 secs || 854571 markings, 1092773 edges, 326 markings/sec, 2585 secs
lola: STP completed || 1 tries, 811574 fired transitions, 2590 secs || 856225 markings, 1095192 edges, 331 markings/sec, 2590 secs
lola: STP completed || 1 tries, 813137 fired transitions, 2595 secs || 857882 markings, 1097235 edges, 331 markings/sec, 2595 secs
lola: STP completed || 1 tries, 814576 fired transitions, 2600 secs || 859358 markings, 1099054 edges, 295 markings/sec, 2600 secs
lola: STP completed || 1 tries, 816134 fired transitions, 2605 secs || 861018 markings, 1101117 edges, 332 markings/sec, 2605 secs
lola: STP completed || 1 tries, 817692 fired transitions, 2610 secs || 862689 markings, 1103218 edges, 334 markings/sec, 2610 secs
lola: STP completed || 1 tries, 819272 fired transitions, 2615 secs || 864330 markings, 1105249 edges, 328 markings/sec, 2615 secs
lola: STP completed || 1 tries, 820847 fired transitions, 2620 secs || 865992 markings, 1107297 edges, 332 markings/sec, 2620 secs
lola: STP completed || 1 tries, 822396 fired transitions, 2625 secs || 867625 markings, 1109335 edges, 327 markings/sec, 2625 secs
lola: STP completed || 1 tries, 823972 fired transitions, 2630 secs || 869257 markings, 1111360 edges, 326 markings/sec, 2630 secs
lola: STP completed || 1 tries, 825550 fired transitions, 2635 secs || 870893 markings, 1113590 edges, 327 markings/sec, 2635 secs
lola: STP completed || 1 tries, 827123 fired transitions, 2640 secs || 872542 markings, 1115701 edges, 330 markings/sec, 2640 secs
lola: STP completed || 1 tries, 828712 fired transitions, 2645 secs || 874204 markings, 1117983 edges, 332 markings/sec, 2645 secs
lola: STP completed || 1 tries, 830274 fired transitions, 2650 secs || 875882 markings, 1120103 edges, 336 markings/sec, 2650 secs
lola: STP completed || 1 tries, 831817 fired transitions, 2655 secs || 877562 markings, 1122270 edges, 336 markings/sec, 2655 secs
lola: STP completed || 1 tries, 833377 fired transitions, 2660 secs || 879233 markings, 1124459 edges, 334 markings/sec, 2660 secs
lola: STP completed || 1 tries, 834932 fired transitions, 2665 secs || 880909 markings, 1126582 edges, 335 markings/sec, 2665 secs
lola: STP completed || 1 tries, 836486 fired transitions, 2670 secs || 882574 markings, 1128662 edges, 333 markings/sec, 2670 secs
lola: STP completed || 1 tries, 838059 fired transitions, 2675 secs || 884250 markings, 1130908 edges, 335 markings/sec, 2675 secs
lola: STP completed || 1 tries, 839594 fired transitions, 2680 secs || 885921 markings, 1133217 edges, 334 markings/sec, 2680 secs
lola: STP completed || 1 tries, 841092 fired transitions, 2685 secs || 887529 markings, 1135280 edges, 322 markings/sec, 2685 secs
lola: STP completed || 1 tries, 842638 fired transitions, 2690 secs || 889175 markings, 1137304 edges, 329 markings/sec, 2690 secs
lola: STP completed || 1 tries, 844149 fired transitions, 2695 secs || 890850 markings, 1139417 edges, 335 markings/sec, 2695 secs
lola: STP completed || 1 tries, 845734 fired transitions, 2700 secs || 892511 markings, 1141475 edges, 332 markings/sec, 2700 secs
lola: STP completed || 1 tries, 847313 fired transitions, 2705 secs || 894186 markings, 1143581 edges, 335 markings/sec, 2705 secs
lola: STP completed || 1 tries, 848885 fired transitions, 2710 secs || 895845 markings, 1145909 edges, 332 markings/sec, 2710 secs
lola: STP completed || 1 tries, 850431 fired transitions, 2715 secs || 897515 markings, 1147995 edges, 334 markings/sec, 2715 secs
lola: STP completed || 1 tries, 852020 fired transitions, 2720 secs || 899182 markings, 1150156 edges, 333 markings/sec, 2720 secs
lola: STP completed || 1 tries, 853604 fired transitions, 2725 secs || 900852 markings, 1152225 edges, 334 markings/sec, 2725 secs
lola: STP completed || 1 tries, 855185 fired transitions, 2730 secs || 902512 markings, 1154183 edges, 332 markings/sec, 2730 secs
lola: STP completed || 1 tries, 856756 fired transitions, 2735 secs || 904184 markings, 1156165 edges, 334 markings/sec, 2735 secs
lola: STP completed || 1 tries, 858313 fired transitions, 2740 secs || 905869 markings, 1158159 edges, 337 markings/sec, 2740 secs
lola: STP completed || 1 tries, 859860 fired transitions, 2745 secs || 907549 markings, 1160138 edges, 336 markings/sec, 2745 secs
lola: STP completed || 1 tries, 861431 fired transitions, 2750 secs || 909226 markings, 1162134 edges, 335 markings/sec, 2750 secs
lola: STP completed || 1 tries, 863000 fired transitions, 2755 secs || 910895 markings, 1164106 edges, 334 markings/sec, 2755 secs
lola: STP completed || 1 tries, 864568 fired transitions, 2760 secs || 912574 markings, 1166083 edges, 336 markings/sec, 2760 secs
lola: STP completed || 1 tries, 866141 fired transitions, 2765 secs || 914246 markings, 1168280 edges, 334 markings/sec, 2765 secs
lola: STP completed || 1 tries, 867717 fired transitions, 2770 secs || 915904 markings, 1170235 edges, 332 markings/sec, 2770 secs
lola: STP completed || 1 tries, 869300 fired transitions, 2775 secs || 917533 markings, 1172152 edges, 326 markings/sec, 2775 secs
lola: STP completed || 1 tries, 870874 fired transitions, 2780 secs || 919196 markings, 1174127 edges, 333 markings/sec, 2780 secs
lola: STP completed || 1 tries, 872447 fired transitions, 2785 secs || 920829 markings, 1176183 edges, 327 markings/sec, 2785 secs
lola: STP completed || 1 tries, 874023 fired transitions, 2790 secs || 922474 markings, 1178279 edges, 329 markings/sec, 2790 secs
lola: STP completed || 1 tries, 875601 fired transitions, 2795 secs || 924078 markings, 1180329 edges, 321 markings/sec, 2795 secs
lola: STP completed || 1 tries, 877164 fired transitions, 2800 secs || 925680 markings, 1182353 edges, 320 markings/sec, 2800 secs
lola: STP completed || 1 tries, 878733 fired transitions, 2805 secs || 927278 markings, 1184679 edges, 320 markings/sec, 2805 secs
lola: STP completed || 1 tries, 880289 fired transitions, 2810 secs || 928926 markings, 1186801 edges, 330 markings/sec, 2810 secs
lola: STP completed || 1 tries, 881860 fired transitions, 2815 secs || 930578 markings, 1189076 edges, 330 markings/sec, 2815 secs
lola: STP completed || 1 tries, 883437 fired transitions, 2820 secs || 932251 markings, 1191320 edges, 335 markings/sec, 2820 secs
lola: STP completed || 1 tries, 885004 fired transitions, 2825 secs || 933910 markings, 1193408 edges, 332 markings/sec, 2825 secs
lola: STP completed || 1 tries, 886582 fired transitions, 2830 secs || 935561 markings, 1195508 edges, 330 markings/sec, 2830 secs
lola: STP completed || 1 tries, 888095 fired transitions, 2835 secs || 937215 markings, 1197599 edges, 331 markings/sec, 2835 secs
lola: STP completed || 1 tries, 889677 fired transitions, 2840 secs || 938895 markings, 1199798 edges, 336 markings/sec, 2840 secs
lola: STP completed || 1 tries, 891245 fired transitions, 2845 secs || 940571 markings, 1201985 edges, 335 markings/sec, 2845 secs
lola: STP completed || 1 tries, 892818 fired transitions, 2850 secs || 942245 markings, 1204090 edges, 335 markings/sec, 2850 secs
lola: STP completed || 1 tries, 894405 fired transitions, 2855 secs || 943884 markings, 1206373 edges, 328 markings/sec, 2855 secs
lola: STP completed || 1 tries, 895986 fired transitions, 2860 secs || 945546 markings, 1208476 edges, 332 markings/sec, 2860 secs
lola: STP completed || 1 tries, 897571 fired transitions, 2865 secs || 947221 markings, 1210625 edges, 335 markings/sec, 2865 secs
lola: STP completed || 1 tries, 899159 fired transitions, 2870 secs || 948898 markings, 1212768 edges, 335 markings/sec, 2870 secs
lola: STP completed || 1 tries, 900772 fired transitions, 2875 secs || 950577 markings, 1214878 edges, 336 markings/sec, 2875 secs
lola: STP completed || 1 tries, 902341 fired transitions, 2880 secs || 952250 markings, 1217047 edges, 335 markings/sec, 2880 secs
lola: STP completed || 1 tries, 903938 fired transitions, 2885 secs || 953886 markings, 1219105 edges, 327 markings/sec, 2885 secs
lola: STP completed || 1 tries, 905490 fired transitions, 2890 secs || 955501 markings, 1221165 edges, 323 markings/sec, 2890 secs
lola: STP completed || 1 tries, 907064 fired transitions, 2895 secs || 957162 markings, 1223232 edges, 332 markings/sec, 2895 secs
lola: STP completed || 1 tries, 908664 fired transitions, 2900 secs || 958843 markings, 1225419 edges, 336 markings/sec, 2900 secs
lola: STP completed || 1 tries, 910246 fired transitions, 2905 secs || 960535 markings, 1227560 edges, 338 markings/sec, 2905 secs
lola: STP completed || 1 tries, 911846 fired transitions, 2910 secs || 962218 markings, 1229779 edges, 337 markings/sec, 2910 secs
lola: STP completed || 1 tries, 913436 fired transitions, 2915 secs || 963874 markings, 1231851 edges, 331 markings/sec, 2915 secs
lola: STP completed || 1 tries, 915022 fired transitions, 2920 secs || 965552 markings, 1233951 edges, 336 markings/sec, 2920 secs
lola: STP completed || 1 tries, 916607 fired transitions, 2925 secs || 967228 markings, 1236041 edges, 335 markings/sec, 2925 secs
lola: STP completed || 1 tries, 918202 fired transitions, 2930 secs || 968877 markings, 1238178 edges, 330 markings/sec, 2930 secs
lola: STP completed || 1 tries, 919777 fired transitions, 2935 secs || 970550 markings, 1240312 edges, 335 markings/sec, 2935 secs
lola: STP completed || 1 tries, 921356 fired transitions, 2940 secs || 972223 markings, 1242489 edges, 335 markings/sec, 2940 secs
lola: STP completed || 1 tries, 922935 fired transitions, 2945 secs || 973896 markings, 1244594 edges, 335 markings/sec, 2945 secs
lola: STP completed || 1 tries, 924470 fired transitions, 2950 secs || 975562 markings, 1246733 edges, 333 markings/sec, 2950 secs
lola: STP completed || 1 tries, 926041 fired transitions, 2955 secs || 977231 markings, 1248893 edges, 334 markings/sec, 2955 secs
lola: STP completed || 1 tries, 927588 fired transitions, 2960 secs || 978902 markings, 1250958 edges, 334 markings/sec, 2960 secs
lola: STP completed || 1 tries, 929173 fired transitions, 2965 secs || 980568 markings, 1253092 edges, 333 markings/sec, 2965 secs
lola: STP completed || 1 tries, 930749 fired transitions, 2970 secs || 982246 markings, 1255200 edges, 336 markings/sec, 2970 secs
lola: STP completed || 1 tries, 932319 fired transitions, 2975 secs || 983916 markings, 1257298 edges, 334 markings/sec, 2975 secs
lola: STP completed || 1 tries, 933906 fired transitions, 2980 secs || 985589 markings, 1259465 edges, 335 markings/sec, 2980 secs
lola: STP completed || 1 tries, 935509 fired transitions, 2985 secs || 987258 markings, 1261571 edges, 334 markings/sec, 2985 secs
lola: STP completed || 1 tries, 937094 fired transitions, 2990 secs || 988938 markings, 1263801 edges, 336 markings/sec, 2990 secs
lola: STP completed || 1 tries, 938686 fired transitions, 2995 secs || 990625 markings, 1265925 edges, 337 markings/sec, 2995 secs
lola: STP completed || 1 tries, 940276 fired transitions, 3000 secs || 992309 markings, 1268049 edges, 337 markings/sec, 3000 secs
lola: STP completed || 1 tries, 941832 fired transitions, 3005 secs || 993980 markings, 1270124 edges, 334 markings/sec, 3005 secs
lola: STP completed || 1 tries, 943406 fired transitions, 3010 secs || 995644 markings, 1272400 edges, 333 markings/sec, 3010 secs
lola: STP completed || 1 tries, 944957 fired transitions, 3015 secs || 997299 markings, 1274614 edges, 331 markings/sec, 3015 secs
lola: STP completed || 1 tries, 946526 fired transitions, 3020 secs || 998955 markings, 1276734 edges, 331 markings/sec, 3020 secs
lola: STP completed || 1 tries, 948048 fired transitions, 3025 secs || 1000602 markings, 1278813 edges, 329 markings/sec, 3025 secs
lola: STP completed || 1 tries, 949593 fired transitions, 3030 secs || 1002232 markings, 1280957 edges, 326 markings/sec, 3030 secs
lola: STP completed || 1 tries, 951148 fired transitions, 3035 secs || 1003887 markings, 1283122 edges, 331 markings/sec, 3035 secs
lola: STP completed || 1 tries, 952707 fired transitions, 3040 secs || 1005554 markings, 1285359 edges, 333 markings/sec, 3040 secs
lola: STP completed || 1 tries, 954273 fired transitions, 3045 secs || 1007201 markings, 1287465 edges, 329 markings/sec, 3045 secs
lola: STP completed || 1 tries, 955832 fired transitions, 3050 secs || 1008864 markings, 1289532 edges, 333 markings/sec, 3050 secs
lola: STP completed || 1 tries, 957375 fired transitions, 3055 secs || 1010528 markings, 1291688 edges, 333 markings/sec, 3055 secs
lola: STP completed || 1 tries, 958933 fired transitions, 3060 secs || 1012182 markings, 1293782 edges, 331 markings/sec, 3060 secs
lola: STP completed || 1 tries, 960488 fired transitions, 3065 secs || 1013849 markings, 1295855 edges, 333 markings/sec, 3065 secs
lola: STP completed || 1 tries, 962061 fired transitions, 3070 secs || 1015515 markings, 1298100 edges, 333 markings/sec, 3070 secs
lola: STP completed || 1 tries, 963640 fired transitions, 3075 secs || 1017175 markings, 1300205 edges, 332 markings/sec, 3075 secs
lola: STP completed || 1 tries, 965197 fired transitions, 3080 secs || 1018831 markings, 1302314 edges, 331 markings/sec, 3080 secs
lola: STP completed || 1 tries, 966750 fired transitions, 3085 secs || 1020482 markings, 1304439 edges, 330 markings/sec, 3085 secs
lola: STP completed || 1 tries, 968327 fired transitions, 3090 secs || 1022121 markings, 1306554 edges, 328 markings/sec, 3090 secs
lola: STP completed || 1 tries, 969879 fired transitions, 3095 secs || 1023763 markings, 1308656 edges, 328 markings/sec, 3095 secs
lola: STP completed || 1 tries, 971465 fired transitions, 3100 secs || 1025380 markings, 1310894 edges, 323 markings/sec, 3100 secs
lola: STP completed || 1 tries, 973014 fired transitions, 3105 secs || 1027031 markings, 1312975 edges, 330 markings/sec, 3105 secs
lola: STP completed || 1 tries, 974585 fired transitions, 3110 secs || 1028692 markings, 1315142 edges, 332 markings/sec, 3110 secs
lola: STP completed || 1 tries, 976163 fired transitions, 3115 secs || 1030338 markings, 1317387 edges, 329 markings/sec, 3115 secs
lola: STP completed || 1 tries, 977741 fired transitions, 3120 secs || 1031985 markings, 1319433 edges, 329 markings/sec, 3120 secs
lola: STP completed || 1 tries, 979323 fired transitions, 3125 secs || 1033629 markings, 1321565 edges, 329 markings/sec, 3125 secs
lola: STP completed || 1 tries, 980900 fired transitions, 3130 secs || 1035255 markings, 1323648 edges, 325 markings/sec, 3130 secs
lola: STP completed || 1 tries, 982491 fired transitions, 3135 secs || 1036860 markings, 1325843 edges, 321 markings/sec, 3135 secs
lola: STP completed || 1 tries, 984062 fired transitions, 3140 secs || 1038467 markings, 1327849 edges, 321 markings/sec, 3140 secs
lola: STP completed || 1 tries, 985635 fired transitions, 3145 secs || 1040128 markings, 1330005 edges, 332 markings/sec, 3145 secs
lola: STP completed || 1 tries, 987233 fired transitions, 3150 secs || 1041790 markings, 1332190 edges, 332 markings/sec, 3150 secs
lola: STP completed || 1 tries, 988796 fired transitions, 3155 secs || 1043401 markings, 1334290 edges, 322 markings/sec, 3155 secs
lola: STP completed || 1 tries, 990375 fired transitions, 3160 secs || 1045022 markings, 1336493 edges, 324 markings/sec, 3160 secs
lola: STP completed || 1 tries, 991948 fired transitions, 3165 secs || 1046671 markings, 1338530 edges, 330 markings/sec, 3165 secs
lola: STP completed || 1 tries, 993543 fired transitions, 3170 secs || 1048314 markings, 1340702 edges, 329 markings/sec, 3170 secs
lola: STP completed || 1 tries, 995133 fired transitions, 3175 secs || 1049941 markings, 1342785 edges, 325 markings/sec, 3175 secs
lola: STP completed || 1 tries, 996710 fired transitions, 3180 secs || 1051624 markings, 1344873 edges, 337 markings/sec, 3180 secs
lola: STP completed || 1 tries, 998325 fired transitions, 3185 secs || 1053299 markings, 1346971 edges, 335 markings/sec, 3185 secs
lola: STP completed || 1 tries, 999914 fired transitions, 3190 secs || 1054957 markings, 1349077 edges, 332 markings/sec, 3190 secs
lola: STP completed || 2 tries, 1001440 fired transitions, 3195 secs || 1056593 markings, 1351105 edges, 327 markings/sec, 3195 secs
lola: STP completed || 2 tries, 1003000 fired transitions, 3200 secs || 1058234 markings, 1353132 edges, 328 markings/sec, 3200 secs
lola: STP completed || 2 tries, 1004567 fired transitions, 3205 secs || 1059908 markings, 1355273 edges, 335 markings/sec, 3205 secs
lola: STP completed || 2 tries, 1006147 fired transitions, 3210 secs || 1061574 markings, 1357347 edges, 333 markings/sec, 3210 secs
lola: STP completed || 2 tries, 1007718 fired transitions, 3215 secs || 1063246 markings, 1359416 edges, 334 markings/sec, 3215 secs
lola: STP completed || 2 tries, 1009300 fired transitions, 3220 secs || 1064863 markings, 1361413 edges, 323 markings/sec, 3220 secs
lola: STP completed || 2 tries, 1010872 fired transitions, 3225 secs || 1066503 markings, 1363455 edges, 328 markings/sec, 3225 secs
lola: STP completed || 2 tries, 1012453 fired transitions, 3230 secs || 1068120 markings, 1365468 edges, 323 markings/sec, 3230 secs
lola: STP completed || 2 tries, 1014025 fired transitions, 3235 secs || 1069742 markings, 1367567 edges, 324 markings/sec, 3235 secs
lola: STP completed || 2 tries, 1015418 fired transitions, 3240 secs || 1071256 markings, 1369527 edges, 303 markings/sec, 3240 secs
lola: STP completed || 2 tries, 1017001 fired transitions, 3245 secs || 1072934 markings, 1371735 edges, 336 markings/sec, 3245 secs
lola: STP completed || 2 tries, 1018575 fired transitions, 3250 secs || 1074540 markings, 1373768 edges, 321 markings/sec, 3250 secs
lola: STP completed || 2 tries, 1020095 fired transitions, 3255 secs || 1076175 markings, 1375837 edges, 327 markings/sec, 3255 secs
lola: STP completed || 2 tries, 1021629 fired transitions, 3260 secs || 1077833 markings, 1377971 edges, 332 markings/sec, 3260 secs
lola: STP completed || 2 tries, 1023189 fired transitions, 3265 secs || 1079450 markings, 1380042 edges, 323 markings/sec, 3265 secs
lola: STP completed || 2 tries, 1024758 fired transitions, 3270 secs || 1081048 markings, 1382091 edges, 320 markings/sec, 3270 secs
lola: STP completed || 2 tries, 1026203 fired transitions, 3275 secs || 1082475 markings, 1383992 edges, 285 markings/sec, 3275 secs
lola: STP completed || 2 tries, 1027734 fired transitions, 3280 secs || 1084069 markings, 1386078 edges, 319 markings/sec, 3280 secs
lola: STP completed || 2 tries, 1029243 fired transitions, 3285 secs || 1085699 markings, 1388246 edges, 326 markings/sec, 3285 secs
lola: STP completed || 2 tries, 1030753 fired transitions, 3290 secs || 1087259 markings, 1390226 edges, 312 markings/sec, 3290 secs
lola: STP completed || 2 tries, 1032341 fired transitions, 3295 secs || 1088862 markings, 1392233 edges, 321 markings/sec, 3295 secs
lola: STP completed || 2 tries, 1033919 fired transitions, 3300 secs || 1090464 markings, 1394209 edges, 320 markings/sec, 3300 secs
lola: STP completed || 2 tries, 1035482 fired transitions, 3305 secs || 1092080 markings, 1396214 edges, 323 markings/sec, 3305 secs
lola: STP completed || 2 tries, 1037026 fired transitions, 3310 secs || 1093680 markings, 1398241 edges, 320 markings/sec, 3310 secs
lola: STP completed || 2 tries, 1038473 fired transitions, 3315 secs || 1095082 markings, 1399964 edges, 280 markings/sec, 3315 secs
lola: STP completed || 2 tries, 1040003 fired transitions, 3320 secs || 1096669 markings, 1401926 edges, 317 markings/sec, 3320 secs
lola: STP completed || 2 tries, 1041570 fired transitions, 3325 secs || 1098275 markings, 1403952 edges, 321 markings/sec, 3325 secs
lola: STP completed || 2 tries, 1043135 fired transitions, 3330 secs || 1099884 markings, 1405943 edges, 322 markings/sec, 3330 secs
lola: STP completed || 2 tries, 1044689 fired transitions, 3335 secs || 1101497 markings, 1407957 edges, 323 markings/sec, 3335 secs
lola: STP completed || 2 tries, 1046244 fired transitions, 3340 secs || 1103141 markings, 1410236 edges, 329 markings/sec, 3340 secs
lola: STP completed || 2 tries, 1047813 fired transitions, 3345 secs || 1104802 markings, 1412467 edges, 332 markings/sec, 3345 secs
lola: STP completed || 2 tries, 1049379 fired transitions, 3350 secs || 1106412 markings, 1414489 edges, 322 markings/sec, 3350 secs
lola: STP completed || 2 tries, 1050941 fired transitions, 3355 secs || 1108036 markings, 1416639 edges, 325 markings/sec, 3355 secs
lola: STP completed || 2 tries, 1052482 fired transitions, 3360 secs || 1109692 markings, 1418734 edges, 331 markings/sec, 3360 secs
lola: STP completed || 2 tries, 1054043 fired transitions, 3365 secs || 1111346 markings, 1420804 edges, 331 markings/sec, 3365 secs
lola: STP completed || 2 tries, 1055596 fired transitions, 3370 secs || 1112990 markings, 1422915 edges, 329 markings/sec, 3370 secs
lola: STP completed || 2 tries, 1057156 fired transitions, 3375 secs || 1114604 markings, 1424953 edges, 323 markings/sec, 3375 secs
lola: STP completed || 2 tries, 1058732 fired transitions, 3380 secs || 1116225 markings, 1426981 edges, 324 markings/sec, 3380 secs
lola: STP completed || 2 tries, 1060289 fired transitions, 3385 secs || 1117824 markings, 1429029 edges, 320 markings/sec, 3385 secs
lola: STP completed || 2 tries, 1061848 fired transitions, 3390 secs || 1119479 markings, 1431090 edges, 331 markings/sec, 3390 secs
lola: STP completed || 2 tries, 1063433 fired transitions, 3395 secs || 1121121 markings, 1433369 edges, 328 markings/sec, 3395 secs
lola: STP completed || 2 tries, 1064981 fired transitions, 3400 secs || 1122765 markings, 1435449 edges, 329 markings/sec, 3400 secs
lola: STP completed || 2 tries, 1066546 fired transitions, 3405 secs || 1124385 markings, 1437480 edges, 324 markings/sec, 3405 secs
lola: STP completed || 2 tries, 1068126 fired transitions, 3410 secs || 1126032 markings, 1439763 edges, 329 markings/sec, 3410 secs
lola: STP completed || 2 tries, 1069702 fired transitions, 3415 secs || 1127692 markings, 1441941 edges, 332 markings/sec, 3415 secs
lola: STP completed || 2 tries, 1071277 fired transitions, 3420 secs || 1129350 markings, 1443996 edges, 332 markings/sec, 3420 secs
lola: STP completed || 2 tries, 1072833 fired transitions, 3425 secs || 1131004 markings, 1446161 edges, 331 markings/sec, 3425 secs
lola: STP completed || 2 tries, 1074379 fired transitions, 3430 secs || 1132652 markings, 1448224 edges, 330 markings/sec, 3430 secs
lola: STP completed || 2 tries, 1075918 fired transitions, 3435 secs || 1134261 markings, 1450247 edges, 322 markings/sec, 3435 secs
lola: STP completed || 2 tries, 1077456 fired transitions, 3440 secs || 1135893 markings, 1452358 edges, 326 markings/sec, 3440 secs
lola: STP completed || 2 tries, 1079033 fired transitions, 3445 secs || 1137498 markings, 1454383 edges, 321 markings/sec, 3445 secs
lola: STP completed || 2 tries, 1080599 fired transitions, 3450 secs || 1139163 markings, 1456494 edges, 333 markings/sec, 3450 secs
lola: STP completed || 2 tries, 1082168 fired transitions, 3455 secs || 1140769 markings, 1458603 edges, 321 markings/sec, 3455 secs
lola: STP completed || 2 tries, 1083686 fired transitions, 3460 secs || 1142391 markings, 1460673 edges, 324 markings/sec, 3460 secs
lola: STP completed || 2 tries, 1085251 fired transitions, 3465 secs || 1144029 markings, 1462784 edges, 328 markings/sec, 3465 secs
lola: STP completed || 2 tries, 1086826 fired transitions, 3470 secs || 1145604 markings, 1464948 edges, 315 markings/sec, 3470 secs
lola: STP completed || 2 tries, 1088421 fired transitions, 3475 secs || 1147255 markings, 1467073 edges, 330 markings/sec, 3475 secs
lola: STP completed || 2 tries, 1089981 fired transitions, 3480 secs || 1148931 markings, 1469221 edges, 335 markings/sec, 3480 secs
lola: STP completed || 2 tries, 1091585 fired transitions, 3485 secs || 1150603 markings, 1471319 edges, 334 markings/sec, 3485 secs
lola: STP completed || 2 tries, 1093165 fired transitions, 3490 secs || 1152266 markings, 1473455 edges, 333 markings/sec, 3490 secs
lola: STP completed || 2 tries, 1094751 fired transitions, 3495 secs || 1153965 markings, 1475655 edges, 340 markings/sec, 3495 secs
lola: STP completed || 2 tries, 1096338 fired transitions, 3500 secs || 1155648 markings, 1477745 edges, 337 markings/sec, 3500 secs
lola: STP completed || 2 tries, 1097918 fired transitions, 3505 secs || 1157327 markings, 1479878 edges, 336 markings/sec, 3505 secs
lola: STP completed || 2 tries, 1099516 fired transitions, 3510 secs || 1159027 markings, 1482137 edges, 340 markings/sec, 3510 secs
lola: STP completed || 2 tries, 1101125 fired transitions, 3515 secs || 1160735 markings, 1484301 edges, 342 markings/sec, 3515 secs
lola: STP completed || 2 tries, 1102739 fired transitions, 3520 secs || 1162446 markings, 1486553 edges, 342 markings/sec, 3520 secs
lola: STP completed || 2 tries, 1104338 fired transitions, 3525 secs || 1164132 markings, 1488806 edges, 337 markings/sec, 3525 secs
lola: STP completed || 2 tries, 1105929 fired transitions, 3530 secs || 1165779 markings, 1490866 edges, 329 markings/sec, 3530 secs
lola: STP completed || 2 tries, 1107502 fired transitions, 3535 secs || 1167454 markings, 1492980 edges, 335 markings/sec, 3535 secs
lola: STP completed || 2 tries, 1109094 fired transitions, 3540 secs || 1169095 markings, 1495064 edges, 328 markings/sec, 3540 secs
lola: STP completed || 2 tries, 1110684 fired transitions, 3545 secs || 1170782 markings, 1497199 edges, 337 markings/sec, 3545 secs
lola: STP completed || 2 tries, 1112284 fired transitions, 3550 secs || 1172458 markings, 1499324 edges, 335 markings/sec, 3550 secs
lola: STP completed || 2 tries, 1113860 fired transitions, 3555 secs || 1174130 markings, 1501448 edges, 334 markings/sec, 3555 secs
lola: STP completed || 2 tries, 1115483 fired transitions, 3560 secs || 1175848 markings, 1503757 edges, 344 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1282976 KB
lola: time consumption: 3568 seconds
BK_STOP 1526522780428
--------------------
content from 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="BART-PT-060"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-060.tgz
mv BART-PT-060 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 lola"
echo " Input is BART-PT-060, 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 r028-ebro-152646306100111"
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 ;