About the Execution of LoLA for SafeBus-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 495.970 | 3570371.00 | 7282727.00 | 7321.90 | [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 2.4M
-rw-r--r-- 1 mcc users 7.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 62K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 209K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 60K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 193K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SafeBus-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-smll-152685547200244
=====================================================================
--------------------
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 SafeBus-PT-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527032170223
info: Time: 3600 - MCC
===========================================================================================
prep: translating SafeBus-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating SafeBus-PT-10 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ SafeBus-PT-10 @ 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: 1947/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: Size of bit vector: 10112
lola: finding significant places
lola: 316 places, 1631 transitions, 261 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 983 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-PT-10-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 117 generators (11 in search tree, 106 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 24681 variables and 159300 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 4083 fired transitions, 0 secs || 3877 markings, 4511 edges, 775 markings/sec, 0 secs
lola: STP completed || 1 tries, 8377 fired transitions, 5 secs || 8071 markings, 9783 edges, 839 markings/sec, 5 secs
lola: STP completed || 1 tries, 12683 fired transitions, 10 secs || 12235 markings, 15186 edges, 833 markings/sec, 10 secs
lola: STP completed || 1 tries, 16924 fired transitions, 15 secs || 16365 markings, 20635 edges, 826 markings/sec, 15 secs
lola: STP completed || 1 tries, 21299 fired transitions, 20 secs || 20605 markings, 26345 edges, 848 markings/sec, 20 secs
lola: STP completed || 1 tries, 25621 fired transitions, 25 secs || 24830 markings, 32458 edges, 845 markings/sec, 25 secs
lola: STP completed || 1 tries, 29921 fired transitions, 30 secs || 29123 markings, 38831 edges, 859 markings/sec, 30 secs
lola: STP completed || 1 tries, 34267 fired transitions, 35 secs || 33390 markings, 44817 edges, 853 markings/sec, 35 secs
lola: STP completed || 1 tries, 38580 fired transitions, 40 secs || 37627 markings, 51200 edges, 847 markings/sec, 40 secs
lola: STP completed || 1 tries, 42911 fired transitions, 45 secs || 41892 markings, 57814 edges, 853 markings/sec, 45 secs
lola: STP completed || 1 tries, 47269 fired transitions, 50 secs || 46111 markings, 63846 edges, 844 markings/sec, 50 secs
lola: STP completed || 1 tries, 51705 fired transitions, 55 secs || 50391 markings, 70377 edges, 856 markings/sec, 55 secs
lola: STP completed || 1 tries, 56085 fired transitions, 60 secs || 54707 markings, 77007 edges, 863 markings/sec, 60 secs
lola: STP completed || 1 tries, 60513 fired transitions, 65 secs || 58999 markings, 83433 edges, 858 markings/sec, 65 secs
lola: STP completed || 1 tries, 64778 fired transitions, 70 secs || 63219 markings, 89989 edges, 844 markings/sec, 70 secs
lola: STP completed || 1 tries, 69137 fired transitions, 75 secs || 67499 markings, 96675 edges, 856 markings/sec, 75 secs
lola: STP completed || 1 tries, 73393 fired transitions, 80 secs || 71652 markings, 102901 edges, 831 markings/sec, 80 secs
lola: STP completed || 1 tries, 77650 fired transitions, 85 secs || 75808 markings, 109246 edges, 831 markings/sec, 85 secs
lola: STP completed || 1 tries, 82105 fired transitions, 90 secs || 80130 markings, 115702 edges, 864 markings/sec, 90 secs
lola: STP completed || 1 tries, 86436 fired transitions, 95 secs || 84351 markings, 122179 edges, 844 markings/sec, 95 secs
lola: STP completed || 1 tries, 90778 fired transitions, 100 secs || 88522 markings, 128594 edges, 834 markings/sec, 100 secs
lola: STP completed || 1 tries, 95206 fired transitions, 105 secs || 92869 markings, 135870 edges, 869 markings/sec, 105 secs
lola: STP completed || 1 tries, 99523 fired transitions, 110 secs || 97075 markings, 142765 edges, 841 markings/sec, 110 secs
lola: STP completed || 1 tries, 103917 fired transitions, 115 secs || 101331 markings, 149622 edges, 851 markings/sec, 115 secs
lola: STP completed || 1 tries, 108211 fired transitions, 120 secs || 105476 markings, 155783 edges, 829 markings/sec, 120 secs
lola: STP completed || 1 tries, 112521 fired transitions, 125 secs || 109687 markings, 162746 edges, 842 markings/sec, 125 secs
lola: STP completed || 1 tries, 116919 fired transitions, 130 secs || 113909 markings, 169609 edges, 844 markings/sec, 130 secs
lola: STP completed || 1 tries, 121326 fired transitions, 135 secs || 118234 markings, 176332 edges, 865 markings/sec, 135 secs
lola: STP completed || 1 tries, 125664 fired transitions, 140 secs || 122456 markings, 182727 edges, 844 markings/sec, 140 secs
lola: STP completed || 1 tries, 129868 fired transitions, 145 secs || 126635 markings, 189141 edges, 836 markings/sec, 145 secs
lola: STP completed || 1 tries, 134331 fired transitions, 150 secs || 131018 markings, 196179 edges, 877 markings/sec, 150 secs
lola: STP completed || 1 tries, 138732 fired transitions, 155 secs || 135224 markings, 201841 edges, 841 markings/sec, 155 secs
lola: STP completed || 1 tries, 143164 fired transitions, 160 secs || 139479 markings, 208649 edges, 851 markings/sec, 160 secs
lola: STP completed || 1 tries, 147502 fired transitions, 165 secs || 143692 markings, 216069 edges, 843 markings/sec, 165 secs
lola: STP completed || 1 tries, 151829 fired transitions, 170 secs || 148033 markings, 223090 edges, 868 markings/sec, 170 secs
lola: STP completed || 1 tries, 156252 fired transitions, 175 secs || 152385 markings, 230328 edges, 870 markings/sec, 175 secs
lola: STP completed || 1 tries, 160669 fired transitions, 180 secs || 156760 markings, 237758 edges, 875 markings/sec, 180 secs
lola: STP completed || 1 tries, 165023 fired transitions, 185 secs || 160999 markings, 244991 edges, 848 markings/sec, 185 secs
lola: STP completed || 1 tries, 169441 fired transitions, 190 secs || 164992 markings, 251843 edges, 799 markings/sec, 190 secs
lola: STP completed || 1 tries, 173725 fired transitions, 195 secs || 168877 markings, 258425 edges, 777 markings/sec, 195 secs
lola: STP completed || 1 tries, 178026 fired transitions, 200 secs || 173073 markings, 265286 edges, 839 markings/sec, 200 secs
lola: STP completed || 1 tries, 182446 fired transitions, 205 secs || 177363 markings, 272475 edges, 858 markings/sec, 205 secs
lola: STP completed || 1 tries, 186870 fired transitions, 210 secs || 181593 markings, 279574 edges, 846 markings/sec, 210 secs
lola: STP completed || 1 tries, 191222 fired transitions, 215 secs || 185858 markings, 286838 edges, 853 markings/sec, 215 secs
lola: STP completed || 1 tries, 195664 fired transitions, 220 secs || 190167 markings, 293502 edges, 862 markings/sec, 220 secs
lola: STP completed || 1 tries, 200099 fired transitions, 225 secs || 194542 markings, 300905 edges, 875 markings/sec, 225 secs
lola: STP completed || 1 tries, 204484 fired transitions, 230 secs || 198863 markings, 308388 edges, 864 markings/sec, 230 secs
lola: STP completed || 1 tries, 208989 fired transitions, 235 secs || 203179 markings, 315084 edges, 863 markings/sec, 235 secs
lola: STP completed || 1 tries, 213432 fired transitions, 240 secs || 207447 markings, 322422 edges, 854 markings/sec, 240 secs
lola: STP completed || 1 tries, 217904 fired transitions, 245 secs || 211770 markings, 329925 edges, 865 markings/sec, 245 secs
lola: STP completed || 1 tries, 222273 fired transitions, 250 secs || 216021 markings, 337539 edges, 850 markings/sec, 250 secs
lola: STP completed || 1 tries, 226641 fired transitions, 255 secs || 220195 markings, 344749 edges, 835 markings/sec, 255 secs
lola: STP completed || 1 tries, 230994 fired transitions, 260 secs || 224494 markings, 352415 edges, 860 markings/sec, 260 secs
lola: STP completed || 1 tries, 235361 fired transitions, 265 secs || 228758 markings, 359544 edges, 853 markings/sec, 265 secs
lola: STP completed || 1 tries, 239639 fired transitions, 270 secs || 232946 markings, 366952 edges, 838 markings/sec, 270 secs
lola: STP completed || 1 tries, 243926 fired transitions, 275 secs || 237179 markings, 374048 edges, 847 markings/sec, 275 secs
lola: STP completed || 1 tries, 248335 fired transitions, 280 secs || 241475 markings, 381413 edges, 859 markings/sec, 280 secs
lola: STP completed || 1 tries, 252814 fired transitions, 285 secs || 245781 markings, 388798 edges, 861 markings/sec, 285 secs
lola: STP completed || 1 tries, 257095 fired transitions, 290 secs || 250044 markings, 396125 edges, 853 markings/sec, 290 secs
lola: STP completed || 1 tries, 261530 fired transitions, 295 secs || 254338 markings, 403535 edges, 859 markings/sec, 295 secs
lola: STP completed || 1 tries, 265804 fired transitions, 300 secs || 258490 markings, 410897 edges, 830 markings/sec, 300 secs
lola: STP completed || 1 tries, 270061 fired transitions, 305 secs || 262673 markings, 418027 edges, 837 markings/sec, 305 secs
lola: STP completed || 1 tries, 274507 fired transitions, 310 secs || 266923 markings, 425418 edges, 850 markings/sec, 310 secs
lola: STP completed || 1 tries, 278859 fired transitions, 315 secs || 271251 markings, 432792 edges, 866 markings/sec, 315 secs
lola: STP completed || 1 tries, 283242 fired transitions, 320 secs || 275542 markings, 440360 edges, 858 markings/sec, 320 secs
lola: STP completed || 1 tries, 287619 fired transitions, 325 secs || 279674 markings, 447714 edges, 826 markings/sec, 325 secs
lola: STP completed || 1 tries, 291942 fired transitions, 330 secs || 283891 markings, 455200 edges, 843 markings/sec, 330 secs
lola: STP completed || 1 tries, 296309 fired transitions, 335 secs || 288190 markings, 463034 edges, 860 markings/sec, 335 secs
lola: STP completed || 1 tries, 300741 fired transitions, 340 secs || 292527 markings, 471054 edges, 867 markings/sec, 340 secs
lola: STP completed || 1 tries, 305087 fired transitions, 345 secs || 296901 markings, 479006 edges, 875 markings/sec, 345 secs
lola: STP completed || 1 tries, 309367 fired transitions, 350 secs || 301111 markings, 486483 edges, 842 markings/sec, 350 secs
lola: STP completed || 1 tries, 313775 fired transitions, 355 secs || 305469 markings, 493903 edges, 872 markings/sec, 355 secs
lola: STP completed || 1 tries, 318162 fired transitions, 360 secs || 309666 markings, 501336 edges, 839 markings/sec, 360 secs
lola: STP completed || 1 tries, 322493 fired transitions, 365 secs || 313911 markings, 508844 edges, 849 markings/sec, 365 secs
lola: STP completed || 1 tries, 327012 fired transitions, 370 secs || 318216 markings, 516233 edges, 861 markings/sec, 370 secs
lola: STP completed || 1 tries, 331449 fired transitions, 375 secs || 322511 markings, 523904 edges, 859 markings/sec, 375 secs
lola: STP completed || 1 tries, 335878 fired transitions, 380 secs || 326866 markings, 531651 edges, 871 markings/sec, 380 secs
lola: STP completed || 1 tries, 340133 fired transitions, 385 secs || 330999 markings, 538684 edges, 827 markings/sec, 385 secs
lola: STP completed || 1 tries, 344513 fired transitions, 390 secs || 335207 markings, 546151 edges, 842 markings/sec, 390 secs
lola: STP completed || 1 tries, 348966 fired transitions, 395 secs || 339489 markings, 553989 edges, 856 markings/sec, 395 secs
lola: STP completed || 1 tries, 353499 fired transitions, 400 secs || 343870 markings, 562391 edges, 876 markings/sec, 400 secs
lola: STP completed || 1 tries, 357902 fired transitions, 405 secs || 348206 markings, 570231 edges, 867 markings/sec, 405 secs
lola: STP completed || 1 tries, 362255 fired transitions, 410 secs || 352426 markings, 576820 edges, 844 markings/sec, 410 secs
lola: STP completed || 1 tries, 366626 fired transitions, 415 secs || 356667 markings, 583882 edges, 848 markings/sec, 415 secs
lola: STP completed || 1 tries, 370953 fired transitions, 420 secs || 360848 markings, 591161 edges, 836 markings/sec, 420 secs
lola: STP completed || 1 tries, 375290 fired transitions, 425 secs || 365040 markings, 598791 edges, 838 markings/sec, 425 secs
lola: STP completed || 1 tries, 379693 fired transitions, 430 secs || 369260 markings, 605330 edges, 844 markings/sec, 430 secs
lola: STP completed || 1 tries, 384134 fired transitions, 435 secs || 373432 markings, 612447 edges, 834 markings/sec, 435 secs
lola: STP completed || 1 tries, 388544 fired transitions, 440 secs || 377724 markings, 620152 edges, 858 markings/sec, 440 secs
lola: STP completed || 1 tries, 393015 fired transitions, 445 secs || 382021 markings, 627896 edges, 859 markings/sec, 445 secs
lola: STP completed || 1 tries, 397378 fired transitions, 450 secs || 386338 markings, 635929 edges, 863 markings/sec, 450 secs
lola: STP completed || 1 tries, 401820 fired transitions, 455 secs || 390500 markings, 643145 edges, 832 markings/sec, 455 secs
lola: STP completed || 1 tries, 406241 fired transitions, 460 secs || 394711 markings, 650728 edges, 842 markings/sec, 460 secs
lola: STP completed || 1 tries, 410643 fired transitions, 465 secs || 398988 markings, 658451 edges, 855 markings/sec, 465 secs
lola: STP completed || 1 tries, 414987 fired transitions, 470 secs || 403260 markings, 666283 edges, 854 markings/sec, 470 secs
lola: STP completed || 1 tries, 419388 fired transitions, 475 secs || 407487 markings, 673710 edges, 845 markings/sec, 475 secs
lola: STP completed || 1 tries, 423791 fired transitions, 480 secs || 411718 markings, 680948 edges, 846 markings/sec, 480 secs
lola: STP completed || 1 tries, 428215 fired transitions, 485 secs || 415925 markings, 688290 edges, 841 markings/sec, 485 secs
lola: STP completed || 1 tries, 432643 fired transitions, 490 secs || 420002 markings, 695938 edges, 815 markings/sec, 490 secs
lola: STP completed || 1 tries, 437042 fired transitions, 495 secs || 423963 markings, 701901 edges, 792 markings/sec, 495 secs
lola: STP completed || 1 tries, 441515 fired transitions, 500 secs || 428201 markings, 708696 edges, 848 markings/sec, 500 secs
lola: STP completed || 1 tries, 445893 fired transitions, 505 secs || 432357 markings, 716279 edges, 831 markings/sec, 505 secs
lola: STP completed || 1 tries, 450321 fired transitions, 510 secs || 436621 markings, 724198 edges, 853 markings/sec, 510 secs
lola: STP completed || 1 tries, 454759 fired transitions, 515 secs || 440896 markings, 731839 edges, 855 markings/sec, 515 secs
lola: STP completed || 1 tries, 459133 fired transitions, 520 secs || 445079 markings, 739130 edges, 837 markings/sec, 520 secs
lola: STP completed || 1 tries, 463544 fired transitions, 525 secs || 449249 markings, 746323 edges, 834 markings/sec, 525 secs
lola: STP completed || 1 tries, 467863 fired transitions, 530 secs || 453507 markings, 754240 edges, 852 markings/sec, 530 secs
lola: STP completed || 1 tries, 472201 fired transitions, 535 secs || 457670 markings, 761462 edges, 833 markings/sec, 535 secs
lola: STP completed || 1 tries, 476484 fired transitions, 540 secs || 461761 markings, 768640 edges, 818 markings/sec, 540 secs
lola: STP completed || 1 tries, 480875 fired transitions, 545 secs || 465976 markings, 776452 edges, 843 markings/sec, 545 secs
lola: STP completed || 1 tries, 485287 fired transitions, 550 secs || 470161 markings, 784281 edges, 837 markings/sec, 550 secs
lola: STP completed || 1 tries, 489607 fired transitions, 555 secs || 474326 markings, 792050 edges, 833 markings/sec, 555 secs
lola: STP completed || 1 tries, 493981 fired transitions, 560 secs || 478706 markings, 800040 edges, 876 markings/sec, 560 secs
lola: STP completed || 1 tries, 498394 fired transitions, 565 secs || 482973 markings, 807702 edges, 853 markings/sec, 565 secs
lola: STP completed || 1 tries, 502740 fired transitions, 570 secs || 487109 markings, 815113 edges, 827 markings/sec, 570 secs
lola: STP completed || 1 tries, 507097 fired transitions, 575 secs || 491371 markings, 822851 edges, 852 markings/sec, 575 secs
lola: STP completed || 1 tries, 511453 fired transitions, 580 secs || 495603 markings, 830786 edges, 846 markings/sec, 580 secs
lola: STP completed || 1 tries, 515767 fired transitions, 585 secs || 499761 markings, 838779 edges, 832 markings/sec, 585 secs
lola: STP completed || 1 tries, 520140 fired transitions, 590 secs || 504024 markings, 846675 edges, 853 markings/sec, 590 secs
lola: STP completed || 1 tries, 524685 fired transitions, 595 secs || 508475 markings, 855338 edges, 890 markings/sec, 595 secs
lola: STP completed || 1 tries, 528995 fired transitions, 600 secs || 512675 markings, 862937 edges, 840 markings/sec, 600 secs
lola: STP completed || 1 tries, 533436 fired transitions, 605 secs || 516958 markings, 871081 edges, 857 markings/sec, 605 secs
lola: STP completed || 1 tries, 537896 fired transitions, 610 secs || 521206 markings, 878703 edges, 850 markings/sec, 610 secs
lola: STP completed || 1 tries, 542312 fired transitions, 615 secs || 525420 markings, 886753 edges, 843 markings/sec, 615 secs
lola: STP completed || 1 tries, 546626 fired transitions, 620 secs || 529627 markings, 894762 edges, 841 markings/sec, 620 secs
lola: STP completed || 1 tries, 551083 fired transitions, 625 secs || 533927 markings, 902388 edges, 860 markings/sec, 625 secs
lola: STP completed || 1 tries, 555427 fired transitions, 630 secs || 538196 markings, 909692 edges, 854 markings/sec, 630 secs
lola: STP completed || 1 tries, 559721 fired transitions, 635 secs || 542326 markings, 917393 edges, 826 markings/sec, 635 secs
lola: STP completed || 1 tries, 564120 fired transitions, 640 secs || 546609 markings, 925629 edges, 857 markings/sec, 640 secs
lola: STP completed || 1 tries, 568477 fired transitions, 645 secs || 550842 markings, 933620 edges, 847 markings/sec, 645 secs
lola: STP completed || 1 tries, 572830 fired transitions, 650 secs || 555002 markings, 941446 edges, 832 markings/sec, 650 secs
lola: STP completed || 1 tries, 577150 fired transitions, 655 secs || 559229 markings, 949195 edges, 845 markings/sec, 655 secs
lola: STP completed || 1 tries, 581582 fired transitions, 660 secs || 563507 markings, 957110 edges, 856 markings/sec, 660 secs
lola: STP completed || 1 tries, 585958 fired transitions, 665 secs || 567800 markings, 965418 edges, 859 markings/sec, 665 secs
lola: STP completed || 1 tries, 590495 fired transitions, 670 secs || 572176 markings, 973721 edges, 875 markings/sec, 670 secs
lola: STP completed || 1 tries, 594864 fired transitions, 675 secs || 576455 markings, 981584 edges, 856 markings/sec, 675 secs
lola: STP completed || 1 tries, 599196 fired transitions, 680 secs || 580726 markings, 989761 edges, 854 markings/sec, 680 secs
lola: STP completed || 1 tries, 603666 fired transitions, 685 secs || 585024 markings, 997892 edges, 860 markings/sec, 685 secs
lola: STP completed || 1 tries, 608074 fired transitions, 690 secs || 589291 markings, 1006140 edges, 853 markings/sec, 690 secs
lola: STP completed || 1 tries, 612367 fired transitions, 695 secs || 593401 markings, 1014191 edges, 822 markings/sec, 695 secs
lola: STP completed || 1 tries, 616725 fired transitions, 700 secs || 597807 markings, 1022294 edges, 881 markings/sec, 700 secs
lola: STP completed || 1 tries, 621009 fired transitions, 705 secs || 601963 markings, 1029814 edges, 831 markings/sec, 705 secs
lola: STP completed || 1 tries, 625376 fired transitions, 710 secs || 606336 markings, 1038075 edges, 875 markings/sec, 710 secs
lola: STP completed || 1 tries, 629789 fired transitions, 715 secs || 610702 markings, 1046545 edges, 873 markings/sec, 715 secs
lola: STP completed || 1 tries, 634148 fired transitions, 720 secs || 614937 markings, 1053837 edges, 847 markings/sec, 720 secs
lola: STP completed || 1 tries, 638410 fired transitions, 725 secs || 619163 markings, 1062137 edges, 845 markings/sec, 725 secs
lola: STP completed || 1 tries, 642770 fired transitions, 730 secs || 623392 markings, 1070264 edges, 846 markings/sec, 730 secs
lola: STP completed || 1 tries, 647073 fired transitions, 735 secs || 627593 markings, 1078222 edges, 840 markings/sec, 735 secs
lola: STP completed || 1 tries, 651370 fired transitions, 740 secs || 631843 markings, 1086443 edges, 850 markings/sec, 740 secs
lola: STP completed || 1 tries, 655720 fired transitions, 745 secs || 636107 markings, 1094390 edges, 853 markings/sec, 745 secs
lola: STP completed || 1 tries, 660102 fired transitions, 750 secs || 640337 markings, 1101809 edges, 846 markings/sec, 750 secs
lola: STP completed || 1 tries, 664393 fired transitions, 755 secs || 644515 markings, 1109890 edges, 836 markings/sec, 755 secs
lola: STP completed || 1 tries, 668739 fired transitions, 760 secs || 648719 markings, 1118235 edges, 841 markings/sec, 760 secs
lola: STP completed || 1 tries, 673147 fired transitions, 765 secs || 652866 markings, 1125923 edges, 829 markings/sec, 765 secs
lola: STP completed || 1 tries, 677496 fired transitions, 770 secs || 657083 markings, 1133232 edges, 843 markings/sec, 770 secs
lola: STP completed || 1 tries, 681923 fired transitions, 775 secs || 661422 markings, 1141218 edges, 868 markings/sec, 775 secs
lola: STP completed || 1 tries, 686404 fired transitions, 780 secs || 665680 markings, 1149309 edges, 852 markings/sec, 780 secs
lola: STP completed || 1 tries, 690800 fired transitions, 785 secs || 670031 markings, 1157606 edges, 870 markings/sec, 785 secs
lola: STP completed || 1 tries, 695135 fired transitions, 790 secs || 673987 markings, 1165042 edges, 791 markings/sec, 790 secs
lola: STP completed || 1 tries, 699449 fired transitions, 795 secs || 677998 markings, 1172451 edges, 802 markings/sec, 795 secs
lola: STP completed || 1 tries, 703797 fired transitions, 800 secs || 682134 markings, 1180492 edges, 827 markings/sec, 800 secs
lola: STP completed || 1 tries, 708188 fired transitions, 805 secs || 686530 markings, 1188613 edges, 879 markings/sec, 805 secs
lola: STP completed || 1 tries, 712630 fired transitions, 810 secs || 690941 markings, 1197030 edges, 882 markings/sec, 810 secs
lola: STP completed || 1 tries, 716971 fired transitions, 815 secs || 695193 markings, 1205070 edges, 850 markings/sec, 815 secs
lola: STP completed || 1 tries, 721312 fired transitions, 820 secs || 699496 markings, 1213401 edges, 861 markings/sec, 820 secs
lola: STP completed || 1 tries, 725699 fired transitions, 825 secs || 703730 markings, 1220081 edges, 847 markings/sec, 825 secs
lola: STP completed || 1 tries, 730020 fired transitions, 830 secs || 707944 markings, 1227367 edges, 843 markings/sec, 830 secs
lola: STP completed || 1 tries, 734383 fired transitions, 835 secs || 712291 markings, 1235634 edges, 869 markings/sec, 835 secs
lola: STP completed || 1 tries, 738792 fired transitions, 840 secs || 716543 markings, 1243751 edges, 850 markings/sec, 840 secs
lola: STP completed || 1 tries, 743157 fired transitions, 845 secs || 720751 markings, 1251321 edges, 842 markings/sec, 845 secs
lola: STP completed || 1 tries, 747489 fired transitions, 850 secs || 725058 markings, 1259453 edges, 861 markings/sec, 850 secs
lola: STP completed || 1 tries, 751878 fired transitions, 855 secs || 729384 markings, 1267567 edges, 865 markings/sec, 855 secs
lola: STP completed || 1 tries, 756217 fired transitions, 860 secs || 733645 markings, 1275584 edges, 852 markings/sec, 860 secs
lola: STP completed || 1 tries, 760624 fired transitions, 865 secs || 737906 markings, 1283831 edges, 852 markings/sec, 865 secs
lola: STP completed || 1 tries, 765061 fired transitions, 870 secs || 742211 markings, 1292163 edges, 861 markings/sec, 870 secs
lola: STP completed || 1 tries, 769460 fired transitions, 875 secs || 746491 markings, 1300349 edges, 856 markings/sec, 875 secs
lola: STP completed || 1 tries, 773777 fired transitions, 880 secs || 750737 markings, 1308344 edges, 849 markings/sec, 880 secs
lola: STP completed || 1 tries, 778105 fired transitions, 885 secs || 755091 markings, 1316530 edges, 871 markings/sec, 885 secs
lola: STP completed || 1 tries, 782477 fired transitions, 890 secs || 759290 markings, 1324640 edges, 840 markings/sec, 890 secs
lola: STP completed || 1 tries, 786821 fired transitions, 895 secs || 763560 markings, 1332082 edges, 854 markings/sec, 895 secs
lola: STP completed || 1 tries, 791153 fired transitions, 900 secs || 767771 markings, 1339983 edges, 842 markings/sec, 900 secs
lola: STP completed || 1 tries, 795535 fired transitions, 905 secs || 772097 markings, 1347870 edges, 865 markings/sec, 905 secs
lola: STP completed || 1 tries, 799894 fired transitions, 910 secs || 776385 markings, 1356254 edges, 858 markings/sec, 910 secs
lola: STP completed || 1 tries, 804275 fired transitions, 915 secs || 780702 markings, 1364393 edges, 863 markings/sec, 915 secs
lola: STP completed || 1 tries, 808551 fired transitions, 920 secs || 784807 markings, 1372147 edges, 821 markings/sec, 920 secs
lola: STP completed || 1 tries, 812909 fired transitions, 925 secs || 789000 markings, 1379483 edges, 839 markings/sec, 925 secs
lola: STP completed || 1 tries, 817206 fired transitions, 930 secs || 793220 markings, 1387167 edges, 844 markings/sec, 930 secs
lola: STP completed || 1 tries, 821576 fired transitions, 935 secs || 797478 markings, 1394958 edges, 852 markings/sec, 935 secs
lola: STP completed || 1 tries, 825896 fired transitions, 940 secs || 801685 markings, 1402990 edges, 841 markings/sec, 940 secs
lola: STP completed || 1 tries, 830411 fired transitions, 945 secs || 806029 markings, 1411700 edges, 869 markings/sec, 945 secs
lola: STP completed || 1 tries, 834857 fired transitions, 950 secs || 810300 markings, 1419288 edges, 854 markings/sec, 950 secs
lola: STP completed || 1 tries, 839176 fired transitions, 955 secs || 814543 markings, 1427039 edges, 849 markings/sec, 955 secs
lola: STP completed || 1 tries, 843515 fired transitions, 960 secs || 818833 markings, 1435428 edges, 858 markings/sec, 960 secs
lola: STP completed || 1 tries, 847978 fired transitions, 965 secs || 823085 markings, 1443455 edges, 850 markings/sec, 965 secs
lola: STP completed || 1 tries, 852293 fired transitions, 970 secs || 827339 markings, 1451712 edges, 851 markings/sec, 970 secs
lola: STP completed || 1 tries, 856685 fired transitions, 975 secs || 831672 markings, 1460119 edges, 867 markings/sec, 975 secs
lola: STP completed || 1 tries, 860952 fired transitions, 980 secs || 835820 markings, 1468163 edges, 830 markings/sec, 980 secs
lola: STP completed || 1 tries, 865295 fired transitions, 985 secs || 840055 markings, 1476431 edges, 847 markings/sec, 985 secs
lola: STP completed || 1 tries, 869694 fired transitions, 990 secs || 844336 markings, 1484675 edges, 856 markings/sec, 990 secs
lola: STP completed || 1 tries, 874026 fired transitions, 995 secs || 848605 markings, 1492978 edges, 854 markings/sec, 995 secs
lola: STP completed || 1 tries, 878433 fired transitions, 1000 secs || 852976 markings, 1501724 edges, 874 markings/sec, 1000 secs
lola: STP completed || 1 tries, 882830 fired transitions, 1005 secs || 857214 markings, 1509907 edges, 848 markings/sec, 1005 secs
lola: STP completed || 1 tries, 887190 fired transitions, 1010 secs || 861478 markings, 1518211 edges, 853 markings/sec, 1010 secs
lola: STP completed || 1 tries, 891577 fired transitions, 1015 secs || 865851 markings, 1527071 edges, 875 markings/sec, 1015 secs
lola: STP completed || 1 tries, 895973 fired transitions, 1020 secs || 870239 markings, 1535449 edges, 878 markings/sec, 1020 secs
lola: STP completed || 1 tries, 900386 fired transitions, 1025 secs || 874510 markings, 1543818 edges, 854 markings/sec, 1025 secs
lola: STP completed || 1 tries, 904668 fired transitions, 1030 secs || 878763 markings, 1552235 edges, 851 markings/sec, 1030 secs
lola: STP completed || 1 tries, 909026 fired transitions, 1035 secs || 882976 markings, 1560129 edges, 843 markings/sec, 1035 secs
lola: STP completed || 1 tries, 913349 fired transitions, 1040 secs || 887186 markings, 1568543 edges, 842 markings/sec, 1040 secs
lola: STP completed || 1 tries, 917662 fired transitions, 1045 secs || 891345 markings, 1576679 edges, 832 markings/sec, 1045 secs
lola: STP completed || 1 tries, 922060 fired transitions, 1050 secs || 895594 markings, 1584524 edges, 850 markings/sec, 1050 secs
lola: STP completed || 1 tries, 926395 fired transitions, 1055 secs || 899641 markings, 1592607 edges, 809 markings/sec, 1055 secs
lola: STP completed || 1 tries, 930792 fired transitions, 1060 secs || 903798 markings, 1600370 edges, 831 markings/sec, 1060 secs
lola: STP completed || 1 tries, 935166 fired transitions, 1065 secs || 908006 markings, 1608512 edges, 842 markings/sec, 1065 secs
lola: STP completed || 1 tries, 939679 fired transitions, 1070 secs || 912329 markings, 1617004 edges, 865 markings/sec, 1070 secs
lola: STP completed || 1 tries, 944134 fired transitions, 1075 secs || 916573 markings, 1625231 edges, 849 markings/sec, 1075 secs
lola: STP completed || 1 tries, 948488 fired transitions, 1080 secs || 920736 markings, 1633180 edges, 833 markings/sec, 1080 secs
lola: STP completed || 1 tries, 952995 fired transitions, 1085 secs || 925029 markings, 1641353 edges, 859 markings/sec, 1085 secs
lola: STP completed || 1 tries, 957493 fired transitions, 1090 secs || 929410 markings, 1649606 edges, 876 markings/sec, 1090 secs
lola: STP completed || 1 tries, 961938 fired transitions, 1095 secs || 933732 markings, 1658119 edges, 864 markings/sec, 1095 secs
lola: STP completed || 1 tries, 966355 fired transitions, 1100 secs || 937932 markings, 1666147 edges, 840 markings/sec, 1100 secs
lola: STP completed || 1 tries, 970778 fired transitions, 1105 secs || 942177 markings, 1674725 edges, 849 markings/sec, 1105 secs
lola: STP completed || 1 tries, 975341 fired transitions, 1110 secs || 946499 markings, 1682965 edges, 864 markings/sec, 1110 secs
lola: STP completed || 1 tries, 979774 fired transitions, 1115 secs || 950840 markings, 1691269 edges, 868 markings/sec, 1115 secs
lola: STP completed || 1 tries, 984231 fired transitions, 1120 secs || 955168 markings, 1699115 edges, 866 markings/sec, 1120 secs
lola: STP completed || 1 tries, 988438 fired transitions, 1125 secs || 959261 markings, 1707027 edges, 819 markings/sec, 1125 secs
lola: STP completed || 1 tries, 992769 fired transitions, 1130 secs || 963538 markings, 1715458 edges, 855 markings/sec, 1130 secs
lola: STP completed || 1 tries, 997157 fired transitions, 1135 secs || 967634 markings, 1723588 edges, 819 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1001641 fired transitions, 1140 secs || 971948 markings, 1731814 edges, 863 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1006005 fired transitions, 1145 secs || 976015 markings, 1739806 edges, 813 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1010458 fired transitions, 1150 secs || 980257 markings, 1747708 edges, 848 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1014854 fired transitions, 1155 secs || 984534 markings, 1755716 edges, 855 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1019239 fired transitions, 1160 secs || 988773 markings, 1763898 edges, 848 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1023536 fired transitions, 1165 secs || 992853 markings, 1771773 edges, 816 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1027975 fired transitions, 1170 secs || 997108 markings, 1778889 edges, 851 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1032352 fired transitions, 1175 secs || 1001338 markings, 1786344 edges, 846 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1036794 fired transitions, 1180 secs || 1005700 markings, 1794770 edges, 872 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1041282 fired transitions, 1185 secs || 1010009 markings, 1803255 edges, 862 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1045804 fired transitions, 1190 secs || 1014393 markings, 1811747 edges, 877 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1050295 fired transitions, 1195 secs || 1018603 markings, 1819382 edges, 842 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1054683 fired transitions, 1200 secs || 1022855 markings, 1827213 edges, 850 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1059072 fired transitions, 1205 secs || 1026928 markings, 1835248 edges, 815 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1063487 fired transitions, 1210 secs || 1031245 markings, 1843948 edges, 863 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1067910 fired transitions, 1215 secs || 1035564 markings, 1852357 edges, 864 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1072281 fired transitions, 1220 secs || 1039749 markings, 1860131 edges, 837 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1076671 fired transitions, 1225 secs || 1043928 markings, 1868234 edges, 836 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1080961 fired transitions, 1230 secs || 1048013 markings, 1876334 edges, 817 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1085389 fired transitions, 1235 secs || 1052239 markings, 1884312 edges, 845 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1089832 fired transitions, 1240 secs || 1056513 markings, 1892229 edges, 855 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1094230 fired transitions, 1245 secs || 1060686 markings, 1898995 edges, 835 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1098693 fired transitions, 1250 secs || 1064902 markings, 1906703 edges, 843 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1103079 fired transitions, 1255 secs || 1069147 markings, 1915210 edges, 849 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1107458 fired transitions, 1260 secs || 1073258 markings, 1922155 edges, 822 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1111945 fired transitions, 1265 secs || 1077492 markings, 1930194 edges, 847 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1116375 fired transitions, 1270 secs || 1081730 markings, 1937775 edges, 848 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1120760 fired transitions, 1275 secs || 1085887 markings, 1946055 edges, 831 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1125183 fired transitions, 1280 secs || 1090103 markings, 1953545 edges, 843 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1129589 fired transitions, 1285 secs || 1094362 markings, 1961828 edges, 852 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1134007 fired transitions, 1290 secs || 1098507 markings, 1970225 edges, 829 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1138272 fired transitions, 1295 secs || 1102595 markings, 1978037 edges, 818 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1142756 fired transitions, 1300 secs || 1106797 markings, 1986421 edges, 840 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1147230 fired transitions, 1305 secs || 1111174 markings, 1994733 edges, 875 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1151726 fired transitions, 1310 secs || 1115510 markings, 2003427 edges, 867 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1156115 fired transitions, 1315 secs || 1119753 markings, 2011553 edges, 849 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1160563 fired transitions, 1320 secs || 1124008 markings, 2019836 edges, 851 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1164959 fired transitions, 1325 secs || 1128235 markings, 2028101 edges, 845 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1169386 fired transitions, 1330 secs || 1132480 markings, 2036426 edges, 849 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1174001 fired transitions, 1335 secs || 1136955 markings, 2045274 edges, 895 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1178311 fired transitions, 1340 secs || 1141045 markings, 2053357 edges, 818 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1182735 fired transitions, 1345 secs || 1145286 markings, 2061878 edges, 848 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1187066 fired transitions, 1350 secs || 1149455 markings, 2070006 edges, 834 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1191420 fired transitions, 1355 secs || 1153667 markings, 2078416 edges, 842 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1195863 fired transitions, 1360 secs || 1157947 markings, 2086584 edges, 856 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1200209 fired transitions, 1365 secs || 1162103 markings, 2094667 edges, 831 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1204546 fired transitions, 1370 secs || 1166300 markings, 2102504 edges, 839 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1208909 fired transitions, 1375 secs || 1170520 markings, 2109538 edges, 844 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1213372 fired transitions, 1380 secs || 1174826 markings, 2118155 edges, 861 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1217846 fired transitions, 1385 secs || 1179072 markings, 2126942 edges, 849 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1222296 fired transitions, 1390 secs || 1183360 markings, 2135381 edges, 858 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1226725 fired transitions, 1395 secs || 1187668 markings, 2144258 edges, 862 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1231124 fired transitions, 1400 secs || 1191871 markings, 2152174 edges, 841 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1235647 fired transitions, 1405 secs || 1196197 markings, 2161259 edges, 865 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1240007 fired transitions, 1410 secs || 1200336 markings, 2169209 edges, 828 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1244453 fired transitions, 1415 secs || 1204666 markings, 2177993 edges, 866 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1248891 fired transitions, 1420 secs || 1209005 markings, 2186641 edges, 868 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1253303 fired transitions, 1425 secs || 1213163 markings, 2194618 edges, 832 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1257740 fired transitions, 1430 secs || 1217393 markings, 2202785 edges, 846 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1262117 fired transitions, 1435 secs || 1221599 markings, 2211094 edges, 841 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1266678 fired transitions, 1440 secs || 1225956 markings, 2220247 edges, 871 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1271027 fired transitions, 1445 secs || 1230251 markings, 2228894 edges, 859 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1275419 fired transitions, 1450 secs || 1234453 markings, 2237466 edges, 840 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1279750 fired transitions, 1455 secs || 1238642 markings, 2245730 edges, 838 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1284241 fired transitions, 1460 secs || 1242980 markings, 2254595 edges, 868 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1288722 fired transitions, 1465 secs || 1247260 markings, 2263421 edges, 856 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1293023 fired transitions, 1470 secs || 1251450 markings, 2272005 edges, 838 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1297442 fired transitions, 1475 secs || 1255639 markings, 2280457 edges, 838 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1301846 fired transitions, 1480 secs || 1259815 markings, 2288564 edges, 835 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1306293 fired transitions, 1485 secs || 1264047 markings, 2296579 edges, 846 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1310778 fired transitions, 1490 secs || 1268340 markings, 2305082 edges, 859 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1315130 fired transitions, 1495 secs || 1272548 markings, 2313377 edges, 842 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1319533 fired transitions, 1500 secs || 1276678 markings, 2321496 edges, 826 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1323878 fired transitions, 1505 secs || 1280853 markings, 2329423 edges, 835 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1328255 fired transitions, 1510 secs || 1285032 markings, 2337892 edges, 836 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1332697 fired transitions, 1515 secs || 1289316 markings, 2346562 edges, 857 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1337080 fired transitions, 1520 secs || 1293439 markings, 2354599 edges, 825 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1341453 fired transitions, 1525 secs || 1297648 markings, 2363211 edges, 842 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1345936 fired transitions, 1530 secs || 1301994 markings, 2372086 edges, 869 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1350377 fired transitions, 1535 secs || 1306244 markings, 2380513 edges, 850 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1354730 fired transitions, 1540 secs || 1310433 markings, 2388725 edges, 838 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1359105 fired transitions, 1545 secs || 1314637 markings, 2396951 edges, 841 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1363496 fired transitions, 1550 secs || 1318983 markings, 2405487 edges, 869 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1367973 fired transitions, 1555 secs || 1323263 markings, 2414066 edges, 856 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1372334 fired transitions, 1560 secs || 1327439 markings, 2422482 edges, 835 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1376668 fired transitions, 1565 secs || 1331559 markings, 2430871 edges, 824 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1381112 fired transitions, 1570 secs || 1335834 markings, 2439730 edges, 855 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1385450 fired transitions, 1575 secs || 1340031 markings, 2448259 edges, 839 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1389860 fired transitions, 1580 secs || 1344387 markings, 2456673 edges, 871 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1394297 fired transitions, 1585 secs || 1348582 markings, 2465075 edges, 839 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1398687 fired transitions, 1590 secs || 1352742 markings, 2472590 edges, 832 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1403130 fired transitions, 1595 secs || 1357101 markings, 2481546 edges, 872 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1407527 fired transitions, 1600 secs || 1361336 markings, 2490113 edges, 847 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1412081 fired transitions, 1605 secs || 1365760 markings, 2498946 edges, 885 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1416478 fired transitions, 1610 secs || 1370018 markings, 2507398 edges, 852 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1420868 fired transitions, 1615 secs || 1374246 markings, 2515784 edges, 846 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1425189 fired transitions, 1620 secs || 1378366 markings, 2523463 edges, 824 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1429667 fired transitions, 1625 secs || 1382662 markings, 2531927 edges, 859 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1434080 fired transitions, 1630 secs || 1386858 markings, 2540380 edges, 839 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1438468 fired transitions, 1635 secs || 1391134 markings, 2549197 edges, 855 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1442850 fired transitions, 1640 secs || 1395315 markings, 2557485 edges, 836 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1447197 fired transitions, 1645 secs || 1399541 markings, 2565864 edges, 845 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1451611 fired transitions, 1650 secs || 1403748 markings, 2574694 edges, 841 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1456044 fired transitions, 1655 secs || 1408202 markings, 2583899 edges, 891 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1460338 fired transitions, 1660 secs || 1412377 markings, 2592148 edges, 835 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1464694 fired transitions, 1665 secs || 1416557 markings, 2600257 edges, 836 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1469070 fired transitions, 1670 secs || 1420832 markings, 2608817 edges, 855 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1473448 fired transitions, 1675 secs || 1425106 markings, 2617487 edges, 855 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1477844 fired transitions, 1680 secs || 1429404 markings, 2626235 edges, 860 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1482212 fired transitions, 1685 secs || 1433625 markings, 2634496 edges, 844 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1486656 fired transitions, 1690 secs || 1438063 markings, 2643361 edges, 888 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1491003 fired transitions, 1695 secs || 1442300 markings, 2651535 edges, 847 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1495488 fired transitions, 1700 secs || 1446729 markings, 2661074 edges, 886 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1499863 fired transitions, 1705 secs || 1451064 markings, 2669882 edges, 867 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1504270 fired transitions, 1710 secs || 1455409 markings, 2679203 edges, 869 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1508531 fired transitions, 1715 secs || 1459536 markings, 2687586 edges, 825 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1512951 fired transitions, 1720 secs || 1463861 markings, 2696599 edges, 865 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1517345 fired transitions, 1725 secs || 1468094 markings, 2704862 edges, 847 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1521728 fired transitions, 1730 secs || 1472453 markings, 2713815 edges, 872 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1526156 fired transitions, 1735 secs || 1476790 markings, 2722688 edges, 867 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1530602 fired transitions, 1740 secs || 1481168 markings, 2731613 edges, 876 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1535059 fired transitions, 1745 secs || 1485619 markings, 2739696 edges, 890 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1539421 fired transitions, 1750 secs || 1489972 markings, 2748651 edges, 871 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1543748 fired transitions, 1755 secs || 1494199 markings, 2756645 edges, 845 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1548269 fired transitions, 1760 secs || 1498613 markings, 2765433 edges, 883 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1552730 fired transitions, 1765 secs || 1503030 markings, 2774461 edges, 883 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1557203 fired transitions, 1770 secs || 1507374 markings, 2783645 edges, 869 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1561561 fired transitions, 1775 secs || 1511743 markings, 2792333 edges, 874 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1565927 fired transitions, 1780 secs || 1515966 markings, 2800525 edges, 845 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1570275 fired transitions, 1785 secs || 1520206 markings, 2809094 edges, 848 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1574603 fired transitions, 1790 secs || 1524563 markings, 2817983 edges, 871 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1578992 fired transitions, 1795 secs || 1528872 markings, 2826454 edges, 862 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1583319 fired transitions, 1800 secs || 1533180 markings, 2834796 edges, 862 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1587642 fired transitions, 1805 secs || 1537466 markings, 2843325 edges, 857 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1592111 fired transitions, 1810 secs || 1541843 markings, 2852069 edges, 875 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1596421 fired transitions, 1815 secs || 1545991 markings, 2860406 edges, 830 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1600828 fired transitions, 1820 secs || 1550365 markings, 2868388 edges, 875 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1605270 fired transitions, 1825 secs || 1554750 markings, 2877136 edges, 877 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1609341 fired transitions, 1830 secs || 1558961 markings, 2885671 edges, 842 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1613659 fired transitions, 1835 secs || 1563224 markings, 2893287 edges, 853 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1618152 fired transitions, 1840 secs || 1567664 markings, 2902174 edges, 888 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1622137 fired transitions, 1845 secs || 1571875 markings, 2910623 edges, 842 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1626467 fired transitions, 1850 secs || 1576155 markings, 2919283 edges, 856 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1630821 fired transitions, 1855 secs || 1580371 markings, 2927794 edges, 843 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1634961 fired transitions, 1860 secs || 1584374 markings, 2936182 edges, 801 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1638995 fired transitions, 1865 secs || 1588390 markings, 2944282 edges, 803 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1643270 fired transitions, 1870 secs || 1592541 markings, 2952315 edges, 830 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1647346 fired transitions, 1875 secs || 1596552 markings, 2960677 edges, 802 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1651521 fired transitions, 1880 secs || 1600542 markings, 2968708 edges, 798 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1655803 fired transitions, 1885 secs || 1604427 markings, 2976345 edges, 777 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1659896 fired transitions, 1890 secs || 1608443 markings, 2984512 edges, 803 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1664000 fired transitions, 1895 secs || 1612502 markings, 2992674 edges, 812 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1668174 fired transitions, 1900 secs || 1616524 markings, 3000642 edges, 804 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1672316 fired transitions, 1905 secs || 1620612 markings, 3008896 edges, 818 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1676391 fired transitions, 1910 secs || 1624615 markings, 3017002 edges, 801 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1680667 fired transitions, 1915 secs || 1628786 markings, 3025640 edges, 834 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1684784 fired transitions, 1920 secs || 1632880 markings, 3034381 edges, 819 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1688924 fired transitions, 1925 secs || 1636929 markings, 3042926 edges, 810 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1693097 fired transitions, 1930 secs || 1640924 markings, 3050795 edges, 799 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1697268 fired transitions, 1935 secs || 1644953 markings, 3058887 edges, 806 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1701394 fired transitions, 1940 secs || 1649081 markings, 3067161 edges, 826 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1705523 fired transitions, 1945 secs || 1653231 markings, 3075677 edges, 830 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1709750 fired transitions, 1950 secs || 1657377 markings, 3084120 edges, 829 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1713920 fired transitions, 1955 secs || 1661520 markings, 3092653 edges, 829 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1718123 fired transitions, 1960 secs || 1665493 markings, 3100932 edges, 795 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1722180 fired transitions, 1965 secs || 1669471 markings, 3109062 edges, 796 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1726295 fired transitions, 1970 secs || 1673544 markings, 3117260 edges, 815 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1730537 fired transitions, 1975 secs || 1677724 markings, 3125816 edges, 836 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1734784 fired transitions, 1980 secs || 1681833 markings, 3133844 edges, 822 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1738902 fired transitions, 1985 secs || 1685908 markings, 3141934 edges, 815 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1743094 fired transitions, 1990 secs || 1689976 markings, 3150252 edges, 814 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1747334 fired transitions, 1995 secs || 1694100 markings, 3158692 edges, 825 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1751570 fired transitions, 2000 secs || 1698264 markings, 3167415 edges, 833 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1755763 fired transitions, 2005 secs || 1702450 markings, 3175807 edges, 837 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1759928 fired transitions, 2010 secs || 1706555 markings, 3184483 edges, 821 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1764155 fired transitions, 2015 secs || 1710739 markings, 3192871 edges, 837 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1768323 fired transitions, 2020 secs || 1714918 markings, 3201467 edges, 836 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1772531 fired transitions, 2025 secs || 1719066 markings, 3209708 edges, 830 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1776725 fired transitions, 2030 secs || 1723149 markings, 3217159 edges, 817 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1780816 fired transitions, 2035 secs || 1727076 markings, 3225040 edges, 785 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1784899 fired transitions, 2040 secs || 1731104 markings, 3233596 edges, 806 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1789119 fired transitions, 2045 secs || 1735297 markings, 3242539 edges, 839 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1793325 fired transitions, 2050 secs || 1739408 markings, 3250986 edges, 822 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1797452 fired transitions, 2055 secs || 1743513 markings, 3259194 edges, 821 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1801601 fired transitions, 2060 secs || 1747636 markings, 3267384 edges, 825 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1805734 fired transitions, 2065 secs || 1751698 markings, 3275844 edges, 812 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1809974 fired transitions, 2070 secs || 1755763 markings, 3283882 edges, 813 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1814238 fired transitions, 2075 secs || 1759859 markings, 3292187 edges, 819 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1818398 fired transitions, 2080 secs || 1763972 markings, 3300874 edges, 823 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1822579 fired transitions, 2085 secs || 1768030 markings, 3309547 edges, 812 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1826787 fired transitions, 2090 secs || 1772064 markings, 3317337 edges, 807 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1830915 fired transitions, 2095 secs || 1776164 markings, 3325580 edges, 820 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1835063 fired transitions, 2100 secs || 1780247 markings, 3334003 edges, 817 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1839250 fired transitions, 2105 secs || 1784308 markings, 3342356 edges, 812 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1843307 fired transitions, 2110 secs || 1788274 markings, 3350586 edges, 793 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1847596 fired transitions, 2115 secs || 1792467 markings, 3359077 edges, 839 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1851779 fired transitions, 2120 secs || 1796524 markings, 3367258 edges, 811 markings/sec, 2120 secs
lola: STP completed || 2 tries, 1856008 fired transitions, 2125 secs || 1800685 markings, 3375764 edges, 832 markings/sec, 2125 secs
lola: STP completed || 2 tries, 1860254 fired transitions, 2130 secs || 1804943 markings, 3384642 edges, 852 markings/sec, 2130 secs
lola: STP completed || 2 tries, 1864413 fired transitions, 2135 secs || 1808962 markings, 3392284 edges, 804 markings/sec, 2135 secs
lola: STP completed || 2 tries, 1868503 fired transitions, 2140 secs || 1813014 markings, 3400991 edges, 810 markings/sec, 2140 secs
lola: STP completed || 2 tries, 1872721 fired transitions, 2145 secs || 1817132 markings, 3409300 edges, 824 markings/sec, 2145 secs
lola: STP completed || 2 tries, 1876941 fired transitions, 2150 secs || 1821205 markings, 3418158 edges, 815 markings/sec, 2150 secs
lola: STP completed || 2 tries, 1881128 fired transitions, 2155 secs || 1825225 markings, 3426407 edges, 804 markings/sec, 2155 secs
lola: STP completed || 2 tries, 1885215 fired transitions, 2160 secs || 1829218 markings, 3434578 edges, 799 markings/sec, 2160 secs
lola: STP completed || 2 tries, 1889387 fired transitions, 2165 secs || 1833287 markings, 3442790 edges, 814 markings/sec, 2165 secs
lola: STP completed || 2 tries, 1893680 fired transitions, 2170 secs || 1837621 markings, 3451538 edges, 867 markings/sec, 2170 secs
lola: STP completed || 2 tries, 1897921 fired transitions, 2175 secs || 1841792 markings, 3459696 edges, 834 markings/sec, 2175 secs
lola: STP completed || 2 tries, 1902061 fired transitions, 2180 secs || 1845863 markings, 3468496 edges, 814 markings/sec, 2180 secs
lola: STP completed || 2 tries, 1906298 fired transitions, 2185 secs || 1850055 markings, 3477221 edges, 838 markings/sec, 2185 secs
lola: STP completed || 2 tries, 1910424 fired transitions, 2190 secs || 1854066 markings, 3485165 edges, 802 markings/sec, 2190 secs
lola: STP completed || 2 tries, 1914511 fired transitions, 2195 secs || 1858141 markings, 3493715 edges, 815 markings/sec, 2195 secs
lola: STP completed || 2 tries, 1918710 fired transitions, 2200 secs || 1862211 markings, 3502090 edges, 814 markings/sec, 2200 secs
lola: STP completed || 2 tries, 1922901 fired transitions, 2205 secs || 1866349 markings, 3511055 edges, 828 markings/sec, 2205 secs
lola: STP completed || 2 tries, 1927147 fired transitions, 2210 secs || 1870437 markings, 3518916 edges, 818 markings/sec, 2210 secs
lola: STP completed || 2 tries, 1931438 fired transitions, 2215 secs || 1874564 markings, 3527214 edges, 825 markings/sec, 2215 secs
lola: STP completed || 2 tries, 1935656 fired transitions, 2220 secs || 1878711 markings, 3536216 edges, 829 markings/sec, 2220 secs
lola: STP completed || 2 tries, 1939865 fired transitions, 2225 secs || 1882750 markings, 3544465 edges, 808 markings/sec, 2225 secs
lola: STP completed || 2 tries, 1944095 fired transitions, 2230 secs || 1886792 markings, 3552311 edges, 808 markings/sec, 2230 secs
lola: STP completed || 2 tries, 1948245 fired transitions, 2235 secs || 1890767 markings, 3560422 edges, 795 markings/sec, 2235 secs
lola: STP completed || 2 tries, 1952312 fired transitions, 2240 secs || 1894774 markings, 3568634 edges, 801 markings/sec, 2240 secs
lola: STP completed || 2 tries, 1956597 fired transitions, 2245 secs || 1898957 markings, 3577057 edges, 837 markings/sec, 2245 secs
lola: STP completed || 2 tries, 1960799 fired transitions, 2250 secs || 1903087 markings, 3585812 edges, 826 markings/sec, 2250 secs
lola: STP completed || 2 tries, 1964975 fired transitions, 2255 secs || 1907182 markings, 3593574 edges, 819 markings/sec, 2255 secs
lola: STP completed || 2 tries, 1969139 fired transitions, 2260 secs || 1911279 markings, 3601403 edges, 819 markings/sec, 2260 secs
lola: STP completed || 2 tries, 1973392 fired transitions, 2265 secs || 1915453 markings, 3609859 edges, 835 markings/sec, 2265 secs
lola: STP completed || 2 tries, 1977612 fired transitions, 2270 secs || 1919387 markings, 3618043 edges, 787 markings/sec, 2270 secs
lola: STP completed || 2 tries, 1981850 fired transitions, 2275 secs || 1923495 markings, 3625093 edges, 822 markings/sec, 2275 secs
lola: STP completed || 2 tries, 1985958 fired transitions, 2280 secs || 1927475 markings, 3630936 edges, 796 markings/sec, 2280 secs
lola: STP completed || 2 tries, 1989998 fired transitions, 2285 secs || 1931469 markings, 3637028 edges, 799 markings/sec, 2285 secs
lola: STP completed || 2 tries, 1994046 fired transitions, 2290 secs || 1935307 markings, 3643843 edges, 768 markings/sec, 2290 secs
lola: STP completed || 2 tries, 1998212 fired transitions, 2295 secs || 1939461 markings, 3652570 edges, 831 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2002464 fired transitions, 2300 secs || 1943676 markings, 3661172 edges, 843 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2006621 fired transitions, 2305 secs || 1947623 markings, 3668530 edges, 789 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2010974 fired transitions, 2310 secs || 1951803 markings, 3676789 edges, 836 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2015041 fired transitions, 2315 secs || 1955821 markings, 3685337 edges, 804 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2019226 fired transitions, 2320 secs || 1959855 markings, 3693532 edges, 807 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2023395 fired transitions, 2325 secs || 1963935 markings, 3701612 edges, 816 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2027652 fired transitions, 2330 secs || 1968184 markings, 3710532 edges, 850 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2031814 fired transitions, 2335 secs || 1972243 markings, 3718930 edges, 812 markings/sec, 2335 secs
lola: STP completed || 3 tries, 2036000 fired transitions, 2340 secs || 1976355 markings, 3727763 edges, 822 markings/sec, 2340 secs
lola: STP completed || 3 tries, 2040229 fired transitions, 2345 secs || 1980554 markings, 3736550 edges, 840 markings/sec, 2345 secs
lola: STP completed || 3 tries, 2044352 fired transitions, 2350 secs || 1984589 markings, 3745032 edges, 807 markings/sec, 2350 secs
lola: STP completed || 3 tries, 2048600 fired transitions, 2355 secs || 1988805 markings, 3754052 edges, 843 markings/sec, 2355 secs
lola: STP completed || 3 tries, 2052744 fired transitions, 2360 secs || 1992781 markings, 3761866 edges, 795 markings/sec, 2360 secs
lola: STP completed || 3 tries, 2057043 fired transitions, 2365 secs || 1996952 markings, 3770950 edges, 834 markings/sec, 2365 secs
lola: STP completed || 3 tries, 2061122 fired transitions, 2370 secs || 2000886 markings, 3779110 edges, 787 markings/sec, 2370 secs
lola: STP completed || 3 tries, 2065252 fired transitions, 2375 secs || 2004953 markings, 3787658 edges, 813 markings/sec, 2375 secs
lola: STP completed || 3 tries, 2069365 fired transitions, 2380 secs || 2009009 markings, 3796158 edges, 811 markings/sec, 2380 secs
lola: STP completed || 3 tries, 2073517 fired transitions, 2385 secs || 2013100 markings, 3804630 edges, 818 markings/sec, 2385 secs
lola: STP completed || 3 tries, 2077689 fired transitions, 2390 secs || 2017134 markings, 3812946 edges, 807 markings/sec, 2390 secs
lola: STP completed || 3 tries, 2081787 fired transitions, 2395 secs || 2021179 markings, 3821691 edges, 809 markings/sec, 2395 secs
lola: STP completed || 3 tries, 2085933 fired transitions, 2400 secs || 2025316 markings, 3830386 edges, 827 markings/sec, 2400 secs
lola: STP completed || 3 tries, 2090148 fired transitions, 2405 secs || 2029401 markings, 3838949 edges, 817 markings/sec, 2405 secs
lola: STP completed || 3 tries, 2094229 fired transitions, 2410 secs || 2033419 markings, 3846953 edges, 804 markings/sec, 2410 secs
lola: STP completed || 3 tries, 2098556 fired transitions, 2415 secs || 2037688 markings, 3855869 edges, 854 markings/sec, 2415 secs
lola: STP completed || 3 tries, 2102759 fired transitions, 2420 secs || 2041734 markings, 3864026 edges, 809 markings/sec, 2420 secs
lola: STP completed || 3 tries, 2106963 fired transitions, 2425 secs || 2045828 markings, 3872303 edges, 819 markings/sec, 2425 secs
lola: STP completed || 3 tries, 2111134 fired transitions, 2430 secs || 2049839 markings, 3880389 edges, 802 markings/sec, 2430 secs
lola: STP completed || 3 tries, 2115251 fired transitions, 2435 secs || 2053818 markings, 3888504 edges, 796 markings/sec, 2435 secs
lola: STP completed || 3 tries, 2119379 fired transitions, 2440 secs || 2057909 markings, 3896776 edges, 818 markings/sec, 2440 secs
lola: STP completed || 3 tries, 2123593 fired transitions, 2445 secs || 2062061 markings, 3905096 edges, 830 markings/sec, 2445 secs
lola: STP completed || 3 tries, 2127813 fired transitions, 2450 secs || 2066264 markings, 3914030 edges, 841 markings/sec, 2450 secs
lola: STP completed || 3 tries, 2131964 fired transitions, 2455 secs || 2070343 markings, 3922729 edges, 816 markings/sec, 2455 secs
lola: STP completed || 3 tries, 2136136 fired transitions, 2460 secs || 2074472 markings, 3931367 edges, 826 markings/sec, 2460 secs
lola: STP completed || 3 tries, 2140233 fired transitions, 2465 secs || 2078400 markings, 3939253 edges, 786 markings/sec, 2465 secs
lola: STP completed || 3 tries, 2144461 fired transitions, 2470 secs || 2082625 markings, 3948068 edges, 845 markings/sec, 2470 secs
lola: STP completed || 3 tries, 2148745 fired transitions, 2475 secs || 2086687 markings, 3956597 edges, 812 markings/sec, 2475 secs
lola: STP completed || 3 tries, 2152899 fired transitions, 2480 secs || 2090827 markings, 3965474 edges, 828 markings/sec, 2480 secs
lola: STP completed || 3 tries, 2157013 fired transitions, 2485 secs || 2094844 markings, 3972020 edges, 803 markings/sec, 2485 secs
lola: STP completed || 3 tries, 2161132 fired transitions, 2490 secs || 2098907 markings, 3979632 edges, 813 markings/sec, 2490 secs
lola: STP completed || 3 tries, 2165309 fired transitions, 2495 secs || 2102962 markings, 3988129 edges, 811 markings/sec, 2495 secs
lola: STP completed || 3 tries, 2169605 fired transitions, 2500 secs || 2107207 markings, 3996609 edges, 849 markings/sec, 2500 secs
lola: STP completed || 3 tries, 2173855 fired transitions, 2505 secs || 2111371 markings, 4004913 edges, 833 markings/sec, 2505 secs
lola: STP completed || 3 tries, 2177974 fired transitions, 2510 secs || 2115310 markings, 4013025 edges, 788 markings/sec, 2510 secs
lola: STP completed || 3 tries, 2182281 fired transitions, 2515 secs || 2119511 markings, 4022218 edges, 840 markings/sec, 2515 secs
lola: STP completed || 3 tries, 2186446 fired transitions, 2520 secs || 2123589 markings, 4030396 edges, 816 markings/sec, 2520 secs
lola: STP completed || 3 tries, 2190724 fired transitions, 2525 secs || 2127768 markings, 4039200 edges, 836 markings/sec, 2525 secs
lola: STP completed || 3 tries, 2194971 fired transitions, 2530 secs || 2131945 markings, 4047800 edges, 835 markings/sec, 2530 secs
lola: STP completed || 3 tries, 2199119 fired transitions, 2535 secs || 2135927 markings, 4056137 edges, 796 markings/sec, 2535 secs
lola: STP completed || 3 tries, 2203303 fired transitions, 2540 secs || 2140017 markings, 4064513 edges, 818 markings/sec, 2540 secs
lola: STP completed || 3 tries, 2207519 fired transitions, 2545 secs || 2144097 markings, 4073246 edges, 816 markings/sec, 2545 secs
lola: STP completed || 3 tries, 2211724 fired transitions, 2550 secs || 2148272 markings, 4081228 edges, 835 markings/sec, 2550 secs
lola: STP completed || 3 tries, 2215835 fired transitions, 2555 secs || 2152284 markings, 4088978 edges, 802 markings/sec, 2555 secs
lola: STP completed || 3 tries, 2220070 fired transitions, 2560 secs || 2156384 markings, 4097685 edges, 820 markings/sec, 2560 secs
lola: STP completed || 3 tries, 2224342 fired transitions, 2565 secs || 2160561 markings, 4106739 edges, 835 markings/sec, 2565 secs
lola: STP completed || 3 tries, 2228494 fired transitions, 2570 secs || 2164654 markings, 4115275 edges, 819 markings/sec, 2570 secs
lola: STP completed || 3 tries, 2232634 fired transitions, 2575 secs || 2168672 markings, 4122220 edges, 804 markings/sec, 2575 secs
lola: STP completed || 3 tries, 2236761 fired transitions, 2580 secs || 2172643 markings, 4128619 edges, 794 markings/sec, 2580 secs
lola: STP completed || 3 tries, 2240952 fired transitions, 2585 secs || 2176920 markings, 4137396 edges, 855 markings/sec, 2585 secs
lola: STP completed || 3 tries, 2245138 fired transitions, 2590 secs || 2180916 markings, 4145931 edges, 799 markings/sec, 2590 secs
lola: STP completed || 3 tries, 2249357 fired transitions, 2595 secs || 2185022 markings, 4154224 edges, 821 markings/sec, 2595 secs
lola: STP completed || 3 tries, 2253457 fired transitions, 2600 secs || 2189058 markings, 4162813 edges, 807 markings/sec, 2600 secs
lola: STP completed || 3 tries, 2257641 fired transitions, 2605 secs || 2193149 markings, 4171529 edges, 818 markings/sec, 2605 secs
lola: STP completed || 3 tries, 2261718 fired transitions, 2610 secs || 2197153 markings, 4179109 edges, 801 markings/sec, 2610 secs
lola: STP completed || 3 tries, 2265911 fired transitions, 2615 secs || 2201182 markings, 4186590 edges, 806 markings/sec, 2615 secs
lola: STP completed || 3 tries, 2270009 fired transitions, 2620 secs || 2205210 markings, 4194547 edges, 806 markings/sec, 2620 secs
lola: STP completed || 3 tries, 2274160 fired transitions, 2625 secs || 2209189 markings, 4202730 edges, 796 markings/sec, 2625 secs
lola: STP completed || 3 tries, 2278478 fired transitions, 2630 secs || 2213432 markings, 4211735 edges, 849 markings/sec, 2630 secs
lola: STP completed || 3 tries, 2282691 fired transitions, 2635 secs || 2217549 markings, 4220335 edges, 823 markings/sec, 2635 secs
lola: STP completed || 3 tries, 2286937 fired transitions, 2640 secs || 2221566 markings, 4228752 edges, 803 markings/sec, 2640 secs
lola: STP completed || 3 tries, 2291143 fired transitions, 2645 secs || 2225755 markings, 4237481 edges, 838 markings/sec, 2645 secs
lola: STP completed || 3 tries, 2295265 fired transitions, 2650 secs || 2229786 markings, 4245975 edges, 806 markings/sec, 2650 secs
lola: STP completed || 3 tries, 2299475 fired transitions, 2655 secs || 2233851 markings, 4254456 edges, 813 markings/sec, 2655 secs
lola: STP completed || 3 tries, 2303609 fired transitions, 2660 secs || 2237914 markings, 4262484 edges, 813 markings/sec, 2660 secs
lola: STP completed || 3 tries, 2307815 fired transitions, 2665 secs || 2242029 markings, 4269927 edges, 823 markings/sec, 2665 secs
lola: STP completed || 3 tries, 2312104 fired transitions, 2670 secs || 2246230 markings, 4278423 edges, 840 markings/sec, 2670 secs
lola: STP completed || 3 tries, 2316273 fired transitions, 2675 secs || 2250354 markings, 4287476 edges, 825 markings/sec, 2675 secs
lola: STP completed || 3 tries, 2320468 fired transitions, 2680 secs || 2254449 markings, 4295491 edges, 819 markings/sec, 2680 secs
lola: STP completed || 3 tries, 2324531 fired transitions, 2685 secs || 2258407 markings, 4303831 edges, 792 markings/sec, 2685 secs
lola: STP completed || 3 tries, 2328714 fired transitions, 2690 secs || 2262584 markings, 4312088 edges, 835 markings/sec, 2690 secs
lola: STP completed || 3 tries, 2332822 fired transitions, 2695 secs || 2266566 markings, 4320534 edges, 796 markings/sec, 2695 secs
lola: STP completed || 3 tries, 2336999 fired transitions, 2700 secs || 2270645 markings, 4328532 edges, 816 markings/sec, 2700 secs
lola: STP completed || 3 tries, 2341115 fired transitions, 2705 secs || 2274679 markings, 4336434 edges, 807 markings/sec, 2705 secs
lola: STP completed || 3 tries, 2345313 fired transitions, 2710 secs || 2278706 markings, 4343827 edges, 805 markings/sec, 2710 secs
lola: STP completed || 3 tries, 2349445 fired transitions, 2715 secs || 2282737 markings, 4350925 edges, 806 markings/sec, 2715 secs
lola: STP completed || 3 tries, 2353688 fired transitions, 2720 secs || 2286834 markings, 4359123 edges, 819 markings/sec, 2720 secs
lola: STP completed || 3 tries, 2357834 fired transitions, 2725 secs || 2290849 markings, 4367054 edges, 803 markings/sec, 2725 secs
lola: STP completed || 3 tries, 2361872 fired transitions, 2730 secs || 2294906 markings, 4374932 edges, 811 markings/sec, 2730 secs
lola: STP completed || 3 tries, 2366039 fired transitions, 2735 secs || 2298972 markings, 4383376 edges, 813 markings/sec, 2735 secs
lola: STP completed || 3 tries, 2370208 fired transitions, 2740 secs || 2303071 markings, 4391891 edges, 820 markings/sec, 2740 secs
lola: STP completed || 3 tries, 2374351 fired transitions, 2745 secs || 2307113 markings, 4400442 edges, 808 markings/sec, 2745 secs
lola: STP completed || 3 tries, 2378452 fired transitions, 2750 secs || 2311159 markings, 4408153 edges, 809 markings/sec, 2750 secs
lola: STP completed || 3 tries, 2382610 fired transitions, 2755 secs || 2315095 markings, 4416375 edges, 787 markings/sec, 2755 secs
lola: STP completed || 3 tries, 2386708 fired transitions, 2760 secs || 2319058 markings, 4424522 edges, 793 markings/sec, 2760 secs
lola: STP completed || 3 tries, 2390826 fired transitions, 2765 secs || 2323091 markings, 4433260 edges, 807 markings/sec, 2765 secs
lola: STP completed || 3 tries, 2394967 fired transitions, 2770 secs || 2327088 markings, 4441706 edges, 799 markings/sec, 2770 secs
lola: STP completed || 3 tries, 2399226 fired transitions, 2775 secs || 2331336 markings, 4450732 edges, 850 markings/sec, 2775 secs
lola: STP completed || 3 tries, 2403420 fired transitions, 2780 secs || 2335452 markings, 4459811 edges, 823 markings/sec, 2780 secs
lola: STP completed || 3 tries, 2407639 fired transitions, 2785 secs || 2339613 markings, 4467988 edges, 832 markings/sec, 2785 secs
lola: STP completed || 3 tries, 2411725 fired transitions, 2790 secs || 2343627 markings, 4476519 edges, 803 markings/sec, 2790 secs
lola: STP completed || 3 tries, 2415891 fired transitions, 2795 secs || 2347652 markings, 4484539 edges, 805 markings/sec, 2795 secs
lola: STP completed || 3 tries, 2420025 fired transitions, 2800 secs || 2351708 markings, 4492440 edges, 811 markings/sec, 2800 secs
lola: STP completed || 3 tries, 2424242 fired transitions, 2805 secs || 2355883 markings, 4501056 edges, 835 markings/sec, 2805 secs
lola: STP completed || 3 tries, 2428335 fired transitions, 2810 secs || 2360002 markings, 4509743 edges, 824 markings/sec, 2810 secs
lola: STP completed || 3 tries, 2432408 fired transitions, 2815 secs || 2363959 markings, 4517867 edges, 791 markings/sec, 2815 secs
lola: STP completed || 3 tries, 2436696 fired transitions, 2820 secs || 2368266 markings, 4526853 edges, 861 markings/sec, 2820 secs
lola: STP completed || 3 tries, 2440918 fired transitions, 2825 secs || 2372414 markings, 4535434 edges, 830 markings/sec, 2825 secs
lola: STP completed || 3 tries, 2445132 fired transitions, 2830 secs || 2376443 markings, 4543408 edges, 806 markings/sec, 2830 secs
lola: STP completed || 3 tries, 2449356 fired transitions, 2835 secs || 2380556 markings, 4552004 edges, 823 markings/sec, 2835 secs
lola: STP completed || 3 tries, 2453591 fired transitions, 2840 secs || 2384614 markings, 4560284 edges, 812 markings/sec, 2840 secs
lola: STP completed || 3 tries, 2457782 fired transitions, 2845 secs || 2388727 markings, 4568516 edges, 823 markings/sec, 2845 secs
lola: STP completed || 3 tries, 2461957 fired transitions, 2850 secs || 2392896 markings, 4577189 edges, 834 markings/sec, 2850 secs
lola: STP completed || 3 tries, 2466175 fired transitions, 2855 secs || 2396993 markings, 4585366 edges, 819 markings/sec, 2855 secs
lola: STP completed || 3 tries, 2470393 fired transitions, 2860 secs || 2401159 markings, 4594095 edges, 833 markings/sec, 2860 secs
lola: STP completed || 3 tries, 2474564 fired transitions, 2865 secs || 2405181 markings, 4602551 edges, 804 markings/sec, 2865 secs
lola: STP completed || 3 tries, 2478632 fired transitions, 2870 secs || 2409183 markings, 4610936 edges, 800 markings/sec, 2870 secs
lola: STP completed || 3 tries, 2482671 fired transitions, 2875 secs || 2413183 markings, 4619371 edges, 800 markings/sec, 2875 secs
lola: STP completed || 3 tries, 2486821 fired transitions, 2880 secs || 2417237 markings, 4627719 edges, 811 markings/sec, 2880 secs
lola: STP completed || 3 tries, 2491037 fired transitions, 2885 secs || 2421280 markings, 4635614 edges, 809 markings/sec, 2885 secs
lola: STP completed || 3 tries, 2495171 fired transitions, 2890 secs || 2425304 markings, 4643716 edges, 805 markings/sec, 2890 secs
lola: STP completed || 3 tries, 2499458 fired transitions, 2895 secs || 2429454 markings, 4651701 edges, 830 markings/sec, 2895 secs
lola: STP completed || 3 tries, 2503656 fired transitions, 2900 secs || 2433478 markings, 4659708 edges, 805 markings/sec, 2900 secs
lola: STP completed || 3 tries, 2507879 fired transitions, 2905 secs || 2437607 markings, 4668392 edges, 826 markings/sec, 2905 secs
lola: STP completed || 3 tries, 2512115 fired transitions, 2910 secs || 2441737 markings, 4677205 edges, 826 markings/sec, 2910 secs
lola: STP completed || 3 tries, 2516320 fired transitions, 2915 secs || 2445946 markings, 4686721 edges, 842 markings/sec, 2915 secs
lola: STP completed || 3 tries, 2520567 fired transitions, 2920 secs || 2450136 markings, 4695636 edges, 838 markings/sec, 2920 secs
lola: STP completed || 3 tries, 2524843 fired transitions, 2925 secs || 2454191 markings, 4704230 edges, 811 markings/sec, 2925 secs
lola: STP completed || 3 tries, 2529030 fired transitions, 2930 secs || 2458361 markings, 4713026 edges, 834 markings/sec, 2930 secs
lola: STP completed || 3 tries, 2533256 fired transitions, 2935 secs || 2462587 markings, 4722055 edges, 845 markings/sec, 2935 secs
lola: STP completed || 3 tries, 2537413 fired transitions, 2940 secs || 2466645 markings, 4730966 edges, 812 markings/sec, 2940 secs
lola: STP completed || 3 tries, 2541656 fired transitions, 2945 secs || 2470785 markings, 4739863 edges, 828 markings/sec, 2945 secs
lola: STP completed || 3 tries, 2545739 fired transitions, 2950 secs || 2474820 markings, 4748261 edges, 807 markings/sec, 2950 secs
lola: STP completed || 3 tries, 2549913 fired transitions, 2955 secs || 2478944 markings, 4756883 edges, 825 markings/sec, 2955 secs
lola: STP completed || 3 tries, 2554079 fired transitions, 2960 secs || 2483066 markings, 4765540 edges, 824 markings/sec, 2960 secs
lola: STP completed || 3 tries, 2558241 fired transitions, 2965 secs || 2487141 markings, 4773921 edges, 815 markings/sec, 2965 secs
lola: STP completed || 3 tries, 2562396 fired transitions, 2970 secs || 2491161 markings, 4781408 edges, 804 markings/sec, 2970 secs
lola: STP completed || 3 tries, 2566571 fired transitions, 2975 secs || 2495237 markings, 4789881 edges, 815 markings/sec, 2975 secs
lola: STP completed || 3 tries, 2570770 fired transitions, 2980 secs || 2499375 markings, 4798441 edges, 828 markings/sec, 2980 secs
lola: STP completed || 3 tries, 2574960 fired transitions, 2985 secs || 2503370 markings, 4806874 edges, 799 markings/sec, 2985 secs
lola: STP completed || 3 tries, 2579120 fired transitions, 2990 secs || 2507447 markings, 4815766 edges, 815 markings/sec, 2990 secs
lola: STP completed || 3 tries, 2583202 fired transitions, 2995 secs || 2511434 markings, 4824006 edges, 797 markings/sec, 2995 secs
lola: STP completed || 3 tries, 2587458 fired transitions, 3000 secs || 2515530 markings, 4832547 edges, 819 markings/sec, 3000 secs
lola: STP completed || 3 tries, 2591575 fired transitions, 3005 secs || 2519454 markings, 4840949 edges, 785 markings/sec, 3005 secs
lola: STP completed || 3 tries, 2595646 fired transitions, 3010 secs || 2523466 markings, 4849339 edges, 802 markings/sec, 3010 secs
lola: STP completed || 3 tries, 2599774 fired transitions, 3015 secs || 2527505 markings, 4857193 edges, 808 markings/sec, 3015 secs
lola: STP completed || 3 tries, 2604047 fired transitions, 3020 secs || 2531729 markings, 4866103 edges, 845 markings/sec, 3020 secs
lola: STP completed || 3 tries, 2608274 fired transitions, 3025 secs || 2535841 markings, 4874475 edges, 822 markings/sec, 3025 secs
lola: STP completed || 3 tries, 2612398 fired transitions, 3030 secs || 2539842 markings, 4883012 edges, 800 markings/sec, 3030 secs
lola: STP completed || 3 tries, 2616588 fired transitions, 3035 secs || 2543941 markings, 4891869 edges, 820 markings/sec, 3035 secs
lola: STP completed || 3 tries, 2620780 fired transitions, 3040 secs || 2547984 markings, 4900064 edges, 809 markings/sec, 3040 secs
lola: STP completed || 3 tries, 2624903 fired transitions, 3045 secs || 2551975 markings, 4908535 edges, 798 markings/sec, 3045 secs
lola: STP completed || 3 tries, 2629060 fired transitions, 3050 secs || 2556024 markings, 4917047 edges, 810 markings/sec, 3050 secs
lola: STP completed || 3 tries, 2633255 fired transitions, 3055 secs || 2560138 markings, 4925600 edges, 823 markings/sec, 3055 secs
lola: STP completed || 3 tries, 2637372 fired transitions, 3060 secs || 2564230 markings, 4934195 edges, 818 markings/sec, 3060 secs
lola: STP completed || 3 tries, 2641610 fired transitions, 3065 secs || 2568362 markings, 4942882 edges, 826 markings/sec, 3065 secs
lola: STP completed || 3 tries, 2645741 fired transitions, 3070 secs || 2572393 markings, 4951240 edges, 806 markings/sec, 3070 secs
lola: STP completed || 3 tries, 2649910 fired transitions, 3075 secs || 2576522 markings, 4959962 edges, 826 markings/sec, 3075 secs
lola: STP completed || 3 tries, 2654100 fired transitions, 3080 secs || 2580624 markings, 4968342 edges, 820 markings/sec, 3080 secs
lola: STP completed || 3 tries, 2658265 fired transitions, 3085 secs || 2584653 markings, 4976549 edges, 806 markings/sec, 3085 secs
lola: STP completed || 3 tries, 2662444 fired transitions, 3090 secs || 2588661 markings, 4984934 edges, 802 markings/sec, 3090 secs
lola: STP completed || 3 tries, 2666647 fired transitions, 3095 secs || 2592750 markings, 4993623 edges, 818 markings/sec, 3095 secs
lola: STP completed || 3 tries, 2670834 fired transitions, 3100 secs || 2596870 markings, 5002428 edges, 824 markings/sec, 3100 secs
lola: STP completed || 3 tries, 2674905 fired transitions, 3105 secs || 2600812 markings, 5010526 edges, 788 markings/sec, 3105 secs
lola: STP completed || 3 tries, 2679069 fired transitions, 3110 secs || 2604776 markings, 5018968 edges, 793 markings/sec, 3110 secs
lola: STP completed || 3 tries, 2683161 fired transitions, 3115 secs || 2608788 markings, 5027669 edges, 802 markings/sec, 3115 secs
lola: STP completed || 3 tries, 2687362 fired transitions, 3120 secs || 2612834 markings, 5035896 edges, 809 markings/sec, 3120 secs
lola: STP completed || 3 tries, 2691594 fired transitions, 3125 secs || 2616902 markings, 5044407 edges, 814 markings/sec, 3125 secs
lola: STP completed || 3 tries, 2695683 fired transitions, 3130 secs || 2620870 markings, 5053116 edges, 794 markings/sec, 3130 secs
lola: STP completed || 3 tries, 2699909 fired transitions, 3135 secs || 2625054 markings, 5062129 edges, 837 markings/sec, 3135 secs
lola: STP completed || 3 tries, 2704081 fired transitions, 3140 secs || 2629086 markings, 5069710 edges, 806 markings/sec, 3140 secs
lola: STP completed || 3 tries, 2708220 fired transitions, 3145 secs || 2633168 markings, 5076667 edges, 816 markings/sec, 3145 secs
lola: STP completed || 3 tries, 2712429 fired transitions, 3150 secs || 2637346 markings, 5085134 edges, 836 markings/sec, 3150 secs
lola: STP completed || 3 tries, 2716634 fired transitions, 3155 secs || 2641486 markings, 5093623 edges, 828 markings/sec, 3155 secs
lola: STP completed || 3 tries, 2720863 fired transitions, 3160 secs || 2645604 markings, 5102281 edges, 824 markings/sec, 3160 secs
lola: STP completed || 3 tries, 2725072 fired transitions, 3165 secs || 2649684 markings, 5110855 edges, 816 markings/sec, 3165 secs
lola: STP completed || 3 tries, 2729307 fired transitions, 3170 secs || 2653914 markings, 5119800 edges, 846 markings/sec, 3170 secs
lola: STP completed || 3 tries, 2733430 fired transitions, 3175 secs || 2657936 markings, 5128292 edges, 804 markings/sec, 3175 secs
lola: STP completed || 3 tries, 2737540 fired transitions, 3180 secs || 2661924 markings, 5135675 edges, 798 markings/sec, 3180 secs
lola: STP completed || 3 tries, 2741694 fired transitions, 3185 secs || 2665987 markings, 5144148 edges, 813 markings/sec, 3185 secs
lola: STP completed || 3 tries, 2745973 fired transitions, 3190 secs || 2670117 markings, 5153158 edges, 826 markings/sec, 3190 secs
lola: STP completed || 3 tries, 2750088 fired transitions, 3195 secs || 2673968 markings, 5161690 edges, 770 markings/sec, 3195 secs
lola: STP completed || 3 tries, 2754259 fired transitions, 3200 secs || 2678051 markings, 5170182 edges, 817 markings/sec, 3200 secs
lola: STP completed || 3 tries, 2758527 fired transitions, 3205 secs || 2682158 markings, 5178891 edges, 821 markings/sec, 3205 secs
lola: STP completed || 3 tries, 2762631 fired transitions, 3210 secs || 2686158 markings, 5186986 edges, 800 markings/sec, 3210 secs
lola: STP completed || 3 tries, 2766836 fired transitions, 3215 secs || 2690229 markings, 5195564 edges, 814 markings/sec, 3215 secs
lola: STP completed || 3 tries, 2771042 fired transitions, 3220 secs || 2694321 markings, 5204279 edges, 818 markings/sec, 3220 secs
lola: STP completed || 3 tries, 2775279 fired transitions, 3225 secs || 2698431 markings, 5213038 edges, 822 markings/sec, 3225 secs
lola: STP completed || 3 tries, 2779383 fired transitions, 3230 secs || 2702339 markings, 5221208 edges, 782 markings/sec, 3230 secs
lola: STP completed || 3 tries, 2783564 fired transitions, 3235 secs || 2706528 markings, 5230039 edges, 838 markings/sec, 3235 secs
lola: STP completed || 3 tries, 2787803 fired transitions, 3240 secs || 2710765 markings, 5238846 edges, 847 markings/sec, 3240 secs
lola: STP completed || 3 tries, 2792039 fired transitions, 3245 secs || 2714938 markings, 5247767 edges, 835 markings/sec, 3245 secs
lola: STP completed || 3 tries, 2796176 fired transitions, 3250 secs || 2719001 markings, 5255034 edges, 813 markings/sec, 3250 secs
lola: STP completed || 3 tries, 2800373 fired transitions, 3255 secs || 2723107 markings, 5263705 edges, 821 markings/sec, 3255 secs
lola: STP completed || 3 tries, 2804556 fired transitions, 3260 secs || 2727162 markings, 5272306 edges, 811 markings/sec, 3260 secs
lola: STP completed || 3 tries, 2808598 fired transitions, 3265 secs || 2731149 markings, 5280534 edges, 797 markings/sec, 3265 secs
lola: STP completed || 3 tries, 2812805 fired transitions, 3270 secs || 2735420 markings, 5289523 edges, 854 markings/sec, 3270 secs
lola: STP completed || 3 tries, 2817086 fired transitions, 3275 secs || 2739637 markings, 5298576 edges, 843 markings/sec, 3275 secs
lola: STP completed || 3 tries, 2821341 fired transitions, 3280 secs || 2743860 markings, 5307540 edges, 845 markings/sec, 3280 secs
lola: STP completed || 3 tries, 2825621 fired transitions, 3285 secs || 2748028 markings, 5316483 edges, 834 markings/sec, 3285 secs
lola: STP completed || 3 tries, 2829852 fired transitions, 3290 secs || 2752177 markings, 5325009 edges, 830 markings/sec, 3290 secs
lola: STP completed || 3 tries, 2834013 fired transitions, 3295 secs || 2756103 markings, 5333298 edges, 785 markings/sec, 3295 secs
lola: STP completed || 3 tries, 2838279 fired transitions, 3300 secs || 2760294 markings, 5342038 edges, 838 markings/sec, 3300 secs
lola: STP completed || 3 tries, 2842406 fired transitions, 3305 secs || 2764320 markings, 5350661 edges, 805 markings/sec, 3305 secs
lola: STP completed || 3 tries, 2846680 fired transitions, 3310 secs || 2768479 markings, 5359713 edges, 832 markings/sec, 3310 secs
lola: STP completed || 3 tries, 2850855 fired transitions, 3315 secs || 2772481 markings, 5368371 edges, 800 markings/sec, 3315 secs
lola: STP completed || 3 tries, 2855066 fired transitions, 3320 secs || 2776594 markings, 5376840 edges, 823 markings/sec, 3320 secs
lola: STP completed || 3 tries, 2859345 fired transitions, 3325 secs || 2780808 markings, 5385653 edges, 843 markings/sec, 3325 secs
lola: STP completed || 3 tries, 2863473 fired transitions, 3330 secs || 2784797 markings, 5393986 edges, 798 markings/sec, 3330 secs
lola: STP completed || 3 tries, 2867722 fired transitions, 3335 secs || 2788867 markings, 5402736 edges, 814 markings/sec, 3335 secs
lola: STP completed || 3 tries, 2871801 fired transitions, 3340 secs || 2792961 markings, 5411509 edges, 819 markings/sec, 3340 secs
lola: STP completed || 3 tries, 2875988 fired transitions, 3345 secs || 2797091 markings, 5420237 edges, 826 markings/sec, 3345 secs
lola: STP completed || 3 tries, 2880185 fired transitions, 3350 secs || 2801278 markings, 5428714 edges, 837 markings/sec, 3350 secs
lola: STP completed || 3 tries, 2884337 fired transitions, 3355 secs || 2805352 markings, 5437337 edges, 815 markings/sec, 3355 secs
lola: STP completed || 3 tries, 2888638 fired transitions, 3360 secs || 2809506 markings, 5445526 edges, 831 markings/sec, 3360 secs
lola: STP completed || 3 tries, 2892871 fired transitions, 3365 secs || 2813668 markings, 5454413 edges, 832 markings/sec, 3365 secs
lola: STP completed || 3 tries, 2897004 fired transitions, 3370 secs || 2817764 markings, 5462846 edges, 819 markings/sec, 3370 secs
lola: STP completed || 3 tries, 2901190 fired transitions, 3375 secs || 2821927 markings, 5471753 edges, 833 markings/sec, 3375 secs
lola: STP completed || 3 tries, 2905430 fired transitions, 3380 secs || 2826165 markings, 5480421 edges, 848 markings/sec, 3380 secs
lola: STP completed || 3 tries, 2909630 fired transitions, 3385 secs || 2830311 markings, 5488872 edges, 829 markings/sec, 3385 secs
lola: STP completed || 3 tries, 2913888 fired transitions, 3390 secs || 2834502 markings, 5497889 edges, 838 markings/sec, 3390 secs
lola: STP completed || 3 tries, 2918065 fired transitions, 3395 secs || 2838554 markings, 5505831 edges, 810 markings/sec, 3395 secs
lola: STP completed || 3 tries, 2922226 fired transitions, 3400 secs || 2842628 markings, 5514494 edges, 815 markings/sec, 3400 secs
lola: STP completed || 3 tries, 2926541 fired transitions, 3405 secs || 2846739 markings, 5523295 edges, 822 markings/sec, 3405 secs
lola: STP completed || 3 tries, 2930708 fired transitions, 3410 secs || 2850775 markings, 5531291 edges, 807 markings/sec, 3410 secs
lola: STP completed || 3 tries, 2934903 fired transitions, 3415 secs || 2854887 markings, 5539990 edges, 822 markings/sec, 3415 secs
lola: STP completed || 3 tries, 2939119 fired transitions, 3420 secs || 2858969 markings, 5548914 edges, 816 markings/sec, 3420 secs
lola: STP completed || 3 tries, 2943289 fired transitions, 3425 secs || 2863067 markings, 5557541 edges, 820 markings/sec, 3425 secs
lola: STP completed || 3 tries, 2947585 fired transitions, 3430 secs || 2867207 markings, 5566351 edges, 828 markings/sec, 3430 secs
lola: STP completed || 3 tries, 2951870 fired transitions, 3435 secs || 2871521 markings, 5575770 edges, 863 markings/sec, 3435 secs
lola: STP completed || 3 tries, 2956080 fired transitions, 3440 secs || 2875752 markings, 5584973 edges, 846 markings/sec, 3440 secs
lola: STP completed || 3 tries, 2960222 fired transitions, 3445 secs || 2879755 markings, 5593832 edges, 801 markings/sec, 3445 secs
lola: STP completed || 3 tries, 2964358 fired transitions, 3450 secs || 2883837 markings, 5602467 edges, 816 markings/sec, 3450 secs
lola: STP completed || 3 tries, 2968584 fired transitions, 3455 secs || 2888017 markings, 5611604 edges, 836 markings/sec, 3455 secs
lola: STP completed || 3 tries, 2972763 fired transitions, 3460 secs || 2892070 markings, 5619859 edges, 811 markings/sec, 3460 secs
lola: STP completed || 3 tries, 2976943 fired transitions, 3465 secs || 2896149 markings, 5628623 edges, 816 markings/sec, 3465 secs
lola: STP completed || 3 tries, 2981117 fired transitions, 3470 secs || 2900236 markings, 5637189 edges, 817 markings/sec, 3470 secs
lola: STP completed || 3 tries, 2985443 fired transitions, 3475 secs || 2904499 markings, 5646399 edges, 853 markings/sec, 3475 secs
lola: STP completed || 3 tries, 2989577 fired transitions, 3480 secs || 2908554 markings, 5654804 edges, 811 markings/sec, 3480 secs
lola: STP completed || 3 tries, 2993828 fired transitions, 3485 secs || 2912803 markings, 5663915 edges, 850 markings/sec, 3485 secs
lola: STP completed || 3 tries, 2998153 fired transitions, 3490 secs || 2917127 markings, 5672953 edges, 865 markings/sec, 3490 secs
lola: STP completed || 4 tries, 3002305 fired transitions, 3495 secs || 2921223 markings, 5681727 edges, 819 markings/sec, 3495 secs
lola: STP completed || 4 tries, 3006508 fired transitions, 3500 secs || 2925300 markings, 5690458 edges, 815 markings/sec, 3500 secs
lola: STP completed || 4 tries, 3010668 fired transitions, 3505 secs || 2929360 markings, 5698770 edges, 812 markings/sec, 3505 secs
lola: STP completed || 4 tries, 3014895 fired transitions, 3510 secs || 2933486 markings, 5707966 edges, 825 markings/sec, 3510 secs
lola: STP completed || 4 tries, 3019085 fired transitions, 3515 secs || 2937562 markings, 5716646 edges, 815 markings/sec, 3515 secs
lola: STP completed || 4 tries, 3023328 fired transitions, 3520 secs || 2941587 markings, 5724914 edges, 805 markings/sec, 3520 secs
lola: STP completed || 4 tries, 3027470 fired transitions, 3525 secs || 2945681 markings, 5733237 edges, 819 markings/sec, 3525 secs
lola: STP completed || 4 tries, 3031593 fired transitions, 3530 secs || 2949667 markings, 5741456 edges, 797 markings/sec, 3530 secs
lola: STP completed || 4 tries, 3035704 fired transitions, 3535 secs || 2953772 markings, 5750470 edges, 821 markings/sec, 3535 secs
lola: STP completed || 4 tries, 3039893 fired transitions, 3540 secs || 2957895 markings, 5759281 edges, 825 markings/sec, 3540 secs
lola: STP completed || 4 tries, 3044062 fired transitions, 3545 secs || 2961872 markings, 5767571 edges, 795 markings/sec, 3545 secs
lola: STP completed || 4 tries, 3048151 fired transitions, 3550 secs || 2965844 markings, 5775891 edges, 794 markings/sec, 3550 secs
lola: STP completed || 4 tries, 3052299 fired transitions, 3555 secs || 2969951 markings, 5784021 edges, 821 markings/sec, 3555 secs
lola: STP completed || 4 tries, 3056529 fired transitions, 3560 secs || 2974190 markings, 5792509 edges, 848 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 297012 KB
lola: time consumption: 3570 seconds
BK_STOP 1527035740594
--------------------
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="SafeBus-PT-10"
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/SafeBus-PT-10.tgz
mv SafeBus-PT-10 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 SafeBus-PT-10, 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 r148-smll-152685547200244"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;