About the Execution of LoLA for DLCround-PT-13a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4153.910 | 3569607.00 | 7178368.00 | 6779.00 | [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 1.2M
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 987K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-13a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300146
=====================================================================
--------------------
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 DLCround-PT-13a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526680649809
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-13a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-13a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-13a @ 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: 4310/65536 symbol table entries, 803 collisions
lola: preprocessing...
lola: Size of bit vector: 463
lola: finding significant places
lola: 463 places, 3847 transitions, 151 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3418 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13a-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 55106 variables and 240643 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 106 generators (28 in search tree, 78 by composition)
lola: representing 3.34765E+13 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 6275 fired transitions, 0 secs || 3425 markings, 618310 edges, 685 markings/sec, 0 secs
lola: STP completed || 1 tries, 12679 fired transitions, 5 secs || 7938 markings, 1427712 edges, 903 markings/sec, 5 secs
lola: STP completed || 1 tries, 19186 fired transitions, 10 secs || 12613 markings, 2251477 edges, 935 markings/sec, 10 secs
lola: STP completed || 1 tries, 25604 fired transitions, 15 secs || 17389 markings, 3073406 edges, 955 markings/sec, 15 secs
lola: STP completed || 1 tries, 32145 fired transitions, 20 secs || 21921 markings, 3891349 edges, 906 markings/sec, 20 secs
lola: STP completed || 1 tries, 38578 fired transitions, 25 secs || 26411 markings, 4698172 edges, 898 markings/sec, 25 secs
lola: STP completed || 1 tries, 45044 fired transitions, 30 secs || 31087 markings, 5507044 edges, 935 markings/sec, 30 secs
lola: STP completed || 1 tries, 51449 fired transitions, 35 secs || 35722 markings, 6313106 edges, 927 markings/sec, 35 secs
lola: STP completed || 1 tries, 57830 fired transitions, 40 secs || 40317 markings, 7114248 edges, 919 markings/sec, 40 secs
lola: STP completed || 1 tries, 64225 fired transitions, 45 secs || 44863 markings, 7920497 edges, 909 markings/sec, 45 secs
lola: STP completed || 1 tries, 70722 fired transitions, 50 secs || 49401 markings, 8743117 edges, 908 markings/sec, 50 secs
lola: STP completed || 1 tries, 77076 fired transitions, 55 secs || 53818 markings, 9553382 edges, 883 markings/sec, 55 secs
lola: STP completed || 1 tries, 83432 fired transitions, 60 secs || 58554 markings, 10357594 edges, 947 markings/sec, 60 secs
lola: STP completed || 1 tries, 89774 fired transitions, 65 secs || 63398 markings, 11158995 edges, 969 markings/sec, 65 secs
lola: STP completed || 1 tries, 96135 fired transitions, 70 secs || 67996 markings, 11966342 edges, 920 markings/sec, 70 secs
lola: STP completed || 1 tries, 102479 fired transitions, 75 secs || 72547 markings, 12767013 edges, 910 markings/sec, 75 secs
lola: STP completed || 1 tries, 108841 fired transitions, 80 secs || 77184 markings, 13571373 edges, 927 markings/sec, 80 secs
lola: STP completed || 1 tries, 115202 fired transitions, 85 secs || 81849 markings, 14379775 edges, 933 markings/sec, 85 secs
lola: STP completed || 1 tries, 121565 fired transitions, 90 secs || 86319 markings, 15196978 edges, 894 markings/sec, 90 secs
lola: STP completed || 1 tries, 127912 fired transitions, 95 secs || 90964 markings, 16012862 edges, 929 markings/sec, 95 secs
lola: STP completed || 1 tries, 134296 fired transitions, 100 secs || 95678 markings, 16825373 edges, 943 markings/sec, 100 secs
lola: STP completed || 1 tries, 140691 fired transitions, 105 secs || 100458 markings, 17634362 edges, 956 markings/sec, 105 secs
lola: STP completed || 1 tries, 147059 fired transitions, 110 secs || 105067 markings, 18446812 edges, 922 markings/sec, 110 secs
lola: STP completed || 1 tries, 153380 fired transitions, 115 secs || 109662 markings, 19261192 edges, 919 markings/sec, 115 secs
lola: STP completed || 1 tries, 159667 fired transitions, 120 secs || 114105 markings, 20070397 edges, 889 markings/sec, 120 secs
lola: STP completed || 1 tries, 166049 fired transitions, 125 secs || 118551 markings, 20880095 edges, 889 markings/sec, 125 secs
lola: STP completed || 1 tries, 172385 fired transitions, 130 secs || 123136 markings, 21688583 edges, 917 markings/sec, 130 secs
lola: STP completed || 1 tries, 178761 fired transitions, 135 secs || 127739 markings, 22491714 edges, 921 markings/sec, 135 secs
lola: STP completed || 1 tries, 185156 fired transitions, 140 secs || 132356 markings, 23294167 edges, 923 markings/sec, 140 secs
lola: STP completed || 1 tries, 191534 fired transitions, 145 secs || 137022 markings, 24091857 edges, 933 markings/sec, 145 secs
lola: STP completed || 1 tries, 197859 fired transitions, 150 secs || 141444 markings, 24895127 edges, 884 markings/sec, 150 secs
lola: STP completed || 1 tries, 204210 fired transitions, 155 secs || 145963 markings, 25699198 edges, 904 markings/sec, 155 secs
lola: STP completed || 1 tries, 210677 fired transitions, 160 secs || 150544 markings, 26492786 edges, 916 markings/sec, 160 secs
lola: STP completed || 1 tries, 217057 fired transitions, 165 secs || 155132 markings, 27298530 edges, 918 markings/sec, 165 secs
lola: STP completed || 1 tries, 223502 fired transitions, 170 secs || 159864 markings, 28101153 edges, 946 markings/sec, 170 secs
lola: STP completed || 1 tries, 229908 fired transitions, 175 secs || 164727 markings, 28897619 edges, 973 markings/sec, 175 secs
lola: STP completed || 1 tries, 236332 fired transitions, 180 secs || 169517 markings, 29697612 edges, 958 markings/sec, 180 secs
lola: STP completed || 1 tries, 242759 fired transitions, 185 secs || 174098 markings, 30511510 edges, 916 markings/sec, 185 secs
lola: STP completed || 1 tries, 249157 fired transitions, 190 secs || 178917 markings, 31321633 edges, 964 markings/sec, 190 secs
lola: STP completed || 1 tries, 255533 fired transitions, 195 secs || 183522 markings, 32129149 edges, 921 markings/sec, 195 secs
lola: STP completed || 1 tries, 261962 fired transitions, 200 secs || 188288 markings, 32938016 edges, 953 markings/sec, 200 secs
lola: STP completed || 1 tries, 268234 fired transitions, 205 secs || 193102 markings, 33727783 edges, 963 markings/sec, 205 secs
lola: STP completed || 1 tries, 274657 fired transitions, 210 secs || 197674 markings, 34528201 edges, 914 markings/sec, 210 secs
lola: STP completed || 1 tries, 281067 fired transitions, 215 secs || 202135 markings, 35330207 edges, 892 markings/sec, 215 secs
lola: STP completed || 1 tries, 287380 fired transitions, 220 secs || 206386 markings, 36084737 edges, 850 markings/sec, 220 secs
lola: STP completed || 1 tries, 293696 fired transitions, 225 secs || 210960 markings, 36896652 edges, 915 markings/sec, 225 secs
lola: STP completed || 1 tries, 300182 fired transitions, 230 secs || 215452 markings, 37703489 edges, 898 markings/sec, 230 secs
lola: STP completed || 1 tries, 306683 fired transitions, 235 secs || 220150 markings, 38512479 edges, 940 markings/sec, 235 secs
lola: STP completed || 1 tries, 313131 fired transitions, 240 secs || 224900 markings, 39320455 edges, 950 markings/sec, 240 secs
lola: STP completed || 1 tries, 319547 fired transitions, 245 secs || 229340 markings, 40123437 edges, 888 markings/sec, 245 secs
lola: STP completed || 1 tries, 325988 fired transitions, 250 secs || 233932 markings, 40934614 edges, 918 markings/sec, 250 secs
lola: STP completed || 1 tries, 332425 fired transitions, 255 secs || 238527 markings, 41741272 edges, 919 markings/sec, 255 secs
lola: STP completed || 1 tries, 338833 fired transitions, 260 secs || 243132 markings, 42548876 edges, 921 markings/sec, 260 secs
lola: STP completed || 1 tries, 344830 fired transitions, 265 secs || 247833 markings, 43343578 edges, 940 markings/sec, 265 secs
lola: STP completed || 1 tries, 351291 fired transitions, 270 secs || 252296 markings, 44150025 edges, 893 markings/sec, 270 secs
lola: STP completed || 1 tries, 357703 fired transitions, 275 secs || 256747 markings, 44957261 edges, 890 markings/sec, 275 secs
lola: STP completed || 1 tries, 364210 fired transitions, 280 secs || 261187 markings, 45731962 edges, 888 markings/sec, 280 secs
lola: STP completed || 1 tries, 370690 fired transitions, 285 secs || 265867 markings, 46534847 edges, 936 markings/sec, 285 secs
lola: STP completed || 1 tries, 377132 fired transitions, 290 secs || 270756 markings, 47336989 edges, 978 markings/sec, 290 secs
lola: STP completed || 1 tries, 383569 fired transitions, 295 secs || 275558 markings, 48144663 edges, 960 markings/sec, 295 secs
lola: STP completed || 1 tries, 389990 fired transitions, 300 secs || 280100 markings, 48914974 edges, 908 markings/sec, 300 secs
lola: STP completed || 1 tries, 396384 fired transitions, 305 secs || 284618 markings, 49711941 edges, 904 markings/sec, 305 secs
lola: STP completed || 1 tries, 402483 fired transitions, 310 secs || 289291 markings, 50486395 edges, 935 markings/sec, 310 secs
lola: STP completed || 1 tries, 408783 fired transitions, 315 secs || 294074 markings, 51277401 edges, 957 markings/sec, 315 secs
lola: STP completed || 1 tries, 414606 fired transitions, 320 secs || 298760 markings, 52062718 edges, 937 markings/sec, 320 secs
lola: STP completed || 1 tries, 420930 fired transitions, 325 secs || 303061 markings, 52827600 edges, 860 markings/sec, 325 secs
lola: STP completed || 1 tries, 427280 fired transitions, 330 secs || 307757 markings, 53608371 edges, 939 markings/sec, 330 secs
lola: STP completed || 1 tries, 433593 fired transitions, 335 secs || 312700 markings, 54401972 edges, 989 markings/sec, 335 secs
lola: STP completed || 1 tries, 439984 fired transitions, 340 secs || 317405 markings, 55196976 edges, 941 markings/sec, 340 secs
lola: STP completed || 1 tries, 446328 fired transitions, 345 secs || 321889 markings, 55985796 edges, 897 markings/sec, 345 secs
lola: STP completed || 1 tries, 452754 fired transitions, 350 secs || 326543 markings, 56778662 edges, 931 markings/sec, 350 secs
lola: STP completed || 1 tries, 459231 fired transitions, 355 secs || 331492 markings, 57576935 edges, 990 markings/sec, 355 secs
lola: STP completed || 1 tries, 465738 fired transitions, 360 secs || 336408 markings, 58378443 edges, 983 markings/sec, 360 secs
lola: STP completed || 1 tries, 472136 fired transitions, 365 secs || 341420 markings, 59182856 edges, 1002 markings/sec, 365 secs
lola: STP completed || 1 tries, 478478 fired transitions, 370 secs || 345815 markings, 59902860 edges, 879 markings/sec, 370 secs
lola: STP completed || 1 tries, 484696 fired transitions, 375 secs || 350559 markings, 60677422 edges, 949 markings/sec, 375 secs
lola: STP completed || 1 tries, 491134 fired transitions, 380 secs || 355232 markings, 61436874 edges, 935 markings/sec, 380 secs
lola: STP completed || 1 tries, 497533 fired transitions, 385 secs || 359823 markings, 62245499 edges, 918 markings/sec, 385 secs
lola: STP completed || 1 tries, 503954 fired transitions, 390 secs || 364917 markings, 63052443 edges, 1019 markings/sec, 390 secs
lola: STP completed || 1 tries, 510399 fired transitions, 395 secs || 369901 markings, 63858705 edges, 997 markings/sec, 395 secs
lola: STP completed || 1 tries, 516963 fired transitions, 400 secs || 374752 markings, 64661949 edges, 970 markings/sec, 400 secs
lola: STP completed || 1 tries, 523368 fired transitions, 405 secs || 379926 markings, 65460610 edges, 1035 markings/sec, 405 secs
lola: STP completed || 1 tries, 529797 fired transitions, 410 secs || 384655 markings, 66266461 edges, 946 markings/sec, 410 secs
lola: STP completed || 1 tries, 536197 fired transitions, 415 secs || 389624 markings, 67074683 edges, 994 markings/sec, 415 secs
lola: STP completed || 1 tries, 542693 fired transitions, 420 secs || 394546 markings, 67886490 edges, 984 markings/sec, 420 secs
lola: STP completed || 1 tries, 549091 fired transitions, 425 secs || 399024 markings, 68696315 edges, 896 markings/sec, 425 secs
lola: STP completed || 1 tries, 555505 fired transitions, 430 secs || 403727 markings, 69507081 edges, 941 markings/sec, 430 secs
lola: STP completed || 1 tries, 561956 fired transitions, 435 secs || 408449 markings, 70313485 edges, 944 markings/sec, 435 secs
lola: STP completed || 1 tries, 568395 fired transitions, 440 secs || 413404 markings, 71121807 edges, 991 markings/sec, 440 secs
lola: STP completed || 1 tries, 574808 fired transitions, 445 secs || 418242 markings, 71931570 edges, 968 markings/sec, 445 secs
lola: STP completed || 1 tries, 581348 fired transitions, 450 secs || 423246 markings, 72727555 edges, 1001 markings/sec, 450 secs
lola: STP completed || 1 tries, 587865 fired transitions, 455 secs || 428175 markings, 73540174 edges, 986 markings/sec, 455 secs
lola: STP completed || 1 tries, 594435 fired transitions, 460 secs || 432898 markings, 74351329 edges, 945 markings/sec, 460 secs
lola: STP completed || 1 tries, 600993 fired transitions, 465 secs || 438012 markings, 75171127 edges, 1023 markings/sec, 465 secs
lola: STP completed || 1 tries, 607558 fired transitions, 470 secs || 443496 markings, 75991864 edges, 1097 markings/sec, 470 secs
lola: STP completed || 1 tries, 614102 fired transitions, 475 secs || 448845 markings, 76814866 edges, 1070 markings/sec, 475 secs
lola: STP completed || 1 tries, 620572 fired transitions, 480 secs || 454010 markings, 77632560 edges, 1033 markings/sec, 480 secs
lola: STP completed || 1 tries, 626988 fired transitions, 485 secs || 459115 markings, 78443262 edges, 1021 markings/sec, 485 secs
lola: STP completed || 1 tries, 633440 fired transitions, 490 secs || 464426 markings, 79261312 edges, 1062 markings/sec, 490 secs
lola: STP completed || 1 tries, 639878 fired transitions, 495 secs || 469347 markings, 80068902 edges, 984 markings/sec, 495 secs
lola: STP completed || 1 tries, 646297 fired transitions, 500 secs || 474477 markings, 80877396 edges, 1026 markings/sec, 500 secs
lola: STP completed || 1 tries, 652719 fired transitions, 505 secs || 479303 markings, 81683326 edges, 965 markings/sec, 505 secs
lola: STP completed || 1 tries, 659154 fired transitions, 510 secs || 484264 markings, 82492688 edges, 992 markings/sec, 510 secs
lola: STP completed || 1 tries, 665565 fired transitions, 515 secs || 488808 markings, 83304420 edges, 909 markings/sec, 515 secs
lola: STP completed || 1 tries, 671990 fired transitions, 520 secs || 493788 markings, 84110503 edges, 996 markings/sec, 520 secs
lola: STP completed || 1 tries, 678413 fired transitions, 525 secs || 498961 markings, 84921378 edges, 1035 markings/sec, 525 secs
lola: STP completed || 1 tries, 684825 fired transitions, 530 secs || 504222 markings, 85730178 edges, 1052 markings/sec, 530 secs
lola: STP completed || 1 tries, 691204 fired transitions, 535 secs || 509928 markings, 86562132 edges, 1141 markings/sec, 535 secs
lola: STP completed || 1 tries, 697633 fired transitions, 540 secs || 515009 markings, 87370355 edges, 1016 markings/sec, 540 secs
lola: STP completed || 1 tries, 704072 fired transitions, 545 secs || 519943 markings, 88183823 edges, 987 markings/sec, 545 secs
lola: STP completed || 1 tries, 710565 fired transitions, 550 secs || 525073 markings, 88992092 edges, 1026 markings/sec, 550 secs
lola: STP completed || 1 tries, 716978 fired transitions, 555 secs || 530244 markings, 89806322 edges, 1034 markings/sec, 555 secs
lola: STP completed || 1 tries, 723414 fired transitions, 560 secs || 535471 markings, 90607645 edges, 1045 markings/sec, 560 secs
lola: STP completed || 1 tries, 729865 fired transitions, 565 secs || 540238 markings, 91418553 edges, 953 markings/sec, 565 secs
lola: STP completed || 1 tries, 736316 fired transitions, 570 secs || 545394 markings, 92224456 edges, 1031 markings/sec, 570 secs
lola: STP completed || 1 tries, 742863 fired transitions, 575 secs || 550425 markings, 93044707 edges, 1006 markings/sec, 575 secs
lola: STP completed || 1 tries, 749411 fired transitions, 580 secs || 554952 markings, 93859275 edges, 905 markings/sec, 580 secs
lola: STP completed || 1 tries, 755934 fired transitions, 585 secs || 559841 markings, 94670461 edges, 978 markings/sec, 585 secs
lola: STP completed || 1 tries, 762470 fired transitions, 590 secs || 565115 markings, 95486251 edges, 1055 markings/sec, 590 secs
lola: STP completed || 1 tries, 769043 fired transitions, 595 secs || 569993 markings, 96300979 edges, 976 markings/sec, 595 secs
lola: STP completed || 1 tries, 775508 fired transitions, 600 secs || 574779 markings, 97111267 edges, 957 markings/sec, 600 secs
lola: STP completed || 1 tries, 782064 fired transitions, 605 secs || 579593 markings, 97929327 edges, 963 markings/sec, 605 secs
lola: STP completed || 1 tries, 788617 fired transitions, 610 secs || 584125 markings, 98738349 edges, 906 markings/sec, 610 secs
lola: STP completed || 1 tries, 795146 fired transitions, 615 secs || 588694 markings, 99548343 edges, 914 markings/sec, 615 secs
lola: STP completed || 1 tries, 801697 fired transitions, 620 secs || 593229 markings, 100364044 edges, 907 markings/sec, 620 secs
lola: STP completed || 1 tries, 808253 fired transitions, 625 secs || 597769 markings, 101167839 edges, 908 markings/sec, 625 secs
lola: STP completed || 1 tries, 814705 fired transitions, 630 secs || 602349 markings, 101975464 edges, 916 markings/sec, 630 secs
lola: STP completed || 1 tries, 821143 fired transitions, 635 secs || 607056 markings, 102783099 edges, 941 markings/sec, 635 secs
lola: STP completed || 1 tries, 827579 fired transitions, 640 secs || 611991 markings, 103595996 edges, 987 markings/sec, 640 secs
lola: STP completed || 1 tries, 834000 fired transitions, 645 secs || 617194 markings, 104399716 edges, 1041 markings/sec, 645 secs
lola: STP completed || 1 tries, 840420 fired transitions, 650 secs || 621980 markings, 105205632 edges, 957 markings/sec, 650 secs
lola: STP completed || 1 tries, 846840 fired transitions, 655 secs || 627078 markings, 106011727 edges, 1020 markings/sec, 655 secs
lola: STP completed || 1 tries, 853294 fired transitions, 660 secs || 632036 markings, 106816752 edges, 992 markings/sec, 660 secs
lola: STP completed || 1 tries, 859778 fired transitions, 665 secs || 637093 markings, 107620669 edges, 1011 markings/sec, 665 secs
lola: STP completed || 1 tries, 866240 fired transitions, 670 secs || 642298 markings, 108429285 edges, 1041 markings/sec, 670 secs
lola: STP completed || 1 tries, 872785 fired transitions, 675 secs || 647001 markings, 109237346 edges, 941 markings/sec, 675 secs
lola: STP completed || 1 tries, 879299 fired transitions, 680 secs || 652105 markings, 110043125 edges, 1021 markings/sec, 680 secs
lola: STP completed || 1 tries, 885812 fired transitions, 685 secs || 657173 markings, 110836897 edges, 1014 markings/sec, 685 secs
lola: STP completed || 1 tries, 892150 fired transitions, 690 secs || 661337 markings, 111577499 edges, 833 markings/sec, 690 secs
lola: STP completed || 1 tries, 898672 fired transitions, 695 secs || 665882 markings, 112381652 edges, 909 markings/sec, 695 secs
lola: STP completed || 1 tries, 904749 fired transitions, 700 secs || 670519 markings, 113151404 edges, 927 markings/sec, 700 secs
lola: STP completed || 1 tries, 910824 fired transitions, 705 secs || 675599 markings, 113965664 edges, 1016 markings/sec, 705 secs
lola: STP completed || 1 tries, 917316 fired transitions, 710 secs || 680888 markings, 114778892 edges, 1058 markings/sec, 710 secs
lola: STP completed || 1 tries, 923690 fired transitions, 715 secs || 686276 markings, 115595165 edges, 1078 markings/sec, 715 secs
lola: STP completed || 1 tries, 930189 fired transitions, 720 secs || 691677 markings, 116405960 edges, 1080 markings/sec, 720 secs
lola: STP completed || 1 tries, 936593 fired transitions, 725 secs || 696441 markings, 117219111 edges, 953 markings/sec, 725 secs
lola: STP completed || 1 tries, 942993 fired transitions, 730 secs || 701538 markings, 118030699 edges, 1019 markings/sec, 730 secs
lola: STP completed || 1 tries, 949377 fired transitions, 735 secs || 706577 markings, 118841734 edges, 1008 markings/sec, 735 secs
lola: STP completed || 1 tries, 955828 fired transitions, 740 secs || 711693 markings, 119657871 edges, 1023 markings/sec, 740 secs
lola: STP completed || 1 tries, 962249 fired transitions, 745 secs || 717187 markings, 120473975 edges, 1099 markings/sec, 745 secs
lola: STP completed || 1 tries, 968647 fired transitions, 750 secs || 722308 markings, 121288888 edges, 1024 markings/sec, 750 secs
lola: STP completed || 1 tries, 975108 fired transitions, 755 secs || 727512 markings, 122104481 edges, 1041 markings/sec, 755 secs
lola: STP completed || 1 tries, 981491 fired transitions, 760 secs || 732741 markings, 122921905 edges, 1046 markings/sec, 760 secs
lola: STP completed || 1 tries, 987878 fired transitions, 765 secs || 738053 markings, 123739066 edges, 1062 markings/sec, 765 secs
lola: STP completed || 1 tries, 994296 fired transitions, 770 secs || 743237 markings, 124552565 edges, 1037 markings/sec, 770 secs
lola: STP completed || 2 tries, 1000667 fired transitions, 775 secs || 748631 markings, 125377514 edges, 1079 markings/sec, 775 secs
lola: STP completed || 2 tries, 1007012 fired transitions, 780 secs || 753896 markings, 126186457 edges, 1053 markings/sec, 780 secs
lola: STP completed || 2 tries, 1013401 fired transitions, 785 secs || 758920 markings, 126990382 edges, 1005 markings/sec, 785 secs
lola: STP completed || 2 tries, 1019840 fired transitions, 790 secs || 764179 markings, 127801611 edges, 1052 markings/sec, 790 secs
lola: STP completed || 2 tries, 1026266 fired transitions, 795 secs || 769446 markings, 128606483 edges, 1053 markings/sec, 795 secs
lola: STP completed || 2 tries, 1032453 fired transitions, 800 secs || 774480 markings, 129383133 edges, 1007 markings/sec, 800 secs
lola: STP completed || 2 tries, 1038701 fired transitions, 805 secs || 779494 markings, 130161710 edges, 1003 markings/sec, 805 secs
lola: STP completed || 2 tries, 1045166 fired transitions, 810 secs || 784473 markings, 130927684 edges, 996 markings/sec, 810 secs
lola: STP completed || 2 tries, 1051651 fired transitions, 815 secs || 789918 markings, 131737966 edges, 1089 markings/sec, 815 secs
lola: STP completed || 2 tries, 1058100 fired transitions, 820 secs || 795039 markings, 132544778 edges, 1024 markings/sec, 820 secs
lola: STP completed || 2 tries, 1064589 fired transitions, 825 secs || 800638 markings, 133355521 edges, 1120 markings/sec, 825 secs
lola: STP completed || 2 tries, 1071055 fired transitions, 830 secs || 805547 markings, 134157596 edges, 982 markings/sec, 830 secs
lola: STP completed || 2 tries, 1077547 fired transitions, 835 secs || 810722 markings, 134958827 edges, 1035 markings/sec, 835 secs
lola: STP completed || 2 tries, 1083958 fired transitions, 840 secs || 815642 markings, 135685433 edges, 984 markings/sec, 840 secs
lola: STP completed || 2 tries, 1090388 fired transitions, 845 secs || 820169 markings, 136416500 edges, 905 markings/sec, 845 secs
lola: STP completed || 2 tries, 1096836 fired transitions, 850 secs || 825154 markings, 137210284 edges, 997 markings/sec, 850 secs
lola: STP completed || 2 tries, 1103294 fired transitions, 855 secs || 830240 markings, 138013355 edges, 1017 markings/sec, 855 secs
lola: STP completed || 2 tries, 1109702 fired transitions, 860 secs || 835376 markings, 138817348 edges, 1027 markings/sec, 860 secs
lola: STP completed || 2 tries, 1116168 fired transitions, 865 secs || 840764 markings, 139622116 edges, 1078 markings/sec, 865 secs
lola: STP completed || 2 tries, 1122673 fired transitions, 870 secs || 845804 markings, 140427775 edges, 1008 markings/sec, 870 secs
lola: STP completed || 2 tries, 1129142 fired transitions, 875 secs || 850400 markings, 141229481 edges, 919 markings/sec, 875 secs
lola: STP completed || 2 tries, 1135369 fired transitions, 880 secs || 854572 markings, 141975450 edges, 834 markings/sec, 880 secs
lola: STP completed || 2 tries, 1141847 fired transitions, 885 secs || 858774 markings, 142735491 edges, 840 markings/sec, 885 secs
lola: STP completed || 2 tries, 1148320 fired transitions, 890 secs || 863405 markings, 143540125 edges, 926 markings/sec, 890 secs
lola: STP completed || 2 tries, 1154660 fired transitions, 895 secs || 867880 markings, 144268607 edges, 895 markings/sec, 895 secs
lola: STP completed || 2 tries, 1161149 fired transitions, 900 secs || 872929 markings, 145073371 edges, 1010 markings/sec, 900 secs
lola: STP completed || 2 tries, 1167590 fired transitions, 905 secs || 877825 markings, 145873900 edges, 979 markings/sec, 905 secs
lola: STP completed || 2 tries, 1174034 fired transitions, 910 secs || 882817 markings, 146673358 edges, 998 markings/sec, 910 secs
lola: STP completed || 2 tries, 1180403 fired transitions, 915 secs || 888150 markings, 147481425 edges, 1067 markings/sec, 915 secs
lola: STP completed || 2 tries, 1186789 fired transitions, 920 secs || 893156 markings, 148287880 edges, 1001 markings/sec, 920 secs
lola: STP completed || 2 tries, 1193279 fired transitions, 925 secs || 898379 markings, 149103614 edges, 1045 markings/sec, 925 secs
lola: STP completed || 2 tries, 1199638 fired transitions, 930 secs || 903684 markings, 149910088 edges, 1061 markings/sec, 930 secs
lola: STP completed || 2 tries, 1206025 fired transitions, 935 secs || 908629 markings, 150712756 edges, 989 markings/sec, 935 secs
lola: STP completed || 2 tries, 1212378 fired transitions, 940 secs || 913394 markings, 151511438 edges, 953 markings/sec, 940 secs
lola: STP completed || 2 tries, 1218746 fired transitions, 945 secs || 918471 markings, 152309650 edges, 1015 markings/sec, 945 secs
lola: STP completed || 2 tries, 1225109 fired transitions, 950 secs || 923904 markings, 153117865 edges, 1087 markings/sec, 950 secs
lola: STP completed || 2 tries, 1231455 fired transitions, 955 secs || 928962 markings, 153921481 edges, 1012 markings/sec, 955 secs
lola: STP completed || 2 tries, 1237940 fired transitions, 960 secs || 934458 markings, 154742401 edges, 1099 markings/sec, 960 secs
lola: STP completed || 2 tries, 1244339 fired transitions, 965 secs || 939471 markings, 155507861 edges, 1003 markings/sec, 965 secs
lola: STP completed || 2 tries, 1250726 fired transitions, 970 secs || 944949 markings, 156309100 edges, 1096 markings/sec, 970 secs
lola: STP completed || 2 tries, 1257077 fired transitions, 975 secs || 950134 markings, 157113595 edges, 1037 markings/sec, 975 secs
lola: STP completed || 2 tries, 1263459 fired transitions, 980 secs || 955268 markings, 157917367 edges, 1027 markings/sec, 980 secs
lola: STP completed || 2 tries, 1269896 fired transitions, 985 secs || 960797 markings, 158724984 edges, 1106 markings/sec, 985 secs
lola: STP completed || 2 tries, 1276278 fired transitions, 990 secs || 965940 markings, 159529548 edges, 1029 markings/sec, 990 secs
lola: STP completed || 2 tries, 1282731 fired transitions, 995 secs || 970894 markings, 160350233 edges, 991 markings/sec, 995 secs
lola: STP completed || 2 tries, 1289245 fired transitions, 1000 secs || 975733 markings, 161160365 edges, 968 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1295731 fired transitions, 1005 secs || 980592 markings, 161971834 edges, 972 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1302147 fired transitions, 1010 secs || 985808 markings, 162783946 edges, 1043 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1308628 fired transitions, 1015 secs || 991201 markings, 163594820 edges, 1079 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1315121 fired transitions, 1020 secs || 995850 markings, 164405161 edges, 930 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1321616 fired transitions, 1025 secs || 1000486 markings, 165218354 edges, 927 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1328086 fired transitions, 1030 secs || 1005442 markings, 166023545 edges, 991 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1334584 fired transitions, 1035 secs || 1010856 markings, 166843710 edges, 1083 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1341071 fired transitions, 1040 secs || 1016082 markings, 167663556 edges, 1045 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1347387 fired transitions, 1045 secs || 1021232 markings, 168450295 edges, 1030 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1353714 fired transitions, 1050 secs || 1026836 markings, 169252949 edges, 1121 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1360214 fired transitions, 1055 secs || 1032258 markings, 170076207 edges, 1084 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1366680 fired transitions, 1060 secs || 1038114 markings, 170901270 edges, 1171 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1372948 fired transitions, 1065 secs || 1042771 markings, 171682648 edges, 931 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1379139 fired transitions, 1070 secs || 1047433 markings, 172461054 edges, 932 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1385477 fired transitions, 1075 secs || 1052859 markings, 173206256 edges, 1085 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1391843 fired transitions, 1080 secs || 1057954 markings, 174022583 edges, 1019 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1398292 fired transitions, 1085 secs || 1063102 markings, 174838275 edges, 1030 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1404596 fired transitions, 1090 secs || 1067788 markings, 175623346 edges, 937 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1410817 fired transitions, 1095 secs || 1072711 markings, 176395518 edges, 985 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1417014 fired transitions, 1100 secs || 1077753 markings, 177171856 edges, 1008 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1423189 fired transitions, 1105 secs || 1082987 markings, 177951228 edges, 1047 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1429404 fired transitions, 1110 secs || 1087799 markings, 178721546 edges, 962 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1435618 fired transitions, 1115 secs || 1093020 markings, 179500209 edges, 1044 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1441791 fired transitions, 1120 secs || 1097599 markings, 180270431 edges, 916 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1448118 fired transitions, 1125 secs || 1102801 markings, 181064556 edges, 1040 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1454551 fired transitions, 1130 secs || 1108069 markings, 181870245 edges, 1054 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1460949 fired transitions, 1135 secs || 1113401 markings, 182668276 edges, 1066 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1467424 fired transitions, 1140 secs || 1118367 markings, 183481120 edges, 993 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1473853 fired transitions, 1145 secs || 1123372 markings, 184281724 edges, 1001 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1480243 fired transitions, 1150 secs || 1128591 markings, 185085976 edges, 1044 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1486603 fired transitions, 1155 secs || 1133990 markings, 185893775 edges, 1080 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1493000 fired transitions, 1160 secs || 1139235 markings, 186705330 edges, 1049 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1499421 fired transitions, 1165 secs || 1144459 markings, 187505982 edges, 1045 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1505849 fired transitions, 1170 secs || 1150122 markings, 188312594 edges, 1133 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1512325 fired transitions, 1175 secs || 1155609 markings, 189122726 edges, 1097 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1518810 fired transitions, 1180 secs || 1160586 markings, 189934848 edges, 995 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1524845 fired transitions, 1185 secs || 1165940 markings, 190738658 edges, 1071 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1531258 fired transitions, 1190 secs || 1171322 markings, 191548689 edges, 1076 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1537672 fired transitions, 1195 secs || 1176662 markings, 192367239 edges, 1068 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1544118 fired transitions, 1200 secs || 1181475 markings, 193178195 edges, 963 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1550520 fired transitions, 1205 secs || 1186669 markings, 193993439 edges, 1039 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1556940 fired transitions, 1210 secs || 1191967 markings, 194795259 edges, 1060 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1563352 fired transitions, 1215 secs || 1197706 markings, 195599308 edges, 1148 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1569800 fired transitions, 1220 secs || 1202786 markings, 196399143 edges, 1016 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1576275 fired transitions, 1225 secs || 1208243 markings, 197219160 edges, 1091 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1582546 fired transitions, 1230 secs || 1213491 markings, 198014439 edges, 1050 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1588958 fired transitions, 1235 secs || 1218528 markings, 198815128 edges, 1007 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1595349 fired transitions, 1240 secs || 1224100 markings, 199631083 edges, 1114 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1601739 fired transitions, 1245 secs || 1229459 markings, 200441467 edges, 1072 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1607963 fired transitions, 1250 secs || 1234976 markings, 201250545 edges, 1103 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1614378 fired transitions, 1255 secs || 1240035 markings, 202058797 edges, 1012 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1620777 fired transitions, 1260 secs || 1245140 markings, 202866459 edges, 1021 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1627205 fired transitions, 1265 secs || 1250251 markings, 203678788 edges, 1022 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1633666 fired transitions, 1270 secs || 1255390 markings, 204490928 edges, 1028 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1640104 fired transitions, 1275 secs || 1260115 markings, 205282148 edges, 945 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1646625 fired transitions, 1280 secs || 1264693 markings, 206094406 edges, 916 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1653125 fired transitions, 1285 secs || 1269991 markings, 206909492 edges, 1060 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1659508 fired transitions, 1290 secs || 1275015 markings, 207709459 edges, 1005 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1665838 fired transitions, 1295 secs || 1280081 markings, 208509480 edges, 1013 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1671997 fired transitions, 1300 secs || 1284880 markings, 209281948 edges, 960 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1678387 fired transitions, 1305 secs || 1290530 markings, 210087363 edges, 1130 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1684878 fired transitions, 1310 secs || 1295904 markings, 210901715 edges, 1075 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1691109 fired transitions, 1315 secs || 1300775 markings, 211699081 edges, 974 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1697054 fired transitions, 1320 secs || 1306182 markings, 212492098 edges, 1081 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1703216 fired transitions, 1325 secs || 1311413 markings, 213291189 edges, 1046 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1709262 fired transitions, 1330 secs || 1316835 markings, 214092383 edges, 1084 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1715618 fired transitions, 1335 secs || 1321898 markings, 214891163 edges, 1013 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1722023 fired transitions, 1340 secs || 1327464 markings, 215692261 edges, 1113 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1728401 fired transitions, 1345 secs || 1332678 markings, 216484419 edges, 1043 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1734750 fired transitions, 1350 secs || 1337551 markings, 217293316 edges, 975 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1741153 fired transitions, 1355 secs || 1342590 markings, 218111037 edges, 1008 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1747605 fired transitions, 1360 secs || 1347885 markings, 218920006 edges, 1059 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1754003 fired transitions, 1365 secs || 1353304 markings, 219731729 edges, 1084 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1760447 fired transitions, 1370 secs || 1358764 markings, 220538604 edges, 1092 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1766857 fired transitions, 1375 secs || 1364469 markings, 221354052 edges, 1141 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1773281 fired transitions, 1380 secs || 1369823 markings, 222165493 edges, 1071 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1779663 fired transitions, 1385 secs || 1375173 markings, 222967838 edges, 1070 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1786074 fired transitions, 1390 secs || 1380456 markings, 223771142 edges, 1057 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1792508 fired transitions, 1395 secs || 1385639 markings, 224577634 edges, 1037 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1798932 fired transitions, 1400 secs || 1391122 markings, 225384104 edges, 1097 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1805288 fired transitions, 1405 secs || 1397039 markings, 226201456 edges, 1183 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1811222 fired transitions, 1410 secs || 1401772 markings, 226995538 edges, 947 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1817684 fired transitions, 1415 secs || 1407363 markings, 227811334 edges, 1118 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1824084 fired transitions, 1420 secs || 1412251 markings, 228622835 edges, 978 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1830472 fired transitions, 1425 secs || 1417948 markings, 229433945 edges, 1139 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1836854 fired transitions, 1430 secs || 1423371 markings, 230242967 edges, 1085 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1843249 fired transitions, 1435 secs || 1428857 markings, 231050540 edges, 1097 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1849599 fired transitions, 1440 secs || 1433868 markings, 231850443 edges, 1002 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1855969 fired transitions, 1445 secs || 1439311 markings, 232654189 edges, 1089 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1862400 fired transitions, 1450 secs || 1444420 markings, 233467556 edges, 1022 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1868925 fired transitions, 1455 secs || 1449784 markings, 234288091 edges, 1073 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1875352 fired transitions, 1460 secs || 1455724 markings, 235117572 edges, 1188 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1881836 fired transitions, 1465 secs || 1461380 markings, 235933763 edges, 1131 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1888350 fired transitions, 1470 secs || 1466685 markings, 236746537 edges, 1061 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1894821 fired transitions, 1475 secs || 1471837 markings, 237559776 edges, 1030 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1901244 fired transitions, 1480 secs || 1476897 markings, 238374912 edges, 1012 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1907637 fired transitions, 1485 secs || 1482090 markings, 239172433 edges, 1039 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1914056 fired transitions, 1490 secs || 1487304 markings, 239976754 edges, 1043 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1920456 fired transitions, 1495 secs || 1492563 markings, 240772273 edges, 1052 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1926837 fired transitions, 1500 secs || 1497308 markings, 241574429 edges, 949 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1933196 fired transitions, 1505 secs || 1502493 markings, 242374938 edges, 1037 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1939592 fired transitions, 1510 secs || 1507863 markings, 243177927 edges, 1074 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1946066 fired transitions, 1515 secs || 1513302 markings, 243996643 edges, 1088 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1952408 fired transitions, 1520 secs || 1518189 markings, 244794296 edges, 977 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1958766 fired transitions, 1525 secs || 1523406 markings, 245592724 edges, 1043 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1965130 fired transitions, 1530 secs || 1529591 markings, 246410633 edges, 1237 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1971477 fired transitions, 1535 secs || 1534873 markings, 247218803 edges, 1056 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1977848 fired transitions, 1540 secs || 1540586 markings, 248036047 edges, 1143 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1984222 fired transitions, 1545 secs || 1546104 markings, 248844272 edges, 1104 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1990569 fired transitions, 1550 secs || 1551616 markings, 249655667 edges, 1102 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1996944 fired transitions, 1555 secs || 1556991 markings, 250456074 edges, 1075 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2003328 fired transitions, 1560 secs || 1562171 markings, 251260973 edges, 1036 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2009656 fired transitions, 1565 secs || 1567066 markings, 252060473 edges, 979 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2016020 fired transitions, 1570 secs || 1572018 markings, 252860265 edges, 990 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2022405 fired transitions, 1575 secs || 1577286 markings, 253663672 edges, 1054 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2028772 fired transitions, 1580 secs || 1583309 markings, 254475039 edges, 1205 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2035169 fired transitions, 1585 secs || 1588722 markings, 255277667 edges, 1083 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2041530 fired transitions, 1590 secs || 1594186 markings, 256078916 edges, 1093 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2047929 fired transitions, 1595 secs || 1599906 markings, 256888706 edges, 1144 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2054326 fired transitions, 1600 secs || 1605435 markings, 257699285 edges, 1106 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2060748 fired transitions, 1605 secs || 1610733 markings, 258510006 edges, 1060 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2067153 fired transitions, 1610 secs || 1616509 markings, 259322608 edges, 1155 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2073525 fired transitions, 1615 secs || 1622093 markings, 260133265 edges, 1117 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2079888 fired transitions, 1620 secs || 1626988 markings, 260933416 edges, 979 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2086273 fired transitions, 1625 secs || 1632294 markings, 261733249 edges, 1061 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2092662 fired transitions, 1630 secs || 1638127 markings, 262542845 edges, 1167 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2099187 fired transitions, 1635 secs || 1643585 markings, 263362933 edges, 1092 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2105546 fired transitions, 1640 secs || 1649204 markings, 264169731 edges, 1124 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2111968 fired transitions, 1645 secs || 1654842 markings, 264986359 edges, 1128 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2118375 fired transitions, 1650 secs || 1660183 markings, 265788441 edges, 1068 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2124838 fired transitions, 1655 secs || 1665227 markings, 266597277 edges, 1009 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2131331 fired transitions, 1660 secs || 1670438 markings, 267413159 edges, 1042 markings/sec, 1660 secs
lola: STP completed || 3 tries, 2137865 fired transitions, 1665 secs || 1675756 markings, 268232745 edges, 1064 markings/sec, 1665 secs
lola: STP completed || 3 tries, 2144222 fired transitions, 1670 secs || 1680700 markings, 269023964 edges, 989 markings/sec, 1670 secs
lola: STP completed || 3 tries, 2150601 fired transitions, 1675 secs || 1686240 markings, 269828778 edges, 1108 markings/sec, 1675 secs
lola: STP completed || 3 tries, 2156986 fired transitions, 1680 secs || 1691936 markings, 270635230 edges, 1139 markings/sec, 1680 secs
lola: STP completed || 3 tries, 2163367 fired transitions, 1685 secs || 1697445 markings, 271440347 edges, 1102 markings/sec, 1685 secs
lola: STP completed || 3 tries, 2169842 fired transitions, 1690 secs || 1702608 markings, 272257809 edges, 1033 markings/sec, 1690 secs
lola: STP completed || 3 tries, 2176242 fired transitions, 1695 secs || 1708142 markings, 273060248 edges, 1107 markings/sec, 1695 secs
lola: STP completed || 3 tries, 2182630 fired transitions, 1700 secs || 1713473 markings, 273863680 edges, 1066 markings/sec, 1700 secs
lola: STP completed || 3 tries, 2188997 fired transitions, 1705 secs || 1718426 markings, 274656506 edges, 991 markings/sec, 1705 secs
lola: STP completed || 3 tries, 2195453 fired transitions, 1710 secs || 1723352 markings, 275466379 edges, 985 markings/sec, 1710 secs
lola: STP completed || 3 tries, 2201844 fired transitions, 1715 secs || 1728568 markings, 276267459 edges, 1043 markings/sec, 1715 secs
lola: STP completed || 3 tries, 2208223 fired transitions, 1720 secs || 1733925 markings, 277062903 edges, 1071 markings/sec, 1720 secs
lola: STP completed || 3 tries, 2214557 fired transitions, 1725 secs || 1738896 markings, 277861344 edges, 994 markings/sec, 1725 secs
lola: STP completed || 3 tries, 2220938 fired transitions, 1730 secs || 1744133 markings, 278659873 edges, 1047 markings/sec, 1730 secs
lola: STP completed || 3 tries, 2227301 fired transitions, 1735 secs || 1749224 markings, 279466880 edges, 1018 markings/sec, 1735 secs
lola: STP completed || 3 tries, 2233663 fired transitions, 1740 secs || 1754746 markings, 280276799 edges, 1104 markings/sec, 1740 secs
lola: STP completed || 3 tries, 2240093 fired transitions, 1745 secs || 1760188 markings, 281083649 edges, 1088 markings/sec, 1745 secs
lola: STP completed || 3 tries, 2246453 fired transitions, 1750 secs || 1765354 markings, 281882900 edges, 1033 markings/sec, 1750 secs
lola: STP completed || 3 tries, 2252788 fired transitions, 1755 secs || 1770730 markings, 282682644 edges, 1075 markings/sec, 1755 secs
lola: STP completed || 3 tries, 2259146 fired transitions, 1760 secs || 1775618 markings, 283486772 edges, 978 markings/sec, 1760 secs
lola: STP completed || 3 tries, 2265463 fired transitions, 1765 secs || 1780320 markings, 284284667 edges, 940 markings/sec, 1765 secs
lola: STP completed || 3 tries, 2271787 fired transitions, 1770 secs || 1785653 markings, 285087957 edges, 1067 markings/sec, 1770 secs
lola: STP completed || 3 tries, 2278190 fired transitions, 1775 secs || 1791077 markings, 285885702 edges, 1085 markings/sec, 1775 secs
lola: STP completed || 3 tries, 2284661 fired transitions, 1780 secs || 1796447 markings, 286697746 edges, 1074 markings/sec, 1780 secs
lola: STP completed || 3 tries, 2291025 fired transitions, 1785 secs || 1801875 markings, 287495821 edges, 1086 markings/sec, 1785 secs
lola: STP completed || 3 tries, 2297411 fired transitions, 1790 secs || 1807184 markings, 288290284 edges, 1062 markings/sec, 1790 secs
lola: STP completed || 3 tries, 2303793 fired transitions, 1795 secs || 1812238 markings, 289082465 edges, 1011 markings/sec, 1795 secs
lola: STP completed || 3 tries, 2310203 fired transitions, 1800 secs || 1817735 markings, 289910397 edges, 1099 markings/sec, 1800 secs
lola: STP completed || 3 tries, 2316598 fired transitions, 1805 secs || 1822702 markings, 290704058 edges, 993 markings/sec, 1805 secs
lola: STP completed || 3 tries, 2323024 fired transitions, 1810 secs || 1828748 markings, 291515367 edges, 1209 markings/sec, 1810 secs
lola: STP completed || 3 tries, 2329355 fired transitions, 1815 secs || 1833911 markings, 292308138 edges, 1033 markings/sec, 1815 secs
lola: STP completed || 3 tries, 2335789 fired transitions, 1820 secs || 1838991 markings, 293099296 edges, 1016 markings/sec, 1820 secs
lola: STP completed || 3 tries, 2342191 fired transitions, 1825 secs || 1844396 markings, 293908625 edges, 1081 markings/sec, 1825 secs
lola: STP completed || 3 tries, 2348554 fired transitions, 1830 secs || 1849637 markings, 294714470 edges, 1048 markings/sec, 1830 secs
lola: STP completed || 3 tries, 2354888 fired transitions, 1835 secs || 1855022 markings, 295513460 edges, 1077 markings/sec, 1835 secs
lola: STP completed || 3 tries, 2361269 fired transitions, 1840 secs || 1859897 markings, 296305665 edges, 975 markings/sec, 1840 secs
lola: STP completed || 3 tries, 2367710 fired transitions, 1845 secs || 1864992 markings, 297119484 edges, 1019 markings/sec, 1845 secs
lola: STP completed || 3 tries, 2374087 fired transitions, 1850 secs || 1870076 markings, 297913755 edges, 1017 markings/sec, 1850 secs
lola: STP completed || 3 tries, 2380459 fired transitions, 1855 secs || 1875670 markings, 298720111 edges, 1119 markings/sec, 1855 secs
lola: STP completed || 3 tries, 2386884 fired transitions, 1860 secs || 1881213 markings, 299537742 edges, 1109 markings/sec, 1860 secs
lola: STP completed || 3 tries, 2393260 fired transitions, 1865 secs || 1886631 markings, 300344519 edges, 1084 markings/sec, 1865 secs
lola: STP completed || 3 tries, 2399697 fired transitions, 1870 secs || 1892363 markings, 301148999 edges, 1146 markings/sec, 1870 secs
lola: STP completed || 3 tries, 2406086 fired transitions, 1875 secs || 1898293 markings, 301959606 edges, 1186 markings/sec, 1875 secs
lola: STP completed || 3 tries, 2412478 fired transitions, 1880 secs || 1903454 markings, 302755744 edges, 1032 markings/sec, 1880 secs
lola: STP completed || 3 tries, 2418843 fired transitions, 1885 secs || 1909215 markings, 303570642 edges, 1152 markings/sec, 1885 secs
lola: STP completed || 3 tries, 2425236 fired transitions, 1890 secs || 1914377 markings, 304368650 edges, 1032 markings/sec, 1890 secs
lola: STP completed || 3 tries, 2431593 fired transitions, 1895 secs || 1919920 markings, 305178261 edges, 1109 markings/sec, 1895 secs
lola: STP completed || 3 tries, 2437975 fired transitions, 1900 secs || 1925644 markings, 305981122 edges, 1145 markings/sec, 1900 secs
lola: STP completed || 3 tries, 2444349 fired transitions, 1905 secs || 1930516 markings, 306778920 edges, 974 markings/sec, 1905 secs
lola: STP completed || 3 tries, 2450745 fired transitions, 1910 secs || 1935921 markings, 307580686 edges, 1081 markings/sec, 1910 secs
lola: STP completed || 3 tries, 2457108 fired transitions, 1915 secs || 1940689 markings, 308377887 edges, 954 markings/sec, 1915 secs
lola: STP completed || 3 tries, 2463462 fired transitions, 1920 secs || 1945639 markings, 309178446 edges, 990 markings/sec, 1920 secs
lola: STP completed || 3 tries, 2469871 fired transitions, 1925 secs || 1950714 markings, 309979157 edges, 1015 markings/sec, 1925 secs
lola: STP completed || 3 tries, 2476229 fired transitions, 1930 secs || 1955963 markings, 310780292 edges, 1050 markings/sec, 1930 secs
lola: STP completed || 3 tries, 2482580 fired transitions, 1935 secs || 1961638 markings, 311580275 edges, 1135 markings/sec, 1935 secs
lola: STP completed || 3 tries, 2488944 fired transitions, 1940 secs || 1967015 markings, 312379262 edges, 1075 markings/sec, 1940 secs
lola: STP completed || 3 tries, 2495326 fired transitions, 1945 secs || 1972037 markings, 313167594 edges, 1004 markings/sec, 1945 secs
lola: STP completed || 3 tries, 2501711 fired transitions, 1950 secs || 1977177 markings, 313962692 edges, 1028 markings/sec, 1950 secs
lola: STP completed || 3 tries, 2508082 fired transitions, 1955 secs || 1982465 markings, 314765678 edges, 1058 markings/sec, 1955 secs
lola: STP completed || 3 tries, 2514435 fired transitions, 1960 secs || 1987581 markings, 315565662 edges, 1023 markings/sec, 1960 secs
lola: STP completed || 3 tries, 2520770 fired transitions, 1965 secs || 1993124 markings, 316363377 edges, 1109 markings/sec, 1965 secs
lola: STP completed || 3 tries, 2527212 fired transitions, 1970 secs || 1998495 markings, 317172235 edges, 1074 markings/sec, 1970 secs
lola: STP completed || 3 tries, 2533549 fired transitions, 1975 secs || 2003873 markings, 317979949 edges, 1076 markings/sec, 1975 secs
lola: STP completed || 3 tries, 2539915 fired transitions, 1980 secs || 2009430 markings, 318782359 edges, 1111 markings/sec, 1980 secs
lola: STP completed || 3 tries, 2546375 fired transitions, 1985 secs || 2014813 markings, 319594965 edges, 1077 markings/sec, 1985 secs
lola: STP completed || 3 tries, 2552815 fired transitions, 1990 secs || 2020310 markings, 320412026 edges, 1099 markings/sec, 1990 secs
lola: STP completed || 3 tries, 2559263 fired transitions, 1995 secs || 2026187 markings, 321235491 edges, 1175 markings/sec, 1995 secs
lola: STP completed || 3 tries, 2565699 fired transitions, 2000 secs || 2031564 markings, 322051675 edges, 1075 markings/sec, 2000 secs
lola: STP completed || 3 tries, 2572048 fired transitions, 2005 secs || 2036697 markings, 322852082 edges, 1027 markings/sec, 2005 secs
lola: STP completed || 3 tries, 2578417 fired transitions, 2010 secs || 2041693 markings, 323650680 edges, 999 markings/sec, 2010 secs
lola: STP completed || 3 tries, 2584794 fired transitions, 2015 secs || 2047243 markings, 324450423 edges, 1110 markings/sec, 2015 secs
lola: STP completed || 3 tries, 2591173 fired transitions, 2020 secs || 2052763 markings, 325253914 edges, 1104 markings/sec, 2020 secs
lola: STP completed || 3 tries, 2597515 fired transitions, 2025 secs || 2058390 markings, 326063494 edges, 1125 markings/sec, 2025 secs
lola: STP completed || 3 tries, 2603933 fired transitions, 2030 secs || 2063633 markings, 326867949 edges, 1049 markings/sec, 2030 secs
lola: STP completed || 3 tries, 2610358 fired transitions, 2035 secs || 2069394 markings, 327674472 edges, 1152 markings/sec, 2035 secs
lola: STP completed || 3 tries, 2616553 fired transitions, 2040 secs || 2074317 markings, 328416234 edges, 985 markings/sec, 2040 secs
lola: STP completed || 3 tries, 2622985 fired transitions, 2045 secs || 2079968 markings, 329209317 edges, 1130 markings/sec, 2045 secs
lola: STP completed || 3 tries, 2629442 fired transitions, 2050 secs || 2085057 markings, 329996720 edges, 1018 markings/sec, 2050 secs
lola: STP completed || 3 tries, 2635863 fired transitions, 2055 secs || 2090202 markings, 330785932 edges, 1029 markings/sec, 2055 secs
lola: STP completed || 3 tries, 2642173 fired transitions, 2060 secs || 2095655 markings, 331584790 edges, 1091 markings/sec, 2060 secs
lola: STP completed || 3 tries, 2648634 fired transitions, 2065 secs || 2100774 markings, 332395723 edges, 1024 markings/sec, 2065 secs
lola: STP completed || 3 tries, 2655062 fired transitions, 2070 secs || 2106185 markings, 333160099 edges, 1082 markings/sec, 2070 secs
lola: STP completed || 3 tries, 2661576 fired transitions, 2075 secs || 2111606 markings, 333956121 edges, 1084 markings/sec, 2075 secs
lola: STP completed || 3 tries, 2667938 fired transitions, 2080 secs || 2117595 markings, 334767810 edges, 1198 markings/sec, 2080 secs
lola: STP completed || 3 tries, 2674331 fired transitions, 2085 secs || 2122910 markings, 335578755 edges, 1063 markings/sec, 2085 secs
lola: STP completed || 3 tries, 2680671 fired transitions, 2090 secs || 2128792 markings, 336384578 edges, 1176 markings/sec, 2090 secs
lola: STP completed || 3 tries, 2687078 fired transitions, 2095 secs || 2133998 markings, 337183837 edges, 1041 markings/sec, 2095 secs
lola: STP completed || 3 tries, 2693515 fired transitions, 2100 secs || 2139334 markings, 337991815 edges, 1067 markings/sec, 2100 secs
lola: STP completed || 3 tries, 2699984 fired transitions, 2105 secs || 2144677 markings, 338794400 edges, 1069 markings/sec, 2105 secs
lola: STP completed || 3 tries, 2706442 fired transitions, 2110 secs || 2149929 markings, 339586409 edges, 1050 markings/sec, 2110 secs
lola: STP completed || 3 tries, 2712856 fired transitions, 2115 secs || 2155530 markings, 340386939 edges, 1120 markings/sec, 2115 secs
lola: STP completed || 3 tries, 2719322 fired transitions, 2120 secs || 2160939 markings, 341192063 edges, 1082 markings/sec, 2120 secs
lola: STP completed || 3 tries, 2725709 fired transitions, 2125 secs || 2166554 markings, 341995315 edges, 1123 markings/sec, 2125 secs
lola: STP completed || 3 tries, 2732102 fired transitions, 2130 secs || 2171448 markings, 342804583 edges, 979 markings/sec, 2130 secs
lola: STP completed || 3 tries, 2738408 fired transitions, 2135 secs || 2176770 markings, 343608373 edges, 1064 markings/sec, 2135 secs
lola: STP completed || 3 tries, 2744768 fired transitions, 2140 secs || 2182187 markings, 344413089 edges, 1083 markings/sec, 2140 secs
lola: STP completed || 3 tries, 2751218 fired transitions, 2145 secs || 2188010 markings, 345221276 edges, 1165 markings/sec, 2145 secs
lola: STP completed || 3 tries, 2757693 fired transitions, 2150 secs || 2192954 markings, 346016208 edges, 989 markings/sec, 2150 secs
lola: STP completed || 3 tries, 2764172 fired transitions, 2155 secs || 2198721 markings, 346828996 edges, 1153 markings/sec, 2155 secs
lola: STP completed || 3 tries, 2770553 fired transitions, 2160 secs || 2203647 markings, 347587445 edges, 985 markings/sec, 2160 secs
lola: STP completed || 3 tries, 2776999 fired transitions, 2165 secs || 2209049 markings, 348398246 edges, 1080 markings/sec, 2165 secs
lola: STP completed || 3 tries, 2783385 fired transitions, 2170 secs || 2214216 markings, 349197863 edges, 1033 markings/sec, 2170 secs
lola: STP completed || 3 tries, 2789823 fired transitions, 2175 secs || 2219656 markings, 350011185 edges, 1088 markings/sec, 2175 secs
lola: STP completed || 3 tries, 2796358 fired transitions, 2180 secs || 2224727 markings, 350824770 edges, 1014 markings/sec, 2180 secs
lola: STP completed || 3 tries, 2802676 fired transitions, 2185 secs || 2229277 markings, 351605373 edges, 910 markings/sec, 2185 secs
lola: STP completed || 3 tries, 2809052 fired transitions, 2190 secs || 2234186 markings, 352370937 edges, 982 markings/sec, 2190 secs
lola: STP completed || 3 tries, 2815581 fired transitions, 2195 secs || 2239860 markings, 353189190 edges, 1135 markings/sec, 2195 secs
lola: STP completed || 3 tries, 2821902 fired transitions, 2200 secs || 2245216 markings, 353979945 edges, 1071 markings/sec, 2200 secs
lola: STP completed || 3 tries, 2828058 fired transitions, 2205 secs || 2250789 markings, 354754450 edges, 1115 markings/sec, 2205 secs
lola: STP completed || 3 tries, 2834509 fired transitions, 2210 secs || 2255540 markings, 355517150 edges, 950 markings/sec, 2210 secs
lola: STP completed || 3 tries, 2840881 fired transitions, 2215 secs || 2260551 markings, 356312613 edges, 1002 markings/sec, 2215 secs
lola: STP completed || 3 tries, 2847392 fired transitions, 2220 secs || 2266142 markings, 357124379 edges, 1118 markings/sec, 2220 secs
lola: STP completed || 3 tries, 2853808 fired transitions, 2225 secs || 2271527 markings, 357923740 edges, 1077 markings/sec, 2225 secs
lola: STP completed || 3 tries, 2860164 fired transitions, 2230 secs || 2277208 markings, 358730715 edges, 1136 markings/sec, 2230 secs
lola: STP completed || 3 tries, 2866563 fired transitions, 2235 secs || 2282877 markings, 359540911 edges, 1134 markings/sec, 2235 secs
lola: STP completed || 3 tries, 2872964 fired transitions, 2240 secs || 2288043 markings, 360338631 edges, 1033 markings/sec, 2240 secs
lola: STP completed || 3 tries, 2879321 fired transitions, 2245 secs || 2293509 markings, 361143772 edges, 1093 markings/sec, 2245 secs
lola: STP completed || 3 tries, 2885660 fired transitions, 2250 secs || 2298408 markings, 361947630 edges, 980 markings/sec, 2250 secs
lola: STP completed || 3 tries, 2892063 fired transitions, 2255 secs || 2303680 markings, 362755791 edges, 1054 markings/sec, 2255 secs
lola: STP completed || 3 tries, 2898549 fired transitions, 2260 secs || 2308781 markings, 363556851 edges, 1020 markings/sec, 2260 secs
lola: STP completed || 3 tries, 2904703 fired transitions, 2265 secs || 2313886 markings, 364320913 edges, 1021 markings/sec, 2265 secs
lola: STP completed || 3 tries, 2911113 fired transitions, 2270 secs || 2319292 markings, 365087522 edges, 1081 markings/sec, 2270 secs
lola: STP completed || 3 tries, 2917608 fired transitions, 2275 secs || 2324722 markings, 365887190 edges, 1086 markings/sec, 2275 secs
lola: STP completed || 3 tries, 2924043 fired transitions, 2280 secs || 2330489 markings, 366697042 edges, 1153 markings/sec, 2280 secs
lola: STP completed || 3 tries, 2930501 fired transitions, 2285 secs || 2335671 markings, 367501680 edges, 1036 markings/sec, 2285 secs
lola: STP completed || 3 tries, 2936710 fired transitions, 2290 secs || 2340631 markings, 368268109 edges, 992 markings/sec, 2290 secs
lola: STP completed || 3 tries, 2942903 fired transitions, 2295 secs || 2345756 markings, 369037993 edges, 1025 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2949070 fired transitions, 2300 secs || 2351159 markings, 369810332 edges, 1081 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2955363 fired transitions, 2305 secs || 2355814 markings, 370528856 edges, 931 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2961817 fired transitions, 2310 secs || 2361027 markings, 371324995 edges, 1043 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2968214 fired transitions, 2315 secs || 2366221 markings, 372113161 edges, 1039 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2974702 fired transitions, 2320 secs || 2371540 markings, 372910523 edges, 1064 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2981122 fired transitions, 2325 secs || 2377264 markings, 373714580 edges, 1145 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2987545 fired transitions, 2330 secs || 2382704 markings, 374511159 edges, 1088 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2993922 fired transitions, 2335 secs || 2387704 markings, 375311726 edges, 1000 markings/sec, 2335 secs
lola: STP completed || 4 tries, 3000300 fired transitions, 2340 secs || 2393050 markings, 376112983 edges, 1069 markings/sec, 2340 secs
lola: STP completed || 4 tries, 3006667 fired transitions, 2345 secs || 2398972 markings, 376919949 edges, 1184 markings/sec, 2345 secs
lola: STP completed || 4 tries, 3013010 fired transitions, 2350 secs || 2404572 markings, 377718374 edges, 1120 markings/sec, 2350 secs
lola: STP completed || 4 tries, 3019394 fired transitions, 2355 secs || 2409995 markings, 378517875 edges, 1085 markings/sec, 2355 secs
lola: STP completed || 4 tries, 3025827 fired transitions, 2360 secs || 2415416 markings, 379315382 edges, 1084 markings/sec, 2360 secs
lola: STP completed || 4 tries, 3032199 fired transitions, 2365 secs || 2420273 markings, 380048623 edges, 971 markings/sec, 2365 secs
lola: STP completed || 4 tries, 3038622 fired transitions, 2370 secs || 2425214 markings, 380844106 edges, 988 markings/sec, 2370 secs
lola: STP completed || 4 tries, 3045014 fired transitions, 2375 secs || 2430585 markings, 381645931 edges, 1074 markings/sec, 2375 secs
lola: STP completed || 4 tries, 3051405 fired transitions, 2380 secs || 2435004 markings, 382334286 edges, 884 markings/sec, 2380 secs
lola: STP completed || 4 tries, 3057813 fired transitions, 2385 secs || 2440582 markings, 383129903 edges, 1116 markings/sec, 2385 secs
lola: STP completed || 4 tries, 3064155 fired transitions, 2390 secs || 2445422 markings, 383934594 edges, 968 markings/sec, 2390 secs
lola: STP completed || 4 tries, 3070585 fired transitions, 2395 secs || 2450141 markings, 384737696 edges, 944 markings/sec, 2395 secs
lola: STP completed || 4 tries, 3077055 fired transitions, 2400 secs || 2455159 markings, 385539326 edges, 1004 markings/sec, 2400 secs
lola: STP completed || 4 tries, 3083472 fired transitions, 2405 secs || 2460023 markings, 386341091 edges, 973 markings/sec, 2405 secs
lola: STP completed || 4 tries, 3089916 fired transitions, 2410 secs || 2464750 markings, 387144937 edges, 945 markings/sec, 2410 secs
lola: STP completed || 4 tries, 3096365 fired transitions, 2415 secs || 2469334 markings, 387910483 edges, 917 markings/sec, 2415 secs
lola: STP completed || 4 tries, 3102735 fired transitions, 2420 secs || 2474108 markings, 388708691 edges, 955 markings/sec, 2420 secs
lola: STP completed || 4 tries, 3109127 fired transitions, 2425 secs || 2478780 markings, 389512435 edges, 934 markings/sec, 2425 secs
lola: STP completed || 4 tries, 3115515 fired transitions, 2430 secs || 2483636 markings, 390311697 edges, 971 markings/sec, 2430 secs
lola: STP completed || 4 tries, 3122021 fired transitions, 2435 secs || 2488723 markings, 391106114 edges, 1017 markings/sec, 2435 secs
lola: STP completed || 4 tries, 3128453 fired transitions, 2440 secs || 2493800 markings, 391900607 edges, 1015 markings/sec, 2440 secs
lola: STP completed || 4 tries, 3134886 fired transitions, 2445 secs || 2498640 markings, 392689465 edges, 968 markings/sec, 2445 secs
lola: STP completed || 4 tries, 3141386 fired transitions, 2450 secs || 2503583 markings, 393491294 edges, 989 markings/sec, 2450 secs
lola: STP completed || 4 tries, 3147880 fired transitions, 2455 secs || 2508743 markings, 394283755 edges, 1032 markings/sec, 2455 secs
lola: STP completed || 4 tries, 3154392 fired transitions, 2460 secs || 2514014 markings, 395083109 edges, 1054 markings/sec, 2460 secs
lola: STP completed || 4 tries, 3160736 fired transitions, 2465 secs || 2518957 markings, 395870915 edges, 989 markings/sec, 2465 secs
lola: STP completed || 4 tries, 3166738 fired transitions, 2470 secs || 2523388 markings, 396656260 edges, 886 markings/sec, 2470 secs
lola: STP completed || 4 tries, 3173094 fired transitions, 2475 secs || 2527968 markings, 397450293 edges, 916 markings/sec, 2475 secs
lola: STP completed || 4 tries, 3179427 fired transitions, 2480 secs || 2532755 markings, 398258083 edges, 957 markings/sec, 2480 secs
lola: STP completed || 4 tries, 3185769 fired transitions, 2485 secs || 2537231 markings, 399057820 edges, 895 markings/sec, 2485 secs
lola: STP completed || 4 tries, 3192133 fired transitions, 2490 secs || 2541705 markings, 399862320 edges, 895 markings/sec, 2490 secs
lola: STP completed || 4 tries, 3198510 fired transitions, 2495 secs || 2546288 markings, 400666562 edges, 917 markings/sec, 2495 secs
lola: STP completed || 4 tries, 3204985 fired transitions, 2500 secs || 2550979 markings, 401468391 edges, 938 markings/sec, 2500 secs
lola: STP completed || 4 tries, 3211430 fired transitions, 2505 secs || 2555728 markings, 402271494 edges, 950 markings/sec, 2505 secs
lola: STP completed || 4 tries, 3217905 fired transitions, 2510 secs || 2560676 markings, 403077269 edges, 990 markings/sec, 2510 secs
lola: STP completed || 4 tries, 3224351 fired transitions, 2515 secs || 2565460 markings, 403892873 edges, 957 markings/sec, 2515 secs
lola: STP completed || 4 tries, 3230683 fired transitions, 2520 secs || 2570216 markings, 404681008 edges, 951 markings/sec, 2520 secs
lola: STP completed || 4 tries, 3236843 fired transitions, 2525 secs || 2574617 markings, 405451991 edges, 880 markings/sec, 2525 secs
lola: STP completed || 4 tries, 3243061 fired transitions, 2530 secs || 2579254 markings, 406225091 edges, 927 markings/sec, 2530 secs
lola: STP completed || 4 tries, 3249400 fired transitions, 2535 secs || 2584092 markings, 407023420 edges, 968 markings/sec, 2535 secs
lola: STP completed || 4 tries, 3255886 fired transitions, 2540 secs || 2589405 markings, 407826602 edges, 1063 markings/sec, 2540 secs
lola: STP completed || 4 tries, 3262357 fired transitions, 2545 secs || 2594794 markings, 408630035 edges, 1078 markings/sec, 2545 secs
lola: STP completed || 4 tries, 3268822 fired transitions, 2550 secs || 2600110 markings, 409440776 edges, 1063 markings/sec, 2550 secs
lola: STP completed || 4 tries, 3275224 fired transitions, 2555 secs || 2605724 markings, 410249101 edges, 1123 markings/sec, 2555 secs
lola: STP completed || 4 tries, 3281632 fired transitions, 2560 secs || 2610860 markings, 411056151 edges, 1027 markings/sec, 2560 secs
lola: STP completed || 4 tries, 3288008 fired transitions, 2565 secs || 2616418 markings, 411858838 edges, 1112 markings/sec, 2565 secs
lola: STP completed || 4 tries, 3294383 fired transitions, 2570 secs || 2622020 markings, 412664597 edges, 1120 markings/sec, 2570 secs
lola: STP completed || 4 tries, 3299970 fired transitions, 2575 secs || 2626461 markings, 413458851 edges, 888 markings/sec, 2575 secs
lola: STP completed || 4 tries, 3306338 fired transitions, 2580 secs || 2630919 markings, 414259780 edges, 892 markings/sec, 2580 secs
lola: STP completed || 4 tries, 3312648 fired transitions, 2585 secs || 2635398 markings, 415066053 edges, 896 markings/sec, 2585 secs
lola: STP completed || 4 tries, 3319038 fired transitions, 2590 secs || 2639939 markings, 415869754 edges, 908 markings/sec, 2590 secs
lola: STP completed || 4 tries, 3325433 fired transitions, 2595 secs || 2644507 markings, 416674509 edges, 914 markings/sec, 2595 secs
lola: STP completed || 4 tries, 3331848 fired transitions, 2600 secs || 2649160 markings, 417474071 edges, 931 markings/sec, 2600 secs
lola: STP completed || 4 tries, 3338251 fired transitions, 2605 secs || 2653771 markings, 418274350 edges, 922 markings/sec, 2605 secs
lola: STP completed || 4 tries, 3344165 fired transitions, 2610 secs || 2658134 markings, 419058209 edges, 873 markings/sec, 2610 secs
lola: STP completed || 4 tries, 3350639 fired transitions, 2615 secs || 2662941 markings, 419858010 edges, 961 markings/sec, 2615 secs
lola: STP completed || 4 tries, 3357108 fired transitions, 2620 secs || 2668146 markings, 420660865 edges, 1041 markings/sec, 2620 secs
lola: STP completed || 4 tries, 3363597 fired transitions, 2625 secs || 2673079 markings, 421464443 edges, 987 markings/sec, 2625 secs
lola: STP completed || 4 tries, 3369516 fired transitions, 2630 secs || 2677811 markings, 422267159 edges, 946 markings/sec, 2630 secs
lola: STP completed || 4 tries, 3375884 fired transitions, 2635 secs || 2682970 markings, 423073170 edges, 1032 markings/sec, 2635 secs
lola: STP completed || 4 tries, 3382252 fired transitions, 2640 secs || 2687740 markings, 423881291 edges, 954 markings/sec, 2640 secs
lola: STP completed || 4 tries, 3388634 fired transitions, 2645 secs || 2692583 markings, 424695944 edges, 969 markings/sec, 2645 secs
lola: STP completed || 4 tries, 3394705 fired transitions, 2650 secs || 2697137 markings, 425473528 edges, 911 markings/sec, 2650 secs
lola: STP completed || 4 tries, 3400693 fired transitions, 2655 secs || 2702014 markings, 426270597 edges, 975 markings/sec, 2655 secs
lola: STP completed || 4 tries, 3407146 fired transitions, 2660 secs || 2707047 markings, 427077040 edges, 1007 markings/sec, 2660 secs
lola: STP completed || 4 tries, 3413562 fired transitions, 2665 secs || 2712163 markings, 427881347 edges, 1023 markings/sec, 2665 secs
lola: STP completed || 4 tries, 3419704 fired transitions, 2670 secs || 2717125 markings, 428679302 edges, 992 markings/sec, 2670 secs
lola: STP completed || 4 tries, 3426139 fired transitions, 2675 secs || 2722333 markings, 429479030 edges, 1042 markings/sec, 2675 secs
lola: STP completed || 4 tries, 3432571 fired transitions, 2680 secs || 2728002 markings, 430276369 edges, 1134 markings/sec, 2680 secs
lola: STP completed || 4 tries, 3439014 fired transitions, 2685 secs || 2733695 markings, 431088966 edges, 1139 markings/sec, 2685 secs
lola: STP completed || 4 tries, 3445380 fired transitions, 2690 secs || 2738871 markings, 431904574 edges, 1035 markings/sec, 2690 secs
lola: STP completed || 4 tries, 3451745 fired transitions, 2695 secs || 2744437 markings, 432691649 edges, 1113 markings/sec, 2695 secs
lola: STP completed || 4 tries, 3458166 fired transitions, 2700 secs || 2749852 markings, 433485609 edges, 1083 markings/sec, 2700 secs
lola: STP completed || 4 tries, 3464589 fired transitions, 2705 secs || 2755067 markings, 434277400 edges, 1043 markings/sec, 2705 secs
lola: STP completed || 4 tries, 3471034 fired transitions, 2710 secs || 2760171 markings, 435066554 edges, 1021 markings/sec, 2710 secs
lola: STP completed || 4 tries, 3477494 fired transitions, 2715 secs || 2765500 markings, 435858622 edges, 1066 markings/sec, 2715 secs
lola: STP completed || 4 tries, 3483925 fired transitions, 2720 secs || 2771402 markings, 436666557 edges, 1180 markings/sec, 2720 secs
lola: STP completed || 4 tries, 3490310 fired transitions, 2725 secs || 2776584 markings, 437462744 edges, 1036 markings/sec, 2725 secs
lola: STP completed || 4 tries, 3496761 fired transitions, 2730 secs || 2782464 markings, 438281772 edges, 1176 markings/sec, 2730 secs
lola: STP completed || 4 tries, 3503138 fired transitions, 2735 secs || 2788316 markings, 439102874 edges, 1170 markings/sec, 2735 secs
lola: STP completed || 4 tries, 3509517 fired transitions, 2740 secs || 2793734 markings, 439907952 edges, 1084 markings/sec, 2740 secs
lola: STP completed || 4 tries, 3515897 fired transitions, 2745 secs || 2799041 markings, 440711616 edges, 1061 markings/sec, 2745 secs
lola: STP completed || 4 tries, 3521801 fired transitions, 2750 secs || 2804240 markings, 441506838 edges, 1040 markings/sec, 2750 secs
lola: STP completed || 4 tries, 3528226 fired transitions, 2755 secs || 2809800 markings, 442325011 edges, 1112 markings/sec, 2755 secs
lola: STP completed || 4 tries, 3534612 fired transitions, 2760 secs || 2815215 markings, 443131611 edges, 1083 markings/sec, 2760 secs
lola: STP completed || 4 tries, 3540976 fired transitions, 2765 secs || 2820788 markings, 443936678 edges, 1115 markings/sec, 2765 secs
lola: STP completed || 4 tries, 3547409 fired transitions, 2770 secs || 2826005 markings, 444741285 edges, 1043 markings/sec, 2770 secs
lola: STP completed || 4 tries, 3553704 fired transitions, 2775 secs || 2831700 markings, 445532045 edges, 1139 markings/sec, 2775 secs
lola: STP completed || 4 tries, 3559490 fired transitions, 2780 secs || 2836724 markings, 446315583 edges, 1005 markings/sec, 2780 secs
lola: STP completed || 4 tries, 3565893 fired transitions, 2785 secs || 2841653 markings, 447119780 edges, 986 markings/sec, 2785 secs
lola: STP completed || 4 tries, 3572344 fired transitions, 2790 secs || 2846498 markings, 447916115 edges, 969 markings/sec, 2790 secs
lola: STP completed || 4 tries, 3578784 fired transitions, 2795 secs || 2851528 markings, 448719841 edges, 1006 markings/sec, 2795 secs
lola: STP completed || 4 tries, 3585228 fired transitions, 2800 secs || 2856165 markings, 449522693 edges, 927 markings/sec, 2800 secs
lola: STP completed || 4 tries, 3591735 fired transitions, 2805 secs || 2860713 markings, 450319477 edges, 910 markings/sec, 2805 secs
lola: STP completed || 4 tries, 3598144 fired transitions, 2810 secs || 2865990 markings, 451125988 edges, 1055 markings/sec, 2810 secs
lola: STP completed || 4 tries, 3604431 fired transitions, 2815 secs || 2870821 markings, 451910779 edges, 966 markings/sec, 2815 secs
lola: STP completed || 4 tries, 3610575 fired transitions, 2820 secs || 2875630 markings, 452681622 edges, 962 markings/sec, 2820 secs
lola: STP completed || 4 tries, 3616914 fired transitions, 2825 secs || 2880073 markings, 453427582 edges, 889 markings/sec, 2825 secs
lola: STP completed || 4 tries, 3623309 fired transitions, 2830 secs || 2884765 markings, 454225651 edges, 938 markings/sec, 2830 secs
lola: STP completed || 4 tries, 3629694 fired transitions, 2835 secs || 2889254 markings, 455030460 edges, 898 markings/sec, 2835 secs
lola: STP completed || 4 tries, 3636074 fired transitions, 2840 secs || 2893902 markings, 455839333 edges, 930 markings/sec, 2840 secs
lola: STP completed || 4 tries, 3642515 fired transitions, 2845 secs || 2898995 markings, 456635079 edges, 1019 markings/sec, 2845 secs
lola: STP completed || 4 tries, 3648995 fired transitions, 2850 secs || 2904143 markings, 457433120 edges, 1030 markings/sec, 2850 secs
lola: STP completed || 4 tries, 3655490 fired transitions, 2855 secs || 2909253 markings, 458224967 edges, 1022 markings/sec, 2855 secs
lola: STP completed || 4 tries, 3661917 fired transitions, 2860 secs || 2914663 markings, 459014482 edges, 1082 markings/sec, 2860 secs
lola: STP completed || 4 tries, 3668356 fired transitions, 2865 secs || 2920213 markings, 459820879 edges, 1110 markings/sec, 2865 secs
lola: STP completed || 4 tries, 3674772 fired transitions, 2870 secs || 2925328 markings, 460615440 edges, 1023 markings/sec, 2870 secs
lola: STP completed || 4 tries, 3681162 fired transitions, 2875 secs || 2930427 markings, 461417840 edges, 1020 markings/sec, 2875 secs
lola: STP completed || 4 tries, 3687560 fired transitions, 2880 secs || 2936100 markings, 462225207 edges, 1135 markings/sec, 2880 secs
lola: STP completed || 4 tries, 3693954 fired transitions, 2885 secs || 2941424 markings, 463033419 edges, 1065 markings/sec, 2885 secs
lola: STP completed || 4 tries, 3700100 fired transitions, 2890 secs || 2946515 markings, 463804988 edges, 1018 markings/sec, 2890 secs
lola: STP completed || 4 tries, 3706239 fired transitions, 2895 secs || 2951165 markings, 464577584 edges, 930 markings/sec, 2895 secs
lola: STP completed || 4 tries, 3712319 fired transitions, 2900 secs || 2957090 markings, 465393308 edges, 1185 markings/sec, 2900 secs
lola: STP completed || 4 tries, 3718218 fired transitions, 2905 secs || 2962057 markings, 466190231 edges, 993 markings/sec, 2905 secs
lola: STP completed || 4 tries, 3724382 fired transitions, 2910 secs || 2967327 markings, 466961758 edges, 1054 markings/sec, 2910 secs
lola: STP completed || 4 tries, 3730382 fired transitions, 2915 secs || 2972706 markings, 467758096 edges, 1076 markings/sec, 2915 secs
lola: STP completed || 4 tries, 3736272 fired transitions, 2920 secs || 2977935 markings, 468543233 edges, 1046 markings/sec, 2920 secs
lola: STP completed || 4 tries, 3742623 fired transitions, 2925 secs || 2982811 markings, 469339604 edges, 975 markings/sec, 2925 secs
lola: STP completed || 4 tries, 3748825 fired transitions, 2930 secs || 2987599 markings, 470104411 edges, 958 markings/sec, 2930 secs
lola: STP completed || 4 tries, 3755011 fired transitions, 2935 secs || 2993323 markings, 470909394 edges, 1145 markings/sec, 2935 secs
lola: STP completed || 4 tries, 3761463 fired transitions, 2940 secs || 2999205 markings, 471715861 edges, 1176 markings/sec, 2940 secs
lola: STP completed || 4 tries, 3767859 fired transitions, 2945 secs || 3004462 markings, 472512744 edges, 1051 markings/sec, 2945 secs
lola: STP completed || 4 tries, 3774330 fired transitions, 2950 secs || 3010161 markings, 473308378 edges, 1140 markings/sec, 2950 secs
lola: STP completed || 4 tries, 3780815 fired transitions, 2955 secs || 3015483 markings, 474106732 edges, 1064 markings/sec, 2955 secs
lola: STP completed || 4 tries, 3787292 fired transitions, 2960 secs || 3021059 markings, 474918640 edges, 1115 markings/sec, 2960 secs
lola: STP completed || 4 tries, 3793794 fired transitions, 2965 secs || 3026875 markings, 475726971 edges, 1163 markings/sec, 2965 secs
lola: STP completed || 4 tries, 3800339 fired transitions, 2970 secs || 3031927 markings, 476533250 edges, 1010 markings/sec, 2970 secs
lola: STP completed || 4 tries, 3806803 fired transitions, 2975 secs || 3037203 markings, 477322067 edges, 1055 markings/sec, 2975 secs
lola: STP completed || 4 tries, 3813283 fired transitions, 2980 secs || 3042339 markings, 478112817 edges, 1027 markings/sec, 2980 secs
lola: STP completed || 4 tries, 3819680 fired transitions, 2985 secs || 3047627 markings, 478917505 edges, 1058 markings/sec, 2985 secs
lola: STP completed || 4 tries, 3825621 fired transitions, 2990 secs || 3052839 markings, 479710070 edges, 1042 markings/sec, 2990 secs
lola: STP completed || 4 tries, 3832060 fired transitions, 2995 secs || 3058170 markings, 480512140 edges, 1066 markings/sec, 2995 secs
lola: STP completed || 4 tries, 3838506 fired transitions, 3000 secs || 3062699 markings, 481309129 edges, 906 markings/sec, 3000 secs
lola: STP completed || 4 tries, 3844954 fired transitions, 3005 secs || 3067353 markings, 482103223 edges, 931 markings/sec, 3005 secs
lola: STP completed || 4 tries, 3851408 fired transitions, 3010 secs || 3072105 markings, 482895531 edges, 950 markings/sec, 3010 secs
lola: STP completed || 4 tries, 3857894 fired transitions, 3015 secs || 3077080 markings, 483700116 edges, 995 markings/sec, 3015 secs
lola: STP completed || 4 tries, 3864466 fired transitions, 3020 secs || 3082519 markings, 484509180 edges, 1088 markings/sec, 3020 secs
lola: STP completed || 4 tries, 3870987 fired transitions, 3025 secs || 3088375 markings, 485321768 edges, 1171 markings/sec, 3025 secs
lola: STP completed || 4 tries, 3877326 fired transitions, 3030 secs || 3093854 markings, 486114798 edges, 1096 markings/sec, 3030 secs
lola: STP completed || 4 tries, 3883665 fired transitions, 3035 secs || 3098550 markings, 486842016 edges, 939 markings/sec, 3035 secs
lola: STP completed || 4 tries, 3890070 fired transitions, 3040 secs || 3104031 markings, 487639112 edges, 1096 markings/sec, 3040 secs
lola: STP completed || 4 tries, 3896444 fired transitions, 3045 secs || 3109653 markings, 488432522 edges, 1124 markings/sec, 3045 secs
lola: STP completed || 4 tries, 3902793 fired transitions, 3050 secs || 3114998 markings, 489229400 edges, 1069 markings/sec, 3050 secs
lola: STP completed || 4 tries, 3909163 fired transitions, 3055 secs || 3120599 markings, 490020664 edges, 1120 markings/sec, 3055 secs
lola: STP completed || 4 tries, 3915526 fired transitions, 3060 secs || 3126073 markings, 490819808 edges, 1095 markings/sec, 3060 secs
lola: STP completed || 4 tries, 3921924 fired transitions, 3065 secs || 3131937 markings, 491615112 edges, 1173 markings/sec, 3065 secs
lola: STP completed || 4 tries, 3928249 fired transitions, 3070 secs || 3137445 markings, 492410935 edges, 1102 markings/sec, 3070 secs
lola: STP completed || 4 tries, 3934590 fired transitions, 3075 secs || 3142643 markings, 493202078 edges, 1040 markings/sec, 3075 secs
lola: STP completed || 4 tries, 3940965 fired transitions, 3080 secs || 3148358 markings, 494002607 edges, 1143 markings/sec, 3080 secs
lola: STP completed || 4 tries, 3947372 fired transitions, 3085 secs || 3154450 markings, 494806932 edges, 1218 markings/sec, 3085 secs
lola: STP completed || 4 tries, 3953719 fired transitions, 3090 secs || 3159313 markings, 495601800 edges, 973 markings/sec, 3090 secs
lola: STP completed || 4 tries, 3960125 fired transitions, 3095 secs || 3163707 markings, 496398014 edges, 879 markings/sec, 3095 secs
lola: STP completed || 4 tries, 3966526 fired transitions, 3100 secs || 3168554 markings, 497202404 edges, 969 markings/sec, 3100 secs
lola: STP completed || 4 tries, 3972892 fired transitions, 3105 secs || 3173667 markings, 497996728 edges, 1023 markings/sec, 3105 secs
lola: STP completed || 4 tries, 3979383 fired transitions, 3110 secs || 3179298 markings, 498808020 edges, 1126 markings/sec, 3110 secs
lola: STP completed || 4 tries, 3985783 fired transitions, 3115 secs || 3185037 markings, 499605403 edges, 1148 markings/sec, 3115 secs
lola: STP completed || 4 tries, 3992154 fired transitions, 3120 secs || 3190388 markings, 500400693 edges, 1070 markings/sec, 3120 secs
lola: STP completed || 4 tries, 3998529 fired transitions, 3125 secs || 3195810 markings, 501200854 edges, 1084 markings/sec, 3125 secs
lola: STP completed || 5 tries, 4004930 fired transitions, 3130 secs || 3201152 markings, 502000672 edges, 1068 markings/sec, 3130 secs
lola: STP completed || 5 tries, 4011130 fired transitions, 3135 secs || 3206435 markings, 502760499 edges, 1057 markings/sec, 3135 secs
lola: STP completed || 5 tries, 4017481 fired transitions, 3140 secs || 3211388 markings, 503549829 edges, 991 markings/sec, 3140 secs
lola: STP completed || 5 tries, 4023928 fired transitions, 3145 secs || 3216492 markings, 504344272 edges, 1021 markings/sec, 3145 secs
lola: STP completed || 5 tries, 4030359 fired transitions, 3150 secs || 3221756 markings, 505141656 edges, 1053 markings/sec, 3150 secs
lola: STP completed || 5 tries, 4036815 fired transitions, 3155 secs || 3226735 markings, 505927347 edges, 996 markings/sec, 3155 secs
lola: STP completed || 5 tries, 4043263 fired transitions, 3160 secs || 3232166 markings, 506724641 edges, 1086 markings/sec, 3160 secs
lola: STP completed || 5 tries, 4049675 fired transitions, 3165 secs || 3236977 markings, 507525998 edges, 962 markings/sec, 3165 secs
lola: STP completed || 5 tries, 4056124 fired transitions, 3170 secs || 3242278 markings, 508266897 edges, 1060 markings/sec, 3170 secs
lola: STP completed || 5 tries, 4062508 fired transitions, 3175 secs || 3247687 markings, 509057401 edges, 1082 markings/sec, 3175 secs
lola: STP completed || 5 tries, 4068697 fired transitions, 3180 secs || 3252524 markings, 509817227 edges, 967 markings/sec, 3180 secs
lola: STP completed || 5 tries, 4074814 fired transitions, 3185 secs || 3257839 markings, 510593776 edges, 1063 markings/sec, 3185 secs
lola: STP completed || 5 tries, 4080966 fired transitions, 3190 secs || 3263015 markings, 511368440 edges, 1035 markings/sec, 3190 secs
lola: STP completed || 5 tries, 4087025 fired transitions, 3195 secs || 3268125 markings, 512138834 edges, 1022 markings/sec, 3195 secs
lola: STP completed || 5 tries, 4093137 fired transitions, 3200 secs || 3273722 markings, 512938408 edges, 1119 markings/sec, 3200 secs
lola: STP completed || 5 tries, 4099576 fired transitions, 3205 secs || 3278718 markings, 513734102 edges, 999 markings/sec, 3205 secs
lola: STP completed || 5 tries, 4105991 fired transitions, 3210 secs || 3284259 markings, 514527585 edges, 1108 markings/sec, 3210 secs
lola: STP completed || 5 tries, 4112430 fired transitions, 3215 secs || 3289857 markings, 515324898 edges, 1120 markings/sec, 3215 secs
lola: STP completed || 5 tries, 4118846 fired transitions, 3220 secs || 3295253 markings, 516090726 edges, 1079 markings/sec, 3220 secs
lola: STP completed || 5 tries, 4125268 fired transitions, 3225 secs || 3300898 markings, 516888295 edges, 1129 markings/sec, 3225 secs
lola: STP completed || 5 tries, 4131712 fired transitions, 3230 secs || 3306556 markings, 517685730 edges, 1132 markings/sec, 3230 secs
lola: STP completed || 5 tries, 4138165 fired transitions, 3235 secs || 3311632 markings, 518480037 edges, 1015 markings/sec, 3235 secs
lola: STP completed || 5 tries, 4144650 fired transitions, 3240 secs || 3316709 markings, 519262491 edges, 1015 markings/sec, 3240 secs
lola: STP completed || 5 tries, 4151087 fired transitions, 3245 secs || 3322130 markings, 520061556 edges, 1084 markings/sec, 3245 secs
lola: STP completed || 5 tries, 4157515 fired transitions, 3250 secs || 3327153 markings, 520868625 edges, 1005 markings/sec, 3250 secs
lola: STP completed || 5 tries, 4163907 fired transitions, 3255 secs || 3332438 markings, 521656948 edges, 1057 markings/sec, 3255 secs
lola: STP completed || 5 tries, 4170268 fired transitions, 3260 secs || 3337945 markings, 522462576 edges, 1101 markings/sec, 3260 secs
lola: STP completed || 5 tries, 4176379 fired transitions, 3265 secs || 3343894 markings, 523240402 edges, 1190 markings/sec, 3265 secs
lola: STP completed || 5 tries, 4182550 fired transitions, 3270 secs || 3349142 markings, 524011324 edges, 1050 markings/sec, 3270 secs
lola: STP completed || 5 tries, 4188733 fired transitions, 3275 secs || 3354023 markings, 524780948 edges, 976 markings/sec, 3275 secs
lola: STP completed || 5 tries, 4194883 fired transitions, 3280 secs || 3359157 markings, 525549754 edges, 1027 markings/sec, 3280 secs
lola: STP completed || 5 tries, 4201055 fired transitions, 3285 secs || 3363829 markings, 526267231 edges, 934 markings/sec, 3285 secs
lola: STP completed || 5 tries, 4207481 fired transitions, 3290 secs || 3369318 markings, 527063421 edges, 1098 markings/sec, 3290 secs
lola: STP completed || 5 tries, 4213590 fired transitions, 3295 secs || 3374073 markings, 527835005 edges, 951 markings/sec, 3295 secs
lola: STP completed || 5 tries, 4220047 fired transitions, 3300 secs || 3378888 markings, 528590146 edges, 963 markings/sec, 3300 secs
lola: STP completed || 5 tries, 4226464 fired transitions, 3305 secs || 3384267 markings, 529390698 edges, 1076 markings/sec, 3305 secs
lola: STP completed || 5 tries, 4232776 fired transitions, 3310 secs || 3389367 markings, 530123164 edges, 1020 markings/sec, 3310 secs
lola: STP completed || 5 tries, 4239177 fired transitions, 3315 secs || 3394803 markings, 530931981 edges, 1087 markings/sec, 3315 secs
lola: STP completed || 5 tries, 4245558 fired transitions, 3320 secs || 3400064 markings, 531726930 edges, 1052 markings/sec, 3320 secs
lola: STP completed || 5 tries, 4251975 fired transitions, 3325 secs || 3405350 markings, 532522178 edges, 1057 markings/sec, 3325 secs
lola: STP completed || 5 tries, 4258369 fired transitions, 3330 secs || 3410222 markings, 533314401 edges, 974 markings/sec, 3330 secs
lola: STP completed || 5 tries, 4264812 fired transitions, 3335 secs || 3414727 markings, 534117792 edges, 901 markings/sec, 3335 secs
lola: STP completed || 5 tries, 4271232 fired transitions, 3340 secs || 3419154 markings, 534921625 edges, 885 markings/sec, 3340 secs
lola: STP completed || 5 tries, 4277637 fired transitions, 3345 secs || 3423628 markings, 535724457 edges, 895 markings/sec, 3345 secs
lola: STP completed || 5 tries, 4284080 fired transitions, 3350 secs || 3428190 markings, 536524251 edges, 912 markings/sec, 3350 secs
lola: STP completed || 5 tries, 4290464 fired transitions, 3355 secs || 3432428 markings, 537259548 edges, 848 markings/sec, 3355 secs
lola: STP completed || 5 tries, 4296857 fired transitions, 3360 secs || 3437083 markings, 538057180 edges, 931 markings/sec, 3360 secs
lola: STP completed || 5 tries, 4302516 fired transitions, 3365 secs || 3441631 markings, 538856217 edges, 910 markings/sec, 3365 secs
lola: STP completed || 5 tries, 4308954 fired transitions, 3370 secs || 3446105 markings, 539652001 edges, 895 markings/sec, 3370 secs
lola: STP completed || 5 tries, 4315294 fired transitions, 3375 secs || 3450278 markings, 540396901 edges, 835 markings/sec, 3375 secs
lola: STP completed || 5 tries, 4321753 fired transitions, 3380 secs || 3454730 markings, 541200105 edges, 890 markings/sec, 3380 secs
lola: STP completed || 5 tries, 4328184 fired transitions, 3385 secs || 3459160 markings, 541951025 edges, 886 markings/sec, 3385 secs
lola: STP completed || 5 tries, 4334608 fired transitions, 3390 secs || 3463782 markings, 542747716 edges, 924 markings/sec, 3390 secs
lola: STP completed || 5 tries, 4341084 fired transitions, 3395 secs || 3468369 markings, 543545014 edges, 917 markings/sec, 3395 secs
lola: STP completed || 5 tries, 4347548 fired transitions, 3400 secs || 3473122 markings, 544344023 edges, 951 markings/sec, 3400 secs
lola: STP completed || 5 tries, 4354013 fired transitions, 3405 secs || 3477617 markings, 545137985 edges, 899 markings/sec, 3405 secs
lola: STP completed || 5 tries, 4360435 fired transitions, 3410 secs || 3482390 markings, 545929743 edges, 955 markings/sec, 3410 secs
lola: STP completed || 5 tries, 4366842 fired transitions, 3415 secs || 3487257 markings, 546726484 edges, 973 markings/sec, 3415 secs
lola: STP completed || 5 tries, 4373278 fired transitions, 3420 secs || 3491992 markings, 547530288 edges, 947 markings/sec, 3420 secs
lola: STP completed || 5 tries, 4379718 fired transitions, 3425 secs || 3496696 markings, 548327269 edges, 941 markings/sec, 3425 secs
lola: STP completed || 5 tries, 4386112 fired transitions, 3430 secs || 3501321 markings, 549121498 edges, 925 markings/sec, 3430 secs
lola: STP completed || 5 tries, 4392552 fired transitions, 3435 secs || 3506111 markings, 549917590 edges, 958 markings/sec, 3435 secs
lola: STP completed || 5 tries, 4399011 fired transitions, 3440 secs || 3510654 markings, 550718716 edges, 909 markings/sec, 3440 secs
lola: STP completed || 5 tries, 4405451 fired transitions, 3445 secs || 3515345 markings, 551521051 edges, 938 markings/sec, 3445 secs
lola: STP completed || 5 tries, 4411874 fired transitions, 3450 secs || 3520049 markings, 552324934 edges, 941 markings/sec, 3450 secs
lola: STP completed || 5 tries, 4418283 fired transitions, 3455 secs || 3524663 markings, 553121463 edges, 923 markings/sec, 3455 secs
lola: STP completed || 5 tries, 4424742 fired transitions, 3460 secs || 3529361 markings, 553921975 edges, 940 markings/sec, 3460 secs
lola: STP completed || 5 tries, 4431190 fired transitions, 3465 secs || 3533814 markings, 554688350 edges, 891 markings/sec, 3465 secs
lola: STP completed || 5 tries, 4437586 fired transitions, 3470 secs || 3538561 markings, 555489216 edges, 949 markings/sec, 3470 secs
lola: STP completed || 5 tries, 4444067 fired transitions, 3475 secs || 3543489 markings, 556284286 edges, 986 markings/sec, 3475 secs
lola: STP completed || 5 tries, 4450434 fired transitions, 3480 secs || 3548568 markings, 557074853 edges, 1016 markings/sec, 3480 secs
lola: STP completed || 5 tries, 4456847 fired transitions, 3485 secs || 3554220 markings, 557876235 edges, 1130 markings/sec, 3485 secs
lola: STP completed || 5 tries, 4463215 fired transitions, 3490 secs || 3559671 markings, 558670785 edges, 1090 markings/sec, 3490 secs
lola: STP completed || 5 tries, 4469659 fired transitions, 3495 secs || 3565135 markings, 559472942 edges, 1093 markings/sec, 3495 secs
lola: STP completed || 5 tries, 4476076 fired transitions, 3500 secs || 3570525 markings, 560265347 edges, 1078 markings/sec, 3500 secs
lola: STP completed || 5 tries, 4482314 fired transitions, 3505 secs || 3575584 markings, 561031138 edges, 1012 markings/sec, 3505 secs
lola: STP completed || 5 tries, 4488458 fired transitions, 3510 secs || 3580921 markings, 561789164 edges, 1067 markings/sec, 3510 secs
lola: STP completed || 5 tries, 4494628 fired transitions, 3515 secs || 3585875 markings, 562555942 edges, 991 markings/sec, 3515 secs
lola: STP completed || 5 tries, 4500750 fired transitions, 3520 secs || 3590893 markings, 563315833 edges, 1004 markings/sec, 3520 secs
lola: STP completed || 5 tries, 4506894 fired transitions, 3525 secs || 3596357 markings, 564087755 edges, 1093 markings/sec, 3525 secs
lola: STP completed || 5 tries, 4513100 fired transitions, 3530 secs || 3601145 markings, 564846527 edges, 958 markings/sec, 3530 secs
lola: STP completed || 5 tries, 4519254 fired transitions, 3535 secs || 3606323 markings, 565616093 edges, 1036 markings/sec, 3535 secs
lola: STP completed || 5 tries, 4525277 fired transitions, 3540 secs || 3611656 markings, 566403462 edges, 1067 markings/sec, 3540 secs
lola: STP completed || 5 tries, 4531705 fired transitions, 3545 secs || 3616998 markings, 567194156 edges, 1068 markings/sec, 3545 secs
lola: STP completed || 5 tries, 4538082 fired transitions, 3550 secs || 3622175 markings, 567981334 edges, 1035 markings/sec, 3550 secs
lola: STP completed || 5 tries, 4544512 fired transitions, 3555 secs || 3627238 markings, 568773679 edges, 1013 markings/sec, 3555 secs
lola: STP completed || 5 tries, 4550920 fired transitions, 3560 secs || 3632654 markings, 569569090 edges, 1083 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 4037244 KB
lola: time consumption: 3569 seconds
BK_STOP 1526684219416
--------------------
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="DLCround-PT-13a"
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/DLCround-PT-13a.tgz
mv DLCround-PT-13a 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 DLCround-PT-13a, 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 r064-smll-152649735300146"
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 ;