About the Execution of LoLA for BART-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1250.760 | 3570129.00 | 7265702.00 | 447.10 | [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 28M
-rw-r--r-- 1 mcc users 1.5M May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.7M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 974K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.4M 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 588K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 510K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.6M 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 788K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.0M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 26K 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 9.3M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BART-PT-040, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306100097
=====================================================================
--------------------
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-040-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526518861891
info: Time: 3600 - MCC
===========================================================================================
prep: translating BART-PT-040 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-040 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ BART-PT-040 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13570/65536 symbol table entries, 1252 collisions
lola: preprocessing...
lola: Size of bit vector: 5490
lola: finding significant places
lola: 5490 places, 8080 transitions, 5240 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5207 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-040-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 165432 variables and 960214 clauses shipped to Minisat
lola: computed 783 generators (76 in search tree, 707 by composition)
lola: representing 6.52732E+48 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 3074 fired transitions, 0 secs || 1216 markings, 1512 edges, 243 markings/sec, 0 secs
lola: STP running || 1 tries, 6021 fired transitions, 5 secs || 4378 markings, 5466 edges, 632 markings/sec, 5 secs
lola: STP running || 1 tries, 9108 fired transitions, 10 secs || 7555 markings, 9458 edges, 635 markings/sec, 10 secs
lola: STP running || 1 tries, 12174 fired transitions, 15 secs || 10697 markings, 13380 edges, 628 markings/sec, 15 secs
lola: STP running || 1 tries, 15233 fired transitions, 20 secs || 13868 markings, 17420 edges, 634 markings/sec, 20 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 18257 fired transitions, 25 secs || 17073 markings, 21571 edges, 641 markings/sec, 25 secs
lola: STP completed || 1 tries, 21276 fired transitions, 30 secs || 20295 markings, 25920 edges, 644 markings/sec, 30 secs
lola: STP completed || 1 tries, 24330 fired transitions, 35 secs || 23505 markings, 30010 edges, 642 markings/sec, 35 secs
lola: STP completed || 1 tries, 27296 fired transitions, 40 secs || 26698 markings, 34333 edges, 639 markings/sec, 40 secs
lola: STP completed || 1 tries, 30249 fired transitions, 45 secs || 29869 markings, 38367 edges, 634 markings/sec, 45 secs
lola: STP completed || 1 tries, 33284 fired transitions, 50 secs || 33040 markings, 42453 edges, 634 markings/sec, 50 secs
lola: STP completed || 1 tries, 36377 fired transitions, 55 secs || 36243 markings, 46462 edges, 641 markings/sec, 55 secs
lola: STP completed || 1 tries, 39479 fired transitions, 60 secs || 39479 markings, 50567 edges, 647 markings/sec, 60 secs
lola: STP completed || 1 tries, 42586 fired transitions, 65 secs || 42749 markings, 54805 edges, 654 markings/sec, 65 secs
lola: STP completed || 1 tries, 45701 fired transitions, 70 secs || 46058 markings, 59285 edges, 662 markings/sec, 70 secs
lola: STP completed || 1 tries, 48804 fired transitions, 75 secs || 49337 markings, 63768 edges, 656 markings/sec, 75 secs
lola: STP completed || 1 tries, 51875 fired transitions, 80 secs || 52583 markings, 67912 edges, 649 markings/sec, 80 secs
lola: STP completed || 1 tries, 54820 fired transitions, 85 secs || 55765 markings, 71860 edges, 636 markings/sec, 85 secs
lola: STP completed || 1 tries, 57959 fired transitions, 90 secs || 59019 markings, 75892 edges, 651 markings/sec, 90 secs
lola: STP completed || 1 tries, 61023 fired transitions, 95 secs || 62244 markings, 79968 edges, 645 markings/sec, 95 secs
lola: STP completed || 1 tries, 64113 fired transitions, 100 secs || 65519 markings, 84188 edges, 655 markings/sec, 100 secs
lola: STP completed || 1 tries, 67190 fired transitions, 105 secs || 68758 markings, 88350 edges, 648 markings/sec, 105 secs
lola: STP completed || 1 tries, 70280 fired transitions, 110 secs || 72007 markings, 92935 edges, 650 markings/sec, 110 secs
lola: STP completed || 1 tries, 73344 fired transitions, 115 secs || 75242 markings, 96928 edges, 647 markings/sec, 115 secs
lola: STP completed || 1 tries, 76433 fired transitions, 120 secs || 78476 markings, 101053 edges, 647 markings/sec, 120 secs
lola: STP completed || 1 tries, 79503 fired transitions, 125 secs || 81720 markings, 105182 edges, 649 markings/sec, 125 secs
lola: STP completed || 1 tries, 82569 fired transitions, 130 secs || 84905 markings, 110148 edges, 637 markings/sec, 130 secs
lola: STP completed || 1 tries, 85653 fired transitions, 135 secs || 88103 markings, 114125 edges, 640 markings/sec, 135 secs
lola: STP completed || 1 tries, 88731 fired transitions, 140 secs || 91308 markings, 118296 edges, 641 markings/sec, 140 secs
lola: STP completed || 1 tries, 91771 fired transitions, 145 secs || 94509 markings, 122326 edges, 640 markings/sec, 145 secs
lola: STP completed || 1 tries, 94830 fired transitions, 150 secs || 97733 markings, 126720 edges, 645 markings/sec, 150 secs
lola: STP completed || 1 tries, 97914 fired transitions, 155 secs || 100992 markings, 131025 edges, 652 markings/sec, 155 secs
lola: STP completed || 1 tries, 100998 fired transitions, 160 secs || 104205 markings, 135233 edges, 643 markings/sec, 160 secs
lola: STP completed || 1 tries, 104115 fired transitions, 165 secs || 107450 markings, 139279 edges, 649 markings/sec, 165 secs
lola: STP completed || 1 tries, 107199 fired transitions, 170 secs || 110662 markings, 143782 edges, 642 markings/sec, 170 secs
lola: STP completed || 1 tries, 110278 fired transitions, 175 secs || 113865 markings, 147747 edges, 641 markings/sec, 175 secs
lola: STP completed || 1 tries, 113350 fired transitions, 180 secs || 117061 markings, 151829 edges, 639 markings/sec, 180 secs
lola: STP completed || 1 tries, 116408 fired transitions, 185 secs || 120291 markings, 155965 edges, 646 markings/sec, 185 secs
lola: STP completed || 1 tries, 119499 fired transitions, 190 secs || 123539 markings, 160131 edges, 650 markings/sec, 190 secs
lola: STP completed || 1 tries, 122579 fired transitions, 195 secs || 126751 markings, 164584 edges, 642 markings/sec, 195 secs
lola: STP completed || 1 tries, 125644 fired transitions, 200 secs || 130006 markings, 168778 edges, 651 markings/sec, 200 secs
lola: STP completed || 1 tries, 128742 fired transitions, 205 secs || 133218 markings, 173144 edges, 642 markings/sec, 205 secs
lola: STP completed || 1 tries, 131820 fired transitions, 210 secs || 136376 markings, 177176 edges, 632 markings/sec, 210 secs
lola: STP completed || 1 tries, 134902 fired transitions, 215 secs || 139548 markings, 181203 edges, 634 markings/sec, 215 secs
lola: STP completed || 1 tries, 137970 fired transitions, 220 secs || 142771 markings, 185540 edges, 645 markings/sec, 220 secs
lola: STP completed || 1 tries, 141051 fired transitions, 225 secs || 145953 markings, 189591 edges, 636 markings/sec, 225 secs
lola: STP completed || 1 tries, 144141 fired transitions, 230 secs || 149153 markings, 193813 edges, 640 markings/sec, 230 secs
lola: STP completed || 1 tries, 147214 fired transitions, 235 secs || 152342 markings, 197927 edges, 638 markings/sec, 235 secs
lola: STP completed || 1 tries, 150285 fired transitions, 240 secs || 155518 markings, 201985 edges, 635 markings/sec, 240 secs
lola: STP completed || 1 tries, 153369 fired transitions, 245 secs || 158702 markings, 205885 edges, 637 markings/sec, 245 secs
lola: STP completed || 1 tries, 156439 fired transitions, 250 secs || 161878 markings, 209826 edges, 635 markings/sec, 250 secs
lola: STP completed || 1 tries, 159508 fired transitions, 255 secs || 165097 markings, 213920 edges, 644 markings/sec, 255 secs
lola: STP completed || 1 tries, 162606 fired transitions, 260 secs || 168342 markings, 218267 edges, 649 markings/sec, 260 secs
lola: STP completed || 1 tries, 165707 fired transitions, 265 secs || 171529 markings, 222260 edges, 637 markings/sec, 265 secs
lola: STP completed || 1 tries, 168805 fired transitions, 270 secs || 174747 markings, 226272 edges, 644 markings/sec, 270 secs
lola: STP completed || 1 tries, 171906 fired transitions, 275 secs || 177948 markings, 230224 edges, 640 markings/sec, 275 secs
lola: STP completed || 1 tries, 175008 fired transitions, 280 secs || 181127 markings, 234244 edges, 636 markings/sec, 280 secs
lola: STP completed || 1 tries, 178088 fired transitions, 285 secs || 184310 markings, 238309 edges, 637 markings/sec, 285 secs
lola: STP completed || 1 tries, 181209 fired transitions, 290 secs || 187582 markings, 242579 edges, 654 markings/sec, 290 secs
lola: STP completed || 1 tries, 184357 fired transitions, 295 secs || 190822 markings, 246926 edges, 648 markings/sec, 295 secs
lola: STP completed || 1 tries, 187506 fired transitions, 300 secs || 194078 markings, 251036 edges, 651 markings/sec, 300 secs
lola: STP completed || 1 tries, 190627 fired transitions, 305 secs || 197333 markings, 255110 edges, 651 markings/sec, 305 secs
lola: STP completed || 1 tries, 193759 fired transitions, 310 secs || 200559 markings, 259263 edges, 645 markings/sec, 310 secs
lola: STP completed || 1 tries, 196882 fired transitions, 315 secs || 203786 markings, 263414 edges, 645 markings/sec, 315 secs
lola: STP completed || 1 tries, 200048 fired transitions, 320 secs || 207000 markings, 267444 edges, 643 markings/sec, 320 secs
lola: STP completed || 1 tries, 203185 fired transitions, 325 secs || 210272 markings, 271665 edges, 654 markings/sec, 325 secs
lola: STP completed || 1 tries, 206295 fired transitions, 330 secs || 213469 markings, 275707 edges, 639 markings/sec, 330 secs
lola: STP completed || 1 tries, 209417 fired transitions, 335 secs || 216727 markings, 280075 edges, 652 markings/sec, 335 secs
lola: STP completed || 1 tries, 212541 fired transitions, 340 secs || 219956 markings, 284130 edges, 646 markings/sec, 340 secs
lola: STP completed || 1 tries, 215645 fired transitions, 345 secs || 223201 markings, 288248 edges, 649 markings/sec, 345 secs
lola: STP completed || 1 tries, 218754 fired transitions, 350 secs || 226394 markings, 292258 edges, 639 markings/sec, 350 secs
lola: STP completed || 1 tries, 221881 fired transitions, 355 secs || 229575 markings, 296361 edges, 636 markings/sec, 355 secs
lola: STP completed || 1 tries, 225016 fired transitions, 360 secs || 232798 markings, 300464 edges, 645 markings/sec, 360 secs
lola: STP completed || 1 tries, 228154 fired transitions, 365 secs || 236070 markings, 304617 edges, 654 markings/sec, 365 secs
lola: STP completed || 1 tries, 231305 fired transitions, 370 secs || 239304 markings, 308957 edges, 647 markings/sec, 370 secs
lola: STP completed || 1 tries, 234433 fired transitions, 375 secs || 242530 markings, 313362 edges, 645 markings/sec, 375 secs
lola: STP completed || 1 tries, 237549 fired transitions, 380 secs || 245750 markings, 317366 edges, 644 markings/sec, 380 secs
lola: STP completed || 1 tries, 240666 fired transitions, 385 secs || 248977 markings, 321396 edges, 645 markings/sec, 385 secs
lola: STP completed || 1 tries, 243790 fired transitions, 390 secs || 252210 markings, 325959 edges, 647 markings/sec, 390 secs
lola: STP completed || 1 tries, 246941 fired transitions, 395 secs || 255446 markings, 330029 edges, 647 markings/sec, 395 secs
lola: STP completed || 1 tries, 250090 fired transitions, 400 secs || 258694 markings, 334479 edges, 650 markings/sec, 400 secs
lola: STP completed || 1 tries, 253232 fired transitions, 405 secs || 262010 markings, 338677 edges, 663 markings/sec, 405 secs
lola: STP completed || 1 tries, 256362 fired transitions, 410 secs || 265329 markings, 342851 edges, 664 markings/sec, 410 secs
lola: STP completed || 1 tries, 259498 fired transitions, 415 secs || 268621 markings, 347325 edges, 658 markings/sec, 415 secs
lola: STP completed || 1 tries, 262623 fired transitions, 420 secs || 271909 markings, 351557 edges, 658 markings/sec, 420 secs
lola: STP completed || 1 tries, 265791 fired transitions, 425 secs || 275181 markings, 356002 edges, 654 markings/sec, 425 secs
lola: STP completed || 1 tries, 268928 fired transitions, 430 secs || 278434 markings, 360950 edges, 651 markings/sec, 430 secs
lola: STP completed || 1 tries, 272062 fired transitions, 435 secs || 281720 markings, 365271 edges, 657 markings/sec, 435 secs
lola: STP completed || 1 tries, 275195 fired transitions, 440 secs || 284982 markings, 369650 edges, 652 markings/sec, 440 secs
lola: STP completed || 1 tries, 278327 fired transitions, 445 secs || 288252 markings, 373939 edges, 654 markings/sec, 445 secs
lola: STP completed || 1 tries, 281480 fired transitions, 450 secs || 291569 markings, 378127 edges, 663 markings/sec, 450 secs
lola: STP completed || 1 tries, 284609 fired transitions, 455 secs || 294882 markings, 382344 edges, 663 markings/sec, 455 secs
lola: STP completed || 1 tries, 287741 fired transitions, 460 secs || 298162 markings, 386774 edges, 656 markings/sec, 460 secs
lola: STP completed || 1 tries, 290878 fired transitions, 465 secs || 301421 markings, 391151 edges, 652 markings/sec, 465 secs
lola: STP completed || 1 tries, 294005 fired transitions, 470 secs || 304699 markings, 395824 edges, 656 markings/sec, 470 secs
lola: STP completed || 1 tries, 297120 fired transitions, 475 secs || 307960 markings, 399985 edges, 652 markings/sec, 475 secs
lola: STP completed || 1 tries, 300226 fired transitions, 480 secs || 311252 markings, 404126 edges, 658 markings/sec, 480 secs
lola: STP completed || 1 tries, 303357 fired transitions, 485 secs || 314518 markings, 408275 edges, 653 markings/sec, 485 secs
lola: STP completed || 1 tries, 306510 fired transitions, 490 secs || 317763 markings, 412396 edges, 649 markings/sec, 490 secs
lola: STP completed || 1 tries, 309676 fired transitions, 495 secs || 321030 markings, 416630 edges, 653 markings/sec, 495 secs
lola: STP completed || 1 tries, 312800 fired transitions, 500 secs || 324275 markings, 420680 edges, 649 markings/sec, 500 secs
lola: STP completed || 1 tries, 315931 fired transitions, 505 secs || 327526 markings, 424924 edges, 650 markings/sec, 505 secs
lola: STP completed || 1 tries, 319035 fired transitions, 510 secs || 330768 markings, 429138 edges, 648 markings/sec, 510 secs
lola: STP completed || 1 tries, 322205 fired transitions, 515 secs || 334032 markings, 433299 edges, 653 markings/sec, 515 secs
lola: STP completed || 1 tries, 325348 fired transitions, 520 secs || 337245 markings, 437670 edges, 643 markings/sec, 520 secs
lola: STP completed || 1 tries, 328504 fired transitions, 525 secs || 340471 markings, 441852 edges, 645 markings/sec, 525 secs
lola: STP completed || 1 tries, 331623 fired transitions, 530 secs || 343734 markings, 446145 edges, 653 markings/sec, 530 secs
lola: STP completed || 1 tries, 334713 fired transitions, 535 secs || 346962 markings, 450351 edges, 646 markings/sec, 535 secs
lola: STP completed || 1 tries, 337853 fired transitions, 540 secs || 350200 markings, 454861 edges, 648 markings/sec, 540 secs
lola: STP completed || 1 tries, 340985 fired transitions, 545 secs || 353413 markings, 459028 edges, 643 markings/sec, 545 secs
lola: STP completed || 1 tries, 344088 fired transitions, 550 secs || 356666 markings, 463394 edges, 651 markings/sec, 550 secs
lola: STP completed || 1 tries, 347249 fired transitions, 555 secs || 359930 markings, 467741 edges, 653 markings/sec, 555 secs
lola: STP completed || 1 tries, 350375 fired transitions, 560 secs || 363238 markings, 471951 edges, 662 markings/sec, 560 secs
lola: STP completed || 1 tries, 353520 fired transitions, 565 secs || 366545 markings, 476258 edges, 661 markings/sec, 565 secs
lola: STP completed || 1 tries, 356653 fired transitions, 570 secs || 369791 markings, 480711 edges, 649 markings/sec, 570 secs
lola: STP completed || 1 tries, 359797 fired transitions, 575 secs || 373072 markings, 484983 edges, 656 markings/sec, 575 secs
lola: STP completed || 1 tries, 362958 fired transitions, 580 secs || 376344 markings, 489300 edges, 654 markings/sec, 580 secs
lola: STP completed || 1 tries, 366066 fired transitions, 585 secs || 379611 markings, 493591 edges, 653 markings/sec, 585 secs
lola: STP completed || 1 tries, 369216 fired transitions, 590 secs || 382861 markings, 498296 edges, 650 markings/sec, 590 secs
lola: STP completed || 1 tries, 372317 fired transitions, 595 secs || 386121 markings, 502543 edges, 652 markings/sec, 595 secs
lola: STP completed || 1 tries, 375432 fired transitions, 600 secs || 389376 markings, 506946 edges, 651 markings/sec, 600 secs
lola: STP completed || 1 tries, 378576 fired transitions, 605 secs || 392669 markings, 511200 edges, 659 markings/sec, 605 secs
lola: STP completed || 1 tries, 381755 fired transitions, 610 secs || 395962 markings, 515494 edges, 659 markings/sec, 610 secs
lola: STP completed || 1 tries, 384878 fired transitions, 615 secs || 399219 markings, 519691 edges, 651 markings/sec, 615 secs
lola: STP completed || 1 tries, 387987 fired transitions, 620 secs || 402452 markings, 523802 edges, 647 markings/sec, 620 secs
lola: STP completed || 1 tries, 391120 fired transitions, 625 secs || 405689 markings, 527953 edges, 647 markings/sec, 625 secs
lola: STP completed || 1 tries, 394237 fired transitions, 630 secs || 408872 markings, 532895 edges, 637 markings/sec, 630 secs
lola: STP completed || 1 tries, 397380 fired transitions, 635 secs || 412163 markings, 537196 edges, 658 markings/sec, 635 secs
lola: STP completed || 1 tries, 400497 fired transitions, 640 secs || 415402 markings, 541309 edges, 648 markings/sec, 640 secs
lola: STP completed || 1 tries, 403612 fired transitions, 645 secs || 418658 markings, 545509 edges, 651 markings/sec, 645 secs
lola: STP completed || 1 tries, 406738 fired transitions, 650 secs || 421940 markings, 549933 edges, 656 markings/sec, 650 secs
lola: STP completed || 1 tries, 409832 fired transitions, 655 secs || 425170 markings, 554567 edges, 646 markings/sec, 655 secs
lola: STP completed || 1 tries, 412957 fired transitions, 660 secs || 428381 markings, 558638 edges, 642 markings/sec, 660 secs
lola: STP completed || 1 tries, 416089 fired transitions, 665 secs || 431627 markings, 562772 edges, 649 markings/sec, 665 secs
lola: STP completed || 1 tries, 419227 fired transitions, 670 secs || 434868 markings, 566790 edges, 648 markings/sec, 670 secs
lola: STP completed || 1 tries, 422355 fired transitions, 675 secs || 438140 markings, 571071 edges, 654 markings/sec, 675 secs
lola: STP completed || 1 tries, 425472 fired transitions, 680 secs || 441397 markings, 575372 edges, 651 markings/sec, 680 secs
lola: STP completed || 1 tries, 428584 fired transitions, 685 secs || 444607 markings, 579424 edges, 642 markings/sec, 685 secs
lola: STP completed || 1 tries, 431692 fired transitions, 690 secs || 447854 markings, 583907 edges, 649 markings/sec, 690 secs
lola: STP completed || 1 tries, 434827 fired transitions, 695 secs || 451092 markings, 588031 edges, 648 markings/sec, 695 secs
lola: STP completed || 1 tries, 437945 fired transitions, 700 secs || 454347 markings, 592171 edges, 651 markings/sec, 700 secs
lola: STP completed || 1 tries, 441067 fired transitions, 705 secs || 457608 markings, 596326 edges, 652 markings/sec, 705 secs
lola: STP completed || 1 tries, 444201 fired transitions, 710 secs || 460868 markings, 600508 edges, 652 markings/sec, 710 secs
lola: STP completed || 1 tries, 447313 fired transitions, 715 secs || 464134 markings, 604625 edges, 653 markings/sec, 715 secs
lola: STP completed || 1 tries, 450403 fired transitions, 720 secs || 467359 markings, 608674 edges, 645 markings/sec, 720 secs
lola: STP completed || 1 tries, 453506 fired transitions, 725 secs || 470583 markings, 612679 edges, 645 markings/sec, 725 secs
lola: STP completed || 1 tries, 456638 fired transitions, 730 secs || 473810 markings, 616809 edges, 645 markings/sec, 730 secs
lola: STP completed || 1 tries, 459752 fired transitions, 735 secs || 477014 markings, 621038 edges, 641 markings/sec, 735 secs
lola: STP completed || 1 tries, 462896 fired transitions, 740 secs || 480278 markings, 625452 edges, 653 markings/sec, 740 secs
lola: STP completed || 1 tries, 466034 fired transitions, 745 secs || 483493 markings, 629513 edges, 643 markings/sec, 745 secs
lola: STP completed || 1 tries, 469187 fired transitions, 750 secs || 486738 markings, 633728 edges, 649 markings/sec, 750 secs
lola: STP completed || 1 tries, 472304 fired transitions, 755 secs || 490017 markings, 637917 edges, 656 markings/sec, 755 secs
lola: STP completed || 1 tries, 475447 fired transitions, 760 secs || 493323 markings, 642406 edges, 661 markings/sec, 760 secs
lola: STP completed || 1 tries, 478617 fired transitions, 765 secs || 496655 markings, 646744 edges, 666 markings/sec, 765 secs
lola: STP completed || 1 tries, 481764 fired transitions, 770 secs || 499981 markings, 651020 edges, 665 markings/sec, 770 secs
lola: STP completed || 1 tries, 484907 fired transitions, 775 secs || 503272 markings, 655377 edges, 658 markings/sec, 775 secs
lola: STP completed || 1 tries, 488034 fired transitions, 780 secs || 506551 markings, 659687 edges, 656 markings/sec, 780 secs
lola: STP completed || 1 tries, 491117 fired transitions, 785 secs || 509807 markings, 664142 edges, 651 markings/sec, 785 secs
lola: STP completed || 1 tries, 494217 fired transitions, 790 secs || 513089 markings, 668445 edges, 656 markings/sec, 790 secs
lola: STP completed || 1 tries, 497345 fired transitions, 795 secs || 516385 markings, 672748 edges, 659 markings/sec, 795 secs
lola: STP completed || 1 tries, 500456 fired transitions, 800 secs || 519695 markings, 677076 edges, 662 markings/sec, 800 secs
lola: STP completed || 1 tries, 503565 fired transitions, 805 secs || 523010 markings, 681401 edges, 663 markings/sec, 805 secs
lola: STP completed || 1 tries, 506693 fired transitions, 810 secs || 526298 markings, 685686 edges, 658 markings/sec, 810 secs
lola: STP completed || 1 tries, 509811 fired transitions, 815 secs || 529598 markings, 690100 edges, 660 markings/sec, 815 secs
lola: STP completed || 1 tries, 512946 fired transitions, 820 secs || 532872 markings, 694757 edges, 655 markings/sec, 820 secs
lola: STP completed || 1 tries, 516046 fired transitions, 825 secs || 536154 markings, 699047 edges, 656 markings/sec, 825 secs
lola: STP completed || 1 tries, 519164 fired transitions, 830 secs || 539399 markings, 703518 edges, 649 markings/sec, 830 secs
lola: STP completed || 1 tries, 522287 fired transitions, 835 secs || 542646 markings, 707555 edges, 649 markings/sec, 835 secs
lola: STP completed || 1 tries, 525404 fired transitions, 840 secs || 545923 markings, 711855 edges, 655 markings/sec, 840 secs
lola: STP completed || 1 tries, 528530 fired transitions, 845 secs || 549216 markings, 716340 edges, 659 markings/sec, 845 secs
lola: STP completed || 1 tries, 531666 fired transitions, 850 secs || 552521 markings, 720688 edges, 661 markings/sec, 850 secs
lola: STP completed || 1 tries, 534801 fired transitions, 855 secs || 555750 markings, 724751 edges, 646 markings/sec, 855 secs
lola: STP completed || 1 tries, 537914 fired transitions, 860 secs || 558987 markings, 728761 edges, 647 markings/sec, 860 secs
lola: STP completed || 1 tries, 541050 fired transitions, 865 secs || 562204 markings, 732801 edges, 643 markings/sec, 865 secs
lola: STP completed || 1 tries, 544181 fired transitions, 870 secs || 565426 markings, 736900 edges, 644 markings/sec, 870 secs
lola: STP completed || 1 tries, 547266 fired transitions, 875 secs || 568688 markings, 741477 edges, 652 markings/sec, 875 secs
lola: STP completed || 1 tries, 550398 fired transitions, 880 secs || 571936 markings, 745727 edges, 650 markings/sec, 880 secs
lola: STP completed || 1 tries, 553522 fired transitions, 885 secs || 575161 markings, 750136 edges, 645 markings/sec, 885 secs
lola: STP completed || 1 tries, 556649 fired transitions, 890 secs || 578396 markings, 754135 edges, 647 markings/sec, 890 secs
lola: STP completed || 1 tries, 559752 fired transitions, 895 secs || 581597 markings, 758259 edges, 640 markings/sec, 895 secs
lola: STP completed || 1 tries, 562855 fired transitions, 900 secs || 584784 markings, 762346 edges, 637 markings/sec, 900 secs
lola: STP completed || 1 tries, 565993 fired transitions, 905 secs || 588040 markings, 766477 edges, 651 markings/sec, 905 secs
lola: STP completed || 1 tries, 569122 fired transitions, 910 secs || 591291 markings, 770736 edges, 650 markings/sec, 910 secs
lola: STP completed || 1 tries, 572245 fired transitions, 915 secs || 594507 markings, 774737 edges, 643 markings/sec, 915 secs
lola: STP completed || 1 tries, 575391 fired transitions, 920 secs || 597714 markings, 778750 edges, 641 markings/sec, 920 secs
lola: STP completed || 1 tries, 578536 fired transitions, 925 secs || 600918 markings, 782798 edges, 641 markings/sec, 925 secs
lola: STP completed || 1 tries, 581669 fired transitions, 930 secs || 604135 markings, 786896 edges, 643 markings/sec, 930 secs
lola: STP completed || 1 tries, 584785 fired transitions, 935 secs || 607369 markings, 791212 edges, 647 markings/sec, 935 secs
lola: STP completed || 1 tries, 587900 fired transitions, 940 secs || 610612 markings, 795575 edges, 649 markings/sec, 940 secs
lola: STP completed || 1 tries, 591019 fired transitions, 945 secs || 613811 markings, 799642 edges, 640 markings/sec, 945 secs
lola: STP completed || 1 tries, 594137 fired transitions, 950 secs || 617062 markings, 803934 edges, 650 markings/sec, 950 secs
lola: STP completed || 1 tries, 597255 fired transitions, 955 secs || 620328 markings, 808154 edges, 653 markings/sec, 955 secs
lola: STP completed || 1 tries, 600353 fired transitions, 960 secs || 623635 markings, 812480 edges, 661 markings/sec, 960 secs
lola: STP completed || 1 tries, 603475 fired transitions, 965 secs || 626937 markings, 816868 edges, 660 markings/sec, 965 secs
lola: STP completed || 1 tries, 606605 fired transitions, 970 secs || 630209 markings, 821112 edges, 654 markings/sec, 970 secs
lola: STP completed || 1 tries, 609743 fired transitions, 975 secs || 633430 markings, 825368 edges, 644 markings/sec, 975 secs
lola: STP completed || 1 tries, 612864 fired transitions, 980 secs || 636687 markings, 829703 edges, 651 markings/sec, 980 secs
lola: STP completed || 1 tries, 615979 fired transitions, 985 secs || 639910 markings, 833814 edges, 645 markings/sec, 985 secs
lola: STP completed || 1 tries, 619150 fired transitions, 990 secs || 643161 markings, 838152 edges, 650 markings/sec, 990 secs
lola: STP completed || 1 tries, 622288 fired transitions, 995 secs || 646364 markings, 842197 edges, 641 markings/sec, 995 secs
lola: STP completed || 1 tries, 625401 fired transitions, 1000 secs || 649655 markings, 846464 edges, 658 markings/sec, 1000 secs
lola: STP completed || 1 tries, 628534 fired transitions, 1005 secs || 652933 markings, 850976 edges, 656 markings/sec, 1005 secs
lola: STP completed || 1 tries, 631633 fired transitions, 1010 secs || 656215 markings, 855237 edges, 656 markings/sec, 1010 secs
lola: STP completed || 1 tries, 634737 fired transitions, 1015 secs || 659464 markings, 859377 edges, 650 markings/sec, 1015 secs
lola: STP completed || 1 tries, 637860 fired transitions, 1020 secs || 662673 markings, 863430 edges, 642 markings/sec, 1020 secs
lola: STP completed || 1 tries, 641002 fired transitions, 1025 secs || 665882 markings, 867445 edges, 642 markings/sec, 1025 secs
lola: STP completed || 1 tries, 644127 fired transitions, 1030 secs || 669090 markings, 871543 edges, 642 markings/sec, 1030 secs
lola: STP completed || 1 tries, 647233 fired transitions, 1035 secs || 672302 markings, 875607 edges, 642 markings/sec, 1035 secs
lola: STP completed || 1 tries, 650379 fired transitions, 1040 secs || 675514 markings, 879607 edges, 642 markings/sec, 1040 secs
lola: STP completed || 1 tries, 653503 fired transitions, 1045 secs || 678714 markings, 883740 edges, 640 markings/sec, 1045 secs
lola: STP completed || 1 tries, 656630 fired transitions, 1050 secs || 681965 markings, 887864 edges, 650 markings/sec, 1050 secs
lola: STP completed || 1 tries, 659746 fired transitions, 1055 secs || 685175 markings, 892178 edges, 642 markings/sec, 1055 secs
lola: STP completed || 1 tries, 662888 fired transitions, 1060 secs || 688394 markings, 896285 edges, 644 markings/sec, 1060 secs
lola: STP completed || 1 tries, 666003 fired transitions, 1065 secs || 691591 markings, 900349 edges, 639 markings/sec, 1065 secs
lola: STP completed || 1 tries, 669141 fired transitions, 1070 secs || 694775 markings, 904340 edges, 637 markings/sec, 1070 secs
lola: STP completed || 1 tries, 672292 fired transitions, 1075 secs || 697975 markings, 908375 edges, 640 markings/sec, 1075 secs
lola: STP completed || 1 tries, 675398 fired transitions, 1080 secs || 701216 markings, 912703 edges, 648 markings/sec, 1080 secs
lola: STP completed || 1 tries, 678532 fired transitions, 1085 secs || 704429 markings, 916823 edges, 643 markings/sec, 1085 secs
lola: STP completed || 1 tries, 681690 fired transitions, 1090 secs || 707653 markings, 921183 edges, 645 markings/sec, 1090 secs
lola: STP completed || 1 tries, 684839 fired transitions, 1095 secs || 710905 markings, 925385 edges, 650 markings/sec, 1095 secs
lola: STP completed || 1 tries, 687953 fired transitions, 1100 secs || 714143 markings, 929555 edges, 648 markings/sec, 1100 secs
lola: STP completed || 1 tries, 691055 fired transitions, 1105 secs || 717335 markings, 933785 edges, 638 markings/sec, 1105 secs
lola: STP completed || 1 tries, 694184 fired transitions, 1110 secs || 720620 markings, 938221 edges, 657 markings/sec, 1110 secs
lola: STP completed || 1 tries, 697327 fired transitions, 1115 secs || 723925 markings, 942565 edges, 661 markings/sec, 1115 secs
lola: STP completed || 1 tries, 700469 fired transitions, 1120 secs || 727216 markings, 946943 edges, 658 markings/sec, 1120 secs
lola: STP completed || 1 tries, 703612 fired transitions, 1125 secs || 730505 markings, 951323 edges, 658 markings/sec, 1125 secs
lola: STP completed || 1 tries, 706727 fired transitions, 1130 secs || 733800 markings, 955712 edges, 659 markings/sec, 1130 secs
lola: STP completed || 1 tries, 709848 fired transitions, 1135 secs || 737092 markings, 960096 edges, 658 markings/sec, 1135 secs
lola: STP completed || 1 tries, 712926 fired transitions, 1140 secs || 740355 markings, 964310 edges, 653 markings/sec, 1140 secs
lola: STP completed || 1 tries, 716055 fired transitions, 1145 secs || 743571 markings, 968576 edges, 643 markings/sec, 1145 secs
lola: STP completed || 1 tries, 719218 fired transitions, 1150 secs || 746815 markings, 972933 edges, 649 markings/sec, 1150 secs
lola: STP completed || 1 tries, 722327 fired transitions, 1155 secs || 750054 markings, 977289 edges, 648 markings/sec, 1155 secs
lola: STP completed || 1 tries, 725459 fired transitions, 1160 secs || 753235 markings, 981391 edges, 636 markings/sec, 1160 secs
lola: STP completed || 1 tries, 728578 fired transitions, 1165 secs || 756449 markings, 985425 edges, 643 markings/sec, 1165 secs
lola: STP completed || 1 tries, 731719 fired transitions, 1170 secs || 759706 markings, 989601 edges, 651 markings/sec, 1170 secs
lola: STP completed || 1 tries, 734859 fired transitions, 1175 secs || 762934 markings, 993647 edges, 646 markings/sec, 1175 secs
lola: STP completed || 1 tries, 737970 fired transitions, 1180 secs || 766180 markings, 998013 edges, 649 markings/sec, 1180 secs
lola: STP completed || 1 tries, 741093 fired transitions, 1185 secs || 769407 markings, 1002081 edges, 645 markings/sec, 1185 secs
lola: STP completed || 1 tries, 744163 fired transitions, 1190 secs || 772648 markings, 1006123 edges, 648 markings/sec, 1190 secs
lola: STP completed || 1 tries, 747220 fired transitions, 1195 secs || 775798 markings, 1010190 edges, 630 markings/sec, 1195 secs
lola: STP completed || 1 tries, 750268 fired transitions, 1200 secs || 778917 markings, 1014224 edges, 624 markings/sec, 1200 secs
lola: STP completed || 1 tries, 753400 fired transitions, 1205 secs || 782101 markings, 1018205 edges, 637 markings/sec, 1205 secs
lola: STP completed || 1 tries, 756532 fired transitions, 1210 secs || 785375 markings, 1022446 edges, 655 markings/sec, 1210 secs
lola: STP completed || 1 tries, 759675 fired transitions, 1215 secs || 788571 markings, 1026459 edges, 639 markings/sec, 1215 secs
lola: STP completed || 1 tries, 762808 fired transitions, 1220 secs || 791777 markings, 1030746 edges, 641 markings/sec, 1220 secs
lola: STP completed || 1 tries, 765947 fired transitions, 1225 secs || 795017 markings, 1034810 edges, 648 markings/sec, 1225 secs
lola: STP completed || 1 tries, 769079 fired transitions, 1230 secs || 798260 markings, 1038862 edges, 649 markings/sec, 1230 secs
lola: STP completed || 1 tries, 772170 fired transitions, 1235 secs || 801482 markings, 1042990 edges, 644 markings/sec, 1235 secs
lola: STP completed || 1 tries, 775389 fired transitions, 1240 secs || 804730 markings, 1047191 edges, 650 markings/sec, 1240 secs
lola: STP completed || 1 tries, 778585 fired transitions, 1245 secs || 807981 markings, 1051280 edges, 650 markings/sec, 1245 secs
lola: STP completed || 1 tries, 781772 fired transitions, 1250 secs || 811243 markings, 1055475 edges, 652 markings/sec, 1250 secs
lola: STP completed || 1 tries, 784943 fired transitions, 1255 secs || 814462 markings, 1059583 edges, 644 markings/sec, 1255 secs
lola: STP completed || 1 tries, 788070 fired transitions, 1260 secs || 817679 markings, 1063870 edges, 643 markings/sec, 1260 secs
lola: STP completed || 1 tries, 791238 fired transitions, 1265 secs || 820889 markings, 1067913 edges, 642 markings/sec, 1265 secs
lola: STP completed || 1 tries, 794378 fired transitions, 1270 secs || 824103 markings, 1071888 edges, 643 markings/sec, 1270 secs
lola: STP completed || 1 tries, 797453 fired transitions, 1275 secs || 827283 markings, 1075982 edges, 636 markings/sec, 1275 secs
lola: STP completed || 1 tries, 800581 fired transitions, 1280 secs || 830459 markings, 1080129 edges, 635 markings/sec, 1280 secs
lola: STP completed || 1 tries, 803720 fired transitions, 1285 secs || 833705 markings, 1084244 edges, 649 markings/sec, 1285 secs
lola: STP completed || 1 tries, 806883 fired transitions, 1290 secs || 836938 markings, 1088585 edges, 647 markings/sec, 1290 secs
lola: STP completed || 1 tries, 809935 fired transitions, 1295 secs || 840123 markings, 1092980 edges, 637 markings/sec, 1295 secs
lola: STP completed || 1 tries, 813080 fired transitions, 1300 secs || 843335 markings, 1097072 edges, 642 markings/sec, 1300 secs
lola: STP completed || 1 tries, 816224 fired transitions, 1305 secs || 846630 markings, 1101409 edges, 659 markings/sec, 1305 secs
lola: STP completed || 1 tries, 819366 fired transitions, 1310 secs || 849894 markings, 1105733 edges, 653 markings/sec, 1310 secs
lola: STP completed || 1 tries, 822375 fired transitions, 1315 secs || 853112 markings, 1109926 edges, 644 markings/sec, 1315 secs
lola: STP completed || 1 tries, 825393 fired transitions, 1320 secs || 856338 markings, 1114210 edges, 645 markings/sec, 1320 secs
lola: STP completed || 1 tries, 828436 fired transitions, 1325 secs || 859535 markings, 1118295 edges, 639 markings/sec, 1325 secs
lola: STP completed || 1 tries, 831478 fired transitions, 1330 secs || 862611 markings, 1122392 edges, 615 markings/sec, 1330 secs
lola: STP completed || 1 tries, 834530 fired transitions, 1335 secs || 865802 markings, 1126644 edges, 638 markings/sec, 1335 secs
lola: STP completed || 1 tries, 837605 fired transitions, 1340 secs || 868996 markings, 1130706 edges, 639 markings/sec, 1340 secs
lola: STP completed || 1 tries, 840735 fired transitions, 1345 secs || 872159 markings, 1134726 edges, 633 markings/sec, 1345 secs
lola: STP completed || 1 tries, 843889 fired transitions, 1350 secs || 875451 markings, 1139037 edges, 658 markings/sec, 1350 secs
lola: STP completed || 1 tries, 846904 fired transitions, 1355 secs || 878737 markings, 1143538 edges, 657 markings/sec, 1355 secs
lola: STP completed || 1 tries, 849884 fired transitions, 1360 secs || 881947 markings, 1147648 edges, 642 markings/sec, 1360 secs
lola: STP completed || 1 tries, 852914 fired transitions, 1365 secs || 885163 markings, 1151751 edges, 643 markings/sec, 1365 secs
lola: STP completed || 1 tries, 856058 fired transitions, 1370 secs || 888309 markings, 1155793 edges, 629 markings/sec, 1370 secs
lola: STP completed || 1 tries, 859208 fired transitions, 1375 secs || 891563 markings, 1160144 edges, 651 markings/sec, 1375 secs
lola: STP completed || 1 tries, 862273 fired transitions, 1380 secs || 894773 markings, 1164275 edges, 642 markings/sec, 1380 secs
lola: STP completed || 1 tries, 865257 fired transitions, 1385 secs || 897959 markings, 1168451 edges, 637 markings/sec, 1385 secs
lola: STP completed || 1 tries, 868345 fired transitions, 1390 secs || 901174 markings, 1172497 edges, 643 markings/sec, 1390 secs
lola: STP completed || 1 tries, 871478 fired transitions, 1395 secs || 904378 markings, 1176475 edges, 641 markings/sec, 1395 secs
lola: STP completed || 1 tries, 874604 fired transitions, 1400 secs || 907557 markings, 1180634 edges, 636 markings/sec, 1400 secs
lola: STP completed || 1 tries, 877735 fired transitions, 1405 secs || 910766 markings, 1184671 edges, 642 markings/sec, 1405 secs
lola: STP completed || 1 tries, 880882 fired transitions, 1410 secs || 913958 markings, 1188897 edges, 638 markings/sec, 1410 secs
lola: STP completed || 1 tries, 884039 fired transitions, 1415 secs || 917195 markings, 1193089 edges, 647 markings/sec, 1415 secs
lola: STP completed || 1 tries, 887205 fired transitions, 1420 secs || 920416 markings, 1197317 edges, 644 markings/sec, 1420 secs
lola: STP completed || 1 tries, 890352 fired transitions, 1425 secs || 923624 markings, 1201492 edges, 642 markings/sec, 1425 secs
lola: STP completed || 1 tries, 893499 fired transitions, 1430 secs || 926821 markings, 1205748 edges, 639 markings/sec, 1430 secs
lola: STP completed || 1 tries, 896634 fired transitions, 1435 secs || 930083 markings, 1209901 edges, 652 markings/sec, 1435 secs
lola: STP completed || 1 tries, 899742 fired transitions, 1440 secs || 933303 markings, 1214226 edges, 644 markings/sec, 1440 secs
lola: STP completed || 1 tries, 902899 fired transitions, 1445 secs || 936557 markings, 1218345 edges, 651 markings/sec, 1445 secs
lola: STP completed || 1 tries, 906063 fired transitions, 1450 secs || 939867 markings, 1222647 edges, 662 markings/sec, 1450 secs
lola: STP completed || 1 tries, 909213 fired transitions, 1455 secs || 943158 markings, 1227086 edges, 658 markings/sec, 1455 secs
lola: STP completed || 1 tries, 912383 fired transitions, 1460 secs || 946422 markings, 1231356 edges, 653 markings/sec, 1460 secs
lola: STP completed || 1 tries, 915520 fired transitions, 1465 secs || 949695 markings, 1235644 edges, 655 markings/sec, 1465 secs
lola: STP completed || 1 tries, 918658 fired transitions, 1470 secs || 952923 markings, 1239733 edges, 646 markings/sec, 1470 secs
lola: STP completed || 1 tries, 921816 fired transitions, 1475 secs || 956163 markings, 1244052 edges, 648 markings/sec, 1475 secs
lola: STP completed || 1 tries, 924953 fired transitions, 1480 secs || 959408 markings, 1248378 edges, 649 markings/sec, 1480 secs
lola: STP completed || 1 tries, 928096 fired transitions, 1485 secs || 962636 markings, 1252473 edges, 646 markings/sec, 1485 secs
lola: STP completed || 1 tries, 931237 fired transitions, 1490 secs || 965892 markings, 1256795 edges, 651 markings/sec, 1490 secs
lola: STP completed || 1 tries, 934399 fired transitions, 1495 secs || 969162 markings, 1261234 edges, 654 markings/sec, 1495 secs
lola: STP completed || 1 tries, 937540 fired transitions, 1500 secs || 972448 markings, 1265497 edges, 657 markings/sec, 1500 secs
lola: STP completed || 1 tries, 940703 fired transitions, 1505 secs || 975712 markings, 1269857 edges, 653 markings/sec, 1505 secs
lola: STP completed || 1 tries, 943853 fired transitions, 1510 secs || 978947 markings, 1273948 edges, 647 markings/sec, 1510 secs
lola: STP completed || 1 tries, 946998 fired transitions, 1515 secs || 982175 markings, 1277992 edges, 646 markings/sec, 1515 secs
lola: STP completed || 1 tries, 950133 fired transitions, 1520 secs || 985395 markings, 1282042 edges, 644 markings/sec, 1520 secs
lola: STP completed || 1 tries, 953283 fired transitions, 1525 secs || 988618 markings, 1286143 edges, 645 markings/sec, 1525 secs
lola: STP completed || 1 tries, 956434 fired transitions, 1530 secs || 991886 markings, 1290777 edges, 654 markings/sec, 1530 secs
lola: STP completed || 1 tries, 959559 fired transitions, 1535 secs || 995133 markings, 1294979 edges, 649 markings/sec, 1535 secs
lola: STP completed || 1 tries, 962688 fired transitions, 1540 secs || 998342 markings, 1299302 edges, 642 markings/sec, 1540 secs
lola: STP completed || 1 tries, 965801 fired transitions, 1545 secs || 1001593 markings, 1303652 edges, 650 markings/sec, 1545 secs
lola: STP completed || 1 tries, 968922 fired transitions, 1550 secs || 1004815 markings, 1307955 edges, 644 markings/sec, 1550 secs
lola: STP completed || 1 tries, 972088 fired transitions, 1555 secs || 1008097 markings, 1312116 edges, 656 markings/sec, 1555 secs
lola: STP completed || 1 tries, 975283 fired transitions, 1560 secs || 1011374 markings, 1316477 edges, 655 markings/sec, 1560 secs
lola: STP completed || 1 tries, 978477 fired transitions, 1565 secs || 1014665 markings, 1320887 edges, 658 markings/sec, 1565 secs
lola: STP completed || 1 tries, 981675 fired transitions, 1570 secs || 1017920 markings, 1325024 edges, 651 markings/sec, 1570 secs
lola: STP completed || 1 tries, 984857 fired transitions, 1575 secs || 1021180 markings, 1329092 edges, 652 markings/sec, 1575 secs
lola: STP completed || 1 tries, 988051 fired transitions, 1580 secs || 1024493 markings, 1333396 edges, 663 markings/sec, 1580 secs
lola: STP completed || 1 tries, 991239 fired transitions, 1585 secs || 1027808 markings, 1337727 edges, 663 markings/sec, 1585 secs
lola: STP completed || 1 tries, 994402 fired transitions, 1590 secs || 1031081 markings, 1341872 edges, 655 markings/sec, 1590 secs
lola: STP completed || 1 tries, 997605 fired transitions, 1595 secs || 1034386 markings, 1346314 edges, 661 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1000743 fired transitions, 1600 secs || 1037684 markings, 1350554 edges, 660 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1003860 fired transitions, 1605 secs || 1040974 markings, 1354866 edges, 658 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1006970 fired transitions, 1610 secs || 1044268 markings, 1359112 edges, 659 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1010110 fired transitions, 1615 secs || 1047524 markings, 1363324 edges, 651 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1013245 fired transitions, 1620 secs || 1050782 markings, 1367739 edges, 652 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1016380 fired transitions, 1625 secs || 1054059 markings, 1371969 edges, 655 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1019510 fired transitions, 1630 secs || 1057364 markings, 1376222 edges, 661 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1022644 fired transitions, 1635 secs || 1060634 markings, 1380741 edges, 654 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1025747 fired transitions, 1640 secs || 1063902 markings, 1385107 edges, 654 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1028893 fired transitions, 1645 secs || 1067146 markings, 1389499 edges, 649 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1032028 fired transitions, 1650 secs || 1070393 markings, 1394006 edges, 649 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1035160 fired transitions, 1655 secs || 1073644 markings, 1398265 edges, 650 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1038266 fired transitions, 1660 secs || 1076860 markings, 1402415 edges, 643 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1041408 fired transitions, 1665 secs || 1080092 markings, 1406562 edges, 646 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1044575 fired transitions, 1670 secs || 1083371 markings, 1410818 edges, 656 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1047564 fired transitions, 1675 secs || 1086551 markings, 1415042 edges, 636 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1050590 fired transitions, 1680 secs || 1089756 markings, 1419073 edges, 641 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1053732 fired transitions, 1685 secs || 1092957 markings, 1423025 edges, 640 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1056857 fired transitions, 1690 secs || 1096153 markings, 1427252 edges, 639 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1060009 fired transitions, 1695 secs || 1099398 markings, 1431347 edges, 649 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1063120 fired transitions, 1700 secs || 1102602 markings, 1435416 edges, 641 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1066269 fired transitions, 1705 secs || 1105800 markings, 1439491 edges, 640 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1069426 fired transitions, 1710 secs || 1109063 markings, 1443548 edges, 653 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1072589 fired transitions, 1715 secs || 1112325 markings, 1447784 edges, 652 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1075713 fired transitions, 1720 secs || 1115559 markings, 1451988 edges, 647 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1078819 fired transitions, 1725 secs || 1118779 markings, 1456199 edges, 644 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1081918 fired transitions, 1730 secs || 1121936 markings, 1460235 edges, 631 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1085018 fired transitions, 1735 secs || 1125162 markings, 1464430 edges, 645 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1088099 fired transitions, 1740 secs || 1128380 markings, 1468615 edges, 644 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1091240 fired transitions, 1745 secs || 1131621 markings, 1472909 edges, 648 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1094346 fired transitions, 1750 secs || 1134811 markings, 1477085 edges, 638 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1097467 fired transitions, 1755 secs || 1138024 markings, 1481230 edges, 643 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1100625 fired transitions, 1760 secs || 1141203 markings, 1485392 edges, 636 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1103804 fired transitions, 1765 secs || 1144426 markings, 1489735 edges, 645 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1106928 fired transitions, 1770 secs || 1147698 markings, 1494011 edges, 654 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1110091 fired transitions, 1775 secs || 1150967 markings, 1498281 edges, 654 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1113226 fired transitions, 1780 secs || 1154223 markings, 1502566 edges, 651 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1116336 fired transitions, 1785 secs || 1157458 markings, 1506627 edges, 647 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1119380 fired transitions, 1790 secs || 1160527 markings, 1510765 edges, 614 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1122484 fired transitions, 1795 secs || 1163631 markings, 1514725 edges, 621 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1125557 fired transitions, 1800 secs || 1166680 markings, 1518708 edges, 610 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1128604 fired transitions, 1805 secs || 1169766 markings, 1522851 edges, 617 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1131755 fired transitions, 1810 secs || 1172985 markings, 1527190 edges, 644 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1134913 fired transitions, 1815 secs || 1176251 markings, 1531471 edges, 653 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1138044 fired transitions, 1820 secs || 1179500 markings, 1535534 edges, 650 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1141181 fired transitions, 1825 secs || 1182744 markings, 1539630 edges, 649 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1144321 fired transitions, 1830 secs || 1185958 markings, 1543769 edges, 643 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1147453 fired transitions, 1835 secs || 1189191 markings, 1547853 edges, 647 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1150567 fired transitions, 1840 secs || 1192289 markings, 1551741 edges, 620 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1153697 fired transitions, 1845 secs || 1195422 markings, 1555911 edges, 627 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1156829 fired transitions, 1850 secs || 1198650 markings, 1560137 edges, 646 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1159961 fired transitions, 1855 secs || 1201898 markings, 1564542 edges, 650 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1163054 fired transitions, 1860 secs || 1205057 markings, 1568699 edges, 632 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1166238 fired transitions, 1865 secs || 1208343 markings, 1572950 edges, 657 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1169443 fired transitions, 1870 secs || 1211633 markings, 1577189 edges, 658 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1172631 fired transitions, 1875 secs || 1214923 markings, 1581611 edges, 658 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1175814 fired transitions, 1880 secs || 1218218 markings, 1586088 edges, 659 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1178985 fired transitions, 1885 secs || 1221518 markings, 1590439 edges, 660 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1182178 fired transitions, 1890 secs || 1224810 markings, 1594728 edges, 658 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1185350 fired transitions, 1895 secs || 1228098 markings, 1599059 edges, 658 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1188562 fired transitions, 1900 secs || 1231431 markings, 1603405 edges, 667 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1191741 fired transitions, 1905 secs || 1234762 markings, 1607734 edges, 666 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1194948 fired transitions, 1910 secs || 1238062 markings, 1612094 edges, 660 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1198140 fired transitions, 1915 secs || 1241290 markings, 1616317 edges, 646 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1201295 fired transitions, 1920 secs || 1244489 markings, 1620330 edges, 640 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1204461 fired transitions, 1925 secs || 1247719 markings, 1624488 edges, 646 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1207484 fired transitions, 1930 secs || 1250927 markings, 1628965 edges, 642 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1210657 fired transitions, 1935 secs || 1254171 markings, 1633006 edges, 649 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1213790 fired transitions, 1940 secs || 1257383 markings, 1637545 edges, 642 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1216858 fired transitions, 1945 secs || 1260510 markings, 1641456 edges, 625 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1219946 fired transitions, 1950 secs || 1263671 markings, 1645381 edges, 632 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1223082 fired transitions, 1955 secs || 1266898 markings, 1649590 edges, 645 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1226243 fired transitions, 1960 secs || 1270065 markings, 1653674 edges, 633 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1229403 fired transitions, 1965 secs || 1273279 markings, 1657932 edges, 643 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1232554 fired transitions, 1970 secs || 1276474 markings, 1662098 edges, 639 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1235703 fired transitions, 1975 secs || 1279681 markings, 1666381 edges, 641 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1238781 fired transitions, 1980 secs || 1282910 markings, 1670598 edges, 646 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1241910 fired transitions, 1985 secs || 1286120 markings, 1674759 edges, 642 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1245055 fired transitions, 1990 secs || 1289353 markings, 1678981 edges, 647 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1248191 fired transitions, 1995 secs || 1292604 markings, 1683250 edges, 650 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1251387 fired transitions, 2000 secs || 1295838 markings, 1687280 edges, 647 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1254565 fired transitions, 2005 secs || 1299119 markings, 1691524 edges, 656 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1257761 fired transitions, 2010 secs || 1302443 markings, 1695948 edges, 665 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1260961 fired transitions, 2015 secs || 1305761 markings, 1700336 edges, 664 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1264164 fired transitions, 2020 secs || 1309074 markings, 1704738 edges, 663 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1267334 fired transitions, 2025 secs || 1312400 markings, 1709160 edges, 665 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1270532 fired transitions, 2030 secs || 1315731 markings, 1713560 edges, 666 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1273708 fired transitions, 2035 secs || 1318998 markings, 1718312 edges, 653 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1276868 fired transitions, 2040 secs || 1322222 markings, 1722464 edges, 645 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1279993 fired transitions, 2045 secs || 1325479 markings, 1726662 edges, 651 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1283184 fired transitions, 2050 secs || 1328785 markings, 1730950 edges, 661 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1286355 fired transitions, 2055 secs || 1332099 markings, 1735235 edges, 663 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1289525 fired transitions, 2060 secs || 1335397 markings, 1739465 edges, 660 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1292711 fired transitions, 2065 secs || 1338681 markings, 1743964 edges, 657 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1295899 fired transitions, 2070 secs || 1341979 markings, 1748274 edges, 660 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1299106 fired transitions, 2075 secs || 1345317 markings, 1752666 edges, 668 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1302282 fired transitions, 2080 secs || 1348665 markings, 1756959 edges, 670 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1305487 fired transitions, 2085 secs || 1352010 markings, 1761310 edges, 669 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1308671 fired transitions, 2090 secs || 1355348 markings, 1765719 edges, 668 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1311869 fired transitions, 2095 secs || 1358685 markings, 1770218 edges, 667 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1315040 fired transitions, 2100 secs || 1362033 markings, 1774565 edges, 670 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1318229 fired transitions, 2105 secs || 1365384 markings, 1778879 edges, 670 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1321396 fired transitions, 2110 secs || 1368712 markings, 1783316 edges, 666 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1324585 fired transitions, 2115 secs || 1372058 markings, 1787576 edges, 669 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1327765 fired transitions, 2120 secs || 1375397 markings, 1791977 edges, 668 markings/sec, 2120 secs
lola: STP completed || 2 tries, 1330973 fired transitions, 2125 secs || 1378721 markings, 1796456 edges, 665 markings/sec, 2125 secs
lola: STP completed || 2 tries, 1334146 fired transitions, 2130 secs || 1382056 markings, 1800792 edges, 667 markings/sec, 2130 secs
lola: STP completed || 2 tries, 1337338 fired transitions, 2135 secs || 1385396 markings, 1805133 edges, 668 markings/sec, 2135 secs
lola: STP completed || 2 tries, 1340380 fired transitions, 2140 secs || 1388649 markings, 1809275 edges, 651 markings/sec, 2140 secs
lola: STP completed || 2 tries, 1343513 fired transitions, 2145 secs || 1391927 markings, 1813556 edges, 656 markings/sec, 2145 secs
lola: STP completed || 2 tries, 1346648 fired transitions, 2150 secs || 1395182 markings, 1817747 edges, 651 markings/sec, 2150 secs
lola: STP completed || 2 tries, 1349778 fired transitions, 2155 secs || 1398471 markings, 1821958 edges, 658 markings/sec, 2155 secs
lola: STP completed || 2 tries, 1352897 fired transitions, 2160 secs || 1401752 markings, 1826283 edges, 656 markings/sec, 2160 secs
lola: STP completed || 2 tries, 1356043 fired transitions, 2165 secs || 1405038 markings, 1830457 edges, 657 markings/sec, 2165 secs
lola: STP completed || 2 tries, 1359166 fired transitions, 2170 secs || 1408280 markings, 1834587 edges, 648 markings/sec, 2170 secs
lola: STP completed || 2 tries, 1362315 fired transitions, 2175 secs || 1411548 markings, 1838886 edges, 654 markings/sec, 2175 secs
lola: STP completed || 2 tries, 1365452 fired transitions, 2180 secs || 1414799 markings, 1843086 edges, 650 markings/sec, 2180 secs
lola: STP completed || 2 tries, 1368614 fired transitions, 2185 secs || 1418054 markings, 1847341 edges, 651 markings/sec, 2185 secs
lola: STP completed || 2 tries, 1371575 fired transitions, 2190 secs || 1421259 markings, 1851579 edges, 641 markings/sec, 2190 secs
lola: STP completed || 2 tries, 1374665 fired transitions, 2195 secs || 1424413 markings, 1855744 edges, 631 markings/sec, 2195 secs
lola: STP completed || 2 tries, 1377723 fired transitions, 2200 secs || 1427599 markings, 1859935 edges, 637 markings/sec, 2200 secs
lola: STP completed || 2 tries, 1380798 fired transitions, 2205 secs || 1430800 markings, 1864224 edges, 640 markings/sec, 2205 secs
lola: STP completed || 2 tries, 1383884 fired transitions, 2210 secs || 1434008 markings, 1868361 edges, 642 markings/sec, 2210 secs
lola: STP completed || 2 tries, 1386985 fired transitions, 2215 secs || 1437232 markings, 1872381 edges, 645 markings/sec, 2215 secs
lola: STP completed || 2 tries, 1390048 fired transitions, 2220 secs || 1440430 markings, 1876724 edges, 640 markings/sec, 2220 secs
lola: STP completed || 2 tries, 1393152 fired transitions, 2225 secs || 1443660 markings, 1880927 edges, 646 markings/sec, 2225 secs
lola: STP completed || 2 tries, 1396286 fired transitions, 2230 secs || 1446902 markings, 1885160 edges, 648 markings/sec, 2230 secs
lola: STP completed || 2 tries, 1399443 fired transitions, 2235 secs || 1450178 markings, 1889441 edges, 655 markings/sec, 2235 secs
lola: STP completed || 2 tries, 1402606 fired transitions, 2240 secs || 1453445 markings, 1893681 edges, 653 markings/sec, 2240 secs
lola: STP completed || 2 tries, 1405751 fired transitions, 2245 secs || 1456715 markings, 1897944 edges, 654 markings/sec, 2245 secs
lola: STP completed || 2 tries, 1408909 fired transitions, 2250 secs || 1459927 markings, 1902113 edges, 642 markings/sec, 2250 secs
lola: STP completed || 2 tries, 1412050 fired transitions, 2255 secs || 1463136 markings, 1906369 edges, 642 markings/sec, 2255 secs
lola: STP completed || 2 tries, 1415202 fired transitions, 2260 secs || 1466420 markings, 1910635 edges, 657 markings/sec, 2260 secs
lola: STP completed || 2 tries, 1418338 fired transitions, 2265 secs || 1469704 markings, 1914854 edges, 657 markings/sec, 2265 secs
lola: STP completed || 2 tries, 1421494 fired transitions, 2270 secs || 1472978 markings, 1919138 edges, 655 markings/sec, 2270 secs
lola: STP completed || 2 tries, 1424669 fired transitions, 2275 secs || 1476256 markings, 1923497 edges, 656 markings/sec, 2275 secs
lola: STP completed || 2 tries, 1427813 fired transitions, 2280 secs || 1479539 markings, 1927716 edges, 657 markings/sec, 2280 secs
lola: STP completed || 2 tries, 1430975 fired transitions, 2285 secs || 1482820 markings, 1931955 edges, 656 markings/sec, 2285 secs
lola: STP completed || 2 tries, 1434117 fired transitions, 2290 secs || 1486090 markings, 1936326 edges, 654 markings/sec, 2290 secs
lola: STP completed || 2 tries, 1437252 fired transitions, 2295 secs || 1489366 markings, 1940626 edges, 655 markings/sec, 2295 secs
lola: STP completed || 2 tries, 1440399 fired transitions, 2300 secs || 1492610 markings, 1944973 edges, 649 markings/sec, 2300 secs
lola: STP completed || 2 tries, 1443543 fired transitions, 2305 secs || 1495841 markings, 1949154 edges, 646 markings/sec, 2305 secs
lola: STP completed || 2 tries, 1446701 fired transitions, 2310 secs || 1499091 markings, 1953437 edges, 650 markings/sec, 2310 secs
lola: STP completed || 2 tries, 1449866 fired transitions, 2315 secs || 1502397 markings, 1957626 edges, 661 markings/sec, 2315 secs
lola: STP completed || 2 tries, 1453013 fired transitions, 2320 secs || 1505689 markings, 1961953 edges, 658 markings/sec, 2320 secs
lola: STP completed || 2 tries, 1456165 fired transitions, 2325 secs || 1508937 markings, 1966352 edges, 650 markings/sec, 2325 secs
lola: STP completed || 2 tries, 1459332 fired transitions, 2330 secs || 1512174 markings, 1970914 edges, 647 markings/sec, 2330 secs
lola: STP completed || 2 tries, 1462465 fired transitions, 2335 secs || 1515428 markings, 1975383 edges, 651 markings/sec, 2335 secs
lola: STP completed || 2 tries, 1465627 fired transitions, 2340 secs || 1518660 markings, 1979526 edges, 646 markings/sec, 2340 secs
lola: STP completed || 2 tries, 1468768 fired transitions, 2345 secs || 1521889 markings, 1983645 edges, 646 markings/sec, 2345 secs
lola: STP completed || 2 tries, 1471946 fired transitions, 2350 secs || 1525126 markings, 1987834 edges, 647 markings/sec, 2350 secs
lola: STP completed || 2 tries, 1475092 fired transitions, 2355 secs || 1528350 markings, 1992231 edges, 645 markings/sec, 2355 secs
lola: STP completed || 2 tries, 1478178 fired transitions, 2360 secs || 1531587 markings, 1996458 edges, 647 markings/sec, 2360 secs
lola: STP completed || 2 tries, 1481323 fired transitions, 2365 secs || 1534884 markings, 2000606 edges, 659 markings/sec, 2365 secs
lola: STP completed || 2 tries, 1484463 fired transitions, 2370 secs || 1538195 markings, 2004836 edges, 662 markings/sec, 2370 secs
lola: STP completed || 2 tries, 1487595 fired transitions, 2375 secs || 1541503 markings, 2009079 edges, 662 markings/sec, 2375 secs
lola: STP completed || 2 tries, 1490713 fired transitions, 2380 secs || 1544727 markings, 2013895 edges, 645 markings/sec, 2380 secs
lola: STP completed || 2 tries, 1493874 fired transitions, 2385 secs || 1548010 markings, 2017946 edges, 657 markings/sec, 2385 secs
lola: STP completed || 2 tries, 1496991 fired transitions, 2390 secs || 1551241 markings, 2022225 edges, 646 markings/sec, 2390 secs
lola: STP completed || 2 tries, 1500135 fired transitions, 2395 secs || 1554472 markings, 2026525 edges, 646 markings/sec, 2395 secs
lola: STP completed || 2 tries, 1503285 fired transitions, 2400 secs || 1557689 markings, 2030814 edges, 643 markings/sec, 2400 secs
lola: STP completed || 2 tries, 1506385 fired transitions, 2405 secs || 1560933 markings, 2034982 edges, 649 markings/sec, 2405 secs
lola: STP completed || 2 tries, 1509518 fired transitions, 2410 secs || 1564221 markings, 2039154 edges, 658 markings/sec, 2410 secs
lola: STP completed || 2 tries, 1512625 fired transitions, 2415 secs || 1567530 markings, 2043416 edges, 662 markings/sec, 2415 secs
lola: STP completed || 2 tries, 1515720 fired transitions, 2420 secs || 1570826 markings, 2047753 edges, 659 markings/sec, 2420 secs
lola: STP completed || 2 tries, 1518844 fired transitions, 2425 secs || 1574090 markings, 2051902 edges, 653 markings/sec, 2425 secs
lola: STP completed || 2 tries, 1521975 fired transitions, 2430 secs || 1577301 markings, 2056324 edges, 642 markings/sec, 2430 secs
lola: STP completed || 2 tries, 1525078 fired transitions, 2435 secs || 1580422 markings, 2060250 edges, 624 markings/sec, 2435 secs
lola: STP completed || 2 tries, 1528137 fired transitions, 2440 secs || 1583571 markings, 2064277 edges, 630 markings/sec, 2440 secs
lola: STP completed || 2 tries, 1531190 fired transitions, 2445 secs || 1586697 markings, 2068396 edges, 625 markings/sec, 2445 secs
lola: STP completed || 2 tries, 1534204 fired transitions, 2450 secs || 1589829 markings, 2072367 edges, 626 markings/sec, 2450 secs
lola: STP completed || 2 tries, 1537253 fired transitions, 2455 secs || 1593010 markings, 2076427 edges, 636 markings/sec, 2455 secs
lola: STP completed || 2 tries, 1540330 fired transitions, 2460 secs || 1596235 markings, 2080664 edges, 645 markings/sec, 2460 secs
lola: STP completed || 2 tries, 1543390 fired transitions, 2465 secs || 1599452 markings, 2084715 edges, 643 markings/sec, 2465 secs
lola: STP completed || 2 tries, 1546452 fired transitions, 2470 secs || 1602636 markings, 2088751 edges, 637 markings/sec, 2470 secs
lola: STP completed || 2 tries, 1549532 fired transitions, 2475 secs || 1605800 markings, 2092808 edges, 633 markings/sec, 2475 secs
lola: STP completed || 2 tries, 1552592 fired transitions, 2480 secs || 1608943 markings, 2096950 edges, 629 markings/sec, 2480 secs
lola: STP completed || 2 tries, 1555654 fired transitions, 2485 secs || 1612115 markings, 2101086 edges, 634 markings/sec, 2485 secs
lola: STP completed || 2 tries, 1558710 fired transitions, 2490 secs || 1615307 markings, 2105145 edges, 638 markings/sec, 2490 secs
lola: STP completed || 2 tries, 1561731 fired transitions, 2495 secs || 1618510 markings, 2109922 edges, 641 markings/sec, 2495 secs
lola: STP completed || 2 tries, 1564793 fired transitions, 2500 secs || 1621685 markings, 2113996 edges, 635 markings/sec, 2500 secs
lola: STP completed || 2 tries, 1567824 fired transitions, 2505 secs || 1624903 markings, 2118111 edges, 644 markings/sec, 2505 secs
lola: STP completed || 2 tries, 1570943 fired transitions, 2510 secs || 1628160 markings, 2122520 edges, 651 markings/sec, 2510 secs
lola: STP completed || 2 tries, 1574068 fired transitions, 2515 secs || 1631359 markings, 2126670 edges, 640 markings/sec, 2515 secs
lola: STP completed || 2 tries, 1577098 fired transitions, 2520 secs || 1634548 markings, 2130703 edges, 638 markings/sec, 2520 secs
lola: STP completed || 2 tries, 1580139 fired transitions, 2525 secs || 1637742 markings, 2134789 edges, 639 markings/sec, 2525 secs
lola: STP completed || 2 tries, 1583225 fired transitions, 2530 secs || 1640872 markings, 2138755 edges, 626 markings/sec, 2530 secs
lola: STP completed || 2 tries, 1586292 fired transitions, 2535 secs || 1644010 markings, 2142963 edges, 628 markings/sec, 2535 secs
lola: STP completed || 2 tries, 1589357 fired transitions, 2540 secs || 1647139 markings, 2146921 edges, 626 markings/sec, 2540 secs
lola: STP completed || 2 tries, 1592405 fired transitions, 2545 secs || 1650285 markings, 2150981 edges, 629 markings/sec, 2545 secs
lola: STP completed || 2 tries, 1595462 fired transitions, 2550 secs || 1653447 markings, 2155252 edges, 632 markings/sec, 2550 secs
lola: STP completed || 2 tries, 1598564 fired transitions, 2555 secs || 1656624 markings, 2159312 edges, 635 markings/sec, 2555 secs
lola: STP completed || 2 tries, 1601538 fired transitions, 2560 secs || 1659796 markings, 2163713 edges, 634 markings/sec, 2560 secs
lola: STP completed || 2 tries, 1604545 fired transitions, 2565 secs || 1662984 markings, 2168009 edges, 638 markings/sec, 2565 secs
lola: STP completed || 2 tries, 1607621 fired transitions, 2570 secs || 1666206 markings, 2172379 edges, 644 markings/sec, 2570 secs
lola: STP completed || 2 tries, 1610723 fired transitions, 2575 secs || 1669447 markings, 2176618 edges, 648 markings/sec, 2575 secs
lola: STP completed || 2 tries, 1613861 fired transitions, 2580 secs || 1672682 markings, 2180956 edges, 647 markings/sec, 2580 secs
lola: STP completed || 2 tries, 1617040 fired transitions, 2585 secs || 1676010 markings, 2185249 edges, 666 markings/sec, 2585 secs
lola: STP completed || 2 tries, 1620249 fired transitions, 2590 secs || 1679353 markings, 2189610 edges, 669 markings/sec, 2590 secs
lola: STP completed || 2 tries, 1623446 fired transitions, 2595 secs || 1682672 markings, 2193948 edges, 664 markings/sec, 2595 secs
lola: STP completed || 2 tries, 1626650 fired transitions, 2600 secs || 1685995 markings, 2198300 edges, 665 markings/sec, 2600 secs
lola: STP completed || 2 tries, 1629844 fired transitions, 2605 secs || 1689343 markings, 2202686 edges, 670 markings/sec, 2605 secs
lola: STP completed || 2 tries, 1633012 fired transitions, 2610 secs || 1692667 markings, 2207062 edges, 665 markings/sec, 2610 secs
lola: STP completed || 2 tries, 1636208 fired transitions, 2615 secs || 1695997 markings, 2211410 edges, 666 markings/sec, 2615 secs
lola: STP completed || 2 tries, 1639413 fired transitions, 2620 secs || 1699296 markings, 2215761 edges, 660 markings/sec, 2620 secs
lola: STP completed || 2 tries, 1642630 fired transitions, 2625 secs || 1702605 markings, 2220226 edges, 662 markings/sec, 2625 secs
lola: STP completed || 2 tries, 1645839 fired transitions, 2630 secs || 1705894 markings, 2224644 edges, 658 markings/sec, 2630 secs
lola: STP completed || 2 tries, 1649016 fired transitions, 2635 secs || 1709160 markings, 2229240 edges, 653 markings/sec, 2635 secs
lola: STP completed || 2 tries, 1652224 fired transitions, 2640 secs || 1712432 markings, 2233325 edges, 654 markings/sec, 2640 secs
lola: STP completed || 2 tries, 1655406 fired transitions, 2645 secs || 1715720 markings, 2237621 edges, 658 markings/sec, 2645 secs
lola: STP completed || 2 tries, 1658592 fired transitions, 2650 secs || 1719013 markings, 2242274 edges, 659 markings/sec, 2650 secs
lola: STP completed || 2 tries, 1661785 fired transitions, 2655 secs || 1722331 markings, 2246717 edges, 664 markings/sec, 2655 secs
lola: STP completed || 2 tries, 1665009 fired transitions, 2660 secs || 1725629 markings, 2251262 edges, 660 markings/sec, 2660 secs
lola: STP completed || 2 tries, 1668231 fired transitions, 2665 secs || 1728898 markings, 2255533 edges, 654 markings/sec, 2665 secs
lola: STP completed || 2 tries, 1671366 fired transitions, 2670 secs || 1732192 markings, 2259912 edges, 659 markings/sec, 2670 secs
lola: STP completed || 2 tries, 1674528 fired transitions, 2675 secs || 1735492 markings, 2264118 edges, 660 markings/sec, 2675 secs
lola: STP completed || 2 tries, 1677614 fired transitions, 2680 secs || 1738784 markings, 2268345 edges, 658 markings/sec, 2680 secs
lola: STP completed || 2 tries, 1680775 fired transitions, 2685 secs || 1742085 markings, 2272630 edges, 660 markings/sec, 2685 secs
lola: STP completed || 2 tries, 1683929 fired transitions, 2690 secs || 1745378 markings, 2276973 edges, 659 markings/sec, 2690 secs
lola: STP completed || 2 tries, 1687062 fired transitions, 2695 secs || 1748669 markings, 2281253 edges, 658 markings/sec, 2695 secs
lola: STP completed || 2 tries, 1690206 fired transitions, 2700 secs || 1751965 markings, 2285542 edges, 659 markings/sec, 2700 secs
lola: STP completed || 2 tries, 1693350 fired transitions, 2705 secs || 1755256 markings, 2289966 edges, 658 markings/sec, 2705 secs
lola: STP completed || 2 tries, 1696487 fired transitions, 2710 secs || 1758546 markings, 2294328 edges, 658 markings/sec, 2710 secs
lola: STP completed || 2 tries, 1699639 fired transitions, 2715 secs || 1761837 markings, 2298591 edges, 658 markings/sec, 2715 secs
lola: STP completed || 2 tries, 1702796 fired transitions, 2720 secs || 1765122 markings, 2302944 edges, 657 markings/sec, 2720 secs
lola: STP completed || 2 tries, 1705948 fired transitions, 2725 secs || 1768407 markings, 2307276 edges, 657 markings/sec, 2725 secs
lola: STP completed || 2 tries, 1709137 fired transitions, 2730 secs || 1771606 markings, 2313040 edges, 640 markings/sec, 2730 secs
lola: STP completed || 2 tries, 1712243 fired transitions, 2735 secs || 1774619 markings, 2319490 edges, 603 markings/sec, 2735 secs
lola: STP completed || 2 tries, 1715334 fired transitions, 2740 secs || 1777721 markings, 2324248 edges, 620 markings/sec, 2740 secs
lola: STP completed || 2 tries, 1718448 fired transitions, 2745 secs || 1780868 markings, 2328384 edges, 629 markings/sec, 2745 secs
lola: STP completed || 2 tries, 1721532 fired transitions, 2750 secs || 1784048 markings, 2332504 edges, 636 markings/sec, 2750 secs
lola: STP completed || 2 tries, 1724601 fired transitions, 2755 secs || 1787244 markings, 2336671 edges, 639 markings/sec, 2755 secs
lola: STP completed || 2 tries, 1727687 fired transitions, 2760 secs || 1790431 markings, 2340767 edges, 637 markings/sec, 2760 secs
lola: STP completed || 2 tries, 1730786 fired transitions, 2765 secs || 1793569 markings, 2345013 edges, 628 markings/sec, 2765 secs
lola: STP completed || 2 tries, 1733860 fired transitions, 2770 secs || 1796774 markings, 2349252 edges, 641 markings/sec, 2770 secs
lola: STP completed || 2 tries, 1736975 fired transitions, 2775 secs || 1799922 markings, 2353621 edges, 630 markings/sec, 2775 secs
lola: STP completed || 2 tries, 1740117 fired transitions, 2780 secs || 1803078 markings, 2357778 edges, 631 markings/sec, 2780 secs
lola: STP completed || 2 tries, 1743247 fired transitions, 2785 secs || 1806200 markings, 2361924 edges, 624 markings/sec, 2785 secs
lola: STP completed || 2 tries, 1746336 fired transitions, 2790 secs || 1809413 markings, 2366085 edges, 643 markings/sec, 2790 secs
lola: STP completed || 2 tries, 1749436 fired transitions, 2795 secs || 1812555 markings, 2370302 edges, 628 markings/sec, 2795 secs
lola: STP completed || 2 tries, 1752545 fired transitions, 2800 secs || 1815799 markings, 2374536 edges, 649 markings/sec, 2800 secs
lola: STP completed || 2 tries, 1755647 fired transitions, 2805 secs || 1819030 markings, 2378988 edges, 646 markings/sec, 2805 secs
lola: STP completed || 2 tries, 1758737 fired transitions, 2810 secs || 1822269 markings, 2383305 edges, 648 markings/sec, 2810 secs
lola: STP completed || 2 tries, 1761827 fired transitions, 2815 secs || 1825513 markings, 2387578 edges, 649 markings/sec, 2815 secs
lola: STP completed || 2 tries, 1764915 fired transitions, 2820 secs || 1828730 markings, 2391967 edges, 643 markings/sec, 2820 secs
lola: STP completed || 2 tries, 1767978 fired transitions, 2825 secs || 1831924 markings, 2396278 edges, 639 markings/sec, 2825 secs
lola: STP completed || 2 tries, 1771077 fired transitions, 2830 secs || 1835117 markings, 2400431 edges, 639 markings/sec, 2830 secs
lola: STP completed || 2 tries, 1774159 fired transitions, 2835 secs || 1838343 markings, 2404578 edges, 645 markings/sec, 2835 secs
lola: STP completed || 2 tries, 1777251 fired transitions, 2840 secs || 1841549 markings, 2408770 edges, 641 markings/sec, 2840 secs
lola: STP completed || 2 tries, 1780337 fired transitions, 2845 secs || 1844786 markings, 2412955 edges, 647 markings/sec, 2845 secs
lola: STP completed || 2 tries, 1783410 fired transitions, 2850 secs || 1847997 markings, 2417063 edges, 642 markings/sec, 2850 secs
lola: STP completed || 2 tries, 1786497 fired transitions, 2855 secs || 1851213 markings, 2421429 edges, 643 markings/sec, 2855 secs
lola: STP completed || 2 tries, 1789565 fired transitions, 2860 secs || 1854434 markings, 2425786 edges, 644 markings/sec, 2860 secs
lola: STP completed || 2 tries, 1792651 fired transitions, 2865 secs || 1857668 markings, 2430012 edges, 647 markings/sec, 2865 secs
lola: STP completed || 2 tries, 1795778 fired transitions, 2870 secs || 1860876 markings, 2434299 edges, 642 markings/sec, 2870 secs
lola: STP completed || 2 tries, 1798922 fired transitions, 2875 secs || 1864158 markings, 2438633 edges, 656 markings/sec, 2875 secs
lola: STP completed || 2 tries, 1802125 fired transitions, 2880 secs || 1867435 markings, 2442848 edges, 655 markings/sec, 2880 secs
lola: STP completed || 2 tries, 1805331 fired transitions, 2885 secs || 1870786 markings, 2447247 edges, 670 markings/sec, 2885 secs
lola: STP completed || 2 tries, 1808546 fired transitions, 2890 secs || 1874141 markings, 2451596 edges, 671 markings/sec, 2890 secs
lola: STP completed || 2 tries, 1811715 fired transitions, 2895 secs || 1877481 markings, 2456042 edges, 668 markings/sec, 2895 secs
lola: STP completed || 2 tries, 1814919 fired transitions, 2900 secs || 1880827 markings, 2460459 edges, 669 markings/sec, 2900 secs
lola: STP completed || 2 tries, 1818125 fired transitions, 2905 secs || 1884186 markings, 2464777 edges, 672 markings/sec, 2905 secs
lola: STP completed || 2 tries, 1821278 fired transitions, 2910 secs || 1887518 markings, 2469159 edges, 666 markings/sec, 2910 secs
lola: STP completed || 2 tries, 1824434 fired transitions, 2915 secs || 1890812 markings, 2473502 edges, 659 markings/sec, 2915 secs
lola: STP completed || 2 tries, 1827549 fired transitions, 2920 secs || 1894119 markings, 2477726 edges, 661 markings/sec, 2920 secs
lola: STP completed || 2 tries, 1830705 fired transitions, 2925 secs || 1897400 markings, 2482087 edges, 656 markings/sec, 2925 secs
lola: STP completed || 2 tries, 1833830 fired transitions, 2930 secs || 1900652 markings, 2486522 edges, 650 markings/sec, 2930 secs
lola: STP completed || 2 tries, 1836983 fired transitions, 2935 secs || 1903917 markings, 2490756 edges, 653 markings/sec, 2935 secs
lola: STP completed || 2 tries, 1840105 fired transitions, 2940 secs || 1907156 markings, 2495095 edges, 648 markings/sec, 2940 secs
lola: STP completed || 2 tries, 1843226 fired transitions, 2945 secs || 1910399 markings, 2499731 edges, 649 markings/sec, 2945 secs
lola: STP completed || 2 tries, 1846357 fired transitions, 2950 secs || 1913645 markings, 2503861 edges, 649 markings/sec, 2950 secs
lola: STP completed || 2 tries, 1849383 fired transitions, 2955 secs || 1916922 markings, 2508085 edges, 655 markings/sec, 2955 secs
lola: STP completed || 2 tries, 1852585 fired transitions, 2960 secs || 1920268 markings, 2512429 edges, 669 markings/sec, 2960 secs
lola: STP completed || 2 tries, 1855740 fired transitions, 2965 secs || 1923518 markings, 2516902 edges, 650 markings/sec, 2965 secs
lola: STP completed || 2 tries, 1858897 fired transitions, 2970 secs || 1926781 markings, 2521176 edges, 653 markings/sec, 2970 secs
lola: STP completed || 2 tries, 1862070 fired transitions, 2975 secs || 1930054 markings, 2525588 edges, 655 markings/sec, 2975 secs
lola: STP completed || 2 tries, 1865222 fired transitions, 2980 secs || 1933315 markings, 2529958 edges, 652 markings/sec, 2980 secs
lola: STP completed || 2 tries, 1868390 fired transitions, 2985 secs || 1936585 markings, 2534229 edges, 654 markings/sec, 2985 secs
lola: STP completed || 2 tries, 1871551 fired transitions, 2990 secs || 1939824 markings, 2539003 edges, 648 markings/sec, 2990 secs
lola: STP completed || 2 tries, 1874695 fired transitions, 2995 secs || 1943101 markings, 2543291 edges, 655 markings/sec, 2995 secs
lola: STP completed || 2 tries, 1877846 fired transitions, 3000 secs || 1946341 markings, 2547559 edges, 648 markings/sec, 3000 secs
lola: STP completed || 2 tries, 1880981 fired transitions, 3005 secs || 1949579 markings, 2551933 edges, 648 markings/sec, 3005 secs
lola: STP completed || 2 tries, 1884150 fired transitions, 3010 secs || 1952869 markings, 2556209 edges, 658 markings/sec, 3010 secs
lola: STP completed || 2 tries, 1887304 fired transitions, 3015 secs || 1956145 markings, 2560455 edges, 655 markings/sec, 3015 secs
lola: STP completed || 2 tries, 1890448 fired transitions, 3020 secs || 1959396 markings, 2564793 edges, 650 markings/sec, 3020 secs
lola: STP completed || 2 tries, 1893585 fired transitions, 3025 secs || 1962624 markings, 2569402 edges, 646 markings/sec, 3025 secs
lola: STP completed || 2 tries, 1896700 fired transitions, 3030 secs || 1965859 markings, 2573534 edges, 647 markings/sec, 3030 secs
lola: STP completed || 2 tries, 1899847 fired transitions, 3035 secs || 1969066 markings, 2577568 edges, 641 markings/sec, 3035 secs
lola: STP completed || 2 tries, 1902970 fired transitions, 3040 secs || 1972305 markings, 2581744 edges, 648 markings/sec, 3040 secs
lola: STP completed || 2 tries, 1906125 fired transitions, 3045 secs || 1975526 markings, 2585802 edges, 644 markings/sec, 3045 secs
lola: STP completed || 2 tries, 1909278 fired transitions, 3050 secs || 1978768 markings, 2590123 edges, 648 markings/sec, 3050 secs
lola: STP completed || 2 tries, 1912434 fired transitions, 3055 secs || 1982016 markings, 2594345 edges, 650 markings/sec, 3055 secs
lola: STP completed || 2 tries, 1915574 fired transitions, 3060 secs || 1985256 markings, 2598470 edges, 648 markings/sec, 3060 secs
lola: STP completed || 2 tries, 1918731 fired transitions, 3065 secs || 1988519 markings, 2602815 edges, 653 markings/sec, 3065 secs
lola: STP completed || 2 tries, 1921907 fired transitions, 3070 secs || 1991747 markings, 2606906 edges, 646 markings/sec, 3070 secs
lola: STP completed || 2 tries, 1925044 fired transitions, 3075 secs || 1994995 markings, 2611150 edges, 650 markings/sec, 3075 secs
lola: STP completed || 2 tries, 1928164 fired transitions, 3080 secs || 1998252 markings, 2615294 edges, 651 markings/sec, 3080 secs
lola: STP completed || 2 tries, 1931325 fired transitions, 3085 secs || 2001498 markings, 2619880 edges, 649 markings/sec, 3085 secs
lola: STP completed || 2 tries, 1934502 fired transitions, 3090 secs || 2004760 markings, 2624275 edges, 652 markings/sec, 3090 secs
lola: STP completed || 2 tries, 1937688 fired transitions, 3095 secs || 2008039 markings, 2628655 edges, 656 markings/sec, 3095 secs
lola: STP completed || 2 tries, 1940825 fired transitions, 3100 secs || 2011331 markings, 2632905 edges, 658 markings/sec, 3100 secs
lola: STP completed || 2 tries, 1943993 fired transitions, 3105 secs || 2014631 markings, 2637154 edges, 660 markings/sec, 3105 secs
lola: STP completed || 2 tries, 1947128 fired transitions, 3110 secs || 2017883 markings, 2641757 edges, 650 markings/sec, 3110 secs
lola: STP completed || 2 tries, 1950285 fired transitions, 3115 secs || 2021142 markings, 2646255 edges, 652 markings/sec, 3115 secs
lola: STP completed || 2 tries, 1953434 fired transitions, 3120 secs || 2024418 markings, 2650731 edges, 655 markings/sec, 3120 secs
lola: STP completed || 2 tries, 1956579 fired transitions, 3125 secs || 2027677 markings, 2655412 edges, 652 markings/sec, 3125 secs
lola: STP completed || 2 tries, 1959742 fired transitions, 3130 secs || 2030947 markings, 2659864 edges, 654 markings/sec, 3130 secs
lola: STP completed || 2 tries, 1962859 fired transitions, 3135 secs || 2034265 markings, 2664229 edges, 664 markings/sec, 3135 secs
lola: STP completed || 2 tries, 1966019 fired transitions, 3140 secs || 2037590 markings, 2668493 edges, 665 markings/sec, 3140 secs
lola: STP completed || 2 tries, 1969148 fired transitions, 3145 secs || 2040894 markings, 2672775 edges, 661 markings/sec, 3145 secs
lola: STP completed || 2 tries, 1972319 fired transitions, 3150 secs || 2044183 markings, 2677100 edges, 658 markings/sec, 3150 secs
lola: STP completed || 2 tries, 1975451 fired transitions, 3155 secs || 2047426 markings, 2681517 edges, 649 markings/sec, 3155 secs
lola: STP completed || 2 tries, 1978673 fired transitions, 3160 secs || 2050705 markings, 2686002 edges, 656 markings/sec, 3160 secs
lola: STP completed || 2 tries, 1981855 fired transitions, 3165 secs || 2054016 markings, 2690286 edges, 662 markings/sec, 3165 secs
lola: STP completed || 2 tries, 1985067 fired transitions, 3170 secs || 2057319 markings, 2694473 edges, 661 markings/sec, 3170 secs
lola: STP completed || 2 tries, 1988268 fired transitions, 3175 secs || 2060649 markings, 2698747 edges, 666 markings/sec, 3175 secs
lola: STP completed || 2 tries, 1991475 fired transitions, 3180 secs || 2063975 markings, 2703243 edges, 665 markings/sec, 3180 secs
lola: STP completed || 2 tries, 1994631 fired transitions, 3185 secs || 2067255 markings, 2707448 edges, 656 markings/sec, 3185 secs
lola: STP completed || 2 tries, 1997841 fired transitions, 3190 secs || 2070540 markings, 2711929 edges, 657 markings/sec, 3190 secs
lola: STP completed || 3 tries, 2001036 fired transitions, 3195 secs || 2073830 markings, 2716150 edges, 658 markings/sec, 3195 secs
lola: STP completed || 3 tries, 2004214 fired transitions, 3200 secs || 2077095 markings, 2720393 edges, 653 markings/sec, 3200 secs
lola: STP completed || 3 tries, 2007447 fired transitions, 3205 secs || 2080384 markings, 2724581 edges, 658 markings/sec, 3205 secs
lola: STP completed || 3 tries, 2010537 fired transitions, 3210 secs || 2083518 markings, 2728543 edges, 627 markings/sec, 3210 secs
lola: STP completed || 3 tries, 2013679 fired transitions, 3215 secs || 2086743 markings, 2732811 edges, 645 markings/sec, 3215 secs
lola: STP completed || 3 tries, 2016832 fired transitions, 3220 secs || 2090110 markings, 2737079 edges, 673 markings/sec, 3220 secs
lola: STP completed || 3 tries, 2019896 fired transitions, 3225 secs || 2093345 markings, 2741961 edges, 647 markings/sec, 3225 secs
lola: STP completed || 3 tries, 2022990 fired transitions, 3230 secs || 2096589 markings, 2746032 edges, 649 markings/sec, 3230 secs
lola: STP completed || 3 tries, 2026076 fired transitions, 3235 secs || 2099810 markings, 2750251 edges, 644 markings/sec, 3235 secs
lola: STP completed || 3 tries, 2029152 fired transitions, 3240 secs || 2103022 markings, 2754401 edges, 642 markings/sec, 3240 secs
lola: STP completed || 3 tries, 2032218 fired transitions, 3245 secs || 2106216 markings, 2758908 edges, 639 markings/sec, 3245 secs
lola: STP completed || 3 tries, 2035328 fired transitions, 3250 secs || 2109399 markings, 2763240 edges, 637 markings/sec, 3250 secs
lola: STP completed || 3 tries, 2038414 fired transitions, 3255 secs || 2112588 markings, 2767312 edges, 638 markings/sec, 3255 secs
lola: STP completed || 3 tries, 2041565 fired transitions, 3260 secs || 2115870 markings, 2771470 edges, 656 markings/sec, 3260 secs
lola: STP completed || 3 tries, 2044692 fired transitions, 3265 secs || 2119150 markings, 2775794 edges, 656 markings/sec, 3265 secs
lola: STP completed || 3 tries, 2047821 fired transitions, 3270 secs || 2122440 markings, 2780014 edges, 658 markings/sec, 3270 secs
lola: STP completed || 3 tries, 2050964 fired transitions, 3275 secs || 2125673 markings, 2784219 edges, 647 markings/sec, 3275 secs
lola: STP completed || 3 tries, 2054107 fired transitions, 3280 secs || 2128887 markings, 2788291 edges, 643 markings/sec, 3280 secs
lola: STP completed || 3 tries, 2057245 fired transitions, 3285 secs || 2132137 markings, 2792339 edges, 650 markings/sec, 3285 secs
lola: STP completed || 3 tries, 2060314 fired transitions, 3290 secs || 2135386 markings, 2796501 edges, 650 markings/sec, 3290 secs
lola: STP completed || 3 tries, 2063414 fired transitions, 3295 secs || 2138633 markings, 2800743 edges, 649 markings/sec, 3295 secs
lola: STP completed || 3 tries, 2066497 fired transitions, 3300 secs || 2141883 markings, 2804924 edges, 650 markings/sec, 3300 secs
lola: STP completed || 3 tries, 2069598 fired transitions, 3305 secs || 2145116 markings, 2809014 edges, 647 markings/sec, 3305 secs
lola: STP completed || 3 tries, 2072690 fired transitions, 3310 secs || 2148327 markings, 2813071 edges, 642 markings/sec, 3310 secs
lola: STP completed || 3 tries, 2075805 fired transitions, 3315 secs || 2151498 markings, 2817125 edges, 634 markings/sec, 3315 secs
lola: STP completed || 3 tries, 2078892 fired transitions, 3320 secs || 2154678 markings, 2821346 edges, 636 markings/sec, 3320 secs
lola: STP completed || 3 tries, 2081985 fired transitions, 3325 secs || 2157861 markings, 2825405 edges, 637 markings/sec, 3325 secs
lola: STP completed || 3 tries, 2085087 fired transitions, 3330 secs || 2161096 markings, 2829516 edges, 647 markings/sec, 3330 secs
lola: STP completed || 3 tries, 2088169 fired transitions, 3335 secs || 2164348 markings, 2833712 edges, 650 markings/sec, 3335 secs
lola: STP completed || 3 tries, 2091263 fired transitions, 3340 secs || 2167594 markings, 2837963 edges, 649 markings/sec, 3340 secs
lola: STP completed || 3 tries, 2094352 fired transitions, 3345 secs || 2170800 markings, 2842101 edges, 641 markings/sec, 3345 secs
lola: STP completed || 3 tries, 2097453 fired transitions, 3350 secs || 2174060 markings, 2846401 edges, 652 markings/sec, 3350 secs
lola: STP completed || 3 tries, 2100542 fired transitions, 3355 secs || 2177298 markings, 2850718 edges, 648 markings/sec, 3355 secs
lola: STP completed || 3 tries, 2103604 fired transitions, 3360 secs || 2180503 markings, 2855194 edges, 641 markings/sec, 3360 secs
lola: STP completed || 3 tries, 2106662 fired transitions, 3365 secs || 2183704 markings, 2859522 edges, 640 markings/sec, 3365 secs
lola: STP completed || 3 tries, 2109747 fired transitions, 3370 secs || 2186883 markings, 2864038 edges, 636 markings/sec, 3370 secs
lola: STP completed || 3 tries, 2112785 fired transitions, 3375 secs || 2190147 markings, 2868307 edges, 653 markings/sec, 3375 secs
lola: STP completed || 3 tries, 2115811 fired transitions, 3380 secs || 2193395 markings, 2872462 edges, 650 markings/sec, 3380 secs
lola: STP completed || 3 tries, 2118831 fired transitions, 3385 secs || 2196539 markings, 2876641 edges, 629 markings/sec, 3385 secs
lola: STP completed || 3 tries, 2121894 fired transitions, 3390 secs || 2199660 markings, 2881090 edges, 624 markings/sec, 3390 secs
lola: STP completed || 3 tries, 2124939 fired transitions, 3395 secs || 2202840 markings, 2885226 edges, 636 markings/sec, 3395 secs
lola: STP completed || 3 tries, 2127998 fired transitions, 3400 secs || 2206036 markings, 2889469 edges, 639 markings/sec, 3400 secs
lola: STP completed || 3 tries, 2131020 fired transitions, 3405 secs || 2209233 markings, 2893612 edges, 639 markings/sec, 3405 secs
lola: STP completed || 3 tries, 2134064 fired transitions, 3410 secs || 2212432 markings, 2898183 edges, 640 markings/sec, 3410 secs
lola: STP completed || 3 tries, 2137131 fired transitions, 3415 secs || 2215660 markings, 2902322 edges, 646 markings/sec, 3415 secs
lola: STP completed || 3 tries, 2140231 fired transitions, 3420 secs || 2218852 markings, 2906690 edges, 638 markings/sec, 3420 secs
lola: STP completed || 3 tries, 2143219 fired transitions, 3425 secs || 2221990 markings, 2910669 edges, 628 markings/sec, 3425 secs
lola: STP completed || 3 tries, 2146270 fired transitions, 3430 secs || 2225135 markings, 2914697 edges, 629 markings/sec, 3430 secs
lola: STP completed || 3 tries, 2149334 fired transitions, 3435 secs || 2228305 markings, 2918793 edges, 634 markings/sec, 3435 secs
lola: STP completed || 3 tries, 2152366 fired transitions, 3440 secs || 2231432 markings, 2923239 edges, 625 markings/sec, 3440 secs
lola: STP completed || 3 tries, 2155399 fired transitions, 3445 secs || 2234599 markings, 2927540 edges, 633 markings/sec, 3445 secs
lola: STP completed || 3 tries, 2158447 fired transitions, 3450 secs || 2237695 markings, 2931343 edges, 619 markings/sec, 3450 secs
lola: STP completed || 3 tries, 2161508 fired transitions, 3455 secs || 2240811 markings, 2935359 edges, 623 markings/sec, 3455 secs
lola: STP completed || 3 tries, 2164572 fired transitions, 3460 secs || 2243950 markings, 2939602 edges, 628 markings/sec, 3460 secs
lola: STP completed || 3 tries, 2167662 fired transitions, 3465 secs || 2247135 markings, 2943765 edges, 637 markings/sec, 3465 secs
lola: STP completed || 3 tries, 2170734 fired transitions, 3470 secs || 2250305 markings, 2947834 edges, 634 markings/sec, 3470 secs
lola: STP completed || 3 tries, 2173797 fired transitions, 3475 secs || 2253466 markings, 2952023 edges, 632 markings/sec, 3475 secs
lola: STP completed || 3 tries, 2176826 fired transitions, 3480 secs || 2256695 markings, 2956354 edges, 646 markings/sec, 3480 secs
lola: STP completed || 3 tries, 2179902 fired transitions, 3485 secs || 2259893 markings, 2960338 edges, 640 markings/sec, 3485 secs
lola: STP completed || 3 tries, 2182988 fired transitions, 3490 secs || 2263092 markings, 2964389 edges, 640 markings/sec, 3490 secs
lola: STP completed || 3 tries, 2186116 fired transitions, 3495 secs || 2266321 markings, 2968941 edges, 646 markings/sec, 3495 secs
lola: STP completed || 3 tries, 2189243 fired transitions, 3500 secs || 2269524 markings, 2973052 edges, 641 markings/sec, 3500 secs
lola: STP completed || 3 tries, 2192434 fired transitions, 3505 secs || 2272779 markings, 2977519 edges, 651 markings/sec, 3505 secs
lola: STP completed || 3 tries, 2195633 fired transitions, 3510 secs || 2276085 markings, 2981894 edges, 661 markings/sec, 3510 secs
lola: STP completed || 3 tries, 2198827 fired transitions, 3515 secs || 2279430 markings, 2986229 edges, 669 markings/sec, 3515 secs
lola: STP completed || 3 tries, 2202008 fired transitions, 3520 secs || 2282775 markings, 2990593 edges, 669 markings/sec, 3520 secs
lola: STP completed || 3 tries, 2205214 fired transitions, 3525 secs || 2286064 markings, 2995022 edges, 658 markings/sec, 3525 secs
lola: STP completed || 3 tries, 2208419 fired transitions, 3530 secs || 2289395 markings, 2999381 edges, 666 markings/sec, 3530 secs
lola: STP completed || 3 tries, 2211635 fired transitions, 3535 secs || 2292718 markings, 3003777 edges, 665 markings/sec, 3535 secs
lola: STP completed || 3 tries, 2214841 fired transitions, 3540 secs || 2296010 markings, 3008362 edges, 658 markings/sec, 3540 secs
lola: STP completed || 3 tries, 2218064 fired transitions, 3545 secs || 2299357 markings, 3012731 edges, 669 markings/sec, 3545 secs
lola: STP completed || 3 tries, 2221271 fired transitions, 3550 secs || 2302725 markings, 3017127 edges, 674 markings/sec, 3550 secs
lola: STP completed || 3 tries, 2224496 fired transitions, 3555 secs || 2306093 markings, 3021475 edges, 674 markings/sec, 3555 secs
lola: STP completed || 3 tries, 2227698 fired transitions, 3560 secs || 2309433 markings, 3026005 edges, 668 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1039068 KB
lola: time consumption: 3569 seconds
BK_STOP 1526522432020
--------------------
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-040"
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-040.tgz
mv BART-PT-040 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-040, 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-152646306100097"
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 ;