fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306000090
Last Updated
June 26, 2018

About the Execution of LoLA for BART-PT-030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2004.780 3571111.00 7271184.00 717.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 22M
-rw-r--r-- 1 mcc users 952K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 508K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 264K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 625K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 272K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 653K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 7.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BART-PT-030, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306000090
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-030-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526518638147

info: Time: 3600 - MCC
===========================================================================================
prep: translating BART-PT-030 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating BART-PT-030 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ BART-PT-030 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10230/65536 symbol table entries, 791 collisions
lola: preprocessing...
lola: Size of bit vector: 4170
lola: finding significant places
lola: 4170 places, 6060 transitions, 3930 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3927 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-030-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: transitions are chosen randomly
lola: computed 438 generators (57 in search tree, 381 by composition)
lola: representing 2.12202E+33 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 124652 variables and 721264 clauses shipped to Minisat
lola: STP running || 1 tries, 4780 fired transitions, 0 secs || 3504 markings, 4524 edges, 701 markings/sec, 0 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 9455 fired transitions, 5 secs || 8477 markings, 10888 edges, 995 markings/sec, 5 secs
lola: STP completed || 1 tries, 14092 fired transitions, 10 secs || 13459 markings, 17145 edges, 996 markings/sec, 10 secs
lola: STP completed || 1 tries, 18787 fired transitions, 15 secs || 18432 markings, 23390 edges, 995 markings/sec, 15 secs
lola: STP completed || 1 tries, 23471 fired transitions, 20 secs || 23359 markings, 29690 edges, 985 markings/sec, 20 secs
lola: STP completed || 1 tries, 28106 fired transitions, 25 secs || 28048 markings, 35459 edges, 938 markings/sec, 25 secs
lola: STP completed || 1 tries, 32811 fired transitions, 30 secs || 32953 markings, 41626 edges, 981 markings/sec, 30 secs
lola: STP completed || 1 tries, 37465 fired transitions, 35 secs || 37807 markings, 47797 edges, 971 markings/sec, 35 secs
lola: STP completed || 1 tries, 42100 fired transitions, 40 secs || 42714 markings, 54045 edges, 981 markings/sec, 40 secs
lola: STP completed || 1 tries, 46712 fired transitions, 45 secs || 47616 markings, 60473 edges, 980 markings/sec, 45 secs
lola: STP completed || 1 tries, 51476 fired transitions, 50 secs || 52694 markings, 66845 edges, 1016 markings/sec, 50 secs
lola: STP completed || 1 tries, 56164 fired transitions, 55 secs || 57638 markings, 73119 edges, 989 markings/sec, 55 secs
lola: STP completed || 1 tries, 60803 fired transitions, 60 secs || 62625 markings, 79601 edges, 997 markings/sec, 60 secs
lola: STP completed || 1 tries, 65411 fired transitions, 65 secs || 67494 markings, 86481 edges, 974 markings/sec, 65 secs
lola: STP completed || 1 tries, 70037 fired transitions, 70 secs || 72380 markings, 92672 edges, 977 markings/sec, 70 secs
lola: STP completed || 1 tries, 74777 fired transitions, 75 secs || 77304 markings, 99062 edges, 985 markings/sec, 75 secs
lola: STP completed || 1 tries, 79442 fired transitions, 80 secs || 82114 markings, 104978 edges, 962 markings/sec, 80 secs
lola: STP completed || 1 tries, 84059 fired transitions, 85 secs || 86970 markings, 111042 edges, 971 markings/sec, 85 secs
lola: STP completed || 1 tries, 88244 fired transitions, 90 secs || 91422 markings, 116741 edges, 890 markings/sec, 90 secs
lola: STP completed || 1 tries, 92955 fired transitions, 95 secs || 96405 markings, 122665 edges, 997 markings/sec, 95 secs
lola: STP completed || 1 tries, 97641 fired transitions, 100 secs || 101377 markings, 128561 edges, 994 markings/sec, 100 secs
lola: STP completed || 1 tries, 102220 fired transitions, 105 secs || 106258 markings, 134809 edges, 976 markings/sec, 105 secs
lola: STP completed || 1 tries, 106906 fired transitions, 110 secs || 111152 markings, 140962 edges, 979 markings/sec, 110 secs
lola: STP completed || 1 tries, 111596 fired transitions, 115 secs || 116206 markings, 147303 edges, 1011 markings/sec, 115 secs
lola: STP completed || 1 tries, 116257 fired transitions, 120 secs || 121271 markings, 153768 edges, 1013 markings/sec, 120 secs
lola: STP completed || 1 tries, 120868 fired transitions, 125 secs || 126331 markings, 160082 edges, 1012 markings/sec, 125 secs
lola: STP completed || 1 tries, 125495 fired transitions, 130 secs || 131366 markings, 166428 edges, 1007 markings/sec, 130 secs
lola: STP completed || 1 tries, 130168 fired transitions, 135 secs || 136388 markings, 172778 edges, 1004 markings/sec, 135 secs
lola: STP completed || 1 tries, 134836 fired transitions, 140 secs || 141401 markings, 179084 edges, 1003 markings/sec, 140 secs
lola: STP completed || 1 tries, 139459 fired transitions, 145 secs || 146438 markings, 185455 edges, 1007 markings/sec, 145 secs
lola: STP completed || 1 tries, 143976 fired transitions, 150 secs || 151395 markings, 191599 edges, 991 markings/sec, 150 secs
lola: STP completed || 1 tries, 148507 fired transitions, 155 secs || 156356 markings, 197945 edges, 992 markings/sec, 155 secs
lola: STP completed || 1 tries, 153037 fired transitions, 160 secs || 161404 markings, 203996 edges, 1010 markings/sec, 160 secs
lola: STP completed || 1 tries, 157499 fired transitions, 165 secs || 166348 markings, 211255 edges, 989 markings/sec, 165 secs
lola: STP completed || 1 tries, 162062 fired transitions, 170 secs || 171341 markings, 217521 edges, 999 markings/sec, 170 secs
lola: STP completed || 1 tries, 166587 fired transitions, 175 secs || 176443 markings, 224149 edges, 1020 markings/sec, 175 secs
lola: STP completed || 1 tries, 171116 fired transitions, 180 secs || 181453 markings, 230610 edges, 1002 markings/sec, 180 secs
lola: STP completed || 1 tries, 175669 fired transitions, 185 secs || 186470 markings, 237106 edges, 1003 markings/sec, 185 secs
lola: STP completed || 1 tries, 180169 fired transitions, 190 secs || 191473 markings, 243407 edges, 1001 markings/sec, 190 secs
lola: STP completed || 1 tries, 184652 fired transitions, 195 secs || 196486 markings, 249840 edges, 1003 markings/sec, 195 secs
lola: STP completed || 1 tries, 189281 fired transitions, 200 secs || 201357 markings, 256052 edges, 974 markings/sec, 200 secs
lola: STP completed || 1 tries, 193858 fired transitions, 205 secs || 206283 markings, 262249 edges, 985 markings/sec, 205 secs
lola: STP completed || 1 tries, 198459 fired transitions, 210 secs || 211193 markings, 268492 edges, 982 markings/sec, 210 secs
lola: STP completed || 1 tries, 202954 fired transitions, 215 secs || 216079 markings, 274515 edges, 977 markings/sec, 215 secs
lola: STP completed || 1 tries, 207545 fired transitions, 220 secs || 221013 markings, 280955 edges, 987 markings/sec, 220 secs
lola: STP completed || 1 tries, 212238 fired transitions, 225 secs || 225938 markings, 287460 edges, 985 markings/sec, 225 secs
lola: STP completed || 1 tries, 216884 fired transitions, 230 secs || 230929 markings, 293777 edges, 998 markings/sec, 230 secs
lola: STP completed || 1 tries, 221472 fired transitions, 235 secs || 235887 markings, 300066 edges, 992 markings/sec, 235 secs
lola: STP completed || 1 tries, 226208 fired transitions, 240 secs || 240914 markings, 306608 edges, 1005 markings/sec, 240 secs
lola: STP completed || 1 tries, 230911 fired transitions, 245 secs || 245961 markings, 313306 edges, 1009 markings/sec, 245 secs
lola: STP completed || 1 tries, 235484 fired transitions, 250 secs || 250956 markings, 319443 edges, 999 markings/sec, 250 secs
lola: STP completed || 1 tries, 240127 fired transitions, 255 secs || 255919 markings, 325959 edges, 993 markings/sec, 255 secs
lola: STP completed || 1 tries, 243481 fired transitions, 260 secs || 259505 markings, 330405 edges, 717 markings/sec, 260 secs
lola: STP completed || 1 tries, 246457 fired transitions, 265 secs || 262629 markings, 334366 edges, 625 markings/sec, 265 secs
lola: STP completed || 1 tries, 249731 fired transitions, 270 secs || 266164 markings, 338912 edges, 707 markings/sec, 270 secs
lola: STP completed || 1 tries, 254310 fired transitions, 275 secs || 271154 markings, 345179 edges, 998 markings/sec, 275 secs
lola: STP completed || 1 tries, 258975 fired transitions, 280 secs || 276206 markings, 351162 edges, 1010 markings/sec, 280 secs
lola: STP completed || 1 tries, 263670 fired transitions, 285 secs || 281277 markings, 357248 edges, 1014 markings/sec, 285 secs
lola: STP completed || 1 tries, 268400 fired transitions, 290 secs || 286223 markings, 363572 edges, 989 markings/sec, 290 secs
lola: STP completed || 1 tries, 273166 fired transitions, 295 secs || 291290 markings, 369928 edges, 1013 markings/sec, 295 secs
lola: STP completed || 1 tries, 277909 fired transitions, 300 secs || 296355 markings, 376281 edges, 1013 markings/sec, 300 secs
lola: STP completed || 1 tries, 282684 fired transitions, 305 secs || 301451 markings, 382784 edges, 1019 markings/sec, 305 secs
lola: STP completed || 1 tries, 287376 fired transitions, 310 secs || 306377 markings, 388974 edges, 985 markings/sec, 310 secs
lola: STP completed || 1 tries, 292031 fired transitions, 315 secs || 311346 markings, 395215 edges, 994 markings/sec, 315 secs
lola: STP completed || 1 tries, 296696 fired transitions, 320 secs || 316341 markings, 401117 edges, 999 markings/sec, 320 secs
lola: STP completed || 1 tries, 301349 fired transitions, 325 secs || 321324 markings, 407504 edges, 997 markings/sec, 325 secs
lola: STP completed || 1 tries, 306015 fired transitions, 330 secs || 326334 markings, 413794 edges, 1002 markings/sec, 330 secs
lola: STP completed || 1 tries, 310665 fired transitions, 335 secs || 331333 markings, 420069 edges, 1000 markings/sec, 335 secs
lola: STP completed || 1 tries, 315341 fired transitions, 340 secs || 336198 markings, 426296 edges, 973 markings/sec, 340 secs
lola: STP completed || 1 tries, 320017 fired transitions, 345 secs || 341042 markings, 432249 edges, 969 markings/sec, 345 secs
lola: STP completed || 1 tries, 324680 fired transitions, 350 secs || 345900 markings, 438546 edges, 972 markings/sec, 350 secs
lola: STP completed || 1 tries, 329344 fired transitions, 355 secs || 350751 markings, 444646 edges, 970 markings/sec, 355 secs
lola: STP completed || 1 tries, 334056 fired transitions, 360 secs || 355685 markings, 450846 edges, 987 markings/sec, 360 secs
lola: STP completed || 1 tries, 338740 fired transitions, 365 secs || 360707 markings, 457293 edges, 1004 markings/sec, 365 secs
lola: STP completed || 1 tries, 343382 fired transitions, 370 secs || 365775 markings, 463916 edges, 1014 markings/sec, 370 secs
lola: STP completed || 1 tries, 348041 fired transitions, 375 secs || 370765 markings, 470227 edges, 998 markings/sec, 375 secs
lola: STP completed || 1 tries, 352707 fired transitions, 380 secs || 375748 markings, 476601 edges, 997 markings/sec, 380 secs
lola: STP completed || 1 tries, 357427 fired transitions, 385 secs || 380627 markings, 482784 edges, 976 markings/sec, 385 secs
lola: STP completed || 1 tries, 362125 fired transitions, 390 secs || 385612 markings, 489086 edges, 997 markings/sec, 390 secs
lola: STP completed || 1 tries, 366809 fired transitions, 395 secs || 390612 markings, 495373 edges, 1000 markings/sec, 395 secs
lola: STP completed || 1 tries, 371459 fired transitions, 400 secs || 395470 markings, 501573 edges, 972 markings/sec, 400 secs
lola: STP completed || 1 tries, 376148 fired transitions, 405 secs || 400348 markings, 507768 edges, 976 markings/sec, 405 secs
lola: STP completed || 1 tries, 380823 fired transitions, 410 secs || 405328 markings, 514238 edges, 996 markings/sec, 410 secs
lola: STP completed || 1 tries, 385470 fired transitions, 415 secs || 410288 markings, 520635 edges, 992 markings/sec, 415 secs
lola: STP completed || 1 tries, 390114 fired transitions, 420 secs || 415297 markings, 526711 edges, 1002 markings/sec, 420 secs
lola: STP completed || 1 tries, 394763 fired transitions, 425 secs || 420267 markings, 532833 edges, 994 markings/sec, 425 secs
lola: STP completed || 1 tries, 399396 fired transitions, 430 secs || 425212 markings, 539280 edges, 989 markings/sec, 430 secs
lola: STP completed || 1 tries, 404036 fired transitions, 435 secs || 430161 markings, 545525 edges, 990 markings/sec, 435 secs
lola: STP completed || 1 tries, 408690 fired transitions, 440 secs || 435145 markings, 551632 edges, 997 markings/sec, 440 secs
lola: STP completed || 1 tries, 413322 fired transitions, 445 secs || 440104 markings, 557981 edges, 992 markings/sec, 445 secs
lola: STP completed || 1 tries, 417988 fired transitions, 450 secs || 445083 markings, 564735 edges, 996 markings/sec, 450 secs
lola: STP completed || 1 tries, 422628 fired transitions, 455 secs || 450111 markings, 570659 edges, 1006 markings/sec, 455 secs
lola: STP completed || 1 tries, 427258 fired transitions, 460 secs || 455084 markings, 577018 edges, 995 markings/sec, 460 secs
lola: STP completed || 1 tries, 431903 fired transitions, 465 secs || 460033 markings, 583632 edges, 990 markings/sec, 465 secs
lola: STP completed || 1 tries, 436548 fired transitions, 470 secs || 465011 markings, 590040 edges, 996 markings/sec, 470 secs
lola: STP completed || 1 tries, 441197 fired transitions, 475 secs || 469987 markings, 596398 edges, 995 markings/sec, 475 secs
lola: STP completed || 1 tries, 445809 fired transitions, 480 secs || 474976 markings, 602662 edges, 998 markings/sec, 480 secs
lola: STP completed || 1 tries, 450421 fired transitions, 485 secs || 480001 markings, 608970 edges, 1005 markings/sec, 485 secs
lola: STP completed || 1 tries, 455069 fired transitions, 490 secs || 484987 markings, 615124 edges, 997 markings/sec, 490 secs
lola: STP completed || 1 tries, 459696 fired transitions, 495 secs || 489975 markings, 621524 edges, 998 markings/sec, 495 secs
lola: STP completed || 1 tries, 464337 fired transitions, 500 secs || 494974 markings, 627800 edges, 1000 markings/sec, 500 secs
lola: STP completed || 1 tries, 468988 fired transitions, 505 secs || 499979 markings, 634085 edges, 1001 markings/sec, 505 secs
lola: STP completed || 1 tries, 473637 fired transitions, 510 secs || 504980 markings, 640365 edges, 1000 markings/sec, 510 secs
lola: STP completed || 1 tries, 478393 fired transitions, 515 secs || 510071 markings, 646863 edges, 1018 markings/sec, 515 secs
lola: STP completed || 1 tries, 483147 fired transitions, 520 secs || 515221 markings, 653005 edges, 1030 markings/sec, 520 secs
lola: STP completed || 1 tries, 487882 fired transitions, 525 secs || 520286 markings, 659513 edges, 1013 markings/sec, 525 secs
lola: STP completed || 1 tries, 492632 fired transitions, 530 secs || 525157 markings, 665636 edges, 974 markings/sec, 530 secs
lola: STP completed || 1 tries, 497390 fired transitions, 535 secs || 530149 markings, 671994 edges, 998 markings/sec, 535 secs
lola: STP completed || 1 tries, 502236 fired transitions, 540 secs || 535233 markings, 678508 edges, 1017 markings/sec, 540 secs
lola: STP completed || 1 tries, 507076 fired transitions, 545 secs || 540346 markings, 684925 edges, 1023 markings/sec, 545 secs
lola: STP completed || 1 tries, 511894 fired transitions, 550 secs || 545460 markings, 691449 edges, 1023 markings/sec, 550 secs
lola: STP completed || 1 tries, 516607 fired transitions, 555 secs || 550596 markings, 697662 edges, 1027 markings/sec, 555 secs
lola: STP completed || 1 tries, 521398 fired transitions, 560 secs || 555711 markings, 704321 edges, 1023 markings/sec, 560 secs
lola: STP completed || 1 tries, 526183 fired transitions, 565 secs || 560871 markings, 710952 edges, 1032 markings/sec, 565 secs
lola: STP completed || 1 tries, 530917 fired transitions, 570 secs || 566049 markings, 717637 edges, 1036 markings/sec, 570 secs
lola: STP completed || 1 tries, 535685 fired transitions, 575 secs || 571199 markings, 724218 edges, 1030 markings/sec, 575 secs
lola: STP completed || 1 tries, 540443 fired transitions, 580 secs || 576321 markings, 730577 edges, 1024 markings/sec, 580 secs
lola: STP completed || 1 tries, 545242 fired transitions, 585 secs || 581472 markings, 737351 edges, 1030 markings/sec, 585 secs
lola: STP completed || 1 tries, 550026 fired transitions, 590 secs || 586633 markings, 743716 edges, 1032 markings/sec, 590 secs
lola: STP completed || 1 tries, 554804 fired transitions, 595 secs || 591790 markings, 750179 edges, 1031 markings/sec, 595 secs
lola: STP completed || 1 tries, 559601 fired transitions, 600 secs || 596899 markings, 756731 edges, 1022 markings/sec, 600 secs
lola: STP completed || 1 tries, 564381 fired transitions, 605 secs || 602027 markings, 763218 edges, 1026 markings/sec, 605 secs
lola: STP completed || 1 tries, 569122 fired transitions, 610 secs || 607169 markings, 769713 edges, 1028 markings/sec, 610 secs
lola: STP completed || 1 tries, 573837 fired transitions, 615 secs || 612304 markings, 776158 edges, 1027 markings/sec, 615 secs
lola: STP completed || 1 tries, 578589 fired transitions, 620 secs || 617318 markings, 782322 edges, 1003 markings/sec, 620 secs
lola: STP completed || 1 tries, 583349 fired transitions, 625 secs || 622425 markings, 788365 edges, 1021 markings/sec, 625 secs
lola: STP completed || 1 tries, 588120 fired transitions, 630 secs || 627479 markings, 794882 edges, 1011 markings/sec, 630 secs
lola: STP completed || 1 tries, 592887 fired transitions, 635 secs || 632434 markings, 801007 edges, 991 markings/sec, 635 secs
lola: STP completed || 1 tries, 597641 fired transitions, 640 secs || 637501 markings, 807488 edges, 1013 markings/sec, 640 secs
lola: STP completed || 1 tries, 602385 fired transitions, 645 secs || 642596 markings, 813881 edges, 1019 markings/sec, 645 secs
lola: STP completed || 1 tries, 607142 fired transitions, 650 secs || 647645 markings, 820226 edges, 1010 markings/sec, 650 secs
lola: STP completed || 1 tries, 611887 fired transitions, 655 secs || 652740 markings, 826654 edges, 1019 markings/sec, 655 secs
lola: STP completed || 1 tries, 616619 fired transitions, 660 secs || 657821 markings, 833138 edges, 1016 markings/sec, 660 secs
lola: STP completed || 1 tries, 621340 fired transitions, 665 secs || 662889 markings, 839490 edges, 1014 markings/sec, 665 secs
lola: STP completed || 1 tries, 626087 fired transitions, 670 secs || 667953 markings, 845847 edges, 1013 markings/sec, 670 secs
lola: STP completed || 1 tries, 630823 fired transitions, 675 secs || 673023 markings, 852208 edges, 1014 markings/sec, 675 secs
lola: STP completed || 1 tries, 635559 fired transitions, 680 secs || 678079 markings, 858664 edges, 1011 markings/sec, 680 secs
lola: STP completed || 1 tries, 640270 fired transitions, 685 secs || 683143 markings, 865030 edges, 1013 markings/sec, 685 secs
lola: STP completed || 1 tries, 645022 fired transitions, 690 secs || 688135 markings, 871390 edges, 998 markings/sec, 690 secs
lola: STP completed || 1 tries, 649781 fired transitions, 695 secs || 693252 markings, 877871 edges, 1023 markings/sec, 695 secs
lola: STP completed || 1 tries, 654537 fired transitions, 700 secs || 698231 markings, 884276 edges, 996 markings/sec, 700 secs
lola: STP completed || 1 tries, 659293 fired transitions, 705 secs || 703236 markings, 890558 edges, 1001 markings/sec, 705 secs
lola: STP completed || 1 tries, 662863 fired transitions, 710 secs || 707023 markings, 895408 edges, 757 markings/sec, 710 secs
lola: STP completed || 1 tries, 667644 fired transitions, 715 secs || 712095 markings, 901769 edges, 1014 markings/sec, 715 secs
lola: STP completed || 1 tries, 672424 fired transitions, 720 secs || 717155 markings, 908183 edges, 1012 markings/sec, 720 secs
lola: STP completed || 1 tries, 677207 fired transitions, 725 secs || 722207 markings, 914529 edges, 1010 markings/sec, 725 secs
lola: STP completed || 1 tries, 681987 fired transitions, 730 secs || 727210 markings, 920877 edges, 1001 markings/sec, 730 secs
lola: STP completed || 1 tries, 686740 fired transitions, 735 secs || 732227 markings, 927255 edges, 1003 markings/sec, 735 secs
lola: STP completed || 1 tries, 691513 fired transitions, 740 secs || 737246 markings, 933901 edges, 1004 markings/sec, 740 secs
lola: STP completed || 1 tries, 696283 fired transitions, 745 secs || 742241 markings, 940092 edges, 999 markings/sec, 745 secs
lola: STP completed || 1 tries, 701065 fired transitions, 750 secs || 747226 markings, 946413 edges, 997 markings/sec, 750 secs
lola: STP completed || 1 tries, 705839 fired transitions, 755 secs || 752185 markings, 952998 edges, 992 markings/sec, 755 secs
lola: STP completed || 1 tries, 710494 fired transitions, 760 secs || 756954 markings, 958836 edges, 954 markings/sec, 760 secs
lola: STP completed || 1 tries, 715203 fired transitions, 765 secs || 761933 markings, 965127 edges, 996 markings/sec, 765 secs
lola: STP completed || 1 tries, 719826 fired transitions, 770 secs || 766846 markings, 971333 edges, 983 markings/sec, 770 secs
lola: STP completed || 1 tries, 724529 fired transitions, 775 secs || 771790 markings, 977740 edges, 989 markings/sec, 775 secs
lola: STP completed || 1 tries, 729232 fired transitions, 780 secs || 776789 markings, 983871 edges, 1000 markings/sec, 780 secs
lola: STP completed || 1 tries, 733942 fired transitions, 785 secs || 781799 markings, 990354 edges, 1002 markings/sec, 785 secs
lola: STP completed || 1 tries, 738645 fired transitions, 790 secs || 786824 markings, 996730 edges, 1005 markings/sec, 790 secs
lola: STP completed || 1 tries, 743380 fired transitions, 795 secs || 791885 markings, 1002728 edges, 1012 markings/sec, 795 secs
lola: STP completed || 1 tries, 748127 fired transitions, 800 secs || 796929 markings, 1008860 edges, 1009 markings/sec, 800 secs
lola: STP completed || 1 tries, 752863 fired transitions, 805 secs || 801951 markings, 1015214 edges, 1004 markings/sec, 805 secs
lola: STP completed || 1 tries, 757572 fired transitions, 810 secs || 806940 markings, 1021593 edges, 998 markings/sec, 810 secs
lola: STP completed || 1 tries, 762314 fired transitions, 815 secs || 811964 markings, 1027762 edges, 1005 markings/sec, 815 secs
lola: STP completed || 1 tries, 767014 fired transitions, 820 secs || 816988 markings, 1034222 edges, 1005 markings/sec, 820 secs
lola: STP completed || 1 tries, 771713 fired transitions, 825 secs || 822021 markings, 1040537 edges, 1007 markings/sec, 825 secs
lola: STP completed || 1 tries, 776470 fired transitions, 830 secs || 827088 markings, 1046802 edges, 1013 markings/sec, 830 secs
lola: STP completed || 1 tries, 781212 fired transitions, 835 secs || 832120 markings, 1053219 edges, 1006 markings/sec, 835 secs
lola: STP completed || 1 tries, 785962 fired transitions, 840 secs || 837136 markings, 1059519 edges, 1003 markings/sec, 840 secs
lola: STP completed || 1 tries, 790693 fired transitions, 845 secs || 842125 markings, 1065933 edges, 998 markings/sec, 845 secs
lola: STP completed || 1 tries, 795438 fired transitions, 850 secs || 847139 markings, 1072278 edges, 1003 markings/sec, 850 secs
lola: STP completed || 1 tries, 800161 fired transitions, 855 secs || 852173 markings, 1078566 edges, 1007 markings/sec, 855 secs
lola: STP completed || 1 tries, 804885 fired transitions, 860 secs || 857204 markings, 1084968 edges, 1006 markings/sec, 860 secs
lola: STP completed || 1 tries, 809613 fired transitions, 865 secs || 862272 markings, 1091399 edges, 1014 markings/sec, 865 secs
lola: STP completed || 1 tries, 814341 fired transitions, 870 secs || 867382 markings, 1098020 edges, 1022 markings/sec, 870 secs
lola: STP completed || 1 tries, 819077 fired transitions, 875 secs || 872421 markings, 1104342 edges, 1008 markings/sec, 875 secs
lola: STP completed || 1 tries, 823755 fired transitions, 880 secs || 877465 markings, 1110671 edges, 1009 markings/sec, 880 secs
lola: STP completed || 1 tries, 828493 fired transitions, 885 secs || 882493 markings, 1117119 edges, 1006 markings/sec, 885 secs
lola: STP completed || 1 tries, 833256 fired transitions, 890 secs || 887574 markings, 1123464 edges, 1016 markings/sec, 890 secs
lola: STP completed || 1 tries, 838007 fired transitions, 895 secs || 892620 markings, 1129949 edges, 1009 markings/sec, 895 secs
lola: STP completed || 1 tries, 842753 fired transitions, 900 secs || 897698 markings, 1136575 edges, 1016 markings/sec, 900 secs
lola: STP completed || 1 tries, 847498 fired transitions, 905 secs || 902712 markings, 1143235 edges, 1003 markings/sec, 905 secs
lola: STP completed || 1 tries, 852230 fired transitions, 910 secs || 907718 markings, 1149569 edges, 1001 markings/sec, 910 secs
lola: STP completed || 1 tries, 856961 fired transitions, 915 secs || 912754 markings, 1155889 edges, 1007 markings/sec, 915 secs
lola: STP completed || 1 tries, 861686 fired transitions, 920 secs || 917738 markings, 1162236 edges, 997 markings/sec, 920 secs
lola: STP completed || 1 tries, 866456 fired transitions, 925 secs || 922742 markings, 1168583 edges, 1001 markings/sec, 925 secs
lola: STP completed || 1 tries, 871207 fired transitions, 930 secs || 927764 markings, 1175107 edges, 1004 markings/sec, 930 secs
lola: STP completed || 1 tries, 875952 fired transitions, 935 secs || 932773 markings, 1181707 edges, 1002 markings/sec, 935 secs
lola: STP completed || 1 tries, 880685 fired transitions, 940 secs || 937862 markings, 1187727 edges, 1018 markings/sec, 940 secs
lola: STP completed || 1 tries, 885423 fired transitions, 945 secs || 942899 markings, 1194194 edges, 1007 markings/sec, 945 secs
lola: STP completed || 1 tries, 890121 fired transitions, 950 secs || 947817 markings, 1200373 edges, 984 markings/sec, 950 secs
lola: STP completed || 1 tries, 894791 fired transitions, 955 secs || 952758 markings, 1206582 edges, 988 markings/sec, 955 secs
lola: STP completed || 1 tries, 899458 fired transitions, 960 secs || 957711 markings, 1212916 edges, 991 markings/sec, 960 secs
lola: STP completed || 1 tries, 904171 fired transitions, 965 secs || 962700 markings, 1219033 edges, 998 markings/sec, 965 secs
lola: STP completed || 1 tries, 908899 fired transitions, 970 secs || 967722 markings, 1225837 edges, 1004 markings/sec, 970 secs
lola: STP completed || 1 tries, 913638 fired transitions, 975 secs || 972787 markings, 1232011 edges, 1013 markings/sec, 975 secs
lola: STP completed || 1 tries, 918358 fired transitions, 980 secs || 977838 markings, 1238371 edges, 1010 markings/sec, 980 secs
lola: STP completed || 1 tries, 923119 fired transitions, 985 secs || 982852 markings, 1245036 edges, 1003 markings/sec, 985 secs
lola: STP completed || 1 tries, 927833 fired transitions, 990 secs || 987910 markings, 1251449 edges, 1012 markings/sec, 990 secs
lola: STP completed || 1 tries, 932551 fired transitions, 995 secs || 992992 markings, 1257935 edges, 1016 markings/sec, 995 secs
lola: STP completed || 1 tries, 937266 fired transitions, 1000 secs || 998042 markings, 1264269 edges, 1010 markings/sec, 1000 secs
lola: STP completed || 1 tries, 942015 fired transitions, 1005 secs || 1003133 markings, 1270664 edges, 1018 markings/sec, 1005 secs
lola: STP completed || 1 tries, 946713 fired transitions, 1010 secs || 1008170 markings, 1277145 edges, 1007 markings/sec, 1010 secs
lola: STP completed || 1 tries, 951456 fired transitions, 1015 secs || 1013210 markings, 1283333 edges, 1008 markings/sec, 1015 secs
lola: STP completed || 1 tries, 956194 fired transitions, 1020 secs || 1018265 markings, 1289677 edges, 1011 markings/sec, 1020 secs
lola: STP completed || 1 tries, 960925 fired transitions, 1025 secs || 1023315 markings, 1296164 edges, 1010 markings/sec, 1025 secs
lola: STP completed || 1 tries, 965657 fired transitions, 1030 secs || 1028355 markings, 1302541 edges, 1008 markings/sec, 1030 secs
lola: STP completed || 1 tries, 970420 fired transitions, 1035 secs || 1033423 markings, 1308826 edges, 1014 markings/sec, 1035 secs
lola: STP completed || 1 tries, 975139 fired transitions, 1040 secs || 1038564 markings, 1315127 edges, 1028 markings/sec, 1040 secs
lola: STP completed || 1 tries, 979887 fired transitions, 1045 secs || 1043690 markings, 1321750 edges, 1025 markings/sec, 1045 secs
lola: STP completed || 1 tries, 984641 fired transitions, 1050 secs || 1048794 markings, 1328287 edges, 1021 markings/sec, 1050 secs
lola: STP completed || 1 tries, 989363 fired transitions, 1055 secs || 1053879 markings, 1334776 edges, 1017 markings/sec, 1055 secs
lola: STP completed || 1 tries, 994119 fired transitions, 1060 secs || 1058976 markings, 1341167 edges, 1019 markings/sec, 1060 secs
lola: STP completed || 1 tries, 998859 fired transitions, 1065 secs || 1064103 markings, 1347595 edges, 1025 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1003598 fired transitions, 1070 secs || 1069215 markings, 1354116 edges, 1022 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1008340 fired transitions, 1075 secs || 1074286 markings, 1360359 edges, 1014 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1013082 fired transitions, 1080 secs || 1079309 markings, 1367166 edges, 1005 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1017812 fired transitions, 1085 secs || 1084385 markings, 1373580 edges, 1015 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1022551 fired transitions, 1090 secs || 1089455 markings, 1380185 edges, 1014 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1027299 fired transitions, 1095 secs || 1094508 markings, 1386689 edges, 1011 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1032052 fired transitions, 1100 secs || 1099586 markings, 1392981 edges, 1016 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1036784 fired transitions, 1105 secs || 1104646 markings, 1399516 edges, 1012 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1041528 fired transitions, 1110 secs || 1109709 markings, 1405797 edges, 1013 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1046280 fired transitions, 1115 secs || 1114844 markings, 1412385 edges, 1027 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1051066 fired transitions, 1120 secs || 1120012 markings, 1418926 edges, 1034 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1055857 fired transitions, 1125 secs || 1125206 markings, 1425348 edges, 1039 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1060668 fired transitions, 1130 secs || 1130368 markings, 1431929 edges, 1032 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1065481 fired transitions, 1135 secs || 1135587 markings, 1438128 edges, 1044 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1070293 fired transitions, 1140 secs || 1140808 markings, 1444317 edges, 1044 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1075140 fired transitions, 1145 secs || 1145983 markings, 1450914 edges, 1035 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1079976 fired transitions, 1150 secs || 1151141 markings, 1457389 edges, 1032 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1084673 fired transitions, 1155 secs || 1156201 markings, 1463905 edges, 1012 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1089415 fired transitions, 1160 secs || 1161285 markings, 1470233 edges, 1017 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1094146 fired transitions, 1165 secs || 1166363 markings, 1476715 edges, 1016 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1098912 fired transitions, 1170 secs || 1171441 markings, 1483093 edges, 1016 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1103639 fired transitions, 1175 secs || 1176493 markings, 1489558 edges, 1010 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1108364 fired transitions, 1180 secs || 1181558 markings, 1495914 edges, 1013 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1113103 fired transitions, 1185 secs || 1186598 markings, 1502349 edges, 1008 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1117878 fired transitions, 1190 secs || 1191617 markings, 1508507 edges, 1004 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1122638 fired transitions, 1195 secs || 1196702 markings, 1514786 edges, 1017 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1127395 fired transitions, 1200 secs || 1201768 markings, 1521345 edges, 1013 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1132128 fired transitions, 1205 secs || 1206829 markings, 1528336 edges, 1012 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1136880 fired transitions, 1210 secs || 1211860 markings, 1534852 edges, 1006 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1141626 fired transitions, 1215 secs || 1216876 markings, 1541130 edges, 1003 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1146363 fired transitions, 1220 secs || 1221919 markings, 1547447 edges, 1009 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1151121 fired transitions, 1225 secs || 1226818 markings, 1553678 edges, 980 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1155886 fired transitions, 1230 secs || 1231774 markings, 1560021 edges, 991 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1160619 fired transitions, 1235 secs || 1236810 markings, 1566417 edges, 1007 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1165354 fired transitions, 1240 secs || 1241833 markings, 1573209 edges, 1005 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1170079 fired transitions, 1245 secs || 1246886 markings, 1579412 edges, 1011 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1174839 fired transitions, 1250 secs || 1251913 markings, 1585849 edges, 1005 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1179586 fired transitions, 1255 secs || 1256941 markings, 1592160 edges, 1006 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1184314 fired transitions, 1260 secs || 1261960 markings, 1598460 edges, 1004 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1189050 fired transitions, 1265 secs || 1266989 markings, 1604884 edges, 1006 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1193794 fired transitions, 1270 secs || 1272033 markings, 1611067 edges, 1009 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1198527 fired transitions, 1275 secs || 1277081 markings, 1617522 edges, 1010 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1203241 fired transitions, 1280 secs || 1282146 markings, 1623805 edges, 1013 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1207966 fired transitions, 1285 secs || 1287189 markings, 1630268 edges, 1009 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1212707 fired transitions, 1290 secs || 1292236 markings, 1636668 edges, 1009 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1217445 fired transitions, 1295 secs || 1297291 markings, 1643059 edges, 1011 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1222157 fired transitions, 1300 secs || 1302343 markings, 1649394 edges, 1010 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1226900 fired transitions, 1305 secs || 1307424 markings, 1655633 edges, 1016 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1231648 fired transitions, 1310 secs || 1312501 markings, 1661855 edges, 1015 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1236371 fired transitions, 1315 secs || 1317548 markings, 1668249 edges, 1009 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1241076 fired transitions, 1320 secs || 1322602 markings, 1674588 edges, 1011 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1245807 fired transitions, 1325 secs || 1327666 markings, 1681002 edges, 1013 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1250567 fired transitions, 1330 secs || 1332745 markings, 1687422 edges, 1016 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1255296 fired transitions, 1335 secs || 1337815 markings, 1693932 edges, 1014 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1260026 fired transitions, 1340 secs || 1342932 markings, 1700065 edges, 1023 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1264746 fired transitions, 1345 secs || 1348026 markings, 1706337 edges, 1019 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1269487 fired transitions, 1350 secs || 1353108 markings, 1712758 edges, 1016 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1274245 fired transitions, 1355 secs || 1358180 markings, 1719177 edges, 1014 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1278993 fired transitions, 1360 secs || 1363249 markings, 1725544 edges, 1014 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1283742 fired transitions, 1365 secs || 1368325 markings, 1731956 edges, 1015 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1288484 fired transitions, 1370 secs || 1373411 markings, 1738557 edges, 1017 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1293225 fired transitions, 1375 secs || 1378595 markings, 1745258 edges, 1037 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1297969 fired transitions, 1380 secs || 1383670 markings, 1751737 edges, 1015 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1302692 fired transitions, 1385 secs || 1388700 markings, 1757910 edges, 1006 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1307417 fired transitions, 1390 secs || 1393711 markings, 1764250 edges, 1002 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1312169 fired transitions, 1395 secs || 1398705 markings, 1770585 edges, 999 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1316911 fired transitions, 1400 secs || 1403714 markings, 1776875 edges, 1002 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1321651 fired transitions, 1405 secs || 1408756 markings, 1783172 edges, 1008 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1326394 fired transitions, 1410 secs || 1413798 markings, 1789553 edges, 1008 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1331139 fired transitions, 1415 secs || 1418875 markings, 1795585 edges, 1015 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1335850 fired transitions, 1420 secs || 1423959 markings, 1801615 edges, 1017 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1340607 fired transitions, 1425 secs || 1428998 markings, 1808049 edges, 1008 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1345364 fired transitions, 1430 secs || 1434026 markings, 1814359 edges, 1006 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1350111 fired transitions, 1435 secs || 1439069 markings, 1820737 edges, 1009 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1354847 fired transitions, 1440 secs || 1444112 markings, 1827147 edges, 1009 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1359580 fired transitions, 1445 secs || 1449128 markings, 1833557 edges, 1003 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1364292 fired transitions, 1450 secs || 1454160 markings, 1839743 edges, 1006 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1369026 fired transitions, 1455 secs || 1459157 markings, 1846264 edges, 999 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1373757 fired transitions, 1460 secs || 1464172 markings, 1852576 edges, 1003 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1378534 fired transitions, 1465 secs || 1469232 markings, 1858854 edges, 1012 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1383269 fired transitions, 1470 secs || 1474279 markings, 1865226 edges, 1009 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1388023 fired transitions, 1475 secs || 1479349 markings, 1871489 edges, 1014 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1392781 fired transitions, 1480 secs || 1484464 markings, 1877781 edges, 1023 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1397540 fired transitions, 1485 secs || 1489529 markings, 1884378 edges, 1013 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1402286 fired transitions, 1490 secs || 1494581 markings, 1890697 edges, 1010 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1407003 fired transitions, 1495 secs || 1499623 markings, 1897154 edges, 1008 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1411720 fired transitions, 1500 secs || 1504702 markings, 1903523 edges, 1016 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1416419 fired transitions, 1505 secs || 1509783 markings, 1910122 edges, 1016 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1421239 fired transitions, 1510 secs || 1514979 markings, 1916638 edges, 1039 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1425984 fired transitions, 1515 secs || 1520064 markings, 1923311 edges, 1017 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1430736 fired transitions, 1520 secs || 1525112 markings, 1929563 edges, 1010 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1435467 fired transitions, 1525 secs || 1530122 markings, 1935915 edges, 1002 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1440202 fired transitions, 1530 secs || 1535132 markings, 1942492 edges, 1002 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1444935 fired transitions, 1535 secs || 1540131 markings, 1949013 edges, 1000 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1449671 fired transitions, 1540 secs || 1545172 markings, 1955260 edges, 1008 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1454422 fired transitions, 1545 secs || 1550194 markings, 1961675 edges, 1004 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1459162 fired transitions, 1550 secs || 1555210 markings, 1968014 edges, 1003 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1463885 fired transitions, 1555 secs || 1560227 markings, 1974412 edges, 1003 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1468626 fired transitions, 1560 secs || 1565262 markings, 1980699 edges, 1007 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1473382 fired transitions, 1565 secs || 1570319 markings, 1987076 edges, 1011 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1478099 fired transitions, 1570 secs || 1575429 markings, 1993476 edges, 1022 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1482926 fired transitions, 1575 secs || 1580651 markings, 1999680 edges, 1044 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1487732 fired transitions, 1580 secs || 1585879 markings, 2005927 edges, 1046 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1492477 fired transitions, 1585 secs || 1591074 markings, 2012496 edges, 1039 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1497232 fired transitions, 1590 secs || 1596235 markings, 2019115 edges, 1032 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1502031 fired transitions, 1595 secs || 1601390 markings, 2025637 edges, 1031 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1506838 fired transitions, 1600 secs || 1606586 markings, 2032066 edges, 1039 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1511641 fired transitions, 1605 secs || 1611752 markings, 2038678 edges, 1033 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1516449 fired transitions, 1610 secs || 1616913 markings, 2045255 edges, 1032 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1521248 fired transitions, 1615 secs || 1622070 markings, 2051718 edges, 1031 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1526036 fired transitions, 1620 secs || 1627226 markings, 2058181 edges, 1031 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1530848 fired transitions, 1625 secs || 1632401 markings, 2064774 edges, 1035 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1535630 fired transitions, 1630 secs || 1637562 markings, 2071375 edges, 1032 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1540389 fired transitions, 1635 secs || 1642749 markings, 2077504 edges, 1037 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1545196 fired transitions, 1640 secs || 1648022 markings, 2084357 edges, 1055 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1549990 fired transitions, 1645 secs || 1653200 markings, 2091022 edges, 1036 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1554768 fired transitions, 1650 secs || 1658388 markings, 2097413 edges, 1038 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1559560 fired transitions, 1655 secs || 1663578 markings, 2104048 edges, 1038 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1564313 fired transitions, 1660 secs || 1668777 markings, 2110563 edges, 1040 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1569116 fired transitions, 1665 secs || 1673984 markings, 2117095 edges, 1041 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1573914 fired transitions, 1670 secs || 1679207 markings, 2124123 edges, 1045 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1578710 fired transitions, 1675 secs || 1684393 markings, 2130583 edges, 1037 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1583482 fired transitions, 1680 secs || 1689550 markings, 2137178 edges, 1031 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1588278 fired transitions, 1685 secs || 1694683 markings, 2143702 edges, 1027 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1593046 fired transitions, 1690 secs || 1699822 markings, 2150377 edges, 1028 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1597815 fired transitions, 1695 secs || 1704951 markings, 2156850 edges, 1026 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1602640 fired transitions, 1700 secs || 1710075 markings, 2163317 edges, 1025 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1607500 fired transitions, 1705 secs || 1715217 markings, 2169873 edges, 1028 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1612156 fired transitions, 1710 secs || 1720240 markings, 2176176 edges, 1005 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1616936 fired transitions, 1715 secs || 1725211 markings, 2182469 edges, 994 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1621693 fired transitions, 1720 secs || 1730181 markings, 2188793 edges, 994 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1626448 fired transitions, 1725 secs || 1735158 markings, 2195157 edges, 995 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1629562 fired transitions, 1730 secs || 1738430 markings, 2199020 edges, 654 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1632192 fired transitions, 1735 secs || 1741209 markings, 2202336 edges, 556 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1636464 fired transitions, 1740 secs || 1745789 markings, 2207770 edges, 916 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1641208 fired transitions, 1745 secs || 1750955 markings, 2214355 edges, 1033 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1646043 fired transitions, 1750 secs || 1756116 markings, 2220819 edges, 1032 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1650782 fired transitions, 1755 secs || 1761256 markings, 2227263 edges, 1028 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1655441 fired transitions, 1760 secs || 1766445 markings, 2233873 edges, 1038 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1660110 fired transitions, 1765 secs || 1771630 markings, 2240504 edges, 1037 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1664796 fired transitions, 1770 secs || 1776824 markings, 2246871 edges, 1039 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1669648 fired transitions, 1775 secs || 1781996 markings, 2253556 edges, 1034 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1674406 fired transitions, 1780 secs || 1787167 markings, 2260105 edges, 1034 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1679150 fired transitions, 1785 secs || 1792364 markings, 2266675 edges, 1039 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1683885 fired transitions, 1790 secs || 1797572 markings, 2273106 edges, 1042 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1688700 fired transitions, 1795 secs || 1802785 markings, 2279539 edges, 1043 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1693489 fired transitions, 1800 secs || 1808062 markings, 2286115 edges, 1055 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1698248 fired transitions, 1805 secs || 1813277 markings, 2292879 edges, 1043 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1703063 fired transitions, 1810 secs || 1818462 markings, 2299476 edges, 1037 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1707891 fired transitions, 1815 secs || 1823648 markings, 2306055 edges, 1037 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1712704 fired transitions, 1820 secs || 1828849 markings, 2312639 edges, 1040 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1717513 fired transitions, 1825 secs || 1834046 markings, 2319153 edges, 1039 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1722297 fired transitions, 1830 secs || 1839262 markings, 2325884 edges, 1043 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1727046 fired transitions, 1835 secs || 1844304 markings, 2332456 edges, 1008 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1731843 fired transitions, 1840 secs || 1849417 markings, 2338786 edges, 1023 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1736655 fired transitions, 1845 secs || 1854537 markings, 2345344 edges, 1024 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1741443 fired transitions, 1850 secs || 1859657 markings, 2351974 edges, 1024 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1746214 fired transitions, 1855 secs || 1864790 markings, 2358581 edges, 1027 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1750606 fired transitions, 1860 secs || 1869378 markings, 2364448 edges, 918 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1754146 fired transitions, 1865 secs || 1873173 markings, 2369223 edges, 759 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1758815 fired transitions, 1870 secs || 1878180 markings, 2375947 edges, 1001 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1763542 fired transitions, 1875 secs || 1883249 markings, 2382298 edges, 1014 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1768286 fired transitions, 1880 secs || 1888277 markings, 2388708 edges, 1006 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1773022 fired transitions, 1885 secs || 1893337 markings, 2395073 edges, 1012 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1777832 fired transitions, 1890 secs || 1898441 markings, 2401982 edges, 1021 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1782662 fired transitions, 1895 secs || 1903568 markings, 2408475 edges, 1025 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1787343 fired transitions, 1900 secs || 1908575 markings, 2414977 edges, 1001 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1792092 fired transitions, 1905 secs || 1913654 markings, 2421371 edges, 1016 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1796927 fired transitions, 1910 secs || 1918752 markings, 2427924 edges, 1020 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1801712 fired transitions, 1915 secs || 1923847 markings, 2434316 edges, 1019 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1806510 fired transitions, 1920 secs || 1928950 markings, 2440822 edges, 1021 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1811281 fired transitions, 1925 secs || 1934012 markings, 2447173 edges, 1012 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1816109 fired transitions, 1930 secs || 1938953 markings, 2453383 edges, 988 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1820913 fired transitions, 1935 secs || 1943989 markings, 2459332 edges, 1007 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1825544 fired transitions, 1940 secs || 1949142 markings, 2465466 edges, 1031 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1830098 fired transitions, 1945 secs || 1954206 markings, 2471992 edges, 1013 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1834693 fired transitions, 1950 secs || 1959277 markings, 2478353 edges, 1014 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1839464 fired transitions, 1955 secs || 1964335 markings, 2484702 edges, 1012 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1844174 fired transitions, 1960 secs || 1969422 markings, 2491190 edges, 1017 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1848918 fired transitions, 1965 secs || 1974520 markings, 2497461 edges, 1020 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1853721 fired transitions, 1970 secs || 1979651 markings, 2504194 edges, 1026 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1858535 fired transitions, 1975 secs || 1984831 markings, 2510541 edges, 1036 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1863390 fired transitions, 1980 secs || 1989976 markings, 2516988 edges, 1029 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1868223 fired transitions, 1985 secs || 1995134 markings, 2523473 edges, 1032 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1873017 fired transitions, 1990 secs || 2000268 markings, 2530052 edges, 1027 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1877782 fired transitions, 1995 secs || 2005399 markings, 2536636 edges, 1026 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1882625 fired transitions, 2000 secs || 2010563 markings, 2543187 edges, 1033 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1887429 fired transitions, 2005 secs || 2015728 markings, 2549661 edges, 1033 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1892198 fired transitions, 2010 secs || 2020991 markings, 2556417 edges, 1053 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1896974 fired transitions, 2015 secs || 2026138 markings, 2563033 edges, 1029 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1901701 fired transitions, 2020 secs || 2031162 markings, 2569410 edges, 1005 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1906450 fired transitions, 2025 secs || 2036197 markings, 2575728 edges, 1007 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1911210 fired transitions, 2030 secs || 2041247 markings, 2582176 edges, 1010 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1915953 fired transitions, 2035 secs || 2046299 markings, 2588517 edges, 1010 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1920719 fired transitions, 2040 secs || 2051361 markings, 2594930 edges, 1012 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1925466 fired transitions, 2045 secs || 2056390 markings, 2601310 edges, 1006 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1930229 fired transitions, 2050 secs || 2061437 markings, 2607620 edges, 1009 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1935022 fired transitions, 2055 secs || 2066484 markings, 2614167 edges, 1009 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1939779 fired transitions, 2060 secs || 2071533 markings, 2620703 edges, 1010 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1944542 fired transitions, 2065 secs || 2076565 markings, 2627085 edges, 1006 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1949295 fired transitions, 2070 secs || 2081601 markings, 2633490 edges, 1007 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1954062 fired transitions, 2075 secs || 2086629 markings, 2640200 edges, 1006 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1958822 fired transitions, 2080 secs || 2091638 markings, 2646537 edges, 1002 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1963579 fired transitions, 2085 secs || 2096643 markings, 2652977 edges, 1001 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1968325 fired transitions, 2090 secs || 2101658 markings, 2659179 edges, 1003 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1973109 fired transitions, 2095 secs || 2106677 markings, 2665585 edges, 1004 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1977850 fired transitions, 2100 secs || 2111686 markings, 2672035 edges, 1002 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1982625 fired transitions, 2105 secs || 2116764 markings, 2678038 edges, 1016 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1987392 fired transitions, 2110 secs || 2121856 markings, 2684079 edges, 1018 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1992139 fired transitions, 2115 secs || 2126898 markings, 2690375 edges, 1008 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1996897 fired transitions, 2120 secs || 2131920 markings, 2696828 edges, 1004 markings/sec, 2120 secs
lola: STP completed || 3 tries, 2001623 fired transitions, 2125 secs || 2136943 markings, 2703215 edges, 1005 markings/sec, 2125 secs
lola: STP completed || 3 tries, 2006387 fired transitions, 2130 secs || 2141993 markings, 2709398 edges, 1010 markings/sec, 2130 secs
lola: STP completed || 3 tries, 2011128 fired transitions, 2135 secs || 2147031 markings, 2715838 edges, 1008 markings/sec, 2135 secs
lola: STP completed || 3 tries, 2015903 fired transitions, 2140 secs || 2152070 markings, 2722490 edges, 1008 markings/sec, 2140 secs
lola: STP completed || 3 tries, 2020638 fired transitions, 2145 secs || 2157155 markings, 2728719 edges, 1017 markings/sec, 2145 secs
lola: STP completed || 3 tries, 2025398 fired transitions, 2150 secs || 2162184 markings, 2735032 edges, 1006 markings/sec, 2150 secs
lola: STP completed || 3 tries, 2030139 fired transitions, 2155 secs || 2167232 markings, 2741383 edges, 1010 markings/sec, 2155 secs
lola: STP completed || 3 tries, 2034881 fired transitions, 2160 secs || 2172267 markings, 2747699 edges, 1007 markings/sec, 2160 secs
lola: STP completed || 3 tries, 2039631 fired transitions, 2165 secs || 2177307 markings, 2754025 edges, 1008 markings/sec, 2165 secs
lola: STP completed || 3 tries, 2044365 fired transitions, 2170 secs || 2182367 markings, 2760375 edges, 1012 markings/sec, 2170 secs
lola: STP completed || 3 tries, 2049100 fired transitions, 2175 secs || 2187403 markings, 2766844 edges, 1007 markings/sec, 2175 secs
lola: STP completed || 3 tries, 2053870 fired transitions, 2180 secs || 2192490 markings, 2773307 edges, 1017 markings/sec, 2180 secs
lola: STP completed || 3 tries, 2058595 fired transitions, 2185 secs || 2197613 markings, 2779901 edges, 1025 markings/sec, 2185 secs
lola: STP completed || 3 tries, 2063325 fired transitions, 2190 secs || 2202654 markings, 2786226 edges, 1008 markings/sec, 2190 secs
lola: STP completed || 3 tries, 2068083 fired transitions, 2195 secs || 2207706 markings, 2792669 edges, 1010 markings/sec, 2195 secs
lola: STP completed || 3 tries, 2072836 fired transitions, 2200 secs || 2212759 markings, 2799090 edges, 1011 markings/sec, 2200 secs
lola: STP completed || 3 tries, 2077590 fired transitions, 2205 secs || 2217846 markings, 2805411 edges, 1017 markings/sec, 2205 secs
lola: STP completed || 3 tries, 2082363 fired transitions, 2210 secs || 2222924 markings, 2811915 edges, 1016 markings/sec, 2210 secs
lola: STP completed || 3 tries, 2087148 fired transitions, 2215 secs || 2228064 markings, 2818544 edges, 1028 markings/sec, 2215 secs
lola: STP completed || 3 tries, 2091906 fired transitions, 2220 secs || 2233128 markings, 2824894 edges, 1013 markings/sec, 2220 secs
lola: STP completed || 3 tries, 2096692 fired transitions, 2225 secs || 2238143 markings, 2831190 edges, 1003 markings/sec, 2225 secs
lola: STP completed || 3 tries, 2101433 fired transitions, 2230 secs || 2243205 markings, 2837581 edges, 1012 markings/sec, 2230 secs
lola: STP completed || 3 tries, 2106207 fired transitions, 2235 secs || 2248276 markings, 2844053 edges, 1014 markings/sec, 2235 secs
lola: STP completed || 3 tries, 2110969 fired transitions, 2240 secs || 2253334 markings, 2850466 edges, 1012 markings/sec, 2240 secs
lola: STP completed || 3 tries, 2115709 fired transitions, 2245 secs || 2258389 markings, 2856995 edges, 1011 markings/sec, 2245 secs
lola: STP completed || 3 tries, 2120465 fired transitions, 2250 secs || 2263440 markings, 2863333 edges, 1010 markings/sec, 2250 secs
lola: STP completed || 3 tries, 2125226 fired transitions, 2255 secs || 2268470 markings, 2869738 edges, 1006 markings/sec, 2255 secs
lola: STP completed || 3 tries, 2129929 fired transitions, 2260 secs || 2273500 markings, 2876113 edges, 1006 markings/sec, 2260 secs
lola: STP completed || 3 tries, 2134679 fired transitions, 2265 secs || 2278548 markings, 2882721 edges, 1010 markings/sec, 2265 secs
lola: STP completed || 3 tries, 2139457 fired transitions, 2270 secs || 2283583 markings, 2889300 edges, 1007 markings/sec, 2270 secs
lola: STP completed || 3 tries, 2144195 fired transitions, 2275 secs || 2288638 markings, 2895562 edges, 1011 markings/sec, 2275 secs
lola: STP completed || 3 tries, 2148928 fired transitions, 2280 secs || 2293660 markings, 2901935 edges, 1004 markings/sec, 2280 secs
lola: STP completed || 3 tries, 2153681 fired transitions, 2285 secs || 2298677 markings, 2908280 edges, 1003 markings/sec, 2285 secs
lola: STP completed || 3 tries, 2158445 fired transitions, 2290 secs || 2303680 markings, 2914619 edges, 1001 markings/sec, 2290 secs
lola: STP completed || 3 tries, 2163209 fired transitions, 2295 secs || 2308678 markings, 2920905 edges, 1000 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2167960 fired transitions, 2300 secs || 2313695 markings, 2927246 edges, 1003 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2172734 fired transitions, 2305 secs || 2318694 markings, 2933707 edges, 1000 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2177458 fired transitions, 2310 secs || 2323754 markings, 2939734 edges, 1012 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2182210 fired transitions, 2315 secs || 2328777 markings, 2945924 edges, 1005 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2186983 fired transitions, 2320 secs || 2333800 markings, 2952277 edges, 1005 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2191743 fired transitions, 2325 secs || 2338826 markings, 2958606 edges, 1005 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2196451 fired transitions, 2330 secs || 2343849 markings, 2964952 edges, 1005 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2201195 fired transitions, 2335 secs || 2348888 markings, 2971324 edges, 1008 markings/sec, 2335 secs
lola: STP completed || 3 tries, 2205962 fired transitions, 2340 secs || 2353920 markings, 2977849 edges, 1006 markings/sec, 2340 secs
lola: STP completed || 3 tries, 2210722 fired transitions, 2345 secs || 2359005 markings, 2983873 edges, 1017 markings/sec, 2345 secs
lola: STP completed || 3 tries, 2215489 fired transitions, 2350 secs || 2364085 markings, 2989897 edges, 1016 markings/sec, 2350 secs
lola: STP completed || 3 tries, 2220246 fired transitions, 2355 secs || 2369127 markings, 2996197 edges, 1008 markings/sec, 2355 secs
lola: STP completed || 3 tries, 2225005 fired transitions, 2360 secs || 2374152 markings, 3002503 edges, 1005 markings/sec, 2360 secs
lola: STP completed || 3 tries, 2229766 fired transitions, 2365 secs || 2379163 markings, 3009014 edges, 1002 markings/sec, 2365 secs
lola: STP completed || 3 tries, 2234545 fired transitions, 2370 secs || 2384208 markings, 3015198 edges, 1009 markings/sec, 2370 secs
lola: STP completed || 3 tries, 2239291 fired transitions, 2375 secs || 2389254 markings, 3021639 edges, 1009 markings/sec, 2375 secs
lola: STP completed || 3 tries, 2244027 fired transitions, 2380 secs || 2394276 markings, 3028339 edges, 1004 markings/sec, 2380 secs
lola: STP completed || 3 tries, 2248797 fired transitions, 2385 secs || 2399396 markings, 3035104 edges, 1024 markings/sec, 2385 secs
lola: STP completed || 3 tries, 2253587 fired transitions, 2390 secs || 2404414 markings, 3041719 edges, 1004 markings/sec, 2390 secs
lola: STP completed || 3 tries, 2258359 fired transitions, 2395 secs || 2409439 markings, 3048166 edges, 1005 markings/sec, 2395 secs
lola: STP completed || 3 tries, 2263111 fired transitions, 2400 secs || 2414459 markings, 3054541 edges, 1004 markings/sec, 2400 secs
lola: STP completed || 3 tries, 2267862 fired transitions, 2405 secs || 2419478 markings, 3060998 edges, 1004 markings/sec, 2405 secs
lola: STP completed || 3 tries, 2272649 fired transitions, 2410 secs || 2424484 markings, 3067550 edges, 1001 markings/sec, 2410 secs
lola: STP completed || 3 tries, 2277407 fired transitions, 2415 secs || 2429479 markings, 3074024 edges, 999 markings/sec, 2415 secs
lola: STP completed || 3 tries, 2282178 fired transitions, 2420 secs || 2434414 markings, 3080480 edges, 987 markings/sec, 2420 secs
lola: STP completed || 3 tries, 2286932 fired transitions, 2425 secs || 2439376 markings, 3086990 edges, 992 markings/sec, 2425 secs
lola: STP completed || 3 tries, 2291704 fired transitions, 2430 secs || 2444322 markings, 3093774 edges, 989 markings/sec, 2430 secs
lola: STP completed || 3 tries, 2296471 fired transitions, 2435 secs || 2449370 markings, 3100254 edges, 1010 markings/sec, 2435 secs
lola: STP completed || 3 tries, 2301264 fired transitions, 2440 secs || 2454396 markings, 3106678 edges, 1005 markings/sec, 2440 secs
lola: STP completed || 3 tries, 2306035 fired transitions, 2445 secs || 2459406 markings, 3113141 edges, 1002 markings/sec, 2445 secs
lola: STP completed || 3 tries, 2310814 fired transitions, 2450 secs || 2464404 markings, 3119456 edges, 1000 markings/sec, 2450 secs
lola: STP completed || 3 tries, 2315570 fired transitions, 2455 secs || 2469408 markings, 3125880 edges, 1001 markings/sec, 2455 secs
lola: STP completed || 3 tries, 2320316 fired transitions, 2460 secs || 2474365 markings, 3132734 edges, 991 markings/sec, 2460 secs
lola: STP completed || 3 tries, 2325089 fired transitions, 2465 secs || 2479330 markings, 3139877 edges, 993 markings/sec, 2465 secs
lola: STP completed || 3 tries, 2329860 fired transitions, 2470 secs || 2484343 markings, 3146330 edges, 1003 markings/sec, 2470 secs
lola: STP completed || 3 tries, 2334618 fired transitions, 2475 secs || 2489379 markings, 3152756 edges, 1007 markings/sec, 2475 secs
lola: STP completed || 3 tries, 2339387 fired transitions, 2480 secs || 2494372 markings, 3159378 edges, 999 markings/sec, 2480 secs
lola: STP completed || 3 tries, 2344131 fired transitions, 2485 secs || 2499371 markings, 3165718 edges, 1000 markings/sec, 2485 secs
lola: STP completed || 3 tries, 2348917 fired transitions, 2490 secs || 2504370 markings, 3172083 edges, 1000 markings/sec, 2490 secs
lola: STP completed || 3 tries, 2353699 fired transitions, 2495 secs || 2509358 markings, 3178420 edges, 998 markings/sec, 2495 secs
lola: STP completed || 3 tries, 2358485 fired transitions, 2500 secs || 2514363 markings, 3185131 edges, 1001 markings/sec, 2500 secs
lola: STP completed || 3 tries, 2363257 fired transitions, 2505 secs || 2519385 markings, 3191510 edges, 1004 markings/sec, 2505 secs
lola: STP completed || 3 tries, 2368014 fired transitions, 2510 secs || 2524353 markings, 3198246 edges, 994 markings/sec, 2510 secs
lola: STP completed || 3 tries, 2372785 fired transitions, 2515 secs || 2529311 markings, 3204715 edges, 992 markings/sec, 2515 secs
lola: STP completed || 3 tries, 2377537 fired transitions, 2520 secs || 2534307 markings, 3210844 edges, 999 markings/sec, 2520 secs
lola: STP completed || 3 tries, 2382304 fired transitions, 2525 secs || 2539319 markings, 3217082 edges, 1002 markings/sec, 2525 secs
lola: STP completed || 3 tries, 2387101 fired transitions, 2530 secs || 2544291 markings, 3224168 edges, 994 markings/sec, 2530 secs
lola: STP completed || 3 tries, 2391880 fired transitions, 2535 secs || 2549305 markings, 3230583 edges, 1003 markings/sec, 2535 secs
lola: STP completed || 3 tries, 2396645 fired transitions, 2540 secs || 2554320 markings, 3236818 edges, 1003 markings/sec, 2540 secs
lola: STP completed || 3 tries, 2401428 fired transitions, 2545 secs || 2559339 markings, 3243088 edges, 1004 markings/sec, 2545 secs
lola: STP completed || 3 tries, 2406193 fired transitions, 2550 secs || 2564348 markings, 3249334 edges, 1002 markings/sec, 2550 secs
lola: STP completed || 3 tries, 2410975 fired transitions, 2555 secs || 2569335 markings, 3255876 edges, 997 markings/sec, 2555 secs
lola: STP completed || 3 tries, 2415729 fired transitions, 2560 secs || 2574353 markings, 3262477 edges, 1004 markings/sec, 2560 secs
lola: STP completed || 3 tries, 2420502 fired transitions, 2565 secs || 2579355 markings, 3269002 edges, 1000 markings/sec, 2565 secs
lola: STP completed || 3 tries, 2425256 fired transitions, 2570 secs || 2584293 markings, 3275514 edges, 988 markings/sec, 2570 secs
lola: STP completed || 3 tries, 2430024 fired transitions, 2575 secs || 2589241 markings, 3282018 edges, 990 markings/sec, 2575 secs
lola: STP completed || 3 tries, 2434786 fired transitions, 2580 secs || 2594170 markings, 3288680 edges, 986 markings/sec, 2580 secs
lola: STP completed || 3 tries, 2439538 fired transitions, 2585 secs || 2599140 markings, 3295020 edges, 994 markings/sec, 2585 secs
lola: STP completed || 3 tries, 2444327 fired transitions, 2590 secs || 2604095 markings, 3301314 edges, 991 markings/sec, 2590 secs
lola: STP completed || 3 tries, 2449095 fired transitions, 2595 secs || 2609049 markings, 3307924 edges, 991 markings/sec, 2595 secs
lola: STP completed || 3 tries, 2453860 fired transitions, 2600 secs || 2614020 markings, 3314231 edges, 994 markings/sec, 2600 secs
lola: STP completed || 3 tries, 2458610 fired transitions, 2605 secs || 2618994 markings, 3320601 edges, 995 markings/sec, 2605 secs
lola: STP completed || 3 tries, 2463370 fired transitions, 2610 secs || 2624015 markings, 3326943 edges, 1004 markings/sec, 2610 secs
lola: STP completed || 3 tries, 2468140 fired transitions, 2615 secs || 2629039 markings, 3333454 edges, 1005 markings/sec, 2615 secs
lola: STP completed || 3 tries, 2472871 fired transitions, 2620 secs || 2634036 markings, 3339730 edges, 999 markings/sec, 2620 secs
lola: STP completed || 3 tries, 2477641 fired transitions, 2625 secs || 2639063 markings, 3346114 edges, 1005 markings/sec, 2625 secs
lola: STP completed || 3 tries, 2482379 fired transitions, 2630 secs || 2644103 markings, 3352197 edges, 1008 markings/sec, 2630 secs
lola: STP completed || 3 tries, 2487138 fired transitions, 2635 secs || 2649131 markings, 3358515 edges, 1006 markings/sec, 2635 secs
lola: STP completed || 3 tries, 2491878 fired transitions, 2640 secs || 2654141 markings, 3365129 edges, 1002 markings/sec, 2640 secs
lola: STP completed || 3 tries, 2496613 fired transitions, 2645 secs || 2659115 markings, 3371687 edges, 995 markings/sec, 2645 secs
lola: STP completed || 3 tries, 2501364 fired transitions, 2650 secs || 2664090 markings, 3378104 edges, 995 markings/sec, 2650 secs
lola: STP completed || 3 tries, 2506128 fired transitions, 2655 secs || 2669124 markings, 3384224 edges, 1007 markings/sec, 2655 secs
lola: STP completed || 3 tries, 2510865 fired transitions, 2660 secs || 2674146 markings, 3390307 edges, 1004 markings/sec, 2660 secs
lola: STP completed || 3 tries, 2515605 fired transitions, 2665 secs || 2679139 markings, 3397257 edges, 999 markings/sec, 2665 secs
lola: STP completed || 3 tries, 2520346 fired transitions, 2670 secs || 2684111 markings, 3403662 edges, 994 markings/sec, 2670 secs
lola: STP completed || 3 tries, 2525093 fired transitions, 2675 secs || 2689094 markings, 3409929 edges, 997 markings/sec, 2675 secs
lola: STP completed || 3 tries, 2529862 fired transitions, 2680 secs || 2694027 markings, 3416757 edges, 987 markings/sec, 2680 secs
lola: STP completed || 3 tries, 2534603 fired transitions, 2685 secs || 2699018 markings, 3422968 edges, 998 markings/sec, 2685 secs
lola: STP completed || 3 tries, 2539365 fired transitions, 2690 secs || 2704006 markings, 3429757 edges, 998 markings/sec, 2690 secs
lola: STP completed || 3 tries, 2544111 fired transitions, 2695 secs || 2708996 markings, 3436220 edges, 998 markings/sec, 2695 secs
lola: STP completed || 3 tries, 2548846 fired transitions, 2700 secs || 2714017 markings, 3442619 edges, 1004 markings/sec, 2700 secs
lola: STP completed || 3 tries, 2553597 fired transitions, 2705 secs || 2719047 markings, 3449026 edges, 1006 markings/sec, 2705 secs
lola: STP completed || 3 tries, 2558336 fired transitions, 2710 secs || 2724041 markings, 3455562 edges, 999 markings/sec, 2710 secs
lola: STP completed || 3 tries, 2563091 fired transitions, 2715 secs || 2728999 markings, 3462074 edges, 992 markings/sec, 2715 secs
lola: STP completed || 3 tries, 2567854 fired transitions, 2720 secs || 2734029 markings, 3468472 edges, 1006 markings/sec, 2720 secs
lola: STP completed || 3 tries, 2572697 fired transitions, 2725 secs || 2739134 markings, 3474888 edges, 1021 markings/sec, 2725 secs
lola: STP completed || 3 tries, 2577559 fired transitions, 2730 secs || 2744245 markings, 3481335 edges, 1022 markings/sec, 2730 secs
lola: STP completed || 3 tries, 2582418 fired transitions, 2735 secs || 2749356 markings, 3488055 edges, 1022 markings/sec, 2735 secs
lola: STP completed || 3 tries, 2587294 fired transitions, 2740 secs || 2754467 markings, 3494823 edges, 1022 markings/sec, 2740 secs
lola: STP completed || 3 tries, 2592127 fired transitions, 2745 secs || 2759587 markings, 3501423 edges, 1024 markings/sec, 2745 secs
lola: STP completed || 3 tries, 2596852 fired transitions, 2750 secs || 2764563 markings, 3507808 edges, 995 markings/sec, 2750 secs
lola: STP completed || 3 tries, 2601595 fired transitions, 2755 secs || 2769554 markings, 3514157 edges, 998 markings/sec, 2755 secs
lola: STP completed || 3 tries, 2606368 fired transitions, 2760 secs || 2774534 markings, 3520456 edges, 996 markings/sec, 2760 secs
lola: STP completed || 3 tries, 2611118 fired transitions, 2765 secs || 2779529 markings, 3526801 edges, 999 markings/sec, 2765 secs
lola: STP completed || 3 tries, 2615853 fired transitions, 2770 secs || 2784522 markings, 3533122 edges, 999 markings/sec, 2770 secs
lola: STP completed || 3 tries, 2620610 fired transitions, 2775 secs || 2789527 markings, 3539828 edges, 1001 markings/sec, 2775 secs
lola: STP completed || 3 tries, 2625324 fired transitions, 2780 secs || 2794563 markings, 3546319 edges, 1007 markings/sec, 2780 secs
lola: STP completed || 3 tries, 2629967 fired transitions, 2785 secs || 2799607 markings, 3552921 edges, 1009 markings/sec, 2785 secs
lola: STP completed || 3 tries, 2634649 fired transitions, 2790 secs || 2804588 markings, 3559318 edges, 996 markings/sec, 2790 secs
lola: STP completed || 3 tries, 2639445 fired transitions, 2795 secs || 2809616 markings, 3565892 edges, 1006 markings/sec, 2795 secs
lola: STP completed || 3 tries, 2644141 fired transitions, 2800 secs || 2814504 markings, 3572126 edges, 978 markings/sec, 2800 secs
lola: STP completed || 3 tries, 2648878 fired transitions, 2805 secs || 2819401 markings, 3578428 edges, 979 markings/sec, 2805 secs
lola: STP completed || 3 tries, 2653647 fired transitions, 2810 secs || 2824390 markings, 3584832 edges, 998 markings/sec, 2810 secs
lola: STP completed || 3 tries, 2658391 fired transitions, 2815 secs || 2829408 markings, 3591510 edges, 1004 markings/sec, 2815 secs
lola: STP completed || 3 tries, 2663133 fired transitions, 2820 secs || 2834371 markings, 3598131 edges, 993 markings/sec, 2820 secs
lola: STP completed || 3 tries, 2667850 fired transitions, 2825 secs || 2839371 markings, 3604519 edges, 1000 markings/sec, 2825 secs
lola: STP completed || 3 tries, 2672579 fired transitions, 2830 secs || 2844384 markings, 3611001 edges, 1003 markings/sec, 2830 secs
lola: STP completed || 3 tries, 2677317 fired transitions, 2835 secs || 2849413 markings, 3617446 edges, 1006 markings/sec, 2835 secs
lola: STP completed || 3 tries, 2682073 fired transitions, 2840 secs || 2854453 markings, 3623719 edges, 1008 markings/sec, 2840 secs
lola: STP completed || 3 tries, 2686814 fired transitions, 2845 secs || 2859502 markings, 3630256 edges, 1010 markings/sec, 2845 secs
lola: STP completed || 3 tries, 2691538 fired transitions, 2850 secs || 2864532 markings, 3636842 edges, 1006 markings/sec, 2850 secs
lola: STP completed || 3 tries, 2696254 fired transitions, 2855 secs || 2869452 markings, 3643028 edges, 984 markings/sec, 2855 secs
lola: STP completed || 3 tries, 2700973 fired transitions, 2860 secs || 2874413 markings, 3649431 edges, 992 markings/sec, 2860 secs
lola: STP completed || 3 tries, 2705709 fired transitions, 2865 secs || 2879434 markings, 3655968 edges, 1004 markings/sec, 2865 secs
lola: STP completed || 3 tries, 2710475 fired transitions, 2870 secs || 2884387 markings, 3662672 edges, 991 markings/sec, 2870 secs
lola: STP completed || 3 tries, 2715221 fired transitions, 2875 secs || 2889396 markings, 3669527 edges, 1002 markings/sec, 2875 secs
lola: STP completed || 3 tries, 2719985 fired transitions, 2880 secs || 2894444 markings, 3675962 edges, 1010 markings/sec, 2880 secs
lola: STP completed || 3 tries, 2724748 fired transitions, 2885 secs || 2899451 markings, 3682366 edges, 1001 markings/sec, 2885 secs
lola: STP completed || 3 tries, 2729513 fired transitions, 2890 secs || 2904447 markings, 3688648 edges, 999 markings/sec, 2890 secs
lola: STP completed || 3 tries, 2734281 fired transitions, 2895 secs || 2909398 markings, 3695125 edges, 990 markings/sec, 2895 secs
lola: STP completed || 3 tries, 2739028 fired transitions, 2900 secs || 2914402 markings, 3701419 edges, 1001 markings/sec, 2900 secs
lola: STP completed || 3 tries, 2743741 fired transitions, 2905 secs || 2919386 markings, 3707828 edges, 997 markings/sec, 2905 secs
lola: STP completed || 3 tries, 2748463 fired transitions, 2910 secs || 2924386 markings, 3714315 edges, 1000 markings/sec, 2910 secs
lola: STP completed || 3 tries, 2753157 fired transitions, 2915 secs || 2929358 markings, 3720915 edges, 994 markings/sec, 2915 secs
lola: STP completed || 3 tries, 2757840 fired transitions, 2920 secs || 2934344 markings, 3727355 edges, 997 markings/sec, 2920 secs
lola: STP completed || 3 tries, 2762554 fired transitions, 2925 secs || 2939317 markings, 3733640 edges, 995 markings/sec, 2925 secs
lola: STP completed || 3 tries, 2767245 fired transitions, 2930 secs || 2944287 markings, 3740120 edges, 994 markings/sec, 2930 secs
lola: STP completed || 3 tries, 2771946 fired transitions, 2935 secs || 2949266 markings, 3746532 edges, 996 markings/sec, 2935 secs
lola: STP completed || 3 tries, 2776621 fired transitions, 2940 secs || 2954219 markings, 3753353 edges, 991 markings/sec, 2940 secs
lola: STP completed || 3 tries, 2781325 fired transitions, 2945 secs || 2959249 markings, 3759790 edges, 1006 markings/sec, 2945 secs
lola: STP completed || 3 tries, 2786061 fired transitions, 2950 secs || 2964305 markings, 3766478 edges, 1011 markings/sec, 2950 secs
lola: STP completed || 3 tries, 2790783 fired transitions, 2955 secs || 2969336 markings, 3773033 edges, 1006 markings/sec, 2955 secs
lola: STP completed || 3 tries, 2795486 fired transitions, 2960 secs || 2974221 markings, 3779477 edges, 977 markings/sec, 2960 secs
lola: STP completed || 3 tries, 2800185 fired transitions, 2965 secs || 2979198 markings, 3786042 edges, 995 markings/sec, 2965 secs
lola: STP completed || 3 tries, 2804900 fired transitions, 2970 secs || 2984163 markings, 3792809 edges, 993 markings/sec, 2970 secs
lola: STP completed || 3 tries, 2809598 fired transitions, 2975 secs || 2989162 markings, 3799144 edges, 1000 markings/sec, 2975 secs
lola: STP completed || 3 tries, 2814307 fired transitions, 2980 secs || 2994137 markings, 3805562 edges, 995 markings/sec, 2980 secs
lola: STP completed || 3 tries, 2818993 fired transitions, 2985 secs || 2999094 markings, 3811916 edges, 991 markings/sec, 2985 secs
lola: STP completed || 3 tries, 2823694 fired transitions, 2990 secs || 3004069 markings, 3818368 edges, 995 markings/sec, 2990 secs
lola: STP completed || 3 tries, 2828395 fired transitions, 2995 secs || 3009059 markings, 3824661 edges, 998 markings/sec, 2995 secs
lola: STP completed || 3 tries, 2833095 fired transitions, 3000 secs || 3014025 markings, 3831163 edges, 993 markings/sec, 3000 secs
lola: STP completed || 3 tries, 2837794 fired transitions, 3005 secs || 3018957 markings, 3838439 edges, 986 markings/sec, 3005 secs
lola: STP completed || 3 tries, 2842509 fired transitions, 3010 secs || 3023942 markings, 3844910 edges, 997 markings/sec, 3010 secs
lola: STP completed || 3 tries, 2847206 fired transitions, 3015 secs || 3028911 markings, 3851108 edges, 994 markings/sec, 3015 secs
lola: STP completed || 3 tries, 2851891 fired transitions, 3020 secs || 3033902 markings, 3857099 edges, 998 markings/sec, 3020 secs
lola: STP completed || 3 tries, 2856606 fired transitions, 3025 secs || 3038856 markings, 3863332 edges, 991 markings/sec, 3025 secs
lola: STP completed || 3 tries, 2861286 fired transitions, 3030 secs || 3043819 markings, 3869870 edges, 993 markings/sec, 3030 secs
lola: STP completed || 3 tries, 2865997 fired transitions, 3035 secs || 3048778 markings, 3876325 edges, 992 markings/sec, 3035 secs
lola: STP completed || 3 tries, 2870737 fired transitions, 3040 secs || 3053652 markings, 3882619 edges, 975 markings/sec, 3040 secs
lola: STP completed || 3 tries, 2875498 fired transitions, 3045 secs || 3058660 markings, 3888980 edges, 1002 markings/sec, 3045 secs
lola: STP completed || 3 tries, 2880305 fired transitions, 3050 secs || 3063654 markings, 3895072 edges, 999 markings/sec, 3050 secs
lola: STP completed || 3 tries, 2884968 fired transitions, 3055 secs || 3068723 markings, 3901621 edges, 1014 markings/sec, 3055 secs
lola: STP completed || 3 tries, 2889639 fired transitions, 3060 secs || 3073782 markings, 3907815 edges, 1012 markings/sec, 3060 secs
lola: STP completed || 3 tries, 2894337 fired transitions, 3065 secs || 3078759 markings, 3914310 edges, 995 markings/sec, 3065 secs
lola: STP completed || 3 tries, 2899022 fired transitions, 3070 secs || 3083774 markings, 3920741 edges, 1003 markings/sec, 3070 secs
lola: STP completed || 3 tries, 2903715 fired transitions, 3075 secs || 3088764 markings, 3927084 edges, 998 markings/sec, 3075 secs
lola: STP completed || 3 tries, 2908392 fired transitions, 3080 secs || 3093764 markings, 3933567 edges, 1000 markings/sec, 3080 secs
lola: STP completed || 3 tries, 2913036 fired transitions, 3085 secs || 3098792 markings, 3939960 edges, 1006 markings/sec, 3085 secs
lola: STP completed || 3 tries, 2917765 fired transitions, 3090 secs || 3103880 markings, 3946475 edges, 1018 markings/sec, 3090 secs
lola: STP completed || 3 tries, 2922593 fired transitions, 3095 secs || 3108889 markings, 3952925 edges, 1002 markings/sec, 3095 secs
lola: STP completed || 3 tries, 2927473 fired transitions, 3100 secs || 3113965 markings, 3959571 edges, 1015 markings/sec, 3100 secs
lola: STP completed || 3 tries, 2932351 fired transitions, 3105 secs || 3119076 markings, 3966353 edges, 1022 markings/sec, 3105 secs
lola: STP completed || 3 tries, 2937233 fired transitions, 3110 secs || 3124178 markings, 3973267 edges, 1020 markings/sec, 3110 secs
lola: STP completed || 3 tries, 2942125 fired transitions, 3115 secs || 3129330 markings, 3979743 edges, 1030 markings/sec, 3115 secs
lola: STP completed || 3 tries, 2946996 fired transitions, 3120 secs || 3134448 markings, 3986470 edges, 1024 markings/sec, 3120 secs
lola: STP completed || 3 tries, 2951894 fired transitions, 3125 secs || 3139569 markings, 3993330 edges, 1024 markings/sec, 3125 secs
lola: STP completed || 3 tries, 2956781 fired transitions, 3130 secs || 3144616 markings, 3999598 edges, 1009 markings/sec, 3130 secs
lola: STP completed || 3 tries, 2961689 fired transitions, 3135 secs || 3149607 markings, 4006326 edges, 998 markings/sec, 3135 secs
lola: STP completed || 3 tries, 2966453 fired transitions, 3140 secs || 3154518 markings, 4012736 edges, 982 markings/sec, 3140 secs
lola: STP completed || 3 tries, 2971315 fired transitions, 3145 secs || 3159576 markings, 4019083 edges, 1012 markings/sec, 3145 secs
lola: STP completed || 3 tries, 2976120 fired transitions, 3150 secs || 3164773 markings, 4025609 edges, 1039 markings/sec, 3150 secs
lola: STP completed || 3 tries, 2981027 fired transitions, 3155 secs || 3170006 markings, 4032346 edges, 1047 markings/sec, 3155 secs
lola: STP completed || 3 tries, 2985925 fired transitions, 3160 secs || 3175193 markings, 4039147 edges, 1037 markings/sec, 3160 secs
lola: STP completed || 3 tries, 2990831 fired transitions, 3165 secs || 3180374 markings, 4045643 edges, 1036 markings/sec, 3165 secs
lola: STP completed || 3 tries, 2995748 fired transitions, 3170 secs || 3185553 markings, 4052316 edges, 1036 markings/sec, 3170 secs
lola: STP completed || 4 tries, 3000636 fired transitions, 3175 secs || 3190777 markings, 4058748 edges, 1045 markings/sec, 3175 secs
lola: STP completed || 4 tries, 3005550 fired transitions, 3180 secs || 3195996 markings, 4065190 edges, 1044 markings/sec, 3180 secs
lola: STP completed || 4 tries, 3010353 fired transitions, 3185 secs || 3201215 markings, 4071850 edges, 1044 markings/sec, 3185 secs
lola: STP completed || 4 tries, 3015139 fired transitions, 3190 secs || 3206390 markings, 4078415 edges, 1035 markings/sec, 3190 secs
lola: STP completed || 4 tries, 3020056 fired transitions, 3195 secs || 3211607 markings, 4085075 edges, 1043 markings/sec, 3195 secs
lola: STP completed || 4 tries, 3024897 fired transitions, 3200 secs || 3216799 markings, 4091672 edges, 1038 markings/sec, 3200 secs
lola: STP completed || 4 tries, 3029753 fired transitions, 3205 secs || 3221958 markings, 4098265 edges, 1032 markings/sec, 3205 secs
lola: STP completed || 4 tries, 3034603 fired transitions, 3210 secs || 3227126 markings, 4105007 edges, 1034 markings/sec, 3210 secs
lola: STP completed || 4 tries, 3039468 fired transitions, 3215 secs || 3232293 markings, 4111728 edges, 1033 markings/sec, 3215 secs
lola: STP completed || 4 tries, 3044348 fired transitions, 3220 secs || 3237448 markings, 4118471 edges, 1031 markings/sec, 3220 secs
lola: STP completed || 4 tries, 3049214 fired transitions, 3225 secs || 3242575 markings, 4125159 edges, 1025 markings/sec, 3225 secs
lola: STP completed || 4 tries, 3053870 fired transitions, 3230 secs || 3247726 markings, 4131793 edges, 1030 markings/sec, 3230 secs
lola: STP completed || 4 tries, 3058751 fired transitions, 3235 secs || 3252818 markings, 4138469 edges, 1018 markings/sec, 3235 secs
lola: STP completed || 4 tries, 3063619 fired transitions, 3240 secs || 3257944 markings, 4145003 edges, 1025 markings/sec, 3240 secs
lola: STP completed || 4 tries, 3068481 fired transitions, 3245 secs || 3263071 markings, 4151534 edges, 1025 markings/sec, 3245 secs
lola: STP completed || 4 tries, 3073364 fired transitions, 3250 secs || 3268219 markings, 4158129 edges, 1030 markings/sec, 3250 secs
lola: STP completed || 4 tries, 3078208 fired transitions, 3255 secs || 3273368 markings, 4164961 edges, 1030 markings/sec, 3255 secs
lola: STP completed || 4 tries, 3083080 fired transitions, 3260 secs || 3278466 markings, 4171742 edges, 1020 markings/sec, 3260 secs
lola: STP completed || 4 tries, 3087969 fired transitions, 3265 secs || 3283577 markings, 4178320 edges, 1022 markings/sec, 3265 secs
lola: STP completed || 4 tries, 3092842 fired transitions, 3270 secs || 3288684 markings, 4184828 edges, 1021 markings/sec, 3270 secs
lola: STP completed || 4 tries, 3097724 fired transitions, 3275 secs || 3293786 markings, 4191436 edges, 1020 markings/sec, 3275 secs
lola: STP completed || 4 tries, 3102583 fired transitions, 3280 secs || 3298883 markings, 4197895 edges, 1019 markings/sec, 3280 secs
lola: STP completed || 4 tries, 3107437 fired transitions, 3285 secs || 3304012 markings, 4204419 edges, 1026 markings/sec, 3285 secs
lola: STP completed || 4 tries, 3112324 fired transitions, 3290 secs || 3309056 markings, 4210943 edges, 1009 markings/sec, 3290 secs
lola: STP completed || 4 tries, 3117213 fired transitions, 3295 secs || 3314167 markings, 4217516 edges, 1022 markings/sec, 3295 secs
lola: STP completed || 4 tries, 3122074 fired transitions, 3300 secs || 3319265 markings, 4224018 edges, 1020 markings/sec, 3300 secs
lola: STP completed || 4 tries, 3126932 fired transitions, 3305 secs || 3324358 markings, 4230573 edges, 1019 markings/sec, 3305 secs
lola: STP completed || 4 tries, 3131824 fired transitions, 3310 secs || 3329484 markings, 4237245 edges, 1025 markings/sec, 3310 secs
lola: STP completed || 4 tries, 3136700 fired transitions, 3315 secs || 3334494 markings, 4244305 edges, 1002 markings/sec, 3315 secs
lola: STP completed || 4 tries, 3141576 fired transitions, 3320 secs || 3339576 markings, 4250905 edges, 1016 markings/sec, 3320 secs
lola: STP completed || 4 tries, 3146453 fired transitions, 3325 secs || 3344699 markings, 4257503 edges, 1025 markings/sec, 3325 secs
lola: STP completed || 4 tries, 3151340 fired transitions, 3330 secs || 3349820 markings, 4263922 edges, 1024 markings/sec, 3330 secs
lola: STP completed || 4 tries, 3156202 fired transitions, 3335 secs || 3354910 markings, 4270558 edges, 1018 markings/sec, 3335 secs
lola: STP completed || 4 tries, 3161058 fired transitions, 3340 secs || 3360037 markings, 4277011 edges, 1025 markings/sec, 3340 secs
lola: STP completed || 4 tries, 3165949 fired transitions, 3345 secs || 3365169 markings, 4283606 edges, 1026 markings/sec, 3345 secs
lola: STP completed || 4 tries, 3170833 fired transitions, 3350 secs || 3370349 markings, 4290295 edges, 1036 markings/sec, 3350 secs
lola: STP completed || 4 tries, 3175715 fired transitions, 3355 secs || 3375516 markings, 4297022 edges, 1033 markings/sec, 3355 secs
lola: STP completed || 4 tries, 3180574 fired transitions, 3360 secs || 3380683 markings, 4303749 edges, 1033 markings/sec, 3360 secs
lola: STP completed || 4 tries, 3185420 fired transitions, 3365 secs || 3385808 markings, 4311174 edges, 1025 markings/sec, 3365 secs
lola: STP completed || 4 tries, 3190306 fired transitions, 3370 secs || 3390997 markings, 4317625 edges, 1038 markings/sec, 3370 secs
lola: STP completed || 4 tries, 3195171 fired transitions, 3375 secs || 3396185 markings, 4324609 edges, 1038 markings/sec, 3375 secs
lola: STP completed || 4 tries, 3200045 fired transitions, 3380 secs || 3401392 markings, 4331423 edges, 1041 markings/sec, 3380 secs
lola: STP completed || 4 tries, 3204924 fired transitions, 3385 secs || 3406554 markings, 4338309 edges, 1032 markings/sec, 3385 secs
lola: STP completed || 4 tries, 3209792 fired transitions, 3390 secs || 3411640 markings, 4345225 edges, 1017 markings/sec, 3390 secs
lola: STP completed || 4 tries, 3214634 fired transitions, 3395 secs || 3416750 markings, 4351963 edges, 1022 markings/sec, 3395 secs
lola: STP completed || 4 tries, 3219496 fired transitions, 3400 secs || 3421872 markings, 4358775 edges, 1024 markings/sec, 3400 secs
lola: STP completed || 4 tries, 3224366 fired transitions, 3405 secs || 3427000 markings, 4365542 edges, 1026 markings/sec, 3405 secs
lola: STP completed || 4 tries, 3229201 fired transitions, 3410 secs || 3432131 markings, 4372115 edges, 1026 markings/sec, 3410 secs
lola: STP completed || 4 tries, 3234055 fired transitions, 3415 secs || 3437265 markings, 4378577 edges, 1027 markings/sec, 3415 secs
lola: STP completed || 4 tries, 3238885 fired transitions, 3420 secs || 3442401 markings, 4385272 edges, 1027 markings/sec, 3420 secs
lola: STP completed || 4 tries, 3243733 fired transitions, 3425 secs || 3447543 markings, 4391849 edges, 1028 markings/sec, 3425 secs
lola: STP completed || 4 tries, 3248596 fired transitions, 3430 secs || 3452668 markings, 4398460 edges, 1025 markings/sec, 3430 secs
lola: STP completed || 4 tries, 3253459 fired transitions, 3435 secs || 3457820 markings, 4404798 edges, 1030 markings/sec, 3435 secs
lola: STP completed || 4 tries, 3258305 fired transitions, 3440 secs || 3462951 markings, 4411486 edges, 1026 markings/sec, 3440 secs
lola: STP completed || 4 tries, 3263161 fired transitions, 3445 secs || 3468120 markings, 4417996 edges, 1034 markings/sec, 3445 secs
lola: STP completed || 4 tries, 3268024 fired transitions, 3450 secs || 3473221 markings, 4424531 edges, 1020 markings/sec, 3450 secs
lola: STP completed || 4 tries, 3272888 fired transitions, 3455 secs || 3478350 markings, 4431140 edges, 1026 markings/sec, 3455 secs
lola: STP completed || 4 tries, 3277761 fired transitions, 3460 secs || 3483554 markings, 4437493 edges, 1041 markings/sec, 3460 secs
lola: STP completed || 4 tries, 3282514 fired transitions, 3465 secs || 3488690 markings, 4444162 edges, 1027 markings/sec, 3465 secs
lola: STP completed || 4 tries, 3287401 fired transitions, 3470 secs || 3493828 markings, 4450781 edges, 1028 markings/sec, 3470 secs
lola: STP completed || 4 tries, 3292259 fired transitions, 3475 secs || 3498974 markings, 4457204 edges, 1029 markings/sec, 3475 secs
lola: STP completed || 4 tries, 3297111 fired transitions, 3480 secs || 3504156 markings, 4463463 edges, 1036 markings/sec, 3480 secs
lola: STP completed || 4 tries, 3301994 fired transitions, 3485 secs || 3509323 markings, 4469992 edges, 1033 markings/sec, 3485 secs
lola: STP completed || 4 tries, 3306831 fired transitions, 3490 secs || 3514514 markings, 4476527 edges, 1038 markings/sec, 3490 secs
lola: STP completed || 4 tries, 3311666 fired transitions, 3495 secs || 3519693 markings, 4483013 edges, 1036 markings/sec, 3495 secs
lola: STP completed || 4 tries, 3316516 fired transitions, 3500 secs || 3524881 markings, 4489559 edges, 1038 markings/sec, 3500 secs
lola: STP completed || 4 tries, 3321220 fired transitions, 3505 secs || 3529967 markings, 4496062 edges, 1017 markings/sec, 3505 secs
lola: STP completed || 4 tries, 3325961 fired transitions, 3510 secs || 3535042 markings, 4502563 edges, 1015 markings/sec, 3510 secs
lola: STP completed || 4 tries, 3330694 fired transitions, 3515 secs || 3540104 markings, 4509022 edges, 1012 markings/sec, 3515 secs
lola: STP completed || 4 tries, 3335440 fired transitions, 3520 secs || 3545116 markings, 4515584 edges, 1002 markings/sec, 3520 secs
lola: STP completed || 4 tries, 3340185 fired transitions, 3525 secs || 3550100 markings, 4522099 edges, 997 markings/sec, 3525 secs
lola: STP completed || 4 tries, 3344911 fired transitions, 3530 secs || 3555077 markings, 4528787 edges, 995 markings/sec, 3530 secs
lola: STP completed || 4 tries, 3349650 fired transitions, 3535 secs || 3560072 markings, 4535548 edges, 999 markings/sec, 3535 secs
lola: STP completed || 4 tries, 3354416 fired transitions, 3540 secs || 3565164 markings, 4542117 edges, 1018 markings/sec, 3540 secs
lola: STP completed || 4 tries, 3359159 fired transitions, 3545 secs || 3570180 markings, 4548623 edges, 1003 markings/sec, 3545 secs
lola: STP completed || 4 tries, 3363894 fired transitions, 3550 secs || 3575214 markings, 4554978 edges, 1007 markings/sec, 3550 secs
lola: STP completed || 4 tries, 3368632 fired transitions, 3555 secs || 3580164 markings, 4561450 edges, 990 markings/sec, 3555 secs
lola: STP completed || 4 tries, 3373355 fired transitions, 3560 secs || 3585120 markings, 4567798 edges, 991 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1818052 KB
lola: time consumption: 3571 seconds

BK_STOP 1526522209258

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-030"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-030.tgz
mv BART-PT-030 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BART-PT-030, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r028-ebro-152646306000090"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;